MATH5011 Real Analysis I. Exercise 1 Suggested Solution

Similar documents
Chapter 4. Measure Theory. 1. Measure Spaces

Integration on Measure Spaces

Real Analysis Chapter 1 Solutions Jonathan Conder

Lebesgue Measure. Dung Le 1

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

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

Measure and integration

1 Definition of the Riemann integral

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

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

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

The Caratheodory Construction of Measures

MATH 131A: REAL ANALYSIS (BIG IDEAS)

ABSTRACT INTEGRATION CHAPTER ONE

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

FUNDAMENTALS OF REAL ANALYSIS by. II.1. Prelude. Recall that the Riemann integral of a real-valued function f on an interval [a, b] is defined as

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

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

1.4 Outer measures 10 CHAPTER 1. MEASURE

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

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

converges as well if x < 1. 1 x n x n 1 1 = 2 a nx n

THEOREMS, ETC., FOR MATH 515

MATH 202B - Problem Set 5

Differentiation of Measures and Functions

Lebesgue measure and integration

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

Solutions Final Exam May. 14, 2014

Measurable functions are approximately nice, even if look terrible.

+ 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1

REVIEW OF ESSENTIAL MATH 346 TOPICS

5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.

Chapter 5. Measurable Functions

(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.

G1CMIN Measure and Integration

STAT 7032 Probability Spring Wlodek Bryc

A LITTLE REAL ANALYSIS AND TOPOLOGY

2 Lebesgue integration

Functional Analysis HW #3

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

Chapter 6. Integration. 1. Integrals of Nonnegative Functions. a j µ(e j ) (ca j )µ(e j ) = c X. and ψ =

The small ball property in Banach spaces (quantitative results)

Iowa State University. Instructor: Alex Roitershtein Summer Homework #5. Solutions

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University

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

2 Construction & Extension of Measures

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

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

NAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key

Spring 2014 Advanced Probability Overview. Lecture Notes Set 1: Course Overview, σ-fields, and Measures

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

Measures and Measure Spaces

M17 MAT25-21 HOMEWORK 6

Measure on the Real Line

REAL AND COMPLEX ANALYSIS

4th Preparation Sheet - Solutions

Elementary Analysis Math 140D Fall 2007

Chapter 10. Multivariable integral Riemann integral over rectangles Rectangles and partitions

The Lebesgue Integral

Compendium and Solutions to exercises TMA4225 Foundation of analysis

Final. due May 8, 2012

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Solutions to Tutorial 8 (Week 9)

Problem Set 2: Solutions Math 201A: Fall 2016

Math 328 Course Notes

Math 5051 Measure Theory and Functional Analysis I Homework Assignment 3

Contents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3

Math 421, Homework #9 Solutions

MATH & MATH FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING Scientia Imperii Decus et Tutamen 1

van Rooij, Schikhof: A Second Course on Real Functions

INTRODUCTION TO MEASURE THEORY AND LEBESGUE INTEGRATION

Measure Theory & Integration

Real Analysis Chapter 4 Solutions Jonathan Conder

MATHS 730 FC Lecture Notes March 5, Introduction

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

U e = E (U\E) e E e + U\E e. (1.6)

Maths 212: Homework Solutions

Real Variables: Solutions to Homework 3

Analysis Part 1. 1 Chapter Q1(q) 1.2 Q1(r) Book: Measure and Integral by Wheeden and Zygmund

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

Logical Connectives and Quantifiers

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

REAL VARIABLES: PROBLEM SET 1. = x limsup E k

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

APPROXIMATING BOCHNER INTEGRALS BY RIEMANN SUMS

CHAPTER I THE RIESZ REPRESENTATION THEOREM

for all x,y [a,b]. The Lipschitz constant of f is the infimum of constants C with this property.

Summary of Real Analysis by Royden

NOTES ON VECTOR-VALUED INTEGRATION MATH 581, SPRING 2017

1.1. MEASURES AND INTEGRALS

arxiv: v1 [math.fa] 14 Jul 2018

Construction of a general measure structure

Real Analysis Notes. Thomas Goller

Solutions Final Exam May. 14, 2014

convergence theorem in abstract set up. Our proof produces a positive integrable function required unlike other known

Section 2: Classes of Sets

Lebesgue Measure on R n

h(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

Dynamical Systems 2, MA 761

Transcription:

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: First show that every point x in this open set is contained in a largest open interval I x. Next, for any x, y, I x and I y either coincide and disjoint. Finally, argue there are at most countably many such intervals. Solution: Let V be open in R. Fix x V, at least one open interval I, x I, I V. Let I α = (a α, b α ), α A, be all intervals with this property. Let I x = (a x, b x ), a x = inf α a α, b x = sup b α. α satisfy x I x, I x V. It is obvious that I x I y φ I x = I y. So V = x V I x. As you can pick a rational number in each I x and Q is countable, V = I xj. x j V (2) Let Ψ : R R R be continuous. Show that Ψ(f, g) are measurable for any measurable functions f, g. This result contains Proposition 1.3 as a special case. 1

Solution: Note that every open set G R 2 can be written as a countable union of set of the form V 1 V 2 where V 1, V 2 open in R. (Think of V 1 V 2 = (a, b) (c, d), a, b, c, d Q). Let G R be open. Then Φ 1 (G) is open in R 2, so Φ 1 (G) = n (V 1 n V 2 n ), Then h 1 (Φ 1 )(G) = n h 1 (V 1 n V 2 n ) = n f 1 (V 1 n ) g 1 (V 2 n ) is measurable since f and g are measurable. Hence h = (f, g). (3) Show that f : X R is measurable if and only if f 1 ([a, b]) is measurable for all a, b R. Solution: By def f : X R is measurable if f 1 (G) is measurable. G open in R. Every open set G in R can be written as acountable union of (a, b), [, a), (b, ], a, b R. So ff is measurable iff f 1 (a, b), f 1 [, a), f 1 (b, ] are measurable. ) Use f 1 (a, b) = f 1 (a 1 n, b + 1 n ) n f 1 [, a) = n f 1 [, a + 1 n ) f 1 (b, ] = n f 1 (b 1 n, ] 2

) Use f 1 (a, b) = n f 1 [a 1 n, b + 1 n ] f 1 [, a) = n f 1 [, a 1 n ] f 1 (b, ] = n f 1 [b + 1 n, ]. (4) Let f, g, f k, k 1, be measurable functions from X to R. (a) Show that {x : f(x) < g(x)} and {x : f(x) = g(x)} are measurable sets. (b) Show that {x : lim k f k (x) exists and is finite} is measurable. Solution: (a) Suffice to show {x : F (x) > 0} and {x : F (x) = 0} are measurable. If F is measurable, use {x : F (x) > 0} = F 1 (0, ] {x : F (x) = 0} = F 1 [0, ] F 1 [, 0] (b) Since g(x) =lim sup f k (x) and lim inf f k(x) are measurable. k k {x : lim f k (x) exists } = {x : lim inf k k f k(x) = lim sup f k (x)} k On the other hand, the set{x : g(x) < + } is also measurable, so is their intersection. (5) There are two conditions (i) and (ii) in the definition of a measure µ on (X, M). Show that (i) can be replaced by the nontriviality condition : There exists some E M with µ(e) <. Solution: 3

