Functions. Chapter Continuous Functions

Similar documents
Continuity. Chapter 4

Continuity. Chapter 4

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

x y More precisely, this equation means that given any ε > 0, there exists some δ > 0 such that

CHAPTER 3: CONTINUITY ON R 3.1 TWO SIDED LIMITS

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

MATH 131A: REAL ANALYSIS (BIG IDEAS)

HOMEWORK ASSIGNMENT 6

8. Limit Laws. lim(f g)(x) = lim f(x) lim g(x), (x) = lim x a f(x) g lim x a g(x)

Chapter 5. Measurable Functions

Math 421, Homework #9 Solutions

Math 117: Continuity of Functions

Chapter 2: Functions, Limits and Continuity

Limit Theorems. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Limit Theorems

2 Sequences, Continuity, and Limits

MATH 104: INTRODUCTORY ANALYSIS SPRING 2008/09 PROBLEM SET 8 SOLUTIONS

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

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

HOMEWORK ASSIGNMENT 5

5. Some theorems on continuous functions

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.

8 Further theory of function limits and continuity

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

Logical Connectives and Quantifiers

Analysis II - few selective results

Chapter 3 Continuous Functions

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

Analysis II: Basic knowledge of real analysis: Part V, Power Series, Differentiation, and Taylor Series

Definitions & Theorems

Solutions Final Exam May. 14, 2014

Solutions Final Exam May. 14, 2014

Continuity. To handle complicated functions, particularly those for which we have a reasonable formula or formulas, we need a more precise definition.

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

FUNCTIONS OF A REAL VARIABLE

Functions as Relations

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

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

3 Measurable Functions

Copyright 2010 Pearson Education, Inc. Publishing as Prentice Hall.

2.7 Subsequences. Definition Suppose that (s n ) n N is a sequence. Let (n 1, n 2, n 3,... ) be a sequence of natural numbers such that

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions

Continuity. MATH 161 Calculus I. J. Robert Buchanan. Fall Department of Mathematics

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

Section 1.4 Tangents and Velocity

Math 140A - Fall Final Exam

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

MATH 23b, SPRING 2005 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Midterm (part 1) Solutions March 21, 2005

I know this time s homework is hard... So I ll do as much detail as I can.

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

Copyright c 2007 Jason Underdown Some rights reserved. quadratic formula. absolute value. properties of absolute values

REVIEW OF ESSENTIAL MATH 346 TOPICS

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

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.

Calculus I. 1. Limits and Continuity

MAS221 Analysis, Semester 1,

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.

2 Continuity, Differentiability and Taylor s theorem

Math 110 Midterm 1 Study Guide October 14, 2013

(a) For an accumulation point a of S, the number l is the limit of f(x) as x approaches a, or lim x a f(x) = l, iff

DRAFT - Math 101 Lecture Note - Dr. Said Algarni

ClassicalRealAnalysis.com

MATH NEW HOMEWORK AND SOLUTIONS TO PREVIOUS HOMEWORKS AND EXAMS

MTAEA Continuity and Limits of Functions

THE STONE-WEIERSTRASS THEOREM AND ITS APPLICATIONS TO L 2 SPACES

Section 21. The Metric Topology (Continued)

Calculus. Weijiu Liu. Department of Mathematics University of Central Arkansas 201 Donaghey Avenue, Conway, AR 72035, USA

You should also review L Hôpital s Rule, section 3.6; follow the homework link above for exercises.

Definition: For nonempty sets X and Y, a function, f, from X to Y is a relation that associates with each element of X exactly one element of Y.

Math 421, Homework #6 Solutions. (1) Let E R n Show that = (E c ) o, i.e. the complement of the closure is the interior of the complement.

Functions If (x, y 1 ), (x, y 2 ) S, then y 1 = y 2

Chapter 2. Limits and Continuity. 2.1 Rates of change and Tangents to Curves. The average Rate of change of y = f(x) with respect to x over the

M2P1 Analysis II (2005) Dr M Ruzhansky List of definitions, statements and examples. Chapter 1: Limits and continuity.

Problem Set 5: Solutions Math 201A: Fall 2016

Notes on uniform convergence

M2PM1 Analysis II (2008) Dr M Ruzhansky List of definitions, statements and examples Preliminary version

Continuity. Matt Rosenzweig

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

MT804 Analysis Homework II

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

1.1 Introduction to Limits

