MATH 202B - Problem Set 5

Similar documents
Problem Set 2: Solutions Math 201A: Fall 2016

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

Math 140A - Fall Final Exam

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N

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

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

Real Analysis Problems

THEOREMS, ETC., FOR MATH 515

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Problem set 5, Real Analysis I, Spring, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, 1 x (log 1/ x ) 2 dx 1

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

Walker Ray Econ 204 Problem Set 3 Suggested Solutions August 6, 2015

Measures and Measure Spaces

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

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

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?

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?

Metric Spaces and Topology

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

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t

MAT1000 ASSIGNMENT 1. a k 3 k. x =

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

Math 5210, Definitions and Theorems on Metric Spaces

The Heine-Borel and Arzela-Ascoli Theorems

7 Complete metric spaces and function spaces

x 0 + f(x), exist as extended real numbers. Show that f is upper semicontinuous This shows ( ɛ, ɛ) B α. Thus

INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS

Maths 212: Homework Solutions

MAT 544 Problem Set 2 Solutions

Math 421, Homework #7 Solutions. We can then us the triangle inequality to find for k N that (x k + y k ) (L + M) = (x k L) + (y k M) x k L + y k M

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

REVIEW OF ESSENTIAL MATH 346 TOPICS

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

Mid Term-1 : Practice problems

Real Analysis Notes. Thomas Goller

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

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

Real Analysis Chapter 4 Solutions Jonathan Conder

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

Math 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1

Quick Tour of the Topology of R. Steven Hurder, Dave Marker, & John Wood 1

Set, functions and Euclidean space. Seungjin Han

Homework 11. Solutions

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li

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

SOLUTIONS TO SOME PROBLEMS

Lebesgue Measure on R n

MATH 131A: REAL ANALYSIS (BIG IDEAS)

The Lebesgue Integral

Measure and Integration: Solutions of CW2

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

Math 4317 : Real Analysis I Mid-Term Exam 1 25 September 2012

Lebesgue s Differentiation Theorem via Maximal Functions

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions

Measures. Chapter Some prerequisites. 1.2 Introduction

Measurable functions are approximately nice, even if look terrible.

Lebesgue Integration on R n

van Rooij, Schikhof: A Second Course on Real Functions

REAL AND COMPLEX ANALYSIS

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

Exam 2 extra practice problems

Chapter 2 Metric Spaces

1. Let A R be a nonempty set that is bounded from above, and let a be the least upper bound of A. Show that there exists a sequence {a n } n N

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

Lebesgue Integration: A non-rigorous introduction. What is wrong with Riemann integration?

MATHS 730 FC Lecture Notes March 5, Introduction

Real Analysis Chapter 3 Solutions Jonathan Conder. ν(f n ) = lim

ANALYSIS WORKSHEET II: METRIC SPACES

Exercise 1. Let f be a nonnegative measurable function. Show that. where ϕ is taken over all simple functions with ϕ f. k 1.

Exercises from other sources REAL NUMBERS 2,...,

In N we can do addition, but in order to do subtraction we need to extend N to the integers

A List of Problems in Real Analysis

4 Countability axioms

Most Continuous Functions are Nowhere Differentiable

Geometric intuition: from Hölder spaces to the Calderón-Zygmund estimate

Lebesgue Measure on R n

Daniel Akech Thiong Math 501: Real Analysis Homework Problems with Solutions Fall Problem. 1 Give an example of a mapping f : X Y such that

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

Math 320-2: Midterm 2 Practice Solutions Northwestern University, Winter 2015

Honours Analysis III

Problem Set 5. 2 n k. Then a nk (x) = 1+( 1)k

Analysis III. Exam 1

Analysis III Theorems, Propositions & Lemmas... Oh My!

THE INVERSE FUNCTION THEOREM

Riesz Representation Theorems

Introduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION

Math212a1413 The Lebesgue integral.

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

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

Math 117: Topology of the Real Numbers

CLASS NOTES FOR APRIL 14, 2000

Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011

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

Part A. Metric and Topological Spaces

CHAPTER I THE RIESZ REPRESENTATION THEOREM

Math LM (24543) Lectures 02

Definition 6.1. A metric space (X, d) is complete if every Cauchy sequence tends to a limit in X.

Solutions Final Exam May. 14, 2014

Course 212: Academic Year Section 1: Metric Spaces

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

