Real Analysis Chapter 1 Solutions Jonathan Conder

Size: px
Start display at page:

Download "Real Analysis Chapter 1 Solutions Jonathan Conder"

Transcription

1 3. (a) Let M be an infinite σ-algebra of subsets of some set X. There exists a countably infinite subcollection C M, and we may choose C to be closed under taking complements (adding in missing complements if necessary). For each x X, define D x := {C C x C}, so that D x M. Let x, y X and suppose y D x. Then y C for all C C with x C. Moreover, if y C for some C C, then y / C c C, so x / C c and hence x C. This implies that, if C C, then x C iff y C. In particular D x = D y. If x, y X and there exists z D x D y, then D x = D z = D y, so the collection D := {D x x X} is pairwise disjoint. If C C, then C = {D x x C}, since x D x C for all x C. Therefore, the image of the map : 2 D 2 X contains C, so there exists a surjection from some subset of 2 D onto C. If D were finite, then 2 D would be as well, which is a contradiction because C is infinite. Therefore D is an infinite, pairwise disjoint subcollection of M. (b) Let M be an infinite σ-algebra of subsets of some set X. By the previous exercise, there exists an infinite, pairwise disjoint subcollection D of M. Since Q is countable, there exists an injection q : Q D. Define r : 2 Q M by r(a) := a A q(a). Then r is well-defined because each A Q is countable, and injective because D is pairwise disjoint. There exists an injection from R 2 Q, for example the map x (, x] Q (which is injective by the least upper bound property of R). Composing these injections gives an injective map from R M, which shows that card(m) c. 4. Let A be an algebra which is closed under countable increasing unions. To show that A is a σ-algebra, it suffices to show that it is closed under arbitrary countable unions. To this end, let {E n } be a countable collection of members of A. For each n N define F n := n E k. Since A is an algebra it is clear that (F n ) is an increasing sequence of members of A, so E n = F n A as required. Conversely, it is plain that every σ-algebra is closed under countable increasing unions. 5. Let E be a collection of subsets of some set X, and let M be the σ-algebra generated by E. Define N := {A A is the σ-algebra generated by some countable subcollection of E}. It is clear that, X N, E N and N is closed under taking complements. Let {E n } be a countable collection of members of N. For each n N there exists a countable subcollection E n of E such that E n is in the σ-algebra generated by E n. Since union of countably many countable sets is countable, F := E n is a countable subcollection of E. Let A be the σ-algebra generated by F, so that A N. For each n N the σ-algebra generated by E n is a subset of A, because A is a σ-algebra containing E n. This implies that E n A for all n N, and hence E n A N. Therefore N is closed under countable unions, so it is a σ-algebra containing E. This implies that M N. Conversely, let E N. Then E belongs to the σ-algebra A generated by some countable subcollection of E. Since M is a σ-algebra containing this subcollection, A M and hence E M. This shows that N M and hence N = M. 6. Note that µ( ) = µ( ) = µ( ) = 0. Given a sequence (A n ) of disjoint sets in M, there exists a sequence (E n ) of sets in M and a sequence (F n ) of subsets of measure zero sets from M such that A n = E n F n for all n N. Note that (E n ) is pairwise disjoint, and F n is a subset of a measure zero set. Therefore µ( A n ) = µ(( E n ) ( F n )) = µ( E n ) = µ(e n ) = µ(a n ). This shows that µ is a measure. Let A X, and suppose there exists B M such that A B and µ(b) = 0. Then B = E F for some E M and F a subset of a measure zero set N M. It follows that A E N, where E N M and µ(e N) µ(e) + µ(n) = µ(e) + 0 µ(b) = 0. Therefore A = A M, which shows that µ is complete. 1

2 Let λ : M [0, ] be another measure which extends µ, and let A M. Then A = E F for some E M and F a subset of a measure zero set N M. It follows that µ(e) = λ(e) λ(a) λ(e) + λ(f ) λ(e) + λ(n) = µ(e) + µ(n) = µ(e). Therefore λ(a) = µ(e) = µ(a), so λ = µ. This shows that µ is the unique measure on M which extends µ. 7. Set µ := n j=1 a jµ j, and note that µ( ) = 0. If {E i } i N is a pairwise disjoint collection of members of M, then µ( i N E i ) = a j µ j ( i N E i ) = j=1 a j j=1 µ j (E i ) = a j µ j (E i ) = i N i N j=1 i N (note that we are allowed to change the order of summation because all the terms are non-negative; alternatively you µ(e i ) can consider the convergent/divergent cases separately). This shows that µ is a measure on (X, M). 8. Let (X, M, µ) be a measure space and {E n } a countable collection of measurable sets. Then ( k=n E k) is an increasing sequence of measurable sets with µ( k=n E k) µ(e n ) for all n N, so µ(lim inf E n) = µ( ( k=n E k)) = lim n µ( k=n E k) = lim inf n µ( k=n E k) lim inf n µ(e n). Moreover ( k=n E k) is a decreasing sequence of measurable sets with µ( k=n E k) µ(e n ), so µ(lim sup E n ) = µ( ( k=n E k)) = lim n µ( k=n E k) = lim sup n provided that the first term of the sequence has finite measure, i.e. µ( E k) <. µ( k=n E k) lim sup µ(e n ) n 9. Let (X, M, µ) be a measure space and E, F M. Then E = (E F ) (E \ F ) and (E \ F ) F = E F, so µ(e) + µ(f ) = µ(e F ) + µ(e \ F ) + µ(f ) = µ(e F ) + µ(e F ). 10. Clearly µ E ( ) = µ( E) = µ( ) = 0. If {E n } is a pairwise disjoint collection of members of M, then µ E ( E n ) = µ(( E n ) E) = µ( (E n E)) = µ(e n E) = µ E (E n ). Therefore µ E is a measure. 11. Suppose that µ is continuous from below. Let {E n } be a pairwise disjoint collection of measurable sets, and for each n N define F n := n i=1 E n. Since µ is continuous from below and finitely additive, µ( i N E i ) = µ( F n ) = lim n µ(f n) = lim n µ(e i ) = i=1 µ(e i ). i=1 This shows that µ is a measure. Conversely, if µ is a measure it is continuous from below by Theorem 1.8. Now suppose that µ(x) < and µ is continuous from above. If (E n ) is an increasing sequence of measurable sets, then (E c n) is a decreasing sequence of measurable sets, which implies that µ( E n ) = µ(x) µ(( E n ) c ) = µ(x) µ( E c n) = µ(x) lim n µ(ec n) = lim n µ(e n). This shows that µ is continuous from below, so it is a measure by the previous paragraph. Conversely, if µ is a (finite) measure it is continuous from above by Theorem