Math 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 8 Solutions Please write neatly, and in complete sentences when possible.

Fourth Week: Lectures 10-12

From now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.

Principle of Mathematical Induction

MATH 120 Theorem List

Notes. Functions. Introduction. Notes. Notes. Definition Function. Definition. Slides by Christopher M. Bourke Instructor: Berthe Y.

Analysis/Calculus Review Day 2

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:

1 Homework. Recommended Reading:

The Mean Value Inequality (without the Mean Value Theorem)

Solution of the 8 th Homework

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

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

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

A LITTLE REAL ANALYSIS AND TOPOLOGY

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

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

Exam 2 extra practice problems

1 Fundamental Concepts From Algebra & Precalculus

REAL ANALYSIS II: PROBLEM SET 2

Transcription:

Chapter 3 Functions 3.1 Continuous Functions A function f is determined by the domain of f: dom(f) R, the set on which f is defined, and the rule specifying the value f(x) of f at each x dom(f). If f is defined by a formula without mentioning its domain, the domain is understood to be the natural domain: the largest subset of R on which the formula is well defined. For example: the domain of f(x) = 1 x is R \ {0}; the domain of g(x) = x is {x R : x 0}. We may use x f(x) to denote the function f(x). For example, x 1 x is another way writing the function f(x) = 1 x. Definition 3.1.1. We say that f is continuous at x 0 in dom(f) if, for every sequence (x n ) in dom(f) (x n dom(f) for all n) such that x n x 0, we have f(x n ) f(x 0 ). f is said to be continuous if it is continuous at every x 0 dom(f). Theorem 3.1.1. f is continuous at x 0 dom(f) if and only if ε > 0, δ > 0, x dom(f) with x x 0 < δ, f(x) f(x 0 ) < ε. Proof. First suppose that f satisfies the above ε δ property. Suppose that (x n ) is a sequence in dom(f) and x n x 0. We will show that f(x n ) f(x 0 ). Fix ε > 0. There is δ > 0 such that if x dom(f) and x x 0 < δ then f(x) f(x 0 ) < ε. Since x n x 0, there is N N such that if n > N, then x n x 0 < δ. Since x n dom(f) for all n, combining the above two sentences, we see that if n > N, then f(x) f(x 0 ) < ε. Thus, f(x n ) f(x 0 ). Now suppose that f satisfies the property in the definition. Suppose that f does not satisfy the ε δ property. Then ε > 0, δ > 0, x dom(f) with x x 0 < δ, f(x) f(x 0 ) ε. The ε now is fixed. We have the freedom to choose different δ. The above formula implies that for every n N, there is x n dom(f) such that x n x 0 < 1 n and f(x n) f(x 0 ) ε. Then (x n ) is a sequence in dom(f). Since x 0 1 n < x n < x 0 + 1 n for all n, we have x n x 0. Since f(x n ) f(x 0 ) ε for all n, we do not have f(x n ) f(x 0 ), which is a contradiction. 50

Examples. 1. Using the definition and limit theorems, it is straightforward to check that f(x) = C, f(x) = x, f(x) = x, f(x) = 1 x (x 0), f(x) = x, and f(x) = x (x 0) are continuous.. The familiar functions: sin x, cos x, tan x, cot x, e x, and log x for x > 0 are all continuous in their domains. Rigorous proof requires definitions of these functions. We now simply accept that they are continuous. Given two functions f and g. The sum f + g is defined on dom(f) dom(g), and for every x dom(f) dom(g), the value (f + g)(x) is defined to be f(x) + g(x). The functions f g and fg are defined similarly. The quotient f/g is defined on dom(f) {x dom(g) : g(x) 0}, and (f/g)(x) = f(x)/g(x). Theorem 3.1.. Let f and g be continuous at x 0 R, and k R. Then kf, f, f + g, f g, and fg are continuous at x 0. If g(x 0 ) 0, then f/g is continuous at x 0. Proof. These results follow from the limit theorems for sequences. For example, we show that f/g is continuous at x 0 if g(x 0 ) 0. In this case x 0 dom(f/g). Suppose that (x n ) is a sequence in dom(f/g) and x n x 0. Since f and g are continuous at x 0, we have f(x n ) f(x 0 ) and g(x n ) g(x 0 ). Since g(x n ) and g(x 0 ) are not 0, we have f(x n )/g(x n ) f(x 0 )/g(x 0 ). So f/g is continuous at x 0. That kf, f + g, f g, and fg are continuous at x 0 follow from a similar argument. Corollary 3.1.1. Let f and g be continuous, and k R. Then kf, f, f + g, f g, fg, and f/g are all continuous. Proof. For example, from the previous theorem, f/g is continuous at every x 0 dom(f/g), so f/g is continuous. Examples. 1. A polynomial function P (x) = a 0 + a 1 x + a x + a n x n is continuous. Proof. We know that f(x) = a 0 and f(x) = x are continuous. Applying the product rule repeatedly, we see that f(x) = a k x k is continuous for any 0 k n. Since P (x) is the sum of these functions, we see that P (x) is continuous.. Let P (x) and Q(x) be two polynomial functions. Then R(x) = P (x) Q(x) domain (all x such that Q(x) 0). is continuous in its 3. If f(x) and g(x) are continuous at x 0, then max{f, g} and min{f, g} are continuous at x 0. The reason is that max{f(x), g(x)} = f(x)+g(x) + f(x) g(x) and min{f(x), g(x)} = f(x)+g(x) f(x) g(x). 51