Transcription:

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 exists a continuous function F : [0, 1] R that is nowhere differentiable. Then F is monotonic on no interval of positive length. Indeed, assume by contradiction that there exists an interval I with m(i) > 0 and F is monotonic on I. Then by Lebesgue s theorem, since F is monotone on I, F exists almost everywhere on I. This contradicts the fact that F is nowhere differentiable. (5.2) Construct an example of a nondecreasing function F : R R such thar F (x) exists for every x R, yet F is not continuous. proof Consider the function F : R R x F (x) = { x if x 0 x 2 (sin(1/x) + 1) + x if x > 0 Continuity of f We have F is continuous on (0, + ) and (, 0). F is also left continuous at 0, and it remains to show right continuity at 0. We have for all x > 0, 0 sin(1/x) + 1 2, thus x F (x) 2x 2 + x and both sides converge to 0 as x tends to 0. Therefore and F is continuous at 0. lim F (x) = 0 = F (0) x 0 Differentiability of f We have F is differentiable on (, 0), and for all x < 0, F (x) = 1. F is also differentiable on (0, + ), and for all x > 0, F (x) = 2x(sin(1/x) + 1) cos(1/x) + 1 and since 1 cos(1/x) 0 and sin(1/x) + 1 0, then F (x) 0 for all x > 0. For differentiability at 0, we have F (x) F (0) lim = lim x sin(1/x) + x + 1 = 1 x 0 x 0 x 0 1

since for all x > 0, x sin(1/x) x. We also have F (x) F (0) lim = lim 1 = 1 x 0 x 0 x 0 therefore F is differentiable at 0 and F (0) = 1. Therefore F exists everywhere, and satisfies x R, F (x) 0, and as a consequence, F is non decreasing on R. However F is not continuous at 0 since in the expression F (x) = 2x(sin(1/x) + 1) cos(1/x) + 1 all terms converge as x 0 except cos(1/x). (5.3) Let f be a real valued function of bounded variation on an interval [a, b]. Show that if f is continuous at some x [a, b], then x V f([a, x]) also continuous (where V f ([a, x]) is the total variation of f on [a, x]). proof We overload the notation of the variation V f, such that if P ) is the partition x 0 < x 1 < < x n, then n V f (P ) = f i (x) f i 1 (x) i=1 and the total variation of f on a segment is the supremum First, we prove the following V f ([a, b]) = sup V f (P ) P P ([a,b]) Lemma 1 If f is of bounded variation, and α < β < γ, then V f ([α, γ]) = V f ([α, β]) + V f ([β, γ]) For any P partition of [α, γ], consisting of the points α = x 0 < < x n = γ, let x i0 be such that x i0 β < x i0+1. Then we have n V f (P ) = f(x i ) f(x i 1 ) i=1 ( i0 ) ( f(x i ) f(x i 1 ) + f(β) f(x i0 ) + f(x i0+1) f(β) + i=1 V f ([α, β]) + V f ([β, γ]) thus taking the sup over all such partitions, we have V f ([α, γ]) V f ([α, β]) + V f ([β, γ]) i 0+1 i=1 f(x i ) f(x i 1 ) To show the reverse inequality, we have for all ɛ > 0, there exist P and P, partitions of [α, β] and [β, γ] respectively, such that V f (P ) > V f ([α, β]) ɛ/2 V f (P ) > V f ([β, γ]) ɛ/2 now consider P P. This is a partition of [α, γ], and V f ([α, γ]) V f (P P ) V f (P ) + V f (P ) V f ([α, β]) + V f ([β, γ]) ɛ since this holds for all ɛ, we have V f ([α, γ]) V f ([α, β]) + V f ([β, γ]) and the Lemma is proved. ) 2

proof Let x [a, b] be fixed, and let f be continuous at x. We first show that V (f) is right continuous at x. Let ɛ > 0. We seek to find δ > 0 such that for all y [a, b], y x δ V (f)(x) V (f)(y) ɛ. By definition of the total variation of f on [x, b] (which is finite since f is of bounded variation), there exists a partition P [x,b] of [x, b] such that V f (P [x,b] ) V f ([x, b]) ɛ/2 let x 1 be the smallest point in P \ {x}. By continuity of f at x, there exists δ > 0 such that if y x δ, then f(x) f(y) ɛ/2. Let δ = min(δ, x 1 x). Let y (x, x + δ ) (this ensures that x y < x 1 ). Now consider the partition [x, b] obtained by adding y to P By the triangle inequality, we have P [x,b] = P [x,b] {y} V f (P [x,b] ) V f (P [x,b] ) Finally, consider the partition of [y, b], obtained by removing x from P [x, b] we have Combining these inequalities, we have P [y,b] = P [x,b] \ {x} V f (P [x,b] ) = f(x) f(y) + V f (P [y,b] ) ɛ/2 + V f (P [y,b] ) V f ([x, y]) = V f ([x, b]) V f ([y, b]) V f (P [x,b] ) + ɛ/2 V f ([y, b]) V f (P [x,b] ) + ɛ/2 V f ([y, b]) ɛ/2 + V f (P [y,b] ) + ɛ/2 V f ([y, b]) ɛ by the Lemma Therefore y (x, x + δ ), V f ([x, y]) ɛ. Therefore x V f ([a, x]) is right continuous at x. A similar argument shows that it is left continuous at x, hence continuity. 3