If µ is a measure satisfying the nontriviality condition and (ii), let A 1 = E, A i = φ for i 2 in ii), > µ(e) = µ(a i ) µ(a 1 ) + µ(a 2 ) = µ(e) + µ(φ) i=1 so 0 µ(φ) 0. We have µ is a measure satisfying (i) and (ii). if µ is a measure satisfying (i) and (ii), taking E = φ, we have the nontriviality condition. (6) Let {A k } be measurable and µ(a k ) < and k=1 A = {x X : x A k for infinitely many k}. (a) Show that A is measurable. (b) Show that µ(a) = 0. This is Borel-Cantelli lemma, google for more. Solution (a) Note that A = A k. n=1 k n This is clearly measurable. (b) Since µ(a k ) <, we have µ(a k ) 0 as n. For any n N, k=1 we have k=n A k n A k and so µ(a) µ(a k ) k=n 4

.Taking n, we have µ(a) = 0. (7) Let T be a map from a measure space (X, M, µ) onto a set Y. Let N be the set of all subsets N of Y satisfying T 1 (N) M. Show that the triple (Y, N, λ) where λ(n) = µ(t 1 (N)) is a measure space. Solution: First, we show N is a σ-algebra in Y. This follows from the relations T 1 (Y ) = X, T 1 (Y \ A) = X \ T 1 (A), T 1 ( A n ) = T 1 (A n ), n=1 for any A, A n N. Let {A n } n=1 be a disjoint countable collection of N, then n=1 {T 1 (A n )} n=1 is a disjoint countable collection of M, and λ( A n ) = µ(t 1 ( A n )) = µ( T 1 (A n )) = n=1 n=1 n=1 µ(t 1 (A n )) = n=1 λ(a n ). This proves the countably additivity of λ, and hence the triple (Y, N, λ) where λ(n) = µ(t 1 (N)) is a measure space. (8) In Theorem 1.6 we approximate a non-negative measurable function f by an increasing sequence of simple functions from below. Can we approximate f by a decreasing sequence of simple functions from above? n=1 A necessary condition is that f must be bounded in X, that is, f(x) M, x X for some M. Under this condition, show that this is possible. Solution: f(x) [0, M], we can divide [0, M] into subintervals Ij k = [ jm (j + 1)M ), 2k, 2 k 5

