(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.
|
|
- Erick Hall
- 5 years ago
- Views:
Transcription
1 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 Riemann and Lebesgue integrals and show that one can define an integral of a real valued function defined on very general sets σ-algebras and measurable sets. Definition 1.1. A collection M of subsets of a set is called a σ-algebra in if it has the following properties: 1) M. 2) if A M then \ A = A c M. 3) If A n M, n = 1, 2, 3... and A = A n, then A M. The pair (, M) is called a measurable space and the elements of M are called measurable sets. xamples: 1) The family of all subsets of is a σ-algebra. Proposition 1.1. If F is any collection of subsets of, then there exists the smallest σ-algebra M F in such that F M F. Proof. Let Ω be the family of all σ-algebras M in which contain F. The example above shows that this family is not empty. Let M F = M Ω M. Obviously, F M F. Now we just need to verify that M F is a σ-algebra. Since M for all M Ω, we deduce that M F. If A j M F, j = 1, 2,... it follows that If A j M, j = 1, 2,..., for all M Ω. Since each M is a σ-algebra, A n M, and thus If A j M F. Property 2 can be verified in the same way and we leave it as an exercise. Now consider the case where is a metric space (or more generally a topological space, if you know what that is). Let F consist of the family of all open subsets of. The family F is certainly not a σ-algebra, but the Proposition 1.1 states that there exists the smallest σ-algebra containing F. So we define Definition 1.2. Let be a metric (topological) space. The smallest σ-algebra that contains all open subsets of is called the Borel σ-algebra and will be denoted by B() measurable functions. Now we introduce the concept of a measurable function. Definition 1.3. Let (, M) be a measurable space and let Y be a metric (topological) space. A function f : Y is measurable if f 1 (U) is measurable for every open set U Y. xample 1.1. If is measurable, χ is measurable. Indeed, if U R is empty then one of the following possibilities hold. χ 1 (U) =, if 0 U, 1 U, χ 1 (U) =, if 0 U, and 1 U χ 1 (U) =, if 0 U, but 1 U χ 1 (U) = \ if 0 U, but 1 U. 1
2 2 In all cases χ 1 (U) is measurable. Notice that we did not really use that U is open. xample: If and Y are metric spaces and f : Y is constinuous, then f is Borel measurable. In fact, since for U open, f 1 (U) is open, it is Borel measurabe. Theorem 1.1. Let (, M) be a measure space, and let Y be a metric (topological)space. Let f : Y be a map. Then 1) If Ω = { Y : f 1 () M} then Ω is a σ-algebra in Y. 2) If f is measurable and Y is a Borel set, f 1 () M. 3) If f is measurable, Z is a metric space and g : Y Z a Borel mapping, and if h = g f, then h is measurable. 4) If Y = [, ] then f is measurable if and only if f 1 ((α, ]) M for all α R. Similarly, f is measurable if and only if f 1 ([, α)) M for all α R. Proof. To prove 1) first observe that f 1 (Y ) =, so Y Ω. Let A Ω and we want to show that Y \ A Ω. By definition of Ω, f 1 (A) M. Then f 1 (Y \ A) = f 1 (Y ) \ f 1 (A) = \ f 1 (A) M. Hence Y \ A Ω. Finally notice that f 1 (A 1 A 2 A 3...) = f 1 (A 1 ) f 1 (A 2 ) f 1 (A 3 )... So if A j Ω, j 1, 2,..., A 1 A 2... Ω. Item 2) is a consequence of item 1). To see that just observe that, since f is measurable, Ω contain all open subsets of Y. Since it is a σ-algebra, Ω must contain the Borel sets. Therefore if B(Y ) then Ω and therefore f 1 () M. To prove 3) notice that for any subset V Z, h 1 (V ) = f 1 (g 1 (V )). Let V be open. Since g is Borel measurable, then g 1 (V ) is a Borel set. By item 2) f 1 (g 1 (V )) M. This proves that h is measurable. Finally we prove 4). First notice that the open intervals of Y = [, ] are of the form [, α), (α, β), and (α, ]. So if f is measurable, then by definition f 1 ([, α) M for all α R. Since every open subset of Y is a countable union of disjoint intervals of these types, we just need to show that if f 1 ([, α) M for all α R, f 1 ((α, ]) and f 1 ((α, β)) M for all α, beta R. Notice that \ f 1 ([, α)) = f 1 ([α, ]) M. Since one can write f 1 ((α, ]) = f 1 ([α + 1/n, ]) M, andf 1 ((α, β)) = f 1 ((α, ]) f 1 ([, β)) M. it follows that f 1 ([, α) M, f 1 ((α, ]), and f 1 ((α, β)) M for all α, beta R. Therefore f is measurable. Item 4) will be very useful throughout this chapter lim sup and lim inf. Before proceeding, we would like to review two important concepts in the convergence of sequences.
3 3 Definition 1.4. Let {a n [, ], n N}. For each k N let b k = sup{a k, a k+1,...} c k = inf{a k, a k+1,...} Then b 1 b 2 b 3... c 1 c 2 c 3,,,, We define lim sup a n = inf{b 1, b 2,...} = lim b k k lim inf a n = sup{c 1, c 2,...} = lim c k. k Proposition 1.2. The lim sup a n and lim inf a n satisfy the following: lim sup a n = sup{β : there exists a subsequence a nj lim inf a n = inf{β : there exists a subsequence a nj of a n such that β = lim j a n j }. of a n such that β = lim j a n j }. Proof. First of all notice that a nj b nj and hence β = lim j a nj lim j b nj lim sup a n. Now we need to show that there exists a subsequence {a nj } of {a n } which converges to lim sup a n. Let A = {a n } be the closure of the set formed by the elements of the sequence {a n }. Then, by definition of closure b k A for k = 1, 2,... Hence, again by definition of closure, lim sup a n A. Therefore there exists a subsequence {a nj } of {a n } which converges to lim sup a n. The same proof works in the case of lim inf. Theorem 1.2. A sequence {a n } converges if and only if lim sup a n = lim inf a n. Proof. Suppose {a n } converges, and L = lim a n. Then the set {β : there exists a subsequence a nj of a n such that β = lim j a n j } = L. Hence lim sup a n = lim inf a n = L. Reciprocally, suppose that lim sup a n = lim inf a n = L. Then it is obvious that {a n } converges and its limit is equal to L. Definition 1.5. Let f n : [, ], n = 1, 2,... Then we define ( lim sup (sup f n )(x) = sup f n (x), n ) f n (x) = lim sup f n (x), and (inf f n)(x) = inf f n (x), n ( ) lim inf f n (x) = lim inf f n(x). The following is an important application of item 4) of Theorem 1.1. Theorem 1.3. If f n : [, ] is measurable for n = 1, 2,... then are measurable. g s = sup f n, n h s = lim sup f n g I = inf n f n, h I = lim inf f n
4 4 Proof. The main step in the proof is to observe that gs 1 ((α, ]) = g 1 I ([, α) = fn 1 ((α, ]), fn 1 ([, α)). The conclusion of the first part of the theorem follows from item 4) of Theorem 1.1. Indeed, if x gs 1 ((α, ]) then g s (x) > α. Therefore f n (x) > α for some n and hence, x f n 1 ((α, ]). If x f n 1 ((α, ]), then f n (x) > α for some n and hence, g s (x) > α. The proof of the measurability of g I is identical. To prove that h s and h I are measurable, one just has to use the definition of lim sup and lim inf and that g s and g I are measurable. Just recall that ( ) h s (x) = inf sup f i (x) k 1 i k and ( ) h I (x) = sup inf f i(x). k 1 i k We have just shown that g s,k = sup i k f i is measurable and that h s = inf k 1 g s,k is also measurable Simple functions. Definition 1.6. A function f : [0, ] is simple if its range consists of finitely many points {α 1,..., α N }. One can write f(x) = α j χ j, j = f 1 (α j ). Notice that = N. In view of xample 1.1, f is measurable if and only if j is measurable for j = 1, 2,..., N. Next we show that any function can be approximated by step functions. Theorem 1.4. Let f : [0, ] be measurable. There exist simple measurable functions s j : [0, ) such that 1) 0 s 1 s 2 s 3... f 2) lim s n(x) = f(x), x 3) If f is bounded then the convergence is uniform. Proof. For n = 1, 2,... and 1 i n2 n, let ([ )) i 1 n,i = f 1 2 n, i 2 n, F n = f 1 ([n, )) and s n = n2 n i 1 2 n χ n,i + nχ Fn. If f(x) <, then f(x) < n for some n and moreover f(x) [ i 1 2 n, i 2 n ), for some i with 1 i n2 n. In that case, (1.1) 0 f(x) s n (x) 1/2 n. If f is bounded, this shows that one can choose n such that (1.1) is satisfied for every x. If f(x) = then s n (x) = n and s n (x) f(x) as n.
5 measures. Definition 1.7. Let (, M) be a measurable space. A positive measure µ on M is a function µ : M [0, ] such that µ( ) = 0 and if A j M, j = 1, 2,..., are such that A j A k =, j k, then µ = µ(a j ), A j Theorem 1.5. Let (, M) be a measurable space and let µ be a positive measure on M. Then 1) If A j M, j = 1, 2,..., n are such that A j A k =, if j k, then µ(a 1 A 2... A n ) = µ(a 1 ) + µ(a 2 ) µ(a n ). 2) If A B then µ(a) µ(b). 3) If A j M, j = 1, 2,..., satisfies A 1 A 2 A 3... Let A = A j, then µ(a) = lim µ(a n ). 4) If A j M, j = 1, 2,... satisfy A 1 A 2 A 3... and µ(a 1 ) <. Let A = A j, then µ(a) = lim µ(a n ). Proof. Item 1) follows directly from the definition by just taking A n+j =, j = 1, 2,... To prove 2) just write B = A (B \ A). Then µ(b) = µ(a) + µ(b \ A). Since µ(b \ A) 0, the result follows. To prove 3) let B 1 = A 1 and B j = A j \ A j 1, j 2. Then B j M and B i B j = if i j. Now notice that A n = n B j and therefore A = B j. Hence µ(a n ) = n µ(b j ), and µ(a) = µ(b j ). Therefore µ(a) = lim µ(a n ). The proof of 4) is an application of 3). Let C j = A 1 \ A j. Then C 1 C 2 C 3... and A 1 \ A = C j. Since A j A 1, j = 2,..., µ(c j ) = µ(a 1 \ A j ) = µ(a 1 ) µ(a j ). Therefore from 3), µ(a 1 ) µ(a) = µ(a 1 \ A) = lim j µ(c j) = µ(a 1 ) lim j µ(a j). This proves 4) Integration. Throughout this section (, M) is a measurable space and µ is a positive measure on M. We consider the integration of positive functions, but keeping in mind that any function f can be written as f(x) = f + (s) f ( x), f + (x) = max{f(x), 0}, f (x) = min{f(x), 0}, where f ± are integrable, and in view of Theorem 1.3 they are also measurable. First we define the integral of a simple function.
6 6 Definition 1.8. Let s : [0, ] be a non-negative measurable simple function s(x) = α j χ j, α j 0. Let be a measurable set. Then s dµ def = α j µ( j ). The convention here is that if α j = 0 and µ( j ) =, α j µ( j ) = 0. The purpose of this convention is that the integral of the function zero, even if taken over a set of infinite measure, is equal to zero. We then define the integral of positive functions: Definition 1.9. Let f : [0, ] be a measurable non-negative function and let be a measurable set. Then f dµ def = sup s dµ, where the sup is taken over all measurable step functions which are less than or equal to f. Notice that if f is a simple function, the two definitions coincide. The following properties of the integral are immediate consequences of the definition: Proposition 1.3. The integral satisfies the following properties: 1) If f g, then f dµ g dµ, 2) If A B and f 0, then A f dµ B f dµ, 3) A cf dµ = c f dµ, for any constant c, A 4) If f)x) = 0 for all x, then f dµ = 0, even if µ() =, 5) If µ() = 0, then f dµ = 0 even if f(x) = 0 for all x, 6) If f 0, then f dµ = fχ dµ. The proof is left as an exercise. First we notice s f Theorem 1.6. Let f : [0, ] be measurable. If f dµ = 0 for some M, then µ{x : f(x) > 0} = 0. Theorem 1.7. Let f : [0, ] be measurable. If f dµ = 0, then µ{x : f(x) > 0} = 0. Proof. Notice that {x : f(x) > 0} = n, n = {x : f(x) > 1/n}, and that n µ( n) f dµ f dµ = 0. n Thus µ( n ) = 0. But µ({x : f(x) > 0}) = lim µ( n ) = 0. If this definition of integral is good, it must be linear. So we need to prove Theorem 1.8. Let f : [0, ], and g : [0, ] be measurable functions. Then (1.2) (f + g) dµ = f dµ + g dµ. This is not so easy to establish. First we prove it for simple functions:
7 7 Proposition 1.4. Let s and t be positive measurable simple functions on. Then ν() = s dµ is a measure (s + t) dµ = s dµ + t dµ. Proof. Let M s = α j χ Aj, t = β j χ Bj. Notice that it is implicit that = N A j and = M B j and that A i A j =, i j, B i B j =, i j. Let = m=1 m with m N =. Then A j = m A j, and µ( A j ) = µ( m A j ). Therefore ν() = m=1 α j µ(a j ) = α j m=1 k=1 µ(a j m ) = This proves the first claim. To prove the second claim, let Then ij = A i B j. m=1 m=1 ij (s + t) dµ = (α i + β j )µ( ij ). On the other hand it is easy to verify that s dµ + ij t dµ = (α i + β j )µ( ij ). ij α j µ(a j m ) = ν( m ). Since = i, ij and ij are pairwise disjoint sets, and s + t is a simple measurable function, it follows from the fisrt claim that (s + t) dµ = s dµ + t dµ. To use this result to prove Theorem 1.8 we need a convergence theorem Convergence Theorems. As in the previous section, (, M) is a measurable space and µ is a positive measure on M. We will prove three convergence theorems. The first and most important one is the monotone convergence theorem. The other two are applications of this theorem. Theorem 1.9. (The monotone convergence theorem) Let f n be a sequence of measurable functions on, and suppose that 1) 0 f 1 (x) f 2 (x) f 3 (x)... for every x 2) lim f n(x) = f(x), x. m=1
8 8 Then f is measurable and lim f n dµ = f dµ. Proof. Since f n dµ f n+1 dµ f dµ, the limit f n dµ = α lim f dµ. Let s be a measurable simple function 0 s f and let c (0, 1). For n N, let n = {x : f n (x) cs(x)} = (f n cs) 1 ([0, ]), n = 1, 2,... Then n is a msasurabel set. Since f n+1 f n, Finally we have = n. To verify this, let x. If f n (x) cs(x) < 0, then f(x) cs(x) 0, but this is absurd. f n (x) cs(x) 0, for some n and thus x n for some n. Therefore we have f n dµ f n dµ c s dµ, n = 1, 2,... n n Since by Proposition 1.4 ν() = is a measure on M, , and n =, it follows from item 3) of Theorem 1.5 that s dµ = lim s dµ. n Therefore we conclude that s dµ lim f n dµ = α c s dµ. for every simple measurable function s f and for every c (0, 1). Therefore α f dµ. This proves the theorem. Hence, To prove Theorem 1.8 we just need to recall Theorem 1.4. There exist sequences of simple functions s n and t n such that Then 0 s 1 s 2... f, lim n(x) = f(x), 0 t 1 t 2... f, lim n(x) = g(x). 0 s 1 + t 1 s 2 + t 2... f + g, lim s n(x) + t n (x) = f(x) + g(x).
9 9 By Proposition 1.4 (s n + t n ) dµ = s n dµ + t n dµ Then (1.2) follows from Theorem 1.9. The following are consequences of Theorem 1.8 and Theorem 1.9 is Corollary 1.1. Let f n : [0, ], n1, 2,... be measurable functions and let f(x) = f n (x), x. Then f dµ = f n dµ. Proof. Just apply Theorem 1.8 and Theorem 1.9 to the sequence F N (x) = N f n(x). Corollary 1.2. Let f : [0, ] be measurable, and let (1.3) ν() = f dµ, M. Then ν is a positive measure on M and g dν = gf dµ. Proof. Let = j, j k = if j k. One can write χ f = χ j f, where each term χ j f of the series is positive. Then by Corollary 1.1 ν() = f dµ = χ f dµ = χ j f dµ = ν( j ). This shows that ν is a measure. To prove the second part, notice that (1.2) holds for g = χ, for any M. Hence (1.2) holds for any measurable simple function. For an arbitrary measurable g, let s n, n N be a monotone sequence of simple functions that converge to g. Since f is positive, s n f is monotone and converges to fg. Hence the result follows from the monotone convergence theorem. Next we prove Fatou s lemma, which really is an application of the monotone convergence theorem Theorem (Fatou s lemma) Let f n : [0, ], n = 1, 2,... be measurable functions. Then (lim inf f n dµ lim inf f n dµ. Proof. Put g k (x) = inf{f k, f k+1,...}. Then g 1 g 2... and, by definition lim k g k (x) = lim inf f n (x). So Theorem 1.9 implies that lim g k dµ = lim g k dµ. k k
10 10 We do not know what lim k g k dµ is equal to. However, since g k f k, g k dµ f k dµ and we can estimate lim g k dµ lim inf g n dµ. k This proves the theorem The last of the three theorems is Theorem (The dominated convergence theorem) Let f n : [0, ], n = 1, 2,... be a sequence of measurable functions. Suppose that lim f n (x) = f(x) and that there exists a function g(x) such that f n (x) g(x), n = 1, 2,... and g dµ <. Then lim f n dµ = f dµ. Proof. Fatou s lemma applied to the sequence f n gives that lim inf f n dµ = f dµ lim inf f n dµ. On the other hand, Fatou s lemma applied to the sequence g n = g f n gives (1.4) lim inf (g f n) dµ lim inf (g f n ) dµ. But lim inf (g f n ) = g lim sup f n and lim inf (g f n) dµ = g dµ lim sup f n dµ. Therefore (1.5) lim sup f n dµ lim sup f n dµ = f dµ. Putting (1.4) and (1.5) together we deduce that This proves the theorem. f dµ lim inf f n dµ lim sup f n dµ 1.8. Integration of Complex Functions. In this section we study the integration of complex valued functions. There is nothing new here, but instead of leaving it all up to the students, I will say something about it. The first thing to notice is Proposition 1.5. A function f : C is measurable if and only if u = Rf : R and v = If : R are measurable. f dµ. Proof. Let R = (a, b) (c, d) be a rectangle with sides parallel to the axes. Then Let f 1 (R) = u 1 ((a, b)) v 1 ((c, d)). π R : C R π R (z) = Rz π I : C R π R (z) = Iz
11 11 Be the projections onto the real axis and the imaginary axis respectively. These projections are continuous functions. Notice that u = π R f, v = π I f Now let U R be an open subset. Then u 1 (U) = f 1 ( π 1 R (U)). Since π 1 R (U) is open, and f is measurable, u 1 (U) M. As mentioned before, one can write u = u + u, u + = max{u, 0}, and u = min{f, 0}. So if f is complex valued and measurable, we define ( ) ( ) f dµ = u + dµ u dµ + i v + dµ v dµ. Proposition 1.6. If f : C is measurable, then f = u + iv, then f = u 2 + v 2 is measurable. Proof. Let : C [0, ) z is the absolute value of z. This is a continuous function. So f 1 (U) = f ( 1 1 (U) ) is measurable, if f is measurable and U is open. It follows from Theorem 1.6 that if f, g : C are measurable and f g dµ = 0, M, then {x : f(x) g(x)} has measure zero. We say that this property holds almost everywhere. Let f : C be a measurable function. We define the relation f g if µ({x : f(x) g(x)}) = 0. It is very easy to see that is an equivalence relation and we denote the equivalence class of a function f by [f]. In view of Theorem 1.6 we define L 1 (, dµ) = {[f] : C : f dµ < } Notice that if f g then f g dµ = 0. We end this section with the following Theorem Let {f n } be a sequence of complex valued measurable functions defined almost everywhere on such that f n dµ <. Then the series f(x) = f n (x) converges almost everywhere on and f L 1 (, dµ), and f dµ = f n dµ.
12 12 Proof. Let S n be the domain of f n. By assumption µ( \ S n ) = 0. Let φ(x) = f n (x), x S = S n. Notice that \ S = ( \ S n). So µ( \ S) = 0. By Corollary 1.1 (1.6) φ dµ <. Let = {x : φ(x) < }. Then (1.6) implies that µ( \) = 0. Hence the series f n(x) converges absolutely on and f(x) φ(x) on. So f L 1 (, dµ). Now if g N = N f n, then g N φ. Since µ( \ ) = 0, the dominated convergence theorem implies that f dµ = f n dµ.
4 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 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 information3 Measurable Functions
3 Measurable Functions Notation A pair (X, F) where F is a σ-field of subsets of X is a measurable space. If µ is a measure on F then (X, F, µ) is a measure space. If µ(x) < then (X, F, µ) is a probability
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 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 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 informationMath 5051 Measure Theory and Functional Analysis I Homework Assignment 2
Math 551 Measure Theory and Functional nalysis I Homework ssignment 2 Prof. Wickerhauser Due Friday, September 25th, 215 Please do Exercises 1, 4*, 7, 9*, 11, 12, 13, 16, 21*, 26, 28, 31, 32, 33, 36, 37.
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationL p Spaces and Convexity
L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function
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 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 informationAnalysis of Probabilistic Systems
Analysis of Probabilistic Systems Bootcamp Lecture 2: Measure and Integration Prakash Panangaden 1 1 School of Computer Science McGill University Fall 2016, Simons Institute Panangaden (McGill) Analysis
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 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 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 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 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 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 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 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 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 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 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 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 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 information18.175: Lecture 3 Integration
18.175: Lecture 3 Scott Sheffield MIT Outline Outline Recall definitions Probability space is triple (Ω, F, P) where Ω is sample space, F is set of events (the σ-algebra) and P : F [0, 1] is the probability
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 informationAnalysis Comprehensive Exam Questions Fall 2008
Analysis Comprehensive xam Questions Fall 28. (a) Let R be measurable with finite Lebesgue measure. Suppose that {f n } n N is a bounded sequence in L 2 () and there exists a function f such that f n (x)
More 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 informationLEBESGUE MEASURE AND L2 SPACE. Contents 1. Measure Spaces 1 2. Lebesgue Integration 2 3. L 2 Space 4 Acknowledgments 9 References 9
LBSGU MASUR AND L2 SPAC. ANNI WANG Abstract. This paper begins with an introduction to measure spaces and the Lebesgue theory of measure and integration. Several important theorems regarding the Lebesgue
More informationMEASURE AND INTEGRATION. Dietmar A. Salamon ETH Zürich
MEASURE AND INTEGRATION Dietmar A. Salamon ETH Zürich 9 September 2016 ii Preface This book is based on notes for the lecture course Measure and Integration held at ETH Zürich in the spring semester 2014.
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 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 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 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 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 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 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 informationNotions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy
Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.
More information212a1214Daniell s integration theory.
212a1214 Daniell s integration theory. October 30, 2014 Daniell s idea was to take the axiomatic properties of the integral as the starting point and develop integration for broader and broader classes
More informationREVIEW OF ESSENTIAL MATH 346 TOPICS
REVIEW OF ESSENTIAL MATH 346 TOPICS 1. AXIOMATIC STRUCTURE OF R Doğan Çömez The real number system is a complete ordered field, i.e., it is a set R which is endowed with addition and multiplication operations
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 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 informationThe Kolmogorov extension theorem
The Kolmogorov extension theorem Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June 21, 2014 1 σ-algebras and semirings If X is a nonempty set, an algebra of sets on
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 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 informationReminder Notes for the Course on Measures on Topological Spaces
Reminder Notes for the Course on Measures on Topological Spaces T. C. Dorlas Dublin Institute for Advanced Studies School of Theoretical Physics 10 Burlington Road, Dublin 4, Ireland. Email: dorlas@stp.dias.ie
More 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 information( f ^ M _ M 0 )dµ (5.1)
47 5. LEBESGUE INTEGRAL: GENERAL CASE Although the Lebesgue integral defined in the previous chapter is in many ways much better behaved than the Riemann integral, it shares its restriction to bounded
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 informationMath 5051 Measure Theory and Functional Analysis I Homework Assignment 3
Math 551 Measure Theory and Functional Analysis I Homework Assignment 3 Prof. Wickerhauser Due Monday, October 12th, 215 Please do Exercises 3*, 4, 5, 6, 8*, 11*, 17, 2, 21, 22, 27*. Exercises marked with
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 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 informationNotes on the Lebesgue Integral by Francis J. Narcowich Septemmber, 2014
1 Introduction Notes on the Lebesgue Integral by Francis J. Narcowich Septemmber, 2014 In the definition of the Riemann integral of a function f(x), the x-axis is partitioned and the integral is defined
More informationA VERY BRIEF REVIEW OF MEASURE THEORY
A VERY BRIEF REVIEW OF MEASURE THEORY A brief philosophical discussion. Measure theory, as much as any branch of mathematics, is an area where it is important to be acquainted with the basic notions and
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 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 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 information1 Measurable Functions
36-752 Advanced Probability Overview Spring 2018 2. Measurable Functions, Random Variables, and Integration Instructor: Alessandro Rinaldo Associated reading: Sec 1.5 of Ash and Doléans-Dade; Sec 1.3 and
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 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 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 informationErgodic Theory and Topological Groups
Ergodic Theory and Topological Groups Christopher White November 15, 2012 Throughout this talk (G, B, µ) will denote a measure space. We call the space a probability space if µ(g) = 1. We will also assume
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 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 informationA PRIMER OF LEBESGUE INTEGRATION WITH A VIEW TO THE LEBESGUE-RADON-NIKODYM THEOREM
A PRIMR OF LBSGU INTGRATION WITH A VIW TO TH LBSGU-RADON-NIKODYM THORM MISHL SKNDRI Abstract. In this paper, we begin by introducing some fundamental concepts and results in measure theory and in the Lebesgue
More informationMethods of Applied Mathematics
Methods of Applied Mathematics Todd Arbogast and Jerry L. Bona Department of Mathematics, and Institute for Computational Engineering and Sciences The University of Texas at Austin Copyright 1999 2001,
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 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 informationL p Functions. Given a measure space (X, µ) and a real number p [1, ), recall that the L p -norm of a measurable function f : X R is defined by
L p Functions Given a measure space (, µ) and a real number p [, ), recall that the L p -norm of a measurable function f : R is defined by f p = ( ) /p f p dµ Note that the L p -norm of a function f may
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 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 informationIntegral Jensen inequality
Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a
More informationA List of Problems in Real Analysis
A List of Problems in Real Analysis W.Yessen & T.Ma December 3, 218 This document was first created by Will Yessen, who was a graduate student at UCI. Timmy Ma, who was also a graduate student at UCI,
More informationRiesz Representation Theorems
Chapter 6 Riesz Representation Theorems 6.1 Dual Spaces Definition 6.1.1. Let V and W be vector spaces over R. We let L(V, W ) = {T : V W T is linear}. The space L(V, R) is denoted by V and elements of
More informationExamples of Dual Spaces from Measure Theory
Chapter 9 Examples of Dual Spaces from Measure Theory We have seen that L (, A, µ) is a Banach space for any measure space (, A, µ). We will extend that concept in the following section to identify an
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 information