(5.4) Let K R be a countable compact set. Show that there exists a Borel measure µ such that µ(k) = 1, µ(r \ K) = 0, and µ({x}) = 0 for all x R. proof If there exists an open interval I such that I K and µ(i) > 0, then the measure µ defined by µ(e) = 1 1 m(e I) = 1 I dm m(i) m(i) satisfies the desired properties, since µ(k) = 1 1 µ(i) µ(i) = 1, µ(r \ K) = µ(i) µ( ) = 0, and for all x R, µ({x}) = 1 µ(i) m({x} I) = 0. Now consider the case where there exists no such interval, i.e. int(k) =. K c is open, thus is a countable union of disjoint open interval. K = n N I n where each I n = (a n, b n ). Inspired by the construction of the Cantor function, we seek to construct a sequence of functions F n that are continuous non decreasing, and that satisfy: m n, F n F m 2 n and such that their limit is constant on K c. We organize the construction in generations, where in each generation n, we have 2 n + 1 intervals (I n,k ), k {0,..., 2 n }, and such that I n,k is always (strictly) to the left of I n,k+1, i.e. b n,k < a n,k+1 the set of points in K between any two consecutive intervals is uncountable, i.e. for all k, (b n,k, a n,k+1 ) K is uncountable. More precisely, for n = 0, we observe that since K is bounded, there exists n 0 such that a n0 = and n 1 such that b n1 = +. I 0,0 = I n0 I 0,1 = I n1 then we have the desired properties. Then by induction, assume {I n,k } k constructed. Then for all even k, define I n+1,k/2 = I n,k, and for all odd k, find an interval (a m, b m ) such that b n,k/2 < a m < b m < a n,k/2+1 such that (b n,k/2 < a m ) K and (b n,k/2 < a m ) K are both uncountable. The following Lemma guarantees that we can do this construction Lemma 2 If J [α, β] is an uncountable compact set with empty interior, then there exists an open interval (a, b) J c such that [α, a] J and [b, β] J are both uncountable. The complement of J is open, thus is the countable union of open intervals J c = n N I n. By contradiction, assume that for all n, one of [α, a n ] J and [b n, β] J is countable. Call it C n. C = n N C n is a countable subset of J, thus J \ C is uncountable. Let x < y be two points in J \ C. Since J has empty interior, there exists z (x, y) J c, in particular there exists n such that z I n, and I n [x, y]. Therefore x and y cannot be on the same side of I n, and one of them has to be in C n. This contradicts the definition of x, y. This concludes the proof of the lemma. Now that the intervals I n,k are constructed, we can define F n : R [0, 1] by F n (x) = k/2 n x I k,n and F n is affine between b n,k and a n,k+1, i.e. F n (x) = 2 n (k + x b n,k a n,k b n,k ). By construction, F n is continuous non decreasing. We also have that for all m n, F m agrees with F n on k I n,k, and for all x / k I n,k there exists k such that x [b n,k, a n,k+1 ], then both F n (x) and F m (x) are in [k/2 n, (k + 1)/2 n ], therefore sup F n (x) F m (x) 2 n+1 x 4 E

and (F n ) n is a Cauchy sequence (for the sup). Then it converges and its limit F is continuous (for every x, (F n (x)) n is Cauchy, thus it converges. Let F (x) be its limit. Now (F F n ) converges uniformly to zero, therefore F is the uniform limit of continuous functions and is continuous). F is also nondecreasing as the limit of a sequence of nondecreasing functions. Finally, F is constant on each interval I n K c. Indeed, let x < y I n, and let ɛ > 0. We show that F (x) F (y) ɛ. Let m such that 2 m ɛ, and consider the intervals I m,k, k {0,..., 2 m }. If I n is one of these intervals, then we are done (F is by definition constant on such intervals). Otherwise, there exists k such that b m,k < x < y < b m,k (the intervals that form K c are disjoint). Therefore k/2 n F (x) F (y) (k + 1)/2 n, which proves that since this holds for arbitrary ɛ, we have equality. F (y) F (x) 2 n ɛ 5