3 14. Suppose for a contradiction that there exists C (0, ) such that every measurable subset F E satisfies µ(f ) C or µ(f ) =. Set M := sup{µ(f ) F E is measurable and µ(f ) < }, and note that 0 M C. For each n N there exists a measurable subset E n E such that M n 1 µ(e n ) <. Set F n := n i=1 E n for each n N and define F := F n. Note that M n 1 µ(e n ) µ(f ) and also µ(f n ) n i=1 µ(e n) < for all n N, so M µ(f ) = lim n µ(f n ) M. This shows that µ(f ) = M, so µ(e \ F ) =. Since µ is semifinite, there exists a measurable subset A E \ F such that 0 < µ(a) <. This contradicts the definition of M, because A F E but µ(f ) < µ(a) + µ(f ) = µ(a F ) <. Therefore, for any C (0, ) there exists a measurable subset F E such that C < µ(f ) <. 17. Let A, B X be disjoint µ -measurable sets, and let E X. Then (A B) A c = B and hence µ (E (A B)) = µ (E (A B) A) + µ (E (A B) A c ) = µ (E A) + µ (E B). It follows by induction that n µ (E A k ) = µ (E ( n A k)) µ (E ( A k)) for all n N. Therefore µ (E A k ) µ (E ( A k)), which implies that µ (E ( A k)) = µ (E A k ) because µ is subadditive. 18. (a) Let E X and ε (0, ). If µ (E) = then X A A σ, E X and µ (X) µ (E) + ε. Otherwise { } µ (E) = inf µ 0 (A n ) A n A for all n N and E A n, so there exists a sequence (A n ) in A such that E A n and µ 0(A n ) µ (E) + ε. If A := A n, then A A σ, E A and µ (A) µ 0(A n ) µ (E) + ε. (b) Let E X such that µ (E) <. Suppose that E is µ -measurable. For each n N there exists B n A σ such that E B n and µ (B n ) µ (E) + n 1. Define B := B n, so that B A σδ and E B. Since µ (E) <, it follows that µ (B \ E) µ (B n E c ) = µ (B n ) µ (B n E) = µ (B n ) µ (E) n 1 for all n N. This implies that µ (B \ E) = 0. Conversely, suppose there exists B A σδ such that E B and µ (B \ E) = 0. If F X, then µ (F E) + µ (F E c ) µ (F B) + µ (F B c ) + µ (F (B \ E)) µ (F B) + µ (F B c ) = µ (F ) because B A σδ is µ -measurable. Clearly µ (F ) µ (F E) + µ (F E c ), so E is µ -measurable. 19. If E X is µ -measurable, then µ (X) = µ (X E)+µ (X E c ) = µ (E)+µ (E c ) by definition, so µ (E) = µ (E). Conversely, let E X and suppose that µ (E) = µ (E). By the previous exercise, for each n N there exist A n, B n A σ such that E A n, E c B n, µ (A n ) µ (E) + n 1 and µ (B n ) µ (E c ) + n 1. If A := A n, then µ (A \ E) µ (A n B n ) = µ (A n ) µ (A n \ B n ) = µ (A n ) µ (B c n) = µ (A n ) (µ (X) µ (B n )) µ (E) + n 1 µ (X) + µ (E c ) + n 1 3

4 = µ (E) µ (E) + 2n 1 = 2n 1 for all n N, and hence µ (A\E) = 0. Moreover E A and A A σδ, so by the previous exercise E is µ -measurable. 20. (a) If (A n ) is a sequence in M such that E A n, then µ (E) µ ( A n ) µ (A n ) = µ(a n ). Therefore µ (E) µ + (E), by definition. If there exists A M such that E A and µ (A) = µ (E), then µ + (E) µ(a) + µ( ) = µ (A) = µ (E), n=2 so µ (E) = µ + (E). Conversely, suppose that µ (E) = µ + (E). By exercise 18 part (a), for each n N there exists A n M σ = M such that E A n and µ + (A n ) µ + (E) + n 1. Define A := A n, so that A M and E A. Moreover µ + (A) µ + (A n ) µ + (E) + n 1 for all n N, so µ + (A) µ + (E). It follows that µ (A) = µ + (A) = µ + (E) = µ (E), because A M and E A. (b) Let µ 0 be a premeasure on an algebra A M such that µ is induced by µ 0, and let E X. By exercise 18 part (a), for each n N there exists A n A σ M such that E A n and µ (A n ) µ (E) + n 1. Define A := A n, so that A M and E A. Moreover µ (A) µ (A n ) µ (E) + n 1 for all n N, so µ (A) µ (E). It follows that µ (A) = µ (E), because E A. By the previous exercise, this implies that µ (E) = µ + (E). Therefore µ = µ +. (c) Define µ : 2 X [0, ] by µ ( ) = 0, µ ({0}) = 2, µ ({1}) = 2 and µ (X) = 3. Clearly µ (A) µ (B) for all A B X. Moreover µ is subadditive, because µ (X) < µ ({0}) + µ ({1}). Therefore µ is an outer measure. Note that {0} is not µ -measurable, because µ (X) = 3 < = µ (X {0}) + µ (X {0} c ). This implies that µ + ({0}) = inf{ µ (A n ) A n X for all n N and A n = X for some n N} = µ (X) = 3 2 = µ ({0}). 21. Let E X be locally µ -measurable, and let A X. If µ (A) =, then clearly µ (A E) + µ (A E c ) µ (A). Otherwise, by exercise 18 part (a), for each n N there exists a µ -measurable set A n X such that A A n and µ (A n ) µ (A) + n 1. In particular, if n N then µ (A n ) <, and hence A n E and A n E c = A n (A n E) c are µ -measurable (because E is locally µ -measurable). It follows that µ (A E) + µ (A E c ) µ (A n E) + µ (A n E c ) = µ(a n E) + µ(a n E c ) = µ(a n ) = µ (A n ) µ (A) + n 1 for all n N, so µ (A E) + µ (A E c ) µ (A). Clearly µ (A) µ (A E) + µ (A E c ) in either case, so E is µ -measurable. This shows that µ is saturated. 22. (a) Clearly µ M = µ, so by exercise 6 from section 1.3 it suffices to show that M = M. To this end, let A M. Then A = E F for some E M and F X such that F B for some B M with µ(b) = 0. Clearly A E B M = M σδ and µ ((E B) \ A) µ (B) = 0. By exercise 18 part (c), it follows that A M. Conversely, let A M. By exercise 18 part (c) there exists B M σδ = M such that A B and µ (B \ A) = 0. Since B \ A M, exercise 18 part (b) implies that B \ A E and µ (E \ (B \ A)) = 0 for some E M. Note that B \ E M and A E M. Moreover µ (A E) µ (E \ (B \ A)) = 0, so there exists F M such that A E F and µ (F \ (A E)) = 0, by exercise 18 part (b). It follows that µ(f ) = µ (F ) µ (F \ (A E)) + µ (A E) = 0. 4

