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

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

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

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

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

Logical Connectives and Quantifiers

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

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

MATH 131A: REAL ANALYSIS (BIG IDEAS)

Continuity. Chapter 4

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Lemma 15.1 (Sign preservation Lemma). Suppose that f : E R is continuous at some a R.

Continuity. Chapter 4

Solutions Final Exam May. 14, 2014

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

Functions. Chapter 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.

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.

1 Definition of the Riemann integral

HOMEWORK ASSIGNMENT 5

5. Some theorems on continuous functions

2 Sequences, Continuity, and Limits

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

Definitions & Theorems

A LITTLE REAL ANALYSIS AND TOPOLOGY

Solutions Final Exam May. 14, 2014

Part 2 Continuous functions and their properties

Econ Slides from Lecture 1

CH 2: Limits and Derivatives

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

Advanced Calculus Math 127B, Winter 2005 Solutions: Final. nx2 1 + n 2 x, g n(x) = n2 x

Analysis II - few selective results

FINAL REVIEW FOR MATH The limit. a n. This definition is useful is when evaluating the limits; for instance, to show

Economics 204 Summer/Fall 2017 Lecture 7 Tuesday July 25, 2017

CHAPTER 3: CONTINUITY ON R 3.1 TWO SIDED LIMITS

HOMEWORK ASSIGNMENT 6

Principle of Mathematical Induction

We say that the function f obtains a maximum value provided that there. We say that the function f obtains a minimum value provided that there

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

Induction, sequences, limits and continuity

REVIEW OF ESSENTIAL MATH 346 TOPICS

Continuity. Matt Rosenzweig

Bounded Derivatives Which Are Not Riemann Integrable. Elliot M. Granath. A thesis submitted in partial fulfillment of the requirements

Week 2: Sequences and Series

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

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

Discrete dynamics on the real line

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

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

PRELIMS: ANALYSIS II

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

McGill University Math 354: Honors Analysis 3

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

MATH NEW HOMEWORK AND SOLUTIONS TO PREVIOUS HOMEWORKS AND EXAMS

Chapter 2: Functions, Limits and Continuity

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

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall

Notes on Complex Analysis

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

G1CMIN Measure and Integration

Mathematical Methods for Physics and Engineering

