Austin Mohr Math 704 Homework 6

Similar documents
ABSTRACT INTEGRATION CHAPTER ONE

MATH 411 NOTES (UNDER CONSTRUCTION)

McGill University Math 354: Honors Analysis 3

Entrance Exam, Real Analysis September 1, 2017 Solve exactly 6 out of the 8 problems

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

REAL ANALYSIS I HOMEWORK 4

Solutions Final Exam May. 14, 2014

MATH 202B - Problem Set 5

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

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

REAL AND COMPLEX ANALYSIS

Solutions: Problem Set 4 Math 201B, Winter 2007

Math 5051 Measure Theory and Functional Analysis I Homework Assignment 2

Homework 11. Solutions

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

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

SOLUTIONS TO ASSIGNMENT 2 - MATH 355. with c > 3. m(n c ) < δ. f(t) t. g(x)dx =

Real Analysis Notes. Thomas Goller

Math 117: Infinite Sequences

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

MATH 101, FALL 2018: SUPPLEMENTARY NOTES ON THE REAL LINE

1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty.

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

Problem Set 2: Solutions Math 201A: Fall 2016

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

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

L p Spaces and Convexity

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

MATHS 730 FC Lecture Notes March 5, Introduction

Defining the Integral

Math 5051 Measure Theory and Functional Analysis I Homework Assignment 3

Analysis III. Exam 1

Most Continuous Functions are Nowhere Differentiable

A course in. Real Analysis. Taught by Prof. P. Kronheimer. Fall 2011

Austin Mohr Math 730 Homework 2

Selçuk Demir WS 2017 Functional Analysis Homework Sheet

Math 104: Homework 7 solutions

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

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

REVIEW OF ESSENTIAL MATH 346 TOPICS

Math 421, Homework #9 Solutions

Homework 4, 5, 6 Solutions. > 0, and so a n 0 = n + 1 n = ( n+1 n)( n+1+ n) 1 if n is odd 1/n if n is even diverges.

MATH 131A: REAL ANALYSIS (BIG IDEAS)

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

1 Definition of the Riemann integral

consists of two disjoint copies of X n, each scaled down by 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

This exam contains 5 pages (including this cover page) and 4 questions. The total number of points is 100. Grade Table

HOMEWORK ASSIGNMENT 6

Measure and Integration: Solutions of CW2

The Heine-Borel and Arzela-Ascoli Theorems

A List of Problems in Real Analysis

The Lebesgue Integral

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

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

Three hours THE UNIVERSITY OF MANCHESTER. 24th January

FINAL EXAM Math 25 Temple-F06

MATH202 Introduction to Analysis (2007 Fall and 2008 Spring) Tutorial Note #7

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

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

AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES

Real Analysis Problems

Bootcamp. Christoph Thiele. Summer As in the case of separability we have the following two observations: Lemma 1 Finite sets are compact.

Logical Connectives and Quantifiers

An idea how to solve some of the problems. diverges the same must hold for the original series. T 1 p T 1 p + 1 p 1 = 1. dt = lim

Introduction to Functional Analysis

MA 1124 Solutions 14 th May 2012

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

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a

The Borel-Cantelli Group

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

Continuity. Chapter 4

MAT1000 ASSIGNMENT 1. a k 3 k. x =

Analysis Qualifying Exam

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

5 Set Operations, Functions, and Counting

Chapter 5. Measurable Functions

Principle of Mathematical Induction

Thus f is continuous at x 0. Matthew Straughn Math 402 Homework 6

Math 172 HW 1 Solutions

Hence, (f(x) f(x 0 )) 2 + (g(x) g(x 0 )) 2 < ɛ

MATH 140B - HW 5 SOLUTIONS

Problems - Section 17-2, 4, 6c, 9, 10, 13, 14; Section 18-1, 3, 4, 6, 8, 10; Section 19-1, 3, 5, 7, 8, 9;

X n D X lim n F n (x) = F (x) for all x C F. lim n F n(u) = F (u) for all u C F. (2)

