x a x 2 (1 + x 2 ) n.



Similar documents
Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

Homework # 3 Solutions

1 if 1 x 0 1 if 0 x 1

FIRST YEAR CALCULUS. Chapter 7 CONTINUITY. It is a parabola, and we can draw this parabola without lifting our pencil from the paper.

LIMITS AND CONTINUITY

I. Pointwise convergence

THE BANACH CONTRACTION PRINCIPLE. Contents

Metric Spaces Joseph Muscat 2003 (Last revised May 2009)

Practice with Proofs

Critical points of once continuously differentiable functions are important because they are the only points that can be local maxima or minima.

Continuity. DEFINITION 1: A function f is continuous at a number a if. lim

36 CHAPTER 1. LIMITS AND CONTINUITY. Figure 1.17: At which points is f not continuous?

Notes on metric spaces

1. Prove that the empty set is a subset of every set.

Metric Spaces. Chapter Metrics

Fixed Point Theorems

TOPIC 4: DERIVATIVES

CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12

Section 3.7. Rolle s Theorem and the Mean Value Theorem. Difference Equations to Differential Equations

HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!

The Mean Value Theorem

Lecture Notes on Analysis II MA131. Xue-Mei Li

CS 103X: Discrete Structures Homework Assignment 3 Solutions

Lectures 5-6: Taylor Series

Metric Spaces. Chapter 1

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties

5.3 Improper Integrals Involving Rational and Exponential Functions

God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886)

5.1 Derivatives and Graphs

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES

MA4001 Engineering Mathematics 1 Lecture 10 Limits and Continuity

Introduction to Topology

1. Then f has a relative maximum at x = c if f(c) f(x) for all values of x in some

No: Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics

n k=1 k=0 1/k! = e. Example 6.4. The series 1/k 2 converges in R. Indeed, if s n = n then k=1 1/k, then s 2n s n = 1 n

4.5 Chebyshev Polynomials

BANACH AND HILBERT SPACE REVIEW

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.

MATHEMATICAL INDUCTION. Mathematical Induction. This is a powerful method to prove properties of positive integers.

Chapter 7. Continuity

MA651 Topology. Lecture 6. Separation Axioms.

Taylor and Maclaurin Series

1 Norms and Vector Spaces

Inner Product Spaces

Lecture Notes for Analysis II MA131. Xue-Mei Li with revisions by David Mond

6.2 Permutations continued

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011

Real Roots of Univariate Polynomials with Real Coefficients

10.2 Series and Convergence

Math 104: Introduction to Analysis

Two Fundamental Theorems about the Definite Integral

t := maxγ ν subject to ν {0,1,2,...} and f(x c +γ ν d) f(x c )+cγ ν f (x c ;d).

9 More on differentiation

4.3 Lagrange Approximation

Intermediate Value Theorem, Rolle s Theorem and Mean Value Theorem

Rolle s Theorem. q( x) = 1

Mathematics for Econometrics, Fourth Edition

Nonlinear Algebraic Equations. Lectures INF2320 p. 1/88

Metric Spaces. Lecture Notes and Exercises, Fall M.van den Berg

To discuss this topic fully, let us define some terms used in this and the following sets of supplemental notes.

Mathematical Induction

Follow links for Class Use and other Permissions. For more information send to:

So let us begin our quest to find the holy grail of real analysis.

Mathematical Methods of Engineering Analysis

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

ALMOST COMMON PRIORS 1. INTRODUCTION

The Henstock-Kurzweil-Stieltjes type integral for real functions on a fractal subset of the real line

Section 2.7 One-to-One Functions and Their Inverses

Solutions to Homework 10

THE CONTRACTION MAPPING THEOREM

SCORE SETS IN ORIENTED GRAPHS

Mathematics 31 Pre-calculus and Limits

MATH PROBLEMS, WITH SOLUTIONS

Department of Mathematics, Indian Institute of Technology, Kharagpur Assignment 2-3, Probability and Statistics, March Due:-March 25, 2015.

(Basic definitions and properties; Separation theorems; Characterizations) 1.1 Definition, examples, inner description, algebraic properties

THE CENTRAL LIMIT THEOREM TORONTO

k, then n = p2α 1 1 pα k

Friday, January 29, :15 a.m. to 12:15 p.m., only

Triangle deletion. Ernie Croot. February 3, 2010

4. Expanding dynamical systems

The Steepest Descent Algorithm for Unconstrained Optimization and a Bisection Line-search Method

On continued fractions of the square root of prime numbers

Continued Fractions and the Euclidean Algorithm

1. Let X and Y be normed spaces and let T B(X, Y ).

H/wk 13, Solutions to selected problems

1. Let P be the space of all polynomials (of one real variable and with real coefficients) with the norm

Solutions of Equations in One Variable. Fixed-Point Iteration II

5. Linear algebra I: dimension

A power series about x = a is the series of the form

The Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors.

Polarization codes and the rate of polarization