5 Since A = (B \ E) (A E), it follows that A M. Therefore M = M. (b) Let Ẽ M, and µ be the completion of µ. Given A M with µ(a) <, the converse of the previous exercise implies that A M (using exercise 18 part (b) instead of part (c)). Hence A = E F for some E M and F X such that F B for some B M with µ(b) = 0. In particular µ(a) = µ(e) = µ (E) µ (A) <. Therefore Ẽ A M, as Ẽ is locally µ-measurable. Since µ (Ẽ A) < the previous exercise implies that Ẽ A M (again using exercise 18 part (b) instead of part (c)). This shows that Ẽ is locally µ -measurable, so Ẽ M by exercise 21. Conversely, let Ẽ M and A M be such that µ(a) <. Then A = E F for some E M and F X such that F B for some B M with µ(b) = 0. It follows that µ (Ẽ A) µ (A) µ (E) + µ (F ) = µ(e) + 0 = µ(a) <. This implies that A M (by the previous exercise using part (b) instead of part (c)), so Ẽ A M and hence Ẽ A M (again by the previous exercise). This shows that Ẽ is locally µ-measurable, so Ẽ M. Therefore M = M. By exercise 6 from section 1.3, µ and µ agree on M. If E M \ M, then µ(e) = by definition. Moreover, if E M = M and µ(e) <, then E M by the previous exercise (using part (b) instead of part (c)). This implies that µ and µ also agree on M \ M. 23. (a) Let E := {(a, b] Q a, b R}. Clearly = (0, 0] Q E. If (a 1, b 1 ] Q E and (a 2, b 2 ] Q E then their intersection is (max{a 1, a 2 }, min{b 1, b 2 }] Q E. Moreover, the complement of (a, b] Q E is ((, a] Q) ((b, ] Q), which is a disjoint union of elements of E provided that a b. If a > b then the complement of (a, b] Q is just (, ] Q E. This shows that E is an elementary family of subsets of Q, so the collection of finite disjoint unions of members of E is an algebra. If (a 1, b 1 ] Q E and (a 2, b 2 ] Q E are not disjoint, then their union is (min{a 1, a 2 }, max{b 1, b 2 }] Q E. Therefore A is the collection of finite disjoint unions of members of E, so A is an algebra. (b) Let M be the σ-algebra generated by A. Since Q is countable and M is closed under countable unions, it suffices to show that {x} M for all x Q. Given x Q and n N, it is clear that (x 1 n, x] Q M. Therefore {x} = ((x 1 n, x] Q) M, as required. (c) By definition µ 0 ( ) = 0. Let (E n ) be a sequence of disjoint members of A whose union lies in A. If E n = for all n N, then E n = and hence µ 0 ( E n ) = 0 = µ 0(E n ). Otherwise E n, and E m for some m N, so µ 0 ( ) = and µ 0(E n ) µ 0 (E m ) =. Therefore µ 0 is a premeasure on A. Define µ 1, µ 2 : 2 Q [0, ] by, E µ 1 (E) = 0, E =, E contains 2 n m for some m Z and n N and µ 1 (E) = 0, otherwise. Clearly µ 1 A = µ 0 = µ 2 A, because every non-empty interval contains a rational of the form 2 n m for some m Z and n N. For the same reason that µ 0 is a premeasure, µ 1 is a measure. A very similar argument implies that µ 2 is a measure. But µ 1 µ 2 because µ 1 ({3 1 }) = whereas µ 2 ({3 1 }) = (a) Since µ(a) + µ(a c B) = µ(a B) = µ(b) + µ(b c A), by symmetry it suffices to show that µ(a c B) = 0. To this end, note that E A B c = (A c B) c (if a member of E is not in B c, it is in B E = A E A). So µ(x) = µ (X) = µ (E) µ ((A c B) c ) = µ((a c B) c ) = µ(x) µ(a c B), and hence µ(a c B) = 0 as required. 5

6 (b) It is clear that M E is a σ-algebra on E and that ν( ) = 0. Let {E n } be a pairwise disjoint subset of M E. For each n N there exists A n M such that E n = A n E. Set A := i N j=i+1 (A i A j ) and define B n := A n \ A for each n N. It is easily checked that {B n } is a pairwise disjoint subset of M and that E n = B n E for all n N. Therefore ν( E n ) = ν( (B n E)) = ν(( B n ) E) = µ( B n ) = µ(b n ) = ν(e n ), which shows that ν is a measure on M E. 25. Let (C n ) be a sequence of compact intervals covering R, and fix n N. There exists a G δ set V n M µ and a null set N n M µ such that E C n = V n \ N n. Let (V nk ) k N be a sequence of open sets such that V n = k N V nk. For each k N define an open set U nk := V nk C c n, and set U := n,k N U nk. Then U is a G δ set and U \ E N n. Indeed, if x U \ E there exists n N such that x C n, which implies that x V nk for all k N and hence x V n but x / E C n = V n \ N n. Moreover E U, because E U nk for all n, k N. It follows that E = U \ (U \ E), where U \ E is a null set. If n N, then E C n = H n N n for some F σ set H n M µ and some null set N n M µ. Clearly H n and N n are respectively F σ and null sets. Moreover E = (E C n ) = ( H n ) ( N n ). 26. Let E M µ and suppose that µ(e) <. Given ε (0, ), there exists an open set U M µ such that E U and µ(u) < µ(e) + ε 2. Let (U n) be a sequence of disjoint open intervals such that U n = U. Then µ(u n ) = µ(u) <, so there exists N N such that n=n+1 µ(u n) < ε 2. Define A := N n=1 U n. It follows that µ(e A) µ(e \ A) + µ(a \ E) µ(e \ U) + µ(u \ A) + µ(u \ E) = Let a, b R. Since µ F is continuous from above, n=n+1 µ(u n ) + µ(u) µ(e) < ε. µ F ([a, b]) = µ F ( (a n 1, b]) = lim n µ F ((a n 1, b]) = lim n (F (b) F (a n 1 )) = F (b) F (a ). It follows that µ F ({a}) = µ F ([a, a]) = F (a) F (a ), in which case µ F ([a, b)) = µ F ([a, b]) µ F ({b}) = F (b ) F (a ) and µ F ((a, b)) = µ F ([a, b)) µ F ({a}) = F (b ) F (a). 29. (a) Suppose that E N but m(e) > 0. Define R := Q [0, 1), and for each r R set E r := E + r. Clearly each E r is measurable with m(e r ) = m(e), and r R E r [0, 2). Let r, s R and suppose that E r intersects E s. Then there exists t E r E s, so that t r, t s E N. Since t r = (t s) + (s r) and s r Q, the definition of N implies that t s = t r. Therefore r = s, which shows that {E r } r R is pairwise disjoint. Hence = r R m(e) = r R m(e r ) = m( r R E r ) m([0, 2)) = 2, which is a contradiction. Therefore m(e) = 0. 6