Let f and g be two functions. The composite g f is defined by: dom(g f) = {x dom(f) : f(x) dom(g)}, and for every x dom(g f), g f(x) = g(f(x)). Theorem 3.1.3. If f is continuous at x 0 and g is continuous at f(x 0 ), then g f is continuous at x 0. Proof. Suppose that (x n ) is a sequence in dom(g f) and x n x 0. Then (x n ) is a sequence in dom(f) and (f(x n )) is a a sequence in dom(g). Since f is continuous at x 0, f(x n ) f(x 0 ). Since g is continuous at f(x 0 ), g(f(x n )) g(x 0 ). Corollary 3.1.. If f and g are both continuous, then g f is continuous. Examples. 1. For x > 0 and y R, the power function x y is defined as e y log x. For a fixed y R, x x y is the composition of x log x, x yx, and x e x, and so is continuous. For a fixed x > 0, y x y is the composition of y y log x and y e y, and so is continuous.. e sin x and sin(e x ) are continuous, sin x is continuous at those x such that sin x 0. 3. f(x) = x sin( 1 x ) is defined on R \ {0}, and is continuous on this domain. Now we extend f to R by letting f(0) = 0. We claim that f is also continuous at 0. The is proved by definition. First, we see that f(x) x for all x R. Suppose that x n 0. Then f(x n ) x n for all n, from a corollary of the squeeze theorem, we get f(x n ) 0 = f(0). Thus, f is continuous at 0. 4. f(x) = sin( 1 x ) is defined on R \ {0}, and is continuous on its domain. We will show that it is not possible to extend f to R such that f is continuous at 0. Suppose such extension 1 1 exists. Let x n = nπ+ π and y n = nπ π, n N. Then x n 0 and y n 0. We have f(x n ) = sin(nπ + π ) = 1 and f(y n) = sin(nπ π ) = 1 for all n N. Since f is continuous at 0, 1 = lim f(x n ) = f(0) = lim f(y n ) = 1, which is a contradiction. Homework. 17.1, 17.10 (a,b,c), 17.1 3. Properties of Continuous Functions Theorem 3..1. [Extreme Value Theorem] Let f be a continuous function on [a, b]. Then f is bounded, and f assumes its maximum and minimum values on [a, b]. In other words, let S = f([a, b]) := {f(x) : x [a, b]}. Then max S and min S exist. This means that there exist x 0, y 0 [a, b] such that f(x 0 ) f(x) f(y 0 ) for all x [a, b]. 5

