The Caratheodory Construction of Measures
|
|
- Briana Stone
- 6 years ago
- Views:
Transcription
1 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, the intervals. Using this notion, we defined an outer measure by the process (2.1) and proceeded from there to obtain a measure. In general, an outer measure on a set X is a function µ : P(X) [0, ] satisfying the following three conditions: (5.1) µ ( ) = 0, (5.2) A B = µ (A) µ (B), (5.3) A j X countable = µ ( ) A j µ (A j ). j j Recall that P(X) is the collection of all subsets of X. Parallel to (2.1), here is a way to construct outer measures. Let E be some family of subsets of X, such that E and X = j 1 X j for some countable collection X j E. Suppose you have a function (5.4) ρ : E [0, ], ρ( ) = 0. For any S X, set (5.5) µ (S) = inf { ρ(e j ) : E j E, S j 1 j 1 Here {E j } is a countable cover of S by sets in E. E j }. 57
2 58 5. The Caratheodory Construction of Measures Proposition 5.1. Under the hypotheses above, µ, defined by (5.5), is an outer measure. Proof. Property (5.1) follows from ρ( ) = 0 and (5.2) from the fact that, when A B, any countable cover of B by elements of E is also a cover of A. The proof of (5.3) works the same way as the proof of Proposition 2.1; each A j has a countable cover {E jk : k 1} by elements of E, such that µ (A j ) k ρ(e jk) 2 j ε. Then {E jk : j, k 1} is a countable cover of j A j by elements of E, and we obtain (5.3) in the limit as ε 0. If we have an outer measure µ, then, as suggested when we stated Proposition 2.12, we say that a set A X is µ -measurable if and only if (5.6) µ (Y ) = µ (Y A) + µ (Y \ A), Y X. (By (5.3), always holds, so the condition to check is.) Denote by M the class of µ -measurable subsets of X. The following result is known as Caratheodory s Theorem. Theorem 5.2. If µ is an outer measure on X, then the class M of µ - measurable sets is a σ-algebra, and the restriction of µ to M is a measure. Proof. Clearly M. Also, if A M, then, for all Y X, Y A c = Y \A and Y \ A c = Y A, so M is closed under complements. Next, suppose A j M. We want to show that (5.6) holds with A = A 1 A 2. Since µ is subadditive, it suffices to establish that (5.7) µ (Y ) µ ( Y (A 1 A 2 ) ) + µ ( Y (A 1 A 2 ) c), for all Y X. Note that A 1 A 2 = A 1 (A 2 A c 1 ) is a disjoint union. We see that the right side of (5.7) is (5.8) µ (Y A 1 ) + µ (Y A 2 A c 1) + µ (Y A c 1 A c 2) = µ (Y A 1 ) + µ (Y A c 1 ) = µ (Y ), where the last two identities use A 2 M and A 1 M, respectively. This yields (5.7) and shows that M is an algebra, i.e., M is closed under complements and finite unions. We next check additivity when A 1, A 2 M are disjoint. Indeed, if we set Y = A 1 A 2, A = A 1 in (5.6), we get (5.9) µ (A 1 A 2 ) = µ (A 1 ) + µ (A 2 ), A j M, disjoint.
3 5. The Caratheodory Construction of Measures 59 Inductively, we have, for A j M, disjoint, (5.10) µ ( N ) A j = N µ (A j ). Taking N and using monotonicity of µ yield µ ( ) A j µ (A j ), j 1 j 1 and since the reverse inequality holds by (5.3), we have for a countable family A j, (5.11) µ ( ) A j = µ (A j ), A j M, disjoint. j 1 j 1 Compare the proof of Proposition 2.7, leading to Theorem 2.8. To finish the proof of Theorem 5.2, we need to show that, if A j M is a countable disjoint family, then A = j 1 A j is µ -measurable. Let B n = j n A j. The measurability of A n implies µ (Y B n ) = µ (Y B n A n ) + µ (Y B n A c n) for any Y X. Inductively, we obtain (5.12) µ (Y B n ) = = µ (Y A n ) + µ (Y B n 1 ), n µ (Y A j ). We know M is an algebra, so B n M, and hence, using (5.12), we have (5.13) µ (Y ) = µ (Y B n ) + µ (Y Bn c ) n µ (Y A j ) + µ (Y A c ), the last inequality holding because B n A. Taking n, we have µ (Y ) j 1 µ (Y A j ) + µ (Y A c ) (5.14) µ ( j 1 ) (Y A j ) + µ (Y A c ) = µ (Y A) + µ (Y A c ) µ (Y ).
4 60 5. The Caratheodory Construction of Measures Thus A M, and Theorem 5.2 is proved. While the construction (5.4) (5.5) is very general, you need extra structure to relate µ (S) to ρ(s) when S E. The following is a convenient setting. Let A be an algebra of subsets of X, i.e., a nonempty collection of subsets of X, closed under finite unions and under complements, hence under finite intersections. A function µ 0 : A [0, ] is called a premeasure if it satisfies the following two conditions: (5.15) µ 0 ( ) = 0, (5.16) S j A countable, disjoint, j S j = S A = µ 0 (S) = j µ 0 (S j ). As an example, let X = I = [a, b], and let A consist of finite unions of intervals (open, closed, or half-open) in I. If S = N k=1 J k is a disjoint union of intervals, take µ 0 (S) = N k=1 l(j k), so µ 0 is the restriction of Lebesgue (outer) measure to A. In this case, (5.16) can be demonstrated by an argument similar to that needed for Exercise 1 in Chapter 2. If µ 0 is a premeasure on A, it induces an outer measure on X via the construction (5.4) (5.5), i.e., { (5.17) µ (E) = inf A j }. j 0 µ 0 (A j ) : A j A, E j 0 Proposition 5.3. If µ 0 is a premeasure on A and µ is defined by (5.17), then (5.18) S A = µ (S) = µ 0 (S), and every set in A is µ -measurable. Proof. To prove (5.18), first note that µ (S) µ 0 (S) for S A since S covers itself. Suppose S A, and S j 1 A j, A j A. Then let B n = S ( A n \ j<n A j), so {Bn : n 1} is a disjoint family of members of A, whose union is S. Thus, by (5.16), (5.19) µ 0 (S) = j 1 µ 0 (B j ) j 1 µ 0 (A j ). It follows that µ 0 (S) µ (S). This proves (5.18).
5 5. The Caratheodory Construction of Measures 61 To prove that each A A is µ -measurable, if Y X and ε > 0, there is a sequence {B j : j 1} A with Y j 1 B j and µ 0 (B j ) µ (Y ) + ε. Since µ 0 is additive on A, (5.20) µ (Y ) + ε µ 0 (B j A) + µ 0 (B j A c ) j 1 j 1 µ (Y A) + µ (Y A c ), the latter inequality holding, e.g., because {B j A : j 1} is a cover of Y A by elements of A. Taking ε 0, we obtain (5.6), so any A A is µ -measurable. When we combine the last result with Theorem 5.2, we obtain an extension of the premeasure µ 0 to a measure. Theorem 5.4. Let A P(X) be an algebra, µ 0 a premeasure on A, and M = σ(a) the σ-algebra generated by A. Then there exists a measure µ on M whose restriction to A is µ 0, namely µ M, where µ is given by (5.17). Proof. In fact, the class of µ -measurable sets is a σ-algebra containing A; hence it contains σ(a). There is nothing more to prove. We next examine the extent to which the extension µ of µ 0 to σ(a) is unique. Suppose ν is a measure on M = σ(a), which also agrees with µ 0 on A. If E M and E j 1 A j, A j A, then (5.21) ν(e) j 1 so, by the construction (5.17) of µ, ν(a j ) = j 1 µ 0 (A j ), (5.22) ν(e) µ(e), E σ(a). Also, by the property (3.5), (5.23) B j A, B j B = ν(b) = lim n ν(b n) = lim n µ(b n) = µ(b). Suppose now that E M and µ(e) <. Fix ε > 0. Then we can choose the cover A j in (5.17) such that µ(a j ) < µ(e) + ε. Hence, with B n = A j, j n A j B = j 1 we have µ(b) < µ(e)+ε, so µ(b\e) < ε, and hence, by (5.22), ν(b\e) < ε. Meanwhile, by (5.23), ν(b) = µ(b), so (5.24) µ(e) µ(b) = ν(b) = ν(e) + ν(b \ E) ν(e) + ε. Taking ε 0 gives µ(e) ν(e), as long as µ(e) <. In concert with (5.22), this yields the following.
6 62 5. The Caratheodory Construction of Measures Proposition 5.5. Let A be an algebra of subsets of X, generating the σ- algebra M = σ(a). Let µ 0 be a premeasure on A, and let µ be the measure on M given by Theorem 5.4, extending µ 0. If ν is another measure on M which agrees with µ 0 on A, then for all S M, ν(s) µ(s), and (5.25) µ(s) < = µ(s) = ν(s). Furthermore, if there is a countable family A j such that (5.26) X = j 1 A j, A j M, µ(a j ) <, then µ(s) = ν(s) for all S M. Proof. The implication (5.25) was established above. If (5.26) holds, we can assume the A j are disjoint. If S M, we have the disjoint union S = S j, S j = S A j. By (5.25), µ(s j ) = ν(s j ), and then µ(s) = ν(s) follows by countable additivity. If (5.26) holds, we say (X, M, µ) is a σ-finite measure space. See Exercise 15 for another proof of Proposition 5.5. If Theorem 5.4 is applied to the example mentioned after (5.16), it yields the fact that finite unions of intervals in I = [a, b] are Lebesgue measurable and hence so are sets in the σ-algebra σ(a) generated by this algebra of subsets of I. In particular, all open sets in I are measurable, since they are countable unions of open intervals. Hence all closed sets in I are measurable. Of course, this recaptures results obtained in Chapter 2. Recall that, in our treatment of Lebesgue measure on an interval, we gave a definition of measurability different from (5.6) and then showed in Proposition 2.12 that the definition of measurability given there implied (5.6). We now give a result in counterpoint to Proposition Proposition 5.6. Suppose we are given an algebra A of subsets of X and a premeasure µ 0 on A, with associated outer measure µ, defined by (5.17). Assume Z X is µ -measurable and µ (Z) <. Then a set S Z is µ -measurable if and only if (5.27) µ (S) + µ (Z \ S) = µ (Z). Proof. We need to show that, if (5.27) holds, then, for any Y X, (5.28) µ (Y ) = µ (Y S) + µ (Y S c ).
7 5. The Caratheodory Construction of Measures 63 Only the part needs to be established, so we can assume µ (Y ) <. Write Y = Y 0 Y 1, a disjoint union, where Y 0 = Y Z, Y 1 = Y Z c. Using the measurability of Z, we have (5.29) µ (Y ) = µ (Y Z) + µ (Y Z c ) = µ (Y 0 ) + µ (Y 1 ) and (5.30) µ (Y S c ) = µ (Y S c Z)+µ (Y S c Z c ) = µ (Y 0 S c )+µ (Y 1 ), provided S Z, while (5.31) µ (Y S) = µ (Y 0 S). Consequently it suffices to prove (5.28) for Y = Y 0, i.e., for Y Z. For that, we bring in a lemma Lemma 5.7. Let µ arise from a premeasure on an algebra A. consist of countable unions of sets in A. Then Let A σ (5.32) S X = µ (S) = inf{µ (E) : E A σ, S E}. Proof. We leave this to the reader; see Exercise 3 at the end of this chapter. We continue the proof of Proposition 5.6. Given ε > 0, there exists à A σ such that à Y and µ (Ã) µ (Y ) + ε. Set A = à Z. Then A M (the σ-algebra of µ -measurable sets), A Y (if Y Z), and µ (A) µ (Y ) + ε. We claim that (5.33) µ (A) = µ (A S) + µ (A S c ). Suppose this is known. Then we have (5.34) µ (Y ) + ε µ (Y S) + µ (Y S c ), for all ε > 0. In the limit ε 0, we obtain the part of (5.28), and the problem is solved. Thus it remains to establish (5.32), given A M, A Z, µ (Z) <, and given the hypothesis (5.27). Using the measurability of A, we have (5.35) µ (Z) = µ (A) + µ (Z A c ).
8 64 5. The Caratheodory Construction of Measures Now the left side of (5.35) is equal to µ (S) + µ (Z \ S), by hypothesis. By subadditivity of outer measure, the right side of (5.35) is (5.36) µ (A S) + µ (A S c ) + µ ( (Z \ A) S ) + µ ( (Z \ A) S c) = µ (S A) + µ ( (Z \ S) A ) + µ (S \ A) + µ ( (Z \ S) \ A ) = µ (S) + µ (Z \ S), the last identity following by grouping together the odd terms and the even terms on the second line of (5.36) and using measurability of A. Since the bottom line of (5.36) is equal to the left side of (5.35), the in (5.36) must be equality. That inequality arose from the sum of two inequalities, and so both of them must be equalities. One of them is the desired result (5.33). This finishes the proof of Proposition 5.6. We next describe an important class of outer measures on metric spaces, for which all open sets and all closed sets can be shown to be measurable. This result will play an important role in Chapter 12, on Hausdorff measures, and in Chapter 13, on Radon measures. Let X be a metric space, with distance function d(x, y). An outer measure µ on X is called a metric outer measure provided (5.37) ρ(s 1, S 2 ) = inf {d(x 1, x 2 ) : x j S j } > 0 = µ (S 1 S 2 ) = µ (S 1 ) + µ (S 2 ). Note that the part (2.15) (2.16) of Lemma 2.4 is the statement that Lebesgue outer measure is a metric outer measure on I = [a, b]. The following is another result of Caratheodory: Proposition 5.8. If µ is a metric outer measure on a metric space X, then every closed subset of X is µ -measurable. Proof. We must show that if F X is closed and Y X satisfies µ (Y ) <, then (5.38) µ (Y ) µ (Y F ) + µ (Y \ F ). Consider B n = { x Y \ F : ρ(x, F ) 1 }. n Note that B n Y \ F. Also ρ(b n, F ) 1/n, so, by (5.37), (5.39) µ (Y F ) + µ (B n ) = µ ( (Y F ) B n ) µ (Y ).
9 5. The Caratheodory Construction of Measures 65 Thus it will suffice to show that (5.40) µ (B n ) µ (Y \ F ). Let C n = B n+1 \ B n. Note that j k 2 = ρ(c j, C k ) > 0. Hence, for any N, one obtains inductively (using (5.37)) that (5.41) N µ (C 2j ) = µ ( N ) C 2j µ (Y ), N µ (C 2j+1 ) = µ ( N ) C 2j+1 µ (Y ), and consequently j 1 µ (C j ) <. Now countable subadditivity implies (5.42) µ (Y \ F ) µ (B n ) + j n µ (C j ), so as n, the last sum tends to zero, and we obtain (5.43) µ (Y \ F ) lim inf n µ (B n ) lim sup n µ (B n ) µ (Y \ F ), the last inequality by monotonicity. proof. This implies (5.40) and finishes the As one may have noticed, at several points in this chapter and previous chapters, we have considered a class of sets with certain desirable properties and have wanted to prove it was a σ-algebra. The following result, called the Monotone Class Lemma, sometimes furnishes a convenient tool for doing this. We define a monotone class on a set X to be a collection C P(X) having the properties (5.44) E j C, E j E = E C, E j C, E j E = E C. The smallest monotone class containing a collection E P(X) is called the monotone class generated by E. Proposition 5.9. If A is an algebra of subsets of X and C is the monotone class generated by A, then C = σ(a).
10 66 5. The Caratheodory Construction of Measures Proof. Clearly C σ(a). We will show that C is a σ-algebra. If E C, let (5.45) C(E) = {F C : E \ F, F \ E, E F C}. Clearly, E C(E), and C(E) is easily verified to be a monotone class. Also, E C(F ) F C(E). Since A is an algebra, we have (5.46) E, F A = F C(E). In other words, if E A, then A C(E); hence C C(E). Thus, if F C, then F C(E) for all E A. This implies (5.47) E C(F ), E A, F C. Thus A C(F ) and hence C C(F ), for all F C. In other words, (5.48) E, F C = E \ F, E F C. Since X A C, it follows that C is an algebra of sets. We finally note that C must be a σ-algebra. Indeed, if E j C, then F j = n j E j C, and (5.44) implies F j F = j 1 E j C. This finishes the proof. The proof of Proposition 6.2 in the next chapter will provide a nice application of the Monotone Class Lemma. Exercises 1. Let I = [a, b] and let A be the algebra of subsets of I consisting of finite unions of intervals, as in the example after (5.16). Let ϕ : I R be a monotonically increasing function, i.e., assume that x < y ϕ(x) ϕ(y). Set (5.49) ϕ (x) = lim u x ϕ(u), (5.50) ϕ + (x) = lim u x ϕ(u), with the convention that ϕ (0) = ϕ(0) and ϕ + (1) = ϕ(1). Define µ 0 : A R + as follows. If S = N k=1 J k is a union of mutually disjoint intervals, set µ 0 (S) = N k=1 µ 0(J k ), where µ 0 is defined on a single interval J I as follows: µ 0 ( [x, y] ) = ϕ+ (y) ϕ (x), µ 0 ( [x, y) ) = ϕ (y) ϕ (x), µ 0 ( (x, y] ) = ϕ+ (y) ϕ + (x), µ 0 ( (x, y) ) = ϕ (y) ϕ + (x).
11 5. The Caratheodory Construction of Measures 67 Also, set µ 0 ( ) = 0. Show that µ 0 is a premeasure. The measure then produced via Theorem 5.4 is called Lebesgue-Stieltjes measure. Hint. Say J is a closed interval and J = k 1 J k, with disjoint intervals J k. First show that m k=1 µ 0(J k ) µ 0 (J) for each m, so µ 0 (J) k 1 µ 0(J k ). For the reverse inequality, one can argue as follows. Pick ε > 0. Say the endpoints of J k are a k and b j, so (a k, b k ) J k [a k, b k ]. If a k J k, pick ã k < a k such that 0 ϕ (a k ) ϕ + (ã k ) < ε2 k. If a k / J k, let ã k = a k. Make an appropriate analogous choice of b k, and let J k = (ã k, b k ). Note that µ 0 ( J k ) < µ 0 (J k ) + ε2 k+1. Now J J k 1 k, and this is an open cover. Take a finite subcover. For Exercises 2 6, suppose we are given an algebra A of subsets of X and a premeasure µ 0 on A, with associated outer measure µ, defined by (5.17). Let A σ consist of countable unions of sets in A. 2. Show that (5.51) E A σ = µ (E) = sup {µ 0 (A) : A A, A E}. 3. Show that (5.52) S X = µ (S) = inf {µ (E) : E A σ, S E}. 4. Let A δ consist of countable intersections of sets in A, and set (5.53) µ (S) = sup {µ (E) : E A δ, E S}, S X. Show that µ (S) µ (S). If µ (S) <, show that S is µ -measurable if and only if µ (S) = µ (S). Hint. Show that, if S Z A σ, µ (Z) <, then µ (Z) = µ (S) + µ (Z \ S). Then use Proposition Given S X, show that there exist S 0 A σδ and S 1 A δσ such that (5.54) S 0 S S 1, µ(s 1 ) = µ (S), µ(s 0 ) = µ (S). Show that, if µ (S) <, then S is µ -measurable if and only if µ(s 1 \ S 0 ) = 0. Here, µ is the measure on σ(a) given by Theorem Let µ # be the outer measure on X obtained via (5.17), with (A, µ 0 ) replaced by (σ(a), µ). Equivalently, (5.55) µ # (S) = inf {µ(a) : S A σ(a)}.
12 68 5. The Caratheodory Construction of Measures Clearly µ # (S) µ (S) for all S X. Show that µ # = µ. Hint. If S A σ(a), show that, for any ε > 0, there exists B A σ such that A B and µ(b) µ(a) + ε. 7. If µ is an outer measure on X, then clearly (5.56) S 1 S 2 S 3 S = µ (S j ) M µ (S). If µ arises from a premeasure, via (5.17), show that M = µ (S). Hint. First note that A n σ(a), A n A µ (A n ) µ (A). Then show that, for any ε > 0, there exist Z n σ(a) such that Z n S n, Z n, and µ (Z n ) = µ (S n ). Make use of (5.54). 8. As in Exercise 5 of Chapter 3, a measure µ on (X, M) is said to be complete provided (5.57) A M, µ(a) = 0, S A = S M, and µ(s) = 0. Show that the measures provided by Theorem 5.2, from outer measures, are all complete. In particular, Lebesgue measure is complete. 9. If µ is a measure on (X, F) that is not complete, form the outer measure µ by (5.17), with A replaced by F. Let M be the σ-algebra of µ - measurable sets. Show that Theorem 5.2 produces a measure µ on (X, M) which is complete and such that F M and µ = µ on F. Show that M = F, given by Exercise 5 of Chapter 3, and that µ coincides with the measure produced there, the completion of µ. In Exercises 10 14, suppose X is a compact metric space, B the σ- algebra of Borel subsets of X, and µ a finite measure on (X, B). Construct the outer measure µ via (5.17), with A replaced by B. (Note that Proposition 5.3 applies in this case.) 10. Show that µ must be a metric outer measure. Hint. If S 1, S 2 satisfy (5.37), construct compact K X such that S 1 K X \ S 2. Apply (5.6) with A = K, Y = S 1 S We know that B = σ(a) where A is the algebra generated by the compact sets in X. Show that A consists of sets of the form (5.58) N l M l α l =1 β l =1 N 1 M 1 α 1 =1 β 1 =1 E αβ,
13 5. The Caratheodory Construction of Measures 69 where each E αβ X is either open or closed. 12. Show that (5.59) S X = µ (S) = inf {µ (O) : S O, O open}. Hint. By Exercise 6, µ (S) is given by (5.52) or, equivalently, by (5.17) (with some changes in notation). Show that, given A j A, ε > 0, there exist open sets O j such that A j O j and µ(o j ) µ(a j ) + 2 j ε. It suffices to make such a construction for each E αβ in (5.58), and we need worry only about the case when E αβ is compact; i.e., we need to verify (5.59) when S is compact. For this, keep in mind that X is a metric space. 13. Show that (5.60) S B = µ(s) = sup {µ(k) : K S, K compact}. 14. If f L 1 (X, µ) and ε > 0, show that there exists a compact K X such that µ(x \ K) < ε and f K is continuous. Hint. Using Proposition 4.5 (or otherwise), produce f ν C(X) such that f ν f, µ-a.e. Then use Egoroff s Theorem. Then use (5.60). This result is Lusin s Theorem. A special case was stated in Exercise 16 of Chapter Use the Monotone Class Lemma to give another proof of Proposition 5.5. Furthermore, establish the following variant of Proposition 5.5. Proposition 5.5A. Let A be an algebra of subsets of X, generating the σ-algebra M = σ(a). Let µ and ν be measures on M. Assume there exist A j such that X = j 1 A j, A j A, µ(a j ) <. If µ = ν on A, then µ = ν on M. How do these two propositions differ? 16. Suppose E is a collection of subsets of X having the following properties: (1) The intersection of any two elements of E belongs to E. (2) The collection of finite disjoint unions of elements of E is an algebra A.
14 70 5. The Caratheodory Construction of Measures Let µ b : E [0, ] satisfy (a) µ b ( ) = 0, (b) E j E countable, disjoint, j E j = E E µ b (E) = j µ b(e j ). Show that µ b extends to a premeasure µ 0 on A, satisfying E 1,..., E K E disjoint µ 0 (E 1 E K ) = K µ b (E j ). Show that if µ is defined by (5.17), then also, for E X, { µ (E) = inf j 0 µ b (A j ) : A j E, E j 0 A j }. Hint. Start with uniqueness; if also F 1,..., F L E are disjoint and L l=1 F l = K k=1 E k, write this set as k,l (E k F l ) to show µ 0 is well defined. Note. An example is X = [0, 1], E = the collection of intervals in [0, 1], µ b (J) = l(j), the length. Another family of examples arises at the beginning of Chapter Suppose E is a collection of subsets of X satisfying property (1) in Exercise 16 and also satisfying (2 ) E E X \ E is a finite disjoint union of elements of E. Show that E satisfies property (2) in Exercise 16.
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 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 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 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 informationConstruction 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 informationSigned Measures and Complex Measures
Chapter 8 Signed Measures Complex Measures As opposed to the measures we have considered so far, a signed measure is allowed to take on both positive negative values. To be precise, if M is a σ-algebra
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 informationREAL 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 informationMeasures 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 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 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 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 informationLebesgue 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 informationReview 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 informationLebesgue 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 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 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 informationMoreover, µ 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 informationReal Analysis Chapter 1 Solutions Jonathan Conder
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
More informationCarathéodory s extension of a measure on a semi-ring
Carathéodory s extension of a measure on a semi-ring Reinhardt Messerschmidt www.rmesserschmidt.me.uk 7 October 2018 1 Introduction This article presents Carathéodory s extension of a measure on a semi-ring,
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 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 informationFUNDAMENTALS 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 informationHausdorff measure. Jordan Bell Department of Mathematics, University of Toronto. October 29, 2014
Hausdorff measure Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto October 29, 2014 1 Outer measures and metric outer measures Suppose that X is a set. A function ν :
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 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 informationarxiv: 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 informationMeasure 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 information1.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µ (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 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 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 informationAnother Riesz Representation Theorem
Another Riesz Representation Theorem In these notes we prove (one version of) a theorem known as the Riesz Representation Theorem. Some people also call it the Riesz Markov Theorem. It expresses positive
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 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 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 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 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 informationMTH 404: Measure and Integration
MTH 404: Measure and Integration Semester 2, 2012-2013 Dr. Prahlad Vaidyanathan Contents I. Introduction....................................... 3 1. Motivation................................... 3 2. The
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 informationDRAFT 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 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 informationLebesgue 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 informationAN INTRODUCTION TO GEOMETRIC MEASURE THEORY AND AN APPLICATION TO MINIMAL SURFACES ( DRAFT DOCUMENT) Academic Year 2016/17 Francesco Serra Cassano
AN INTRODUCTION TO GEOMETRIC MEASURE THEORY AND AN APPLICATION TO MINIMAL SURFACES ( DRAFT DOCUMENT) Academic Year 2016/17 Francesco Serra Cassano Contents I. Recalls and complements of measure theory.
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 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 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 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 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 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 information2 Probability, random elements, random sets
Tel Aviv University, 2012 Measurability and continuity 25 2 Probability, random elements, random sets 2a Probability space, measure algebra........ 25 2b Standard models................... 30 2c Random
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 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 informationMeasurable Choice Functions
(January 19, 2013) Measurable Choice Functions Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/choice functions.pdf] This note
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 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 informationPartial 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 informationLebesgue 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 informationIndeed, 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 informationLebesgue 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 informationSolutions to Tutorial 1 (Week 2)
THE UNIVERSITY OF SYDNEY SCHOOL OF MATHEMATICS AND STATISTICS Solutions to Tutorial 1 (Week 2 MATH3969: Measure Theory and Fourier Analysis (Advanced Semester 2, 2017 Web Page: http://sydney.edu.au/science/maths/u/ug/sm/math3969/
More informationl(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 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 informationMATH5011 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 information5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.
5 Measure theory II 1. Charges (signed measures). Let (Ω, A) be a σ -algebra. A map φ: A R is called a charge, (or signed measure or σ -additive set function) if φ = φ(a j ) (5.1) A j for any disjoint
More informationSection Signed Measures: The Hahn and Jordan Decompositions
17.2. Signed Measures 1 Section 17.2. Signed Measures: The Hahn and Jordan Decompositions Note. If measure space (X, M) admits measures µ 1 and µ 2, then for any α,β R where α 0,β 0, µ 3 = αµ 1 + βµ 2
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 informationProduct measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 2017 Nadia S. Larsen. 17 November 2017.
Product measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 017 Nadia S. Larsen 17 November 017. 1. Construction of the product measure The purpose of these notes is to prove the main
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 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 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 informationReal 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 informationVersion of November 4, web page of Richard F. Bass. Downloaded from. Real analysis for graduate students: measure and integration theory
Real analysis for graduate students: measure and integration theory Richard F. Bass ii c Copyright 2011 Richard F. Bass All rights reserved. ISBN-13: 978-1466391574 ISBN-10: 146639157X iii To the memory
More informationBounded and continuous functions on a locally compact Hausdorff space and dual spaces
Chapter 6 Bounded and continuous functions on a locally compact Hausdorff space and dual spaces Recall that the dual space of a normed linear space is a Banach space, and the dual space of L p is L q where
More informationLebesgue-Radon-Nikodym Theorem
Lebesgue-Radon-Nikodym Theorem Matt Rosenzweig 1 Lebesgue-Radon-Nikodym Theorem In what follows, (, A) will denote a measurable space. We begin with a review of signed measures. 1.1 Signed Measures Definition
More informationMeasure 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 information2 Lebesgue integration
2 Lebesgue integration 1. Let (, A, µ) be a measure space. We will always assume that µ is complete, otherwise we first take its completion. The example to have in mind is the Lebesgue measure on R n,
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 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 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 informationMeasure 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 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 information4 Countability axioms
4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said
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 informationNOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS
NOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS CLARK BUTLER. Introduction The purpose of these notes is to give a self-contained proof of the following theorem, Theorem.. Let f : S n S n be a
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 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 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 information18.175: Lecture 2 Extension theorems, random variables, distributions
18.175: Lecture 2 Extension theorems, random variables, distributions Scott Sheffield MIT Outline Extension theorems Characterizing measures on R d Random variables Outline Extension theorems Characterizing
More informationMATH 202B - Problem Set 5
MATH 202B - Problem Set 5 Walid Krichene (23265217) March 6, 2013 (5.1) Show that there exists a continuous function F : [0, 1] R which is monotonic on no interval of positive length. proof We know there
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 informationLecture 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 informationMeasure 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(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 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 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 informationCHAPTER II THE HAHN-BANACH EXTENSION THEOREMS AND EXISTENCE OF LINEAR FUNCTIONALS
CHAPTER II THE HAHN-BANACH EXTENSION THEOREMS AND EXISTENCE OF LINEAR FUNCTIONALS In this chapter we deal with the problem of extending a linear functional on a subspace Y to a linear functional on the
More information+ = 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 informationMeasure 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 informationFunctional Analysis HW #3
Functional Analysis HW #3 Sangchul Lee October 26, 2015 1 Solutions Exercise 2.1. Let D = { f C([0, 1]) : f C([0, 1])} and define f d = f + f. Show that D is a Banach algebra and that the Gelfand transform
More information