for j=0,1,2...2 k 2 I k 2 k 1 = [ (2 k 1)M 2 k, M ], (j + 1)M define ϕ k (t) = if t I 2 k j. As I k+1 2j I k+1 2j+1 Ik j, ϕ k (t) is a decreasing sequence(so is ϕ k (f(x))) and ϕ k (f(x)) is simple function satisfying the following inequality : ϕ k (f(x)) f(x) ϕ k (f(x)) M 2 k. Hence ϕ k (f(x)) is a deceasing sequence of simple functions which converges uniformly to f over X. (9) A measure space is complete if every subset of a null set, that is, a set of measure zero, is measurable. This problem shows that every measure space can be extended to become a complete measure. It will be used later. Let (X, M, µ) be a measure space. Let M contain all sets E such that there exist A, B M, A E B, µ(b\a) = 0. Show that M is a σ-algebra containing M and if we set µ(e) = µ(a), then (X, M, µ) is a complete measure space. Solution: We see that M contains M by taking E = A = B for any E M. Suppose E i M, B i E i A i where B i, A i M and µ(a i \B i ) = 0, then B i E i i=1 i=1 i=1 A i and µ( A i \ B i ) µ( A i \B i ) i=1 i=1 i=1 µ(a i \B i ) = 0. i=1 6

We have E i is in M. If A E B, then i=1 X\A X\E X\B and µ((x\b)\(x\a)) = µ(a\b). Hence X\E is in M and M is a σ algebra. We check that µ is a measure on M. Obviously µ(φ) = 0. Let E i be mutually disjoint µ measurable set, B i, A i µ measurable s.t A i E i B i and µ(b i \ A i ) = 0. Using above argument, we have µ( B i \ A i ) = 0, And A i are mutually disjoint, µ( E i ) = µ( A i ) = i=1 i=1 µ(a i ) = µ(e i ). i=1 i=1 i=1 i=1 So µ is a measure on M. Finally, we check that µ is a complete measure, let E be a µ measurable and null set, for all subset C E, we have A, B M s.t.a E B and µ(a) = µ(b) = 0. Therefore φ C B and µ(b) = 0. 7

