In my last post, I ended by saying we need to discuss derivatives of measures. Now, at first you might think this sounds kind of strange, since usually to discuss derivatives we need the notion of a limit as, say in . This notion of derivative of a measure isn’t quite the same notion (though the two are related in the special case of ), but before we begin to discuss it, we need to talk about signed measures. Recall that, originally, given a measurable space , we defined a measure to be a function that was countably disjointly additive and was normalized so that . We didn’t so much care about issues of convergence of the countable sums because they were sums of positive terms and so were either unbounded or convergent. Now we’re going to change the rules a little. Unfortunately this post will consist of a lot of definitions and not too many interesting results, but I’ll try to sneak in a few nice results here or there. Here’s the first definition:
Definition: Let be a measurable space. A signed measure on is a function satisfying and for all sequences of disjoint measurable sets ,
where the sum converges absolutely.
A remark, I chose to force to be finite, though one can choose not to do this as long as the restriction is made that assumes at most only one of the values . Most of the results I’ll show are valid for -finite measures, and in the case where is a positive measure (which will mostly be what we need for the determinant application), we again do not need to worry about convergence, so the measure can be infinite. But for ease (and length) or writing, for now I’ll assume all the measures are finite and I’ll try to point out what the usual extensions are.
So what are some examples of signed measures? Well, for a basic example let , let be Lebesgue measure, and let . It’s easy to check that this is indeed a signed measure, and, for example, . In fact, given any measure space and a function , we can always define a signed measure by (the integrability assumption ensures that this is finite). In fact, once we build up some more machinery, we’ll show that this idea is incredibly useful and that, in fact, all signed measures can be written as an integral with respect to a positive “reference” measure. Now we would like to know what familiar properties of positive measures carry over to signed measures. For example, does monotonicity carry over? Well, no, not in the strictest sense. For example . Moreover, , so in fact the whole space has measure zero! Certainly this is a bit troubling. What we need is a new notion of positive, negative, and null sets.
Definition: Let be a signed measure. We say a set is positive (resp. negative, null) if for every measurable , we have (resp. ).
Note that in our example, a set is positive precisely when (or negative, zero respectively). In our basic example of , we can write . It turns out that this approach of writing as a positive part and a negative part is a useful decomposition. I’m not going to prove it here (I’ll give a short sketch), but there is a theorem, called the Hahn Decomposition Theorem, that states for a given signed measure , we can split up the space into two disjoint sets on which is positive and negative respectively. Moreover, this is almost unique.
Theorem (Hahn Decomposition Theorem): Let be a signed measure on . Then there exist measurable sets and such that is positive for and is negative for satisfying and . Moreover, if is another such pair, then is null for .
The interesting idea in this proof, to me, is how the sets and are constructed. The rest of the argument is a contradiction proof to show that the sets have the desired property. To construct , one considers . The set is non-empty because the empty set is positive. Then, using a typical measure theory argument, one can construct a sequence of positive sets whose measures converge to this supremum. Taking the countable union of these sets preserves positivity (this is easy to show), and so we let be this union. Then, taking to be the complement, we get the desired sets. Of course this decomposition is not unique, because we can move null sets freely between the two sets. However, the sets are “unique enough” as we will show in the next theorem. First, one more definition.
Definition: Suppose are two signed measures on the same -algebra. If there exist measurable such that , , is null for , and is null for , then we say and are mutually singular and write .
Theorem (Jordan Decomposition Theorem): If is a signed measure, there exist unique positive measures and so that and .
Proof: Let be a Hahn decomposition for and define and . Clearly . To show uniqueness, suppose are another such pair of measures. Then there are and such that and form another Hahn decomposition for , hence , and using this fact it is easily verified that for all , and similarly for .
So basically, what this theorem tells us is that every signed measure can be written as two positive measures, which lets us use all our familiar properties of such measures that we know and love! Moreover, we even get a new positive measure out of the deal. These measures turn out to be so useful that they get their own names. We call the measures and the positive and negative variations of , and we define the positive measure , called the total variation of . There are two interesting things to note about this positive measure . First, we can write , where (where are a Hahn decomposition for ), so we can now always write a signed measure as i) a difference of two positive measures and ii) an integral with respect to a positive reference measure. The second thing to notice is that dominates in the sense that if , then we must have . This idea has a name, and it will turn out that whenever a positive measure dominates a signed measure in this sense, we will always be able to write the signed measure as an integral with respect to the positive measure (provided both are reasonably well behaved). I won’t prove this fact today, but it will be in the next post. For now, I’ll close with the definition of absolute continuity and prove a characterization of it that justifies the name.
Definition: Let be a signed measure and be a positive measure on . If whenever , then we say is absolutely continuous with respect to and write .
Proposition: Let be a signed measure and be a positive measure on . Then if and only if for all , there is so that implies .
Proof: It is clear that iff , so it suffices to assume is a positive measure. The epsilon-delta condition clearly implies , so suppose that the condition does not hold. Then there is so that for each , there is measurable so that but . Set and let . Then for each , we have . Thus by continuity of measures we have , but (since is finite), we have , so , hence is not absolutely continuous with respect to .
I don't think I'll use this proposition much, but it's a nice characterization (for finite signed measures, this one does not need to hold even if is -finite) of absolute continuity. In the next post I'll present the Radon-Nikodym theorem, though I'm not sure I'll prove it (I haven't decided yet), and then discuss a few results about the Radon-Nikodym derivative. After that, I'll move back to push-forward measures and ultimately connect back to determinants, and I think then I'll finally be done with the determinant series. Enjoy!