The Fourier Series of a Periodic Function

Verifying Numerical Convergence Rates

Some Polynomial Theorems. John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

Every Positive Integer is the Sum of Four Squares! (and other exciting problems)

Stanford Math Circle: Sunday, May 9, 2010 Square-Triangular Numbers, Pell s Equation, and Continued Fractions

GREATEST COMMON DIVISOR

Transcription:

Limits and continuity Suppose that we have a function f : R R. Let a R. We say that f(x) tends to the limit l as x tends to a; lim f(x) = l ; x a if, given any real number ɛ > 0, there exists a real number δ > 0 such that f(x) l < ɛ 0 < x a < δ. Note:. The function need not be defined at x = a in order to have a limit there. This is typically the case when we are evaluating derivatives. 2. Even if f(a) exists, it is not necessary that f(a) = l. e.g. Consider the function f(x) defined by f(x) = n=0 x 2 ( + x 2 ) n. f(0) = 0, but for x 0, we can sum the geometric progression to obtain f(x) = + x 2. Therefore lim x 0 f(x) =. 3. For given ɛ, the value of δ is not fixed. If the property holds for some δ > 0 then it holds for any 0 < δ δ. If f(a) exists and f(a) = l, we say that f(x) is continuous at x = a. That is: f(x) is continuous at x = a, if f(a) exists, and, given any ɛ > 0, there is a δ > 0, (which value depends usually on both x and ɛ) such that f(x) f(a) < ɛ x a < δ. Note that since the first inequality is trivially satisfied when x = a, there is no need to exclude this case from the definition. This definition of continuity does not accord with the intuitive idea of drawing the graph without taking the pencil off the paper. This is because it defines continuity at a point. This allows some unexpected results. For example, consider the following functions:. f(x) = x if x is rational, f(x) = x if x is irrational. This function is continuous only at the point x = 0.

2 2. f(x) = q when x = p q, p and q(> 0) coprime; f(x) = 0 when x is irrational. If a = p q is rational, then if we take ɛ = 2q, for every irrational x, f(x) f(a) = 0 q = q > ɛ. Since every interval x a < δ contains irrational points, there is no δ > 0 such that f(x) f(a) < ɛ x a < δ. Therefore f(x) is discontinuous at every rational value of x. On the other hand, given any ɛ > 0, we can find an integer Q such that ɛ > Q. For any irrational value a, consider the interval x a < 2. In this interval there are at most q rational numbers of the form p q, so that there are at most Q(Q )/2 such numbers for which q > Q. If we set δ = min p q<q q a then δ 0 since a is irrational, and if x a < min( 2, δ), when x is irrational; while if x = p q, q Q, so that f(x) f(a) = 0 0 < ɛ f(x) f(a) = q Q < ɛ. Therefore this function is continuous for every irrational value of x. This definition of continuity allows us to extend our consideration of the convergence of sequences. In particular, we have the following result: The function f(x) is continuous at x = a if and only if for every sequence {x n } which converges to a, the sequence {f(x n )} converges to f(a). This result is of central importance to analysis. The proof of the first part is straightforward. If the function f(x) is continuous at x = a, then given any ɛ > 0, there is a δ > 0 such that f(x) f(a) < ɛ x a < δ. For any sequence which converges to a, for this value δ we can find an integer N such that x n a < δ n > N. Therefore i.e. {f(x n )} converges to f(a). f(x n ) f(a) < ɛ n > N.

