MATH 409 Advanced Calculus I Lecture 12: Uniform continuity. Exponential functions.

Similar documents
MATH 409 Advanced Calculus I Lecture 10: Continuity. Properties of continuous functions.

Continuity. Chapter 4

Continuity. Chapter 4

MATH 409 Advanced Calculus I Lecture 11: More on continuous functions.

MATH 131A: REAL ANALYSIS (BIG IDEAS)

Principle of Mathematical Induction

MATH 409 Advanced Calculus I Lecture 7: Monotone sequences. The Bolzano-Weierstrass theorem.

Math 117: Honours Calculus I Fall, 2002 List of Theorems. a n k b k. k. Theorem 2.1 (Convergent Bounded) A convergent sequence is bounded.

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 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 8 Solutions Please write neatly, and in complete sentences when possible.

Logical Connectives and Quantifiers

Immerse Metric Space Homework

Assignment-10. (Due 11/21) Solution: Any continuous function on a compact set is uniformly continuous.

MATH 409 Advanced Calculus I Lecture 9: Limit supremum and infimum. Limits of functions.

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

Proof. We indicate by α, β (finite or not) the end-points of I and call

Measure and Integration: Solutions of CW2

Lecture Notes on Metric Spaces

Homework 1 Solutions

Solution of the 8 th Homework

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

MATH 614 Dynamical Systems and Chaos Lecture 3: Classification of fixed points.

Principles of Real Analysis I Fall VII. Sequences of Functions

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

Sequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1.

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

Midterm 1. Every element of the set of functions is continuous

Chapter 8: Taylor s theorem and L Hospital s rule

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

1 + lim. n n+1. f(x) = x + 1, x 1. and we check that f is increasing, instead. Using the quotient rule, we easily find that. 1 (x + 1) 1 x (x + 1) 2 =

Solutions Final Exam May. 14, 2014

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

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?

REAL ANALYSIS II: PROBLEM SET 2

Math 117: Honours Calculus I Fall, 2012 List of Theorems. a n k b k. k. Theorem 2.1 (Convergent Bounded): A convergent sequence is bounded.

Math 5210, Definitions and Theorems on Metric Spaces

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

Definitions & Theorems

x x 1 x 2 + x 2 1 > 0. HW5. Text defines:

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?

1. Theorem. (Archimedean Property) Let x be any real number. There exists a positive integer n greater than x.

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li. 1 Lecture 7: Equicontinuity and Series of functions

CHAPTER 6. Limits of Functions. 1. Basic Definitions

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

ANALYSIS 2: HOMEWORK SOLUTIONS, SPRING 2013

Math 117: Continuity of Functions

Math 430/530: Advanced Calculus I Chapter 1: Sequences

Chapter 3a Topics in differentiation. Problems in differentiation. Problems in differentiation. LC Abueg: mathematical economics

Continuous Functions on Metric Spaces

Continuity. Matt Rosenzweig

MATH 409 Advanced Calculus I Lecture 16: Mean value theorem. Taylor s formula.

The reference [Ho17] refers to the course lecture notes by Ilkka Holopainen.

Exam 2 extra practice problems

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

Part 2 Continuous functions and their properties

We are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero

Selected solutions for Homework 9

Math 117: Topology of the Real Numbers

MATH 140B - HW 5 SOLUTIONS

Lecture 5: Functions : Images, Compositions, Inverses

Week 2: Sequences and Series

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

Hyperreal Calculus MAT2000 Project in Mathematics. Arne Tobias Malkenes Ødegaard Supervisor: Nikolai Bjørnestøl Hansen

Functions. Chapter Continuous Functions

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions

Solution of the 7 th Homework

MA651 Topology. Lecture 9. Compactness 2.

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

Advanced Calculus I Chapter 2 & 3 Homework Solutions October 30, Prove that f has a limit at 2 and x + 2 find it. f(x) = 2x2 + 3x 2 x + 2

Bounded uniformly continuous functions

Math 421, Homework #9 Solutions

4. We accept without proofs that the following functions are differentiable: (e x ) = e x, sin x = cos x, cos x = sin x, log (x) = 1 sin x

MATH 202B - Problem Set 5

Math 140A - Fall Final Exam

HOMEWORK ASSIGNMENT 6

MAS331: Metric Spaces Problems on Chapter 1

2 Sequences, Continuity, and Limits

MATH FINAL EXAM REVIEW HINTS

G1CMIN Measure and Integration

Problem List MATH 5143 Fall, 2013

Advanced Calculus: MATH 410 Professor David Levermore 28 November 2006

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

Solution. 1 Solution of Homework 7. Sangchul Lee. March 22, Problem 1.1

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

Problem Set 5: Solutions Math 201A: Fall 2016

