FUNDAMENTALS OF REAL ANALYSIS by. II.1. Prelude. Recall that the Riemann integral of a real-valued function f on an interval [a, b] is defined as

FUNDAMENTALS OF REAL ANALYSIS by Doğan Çömez II. MEASURES AND MEASURE SPACES II.1. Prelude Recall that the Riemann integral of a real-valued function f on an interval [a, b] is defined as b n f(xdx := f(x i (x i x i 1, (if the limit exists a lim P 0 where P = {a = x 1 < x 2 < < x n 1 < x n = b} is a partitioning of [a, b], P = max i x i x i 1, and x i [x i 1, x i ] is arbitrary. Then, it follows that if f : [a, b] R is a continuous function, then it is Riemann-integrable. Also, if f : [a, b] R has finitely many bounded jump discontinuities, then it is Riemann-integrable. Indeed, there are functions with infinitely many bounded jumps which are still Riemann-integrable. However, there are very simple functions with countably many bounded jumps which are not Riemann-integrable. For example, let { 1 if x [0, 1] Q f(x = 0 if x [0, 1] Q c. Then, lim sup P 0 n f(x i(x i x i 1 = 1 0 = lim inf P 0 n f(x i(x i x i 1! Riemann integral also suffers from a convergence problem: let {r i } be an enumeration (listing of rational numbers in [0, 1], and define a sequence of functions {f n } on [0, 1] by { 1 if x = r1, r 2, r 3,..., r n f n (x = 0 otherwise, and f be the function in the example above. Then each f n is Riemann-integrable, f n f pointwise on [0, 1], but f is not Riemann-integrable. Verdict: Riemann integral has several deficits! Next, observe that if f is a positive, continuous function on [a, b] or has finite jump discontinuities, then b fdx gives the area of the region R = {(x, y : a x b, 0 y f(x}. a However, if the discontinuities of f is more complicated or if f is continuous but has oscillations on a large set, then f need not be Riemann-integrable; hence, for such regions area is not defined. Question. Can we define area of a region without involving Riemann-integral? If so, how? This was the question asked by mathematicians of late 19th century that led to the concept of measure that would measure the size (length, area, volume,... etc. of a set (in R n. For, one needs a working definition of measure. Recall that the area of a region A R 2 bounded by two nice (continuous, piecewise linear functions as A = {(x, y : a x b, f(x y g(x} is given by the Riemannintegral b f(x g(x dx. This definition is still valid if f and g have finitely many bounded a jump discontinuities. This is a good start; however, as seen in the example above, there are functions with countably many bounded jump discontinuities which are not Riemann-integrable. 1

2 Furthermore, there are continuous curves (so called space-filling curves which do not fit to this scheme. Therefore, defining area via Riemann-integral has serious inadequacies. Here comes Peano. In order to address this deficiency, Peano proposed the following geometric approach (inspired from Archimedes idea on calculating areas enclosed by conic sections. For S R 2, define a i (S = inner area of S = supremum of areas of all polygons contained in S, a o (S = outer area of S = infimum of areas of all polygons containing S, and define A(S = a i (S if both the inner and outer area exist and the equality a o (S = a i (S holds. Although this is a significant improvement over the definition of area via Riemann integral, it still has some drawbacks. For instance, if S = {(x, y : x, y [0, 1] Q}, then a o (S = 1 0 = a i (S. Thus, some rather simple regions do not have area! Jordan s try. Inspired by Peano, Jordan proposed using the concept of content to address the problem. For S [a, b], let P = {(x i, x i+1 } be any finite partition of [a, b] by open intervals. Let J i (S = { l(i i : S I i P contains interior points of S}, J o (S = { l(i i : I i P contains points of S S}, and let c i (S = sup P J i (S and c i (S = inf P J o (S. Then, if c i (S and c o (S exist and are equal, define c(s = content of S = c i (S and call S Jordan-measurable. It turns out that form many sets in R their content is well defined (which includes regions defined by space filling curves. Jordan also defined integral of a real-valued function f on [a, b] as follows. Let b a b a f = sup P f = inf P inf E i f(x.c(e i sup E i f(x.c(e i, where P = {E i } is a partitioning of [a, b] into Jordan measurable sets. If b f = b f, then the a a common value is called the integral of f. Jordan integral improves Riemann integral; furthermore, the collection of Jordan-measurable sets is richer than those having area in the sense of Peano. On the other hand, the content concept also has some problems; for example, c i ([0, 1] Q = 0 = c i ([0, 1] Q c and c o ([0, 1] Q = 1 = c o ([0, 1] Q c ; thus, both of these sets are not Jordan-measurable. Furthermore, there are even some open (or closed bounded sets which are not Jordan-measurable, which is a serious drawback. Despite it s shortcomings, Jordan measure (content and Jordan measurable sets have the following nice properties: 1 If A and B are Jordan measurable, then so are A B, A B, A \ B, B \ A (closure under set operations. 2 c(e 0 (non-negativity. 3 If E and F are disjoint Jordan measurable sets, then c(e F = c(e + c(f (finite additivity; if E and F are not necessarily disjoint, c(e F c(e+c(f (subadditivity. 4 If A B are Jordan measurable sets, then c(a c(b (monotonicity. 5 If A is Jordan measurable and α is a real number, then α + A is also Jordan measurable and c(a = c(α + A (translation invariance. Exercise Prove the properties 2-5 stated above.

Borel s approach. The drawback of Jordan-measurability led Borel to define the properties the measure of sets should satisfy explicitly. He stated that: 1 measure of a set should be non-negative 2 measure of a (finite or infinite union of disjoint sets should be the sum of measures of the individual sets 3 if A B, then measure of B \ A should be measure of B minus measure of A 4 every set whose measure is non-zero should be uncountable, and 5 the location of the set should not affect the measure of the set (i.e. measure of A and measure of α + A should be the same. Notice that, these are essentially the features of Jordan content. Having described properties that a measure must carry, Borel also restricted it to those sets which are constructible, where he defined a set constructible if it is a a union (finite or countably infinite of disjoint intervals, b the complement of a constructible set A wrt any other constructible set B covering A. He prescribed that the measure of an interval would be its length. With these, he hoped that: (i any subset of R would be constructible, and (ii a measure satisfying the properties listed above could be constructed. Bad news! (Or, may be good!? It turns out that it is impossible to construct a measure on subsets of R having all five properties above (see pp: 19-20 in the text. However, when n = 1, 2, it is possible to construct a set function on subsets of R n if only finite additivity is required (Banach, and when n 3 even this is impossible (Hausdorff. On the other hand, constructing a set function on subsets of R n satisfying first four properties is possible (though very delicate. The property (5 above is, for obvious reasons (it makes sense!, very essential; hence, having a set function satisfying only first four properties does not address the problem. Furthermore, it turns out that not every subset of R is constructible either (we ll see an example of such a set later. Thus, since we would like to preserve as much of the properties (1-(5 and since many sets constructed over intervals seem to satisfy them, we have one option to follow: weaken one of the properties/requirements of Borel. Weakening (1, (3 and (4 does not make sense. As seen above, although weakening (4 by requiring only finitely additivity does not solve the problem, one can weaken (2 in an appropriate fashion while keeping measure well-defined. These considerations provide compelling rationale to give up defining a measure on all of P(R, and, instead, let a measure be defined on certain (proper subclasses of P(R. First of all, we must be careful in applying additivity of a measure m. If additivity also includes adding over not-necessarily countable index sets, then we would encounter paradoxical situations. For instance, (0, 1] = x (0,1] {x}; hence, 1 = m((0, 1] = m({x} = 0 = 0! x (0,1] x (0,1] Therefore, it d be safer to restrict it to countable additivity. This clears way to Program. Develop: (1 a good understanding of constructible sets, and (2 a good concept of measure on constructible sets. Let s start with (1. Following Borel s prescription of constructibility, we see that constructible sets must satisfy the following axioms: 3

4 (i if A and B are constructible, then A B is also constructible (i if {A i } is a countable collection of constructible sets, then i A i is also constructible (ii if A is constructible, then so is A c (iii R and are constructible. Notice that, since intervals are a priori constructible, all open (closed sets are constructible (why?, and so are arbitrary union (intersection of closed (open sets. Definition. The smallest collection B of all subsets of R which contains all open sets and satisfying (i, (ii and (iii is called Borel sets (or Borel σ-algebra. Remark. From the definition, the collection B includes: (a all closed sets (b all arbitrary union of closed sets (F σ sets (c all arbitrary intersection of open sets (G δ sets (d all arbitrary intersection of sets in (b (F σδ sets (e all arbitrary union of sets in (c (G δσ sets and so on. Notice that this process goes on indefinitely; hence the definition of B is stated above in a peculiar manner. Exercises. 1. Show that Z, Q, Q c, C are Borel sets, where C is the Cantor set. Which one of the classes F σ, G δ, F σδ,... each of these sets belong? 2. Prove that translate of any F σ -set ( G δ -set is a F σ -set ( G δ -set Question. Does the collection B actually exist? The answer is a resounding Yes as the following statement proves. Fact.1 Given any collection O of subsets of R, there exists a smallest collection A of subsets of R satisfying (i, (ii, (iii and containing O. Note. Such a family A is called a σ-algebra (of subsets of R. Proof. (of Fact.1 Let be the family of all σ-algebras of subsets of R that contain O. Then is nonempty (it contains P (R. Let A = {D : D }. Then, O A. Furthermore, (i if A, B A, then A, B D for all D. So, since such a D is a σ-algebra, A B D for all D. Hence, A B A. (ii if A A, then A D for all D ; and it follows that A c D for all D. Hence, A c A. (iii By definition,, R D for all D ; and hence,, R A. Therefore, A is a σ-algebra. From the definition of A, if D is a σ-algebra containing O, then A D; hence, A D for all D. Hence, A is the smallest σ-algebra containing O. Remark. B = c. (See Real and Abstract Analysis, by Hewitt & Stromberg, Theorem 10.23, pp:133-134. It is well known that P(R = 2 c > c; hence, B is a proper subset of P(R! Thus, it appears that the smallest collection of sets that are constructible over all intervals in R does not include all subsets of R. This remark suggests that in order to complete the program identified above, we might keep (1, (3-(5 intact and restrict (2 to countable additivity and have measures defined on largest possible subcollection (σ-algebra A smaller than P(R.

Now, let s see how can we approach the problem of constructing a measure m on a σ-algebra. Following Borel, the starting point is defining measure on finite sets and intervals. Define measure of an interval as its length. So m([a, b] = l([a, b] = l((a, b = l((a, b] = l([a, b = b a = m((a, b. If a = or b =, then m([a, b] = l([a, b] =. Since [a, b] = [a, b {b}, we must have m({b} = 0 for any singleton {b} R; consequently, measure of any finite set is 0. Also, m([a, b] = l([a, b] < l([a, 2b] = m([a, 2b]; hence m(a m(b should hold if A B. This discussion, with a little luck, tells us that if we are to construct a measure on subsets of R, on that collection we d hope it to satisfy the following properties: (i 0 m(a (ii m(a m(b if A B (monotonicity (iii m( = 0 = m({a}, a R (iv m(i = l(i for any interval I R (v m( A k = m(a k for all disjoint collection of sets {A k } (countable additivity (vi m(a + A = m(a, a R (translation invariance. 5 Exercises 1. Recall that for S [a, b] and P = {(x i, x i+1 } any finite partition of [a, b] by open intervals, we define J i (S = { l(i i : I i S, I i P contains interior points of S}, J o (S = { l(i i : I i P contains points of S S}, and let c i (S = sup P J i (S and c o (S = inf P J o (S. Then, if c i (S and c o (S exist and are equal, we define c(s = content of S = c i (S and call S Jordan-measurable. Prove that (i c(e 0 (non-negativity. (ii If A B are Jordan-measurable sets, then c(a c(b (monotonicity. (iii If E and F are disjoint Jordan-measurable sets, c(e F = c(e+c(f (finite additivity; if E and F are not necessarily disjoint, c(e F c(e + c(f (subadditivity. (iv If A is Jordan measurable and α is a real number, then α + A is also Jordan measurable and c(a = c(α + A (translation invariance. 2. Provide simple justifications that any F σ, G δ, F σδ and G δσ -set is a Borel set. 3. (i Show that Z, Q, Q c, C are Borel sets, where C is the Cantor set. Which one of the classes F σ, G δ, F σδ,... each of these sets belong? (ii Prove that translate of any F σ -set ( G δ -set is a F σ -set ( G δ -set. II.2. Lebesgue Measure Having Jordan s improvement on Peano s original ideas and Borel s specifications of a measure and constructible sets, Lebesgue developed a theory of measure that addressed the limitations of Jordan measure and applicable to a large subclass of P(R that avoids pathological sets mentioned above. In this section, we will construct this measure known as Lebesgue measure. As expected, we ll begin with measure of intervals. Clearly, we have the following for bounded intervals:

6 a 0 l(i < b l(i l(j if I J (monotonicity c l(i J = l(i + l(j if I, J are disjoint (finite additivity d l(a + I = l(i, a R (translation invariance. Exercise. Let I be a bounded open interval and I 1, I 2,..., I n be a finite collection of bounded open intervals. If I n I i, then l(i n l(i i. Fact.2 Let I be a bounded open interval and I 1, I 2,..., I n,... be a countable collection of bounded open intervals such that I I i. Then l(i l(i i. Proof. Let I = (a, b and let ɛ > 0 be arbitrary. Consider I = (a ɛ 4, a + ɛ 4 and I = (b ɛ 4, b + ɛ 4. Then the collection {I i } {I, I } is an open cover for [a, b]. Hence by Heine-Borel theorem, there exists a finite sub-cover, say {I i } {I, I }. Now, apply the Exercise above. Remarks. 1. If the collection I 1, I 2,..., I n,... in Fact.2 above were a disjoint, countable collection of bounded open intervals covering I, then l(i l(i i would follow (almost trivially from (c above. (Exercise 2. If, furthermore, {I i } is a disjoint, countable collection of bounded open intervals with I = I i, then l(i = l(i i. (Exercise Now, we would like to extend these (nice properties of the measure m(= l on intervals to more general sets of real numbers. Definition. The set function m : P(R R # + defined by { } m (A = inf l(i k : A I k, each I k is a bounded open interval is called the (Lebesgue outer measure. Remarks. It is easy to show that: (i m ( = 0 and, m ({a} = 0 for all a R. (ii m (A m (B if A B. Exercises. 1. Calculate m (A if (i A is a singleton or a finite set, (ii A = Q [0, 1]. 2 Show that m (A = m (α + A for all α R. Fact.3 For any interval I R, m (I = l(i. Proof. Assume I = (a, b, then, given any ɛ > 0, we have I (a ɛ, b + ɛ. Then, by Remark 2 2 (ii above, m (I l(i < b a + ɛ which implies that m (I b a = l(i. On the other hand, b a is a lower bound for the set of numbers { } U = l(i i : I I i, {I i } open. Since m (I = inf(u, which must be greater than or equal to any other lower bound, we have m (I b a = l(i. Hence m (E = l(i.

Next assume that I = [a, b]. Then, for all ɛ > 0 (a, b I (a ɛ, b + ɛ. Thus, m (a, b m (I m (a ɛ, b + ɛ l(i m (I l(e + 2ε l(i = m (I. The other two bounded cases are proved similarly. If I is an unbounded interval (i.e., if a = or b =, then there exists an interval I I with l(i = n. Then m (I m (I = n for all n 1; hence, m (I = = l(i. Fact.4 The outer measure m is countably sub-additive, namely, if A 1, A 2,... is a sequence of subsets of R, then m A i m (A i. Proof. Fix ɛ > 0. Given any A i, pick a cover of A i consisting of open intervals {I i,n } such that m (A i l(i i,n < m (A i + ε 2. i Next consider the collection {I i,n } i,n=1, which covers A i. Hence { } m A i = inf l(j k : J k A i. Therefore, m A i l(i i,n = i,n=1 n=1 n=1 l(i i,n < (m (A i + ε = 2 i m (A i + ε. Remark. It was shown by Vitali (1905 that there are A, B R disjoint such that m (A > 0, m (B > 0, and m (A B m (A + m (B. Fact.5 m is finitely additive implies m is countably additive. Proof. If {A i } is a disjoint family of subsets of R and m is finitely additive, then by Fact.4 ( n n ( m (A i = m A i m A i m (A i. =1 Now by letting n we have m ( A i = m (A i. Consequently, in order to have m be countably additive, we need to seek a smaller class of subsets of R (than P(R on which m is finitely additive. A simplification: From Fact.4 and Fact.5, in order to show that m is finitely additive on a class of sets, all we need to show is that m (A B m (A + m (B for any pair A, B in that class. Definition. A set E R is called measurable if given any A R, then m (A = m (A E + m (A E c, Remarks. 1. and R are measurable. 2. E measurable implies that E c is measurable. i.e., E splits A m -additively. 7

8 Question. What is the structure and the size of the the class of measurable sets? In order to answer this question we need to make an observation. Fact.6 If m (E = 0, then E is measurable. Proof. Let A R. Then (A E E and (A E c A. Hence by monotonicity of m m (A E + m (A E c m (E + m (A = m (A. Hence m (A E + m (A E c m (A. Conversely we notice that m (A m (A E c = 0 + m (A E c = m (A E + m (A E c. Therefore, E is measurable. Definition. A nonempty collection G of subsets of R is called an algebra if i R G, ii if {A i } n G, then n A i G, and iii A G implies A c G. Remark. It follows from (i and (iii that G. Also, it follows from (ii and (iii that if {A i } n G, then n A i G. Definition. A nonempty collection G of subsets of R is called a σ-algebra if it is an algebra and (ii if {A i } G, then A i G. Theorem.1 F = {E R : E is measurable} is a σ algebra. Proof. We first note that, R F. Hence (i is satisfied. Also E F which implies that E c F. Thus (iii is also satisfied. Therefore, we must show {E i } F E i F. First we will consider the finite case. Let E 1, E 2 F. In order to prove that E 1 E 2 F we need to show for all A R that Observe that Now m (A m (A (E 1 E 2 + m (A (E 1 E 2 c. A (E 1 E 2 = (A E 1 (A E c 1 E 2. m (A (E 1 E 2 + m (A (E 1 E 2 c = m (A (E 1 E 2 + m (A E c 1 E c 2 m (A E 1 + m (A E 2 E c 1 + m (A E c 1 E c 2 = m (A E 1 + m (A E c 1 = m (A since E 2 F. Hence (E 1 E 2 F. Therefore F is an algebra. Claim. If {E 1, E 2,..., E n } is a disjoint family of sets in F, then for all A R we have ( n n m (A E i = m (A E i. (Exercise: Prove this claim. Hint: Use induction. Next let {E i } F be an arbitrary (countable family of sets. Without loss of generality, we can assume that it is a disjoint family. Let E = E i. We now need to show for all A R m (A m (A E + m (A E c.

9 First observe that E c = Ei c ( n n c Ei c = E i for any n. Then, ( n ( n c m (A = m (A E i + m (A E i since F is an algebra ( n m (A E i + m (A E c by the observation above. By the Claim above, we have ( n m (A E i + m (A E c = Now if we let n, we have m (A n m (A E i + m (A E c. m (A E i + m (A E c m (A E i + m (A E c = m (A E + m (A E c. Hence m (A m (A E + m (A E c and E i F. This proves that F is a σ algebra. Proposition. All intervals are in F (Hence B F. Proof. We will show that (a, F for a R. Let A R, which without loss of generality can be assumed with m (A <. Now, from the definition of m, we can find a countable family of open intervals {E k } covering A such that for ε > 0 m (A l(i k < m (A + ε. For any k, let I k = I k I k where I k = I k (a, and I k = I k (, a]. Then Hence m (I k = l(i k = l(i k + l(i k = m (I k + m (I k. ( ( m (A (a, m I k (a, = m Similarly we have have Then m (A (, a] m (A (a, + m (A (, a] m (I k. [m (I k + m (I k ] = I k m (I k. m (I k m (A + ε. Hence (a, F. Proof for other types of intervals are similar and left as an exercise.

10 Remark. It follows from this proposition that the σ-algebra F is rather large (at least as large as B. We will see below that B F P(R, an each of these inclusions is proper. Exercise. Let E R with m (E > 0. Show that there exists a bounded subset of E that also has positive outer measure. Definition. The set function m = m F : F [0, ] is called the Lebesgue measure and the triple (R, F, m is sometimes called the Lebesgue measure space. Fact.7 The Lebesgue measure m inherits all of its properties from m, namely: i m( = 0, m(r = ii If A B, then m(a m(b for all A, B F iii m(a B = m(a + m(b for any A, B F with A B = (finite additivity iv m(a = l(a if A is an interval v m is translation invariant Furthermore, m is countably additive, namely, vi m( A i = m(a i for any countable disjoint collection {A i } F. Proof. All these properties, except (iii, (v and (vi, easily follow from the properties of the Lebesgue outer measure. SinceA B =, it follows that A c B = B. Hence, since A is measurable, m (A B = m (A (A B + m (A c (A B = m (A + m (B, which proves (iii. Proof of (v is straightforward (exercise. For (vi, first observe that from the claim in Theorem.1 it follows that m is finitely additive on F, which together with Fact.5 implies (vi. Another proof goes as follows: We need to show that if {E k } F is a disjoint collection, then m E k = m(e k. We already know (from finitely additivity that, for any n 1 ( n n m E k = m(e k. So by monotonicity ( n m E k m E k = Now if we let n we get the desired result. n m(e k. Now, we will exhibit some important features of Lebesgue measurable sets and Lebesgue measure. Let s begin with the approximation property of the Lebesgue measurable sets. Theorem.2 Let E R. The following are equivalent: (i E F (ii For all ε > 0, there exists O open such that E O and m (O \ E < ε. (iii For all ε > 0, there exists C closed such that C E and m (E \ C < ε.

11 (iv There exists G G δ with E G such that m (G \ E = 0. (v There exists F F σ with F E such that m (E \ F = 0. Furthermore, if E F with m(e <, then (ii-(v are equivalent to (vi For all ε > 0, there exists a finite union U of open intervals s.t. m (U E < ε where A B = (A \ B (B \ A. Proof. First we make an important observation: if m (A < is measurable and A B, then m (B = m (A (B \ A = m (A + m (B \ A m (B \ A = m (B m (A. We will prove (i (ii (iv (i and (ii (iv (i. The other implications will be left as an exercise. (i (ii: Assume first that m (E <. From definition, given ε > 0 there exists an open cover {I k } of E such that, l(i k < m (E + ε. Let O = I k, then, since m is an outer measure, m (O = m I k < m (E + ε. Hence m (O m (E < ε, and since E has finite outer measure, we have m (O \ E = m (O m (E < ε. Next let m (E = and let E k = E [ k, k] for any k 1. So m (E k <. Hence by above, there exists O k open containing E k such that m (O k \ E k < ε 2 k. Since E = E k O k = O, where O is open. Then ( ( m (O \ E == m O k \ E k Claim. ( E k \ ( E k (O k \ E k. (Exercise: Prove the claim. Hence m (O \ E m (O k \ E k m (O k \ E k <. ε 2 k = ε. (ii iv: Given E, by (ii, pick an open set O k such that m (O k \ E = 1. Now let k G = O k, then G G δ. Since E O k for all k, E G and we have G \ E = O k \ E = (O k \ E O k \ E for any k. Then m (G \ E m (O k \ E < 1 k for any k 1.. This implies that m (G \ E = 0. (iv i: For any set E G, we have G = E (G \ E and E = G (G \ E c. If G is a set satisfying (iv, then from the fact that G δ F we have G F. Also, m (G \ E = 0 G \ E F (G \ E c F.

12 Hence E = G (G \ E c F. (ii (vi: Since E F, there exists G open with G E such that m (G \ E < ε/2. Since G is open, G = (k disjoint I k. Then ( ( I k = E I k \ E m I k < m (E + ε 2. Note that k disjoint m ( k disjoint k disjoint I k = k k disjoint m (I k = k So k l(i k is convergent. Hence there exists N such that l(i k < ε 2. k=n+1 l(i k. Now let U = N I k. Then U \ E G \ E m (U \ E < ε. Thus 2 ( N c ( N E \ U = E U c = E I k = E Hence E \ U = N (E \ I k k=n+1 I k and ( m (E \ U < m Therefore m (U E < ɛ. k=n+1 I k k=n+1 I c k l(i k < ε 2. (vi (i: We begin by making two observations. First, for any sets U, V R, we have U c \ V c = V \ U (and V c \ U c = U \ V ; hence, U V = U c V c. Consequently, m (U V = m (U c V c. Secondly, if m (U m (V, then U V (U V, which implies that m (U m (V + m (U V. Similarly, if m (V m (U, then V U (V U, and therefore, m (V m (U + m (U V. Thus, m (U m (V m (U V. Now, assume (vi; so, given ɛ > 0, let B be an open set (finite union of open intervals such that m (A B < ɛ 2. Hence, we have m (A m (B < ɛ 2 and m (A c m (B c < ɛ 2. Since B is measurable, we have, for any X R, m (X = m (B X + m (B c X. Thus, m (A X + m (A c X m (X = m (A X + m (A c X m (B X + m (B c X m (A X m (B X + m (A c X m (B c X m ((A B X + m ((A c B c X m (A B + m (A c B c < ɛ. Therefore, m (A X + m (A c X = m (X, implying that A F. Corollary. For all E F, E = B N where B B and m (N = 0. Proof. By the previous theorem (v, there exists F F σ such that m (E \ F = 0 and F E. Then E = F (E \ F. Take B = F and N = E \ F. This corollary says that the completion of B is F..

Remark. The analysis above also proves that on (all of P(R Lebesgue outer measure cannot be additive (hence, cannot be countably additive; however, it s additive on a (proper subset of it, i.e., on F. Exercises. 1. Prove that A F if and only if for any ɛ > 0 there is a closed set C and an open set O with C A O such that m (O \ C < ɛ. 2. Let E R have finite outer measure. Prove that E F if and only if for each bounded interval (a, b, b a = m ((a, b E + m ((a, b \ E. Theorem.3 (Continuity of m, or Monotone convergence theorem for Lebesgue measure Let {E k } F. i If E k E k+1 for all k 1, then m( E k = lim n m(e n. ii If E k E k+1 for all k 1 and m(e 1 <, then m( E k = lim n m(e n. Proof. (i Assume m(e k < for all k 1. Let A 1 = E 1, A 2 = E 2 \ E 1, A 3 = E 3 \ E 2,..., A k = E k \ E k 1 for k 2. Then {A k } is a disjoint family in F, and furthermore E k = A k. Hence ( m E k = m A k = m(a k = lim n We note that the last sum is telescoping. So, it follows that m E k = lim m(e n. n n m(a k = lim n If there exists an n 0 such that m(e n0 =, then ( E n0 E n m E n m(e n0 =. n=1 When n n 0, we have E n0 E n, which implies that lim n m(e n =. n=1 n m(e k \ E k 1. ii Let B k = E 1 \E k for k 1. Then, since {E k } is decreasing, {B k } is an increasing collection in F. Also B k = (E 1 \ E k = E 1 \ E k. Therefore, since m(e 1 is finite, we now have ( ( m B k = m E 1 \ E k = m(e 1 m E k. By (i and the fact that m(e k < for each k, we get m B k = lim m(b n = lim [m(e 1 m(e k ] = m(e 1 lim m(e k. n n n Hence m( E k = lim n m(e n. 13

14 Remark. The condition m(e 1 < in (ii above cannot be removed. Exercise: Give an example that if this condition is removed than the assertion of (ii is no longer valid. At this point, we would like to define a set operation that will be studied below in a special setting. Given a collection of subsets {E n } n of a set X, similarly to the way we defined the lim sup a n and lim inf a n of a sequence, we define Exercises. Let {A n } n F. lim sup A n = n=1 k=n A k, and n lim inf A n = n=1 k=n A k. n 1. m(lim inf n A n lim inf n m(a n. 2. If m( n=1a n <, then m(lim sup n m(a n m(lim sup n A n. Definition. We say that a property P holds almost everywhere on a measurable set E if there exists E 0 E with m(e 0 = 0 such that P holds for all x E \ E 0. Observation: Let {E k } F. A point x R belongs to infinitely many E k s n 1 there exists k n such that x E k for all n 1, x k n E k ( x E k (= lim sup E n. n n=1 k n for all Theorem.4 (Borel-Cantelli Lemma Let {E k } F be a countable collection such that m(e k <, then m(lim sup n E n = 0; i.e., almost every x R belongs to at most finitely many E k s. Proof. By the above observation, we need to only show that the set of x R which belong to infinitely many E k s has measure 0. Equivalently, ( m E k = 0. First, notice that Lets decreasify by letting A 1 = k n m E k E k, A 2 = m(e k <. E k,..., A n = Then A k, and m(a 1 <. Therefore, by continuity of m, ( ( m E k = m A n = lim m(a n n n=1 k n n=1 k=2 k=n E k,... k=n [ ] = lim m E k lim m(e k = 0. n n

15 Exercises 1. Show that m (A = m (α + A for all A R, α R. 2. Calculate m (A if (i A is a singleton or a finite set, (ii A = Q [0, 1]. 3. Show that (i For any a, b R, a < b, the sets (a, b, [a, b, (a, b], and [a, b] are measurable. (ii Q and Q c are measurable, and calculate m(q c [0, 1]. 4.Let E R with m (E > 0. Show that there exists a bounded subset of E that also has positive outer measure. 5. Show that if A, B F, then m(a B + m(a B = m(a + m(b. 6. Prove (i (iii (v in Theorem.2; that is, TFAE: (i E F (iii For all ε > 0, there exists C closed such that C E and m (E \ C < ε. (v There exists F F σ with F E such that m (E \ F = 0. [Hint: Use the fact that (i (ii.] 7. Prove that A F if and only if for any ɛ > 0 there is a closed set C and an open set O with C A O such that m (O \ C < ɛ. 8. Let E R have finite outer measure. Prove that E F if and only if for each bounded interval (a, b, b a = m ((a, b E + m ((a, b \ E. 9. Given a collection of subsets {E n } n of a set X, similarly to the way we defined the lim sup a n and lim inf a n of a sequence, we define lim sup A n = n=1 k=n A k, and n lim inf A n = n=1 k=n A k. n 10. Show that for {A n } n F. (i m(lim inf n A n lim inf n m(a n. (ii If m( n=1a n <, then m(lim sup n m(a n m(lim sup n A n. 11. Let A F and r R. Show that the sets r + A and ra are also measurable and m(r + A = m(a, and m(ra = r m(a. 12. Show that if A, B F, then m(a B + m(a B = m(a + m(b. II.3. Non Measurable Sets As we promised in section I.1 above, we will now construct a non-measurable set; hence, proving that not all subsets of R belong to F (equivalently, not every subset of R is constructible.

16 Lemma. Let E F be a bounded set with m(e 0. If Λ is a countably infinite bounded set of real numbers such that {λ + E} λ Λ is disjoint, then m(e = 0. Proof. Exercise. For a set E F let a relation on E be defined by x y if and only if x y Q. It is easy to show that is an equivalence relation on E (Exercise. Recall that an equivalence relation partitions a set into equivalence classes, the equivalence classes of E with respect to are either disjoint or the same. Namely, E = {[x] : [x] is the equivalence class of x with respect to }; and, for all x, y E, either [x] [y] = or [x] = [y]. Now, let Then we observe that: C E = {set of single element representatives from each E/ }. (i For all x E, there exists c C E such that x = c + q for some q Q. (ii For all x, y C E, x y, x y Q c. Hence, for any pair of distinct rationals, say p, q, we have (p +C E (q +C E =, for otherwise, it follows that p + x = q + y for some x, y C E, which would imply x y = p q Q, contradicting (ii above. Theorem.5 (Vitali If E R with m (E > 0, then there exists A E such that A F. Proof. Since m (E > 0, we can assume that E is bounded. So consider C E for this set E. Claim. C E F This claim proves the assertion by letting A = C E. Hence, all we need is to prove the Claim. For, assume for a contradiction that C E F. Since E is bounded, E [ m, m] for some m Z. Pick Λ 0 = [ 2m, 2m] Q. Then Λ 0 is countably infinite, bounded, and dense in [ 2m, 2m]. Then, for any x E, there exists c C E such that x = c + q for some q Q. Since x, c [ m, m], q [ 2m, 2m], λ Λ 0 (λ + C E is bounded. By previous Lemma, m(c E = 0. Hence ( 0 < m (E m (λ + C E m (λ + C E = m (C E = 0. λ Λ 0 λ Λ 0 λ Λ 0 This is a contradiction! Hence the claim must hold. Corollary. There exists A, B R, A B =, such that m (A B < m (A + m (B. Proof. For otherwise Theorem.5 would be false. Remark. It follows from the Corollary that F P(R.

Exercise. Let E R be a non-measurable set with m (E <. Show that there is a G δ -set G with E G such that m (E = m (G and m (G \ E > 0. 17 II.4 The Miraculous Cantor Set First, let s recall the construction of the Cantor set: C 0 = [0, 1] [ C 1 = 0, 1 ] [ ] 2 3 3, 1 [ C 2 = 0, 1 ] [ 2 9 9, 1 ] 3. [ 2 3, 7 ] [ ] 8 9 9, 1 Let C = n=1 C n. Then we have C n C n+1, for all n 1. Thus by the Nested Set Theorem, C. The set C is called the Cantor Set. Fact.8 (i C is closed. (ii m(c = 0. (iii C is uncountable. Proof. By construction C is closed. Next, C F (why?. Also, since m(c 1 = 2, m(c 3 2 = 4, m(c 9 3 = 8,..., we have m(c 27 n = ( 2 3 n for n 1. Hence by the continuity of m, m(c = m C n = lim m(c n = 0, n proving (i. Now, observe that if x [0, 1] can be expressed in ternary form as a k x = 3, where a k k {0, 2}, n=1 then x C. The converse is true as well. Recall that this (ternary expansion is unique with the convention that, if a k x = 3, where a k m = 1 and a k = 0 for k m + 1, then instead take its equivalent x = m 1 a k 3 + k k=m 2 3 k. Therefore, it follows that C {0, 2} N ; and consequently C = {0, 2} N = c. Exercise. Prove that C C = [0, 2] and C C = [ 1, 1]. Now we will construct a function that will be instrumental in many examples/constructions; namely, the Cantor-Lebesgue Function.

18 Let ϕ 1 (C[0, 1], be defined as 0 if x = 0 1 if x = 1 ϕ 1 (x = 1 if x ( 1 2 interpolate linearly on the rest. So ϕ 1 is continuous, non-decreasing, and ϕ 1 ([0, 1] = [0, 1]. Next define 0 if x = 0 1 if x = 1 1 if x ( 1 ϕ 2 (x = 2 1 if x ( 1 4 3 if x ( 7 4 interpolate linearly on the rest. Again, ϕ 2 is continuous, non-decreasing, and ϕ 2 ([0, 1] = [0, 1]. Continue constructing ϕ n, n 3, in this manner. So {ϕ n } C[0, 1] for each n 1, defined as 0 if x = 0 1 if x = 1 ϕ n (x = 2k 1 if x I n 2 n k, 1 k 2n 1 interpolate linearly on the rest, where {I n k } 1 k 2 n 1, are the open intervals removed from the set C n 1 to obtain C n in the construction of Cantor set. Now, for m < n are integers, we have ϕ n (x ϕ m (x < 1 2 m for all x [0, 1] (notice that ϕ n+1 ϕ n 1 2 ϕ n ϕ n 1 for n 2. Hence ϕ n ϕ m = max x [0,1] ϕ n(x ϕ m (x < 1 2 m ; and hence, {ϕ m } is Cauchy in C[0, 1]. Since C[0, 1] is a complete metric space, {ϕ n } converges uniformly to a function ϕ, that is continuous and non-decreasing with ϕ([0, 1] = [0, 1]. Thus ϕ : [0, 1] [0, 1] is an onto function such that ϕ is non-decreasing, ϕ(x = k, n 1. 1 k 2 n 1 when x I 2 n, k where In s k are intervals removed at the n th n stage of the Cantor set construction. Let O = [0, 1] \ C, which is measurable. Then [0, 1] = O C and [0, 1] = ϕ([0, 1] = ϕ(c ϕ(o. Since ϕ(o is a countable set, m (ϕ(o = 0. Hence, ϕ(o F. Consequently, ϕ(c is also measurable with measure m(ϕ(c = 1. Thus by Vitali s Theorem, there exists P ϕ(c such that P F. On the other hand ϕ 1 (P C. Since m(ϕ 1 (P = 0, it follows that ϕ 1 (P F. Thus, we proved that Fact.9 The function ϕ maps a measurable set (a subset of C onto a non-measurable set. Next let f : [0, 1] [0, 2] by f(x = x + ϕ(x. Then it follows from the properties of ϕ and the function x that f is continuous and onto [0, 2]. f is strictly increasing. 3, 2 3 3, 2 3 9, 2 9 9, 8 9

Since f is strictly increasing, it maps Borel sets onto Borel sets. (Why? Note that if A F such that ϕ(a F, then f(a F either. Then A B holds, for otherwise if A B, so would f(a. This implies that f(a F which is a contradiction. Hence: Corollary. There exists a nonempty set A F \ B. Exercise. Show that there exists a continuous, strictly increasing function f : [0, 1] R that maps a set of positive measure onto a set of measure zero. 19 II.5. General Measure Spaces (A Brief Survey In this section, following similar steps as in Section II.2, we will construct measures on sets not necessarily equal to R, generalizing the Lebesgue measure. Definition. A nonempty collection G of subsets of a set X is called an algebra if i X G, ii if {A i } n G, then n A i G, and iii A G implies X \ A G. Remark. It follows that G and that if {A i } n G, then n A i G. Definition. A nonempty collection G of subsets of X is called a σ-algebra if it is an algebra and (ii if {A i } G, then A i G. Remark. The collection G = {, X} and P(X are σ-algebras for any X, where {, X} is the smallest and P(X is the largest σ-algebra. It is easy to see that the intersection of a family {A α } of σ algebras of a set X is another σ algebra (Exercise. As before, we actually have a more general statement: Fact.10 Given a collection E of subsets of X, then there exists a smallest σ algebra A of subsets of X such that E A. Proof. Exercise. [Hint: Mimic the proof of Fact.1 in Section II.1] Notation: A := σ(e is called as the σ algebra generated by E. Exercise. If G is a σ algebra and E G, then the collection A = {A E : A G} is also a σ algebra. Definition. Let X be a (non-empty set and A be a σ algebra of subsets of X, then the pair (X, A is called a measurable space. Examples. 1. Let X be any uncountable set and let A = {A X : A ℵ 0 or A c ℵ 0 }. Then A is a σ-algebra and (X, A is a measurable space. 2. Let X = R and A = {finite, disjoint union of sets [a, b, where a <, < b }. Then (X, A is not a measurable space. Note that A is an algebra, but not a σ algebra. On the other hand, σ(a = B, which is a σ-algebra.

20 Definition. Let (X, A be a measurable space. measure (on A if: A set function µ : A [0, ] is called a i µ( = 0. ii µ( E k = µ(e k for any disjoint collection {E k } A. The triple (X, A, µ is called a measure space. If µ(x <, then (X, A, µ is called a finite measure space; if, in particular, µ(x = 1, then (X, A, µ is called a probability space. If X = n=1 X n such that µ(x n < for each n, then (X, A, µ is called a σ finite measure space. Definition. A set function µ : A [0, ] satisfying i µ( = 0. ii µ( n E i = n µ(e i for any disjoint collection {E i } n A, is called a finitely additive measure. Examples. 1. (R, F, m and (R, B, m are both measure spaces. 2. For any a, b R, a < b, the triple ([a, b], F [a,b], m, where F [a,b] = {A [a, b] : A F}, is a finite measure space; in particular, ([0, 1], F [0,1], m is a probability space. 3. Let X be any infinite set and let A = P(X. Define µ : A [0, ] by { 0 if A < µ(a = if A is infinite. Then µ is not a measure, but is a finitely additive measure. 4. Let X = Z, A = P(Z, and define c : A [0, ] by c(a = A. Then c is a measure on Z (called the counting measure. 5. Let X be any uncountable set and let A = {A X : A or A c is countable}. If a set function µ : A [0, ] is defined by { 0 if A is countable µ(a = 1 if A c is countable, then µ is a measure. Remark. Sets of measure zero and almost all properties are defined in any measure space exactly the same as in the case of the Lebesgue measure. Theorem.6 Let (X, A, µ be a measure space. Then i For all A, B A such that A B, µ(a µ(b. ii If {A i } A, then µ A i µ(a i (Subadditivity. iii If {A i } A, and A i A i+1 for all i 1, then µ A i = lim µ(a n (Continuity from below. n

21 iv If {E i } A, and E i E i+1, for all i 1 and µ(e 1 <, then µ E i = lim µ(e n (Continuity from above. n v Borel-Cantelli Lemma holds. Proof. Similar to the proofs of the analogous properties in the case of m. Discussion: (R, B, m vs. (R, F, m. It is known that C B, but C contains an E C such that E is not a Borel set. Thus, in (R, B, m, C has a subset, say E, such that E B. However, E F. Notice m(c = 0, hence there exists a measure space with the property that not every subset of measure zero is measurable. Such measure spaces are called incomplete. Definition. A measure space (X, A, µ is called complete if E A where µ(e = 0 and F E, then F A. Theorem.7 Let (X, A, µ be a measure space and N = {N A : µ(n = 0}. Let A = {E F : E A, F N for some N N }, and define µ : A [0, ] by µ(e F = µ(e. Then A is a σ algebra and µ is a measure on A such that (X, A, µ is a complete measure space. Proof. First we will show that A is a σ algebra. Let E = A F A. Without loss of generality we can assume that A F = (otherwise replace F by F \ A and N by N \ A. Observe that A F = (A N (N c F. Then E c = (A N c (N c F c = (A}{{ N} c (N \ F. }{{} A N Thus E c A. If {A i F i } A, then (A i F i = ( A i }{{} A ( F i }{{} N Thus A is a σ algebra. It is left as an exercise to show that µ satisfies all the properties of being a measure. Now, all we need to show is that µ is well defined. Let E A, and A 1 F 1 = E = A 2 F 2. Then A 1 A 2 F 2 (A 2 N 2. Hence µ(a 1 µ(a 2 N 2 = µ(a 2. Similarly we get µ(a 1 µ(a 2. Thus µ(a 1 = µ(a 2, so µ is well defined. Question: How can we construct measures? We will answer this question, as in the case of Lebesgue measure, via outer measures. Definition. Let X be a set. A set function µ : P(X [0, ] is called an outer measure (on X if : i µ ( = 0. ii µ (A µ (B when A B. iii µ ( A k µ (A k..

22 Exercise. If an outer measure is is finitely additive, then it is a measure. Given an outer measure on X, then we define µ measurable sets as: Definition. A set E X is called a µ measurable set if for all A X, µ (A = µ (A E + µ (A E c. Examples. 1. Let X be an infinite set and define µ (E = E if E is finite and µ (E = if E is infinite. Then µ is an outer measure (Show. Exercise: Determine the µ -measurable sets. 2. Let X be any set and define µ ( = 0 and µ (E = 1 if E. Then µ is an outer measure (Show. Exercise: Determine the µ -measurable sets. 3. 1. Let X be an uncountable set and define µ (E = 0 if E is countable and µ (E = 1 if E is uncountable. Then µ is an outer measure (Show. Exercise: Determine the µ -measurable sets. Theorem.8 (Carathèodory Given a set X and an outer measure µ on X, the collection A := {E X : E is µ measurable} is a σ algebra of subsets of X, and µ A = µ is a (complete measure on X. Proof. Similar to the corresponding proofs for m (Theorem.1, Theorem.2 and its Corollary in Section II.2. Question: How can we construct outer measures? Definition. Let X be a set. A collection κ of subset of X is called a (sequential covering class for X if for all A X, there exists {E i } κ such that A E i. Examples.. 1. In R, κ = { } {(n, n + 2} n Z is a covering class. 2. In R, κ = {All intervals with rational endpoints} { } is a covering class (for m. Exercise. Find a suitable sequential covering class κ for X in each of the examples 1-3 above. Let λ : κ [0, ] be a set function such that λ( = 0. For any A X, let µ λ (A be the set function (induced by λ on P(X defined as { } µ λ(a = inf λ(e k : {E k } κ, E k A. Theorem.9 The set function µ λ defined above is an outer measure on X. Proof (sketch. µ λ ( = 0, µ λ (A 0 for all A X, and A B µ λ (A µ λ (B is left as an exercise to the reader. We need to prove the countable subadditivity property. Let

{A k } P(X. Given ɛ > 0, Ek 1 such that {Ek} 1 κ with A 1 A 2. Ek 2 such that {Ek} 2 κ with λ(ek 1 < µ (A 1 + ɛ 2 λ(e 2 k < µ (A 2 + ɛ 2 2 Now show that µ λ m=1 A m m=1 µ λ (A m + ɛ. Since ɛ > 0 is arbitrary, we get the desired result. Examples. 1. If X = R, κ = {all open intervals}, and λ = length, then we obtain µ λ = m which gives the Lebesgue measure m. 2. (Lebesgue Stieltjes measure Let X = R, κ = {(, a] : a R} or κ = {(a, b] : a, b R # }. Let f : R R be such that f is monotone increasing and right continuous (i.e. lim x a + f(x = f(a. Define λ(a, b] = f(b f(a with the convention that λ( = 0. Let µ f denote the set function induced by λ (via f. Then by Theorem.9, µ f is the outer measure induced by f, and by Theorem.8, µ f = µ f A=F = is the induced measure, called the Lebesgue-Stieltjes measure induced by f.. 23 Exercises 1. If µ 1, µ 2,..., µ n are measures on a measurable space (X, A and α 1, α 2,..., α n [0,, then µ = n α iµ i is also a measure on (X, A. 2. If (X, A, µ is a measure space and E A, then the set function µ E : A [0, ], defined by µ E (A = µ(e A for all A A, is also a measure on A. 3. Let µ be a finitely additive measure on a σ-algebra A of subsets of a set X. µ is a measure if and only if it is continuous from below. 4. Let µ be a finitely additive measure on a σ-algebra A of subsets of a set X with µ(x <. µ is a measure if and only if it is continuous from above. 5. Let (X, A, µ be a measure space. a If A, B A and µ(a B = 0, then µ(a = µ(b. b Define: A B if and only if µ(a B = 0. Then is an equivalence relation on A. c For A, B A, define ρ(a, B = µ(a B. Then ρ is a metric on A/. (Hence, (A/, ρ is a metric space. 6. If an outer measure µ on a set X is finitely additive, then it is a measure. 7. Let X and κ = {, X, one-point sets}. Define λ(x =, λ( = 0, and λ(e = 1 if E X. Describe the outer measure µ λ. 8. Let X be an uncountable set and κ = {, X, one-point sets}. Define λ(x = 1 and λ(e = 0 if E X. Describe the outer measure µ λ.

24 9. Let X, κ be a covering class for X and λ be a set function on P(X. If E κ, then µ λ (E λ(e. Give an example where strict inequality occurs. 10. Let X, κ be a covering class for X, λ be a set function on P(X and µ λ measure induced by κ and λ. be the outer a If κ is a σ-algebra and λ is a measure, then µ λ (E = λ(e for all E κ. b If κ is a σ-algebra and λ is a measure, then every set in κ is µ λ -measurable. [The measure µ λ given by µ λ is called an extension of λ.] 11. Let X, κ = {, X} and λ be a set function on P(X given by λ(e = 0 if E = and λ(e = 0 if E = X. Determine the outer measure µ λ and describe the σ-algebra of µ λ - measurable sets. The same question when X = [0, 1]. 12. Let X = R, κ = P(R and define λ(e = {k Z : k E}. Determine the outer measure µ λ and describe the σ-algebra of µ λ-measurable sets. 13. Let F be a real-valued, increasing and right continuous function on R. If µ F is the associated Lebesgue-Stieltjes measure, then prove that, for any a, b R, (i µ F ({a} = F (a F (a, (ii µ F ([a, b = F (b F (a, (iii µ F ([a, b] = F (b F (a, and (iv µ F ((a, b = F (b F (a.