(5.5) Find all continuous nondecreasing functions F : R R such that F (x) = 0 for all but countably many x R proof Any such function is constant. To prove this, let a < b R. We seek to prove that F (a) = F (b). Let E = {x R f (x) = 0}. The complement of E is countable by assumption, so let E c = {b n, n N} be the set of bad points. Now let ɛ > 0. Let x E. We have f (x) = 0, i.e. Thus there exists δ x such that f(y) f(x) lim = 0 y x y x y B(x, δ x ), f(y) f(x) ɛ y x For all b n E c, by continuity of f at b n, there exists δ bn > 0 such that y B(b n, δ bn ), f(b n ) f(y) ɛ/2 n The open balls {B(x, δ x ), x E} {B(b n, δ bn ), n N} form an open cover of R (indeed, R = E E c, and for all x E, x B(x, δ x ), and for all b n E c, b n B(b n, δ bn )), so in particular, it forms an open cover of [a, b]. Since [a, b] is compact, we can extract a finite subcover, thus there exists a finite set of points a x 1 x K b such that [a, b] K k=1 B(x k, δ xk ). Denote by B k = B(x k, δ xk ). We assume, without loss of generality, that the set {B 1,..., B K } is minimal (for inclusion). In this case, we have for all k, B k B k+1 1. For all k {1,..., K 1}, let p k B k B k+1, and let p 0 = a and p K = b. This defines a partition a = p 0 p 1 p K = b such that for all k {1,..., K}, p k 1 and p k are contained in B k. Therefore we have F (b) F (a) = K F (p k ) F (p k 1 ) and for all k, F (p k ) F (p k 1 ) F (p k ) F (x k ) + F (x k ) F (p k 1 ), two cases can occur if x k is a good point (i.e. x k E), then k=1 F (p k ) F (x k ) + F (x k ) F (p k 1 ) ɛ p k x k + ɛ x k p k 1 = ɛ p k p k 1 if x k is a bad point, i.e. x k = b n for some n, then therefore F (p k ) F (x k ) + F (x k ) F (p k 1 ) 2ɛ/2 n F (b) F (a) = K F (p k ) F (p k 1 ) k=1 K ɛ p k p k 1 + k=1 n N ɛ b 1 + 4ɛ since this is true for arbitrary ɛ > 0, we have F (b) F (a) = 0. 1 if B k B k+1 =, then x k + δ xk x k+1 δ xk+1, and there exists p such that 2ɛ/2 n x k + δ xk p x k+1 δ xk+1 i.e. p is not in B k B k+1. Since we have a cover, there exists k such that p B k, but then we either have k > k + 1, in which case B k B k+1, or k < k, in which case B k B k. Both cases contradict minimality of the cover. 6

(5.6.a) Show that if p [1, ) and f L p (R n ) with respect to the Lebesgue measure, then the mapping φ : R n L p t φ(t) = f t = x f(x t) is continuous. In particular, lim t 0 f t = f in L p norm. Here L p is the metric space of equivalence classes. proof Let ɛ > 0. We have the space of continuous compactly supported functions (C 0 ) is dense in L p. Therefore there exists a function g C 0 such that f g p ɛ/3 We also have for all t, f t g t p ɛ/3 since f t g t p p = R n f(x t) g(x t) p dx = R n f(y) g(y) p dy by the change of variable y = x t. Now we have by the triangle inequality, for all t, f f t p f g p + g g t p + g t f t p ɛ/3 + g g t p + ɛ/3 in order to bound the term g g t p, we use the fact that there exists a compact K R n such that g is zero outside of K. Then let K = K + B(0, 1) = {x + y x K, y 1}. Then we have for all t 1, g t is zero outside K (g t (x) 0 g(x t) 0 x t K x K ). Therefore for all t 1, g g t is zero outside of K, and g g t p p = g g t p dm K g is continuous on the compact set K + B(0, 1), then g is uniformly continuous on that set, and there exists δ > 0 (and δ < 1) such that for all x K ɛ and for all t B(0, δ), g(x) g(x t) 3(1+m(K )). Then for all t B(0, δ), integrating over K, we have therefore for all t B(0, δ) which concludes the proof. g g t p m(k ɛ ) 3(1 + m(k )) ɛ/3 f f t p 3ɛ/3 (5.6.b) The previous result is false for p =. However, show that if f C 0 (R n ) (continuous functions with a bounded support), then lim f t f = 0 t 0 proof Let f C 0. Then there exists a compact K R n such that f is zero outside K. As previously, consider K = K + B(0, 1). We have for all t B(0, 1), both f and f t are zero outside K Since f is continuous on the compact K + B(0, 1), it is uniformly continuous. Let ɛ > 0. Then there exists δ > 0 (and δ < 1) such that for all x, y K + B(0, 1), x y δ f(x) f(y) ɛ. Then for all t B(0, δ), we have for all x K, both x and x t are in K + B(0, 1), and x (x t) δ, thus f(x) f t (x) ɛ. Therefore for all t B(0, δ), we have for all x / K, f(x) = f t (x) = 0, and for all x K, f(x) f t (x) ɛ, therefore f f t sup f(x) f t (x) ɛ x R n 7

this concludes the proof. (5.6.c) Suppose that f L, and that f t f 0. Must f agree almost everywhere with a continuous function? 8