Product measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 2017 Nadia S. Larsen. 17 November 2017.
|
|
- Kellie Green
- 5 years ago
- Views:
Transcription
1 Product measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 017 Nadia S. Larsen 17 November Construction of the product measure The purpose of these notes is to prove the main theorems, Tonelli s and Fubini s theorems. These notes expand upon the material on product measure in []. The overall goal is to be able to integrate functions of two or several variables. For this we need to make sense of multiple integrals and show that we can compute them by changing the order of integration in each variable of the given function. Given two measure spaces, A 1, µ 1 and X, A, µ, the goal is to construct a σ-algebra A 1 A of subsets of X and a measure ω on A 1 A in such a way that the above mentioned change of order of integration is possible when we consider A 1 A -measurable functions nonnegative or real-valued. For motivation, consider the case of Lebesgue measure on R, and let I, J be intervals. Then the area of the rectangle I J is 1 areai J = lilj = λiλj. We can think of area as an appropriate choice for a measure ω assigned to a rectangle I J. Next we formalise this idea for two general measure spaces. We define the collection C of measurable rectangles in A 1 A to be C = {A B A A 1, B A }. Lemma 1.1. The collection C of measurable rectangles is closed under finite intersections. Proof. Exercise, or see Proposition 6.1 in [1]. For the existence of the product measure see Theorem 6.4 in [1]. For uniqueness see Theorem 6.5 in [1]. For a subset A of a set X we let A c denote the complement X \ A. Definition 1.. Let X be a set. A collection D of subsets of X is a Dynkin system if the following are satisfied: D1 X D, D A D A c D, and D3 if {A n } n is a pairwise disjoint family in D, then n A n D. Note the following: in a Dynkin system D, if A, B D are so that A B, then B \ A = B c A c D because the union is disjoint. Given a set X and a collection E of subsets of X, recall that σe denotes the σ- algebra generated by E. Since there exists at least one Dynkin system that contains E, namely the collection PX, then by taking the intersection of all Dynkin systems which contain E we obtain the Dynkin system generated by E: we denote this by DE and point out that this is the smallest Dynkin system that contains E. 1
2 Lemma 1.3. If D is a Dynkin system over X that is closed under finite intersections or finite unions, then D is a σ-algebra. Proof. Let {A n } n be an arbitrary sequence in D. We make this into a disjoint sequence, thus we let B 1 = A 1, B = A \A 1 = A A c 1, and for all m > let B m = A m \ m k=1 A k = A m m k=1 Ac k. Then {B m} m is a disjoint union in D, so m B m = n A n D. Lemma 1.4. Dynkin Let X be a set and E a collection of subsets of X with the property that A, B E A B E. Then DE = σe. Proof. Since any σ-algebra is also a Dynkin system and since E σe, we have that DE σe. To prove the converse inclusion it suffices to show that DE is a σ- algebra. For simplicity of notation, write D instead of DE. By Lemma 1.3, it is enough to show that D is closed under intersections. For A D we let D A = {B D A B D}. We claim that D A is a Dynkin system that contains E. Since A X = A is in D, we have X D A. Let B D A. Then A B c = A \ B A, which is in D by earlier observation. So B c D A. Let {B m } m be a pairwise disjoint sequence in D A. Then A m B m = m A B m, which is in D because {A B m } m is a pairwise disjoint sequence in D. This shows that m B m D A, so D A is a Dynkin system. If A E, then for every B E we have A B E by the hypothesis. Thus A B D, so B D A. Since B was arbitrary, we have E D A each time we start with A in E. Since D is the smallest Dynkin system on X that contains E, we have D D A, so D = D A when A E. It is important to realise that this argument is valid for any A E. Now let A D. Take B E. Then A B D by the previous paragraph. This means that B D A. Since B was arbitrary, E D A for A D, hence D = D A for all A D. This means that D is closed under intersections. Definition 1.5. A measure space X, A, µ is σ-finite if there exists a sequence {X n } n 1 in A such that X n X n+1 for n 1, X = n X n and µx n < for all n. Let, A 1, µ 1 and X, A, µ be two measure spaces, and let A 1 A be the product σ-algebra on X : this is the smallest σ-algebra on X that contains the collection C of measurable rectangles. If A A 1 A and x 1, x X, we consider the following sets 3 4 A x = {x 1 x 1, x A}, A x 1 = {x x 1, x A} X. Note that if A = A 1 A C, then A x = A 1 if x A and A x = if x / A. Therefore A x A 1 for each x X. Similarly, A x 1 A. We have the following result. Lemma 1.6. For all A A 1 A, x 1 and x X we have A x A 1 and A x 1 A.
3 Proof. Let x X be arbitrary. If we let C 1 = {A A 1 A A x A 1 }, it suffices to prove that C 1 is a σ-algebra such that C C 1. Now check that A c x = A x c for every A A 1 A and n E n x = n Ex n for an arbitrary sequence {E n } in A 1 A. Then the claims follow using the definitions. Theorem 1.7. Assume that, A 1, µ 1 and X, A, µ are two finite measure spaces. Let A A 1 A. Then, 1 The function [0, ] given by x 1 χ A x 1, x is A 1 -measurable for each x in X. The function X [0, ] given by x χ A x 1, x is A -measurable for each x 1 in. 3 The function g A : [0, ] given by x 1 X χ A x 1, x dµ x is A 1 - measurable. 4 The function h A : X [0, ] given by x χ A x 1, x dµ 1 x 1 is A - measurable. Moreover, the following holds: 5 χ A x 1, x dµ x dµ 1 x 1 = χ A x 1, x dµ 1 x 1 dµ x. X Proof. Let D denote the collection of measurable sets A in A 1 A such that the statements 1-5 hold. We claim that D contains C. Let A = A 1 A C. Since the function in 1 is χ A x for each x X, it is A 1 -measurable by Lemma 1.6. Similarly for the function in. Next note that g A x 1 = χ A x 1 x dµ x = µ A x 1 = χ A1 x 1 µ A. X Thus it is A 1 -measurable because it is a simple function, and similarly for h A. Finally, note that both sides in 5 equal µ 1 A 1 µ A = µ 1 µ A 1 A. Since C generates A 1 A and is closed under finite intersections by Lemma 1.1, it will follow from Lemma 1.4 that the theorem is true if we show that D is a Dynkin system. By definition, X D. Let A D. Since χ A c = 1 χ A, it is easy to verify that 1- hold for χ A c. Since µ is finite, the function in 3 is g A cx 1 = µ A µ A x 1 = µ A g A x 1, and so is A 1 -measurable because g A is by our assumption that 1-5 hold for A. A similar argument shows that the function in 4 is measurable. To verify that 5 holds for χ A c, use that it holds for A as follows: g A cx 1 dµ 1 x 1 = µ X µ A x 1 dµ 1 x 1 = µ 1 µ X χ A x 1, x dµ x dµ 1 x 1 X = µ 1 µ X χ A x 1, x dµ 1 x 1 dµ x X X 1 = h A cx dµ x. X X 3
4 4 It remains to prove that D is closed under disjoint countable unions. For this, we prove first that D is closed under finite disjoint unions. Let E i D, i = 1,..., n such that E i E j = whenever i j. Then also E i x E j x = whenever i j, for all x X. Since i E i x = i E i x for each x X, additivity of µ 1 implies that the function in 4 corresponding to n i=1 E i in place of A is x n i=1 h E i, and so is A -measurable by 4 for each E i. Similarly with 3. By additivity of the integral, 5 for i E i follows from n n h i E dµ i = h Ei dµ = g Ei dµ 1 = g i E dµ i 1. X X i=1 Now we show that D is closed under increasing unions. Let C i D for i 1 such that C i C i+1 for i 1. Note then that C i x C i+1 x for each x. Since µ 1 is a finite measure, h Ci+1 x h Ci x = µ 1 C i+1 x µ 1 C i x = µ 1 C i+1 x \ C i x 0. Thus {h Ci } i is a nondecreasing sequence of A -measurable functions. The pointwise limit of {h Ci } i is also A -measurable, and by the monotone convergence theorem we have lim i X h Ci dµ = X lim i h Ci dµ. Continuity of µ 1 implies that lim i h Ci x = lim i µ 1 C i x = µ 1 i C i x. Similarly, by applying the monotone convergence theorem to g Ci and by using assumption 5 for all C i we get that g Ci dµ 1 = lim g Ci dµ 1 = lim h Ci dµ 1 = h Ci dµ, X i 1 X i 1 X X which shows that i C i D, as claimed. It now follows that D is a Dynkin system use the previous two steps to show that 1-5 hold for the union of a countable disjoint family E i by forming an increasing sequence C m = m i=1e i, each being a finite disjoint union in D. Lemma 1.4 gives DC = σc. Since σc = A 1 A, it follows that A 1 A D, so the theorem is proved. Theorem 1.8. Let, A 1, µ 1 and X, A, µ be σ-finite measure spaces. Then statements 1-5 of Theorem 1.7 hold. Proof. By the hypothesis, there are sets X i,n A i for n 1 and i = 1, such that {X i,n } n is increasing, µ i X i,n < for all i = 1, and n 1, and X i = n X i,n for i = 1,. We reduce the problem to the finite case by considering, for each n 1, the measure spaces,n, A 1 X1,n, µ 1,n and similarly for j =, where µ 1,n B,n = µ 1 B,n and µ,n C X,n = µ C X,n for all B A 1 and C A. Clearly µ 1,n and µ,n are finite measures on A 1 X1,n and A X,n, respectively. Note that,n h dµ 1,n = hχ X1,n dµ 1 for any nonnegative A 1 -measurable function. First check for h a simple function, then approximate by nonnegative simple functions. Use that h X1,n :,n R is A 1 X1,n -measurable. See Exercise 5.60 in [1]. Similarly for µ,n and all n. i=1
5 Applying Theorem 1.7 to µ 1,n and µ,n for all n 1 gives 6 g A x 1 dµ 1,n x 1 =,n h A x dµ,n x X,n for all A A 1 A. By the observation in the previous paragraph, we have g A χ X1,n dµ 1 = h A χ X,n dµ X for all n 1. Now we take the limit as n and use that {,n } increases to and {X,n } increases to X. Therefore the monotone convergence theorem, applied in both the right- and left-hand side, shows that 5 holds in this case. The other statements are verified in a similar way. Corollary 1.9. Let, A 1, µ 1 and X, A, µ be two σ-finite measure spaces. Then for each A A 1 A we have 7 µ 1 µ A = χ A x 1, x dµ x dµ 1 x 1 X 8 = χ A x 1, x dµ 1 x 1 dµ x. X 5. Tonelli s and Fubini s theorems Let X i, A i, µ i be σ-finite measure spaces for i = 1, and let µ 1 µ be the product measure on A 1 A given by Theorem 1.9. Given a function f : X R, define its sections at x 1 and x X by f x x 1 = fx 1, x and f x1 x = fx 1, x. Proposition.1. If f : X R is A 1 A -measurable, then f x : R is A 1 -measurable for every x X. Similarly, f x1 : X R is A -measurable for every x 1. Proof. Since f is measurable, for any r R the set A = {x 1, x X fx 1, x r, ]} is in A 1 A. But {x 1 f x x 1 r, ]} = {x 1 x 1, x A}, in other words fx 1 r, ] = A x, which lies in A 1 by Lemma 1.6. Since r R is arbitrary, the claim for f x follows. The proof in the case of f x1 is similar. Note: the proposition is also valid for a complex-valued measurable function f on X. The proof is similar to the above or see Proposition 6.10 in [1]. Theorem.. Tonelli s theorem Let X i, A i, µ i be σ-finite measure spaces for i = 1, and let µ 1 µ be the product measure on A 1 A. Suppose that f : X [0, ] is A 1 A -measurable. Then the functions x 1 X f x1 dµ and x f x dµ 1 are
6 6 measurable and 9 f dµ 1 µ = X 10 = X fx 1, x dµ 1 x 1 dµ x X 1 fx 1, x dµ x dµ 1 x 1. X Proof. The case when f = χ A for A A 1 A was done in Corollary 1.9 check that χ A x1 = χ A x 1 and similarly for j =. By linearity the result extends to simple functions on X. Next let {s n } n be a sequence of simple functions on X such that s n 0, s n s n+1 for all n 1, and s n f pointwise. Thus we have for every n 1 that 11 s n dµ 1 µ = s n x 1, x dµ 1 x 1 dµ x X X X 1 1 = s n x 1, x dµ x dµ 1 x 1. X For every fixed x the sequence {s n x } of functions R is increasing and convergent to f x at every point x 1. By the MCT, f x dµ 1 = lim n s n x dµ 1. Since the theorem is true for simple functions, the function F n x := s n x dµ 1 is A -measurable for all n 1. Moreover, F n F n+1 for all n 1 by properties of the integral of nonnegative functions. It follows that lim n F n is measurable, which means precisely that x f x dµ 1 is A -measurable. Another application of the MCT gives lim F n x dµ x = lim F n x dµ x, n X X n which rewrites as lim s n x dµ 1 dµ x = f x x 1 dµ 1 x 1 dµ x. n X X By 11, the term in the left-hand side is lim n X s n dµ 1 µ, which converges to the integral X f dµ 1 µ again by the monotone convergence theorem. Thus we obtain 9. The other equality is proved in a similar way. Theorem.3. Fubini s theorem Let X i, A i, µ i be σ-finite measure spaces for i = 1, and let µ 1 µ be the product measure on A 1 A. Suppose that f : X R or to C is integrable. Then the following assertions are true: 1 The function f x is in L 1, A 1, µ 1 for µ -a.e. x and f x1 is in L 1 X, A, µ for µ 1 - a.e. x 1. The function gx 1 = X fx 1, x dµ x is defined µ 1 -a.e. on and hx = fx 1, x dµ 1 x 1 is defined µ -a.e. on X. Further, g L 1, A 1, µ 1 and h L 1 X, A, µ. Moreover, fx 1, x dµ 1 x 1 13 dµ x = f dµ 1 µ X X 14 = fx 1, x dµ x dµ 1 x 1. X
7 Proof. Suppose that f is C-valued. Since f = Ref + iimf, if we prove the theorem for R-valued functions then by linearity of integrals additivity and multiplication with the complex constant i we obtain the theorem for C-valued functions. Assume therefore that f : X R. The assumption that f is integrable is equivalent to knowing that X f ± dµ 1 µ is finite. Then each of the four iterated integrals obtained from applying Tonelli s theorem to f + and f is finite. Recall the fact that h dµ < if and only if h < µ a.e. for h nonnegative. We Ω will use this fact twice one for each integral, for example first over then over X in the iterated finite integrals for f ± given by Tonelli s theorem. Thus from f + x 1, x dµ x dµ 1 x 1 < X it follows that X f + x 1, x dµ x is finite except possibly on a set N 1 A 1 with µ 1 N 1 = 0. By redefining it to be zero on N 1, the function x 1 X f + x 1, x dµ x belongs to L 1, A 1, µ 1. Similarly, the function x 1 X f x 1, x dµ x is finite µ 1 a.e.x 1 and after redefining on a set of measure zero belongs to L 1, A 1, µ 1. Next note that f + x1 x = f + x 1, x = f x1 + x as functions on X. Similarly for f. Thus x 1 X f x1 + dµ < for µ 1 a.e.x 1 and is into L 1, A 1, µ 1, and x 1 X f x1 dµ < for µ 1 a.e.x 1 and is in L 1, A 1, µ 1. We have g = f x1 + dµ f x1 dµ, µ 1 a.e. X X implying that gx 1 = X f x1 dµ is in L 1, A 1, µ 1. The other claim in follows from a similar argument. Note for later use that by [1, Theorem 5.8a and b], 15 gx 1 dµ 1 x 1 = f x1 + dµ dµ 1 f x1 dµ dµ 1. X X Now, the fact that X f x1 ± dµ < for µ 1 a.e.x 1 implies that f x1 L 1 X, A, µ for µ 1 a.e.x 1. This proves one statement in 1, and the other is similar. Finally, to prove for example 14, note that by 15 in the first equality and Tonelli s theorem for f + in the third equality, we get fx 1, x dµ dµ 1 = f x1 + dµ dµ 1 f x1 dµ dµ 1 X X X = f + x1 dµ dµ 1 f x1 dµ dµ 1 X X = f + dµ 1 µ f dµ 1 µ X X = f dµ 1 µ. X Lemma.4. See []. If E j generate σ-algebras A j on X j for j = 1,, then the collection E 1 E of elements of the form C 1 C with C j E j, j = 1,, generates A 1 A. 7
8 8 Proof. Let π 1 : X be the projection onto the first coordinate π 1 x 1, x = x 1. Denote A = σe 1 E. Verify that the set {A 1 π 1 A 1 A} is a σ-algebra which contains E 1. Then this set contains A 1. Thus A 1 X A, and similarly A A. Then A 1 X A = A 1 A X = {A 1 A A j A j, j = 1, } A, and so A 1 A A. The other inclusion follows because E 1 E is contained in the collection C of rectangles that generates A 1 A. Lemma.5. See []. Let X j, A j, µ j, j = 1,, 3 be σ-finite measure spaces. Then A 1 A A 3 = A 1 A A 3 and µ 1 µ µ 3 = µ 1 µ µ 3. Proof. For the first claim, use rectangles A 1 A A 3 = A 1 A A 3 for i = 1,, 3 as generating sets and apply the previous lemma. For the second, use that µ 1 µ µ 3 and µ 1 µ µ 3 coincide on rectangles A 1 A A 3 generating A 1 A A 3, and apply Theorem 1.9. Remark.6. For n 1 we let B n be the Borel algebra on R n, i.e. the σ-algebra generated by the open subsets of R n. Lemma.5 allows us to define B B on R R, where we have n factors. We claim that B n = B B. It suffices to prove the case n =. Now, B is generated by the collection E of open intervals a, b with a, b Q. By Lemma.4, we have B B = BE E. But every open ball in R can be written as a countable union of elements in E E, so BE E = B and the claim follows. We define Lebesgue measure on R n to be λ n = λ λ n factors on B n. This is the unique measure on R n such that λ n a 1, b 1 a n, b n = b 1 a 1 b n a n. It is not a complete measure. However, it admits a completion λ n on the σ-algebra M n of n-dimensional Lebesque measurable subsets of R n, where M n contains B n. It is possible to prove a version of Fubini s theorem for complete measure spaces and the completion of the product measure, as constructed here. For details, see [1, Theorem 6.9]. References [1] J.N. McDonald and N.A. Weiss, A course in Real Analysis, nd edition, Academic Press, Amsterdam, 013. [] G. Teschl, Topics in real and functional analysis, gerald/ftp/bookfa/index.html.
Product measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.
Product measures, Toelli s ad Fubii s theorems For use i MAT3400/4400, autum 2014 Nadia S. Larse Versio of 13 October 2014. 1. Costructio of the product measure The purpose of these otes is to preset the
More informationAnnalee Gomm Math 714: Assignment #2
Annalee Gomm Math 714: Assignment #2 3.32. Verify that if A M, λ(a = 0, and B A, then B M and λ(b = 0. Suppose that A M with λ(a = 0, and let B be any subset of A. By the nonnegativity and monotonicity
More informationIntegration 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 informationStat 451: Solutions to Assignment #1
Stat 451: Solutions to Assignment #1 2.1) By definition, 2 Ω is the set of all subsets of Ω. Therefore, to show that 2 Ω is a σ-algebra we must show that the conditions of the definition σ-algebra are
More informationREAL 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 informationHomework 11. Solutions
Homework 11. Solutions Problem 2.3.2. Let f n : R R be 1/n times the characteristic function of the interval (0, n). Show that f n 0 uniformly and f n µ L = 1. Why isn t it a counterexample to the Lebesgue
More informationx 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(U) =, if 0 U, 1 U, (U) = X, if 0 U, and 1 U. (U) = E, if 0 U, but 1 U. (U) = X \ E if 0 U, but 1 U. n=1 A n, then A M.
1. Abstract Integration The main reference for this section is Rudin s Real and Complex Analysis. The purpose of developing an abstract theory of integration is to emphasize the difference between the
More informationMath 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 informationDynkin (λ-) and π-systems; monotone classes of sets, and of functions with some examples of application (mainly of a probabilistic flavor)
Dynkin (λ-) and π-systems; monotone classes of sets, and of functions with some examples of application (mainly of a probabilistic flavor) Matija Vidmar February 7, 2018 1 Dynkin and π-systems Some basic
More informationMeasure 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 information4. 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 informationSection 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 informationTheorem 2.1 (Caratheodory). A (countably additive) probability measure on a field has an extension. n=1
Chapter 2 Probability measures 1. Existence Theorem 2.1 (Caratheodory). A (countably additive) probability measure on a field has an extension to the generated σ-field Proof of Theorem 2.1. Let F 0 be
More informationThe main results about probability measures are the following two facts:
Chapter 2 Probability measures The main results about probability measures are the following two facts: Theorem 2.1 (extension). If P is a (continuous) probability measure on a field F 0 then it has a
More informationThe 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 informationChapter 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 informationII - 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 informationTHEOREMS, ETC., FOR MATH 516
THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition
More information3 (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 informationABSTRACT 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 informationMATH MEASURE THEORY AND FOURIER ANALYSIS. Contents
MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure
More informationMATH41011/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 informationLebesgue Integration on R n
Lebesgue Integration on R n The treatment here is based loosely on that of Jones, Lebesgue Integration on Euclidean Space We give an overview from the perspective of a user of the theory Riemann integration
More information2 Measure Theory. 2.1 Measures
2 Measure Theory 2.1 Measures A lot of this exposition is motivated by Folland s wonderful text, Real Analysis: Modern Techniques and Their Applications. Perhaps the most ubiquitous measure in our lives
More informationCompendium 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 informationSpring 2014 Advanced Probability Overview. Lecture Notes Set 1: Course Overview, σ-fields, and Measures
36-752 Spring 2014 Advanced Probability Overview Lecture Notes Set 1: Course Overview, σ-fields, and Measures Instructor: Jing Lei Associated reading: Sec 1.1-1.4 of Ash and Doléans-Dade; Sec 1.1 and A.1
More informationLecture 6 Feb 5, The Lebesgue integral continued
CPSC 550: Machine Learning II 2008/9 Term 2 Lecture 6 Feb 5, 2009 Lecturer: Nando de Freitas Scribe: Kevin Swersky This lecture continues the discussion of the Lebesque integral and introduces the concepts
More informationMATH & MATH FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING Scientia Imperii Decus et Tutamen 1
MATH 5310.001 & MATH 5320.001 FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING 2016 Scientia Imperii Decus et Tutamen 1 Robert R. Kallman University of North Texas Department of Mathematics 1155
More informationMAT 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 informationStanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon Measures
2 1 Borel Regular Measures We now state and prove an important regularity property of Borel regular outer measures: Stanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon
More information1/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 information02. Measure and integral. 1. Borel-measurable functions and pointwise limits
(October 3, 2017) 02. Measure and integral Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2017-18/02 measure and integral.pdf]
More information2 (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 informationAbstract Measure Theory
2 Abstract Measure Theory Lebesgue measure is one of the premier examples of a measure on R d, but it is not the only measure and certainly not the only important measure on R d. Further, R d is not the
More informationMATHS 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 informationTHEOREMS, 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 informationThree 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 informationFACULTY OF SCIENCE FINAL EXAMINATION MATHEMATICS MATH 355. Analysis 4. Examiner: Professor S. W. Drury Date: Wednesday, April 18, 2007 INSTRUCTIONS
FACULTY OF SCIENCE FINAL EXAMINATION MATHEMATICS MATH 355 Analysis 4 Examiner: Professor S. W. Drury Date: Wednesday, April 18, 27 Associate Examiner: Professor K. N. GowriSankaran Time: 2: pm. 5: pm.
More informationChapter 6. Integration. 1. Integrals of Nonnegative Functions. a j µ(e j ) (ca j )µ(e j ) = c X. and ψ =
Chapter 6. Integration 1. Integrals of Nonnegative Functions Let (, S, µ) be a measure space. We denote by L + the set of all measurable functions from to [0, ]. Let φ be a simple function in L +. Suppose
More informationThus, 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 information1.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 information6.2 Fubini s Theorem. (µ ν)(c) = f C (x) dµ(x). (6.2) Proof. Note that (X Y, A B, µ ν) must be σ-finite as well, so that.
6.2 Fubini s Theorem Theorem 6.2.1. (Fubini s theorem - first form) Let (, A, µ) and (, B, ν) be complete σ-finite measure spaces. Let C = A B. Then for each µ ν- measurable set C C the section x C is
More informationRandom experiments may consist of stages that are performed. Example: Roll a die two times. Consider the events E 1 = 1 or 2 on first roll
Econ 514: Probability and Statistics Lecture 4: Independence Stochastic independence Random experiments may consist of stages that are performed independently. Example: Roll a die two times. Consider the
More informationThe 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 informationIndependent random variables
CHAPTER 2 Independent random variables 2.1. Product measures Definition 2.1. Let µ i be measures on (Ω i,f i ), 1 i n. Let F F 1... F n be the sigma algebra of subsets of Ω : Ω 1... Ω n generated by all
More informationChapter 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 information13. 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 informationLebesgue 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 informationMeasures. 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 informationProblem Set. Problem Set #1. Math 5322, Fall March 4, 2002 ANSWERS
Problem Set Problem Set #1 Math 5322, Fall 2001 March 4, 2002 ANSWRS i All of the problems are from Chapter 3 of the text. Problem 1. [Problem 2, page 88] If ν is a signed measure, is ν-null iff ν () 0.
More informationPart 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 informationCHAPTER 6. Differentiation
CHPTER 6 Differentiation The generalization from elementary calculus of differentiation in measure theory is less obvious than that of integration, and the methods of treating it are somewhat involved.
More informationFolland: Real Analysis, Chapter 7 Sébastien Picard
Folland: Real Analysis, Chapter 7 Sébastien Picard Problem 7.2 Let µ be a Radon measure on X. a. Let N be the union of all open U X such that µ(u) =. Then N is open and µ(n) =. The complement of N is called
More informationSolutions: Problem Set 4 Math 201B, Winter 2007
Solutions: Problem Set 4 Math 2B, Winter 27 Problem. (a Define f : by { x /2 if < x
More informationChapter 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 informationMeasure 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 informationProbability and Random Processes
Probability and Random Processes Lecture 4 General integration theory Mikael Skoglund, Probability and random processes 1/15 Measurable xtended Real-valued Functions R = the extended real numbers; a subset
More informationMAT 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 informationELEMENTS OF PROBABILITY THEORY
ELEMENTS OF PROBABILITY THEORY Elements of Probability Theory A collection of subsets of a set Ω is called a σ algebra if it contains Ω and is closed under the operations of taking complements and countable
More informationREAL 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 informationChapter IV Integration Theory
Chapter IV Integration Theory This chapter is devoted to the developement of integration theory. The main motivation is to extend the Riemann integral calculus to larger types of functions, thus leading
More informationMeasurable 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 informationThe Lebesgue Integral
The Lebesgue Integral Having completed our study of Lebesgue measure, we are now ready to consider the Lebesgue integral. Before diving into the details of its construction, though, we would like to give
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
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 informationMAT 257, Handout 13: December 5-7, 2011.
MAT 257, Handout 13: December 5-7, 2011. The Change of Variables Theorem. In these notes, I try to make more explicit some parts of Spivak s proof of the Change of Variable Theorem, and to supply most
More informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
More informationNotes on Measure, Probability and Stochastic Processes. João Lopes Dias
Notes on Measure, Probability and Stochastic Processes João Lopes Dias Departamento de Matemática, ISEG, Universidade de Lisboa, Rua do Quelhas 6, 1200-781 Lisboa, Portugal E-mail address: jldias@iseg.ulisboa.pt
More informationProblem 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 informationDifferentiation 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 informationHomework 1 due on Monday September 8, 2008
Homework 1 due on Monday September 8, 2008 Chapter 1, Problems 4, 5, 7. Also solve the following problems (A) Let E be the collection of intervals in = (, ) of type (r, ) where r is an arbitrary rational
More information(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 information4 Integration 4.1 Integration of non-negative simple functions
4 Integration 4.1 Integration of non-negative simple functions Throughout we are in a measure space (X, F, µ). Definition Let s be a non-negative F-measurable simple function so that s a i χ Ai, with disjoint
More informationMeasures. 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 informationExercise 1. Let f be a nonnegative measurable function. Show that. where ϕ is taken over all simple functions with ϕ f. k 1.
Real Variables, Fall 2014 Problem set 3 Solution suggestions xercise 1. Let f be a nonnegative measurable function. Show that f = sup ϕ, where ϕ is taken over all simple functions with ϕ f. For each n
More informationDefining the Integral
Defining the Integral In these notes we provide a careful definition of the Lebesgue integral and we prove each of the three main convergence theorems. For the duration of these notes, let (, M, µ) be
More informationChapter 4. The dominated convergence theorem and applications
Chapter 4. The dominated convergence theorem and applications The Monotone Covergence theorem is one of a number of key theorems alllowing one to exchange limits and [Lebesgue] integrals (or derivatives
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationMeasure 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 informationCHAPTER 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 informationSOME MEASURABILITY AND CONTINUITY PROPERTIES OF ARBITRARY REAL FUNCTIONS
LE MATEMATICHE Vol. LVII (2002) Fasc. I, pp. 6382 SOME MEASURABILITY AND CONTINUITY PROPERTIES OF ARBITRARY REAL FUNCTIONS VITTORINO PATA - ALFONSO VILLANI Given an arbitrary real function f, the set D
More informationFinal. 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 informationSTAT 7032 Probability Spring Wlodek Bryc
STAT 7032 Probability Spring 2018 Wlodek Bryc Created: Friday, Jan 2, 2014 Revised for Spring 2018 Printed: January 9, 2018 File: Grad-Prob-2018.TEX Department of Mathematical Sciences, University of Cincinnati,
More informationLebesgue Integration: A non-rigorous introduction. What is wrong with Riemann integration?
Lebesgue Integration: A non-rigorous introduction What is wrong with Riemann integration? xample. Let f(x) = { 0 for x Q 1 for x / Q. The upper integral is 1, while the lower integral is 0. Yet, the function
More informationINTRODUCTION 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 informationMA359 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 informationn [ 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 informationReal 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 informationLEBESGUE MEASURE, INTEGRAL, MEASURE THEORY: A QUICK INTRO
LEBEGUE MEAURE, INTEGRAL, MEAURE THEORY: A QUICK INTRO This note is meant to give an overview of some general constructions and results, certainly not meant to be complete, but with your knowledge of Riemann
More informationLecture Notes Introduction to Ergodic Theory
Lecture Notes Introduction to Ergodic Theory Tiago Pereira Department of Mathematics Imperial College London Our course consists of five introductory lectures on probabilistic aspects of dynamical systems,
More informationClass 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 informationSection Integration of Nonnegative Measurable Functions
18.2. Integration of Nonnegative Measurable Functions 1 Section 18.2. Integration of Nonnegative Measurable Functions Note. We now define integrals of measurable functions on measure spaces. Though similar
More information3 Integration and Expectation
3 Integration and Expectation 3.1 Construction of the Lebesgue Integral Let (, F, µ) be a measure space (not necessarily a probability space). Our objective will be to define the Lebesgue integral R fdµ
More informationChapter 4. Measurable Functions. 4.1 Measurable Functions
Chapter 4 Measurable Functions If X is a set and A P(X) is a σ-field, then (X, A) is called a measurable space. If µ is a countably additive measure defined on A then (X, A, µ) is called a measure space.
More informationSigned Measures. Chapter Basic Properties of Signed Measures. 4.2 Jordan and Hahn Decompositions
Chapter 4 Signed Measures Up until now our measures have always assumed values that were greater than or equal to 0. In this chapter we will extend our definition to allow for both positive negative values.
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationDual 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 informationLectures 22-23: Conditional Expectations
Lectures 22-23: Conditional Expectations 1.) Definitions Let X be an integrable random variable defined on a probability space (Ω, F 0, P ) and let F be a sub-σ-algebra of F 0. Then the conditional expectation
More informationMATS113 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 informationNotes on the Lebesgue Integral by Francis J. Narcowich November, 2013
Notes on the Lebesgue Integral by Francis J. Narcowich November, 203 Introduction In the definition of the Riemann integral of a function f(x), the x-axis is partitioned and the integral is defined in
More information