5
Absolute continuity and related topics
5.1 Signed and complex measures Relaxation of the requirement of a measure that it be nonnegative yields what is usually called a signed measure. Specifically this is an extended real-valued, countably additive set function μ on a class E (containing ∅), such that μ(∅) = 0, and such that μ assumes at most one of the values +∞ and –∞ on E. As for measures, a signed measure μ defined on a class E, is called finite on E if |μ(E)| < ∞, for each E ∈E, and σ-finite if for ∈E { }∞ E ⊂∪∞ each E there is a sequence En n=1 of sets in with E n=1En and |μ(En)| < ∞, that is, if E can be covered by the union of a sequence of sets with finite (signed) measure. It will usually be assumed that the class on which μ is defined is a σ-ring or σ-field. Some of the important properties of measures (see Section 2.2) hold also for signed measures. In particular a signed measure is subtractive and continuous from below and above. The basic properties of signed measures are given in the following theorem. Theorem 5.1.1 Let μ be a signed measure on a σ-ring S.
(i) If E, F ∈S,E⊂ F and |μ(F)| < ∞ then |μ(E)| < ∞. (ii) If E, F ∈S,E⊂ F and |μ(E)| < ∞ then μ(F – E)=μ(F)–μ(E). { }∞ S | ∪∞ | ∞ (iii) If En n=1 is a disjoint sequence of sets in such that μ( n=1En) < ∞ then the series n=1 μ(En) converges absolutely. { }∞ S | | ∞ (iv) If En n=1 is a monotone sequence of sets in , and if μ(En) < for some integer n in the case when {En} is a decreasing sequence, then
μ(lim En) = lim μ(En). n n Proof If E, F ∈S, E ⊂ F then F = E ∪ (F – E), a union of two disjoint sets, and from the countable (and hence also finite) additivity of μ, μ(F)=μ(E)+μ(F – E).
86 5.2 Hahn and Jordan decompositions 87
Hence (i) follows since if μ(F) is finite, so are (both) μ(E) and μ(F – E). On the other hand if μ(E) is assumed finite it can be subtracted from both sides to give (ii). + ∅ – ∅ ≥ (iii) Let En = En or , and En = or En, according as μ(En) 0or μ(En) < 0 respectively. Then ∞ + ∪∞ + ∞ – ∪∞ – n=1μ(En )=μ( n=1En ) and n=1μ(En)=μ( n=1En) ∞ + ∞ – imply by (i) that n=1 μ(En ) and n=1 μ(En) are both finite. Hence ∞ | | ∞ + – ∞ + ∞ – n=1 μ(En) = n=1(μ(En )–μ(En)) = n=1μ(En )– n=1μ(En) is finite as required. (iv) is shown as for measures (Theorems 2.2.4 and 2.2.5). While not needed here, it is worth noting that the requirement that μ be (extended) real may also be altered to allow complex values. That is, a complex measure is a complex-valued, countably additive set function E ∅ ∅ μ defined on a class (containing ) and such that μ( ) = 0. Thus if En E ∪∞ ∈E ∞ are disjoint sets of with n=1En = E ,wehaveμ(E)= n=1 μ(En). Since the convergence of a complex sequence requires convergence of its real and imaginary parts, it follows that the real and imaginary parts of μ are countably additive. That is, a complex measure μ may be written in the form μ = λ + iν where λ and ν are finite signed measures. Conversely, of course, if λ and ν are finite signed measures then λ + iν is a complex measure. Thus the complex measures are precisely the set functions of the form λ+iν where λ and ν are finite signed measures. Some of the properties of complex measures are given in Ex. 5.29.
5.2 Hahn and Jordan decompositions
If μ1, μ2 are two measures on a σ-field S, their sum μ1 + μ2 (defined for E ∈Sas μ1(E)+μ2(E)) is clearly a measure on S. The difference μ1(E)– μ2(E) is not necessarily defined for all E ∈S(i.e. if μ1(E)=μ2(E)=∞). However, if at least one of the measures μ1 and μ2 is finite, μ1 –μ2 is defined for every E ∈Sand is a signed measure on S. It will be shown in this section that every signed measure can be written as a difference of two measures of which at least one is finite (Theorem 5.2.2). If μ is a signed measure on a measurable space (X, S), a set E ∈Swill be called positive (resp. negative, null), if μ(F) ≥ 0 (resp. μ(F) ≤ 0, μ(F)= 0) for all F ∈Swith F ⊂ E. Notice that measurable subsets of positive sets are positive sets. Further the union of a sequence {An} of positive sets 88 Absolute continuity and related topics ∈S ⊂∪∞ ∪∞ ∩ ∪∞ is clearly positive (if F , F 1 An, F = 1 (F An)= 1 Fn where S ⊂ ∩ ≥ Fn are disjoint sets of and Fn F An (Lemma 1.6.3) so that μ(Fn) 0 and μ(F)= μ(Fn) ≥ 0). Similar statements are true for negative and null sets.
Theorem 5.2.1 (Hahn Decomposition) If μ is a signed measure on the measurable space (X, S), then there exist two disjoint sets A, B such that A is positive, and B is negative, and A ∪ B = X.
Proof Since μ assumes at most one of the values +∞,–∞, assume for definiteness that –∞ <μ(E) ≤ +∞ for all E ∈S. Define
λ = inf{μ(E):E negative}.
∅ ≤ { }∞ Since the empty set is negative, λ 0. Let Bn n=1 be a sequence of ∪∞ negative sets such that λ = limn→∞ μ(Bn) and let B = n=1Bn. The theorem will be proved in steps as follows: (i) B is negative since as noted above the countable union of negative sets is negative. (ii) μ(B)=λ, and thus –∞ <λ≤ 0. For certainly λ ≤ μ(B) by (i) and the definition of λ. Also for each n, B =(B – Bn) ∪ Bn and hence
μ(B)=μ(B – Bn)+μ(Bn) ≤ μ(Bn) since B – Bn ⊂ B (negative). It follows that μ(B) ≤ limn→∞ μ(Bn)=λ,so that μ(B)=λ as stated. (iii) Let A = X – B. If F ⊂ A is negative, then F is null. For let F ⊂ A be negative and G ∈S, G ⊂ F. Then G is negative and E = B ∪ G is negative. Hence, by the definition of λ and (ii), λ ≤ μ(E)=μ(B)+μ(G)=λ + μ(G). Thus μ(G) ≥ 0 but since F is negative, μ(G) ≤ 0, so that μ(G) = 0. Thus F is null.
(iv) A = X–B is positive. Assume on the contrary that there exists E0 ⊂ A, E0 ∈S,withμ(E0) < 0. Since E0 is not null, by (iii) it is not negative. Let k1 be the smallest positive integer such that there is a measurable set E1 ⊂ E0 with μ(E1) ≥ 1/k1. Since μ(E0) is finite (–∞ <μ(E0) < 0) and E1 ⊂ E0, Theorem 5.1.1 (i) and (ii) give μ(E0 – E1)=μ(E0)–μ(E1) < 0, since μ(E0) < 0, μ(E1) > 0. Thus the same argument now applies to E0 – E1. Let k2 be the smallest positive integer such that there is a measurable set E2 ⊂ E0 – E1 with μ(E2) ≥ 1/k2. Proceeding inductively, let kn be the ⊂ ∪n–1 smallest positive integer such that there is a measurable set En E0 – i=1 Ei with μ(En) ≥ 1/kn. 5.2 Hahn and Jordan decompositions 89