7 (b) Suppose that m(e) > 0, but every subset of E is measurable. Since E = n Z (E [n, n + 1)), there exists n Z such that m(e [n, n + 1)) > 0. Define F := (E [n, n + 1)) n, so that F [0, 1), m(f ) > 0 and every subset of F is measurable. Also define R := Q [ 1, 1], and for each r R set N r := N + r. It is clear that [0, 1) r R N r, and hence F = r R (F N r ). If r R then F N r F and (F N r ) r N, which implies that both subsets are measurable (by containment in F and translational invariance) and have measure zero (by the previous exercise and translational invariance). Therefore m(f ) r R m(f N r) = r R 0 = 0, which is a contradiction so not every subset of E is measurable. 30. Let E L with m(e) > 0, and suppose there exists α (0, 1) such that m(e I) αm(i) for all open intervals I. Without loss of generality m(e) < (since m is semifinite, we may replace E by a subset of finite positive measure). Define ε := m(e)(1 α), so that ε > 0. Since E L and m is outer regular, there exists an open set U R such that E U and m(u) < m(e) + ε. As U is open, there exists a pairwise disjoint collection {I i } i N of open intervals such that U = i N I i, and these intervals are bounded because m(u) <. If if i N then m(i i ) = m(i i \ E) + m(e I i ) m(i i \ E) + αm(i i ) and hence (1 α)m(i i ) m(i i \ E). Since i N (I i \ E) = U \ E has measure m(u) m(e), it follows that (1 α)m(u) = (1 α) i N m(i i ) = i N (1 α)m(i i ) i N m(i i \ E) = m( i N (I i \ E)) < ε = (1 α)m(e) and hence m(u) < m(e) m(u), which is impossible. Thus, for each α (0, 1) there exists an open interval I such that m(e I) > αm(i). The same clearly holds for α (, 0]. 31. Let E L with m(e) > 0, and set α := 3 4. By the previous exercise there exists a open interval I R with endpoints a, b R such that m(e I) > αm(i). Suppose there exists x ( 1 2 m(i), 1 2m(I)) such that x / E E. Then x / E E, and clearly 0 E E, so we may assume x > 0. Moreover E (E c + x) (E c x). Note that (a, a + 2x] I, because 2x < m(i) = b a. Define n := max{k N a + 2kx < b}, so that m(e (a, a + 2nx]) = (m(e (a + 2(k 1)x, a + (2k 1)x]) + m(e (a + (2k 1)x, a + 2kx])) (m((e c x) (a + 2(k 1)x, a + (2k 1)x]) + m((e c + x) (a + (2k 1)x, a + 2kx])) (m(e c (a + (2k 1)x, a + 2kx] x) + m(e c (a + 2(k 1)x, a + (2k 1)x] + x)) (m(e c (a + (2k 1)x, a + 2kx]) + m(e c (a + 2(k 1)x, a + (2k 1)x])) m(e c (a, a + 2nx]). This implies that m(e (a, a + 2nx]) 1 2 (m(e (a, a + 2nx]) m(ec (a, a + 2nx])) = 1 2m((a, a + 2nx]) = nx. Note that 4nx m(i), since otherwise k := 2n satisfies a + 2kx < b (but k > n). It follows that m(e I) m(e (a, a + 2nx]) + m((a + 2nx, b)) m(i) nx m(i) m(i) 4 = 3m(I) 4 = αm(i). This is a contradiction, so there does not exist x ( 1 2 m(i), 1 2m(I)) such that x / E E. 7

8 33. Choose a surjection q : N Q [0, 1], and for each n N define I n := (q(n) 3 n, q(n) + 3 n ). For each n N, define D n = I n \ ( k=n+1 I k). If m, n N and m < n, then D m D n = because D n I n k=m+1 I k. Moreover 2 3 n = m(i n ) m(d n ) + m( k=n+1 I k) m(d n ) + m(i k ) = m(d n ) k = m(d n ) + 3 n, k=n+1 k=n+1 and hence m(d n ) 3 n, for all n N. For each n N there exists a Borel set A n D n such that 0 < m(a n ) < 3 n, which can be found by intersecting D n with an interval of the form [3 n 1 k, 3 n 1 (k + 1)] for some k Z (not all of the intersections can have zero measure). Define A := [0, 1] ( A n ), and let I be a subinterval of [0, 1] with midpoint c. There exists n N such that 4 3 n < m(i), and there are infinitely many rationals in (c 3 n, c + 3 n ), so there exists k N with k n and q(k) (c 3 n, c + 3 n ). It follows that I k (c 2 3 n, c n ) I. Therefore A k A I (since A k I k [0, 1]), so m(a I) m(a k ) > 0. Moreover m(a I) = m(( A n ) I) = m(a k ) + m(( \{k} A n ) I) < m(d k ) + m(i \ D k ) = m(i), because m(a k ) < m(d k ) and \{k} A n \{k} D n Dk c. 8

Lebesgue Measure. Dung Le 1

Lebesgue Measure. Dung Le 1 Lebesgue Measure Dung Le 1 1 Introduction How do we measure the size of a set in IR? Let s start with the simplest ones: intervals. Obviously, the natural candidate for a measure of an interval is its

More information

II - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define

II - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define 1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1

More information

Chapter 4. Measure Theory. 1. Measure Spaces

Chapter 4. Measure Theory. 1. Measure Spaces Chapter 4. Measure Theory 1. Measure Spaces Let X be a nonempty set. A collection S of subsets of X is said to be an algebra on X if S has the following properties: 1. X S; 2. if A S, then A c S; 3. if

More information

The Caratheodory Construction of Measures

The Caratheodory Construction of Measures Chapter 5 The Caratheodory Construction of Measures Recall how our construction of Lebesgue measure in Chapter 2 proceeded from an initial notion of the size of a very restricted class of subsets of R,

More information

Measures and Measure Spaces

