## Jordan Decompositions

It’s not too hard to construct examples showing that Hahn decompositions for a signed measure, though they exist, are not unique. But if we have two of them — — there’s something we *can* show to be unique. For every measurable set we have and .

Indeed, it’s easy to see that , so (since is positive) . But we can also see that , so (since is negative) . And so , and similarly . We then see that

The proof that is similar.

We can thus unambiguously define two set functions on the class of all measurable sets

for any Hahn decomposition . We call these the “upper variation” and “lower variation”, respectively, of . We can also define a set function

called the “total variation” of . It should be noted that and have almost nothing to do with each other.

Now, I say that each of these set functions — , , and — is a measure, and that . If is (totally) finite or -finite, then so are and , and at least one of them will always be finite.

Each of these variations is clearly non-negative, and countable additivity is also clear from the definitions. For example, given a pairwise-disjoint sequence we find

and similarly for and . Thus each one is a measure. The equation is clear from the definitions. The fact that takes at most one of implies that one of is finite. Finally, if every measurable set (say, ) is a countable union of -finite sets (say, ), then is the countable union of the , and so as well, and similarly for . Thus and are -finite.

We see that every signed measure can be written as the difference of two measures, one of which is finite. The representation of a signed measure as the difference between its upper and lower variations is called the “Jordan decomposition” of .

[…] it so happens that we can define a norm on this space. Indeed, taking the Jordan decomposition, we must have both and , and thus . We define , and use this as our norm. It’s […]

Pingback by The Banach Space of Totally Finite Signed Measures « The Unapologetic Mathematician | June 28, 2010 |

[…] we can use this to find the Jordan decomposition of . We […]

Pingback by The Jordan Decomposition of an Indefinite Integral « The Unapologetic Mathematician | June 29, 2010 |

[…] with Respect to a Signed Measure If is a signed measure then we know that the total variation is a measure. It then makes sense to discuss whether or not a measurable function is integrable […]

Pingback by Integration with Respect to a Signed Measure « The Unapologetic Mathematician | June 30, 2010 |