We have C M. (10) Here we review Riemann integral. Let f be a bounded function defined on [a, b], a, b R. Given any partition P = { a = x 0 < x 1 < < x n = b } on [a, b] and tags z j [x j, x j+1 ], there corresponds a Riemann sum of f given by R(f, P, z) = n 1 j=0 f(z j)(x j+1 x j ). The function f is called Riemann integrable with integral L if for every ε > 0 there exists some δ such that R(f, P, z) L < ε, whenever P < δ and z is any tag on P. (Here P = max n 1 j=0 x j+1 x j is the length of the partition.) Show that (a) For any partition P, define its Darboux upper and lower sums by R(f, P ) = j sup { f(x) : x [x j, x j+1 ] } (x j+1 x j ), and R(f, P ) = j inf { f(x) : x [x j, x j+1 ] } (x j+1 x j ) respectively. Show that for any sequence of partitions {P n } satisfying P n 0 as n, lim n R(f, P n ) and lim n R(f, P n ) exist. (b) {P n } as above. Show that f is Riemann integrable if and only if lim R(f, P n) = lim R(f, P n ) = L. n n (c) A set E in [a, b] is called of measure zero if for every ε > 0, there exists a countable subintervals J n satisfying n J n < ε such that E n J n. Prove Lebsegue s theorem which asserts that f is Riemann integrable if and only if the set consisting of all discontinuity points of f is a set of 8

Solution: measure zero. Google for help if necessary. (a) It suffices to show: For every ε > 0, there exists some δ such that 0 R(f, P ) R(f) < ε, and 0 R(f) R(f, P ) < ε, for any partition P, P < δ, where R(f) = inf P R(f, P ), and. R(f) = sup R(f, P ). P If it is true, then lim n R(f, P n ) and lim n R(f, P n ) exist and equal to R(f) and R(f) respectively. Given ε > 0, there exists a partition Q such that R(f) + ε/2 > R(f, Q). Let m be the number of partition points of Q (excluding the endpoints). Consider any partition P and let R be the partition by putting together P and Q. Note that the number of subintervals in P which contain some partition points of Q in its interior must be less than or equal to m. Denote the indices of the collection of these subintervals in P by J. 9

We have 0 R(f, P ) R(f, R) j J 2M x j 2M m P, where M = sup [a,b] f, because the contributions of R(f, P ) and R(f, Q) from the subintervals not in J cancel out. Hence, by the fact that R is a refinement of Q, R(f) + ε/2 > R(f, Q) R(f, R) R(f, P ) 2Mm P, i.e., Now, we choose 0 R(f, P ) R(f) < ε/2 + 2Mm P. δ < ε 1 + 4Mm, Then for P, P < δ, 0 R(f, P ) R(f) < ε. Similarly, one can prove the second inequality. (b) With the result in part a, it suffices to prove the following result: Let f be bounded on [a, b]. Then f is Riemann integrable on [a, b] if and only if R(f) = R(f). When this holds, L = R(f) = R(f). According to the definition of integrability, when f is integrable, there exists some L R so that for any given ε > 0, there is a δ > 0 such that for all partitions P with P < δ, R(f, P, z) L < ε/2, holds for any tags z. Let (P 1, z 1 ) be another tagged partition. By the 10

triangle inequality we have R(f, P, z) R(f, P 1, z 1 ) R(f, P, z) L + R(f, P 1, z 1 ) L < ε/2+ε/2 = ε. Since the tags are arbitrary, it implies R(f, P ) R(f, P ) ε. As a result, 0 R(f) R(f) R(f, P ) R(f, P ) ε. Note that the first inequality comes from the definition of the upper/lower Riemann integrals. Since ε > 0 is arbitrary, R(f) = R(f). Conversely, using R(f) = R(f) in part a, we know that for ε > 0, there exists a δ such that 0 R(f, P ) R(f, P ) < ε, for all partitions P, P < δ. We have R(f, P, z) R(f) R(f, P ) R(f) R(f, P ) R(f, P ) < ε, and similarly, R(f) R(f, P, z) R(f, P ) R(f, P ) < ε. 11