SOME QUESTIONS FOR MATH 766, SPRING Question 1. Let C([0, 1]) be the set of all continuous functions on [0, 1] endowed with the norm

Introduction to Real Analysis Alternative Chapter 1

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis

Math 328 Course Notes

Math 205b Homework 2 Solutions

P-adic Functions - Part 1

Problem Set 5: Solutions Math 201A: Fall 2016

Problem Set 6: Solutions Math 201A: Fall a n x n,

Metric Spaces Lecture 17

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space

Functions. Chapter Continuous Functions

Chapter 1.6, Page 37 Problem 2: (a) Prove that x is in the Cantor set iff x has a ternary expansion that uses only 0 s and 2 s.

Continuity. Matt Rosenzweig

MAT 544 Problem Set 2 Solutions

CHAPTER I THE RIESZ REPRESENTATION THEOREM

Economics 204 Fall 2012 Problem Set 3 Suggested Solutions

Transcription:

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 on R, but yet lim sup f(x) x. Proof. Define the function f to take on the value n if x [n, n + 1 n 3 ) for n. Elsewhere, the function is zero except for the line segments required to make the function continuous. We define these segments in such a that the graph resembles a sequence of trapezoids with height n and bases of length 1 n 3 and 3 n 3. By construction, f is positive and continuous on R. Now, fdx n( n n < n 1 n 3 + 3 n 3 Hence, f is integrable. The fact that lim sup f(x) is also immediate (for any N, there are infinitely-many x x (N, ) such that f(x) > N), so the claim is proven. ) b. However, if we assume that f is uniformly continuous on R and integrable, then lim sup f(x) 0. x Proof. Suppose, for the sake of contradiction, that lim sup f(x) c > 0 (we consider first only the case x where x + ). Choose some d so that 0 < d < c. Then, there is a sequence x 1, x,... with each x i far apart (to be made precise later) so that f(x i ) d for all i. Choose ɛ 0 so that 0 < ɛ 0 < d. Since f is uniformly continuous, there is some δ 0 > 0 so that, for each x i, f(x i ) f(y) < ɛ 0 for all y N(x i, δ 0 ). Since f(x i ) d > ɛ 0, we have that f(y) > ɛ 0 for all y N(x i, δ 0 ). Hence, the area contributed by the function over the interval N(x i, δ 0 ) is at least δ 0 ɛ 0. Now, if we choose the x i far enough apart so that each of the N(x i, δ 0 ) are disjoint, we have that f(x) δ 0 ɛ 0 0 which contradicts the fact that f is integrable. We can force the same contradiction when x, and so we conclude that lim sup f(x)dx 0. x n1 1

Problem Suppose f 0, and let E k everywhere, then and the sets k are disjoint. {x f(x) > k } and k {x k < f(x) k+1 }. If f is finite almost k {f(x) > 0}, Proof. Since f is a function, it has a unique output for each input x. Hence, k < f(x) k+1 for a single value of k. That is, the k are disjoint. ( ) Let x k. Then k < f(x) k+1 for some k, so f(x) 0. Since f 0, we have that f(x) > 0. That is, x {f(x) > 0}. ( ) Let x {f(x) > 0}. Then f(x) > 0, and so k < f(x) k+1 for some k. That is, x Prove that f is integrable if and only if k m( k ) < if and only if k m(e k) < k. Proof. (i ii) Suppose f is integrable. Let x k for some k. By definition of k, k < f(x). Since the k are disjoint, it follows that > fdx > k χ k dx k χ k dx k m( k ) (ii i) Suppose k m( k ) <. Then k m( k ) <. Let x k for some k. By definition of k, k+1 f(x). Since the k are disjoint, it follows that fdx < k+1 χ k dx < k+1 χ k dx k+1 m( k )