Proof. First we show that S = f([a, b]) is bounded above. If this is not true, then for any n N, there is s n S such that s n > n. Then there is x n [a, b] such that f(x n ) > n. So f(x n ). Apply the Bolzano-Weierstrass theorem to the bounded sequence (x n ). We see that (x n ) has a convergent subsequence (x nk ). Let x 0 be its limit. Since a x nk b for all k, by the comparison theorem, x 0 [a, b]. Since f is continuous on [a, b], f(x nk ) f(x 0 ) R. However, since (f(x nk )) is a subsequence of (f(x n )), we have f(x nk ), which is a contradiction. Thus, f is bounded above. So sup S R. For any n N, sup S 1 n is not an upper bound of S. So there is s n S such that s n > sup S 1 n. Since s n S, sup S s n > sup S 1 n, which implies that s n sup S. For every n, s n = f(x n ) for some x n [a, b]. Apply the Bolzano-Weierstrass theorem to (x n ). We see that (x n ) has a subsequence (x nk ), which converges to some y 0 [a, b]. Since f is continuous at y 0, s nk = f(x nk ) f(y 0 ). Since (s nk ) is a subsequence of (s n ), and s n sup S, we have s nk sup S. Thus, f(y 0 ) = sup S, which means sup S S, and so that max S exists. The proof that min S exists is similar. Theorem 3... [Intermediate Value Theorem] Suppose f is continuous on [a, b] and f(a) f(b). Then for any y that lies between f(a) and f(b) (i.e., f(a) < y < f(b) or f(b) < y < f(a)) there exists x (a, b) such that f(x) = y. The theorem is intuitively clear from a geometric observation. We now give a rigorous proof. Proof. We assume that f(a) < y < f(b). The other case is similar. Let S = {x [a, b] : f(x) < y}. Since a S, S. Since S [a, b], it is bounded above. Thus, x 0 = sup S exists and a x 0 b. For each n N, x 0 1 n is not an upper bound of S. So there is s n S such that x 0 s n > x 0 1 n. So s n x 0. Since f is continuous at x 0, f(s n ) f(x 0 ). Since f(s n ) < y for all n, we get f(x 0 ) y. Since f(b) > y, b S. Since x 0 = sup S, x 0 + 1 n S for any n N. Let t n = min{b, x 0 + 1 n } for n N. Then t n [a, b] \ S and x 0 < t n < x 0 + 1 n. Thus, t n x 0. That t n [a, b] \ S implies that f(t n ) y. That t n x 0 implies that f(t n ) f(x 0 ). From f(t n ) y for each n we get f(x 0 ) y. So f(x 0 ) = y. We now give some applications of the Intermediate Value Theorem. Corollary 3..1. Suppose f is continuous on an interval I. Then f(i) = {f(x) : x I} is either an interval or a single point. Proof. Let J = f(i), M = sup J and m = inf J. Here M could be +, and m could be. If M = m, then f(i) = J contains only one point. Now suppose that m < M. Then J [m, M]. Suppose y (m, M). Then y is neither an upper bound nor a lower bound of J. So there are y 1, y S such that y 1 < y < y. There are a < b I such that f(a) = y 1 and f(b) = y, or f(a) = y and f(b) = y 1. Since f is continuous on [a, b], from the Intermediate Value Theorem, there is x (a, b) such that f(x) = y. Thus, y J. So we find that (m, M) J [m, M], which implies that f(i) = J is an interval. 53

Corollary 3... Suppose that f is continuous on [0, 1], and f(x) [0, 1] for every x [0, 1]. Then f has a fixed point, which means that there exists x [0, 1] such that f(x) = x. Proof. Let g(x) = f(x) x. Then g is continuous on [0, 1]. Note that g(0) = f(0) 0 and g(1) = f(1) 1 0. Suppose that f has no fixed point. Then g(x) 0 for all x [0, 1]. Thus, g(0) > 0 > g(1). From the Intermediate Value Theorem, there is x (0, 1) such that g(x) = 0, which is a contradiction. Theorem 3..3. [Existence of Power Root] For every n N and x R with x 0, there is a unique y R with y 0 such that y n = x. Proof. We first prove the existence. If x = 0, we may take y = 0. Now suppose x > 0. Let f(y) = y n. Then f is continuous, and we want y > 0 such that f(y) = x. Observe that f(0) = 0 < x, and f(1 + x) = (1 + x) n 1 + nx > x. Applying the Intermediate Value Theorem, we see that there exists y (0, 1 + x) with f(y) = x. Now we prove the uniqueness. Suppose y 1, y 0 satisfy y1 n = yn = x. Then we must have y 1 = y because if, say y 1 > y, then y1 n > yn, which is a contradiction. Homework. 18., 18.5, 18.6 3.3 Uniform Continuity Recall that from a theorem, f defined on S is continuous, if and only if x 0 S, ε > 0, δ > 0, x S with x x 0 < δ, f(x) f(x 0 ) < ε. (3.1) The point is that the δ depends on both ε and x 0. We say that f is uniformly continuous on S if we can find δ without knowing x 0, i.e., ε > 0, δ > 0, x 0 S, x S with x x 0 < δ, f(x) f(x 0 ) < ε. (3.) 54