As R(f) = R(f), combining these two inequalities yields R(f, P, z) R(f) < ε, for all P, P < δ, so f is integrable, where L = R(f). (c) For any bounded f on [a, b] and x [a, b], its oscillation at x is defined by ω(f, x) = inf{(sup f(y) inf f(y)) : y (x δ, x + δ) [a, b]} δ = lim δ 0 +{(sup f(y) inf f(y)) : y (x δ, x + δ) [a, b]}. It is clear that ω(f, x) = 0 if and only if f is continuous at x. The set of discontinuity of f, D, can be written as D = k=1 O(k), where O(k) = {x [a, b] : ω(f, x) 1/k}. Suppose that f is Riemann integrable on [a, b]. It suffices to show that each O(k) is of measure zero. Given ε > 0, by Integrability of f, we can find a partition P such that R(f, P ) R(f, P ) < ε/2k. Let J be the index set of those subintervals of P which contains some elements of O(k) in their interiors. Then 1 k j J I j (sup f inf f) x j I j J j I j n j=1 (sup I j f inf I j = R(f, P ) R(f, P ) < ε/2k. f) x j 12

Therefore I j < ε/2. j J Now, the only possibility that an element of O(k) is not contained by one of these I j is it being a partition point. Since there are finitely many partition points, say N, we can find some open intervals I 1,..., I N containing these partition points which satisfy I i < ε/2. So {I j } and {I i} together form a covering of O(k) and its total length is strictly less than ε. We conclude that O(k) is of measure zero. Conversely, given ε > 0, fix a large k such that 1 k < ε. Now the set O(k) is of measure zero, we can find a sequence of open intervals {I j } satisfying O(k) I j, j=1 I ij < ε. j=1 One can show that O(k) is closed and bounded, hence it is compact. As a result, we can find I i1,..., I in from {I j } so that O(k) I i1... I in, N I j < ε. j=1 Without loss of generality we may assume that these open intervals are mutually disjoint since, whenever two intervals have nonempty intersection, we can put them together to form a larger open interval. Observe that [a, b] \ (I i1 I in ) is a finite disjoint union of closed bounded 13

intervals, call them V i s, i A. We will show that for each i A, one can find a partition on each V i = [v i 1, v i ] such that the oscillation of f on each subinterval in this partition is less than 1/k. Fix i A. For each x V i, we have ω(f, x) < 1 k. By the definition of ω(f, x), one can find some δ x > 0 such that sup{f(y) : y B(x, δ x ) [a, b]} inf{f(z) : z B(x, δ x ) [a, b]} < 1 k, where B(y, β) = (y β, y+β). Note that V i x V i B(x, δ x ). Since V i is closed and bounded, it is compact. Hence, there exist x l1,..., x lm such that V i V i M j=1 B(x i j, δ xlj ). By replacing the left end point of B(x ij, δ xlj ) with v i 1 if x lj δ xlj < v i 1, and replacing the right end point of B(x ij, δ xlj ) with v i if x lj + δ xlj > v i, one can list out the endpoints of {B(x lj, δ lj )} M j=1 and use them to form a partition S i of V i. It can be easily seen that each subinterval in S i is covered by some B(x lj, δ xlj ), which implies that the oscillation of f in each subinterval is less than 1/k. So, S i is the partition that we want. The partitions S i s and the endpoints of I i1,..., I in of [a, b]. We have form a partition P R(f, P ) R(f, P ) = I ij (M j m j ) x j + (M j m j ) x j 2M N I ij + 1 xj k j=1 2Mε + ε(b a) = [2M + (b a)]ε, 14

where M = sup [a,b] f and the second summation is over all subintervals in V i, i A. Hence f is integrable on [a, b]. 15