Chapter 6. Integration. 1. Integrals of Nonnegative Functions. a j µ(e j ) (ca j )µ(e j ) = c X. and ψ =
|
|
- Megan Francis
- 5 years ago
- Views:
Transcription
1 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 f() = {a 1,..., a m }. Then φ has the standard representation φ = m a jχ Ej, where E j := f 1 ({a j }), j = 1,..., m. We define the integral of φ with respect to µ to be φ dµ := a j µ(e j ). For c 0, we have cφ = m (ca j)χ Ej. It follows that cφ dµ = (ca j )µ(e j ) = c φ dµ. Suppose that φ = m a jχ Ej, where a j 0 for j = 1,..., m and E 1,..., E m are mutually disjoint measurable sets such that m E j =. Suppose that ψ = n b kχ Fk, where b k 0 for k = 1,..., n and F 1,..., F n are mutually disjoint measurable sets such that n F k =. Then we have φ = a j χ Ej F k and ψ = If φ ψ, then a j b k, provided E j F k. Consequently, a j µ(e j ) = In particular, if φ = ψ, then In general, if φ ψ, then a j µ(e j F k ) φ dµ = a j µ(e j ) = a j µ(e j ) 1 b k χ Fk E j. b k µ(e j F k ) = b k µ(f k ). b k µ(f k ) = ψ dµ. b k µ(f k ).
2 Furthermore, (φ + ψ) dµ = (a j + b k )µ(e j F k ) = φ dµ + ψ dµ. Suppose φ is a simple function in L + and m a jχ Ej is its standard representation. If S, then φχ = m a jχ Ej. We define φ dµ := φχ dµ = a j µ(e j ). The set function ν from S to [0, ] given by ν() := φ dµ is a measure. Indeed, ν( ) = 0. To prove σ-additivity of ν, we let ( k ),2,... be a sequence of mutually disjoint measurable sets and := k. Then we have ν() = = φ dµ = a j µ(e j ) = a j µ(e j k ) = a j µ(e j k ) k φ dµ = ν( k ). The Lebesgue integral of a function f L + is defined to be { } f dµ = sup φ dµ : 0 φ f, φ simple. When f is a simple function, this definition agrees with the previous one. If f, g L + and f g, then it follows from the definition that f dµ g dµ. If f L+ and S, we define f dµ := (fχ ) dµ. Since fχ f, we have f dµ f dµ. Theorem 1.1. (The Monotone Convergence Theorem) Let (f n ),2,... be an increasing sequence of functions in L +. If f = lim f n, then f dµ = lim f n dµ. Proof. Since each f n is measurable and f = lim f n, the function f is measurable. Moreover, f n f n+1 f for every n IN. Hence, f n dµ f n+1 dµ 2 f dµ n IN.
3 Thus, there exists an element α [0, ] such that α = lim f n dµ f dµ. Let φ be any simple function on (, S) such that 0 φ f. Fix c (0, 1) for the time being and define E n := {x : f n (x) cφ(x)}, n IN. Each E n is measurable. For n IN, we have f n dµ f n dµ E n (cφ) dµ = c E n φ dµ. E n But E n E n+1 for n IN and = E n. Hence, lim E n φ dµ = φ dµ. It follows that α = lim f n dµ lim c φ dµ = c φ dµ. E n Thus, α c φ dµ for every c (0, 1). Consequently, α φ dµ for every simple function satisfying 0 φ f. Therefore, α f dµ and This completes the proof. f dµ α = lim f n dµ f dµ. The monotone convergence theorem is still valid if the conditions f n (x) f n+1 (x) for all n IN and lim f n (x) = f(x) hold for almost every x. Indeed, under the stated conditions, there exists a null set N such that for every x \ N, f n (x) f n+1 (x) and lim f n (x) = f(x). Note that N g dµ = 0 for all g L+. With E := \ N we have f dµ = fχ E dµ = lim f n χ E dµ = lim f n dµ. The hypothesis that the sequence (f n ),2,... be increasing almost everywhere is essential for the monotone convergence theorem. For example, let µ be the Lebesgue measure on = IR, and let f n := χ (n,n+1) for n IN. Then (f n ),2,... converges to 0 pointwise, but IR f n dµ = 1 for every n IN. 3
4 Theorem 1.2. Let f, g L + and c 0. Then (cf) dµ = c f dµ and (f + g) dµ = f dµ + g dµ. Proof. For f, g L +, we can find increasing sequences (f n ),2,... and (g n ),2,... of simple functions in L + such that f = lim f n and g = lim g n. By the monotone convergence theorem we have and (f +g) dµ = lim (cf) dµ = lim (cf n ) dµ = lim c f n dµ = c f dµ (f n +g n ) dµ = lim f n dµ+ lim g n dµ = f dµ+ g dµ. Theorem 1.3. If (f k ),2,... is a sequence of functions in L + and f = f k, then f dµ = f k dµ. Proof. For n IN, let g n := n f k. Then (g n ),2,... is an increasing sequence of functions in L + such that lim g n = f. By the monotone convergence theorem we have f dµ = lim g n dµ = lim g k dµ = f n dµ. Theorem 1.4. Let f be a function in L +, and let ν be the function from S to [0, ] given by ν() := f dµ, S. Then ν is a measure on S. Proof. Clearly, ν( ) = 0. Suppose that (E n ),2,... is a sequence of disjoint sets in S and E = E n. Then we have fχ E = fχ E n. By Theorem 1.3 we obtain E f dµ = This proves that ν is σ-additive. fχ E dµ = fχ En dµ = Theorem 1.5. Let (f n ),2,... be a sequence in L +. Then lim inf f n dµ lim inf f n dµ. 4 E n f dµ.
5 Proof. Let f := lim inf f n and g k := inf n k f n for k IN. Then (g k ),2,... is an increasing sequence and lim k g k = f. By the monotone convergence theorem, we have f dµ = lim g k dµ. k For fixed k, g k f n for all n k; hence, g k dµ f n dµ for all n k. It follows that We conclude that f dµ = lim k g k dµ inf f n dµ. n k The above theorem is often called Fatou s lemma. g k dµ lim inf f n dµ = lim inf f n dµ. k n k 2. Integrable Functions Let (, S, µ) be a measure space. measurable function f from to IR is said to be integrable over a set E S if both E f + dµ and E f dµ are finite. In this case, we define E f dµ := Clearly, f is integrable if and only if f is. E f + dµ E f dµ. Theorem 2.1. Let f be an integrable function on a measure space (, S, µ). Then f is finite almost everywhere. Moreover, if f dµ = 0, then f = 0 almost everywhere. Proof. In order to prove the theorem, it suffices to consider the case f 0. For n IN, let E n := {x : f(x) n}. For E := E n we have f dµ f dµ nµ(e n ) nµ(e). E n It follows that µ(e) f dµ/n for all n IN. Since 0 f dµ <, we conclude that µ(e) = 0. If x \ E, then x / E n for some n IN, that is, f(x) < n. This shows that f(x) < for all x \ E. In other words, f is finite almost everywhere. For the second statement, let K n := {x : f(x) 1/n} for n IN, and let K := K n. Then we have K = {x : f(x) > 0} and 0 = f dµ f dµ µ(k n )/n. K n 5
6 It follows that µ(k n ) = 0 for all n IN. Hence, µ(k) = lim µ(k n ) = 0. Thus, f = 0 almost everywhere. Theorem 2.2. Let f and g be integrable functions on a measure space (, S, µ). Then the following statements are true. (1) For each c IR, cf is integrable and (cf) dµ = c f dµ. (2) The function f + g is integrable, and (f + g) dµ = f dµ + g dµ. (3) If f g almost everywhere, then f dµ g dµ. (4) If = n, where n (n IN) are mutually disjoint sets in S, then f dµ = n f dµ. Proof. (1) If c 0, then (cf) + = cf + and (cf) = cf. If c < 0, then (cf) + = cf and (cf) = cf +. In both cases, cf is integrable and (cf) dµ = c f dµ. (2) Since f + g f + g, f + g is integrable. Moreover, by Theorem 2.1, both f and g are finite almost everywhere. Hence, there exists a null set E such that both f(x) and g(x) are finite for all x \ E. Let h(x) := f(x) + g(x) for x \ E and h(x) := 0 for x E. On \ E we have h + h = f + f + g + g. It follows that h + + f + g = h + f + + g +. Hence, h + dµ + f dµ + g dµ = Consequently, (f + g) dµ = f dµ + g dµ. h dµ + f + dµ + g + dµ. (3) Let h := g f. Then h 0 almost everywhere. Hence, h dµ 0. It follows that f dµ g dµ. (4) By Theorem 1.4 we have f dµ = f + dµ f dµ = n f + dµ n f dµ. Since f = f + + f is integrable, we have ( n f + dµ + n f dµ ) <. Consequently, n f + dµ n f dµ = This completes the proof of the theorem. ( ) f + dµ f dµ = n n 6 n f dµ.
7 Theorem 2.3. (The Lebesgue Dominated Convergence Theorem) Let (f n ),2,... be a sequence of integrable functions such that the sequence converges to f a.e. and there exists a nonnegative integrable function g such that f n g a.e. for all n IN. Then f n dµ = f dµ. lim Proof. The functions g f n (n IN) are nonnegative, and so by Fatou s lemma, (g f) dµ lim inf (f g n ) dµ. Since f g, f is integrable, and we have g dµ f dµ It follows that g dµ lim sup f n dµ. f dµ lim sup f n dµ. Similarly, by considering g + f n for n IN, we get f dµ lim inf This establishes the desired result. f n dµ. 3. The Riemann and Lebesgue Integrals We start by reviewing the definition of the Riemann integral. Suppose that a, b IR and a < b. Let f be a bounded function from the interval [a, b] to IR. collection of points P = {x 0, x 1,..., x n } is called a partition of [a, b] if a = x 0 < x 1 < < x n = b. The norm of the partition is defined to be P := max{x i x i 1 : 1 i n}. For i = 1,..., n, let m i := inf{f(x) : x [x i 1, x i ]} and M i := sup{f(x) : x [x i 1, x i ]}. Then the lower sum S (f, P ) of f corresponding to the partition P is defined by S (f, P ) = m i (x i x i 1 ), i=1 7
8 and similarly, the upper sum S (f, P ) of f by S (f, P ) = M i (x i x i 1 ). i=1 Clearly, S (f, P ) S (f, P ) holds for every partition P of [a, b]. Let P and Q be two partitions of [a, b]. We say that P is finer than Q if Q P. If this is the case, then S (f, Q) S (f, P ) and S (f, P ) S (f, Q). To establish the inequalities, it suffices to assume that P has only one more point than Q. Suppose that Q = {x 0, x 1,..., x n } and P = Q {t}. Then x k 1 < t < x k for some k, 1 k n. Set s 1 := inf{f(x) : x k 1 x t} and s 2 := inf{f(x) : t x x k }. Observe that m k s 1 and m k s 2. Therefore, S (f, Q) = i=1 m i (x i x i 1 ) = i k m i (x i x i 1 ) + m k (x k x k 1 ) i k m i (x i x i 1 ) + s 1 (t x k 1 ) + s 2 (x k t) = S (f, P ). The proof for S (f, P ) S (f, Q) is similar. Consequently, for two arbitrary partitions P and Q of [a, b] we have S (f, P ) S (f, Q). Indeed, S (f, P ) S (f, P Q) S (f, P Q) S (f, Q). The lower Riemann integral of f is defined by I (f) := sup{s (f, P ) : P is a partition of [a, b]}, and the upper Riemann integral of f is defined by I (f) := inf{s (f, P ) : P is a partition of [a, b]}. Clearly, I (f) I (f). bounded function f : [a, b] IR is called Riemann integrable if I (f) = I (f). In this case, the common value is called the Riemann integral of f and is denoted by b a f(x) dx. 8
9 Lebesgue measurable function from [a, b] to IR is said to be Lebesgue integrable if f is integrable with respect to the Lebesgue measure λ on [a, b]. In this case, the Lebesgue integral is denoted by f dλ. Theorem 3.1. If f : [a, b] IR is a bounded Riemann integrable function, then f is Lebesgue integrable and b a f(x) dx = f dλ. Proof. Let I := b f(x) dx. Since f is Riemann integrable, for each k IN there exists a a partition Q k of [a, b] such that I 1/k S (f, Q k ) S (f, Q k ) I + 1/k. Let P k := Q 1 Q k. Then P k P k+1 for k IN and I 1/k S (f, Q k ) S (f, P k ) S (f, P k ) S (f, Q k ) I + 1/k. It follows that lim k (S (f, P k ) S (f, P k )) = 0. Suppose P k = {x k,j : 0 j n k }. Let m k,j := inf{f(x) : x k,j 1 x x k,j } and M k,j := sup{f(x) : x k,j 1 x x k,j } for 1 k n k. Define n k n k l k := m k,j χ [xk,j 1,x k,j ) and u k := M k,j χ [xk,j 1,x k,j ). Then (l k ),2,... is an increasing sequence of bounded measurable functions on [a, b], and (u k ),2,... is a decreasing sequence of bounded measurable functions on [a, b]. Moreover, l k dλ = S (f, P k ) and u k dλ = S (f, P k ). Let l and u be the functions defined by l(x) := lim k l k (x) and u(x) := lim k u k (x), x [a, b]. Then l and u are Lebesgue measurable. Furthermore, since l k f u k a.e. for every k IN, we have l f u a.e. By the monotone convergence theorem, we obtain (u l) dλ = lim (u k l k ) dλ = lim k k (S (f, P k ) S (f, P k )) = 0. Consequently, u l = 0 almost everywhere, by Theorem 2.1. It follows that f = u a.e. This shows that f is Lebesgue measurable. Finally, invoking the monotone convergence theorem once more, we arrive at the desired conclusion: f dλ = lim u k dλ = lim k k S (f, P k ) = 9 b a f(x) dx.
10 Theorem 3.2. bounded function f : [a, b] IR is Riemann integrable if and only if there exists a subset N of [a, b] such that λ(n) = 0 and f is continuous at every point x [a, b] \ N. Proof. Suppose that f is a bounded Riemann integrable function on [a, b]. There exists a sequence (P k ),2,... of partitions of [a, b] such that P k P k+1 for every k IN and lim k (S (f, P k ) S (f, P k )) = 0. Let u k and v k (k IN) be as in the proof of Theorem 3.1. Set E := P k. Then λ(e) = 0. Moreover, there exists a subset K of [a, b] such that λ(k) = 0 and lim (u k (x) l k (x)) = 0 for every x [a, b] \ K. Let N := E K. Then λ(n) = 0. We claim that f is continuous at every point x [a, b] \ N. Let x be a point in [a, b] \ N. For any ε > 0, there exists some k IN such that u k (x) l k (x) < ε. Since x [a, b] \ P k, there exists an open interval (α, β) such that x (α, β) [a, b] \ P k. For y (α, β) we have l k (y) = l k (x) and u k (y) = u k (x). Hence, l k (x) f(x) u k (x) and l k (x) = l k (y) f(y) u k (y) = u k (x). Consequently, f(y) f(x) u k (x) l k (x) < ε for y (α, β). This shows that f is continuous at every point x [a, b] \ N. Now suppose that f is a bounded function on [a, b], N [a, b] with λ(n) = 0, and f is continuous at each point in [a, b] \ N. Let (P k ),2,... be a sequence of partitions of [a, b] such that lim k P k = 0. For k IN, let u k and v k be defined as in the proof of Theorem 3.1. Suppose x [a, b] \ N. For any ε > 0, since f is continuous at x, there exists some δ > 0 such that f(y) f(x) < ε whenever y [a, b] and y x < δ. There exists k 0 IN such that P k < δ/2 for all k k 0. Thus, u k (x) l k (x) sup{ f(y) f(x) : y x < δ } < ε whenever k > k 0. Hence, for every point x [a, b] \ N, ( lim uk (x) v k (x) ) = 0. k By the Lebesgue dominated convergence theorem, ( lim S (f, P k ) S (f, P k ) ) = lim (u k l k ) dλ = 0. k k This shows that f is Riemann integrable. 10
2 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 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. 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 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 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 informationSection Integration of Nonnegative Measurable Functions
18.2. Integration of Nonnegative Measurable Functions 1 Section 18.2. Integration of Nonnegative Measurable Functions Note. We now define integrals of measurable functions on measure spaces. Though similar
More 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 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 information6.2 Fubini s Theorem. (µ ν)(c) = f C (x) dµ(x). (6.2) Proof. Note that (X Y, A B, µ ν) must be σ-finite as well, so that.
6.2 Fubini s Theorem Theorem 6.2.1. (Fubini s theorem - first form) Let (, A, µ) and (, B, ν) be complete σ-finite measure spaces. Let C = A B. Then for each µ ν- measurable set C C the section x C is
More 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 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 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 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 informationLebesgue Integration on R n
Lebesgue Integration on R n The treatment here is based loosely on that of Jones, Lebesgue Integration on Euclidean Space We give an overview from the perspective of a user of the theory Riemann integration
More 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 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 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 information+ 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1
Appendix To understand weak derivatives and distributional derivatives in the simplest context of functions of a single variable, we describe without proof some results from real analysis (see [7] and
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 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 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 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 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 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 informationIt follows from the above inequalities that for c C 1
3 Spaces L p 1. In this part we fix a measure space (, A, µ) (we may assume that µ is complete), and consider the A -measurable functions on it. 2. For f L 1 (, µ) set f 1 = f L 1 = f L 1 (,µ) = f dµ.
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 informationReal Analysis, 2nd Edition, G.B.Folland Signed Measures and Differentiation
Real Analysis, 2nd dition, G.B.Folland Chapter 3 Signed Measures and Differentiation Yung-Hsiang Huang 3. Signed Measures. Proof. The first part is proved by using addivitiy and consider F j = j j, 0 =.
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 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 informationANALYSIS QUALIFYING EXAM FALL 2016: SOLUTIONS. = lim. F n
ANALYSIS QUALIFYING EXAM FALL 206: SOLUTIONS Problem. Let m be Lebesgue measure on R. For a subset E R and r (0, ), define E r = { x R: dist(x, E) < r}. Let E R be compact. Prove that m(e) = lim m(e /n).
More informationMeasure and Integration: Solutions of CW2
Measure and Integration: s of CW2 Fall 206 [G. Holzegel] December 9, 206 Problem of Sheet 5 a) Left (f n ) and (g n ) be sequences of integrable functions with f n (x) f (x) and g n (x) g (x) for almost
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 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 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 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 informationReal Analysis Problems
Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.
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 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 informationIt follows from the above inequalities that for c C 1
3 Spaces L p 1. Appearance of normed spaces. In this part we fix a measure space (, A, µ) (we may assume that µ is complete), and consider the A - measurable functions on it. 2. For f L 1 (, µ) set f 1
More informationREAL ANALYSIS I HOMEWORK 4
REAL ANALYSIS I HOMEWORK 4 CİHAN BAHRAN The questions are from Stein and Shakarchi s text, Chapter 2.. Given a collection of sets E, E 2,..., E n, construct another collection E, E 2,..., E N, with N =
More informationconvergence theorem in abstract set up. Our proof produces a positive integrable function required unlike other known
https://sites.google.com/site/anilpedgaonkar/ profanilp@gmail.com 218 Chapter 5 Convergence and Integration In this chapter we obtain convergence theorems. Convergence theorems will apply to various types
More informationh(x) lim H(x) = lim Since h is nondecreasing then h(x) 0 for all x, and if h is discontinuous at a point x then H(x) > 0. Denote
Real Variables, Fall 4 Problem set 4 Solution suggestions Exercise. Let f be of bounded variation on [a, b]. Show that for each c (a, b), lim x c f(x) and lim x c f(x) exist. Prove that a monotone function
More informationReal Analysis Chapter 3 Solutions Jonathan Conder. ν(f n ) = lim
. Suppose ( n ) n is an increasing sequence in M. For each n N define F n : n \ n (with 0 : ). Clearly ν( n n ) ν( nf n ) ν(f n ) lim n If ( n ) n is a decreasing sequence in M and ν( )
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More informationNotes on the Lebesgue Integral by Francis J. Narcowich November, 2013
Notes on the Lebesgue Integral by Francis J. Narcowich November, 203 Introduction In the definition of the Riemann integral of a function f(x), the x-axis is partitioned and the integral is defined in
More 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 informationA note on some approximation theorems in measure theory
A note on some approximation theorems in measure theory S. Kesavan and M. T. Nair Department of Mathematics, Indian Institute of Technology, Madras, Chennai - 600 06 email: kesh@iitm.ac.in and mtnair@iitm.ac.in
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 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 informationvan Rooij, Schikhof: A Second Course on Real Functions
vanrooijschikhof.tex April 25, 2018 van Rooij, Schikhof: A Second Course on Real Functions Notes from [vrs]. Introduction A monotone function is Riemann integrable. A continuous function is Riemann integrable.
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 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 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 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 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 informationAnalysis Finite and Infinite Sets The Real Numbers The Cantor Set
Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered
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 informationfor all x,y [a,b]. The Lipschitz constant of f is the infimum of constants C with this property.
viii 3.A. FUNCTIONS 77 Appendix In this appendix, we describe without proof some results from real analysis which help to understand weak and distributional derivatives in the simplest context of functions
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 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 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 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 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 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 informationEntrance Exam, Real Analysis September 1, 2017 Solve exactly 6 out of the 8 problems
September, 27 Solve exactly 6 out of the 8 problems. Prove by denition (in ɛ δ language) that f(x) = + x 2 is uniformly continuous in (, ). Is f(x) uniformly continuous in (, )? Prove your conclusion.
More information3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first
Math 632/6321: Theory of Functions of a Real Variable Sample Preinary Exam Questions 1. Let (, M, µ) be a measure space. (a) Prove that if µ() < and if 1 p < q
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 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 informationMATH 650. THE RADON-NIKODYM THEOREM
MATH 650. THE RADON-NIKODYM THEOREM This note presents two important theorems in Measure Theory, the Lebesgue Decomposition and Radon-Nikodym Theorem. They are not treated in the textbook. 1. Closed subspaces
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 informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More 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 informationAustin Mohr Math 704 Homework 6
Austin Mohr Math 704 Homework 6 Problem 1 Integrability of f on R does not necessarily imply the convergence of f(x) to 0 as x. a. There exists a positive continuous function f on R so that f is integrable
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 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 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 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 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 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 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 informationDisintegration into conditional measures: Rokhlin s theorem
Disintegration into conditional measures: Rokhlin s theorem Let Z be a compact metric space, µ be a Borel probability measure on Z, and P be a partition of Z into measurable subsets. Let π : Z P be the
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 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 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 informationPreparatory Material for the European Intensive Program in Bydgoszcz 2011 Analytical and computer assisted methods in mathematical models
Preparatory Material for the European Intensive Program in Bydgoszcz 2011 Analytical and computer assisted methods in mathematical models September 4{18 Basics on the Lebesgue integral and the divergence
More informationANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.
ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n
More informationi. v = 0 if and only if v 0. iii. v + w v + w. (This is the Triangle Inequality.)
Definition 5.5.1. A (real) normed vector space is a real vector space V, equipped with a function called a norm, denoted by, provided that for all v and w in V and for all α R the real number v 0, and
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 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 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 informationSOME PROBLEMS IN REAL ANALYSIS.
SOME PROBLEMS IN REAL ANALYSIS. Prepared by SULEYMAN ULUSOY PROBLEM 1. (1 points) Suppose f n : X [, ] is measurable for n = 1, 2, 3,...; f 1 f 2 f 3... ; f n (x) f(x) as n, for every x X. a)give a counterexample
More informationLebesgue s Differentiation Theorem via Maximal Functions
Lebesgue s Differentiation Theorem via Maximal Functions Parth Soneji LMU München Hütteseminar, December 2013 Parth Soneji Lebesgue s Differentiation Theorem via Maximal Functions 1/12 Philosophy behind
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 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 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 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 informationChapter IV Integration Theory
Chapter IV Integration Theory This chapter is devoted to the developement of integration theory. The main motivation is to extend the Riemann integral calculus to larger types of functions, thus leading
More 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 informationTHE RIEMANN INTEGRAL USING ORDERED OPEN COVERINGS
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS THE RIEMANN INTEGRAL USING ORDERED OPEN COVERINGS ZHAO DONGSHENG AND LEE PENG YEE ABSTRACT. We define the Riemann integral for bounded functions defined on a general
More information