Real Analysis Problems

7: FOURIER SERIES STEVEN HEILMAN

8.7 Taylor s Inequality Math 2300 Section 005 Calculus II. f(x) = ln(1 + x) f(0) = 0

Lecture 3. Econ August 12

Math 321 Final Examination April 1995 Notation used in this exam: N. (1) S N (f,x) = f(t)e int dt e inx.

FUNCTIONS OF A REAL VARIABLE

Nonlinear Systems and Control Lecture # 12 Converse Lyapunov Functions & Time Varying Systems. p. 1/1

1 Definition of the Riemann integral

Econ Slides from Lecture 1

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 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

Review Notes for the Basic Qualifying Exam

A Primer on Lipschitz Functions by Robert Dr. Bob Gardner Revised and Corrected, Fall 2013

Solutions Final Exam May. 14, 2014

Continuity of convex functions in normed spaces

Transcription:

MATH 409 Advanced Calculus I Lecture 12: Uniform continuity. Exponential functions.

Uniform continuity Definition. A function f : E R defined on a set E R is called uniformly continuous on E if for every ε > 0 there exists δ = δ(ε) > 0 such that x y < δ and x,y E imply f(x) f(y) < ε. Recall that the function f is continuous at a point y E if for every ε > 0 there exists δ = δ(y,ε) > 0 such that x y < δ and x E imply f(x) f(y) < ε. Therefore the uniform continuity of f is a stronger property than the continuity of f on E.

Examples Constant function f(x) = a is uniformly continuous on R. Indeed, f(x) f(y) = 0 < ε for any ε > 0 and x,y R. Identity function f(x) = x is uniformly continuous on R. Since f(x) f(y) = x y, we have f(x) f(y) < ε whenever x y < ε. The sine function f(x) = sinx is uniformly continuous on R. It was shown in the previous lecture that sinx siny x y for all x,y R. Therefore f(x) f(y) < ε whenever x y < ε.

Lipschitz functions Definition. A function f : E R is called a Lipschitz function if there exists a constant L > 0 such that f(x) f(y) L x y for all x,y E. Any Lipschitz function is uniformly continuous. Using notation of the definition, let δ(ε) = ε/l, ε > 0. Then x y < δ(ε) implies f(x) f(y) L x y < Lδ(ε) = ε for all x,y E.

The function f(x) = x is uniformly continuous on [0, ) but not Lipschitz. For any n N, f(1/n) f(0) = 1/n = n 1/n 0. It follows that f is not Lipschitz. Given ε > 0, let δ = ε 2. Suppose x y < δ, where x,y 0. To estimate f(x) f(y), we consider two cases. In the case x,y [0,δ), we use the fact that f is strictly increasing. Then f(x) f(y) < f(δ) f(0) = δ = ε. Otherwise, when x / [0,δ) or y / [0,δ), we have max(x,y) δ. Then x y = x y x y < δ = δ = ε. x + y max(x,y) δ Thus f is uniformly continuous.

The function f(x) = x 2 is not uniformly continuous on R. Let ε = 2 and choose an arbitrary δ > 0. Let n δ be a natural number such that 1/n δ < δ. Further, let x δ = n δ +1/n δ and y δ = n δ. Then x δ y δ = 1/n δ < δ while f(x δ ) f(y δ ) = (n δ +1/n δ ) 2 n 2 δ = 2+1/n2 δ > ε. We conclude that f is not uniformly continuous. The function f(x) = x 2 is Lipschitz (and hence uniformly continuous) on any bounded interval [a,b]. For any x,y [a,b] we obtain x 2 y 2 = (x +y)(x y) = x +y x y ( x + y ) x y 2max( a, b ) x y.

Theorem Any function continuous on a closed bounded interval [a, b] is also uniformly continuous on [a, b]. Proof: Assume that a function f : [a,b] R is not uniformly continuous on [a,b]. We have to show that f is not continuous on [a, b]. By assumption, there exists ε > 0 such that for any δ > 0 we can find two points x,y [a,b] satisfying x y < δ and f(x) f(y) ε. In particular, for any n N there exist points x n,y n [a,b] such that x n y n < 1/n while f(x n ) f(y n ) ε. By construction, {x n } is a bounded sequence. According to the Bolzano-Weierstrass theorem, there is a subsequence {x nk } converging to a limit c. Moreover, c belongs to [a, b] as {x n } [a,b]. Since x n 1/n < y n < x n +1/n for all n N, the subsequence {y nk } also converges to c. However the inequalities f(x nk ) f(y nk ) ε imply that at least one of the sequences {f(x nk )} and {f(y nk )} is not converging to f(c). It follows that the function f is not continuous at c.

