CHAPTER 6 PRODUCT MEASURES AND FUBINI S THEOREM All students learn in elementary calculus to evaluate a double integral by iteration. The theorem justifying this process is called Fubini s theorem. However, the cleanest and simplest form of Fubini s theorem appears for the first time with the Lebesgue integral. We will see in this chapter that Fubini s theorem is instrumental in proving many important theorems. 6.1 PRODUCT MEASURES We will assume here that we are given two measure spaces, which may or may not be identical to one another. We will call the two measure spaces px, A, λq and py, B, µq, respectively. We intend to construct the product measure on a suitable σ-field contained in the power set of the Cartesian product Z X Y. By a rectangular set R in Z we mean any set of the form R A B where A P A and B P B. We will take as the family of elementary sets for the product measure E "E 9 * n R i A i B i, A i P A, B i P B, (6.1) R i where the rectangles R i are mutually disjoint, and n is an arbitrary natural number. Measure and Integration: A Concise Introduction to Real Analysis. By Leonard F. Richardson Copyright c 2008 John Wiley & Sons, Inc. 103
104 PRODUCT MEASURES AND FUBINI S THEOREM EXERCISE 6.1 Show that the set E of Equation (6.1) is a field of subsets of Z X Y. (Be sure to check closure under complementation.) Definition 6.1.1 Define the product measure νpeq λpa i qµpb i q, for each elementary set E P E as defined by Equation (6.1). This definition requires justification, because the decomposition given in Equation (6.1) is not unique. Suppose E 9 m A i B i 9 n j1 C j D j. It follows from the finite additivity of each of the measures λ and µ that no rectangular set of infinite measure can be expressed as a union of finitely many rectangular sets of finite measure. Thus m λpa i qµpb i q 8 ô j1 λpc j qµpd j q 8. We can use the integral of a special simple function to rephrase Definition 6.1.1 in a way that expresses concisely why that definition is independent of the decomposition in the case in which m λpa i qµpb i q 8. Definition 6.1.2 If S X Y, a Cartesian product space, we define the x section of S by xs ty px, yq P S, y P Y u, and the y section by S y tx px, yq P S, x P Xu. If E P E, the field of elementary 9 sets, then 9 n n E R i A i B i. Define the x section function by f E pxq µ p x Eq ti xpa iu µpb i q (6.2) 1 Ai pxq µpb i q.
If m λpa i qµpb i q special simple function on X. Moreover, EXERCISE 105 8, then we see from Equations (6.2) that f E is a nonnegative X f E dλ λpa i q µpb i q νpeq. (6.3) From Equation (6.3), it is clear that Definition 6.1.1 is independent of the decomposition of the elementary set into a disjoint union of rectangular sets. In fact, if we consider two such decompositions, then we will have two different expansions of the same simple cross section function f E, so the result of the integral ³ X f E dλ must be the same either way. Furthermore, if E and E 1 are any two mutually disjoint elementary sets in X Y, then the x section function This establishes that f EYE 1 f E f E 1. ν E 9YE 1 νpeq ν E 1, since integration over X is a linear function of the integrand. EXERCISE 6.2 Let E P E, the field of elementary sets in the product of two measure spaces, px, A, λq and py, B, µq. Prove that the product measure ν λ µ is given on E by νpeq Y λ pe y q dµ. Our next goal is to show that, under suitable hypotheses, ν can be extended to a countably additive measure on C BpEq, the σ-field generated by E. Theorem 6.1.1 Let px, A, λq and py, B, µq be any two measure spaces. There exists a countably additive measure ν defined on C BpEq such that νpa Bq λpaqµpbq, for all A P A and B P B. Moreover, ν is unique, provided that λ and µ are both σ finite. Proof : Uniqueness will follow at the end from Exercise 2.21, since ν will be σ finite if both λ and µ are σ finite. Existence depends upon proving countable additivity within E. Each elementary set is a disjoint union of finitely many rectangular sets of the form 9 n E A i B i,
106 PRODUCT MEASURES AND FUBINI S THEOREM with each A i and each B i measurable. To prove the countable additivity within E, it will suffice to prove for each rectangular set R A B 9 npn A n B n, that To this end, we define νpa Bq PN λpa n qµpb n q. f n pxq µ x n pa i B i q, so that f n is a nonnegative simple function. Note that although the sets B i need not be disjoint, we do have xpa Bq 9 npn x pa n B n q, which is a disjoint union. Since µ is countably additive, it follows that the sequence f n increases monotonically toward the limit f R, where # µpbq if x P A, f R pxq µ p x Rq 0 if x R A. By the Monotone Convergence Theorem (5.4.1) we see that νprq A f dλ lim nñ8 lim A nñ8 f n dλ λpa i q µpb i q PN λpa i q µpb i q, and this is true even if νprq 8. Note that in the preceding proof we have applied the Monotone Convergence only to nonnegative measurable functions defined on X, on which there is already a countably additive measure λ. (We are not applying Monotone Convergence to functions defined on the product space, for which we are in the process of establishing the existence of a countably additive measure.) We remark that we did not need to use the hypothesis of completeness that appeared in the Monotone Convergence theorem, because in the preceding proof, f n converges everywhere to f not merely almost everywhere.
EXERCISE 107 Definition 6.1.3 Let px, A, λq and py, B, µq be any two measure spaces. We will denote the Cartesian product A B ta B A P A, B P Bu, and the field that it generates is called E. But we will denote by A b B BpA Bq, the Borel field generated by the field E. Finally, we denote by A â B the completion of A b B with respect to the product measure λ µ. Â It is reasonable to wonder whether it is necessary to form the completion A B if both A and B happen to be complete families of measurable sets for their respective measures. The answer that the completion needs to be formed is confirmed by the following special case. Let X Y R and Z X Y R 2, the Euclidean plane. Here we will assume that λ µ l, Lebesgue measure on the line. And A B LpRq will be the σ-field of all Lebesgue measurable sets in the line. Recall that we have constructed earlier the family BpR n q of Borel sets in R n and the family LpR n q of Lebesgue measurable sets in R n, for each n P N. Theorem 6.1.2 With the notations of Definition 6.1.3, we have Proof : B R 2 piq LpRq b LpRq piiq LpRq â LpRq piiiq L R 2. We will justify the claims numbered (i), (ii), and (iii) in order. i. Each Cartesian product of two intervals lies in LpRq LpRq. Thus the σ field BpR 2 q that they generate is contained in LpRq b LpRq. Observe that the family S! S R 2 S y P BpRq @y P R is a σ-field in the plane containing the elementary sets of the plane, as defined in Section 3.5. Thus it contains all the Borel sets of the plane. On the other hand, by Remark 3.3.1 there exists a set so that E P LpRqzBpRq, E R P LpRq b LpRq. Hence there is a set E R that is in LpRq b LpRq but not in B R 2. This proves the first (improper) containment. 47 ) 47 The strict containment (i) could be proven also by a cardinality argument, since the transfinite cardinal number of the right hand side is greater than that of the left.
108 PRODUCT MEASURES AND FUBINI S THEOREM ii. For the second improper containment, let M be any nonmeasurable subset of R. Then the measure pl lqptxu Mq 0 for each singleton set txu in R, being a subset of a null set. Hence txu M P LpRq â LpRq. Thus it would suffice to show that txu M R LpRq b LpRq. Consider the class S of all sets E R 2 for which x E P LpRq for a fixed x P R. Then it is easy to check that S is a monotone class, which implies that S contains the σ-field LpRq b LpRq. But since the set txu M lacks this property, it follows that txu M R LpRq b LpRq. iii. The space L R 2 contains both LpRq b LpRq 48 and BpR 2 q. Since L R 2 is the (minimal) completion of B R 2, it must be also the unique, minimal completion of LpRq b LpRq, as is LpRq  LpRq. 6.2 FUBINI S THEOREM Theorem 6.2.1 (Fubini s Theorem First Form) Let px, A, µq and py, B, νq be complete σ finite measure spaces. Let C A  B. Then for each µν measurable set C P C, the section x C is measurable for almost all x, the function f C pxq νp x Cq is A measurable, and pµ νqpcq X f C pxq dµpxq. (6.4) Proof : Note that px Y, A  B, µ νq must be σ finite as well, so that X Y npn X n Y n, where µpx n q νpy n q 8 and X n Y n is an ascending chain of sets that are rectangular and thus elementary and Borel as well. We remark that the first form of Fubini s theorem expresses the product measure µ ν of a set C P C as the integral with respect to µ of the ν measures of the x sections of C. This includes the possibility of both sides of Equation (6.4) being infinite. Observe that the theorem follows easily from the definition of the product measure on the field E of elementary sets in the special case in which C is an elementary set in the product space. For the latter sets, each section x C is measurable as well, being a union of finitely many measurable subsets of Y. 48 It is not hard to see that because L R 2 contains the products of intervals, and because it is a σ algebra, it must contain also all products of the form B R or R B, where B is a Borel set in the line. Thus it contains also the products of Borel sets. However, each Lebesgue measurable set is sandwiched between two Borel sets of the same measure. This, together with the completeness of L R 2, justifies the claim.