Measures and Measure Spaces Chapter 2 Measures and Measure Spaces In summarizing the flaws of the Riemann integral we can focus on two main points: 1) Many nice functions are not Riemann integrable. 2) The Riemann integral does not

More information

1.4 Outer measures 10 CHAPTER 1. MEASURE

1.4 Outer measures 10 CHAPTER 1. MEASURE 10 CHAPTER 1. MEASURE 1.3.6. ( Almost everywhere and null sets If (X, A, µ is a measure space, then a set in A is called a null set (or µ-null if its measure is 0. Clearly a countable union of null sets

More information

Measure and Integration: Concepts, Examples and Exercises. INDER K. RANA Indian Institute of Technology Bombay India

Measure and Integration: Concepts, Examples and Exercises. INDER K. RANA Indian Institute of Technology Bombay India Measure and Integration: Concepts, Examples and Exercises INDER K. RANA Indian Institute of Technology Bombay India Department of Mathematics, Indian Institute of Technology, Bombay, Powai, Mumbai 400076,

More information

Real Analysis Chapter 3 Solutions Jonathan Conder. ν(f n ) = lim

Real Analysis Chapter 3 Solutions Jonathan Conder. ν(f n ) = lim . Suppose ( n ) n is an increasing sequence in M. For each n N define F n : n \ n (with 0 : ). Clearly ν( n n ) ν( nf n ) ν(f n ) lim n If ( n ) n is a decreasing sequence in M and ν( )

More information

MATH5011 Real Analysis I. Exercise 1 Suggested Solution

MATH5011 Real Analysis I. Exercise 1 Suggested Solution MATH5011 Real Analysis I Exercise 1 Suggested Solution Notations in the notes are used. (1) Show that every open set in R can be written as a countable union of mutually disjoint open intervals. Hint:

More information

Indeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )

Indeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( ) Lebesgue Measure The idea of the Lebesgue integral is to first define a measure on subsets of R. That is, we wish to assign a number m(s to each subset S of R, representing the total length that S takes

More information

MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION. Extra Reading Material for Level 4 and Level 6

MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION. Extra Reading Material for Level 4 and Level 6 MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION Extra Reading Material for Level 4 and Level 6 Part A: Construction of Lebesgue Measure The first part the extra material consists of the construction

More information

Chapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries

Chapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.

More information

Partial Solutions to Folland s Real Analysis: Part I

Partial Solutions to Folland s Real Analysis: Part I Partial Solutions to Folland s Real Analysis: Part I (Assigned Problems from MAT1000: Real Analysis I) Jonathan Mostovoy - 1002142665 University of Toronto January 20, 2018 Contents 1 Chapter 1 3 1.1 Folland

More information

Measures. Chapter Some prerequisites. 1.2 Introduction

Measures. Chapter Some prerequisites. 1.2 Introduction Lecture notes Course Analysis for PhD students Uppsala University, Spring 2018 Rostyslav Kozhan Chapter 1 Measures 1.1 Some prerequisites I will follow closely the textbook Real analysis: Modern Techniques

More information

MATHS 730 FC Lecture Notes March 5, Introduction

MATHS 730 FC Lecture Notes March 5, Introduction 1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists

More information

DRAFT MAA6616 COURSE NOTES FALL 2015

DRAFT MAA6616 COURSE NOTES FALL 2015 Contents 1. σ-algebras 2 1.1. The Borel σ-algebra over R 5 1.2. Product σ-algebras 7 2. Measures 8 3. Outer measures and the Caratheodory Extension Theorem 11 4. Construction of Lebesgue measure 15 5.

More information

Integration on Measure Spaces

Integration on Measure Spaces Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of

More information

Existence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets

Existence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets Existence of a Limit on a Dense Set, and Construction of Continuous Functions on Special Sets REU 2012 Recap: Definitions Definition Given a real-valued function f, the limit of f exists at a point c R

More information

Lecture 3: Probability Measures - 2

Lecture 3: Probability Measures - 2 Lecture 3: Probability Measures - 2 1. Continuation of measures 1.1 Problem of continuation of a probability measure 1.2 Outer measure 1.3 Lebesgue outer measure 1.4 Lebesgue continuation of an elementary

More information

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. 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 :=

More information

Problem set 1, Real Analysis I, Spring, 2015.

Problem set 1, Real Analysis I, Spring, 2015. Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n

More information

Construction of a general measure structure

Construction of a general measure structure Chapter 4 Construction of a general measure structure We turn to the development of general measure theory. The ingredients are a set describing the universe of points, a class of measurable subsets along

More information

Measure on the Real Line

Measure on the Real Line Chapter 2 Measure on the Real Line 2.1 Introduction There are many examples of functions that associate a nonnegative real number or + with a set. There is, for example, the number of members forming the

More information

INTRODUCTION TO MEASURE THEORY AND LEBESGUE INTEGRATION

INTRODUCTION TO MEASURE THEORY AND LEBESGUE INTEGRATION 1 INTRODUCTION TO MEASURE THEORY AND LEBESGUE INTEGRATION Eduard EMELYANOV Ankara TURKEY 2007 2 FOREWORD This book grew out of a one-semester course for graduate students that the author have taught at

More information

1.1. MEASURES AND INTEGRALS

1.1. MEASURES AND INTEGRALS CHAPTER 1: MEASURE THEORY In this chapter we define the notion of measure µ on a space, construct integrals on this space, and establish their basic properties under limits. The measure µ(e) will be defined

More information

arxiv: v1 [math.fa] 14 Jul 2018

arxiv: v1 [math.fa] 14 Jul 2018 Construction of Regular Non-Atomic arxiv:180705437v1 [mathfa] 14 Jul 2018 Strictly-Positive Measures in Second-Countable Locally Compact Non-Atomic Hausdorff Spaces Abstract Jason Bentley Department of

More information

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure? MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable

More information

+ = x. ± if x > 0. if x < 0, x

+ = x. ± if x > 0. if x < 0, x 2 Set Functions Notation Let R R {, + } and R + {x R : x 0} {+ }. Here + and are symbols satisfying obvious conditions: for any real number x R : < x < +, (± + (± x + (± (± + x ±, (± (± + and (± (, ± if

More information

Dual Space of L 1. C = {E P(I) : one of E or I \ E is countable}.

Dual Space of L 1. C = {E P(I) : one of E or I \ E is countable}. Dual Space of L 1 Note. The main theorem of this note is on page 5. The secondary theorem, describing the dual of L (µ) is on page 8. Let (X, M, µ) be a measure space. We consider the subsets of X which

More information

Daniel Akech Thiong Math 501: Real Analysis Homework Problems with Solutions Fall Problem. 1 Give an example of a mapping f : X Y such that

Daniel Akech Thiong Math 501: Real Analysis Homework Problems with Solutions Fall Problem. 1 Give an example of a mapping f : X Y such that Daniel Akech Thiong Math 501: Real Analysis Homework Problems with Solutions Fall 2014 Problem. 1 Give an example of a mapping f : X Y such that 1. f(a B) = f(a) f(b) for some A, B X. 2. f(f 1 (A)) A for

More information

MAT1000 ASSIGNMENT 1. a k 3 k. x =

MAT1000 ASSIGNMENT 1. a k 3 k. x = MAT1000 ASSIGNMENT 1 VITALY KUZNETSOV Question 1 (Exercise 2 on page 37). Tne Cantor set C can also be described in terms of ternary expansions. (a) Every number in [0, 1] has a ternary expansion x = a

More information

Lebesgue measure and integration

Lebesgue measure and integration Chapter 4 Lebesgue measure and integration If you look back at what you have learned in your earlier mathematics courses, you will definitely recall a lot about area and volume from the simple formulas

More information

Real Analysis Chapter 4 Solutions Jonathan Conder

Real Analysis Chapter 4 Solutions Jonathan Conder 2. Let x, y X and suppose that x y. Then {x} c is open in the cofinite topology and contains y but not x. The cofinite topology on X is therefore T 1. Since X is infinite it contains two distinct points

More information

Lebesgue Measure on R n

Lebesgue Measure on R n CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets

More information

Real Variables: Solutions to Homework 3

Real Variables: Solutions to Homework 3 Real Variables: Solutions to Homework 3 September 3, 011 Exercise 0.1. Chapter 3, # : Show that the cantor set C consists of all x such that x has some triadic expansion for which every is either 0 or.

More information

Measure Theoretic Probability. P.J.C. Spreij

Measure Theoretic Probability. P.J.C. Spreij Measure Theoretic Probability P.J.C. Spreij this version: September 16, 2009 Contents 1 σ-algebras and measures 1 1.1 σ-algebras............................... 1 1.2 Measures...............................

More information

Lebesgue Measure on R n

Lebesgue Measure on R n 8 CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets

More information

Moreover, µ is monotone, that is for any A B which are both elements of A we have

Moreover, µ is monotone, that is for any A B which are both elements of A we have FRACTALS Contents. Algebras, sigma algebras, and measures 2.. Carathéodory s outer measures 5.2. Completeness 6.3. Homework: Measure theory basics 7 2. Completion of a measure, creating a measure from

More information

G1CMIN Measure and Integration

G1CMIN Measure and Integration G1CMIN Measure and Integration 2003-4 Prof. J.K. Langley May 13, 2004 1 Introduction Books: W. Rudin, Real and Complex Analysis ; H.L. Royden, Real Analysis (QA331). Lecturer: Prof. J.K. Langley (jkl@maths,

More information

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989), Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer

More information

Measurable functions are approximately nice, even if look terrible.

Measurable functions are approximately nice, even if look terrible. Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............

More information

HW 4 SOLUTIONS. , x + x x 1 ) 2

HW 4 SOLUTIONS. , x + x x 1 ) 2 HW 4 SOLUTIONS The Way of Analysis p. 98: 1.) Suppose that A is open. Show that A minus a finite set is still open. This follows by induction as long as A minus one point x is still open. To see that A

More information

Chapter 8. General Countably Additive Set Functions. 8.1 Hahn Decomposition Theorem

Chapter 8. General Countably Additive Set Functions. 8.1 Hahn Decomposition Theorem Chapter 8 General Countably dditive Set Functions In Theorem 5.2.2 the reader saw that if f : X R is integrable on the measure space (X,, µ) then we can define a countably additive set function ν on by

More information

Review of measure theory

Review of measure theory 209: Honors nalysis in R n Review of measure theory 1 Outer measure, measure, measurable sets Definition 1 Let X be a set. nonempty family R of subsets of X is a ring if, B R B R and, B R B R hold. bove,

More information

Lebesgue measure on R is just one of many important measures in mathematics. In these notes we introduce the general framework for measures.

Lebesgue measure on R is just one of many important measures in mathematics. In these notes we introduce the general framework for measures. Measures In General Lebesgue measure on R is just one of many important measures in mathematics. In these notes we introduce the general framework for measures. Definition: σ-algebra Let X be a set. A

More information

Measure and integration

Measure and integration Chapter 5 Measure and integration In calculus you have learned how to calculate the size of different kinds of sets: the length of a curve, the area of a region or a surface, the volume or mass of a solid.

More information

Measure Theory & Integration

Measure Theory & Integration Measure Theory & Integration Lecture Notes, Math 320/520 Fall, 2004 D.H. Sattinger Department of Mathematics Yale University Contents 1 Preliminaries 1 2 Measures 3 2.1 Area and Measure........................

More information

Measure Theory. John K. Hunter. Department of Mathematics, University of California at Davis

Measure Theory. John K. Hunter. Department of Mathematics, University of California at Davis Measure Theory John K. Hunter Department of Mathematics, University of California at Davis Abstract. These are some brief notes on measure theory, concentrating on Lebesgue measure on R n. Some missing

More information

n [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1)

n [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1) 1.4. CONSTRUCTION OF LEBESGUE-STIELTJES MEASURES In this section we shall put to use the Carathéodory-Hahn theory, in order to construct measures with certain desirable properties first on the real line

More information

Math 4121 Spring 2012 Weaver. Measure Theory. 1. σ-algebras

Math 4121 Spring 2012 Weaver. Measure Theory. 1. σ-algebras Math 4121 Spring 2012 Weaver Measure Theory 1. σ-algebras A measure is a function which gauges the size of subsets of a given set. In general we do not ask that a measure evaluate the size of every subset,

More information

REAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE

REAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE REAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE CHRISTOPHER HEIL 1.4.1 Introduction We will expand on Section 1.4 of Folland s text, which covers abstract outer measures also called exterior measures).

More information

THEOREMS, ETC., FOR MATH 515

THEOREMS, ETC., FOR MATH 515 THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every

More information

The Lebesgue Integral

The Lebesgue Integral The Lebesgue Integral Brent Nelson In these notes we give an introduction to the Lebesgue integral, assuming only a knowledge of metric spaces and the iemann integral. For more details see [1, Chapters

More information

Chapter 5. Measurable Functions

Chapter 5. Measurable Functions Chapter 5. Measurable Functions 1. Measurable Functions Let X be a nonempty set, and let S be a σ-algebra of subsets of X. Then (X, S) is a measurable space. A subset E of X is said to be measurable if

More information

l(y j ) = 0 for all y j (1)

l(y j ) = 0 for all y j (1) Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that

More information

(2) E M = E C = X\E M

(2) E M = E C = X\E M 10 RICHARD B. MELROSE 2. Measures and σ-algebras An outer measure such as µ is a rather crude object since, even if the A i are disjoint, there is generally strict inequality in (1.14). It turns out to

More information

Measures. 1 Introduction. These preliminary lecture notes are partly based on textbooks by Athreya and Lahiri, Capinski and Kopp, and Folland.

Measures. 1 Introduction. These preliminary lecture notes are partly based on textbooks by Athreya and Lahiri, Capinski and Kopp, and Folland. Measures These preliminary lecture notes are partly based on textbooks by Athreya and Lahiri, Capinski and Kopp, and Folland. 1 Introduction Our motivation for studying measure theory is to lay a foundation

More information

13. Examples of measure-preserving tranformations: rotations of a torus, the doubling map

13. Examples of measure-preserving tranformations: rotations of a torus, the doubling map 3. Examples of measure-preserving tranformations: rotations of a torus, the doubling map 3. Rotations of a torus, the doubling map In this lecture we give two methods by which one can show that a given

More information

Differentiation of Measures and Functions

Differentiation of Measures and Functions Chapter 6 Differentiation of Measures and Functions This chapter is concerned with the differentiation theory of Radon measures. In the first two sections we introduce the Radon measures and discuss two

More information

MATS113 ADVANCED MEASURE THEORY SPRING 2016

MATS113 ADVANCED MEASURE THEORY SPRING 2016 MATS113 ADVANCED MEASURE THEORY SPRING 2016 Foreword These are the lecture notes for the course Advanced Measure Theory given at the University of Jyväskylä in the Spring of 2016. The lecture notes can

More information

An introduction to Geometric Measure Theory Part 2: Hausdorff measure

An introduction to Geometric Measure Theory Part 2: Hausdorff measure An introduction to Geometric Measure Theory Part 2: Hausdorff measure Toby O Neil, 10 October 2016 TCON (Open University) An introduction to GMT, part 2 10 October 2016 1 / 40 Last week... Discussed several

More information

µ (X) := inf l(i k ) where X k=1 I k, I k an open interval Notice that is a map from subsets of R to non-negative number together with infinity

µ (X) := inf l(i k ) where X k=1 I k, I k an open interval Notice that is a map from subsets of R to non-negative number together with infinity A crash course in Lebesgue measure theory, Math 317, Intro to Analysis II These lecture notes are inspired by the third edition of Royden s Real analysis. The Jordan content is an attempt to extend the

More information

Measure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond

Measure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond Measure Theory on Topological Spaces Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond May 22, 2011 Contents 1 Introduction 2 1.1 The Riemann Integral........................................ 2 1.2 Measurable..............................................

More information

2 Construction & Extension of Measures

2 Construction & Extension of Measures STA 711: Probability & Measure Theory Robert L. Wolpert 2 Construction & Extension of Measures For any finite set Ω = {ω 1,...,ω n }, the power set PΩ is the collection of all subsets of Ω, including the

More information

ABSTRACT INTEGRATION CHAPTER ONE

ABSTRACT INTEGRATION CHAPTER ONE CHAPTER ONE ABSTRACT INTEGRATION Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Suggestions and errors are invited and can be mailed

More information

Real Analysis II, Winter 2018

Real Analysis II, Winter 2018 Real Analysis II, Winter 2018 From the Finnish original Moderni reaalianalyysi 1 by Ilkka Holopainen adapted by Tuomas Hytönen January 18, 2018 1 Version dated September 14, 2011 Contents 1 General theory

More information

Analysis Comprehensive Exam Questions Fall 2008

Analysis Comprehensive Exam Questions Fall 2008 Analysis Comprehensive xam Questions Fall 28. (a) Let R be measurable with finite Lebesgue measure. Suppose that {f n } n N is a bounded sequence in L 2 () and there exists a function f such that f n (x)

More information

MA359 Measure Theory

MA359 Measure Theory A359 easure Theory Thomas Reddington Usman Qureshi April 8, 204 Contents Real Line 3. Cantor set.................................................. 5 2 General easures 2 2. Product spaces...............................................

More information

5 Set Operations, Functions, and Counting

5 Set Operations, Functions, and Counting 5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,

More information

Introduction to Ergodic Theory

Introduction to Ergodic Theory Lecture I Crash course in measure theory Oliver Butterley, Irene Pasquinelli, Stefano Luzzatto, Lucia Simonelli, Davide Ravotti Summer School in Dynamics ICTP 2018 Why do we care about measure theory?

More information

x 0 + f(x), exist as extended real numbers. Show that f is upper semicontinuous This shows ( ɛ, ɛ) B α. Thus

x 0 + f(x), exist as extended real numbers. Show that f is upper semicontinuous This shows ( ɛ, ɛ) B α. Thus Homework 3 Solutions, Real Analysis I, Fall, 2010. (9) Let f : (, ) [, ] be a function whose restriction to (, 0) (0, ) is continuous. Assume the one-sided limits p = lim x 0 f(x), q = lim x 0 + f(x) exist

More information

SOME PROBLEMS IN REAL ANALYSIS.

SOME PROBLEMS IN REAL ANALYSIS. SOME PROBLEMS IN REAL ANALYSIS. Prepared by SULEYMAN ULUSOY PROBLEM 1. (1 points) Suppose f n : X [, ] is measurable for n = 1, 2, 3,...; f 1 f 2 f 3... ; f n (x) f(x) as n, for every x X. a)give a counterexample

More information

Coin tossing space. 0,1 consisting of all sequences (t n ) n N, represents the set of possible outcomes of tossing a coin infinitely many times.

Coin tossing space. 0,1 consisting of all sequences (t n ) n N, represents the set of possible outcomes of tossing a coin infinitely many times. Coin tossing space Think of a coin toss as a random choice from the two element set }. Thus the set } n represents the set of possible outcomes of n coin tosses, and Ω := } N, consisting of all sequences

More information

Probability and Measure. November 27, 2017

Probability and Measure. November 27, 2017 Probability and Measure November 27, 2017 1 CONTENTS 2 Contents 1 Measure Theory 4 1.1 History................................ 4 1.2 Lebesgue Measure.......................... 5 1.3 Measurable Functions........................

More information

Three hours THE UNIVERSITY OF MANCHESTER. 24th January

Three hours THE UNIVERSITY OF MANCHESTER. 24th January Three hours MATH41011 THE UNIVERSITY OF MANCHESTER FOURIER ANALYSIS AND LEBESGUE INTEGRATION 24th January 2013 9.45 12.45 Answer ALL SIX questions in Section A (25 marks in total). Answer THREE of the

More information

MAT 571 REAL ANALYSIS II LECTURE NOTES. Contents. 2. Product measures Iterated integrals Complete products Differentiation 17

MAT 571 REAL ANALYSIS II LECTURE NOTES. Contents. 2. Product measures Iterated integrals Complete products Differentiation 17 MAT 57 REAL ANALSIS II LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: SPRING 205 Contents. Convergence in measure 2. Product measures 3 3. Iterated integrals 4 4. Complete products 9 5. Signed measures

More information

The Borel-Cantelli Group

The Borel-Cantelli Group The Borel-Cantelli Group Dorothy Baumer Rong Li Glenn Stark November 14, 007 1 Borel-Cantelli Lemma Exercise 16 is the introduction of the Borel-Cantelli Lemma using Lebesue measure. An approach using

More information

Measure Theoretic Probability. P.J.C. Spreij

Measure Theoretic Probability. P.J.C. Spreij Measure Theoretic Probability P.J.C. Spreij this version: September 11, 2008 Contents 1 σ-algebras and measures 1 1.1 σ-algebras............................... 1 1.2 Measures...............................

More information

Section 2: Classes of Sets

Section 2: Classes of Sets Section 2: Classes of Sets Notation: If A, B are subsets of X, then A \ B denotes the set difference, A \ B = {x A : x B}. A B denotes the symmetric difference. A B = (A \ B) (B \ A) = (A B) \ (A B). Remarks

More information

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a Solutions to Homework #6 1. Complete the proof of the backwards direction of Theorem 12.2 from class (which asserts the any interval in R is connected). Solution: Let X R be a closed interval. Case 1:

More information

Final. due May 8, 2012

Final. due May 8, 2012 Final due May 8, 2012 Write your solutions clearly in complete sentences. All notation used must be properly introduced. Your arguments besides being correct should be also complete. Pay close attention

More information

CHAPTER I THE RIESZ REPRESENTATION THEOREM

CHAPTER I THE RIESZ REPRESENTATION THEOREM CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals

More information

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure? MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is

More information

Class Notes for Math 921/922: Real Analysis, Instructor Mikil Foss

Class Notes for Math 921/922: Real Analysis, Instructor Mikil Foss University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Math Department: Class Notes and Learning Materials Mathematics, Department of 200 Class Notes for Math 92/922: Real Analysis,

More information

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite

More information

Measure Theoretic Probability. P.J.C. Spreij. (minor revisions by S.G. Cox)

Measure Theoretic Probability. P.J.C. Spreij. (minor revisions by S.G. Cox) Measure Theoretic Probability P.J.C. Spreij (minor revisions by S.G. Cox) this version: October 23, 2016 Preface In these notes we explain the measure theoretic foundations of modern probability. The

More information

REAL ANALYSIS I Spring 2016 Product Measures

REAL ANALYSIS I Spring 2016 Product Measures REAL ANALSIS I Spring 216 Product Measures We assume that (, M, µ), (, N, ν) are σ- finite measure spaces. We want to provide the Cartesian product with a measure space structure in which all sets of the

More information

Lebesgue Measure. Chapter Lebesgue Outer Measure

Lebesgue Measure. Chapter Lebesgue Outer Measure Chapter 2 Lebesgue Measure This chapter develops the basic notions of measure theory. They are what is needed to introduce the concepts of measure-preserving transformations, recurrence and ergodicity

More information

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9 MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended

More information

Dynamical Systems 2, MA 761

Dynamical Systems 2, MA 761 Dynamical Systems 2, MA 761 Topological Dynamics This material is based upon work supported by the National Science Foundation under Grant No. 9970363 1 Periodic Points 1 The main objects studied in the

More information

Compendium and Solutions to exercises TMA4225 Foundation of analysis

Compendium and Solutions to exercises TMA4225 Foundation of analysis Compendium and Solutions to exercises TMA4225 Foundation of analysis Ruben Spaans December 6, 2010 1 Introduction This compendium contains a lexicon over definitions and exercises with solutions. Throughout

More information

RS Chapter 1 Random Variables 6/5/2017. Chapter 1. Probability Theory: Introduction

RS Chapter 1 Random Variables 6/5/2017. Chapter 1. Probability Theory: Introduction Chapter 1 Probability Theory: Introduction Basic Probability General In a probability space (Ω, Σ, P), the set Ω is the set of all possible outcomes of a probability experiment. Mathematically, Ω is just

More information

consists of two disjoint copies of X n, each scaled down by 1,

consists of two disjoint copies of X n, each scaled down by 1, Homework 4 Solutions, Real Analysis I, Fall, 200. (4) Let be a topological space and M be a σ-algebra on which contains all Borel sets. Let m, µ be two positive measures on M. Assume there is a constant

More information

REAL AND COMPLEX ANALYSIS

REAL AND COMPLEX ANALYSIS REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any

More information

4. Product measure spaces and the Lebesgue integral in R n.

4. Product measure spaces and the Lebesgue integral in R n. 4 M. M. PELOSO 4. Product measure spaces and the Lebesgue integral in R n. Our current goal is to define the Lebesgue measure on the higher-dimensional eucledean space R n, and to reduce the computations

More information

A List of Problems in Real Analysis

A List of Problems in Real Analysis A List of Problems in Real Analysis W.Yessen & T.Ma December 3, 218 This document was first created by Will Yessen, who was a graduate student at UCI. Timmy Ma, who was also a graduate student at UCI,

More information

Reminder Notes for the Course on Measures on Topological Spaces

Reminder Notes for the Course on Measures on Topological Spaces Reminder Notes for the Course on Measures on Topological Spaces T. C. Dorlas Dublin Institute for Advanced Studies School of Theoretical Physics 10 Burlington Road, Dublin 4, Ireland. Email: dorlas@stp.dias.ie

More information

Measure Theory and Integration

Measure Theory and Integration CHAPTER 1 Measure Theory and Integration One fundamental result of measure theory which we will encounter inthischapteristhatnoteverysetcanbemeasured. Morespecifically, if we wish to define the measure,

More information

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that

More information

JOININGS, FACTORS, AND BAIRE CATEGORY

JOININGS, FACTORS, AND BAIRE CATEGORY JOININGS, FACTORS, AND BAIRE CATEGORY Abstract. We discuss the Burton-Rothstein approach to Ornstein theory. 1. Weak convergence Let (X, B) be a metric space and B be the Borel sigma-algebra generated

More information