Theorem Suppose that a function f : E R is uniformly continuous on E. Then it maps Cauchy sequences to Cauchy sequences, that is, for any Cauchy sequence {x n } E the sequence {f(x n )} is also Cauchy. Proof: Let {x n } E be a Cauchy sequence. Since the function f is uniformly continuous on E, for every ε > 0 there exists δ = δ(ε) such that x y < δ and x,y E imply f(x) f(y) < ε. Since {x n } is a Cauchy sequence, there exists N = N(δ) N such that x n x m < δ for all n,m N. Then f(x n ) f(x m ) < ε for all n,m N. We conclude that {f(x n )} is a Cauchy sequence.

Dense subsets Definition. Given a set E R and its subset E 0 E, we say that E 0 is dense in E if for any point x E and any ε > 0 the interval (x ε,x +ε) contains an element of E 0. Examples. An open bounded interval (a,b) is dense in the closed interval [a, b]. The set Q of rational numbers is dense in R. Theorem A subset E 0 of a set E R is dense in E if and only if for any c E there exists a sequence {x n } E 0 converging to c. Proof: Suppose that for any point c E there is a sequence {x n } E 0 converging to c. Then any ε-neighborhood (c ε,c +ε) of c contains an element of that sequence. Conversely, suppose that E 0 is dense in E. Then, given c E, for any n N there is a point x n (c 1 n,c+1 n ) E 0. Clearly, x n c as n.

Continuous extension Theorem Suppose that a subset E 0 of a set E R is dense in E. Then any uniformly continuous function f : E 0 R can be extended to a continuous function on E. Moreover, the extension is unique and uniformly continuous. Proof: First let us show that a continuous extension of the function f to the set E is unique (assuming it exists). Suppose g,h : E R are two continuous extensions of f. Since the set E 0 is dense in E, for any c E there is a sequence {x n } E 0 converging to c. Since g and h are continuous at c, we get g(x n ) g(c) and h(x n ) h(c) as n. However g(x n ) = h(x n ) = f(x n ) for all n N. Hence g(c) = h(c).

Proof (continued): Given c E, let {x n } be a sequence of elements of E 0 converging to c. The sequence {x n } is Cauchy. Since f is uniformly continuous, it follows that the sequence {f(x n )} is also Cauchy. Hence it converges to a limit L. We claim that the limit L depends only on c and does not depend on the choice of the sequence {x n }. Indeed, let { x n } E 0 be another sequence converging to c. Then a sequence x 1, x 1,x 2, x 2,... also converges to c. Consequently, the sequence f(x 1 ),f( x 1 ),f(x 2 ),f( x 2 ),... is convergent. The limit is L since the subsequence {f(x n )} converges to L. Another subsequence is {f( x n )}, hence it converges to L as well. Now we set F(c) = L, which defines a function F : E R. The continuity of the function f implies that F(c) = f(c) for c E 0, i.e., F is an extension of f.

Proof (continued): It remains to show that the extension F is uniformly continuous. Given ε > 0, let ε 0 = ε/2. Since f is uniformly continuous, there is δ > 0 such that x y < δ implies f(x) f(y) < ε 0 for all x,y E 0. For any c,d E we can find sequences {x n } and {y n } of elements of E 0 such that x n c and y n d as n. By construction of F, we have f(x n ) F(c) and f(y n ) F(d) as n. If c d < δ, then x n y n < δ for all sufficiently large n. Consequently, f(x n ) f(y n ) < ε 0 for all sufficiently large n, which implies F(c) F(d) ε 0 < ε. Thus F is uniformly continuous.

Exponential functions Theorem For any a > 0 there exists a unique function F a : R R satisfying the following conditions: (i) F a (1) = a, (ii) F a (x +y) = F a (x)f a (y) for all x,y R, (iii) F a is continuous at 0. Remark. The function is denoted F a (x) = a x and called the exponential function with base a.

Sketch of the proof (existence) Let a 0 = 1, a 1 = a, and a n+1 = a n a for all n N. Further, let a n = 1/a n for all n N. Lemma 1 a m+n = a m a n and a mn = (a m ) n for all m,n Z. Lemma 2 If m 1,m 2 Z and n 1,n 2 N satisfy m 1 /n 1 = m 2 /n 2, then n 1 a m 1 = n 2 a m 2. For any r Q let a r = n a m, where m Z and n N are chosen so that r = m/n. Lemma 3 a r+s = a r a s and a rs = (a r ) s for all r,s Q. Lemma 4 The function f(r) = a r, r Q, is monotone. Lemma 5 a 1/n 1 as n. Lemma 6 The function f(r) = a r, r Q, is uniformly continuous on [b 1,b 2 ] Q for any bounded interval [b 1,b 2 ].