(ii iii) Suppose k m( k ) <. Observe that E k n. n k measurable, it follows that Since the n are disjoint and m(e k) m( n k n ) n k m( n ) So k m(e k) k m( n ) n k n n n n n m( n ) k m( n ) n n+1 m( n ) n m( n ) k Hence, if either of k m(e k) or k m( k ) is finite, then the other is also finite. Use this result to verify the following assertions. Let and f(x) { x a if x 1 0 otherwise g(x) { x b if x > 1 0 otherwise Then f is integrable on R d if and only if a < d; also g is integrable on R d if and only if b > d. Proof. Let x k. Then Hence k < x a k+1 k a > x k 1 a m(b(0; k a )) > m(k ) m(b(0; k 1 a )) v d dk a > m( k ) v d d(k+1) a 3

where v d is the volume of the unit ball. Now k m( k ) Since x 1, m( k ) v d for all k. Hence So it suffices to show that 0 k m( k ) v d 0 k m( k ) converges. v d d a k (v d d(k+1) a ) k m( k ) + v d + k + k m( k ) k m( k ) k m( k ) k m( k ) < k(1 d a ) k m( k ) < v d k (v d dk a ) k(1 d a ) We see that the upper and lower bounds converge if and only if 0 < a < d, forcing the convergence of k m( k ), which in turn implies that f is integrable. Let x E k. Then k < x b k b > x Observe also that E k is empty for k 0. Hence, E k B(0; k b ) \ B(0; 1), and so m(e k) v d dk b v d. Now k m(e k) v d k m(e k) k (v d dk b v d ) k(1 d b ) v d which converges if and only if b > d, which in turn implies that f is integrable. k Problem 3 a. Prove that if f is integrable on R d, real-valued, and f(x)dx 0 for every measurable E, then E f(x) 0 a.e. x. Proof. Define to be the set {x f(x) < 0}. Since f is integrable, f is measurable, and so is measurable. We claim that m( ) 0. 4

Since is measurable, we have that f(x)dx 0 by hypothesis. Now, observe that, for any n 1, nfχ f. It follows that nfχ dx fdx n fdx fdx fdx 1 fdx n fdx 0 Hence, fdx 0. Since f(x) < 0 for all x, we conclude that m( ) 0. That is, f(x) 0 almost everywhere. b. As a result, if f(x)dx 0 for every measurable E, then f(x) 0 a.e. E Proof. rom the first part, we see that f(x) 0 almost everywhere. Let G be the set {x f(x) > 0}. It suffices to show that m(g) 0. As before, f is measurable, so G is measurable. By hypothesis, we have that fdx 0. Since f(x) > 0 G for all x G, we conclude that m(g) 0. Hence, the set of x so that f(x) 0 has measure 0. That is, f(x) 0 almost everywhere. Problem 4 a. Let a n, b n R such that a n a R. Prove that lim inf(a n + b n ) a + lim inf b n Proof. Since a n a, we have a lim a n lim sup a n lim inf a n. Since lim sup(a n ) lim inf( a n ), we n n n have lim inf(a n + b n ) lim sup( a n b n ) lim sup( a n ) lim sup( b n ) lim inf a n + lim inf b n a + lim inf b n Now, construct a subsequence (b nk ) of (b n ) with lim b n k k induced by the indices chosen for (b nk ). lim inf n b n. Let (a nk ) be the subsequence Therefore, lim inf(a n + b n ) a + lim inf b n. a + lim inf b n lim inf a n + lim inf b n lim a nk + lim b nk lim(a nk + b nk ) lim inf(a n + b n ) b. Let f, f n be integrable functions. Assume f n (x)arrowf(x) a.e. and f n dx f dx. Prove that fn f dx 0. Proof. Define the function g n to be f + f n f f n. Then g n f as n. By atou s lemma gdx lim inf gn dx 5

Hence Now, f dx lim inf ( f + f n f f n ) dx lim inf( f dx + f n dx f f n dx) f dx + lim inf( f n dx f f n dx) f dx + f dx + lim inf( f f n dx) (by part (a)) 0 lim inf( f f n dx) 0 lim sup f f n dx lim f f n dx n Therefore, as n, f f n dx 0. 6