(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

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

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

REAL ANALYSIS II: PROBLEM SET 2

Question 1. Question 3. Question 4. Graduate Analysis I Exercise 4

Chapter 3 Continuous Functions

Introduction to Real Analysis

Sample Problems for the Second Midterm Exam

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

van Rooij, Schikhof: A Second Course on Real Functions

1 Lecture 25: Extreme values

Limits and continuity

Math 421, Homework #9 Solutions

The Mean Value Theorem and the Extended Mean Value Theorem

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Spring

Econ Slides from Lecture 2

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

Test 3 Review. y f(a) = f (a)(x a) y = f (a)(x a) + f(a) L(x) = f (a)(x a) + f(a)

MAS221 Analysis, Semester 1,

CHAPTER 6. Limits of Functions. 1. Basic Definitions

DRAFT - Math 101 Lecture Note - Dr. Said Algarni

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall

Immerse Metric Space Homework

Math 312 Spring08 Day 13

Section 4.2 The Mean Value Theorem

MORE ON CONTINUOUS FUNCTIONS AND SETS

van Rooij, Schikhof: A Second Course on Real Functions

CHAPTER 7. Connectedness

Econ Lecture 7. Outline. 1. Connected Sets 2. Correspondences 3. Continuity for Correspondences

Math Section Bekki George: 08/28/18. University of Houston. Bekki George (UH) Math /28/18 1 / 37

Caculus 221. Possible questions for Exam II. March 19, 2002

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

8 Further theory of function limits and continuity

Solution of the 8 th Homework

2.4 The Precise Definition of a Limit

MAT137 Calculus! Lecture 10

The Mean Value Inequality (without the Mean Value Theorem)

Notes: 1. Regard as the maximal output error and as the corresponding maximal input error

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

MAT01B1: Maximum and Minimum Values

Transcription:

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

Continuity Definition. Given a set E R, a function f : E R, and a point c E, the function f is continuous at c if for any ε > 0 there exists δ = δ(ε) > 0 such that x c < δ and x E imply f(x) f(c) < ε. We say that the function f is continuous on a set E 0 E if f is continuous at every point c E 0. The function f is continuous if it is continuous on the entire domain E. Remarks. In the case E = (a,b), the function f is continuous at a point c E if and only if f(c) = lim f(x). In the case E = [a,b], the function f is continuous at a point c (a,b) if f(c) = lim f(x). It is continuous at a if f(a) = lim x a+ f(x) and continuous at b if f(b) = lim x b f(x).

Theorem A function f : E R is continuous at a point c E if and only if for any sequence {x n } of elements of E, x n c as n implies f(x n ) f(c) as n. Theorem Suppose that functions f,g : E R are both continuous at a point c E. Then the functions f +g, f g, and fg are also continuous at c. If, additionally, g(c) 0, then the function f/g is continuous at c as well.

Bounded functions Definition. A function f : E R is bounded on a subset E 0 E if there exists C > 0 such that f(x) C for all x E 0. In the case E 0 = E, we say that f is bounded. The function f is bounded above on E 0 if there exists C R such that f(x) C for all x E 0. It is bounded below on E 0 if there exists C R such that f(x) C for all x E 0. Equivalently, f is bounded on E 0 if the image f(e 0 ) is a bounded subset of R. Likewise, the function f is bounded above on E 0 if the image f(e 0 ) is bounded above. It is bounded below on E 0 if f(e 0 ) is bounded below. Example. h : R R, h(0) = 0, h(x) = 1/x for x 0. The function h is unbounded. At the same time, it is bounded on [1, ) and on (, 1]. It is bounded below on (0, ) and bounded above on (, 0).

Theorem If I = [a,b] is a closed, bounded interval of the real line, then any continuous function f : I R is bounded. Proof: Assume that a function f : I R is unbounded. Then for every n N there exists a point x n I such that f(x n ) > n. We obtain a sequence {x n } of elements of I such that the sequence {f(x n )} diverges to infinity. Since the interval I is bounded, the sequence {x n } has a convergent subsequence {x nk } (due to the Bolzano- Weierstrass Theorem). Let c = lim k x nk. Then c [a,b] (due to the Comparison Theorem). Since the sequence {f(x nk )} is a subsequence of {f(x n )}, it diverges to infinity. In particular, it does not converge to f(c). It follows that the function f is discontinuous at c. Thus any continuous function on [a, b] has to be bounded.

Discontinuities A function f : E R is discontinuous at a point c E if it is not continuous at c. There are various kinds of discontinuities including the following ones. The function f has a jump discontinuity at a point c if both one-sided limits at c exist, but they are not equal: lim f(x) lim f(x). + The function f has a removable discontinuity at a point c if the limit at c exists, but it is different from the value at c: f(x) f(c). lim If the function f is continuous at a point c, then it is locally bounded at c, which means that f is bounded on the set (c δ,c +δ) E provided δ > 0 is small enough. Hence any function not locally bounded at c is discontinuous at c.

Examples Constant function: f(x) = a for all x R and some a R. Since lim f(x) = a for all c R, the function f is continuous. Identity function: f(x) = x, x R. Since lim f(x) = c for all c R, the function is continuous. Step function: f(x) = { 1 if x > 0, 0 if x 0. Since lim x 0 f(x) = 0 and lim x 0+ f(x) = 1, the function has a jump discontinuity at 0. It is continuous on R\{0}.

Examples f(0) = 0 and f(x) = 1 x for x 0. Since lim f(x) = 1/c for all c 0, the function f is continuous on R\{0}. It is discontinuous at 0 as it is not locally bounded at 0. f(0) = 0 and f(x) = sin 1 x for x 0. Since lim f(x) does not exist, the function is discontinuous x 0+ at 0. Notice that it is neither jump nor removable discontinuity, and the function f is bounded. f(0) = 0 and f(x) = x sin 1 x for x 0. Since lim x 0 f(x) = 0, the function is continuous at 0.

Examples Dirichlet function: f(x) = { 1 if x Q, 0 if x R\Q. Since lim f(x) never exists, the function has no points of continuity. Riemann function: { 1/q if x = p/q, a reduced fraction, f(x) = 0 if x R\Q. Since lim f(x) = 0 for all c R, the function f is continuous at irrational points and discontinuous at rational points. Moreover, all discontinuities are removable.

Extreme Value Theorem Theorem If I = [a,b] is a closed, bounded interval of the real line, then any continuous function f : I R attains its extreme values (maximum and minimum) on I. To be precise, there exist points x min,x max I such that f(x min ) f(x) f(x max ) for all x I. Remark 1. The theorem may not hold if the interval I is not closed. Counterexample: f(x) = x, x (0,1). Neither maximum nor minimum is attained. Remark 2. The theorem may not hold if the interval I is not bounded. Counterexample: f(x) = 1/(1+x 2 ), x [0, ). The maximal value is attained at 0 but the minimal value is not attained.

Extreme Value Theorem Proof of the theorem: Since the function f is continuous, it is bounded on I. Hence m = inf f(x) and M = supf(x) are x I x I well-defined numbers. In different notation: m = inff(i), M = supf(i). Clearly, m f(x) M for all x I. For any n N the number M 1 is not an upper bound of n the set f(i) while m+ 1 is not a lower bound of f(i). Hence n we can find points x n,y n I such that f(x n ) > M 1 and n f(y n ) < m+ 1. By construction, f(x n n) M and f(y n ) m as n. The Bolzano-Weierstrass Theorem implies that the sequences {x n } and {y n } have convergent subsequences (or, in other words, they have limit points). Let c be a limit point of {x n } and d be a limit point of {y n }. Notice that c,d I. The continuity of f implies that f(c) is a limit point of {f(x n )} and f(d) is a limit point of {f(y n )}. We conclude that f(c) = M and f(d) = m.

Intermediate Value Theorem Theorem If a function f : [a,b] R is continuous then any number y 0 that lies between f(a) and f(b) is a value of f, i.e., y 0 = f(x 0 ) for some x 0 [a,b]. Proof: In the case f(a) = f(b), the theorem is trivial. In the case f(a) > f(b), we notice that the function f is continuous on [a,b], f(a) < f(b), and y 0 lies between f(a) and f(b). Hence we can assume without loss of generality that f(a) < f(b). Further, if a number y 0 lies between f(a) and f(b), then 0 lies between f(a) y 0 and f(b) y 0. Moreover, the function g(x) = f(x) y 0 is continuous on [a,b] and g(a) < g(b) if and only if f(a) < f(b). Hence it is no loss to assume that y 0 = 0. Now the theorem is reduced to the following special case.

Theorem If a function f : [a,b] R is continuous and f(a) < 0 < f(b), then f(x 0 ) = 0 for some x 0 (a,b). Proof: Let E = {x [a,b] f(x) > 0}. The set E is nonempty (as b E) and bounded (as E [a,b]). Therefore x 0 = infe exists. Observe that x 0 [a,b] (x 0 b as b E; x 0 a as a is a lower bound of E). To complete the proof, we need the following lemma. Lemma If a function f is continuous at a point c and f(c) 0, then f maintains its sign in a sufficiently small neighborhood of c. The lemma implies that f(x 0 ) = 0. Indeed, if f(x 0 ) 0 then for some δ > 0 the function f maintains its sign in the interval (x 0 δ,x 0 +δ) [a,b]. In the case f(x 0 ) > 0, we obtain that x 0 > a and x 0 is not a lower bound of E. In the case f(x 0 ) < 0, we obtain that x 0 < b and x 0 is not the greatest lower bound of E. Either way we arrive at a contradiction.

Lemma If a function f is continuous at a point c and f(c) 0, then f maintains its sign in a sufficiently small neighborhood of c. Proof of lemma: Since f is continuous at c and f(c) > 0, there exists δ > 0 such that f(x) f(c) < f(c) whenever x c < δ. The inequality f(x) f(c) < f(c) implies that the number f(x) has the same sign as f(c). Corollary If a real-valued function f is continuous on a closed bounded interval [a, b], then the image f([a, b]) is also a closed bounded interval. Proof: By the Extreme Value Theorem, there exist points x min,x max [a,b] such that f(x min ) f(x) f(x max ) for all x [a,b]. Let I 0 denote the closed interval with endpoints x min and x max. Let J denote the closed interval with endpoints f(x min ) and f(x max ). We have that f([a,b]) J. The Intermediate Value Theorem implies that f(i 0 ) = J. Since I 0 [a,b], we obtain that f([a,b]) = J.