To prove the converse result that f(x n ) f(a) for every sequence x n a implies that f(x) is continuous at x = a, we show that if f(x) is NOT continuous at x = a then we can construct a sequence {x n } which converges to a but for which {f(x n } does not converge to f(a). Note that if f(a) does not exist, the result is trivially true. Otherwise, if f(x) is not continuous at x = a, then there is some value ɛ > 0 such that for every δ > 0 we can find a number X such that X a < δ and f(x) f(a) ɛ. Note that X a so that X a > 0. Begin with δ =. There is a value X such that X a < δ = ; f(x ) f(a) > ɛ. Choose δ 2 = 2 X a > 0. There is a value X 2 such that 3 X 2 a < δ 2 < 2 ; f(x 2) f(a) > ɛ. We proceed inductively defining δ n+ = 2 X n a and then determining the value X n+. The sequence {X n } has the property that so that it converges to a. However, X n a < 2 n n, f(x n ) f(a) > ɛ n, so that this sequence does not converge to f(a). As an illustration, consider the second function discussed above. If we take a = π, and consider the sequence then the sequence {f(x n )} is {3, 3., 3.4, 3.4, 3.45, 3.459,... } {, 0., 0.02, 0.00, 0.0005, 0.0000,... } which converges to f(π) = 0. On the other hand, for a = 3, we can consider the sequence which converges to a. The sequence {f(x n )} is {0.3, 0.33, 0.333,... } {0., 0.0, 0.00,... } which converges to 0, while f(a) = 3. This is in accord with the fact that f(x) is continuous for x irrational, but discontinous for x rational.

4 We could in fact use this property to give another proof that this function is not continuous at any rational point. For any rational number r, consider the sequence x n = r + 2 n which converges to r. Each x n is irrational, so that f(x n ) = 0 for each x n, and the sequence {f(x n )} does not converge to f(r). Therefore f is not continuous at r. As a second illustration, consider the sequence {p 2 n/q 2 n} which we showed converges to 2. If the function f(x) is continuous at x = 2, then ( ) p 2 f n f(2). In particular, for f(x) = x, we obtain the result q 2 n p n q n 2. We recover our intuitive idea of continuity by considering continuity on an interval. Given some interval I, the function f(x) is continuous on I if it is continuous (in the pointwise sense above) at every point of I. In particular, we have the Intermediate Value Theorem: If the function f is continuous on the interval I, then for every a < b in I, and for every l between f(a) and f(b), there is a number c in (a, b) such that f(c) = l. (The converse is not true; a function may have the intermediate value property without being continuous. Consider for example f(x) = x /x with a < and b >.) Suppose without loss of generality that f(a) < f(b), and consider the set of all numbers x [a, b] for which f(x) < l. Since a is in this set, it is non-empty. This set is bounded above by b, therefore it has a least upper bound c. We will show that f(c) = l. Note that since f(b) > l, and f is continuous at b, there is a δ > 0 such that f(x) f(b) < f(b) l l < f(x) < 2f(b) l for all x b < δ; b δ < x < b + δ, so that c b δ. Similarly, c a + δ for some δ > 0. Suppose that f(c) < l. We know that f(x) is continuous at x = c. Therefore, for ɛ = l f(c) > 0, we can find δ > 0 such that f(x) f(c) < ɛ x c < δ.

5 Therefore f(x) < l x < c + δ and c is not an upper bound for the set. On the other hand, if f(c) > l, we choose ɛ = f(c) l > 0. There is a δ > 0 such that f(x) f(c) < f(c) l x c < δ f(x) < l x > c δ so that c is not the least upper bound. Together these two contradictions show that f(c) = l as required. Uniform continuity. Suppose that the function f is continuous on an interval I. For any given ɛ > 0 and for each x I, we can find some δ > 0 such that f(y) f(x) < ɛ y x < δ Therefore the set of values of δ for which this is true is non-empty. If the set of values is not bounded above (which happens if the function is a constant) choose δ(x, ɛ) =. Otherwise, let δ(x, ɛ) be the supremum of this set of values. Note that for any δ < δ(x, ɛ), f(y) f(x) < ɛ y x < δ Now consider the function δ(x, ɛ) for x I. It is defined for every x I, so that the set of values is non-empty. Also, each δ(x, ɛ) > 0, so that this set of values is bounded below. Therefore, this set has a greatest lower bound, δ(i, ɛ) say. If δ(i, ɛ) > 0 for every ɛ > 0, we say that the function is uniformly continuous on the interval. This means that given ɛ > 0, we can find δ > 0 (which depends on ɛ and on the interval I but not on particular points in I) such that for every x, y I such that f(y) f(x) < ɛ y x < δ For example, consider f(x) = sin x. ( ) ( ) sin y sin x = 2 sin (y x) cos (y + x) 2 2 For all values of θ, sin θ θ cos θ so that sin y sin x 2 (y x) 2 = y x Therefore, given any ɛ > 0, sin y sin x < ɛ y x < ɛ and this function is uniformly continuous on R.

6 On the other hand, consider the function f(x) = x 2. For x R, δ(x, ɛ) = x 2 ɛ + ɛ x = x2 + ɛ + x. While this is positive for all x R, so that f is continuous on R, δ(x, ɛ) 0 as x, so that f is not uniformly continuous on R. On the other hand, if we restrict the function to a finite interval [ a, a], δ(x, ɛ) a 2 + ɛ a for all x [ a, a], so that f is uniformly continuous on the finite interval. Finally, consider the function f(x) = /x on the interval (0, ]. In this case δ(x, ɛ) = ɛx2 + ɛx which goes to 0 as x 0+. Therefore f is continuous on (0, ] but not uniformly continuous. Uniform continuity is relevant to Cauchy sequences. If {x n } is a Cauchy sequence in some set S, and f is uniformly continuous on S, then {f(x n )} is also a Cauchy sequence. Given any ɛ > 0, we can find δ > 0 such that f(x) f(y) < ɛ x, y S ; x y < δ. Since {x n } is Cauchy, given this δ > 0 we can find an integer N such that But then and the sequence {f(x n )} is Cauchy. x n x m < δ m, n > N. f(x n ) f(x m ) < ɛ m, n > N, Therefore, for any Cauchy sequence {x n } in R, {sin(x n )} is also a Cauchy sequence, and since Cauchy sequences are bounded, {x 2 n} is also Cauchy. On the other hand, { n } is a Cauchy sequence on (0, ], but {n} is not a Cauchy sequence.