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

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

Course 212: Academic Year Section 1: Metric Spaces

Many of you got these steps reversed or otherwise out of order.

MAS331: Metric Spaces Problems on Chapter 1

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Real Analysis. Joe Patten August 12, 2018

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

THE INVERSE FUNCTION THEOREM

Math 140A - Fall Final Exam

Continuity. Matt Rosenzweig

Immerse Metric Space Homework

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

MAS3706 Topology. Revision Lectures, May I do not answer enquiries as to what material will be in the exam.

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

CHAPTER 1. Metric Spaces. 1. Definition and examples

Contraction Mappings Consider the equation

Selçuk Demir WS 2017 Functional Analysis Homework Sheet

Lecture Notes on Metric Spaces

MATH 202B - Problem Set 5

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

2. Metric Spaces. 2.1 Definitions etc.

Math 117: Infinite Sequences

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

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

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

Solutions to Chapter 17 exercises

Mathematical Analysis Outline. William G. Faris

Metric Spaces Math 413 Honors Project

7 Complete metric spaces and function spaces

Math 328 Course Notes

Lecture 5 - Hausdorff and Gromov-Hausdorff Distance

McGill University Math 354: Honors Analysis 3

Math 320-2: Final Exam Practice Solutions Northwestern University, Winter 2015

MA651 Topology. Lecture 10. Metric Spaces.

Most Continuous Functions are Nowhere Differentiable

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions

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

Metric Spaces Lecture 17

Analysis III Theorems, Propositions & Lemmas... Oh My!

Problem Set 2: Solutions Math 201A: Fall 2016

Exam 2 extra practice problems

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

a) Let x,y be Cauchy sequences in some metric space. Define d(x, y) = lim n d (x n, y n ). Show that this function is well-defined.

Lecture Notes DRE 7007 Mathematics, PhD

Functional Analysis, Math 7320 Lecture Notes from August taken by Yaofeng Su

COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University

Math 54 - HW Solutions 5

Problem Set 1: Solutions Math 201A: Fall Problem 1. Let (X, d) be a metric space. (a) Prove the reverse triangle inequality: for every x, y, z X

MAT 544 Problem Set 2 Solutions

Real Analysis Notes. Thomas Goller

5 Integration with Differential Forms The Poincare Lemma Proper Maps and Degree Topological Invariance of Degree...

Metric Spaces and Topology

University of Sheffield. School of Mathematics and Statistics. Metric Spaces MAS331/6352

Math 5210, Definitions and Theorems on Metric Spaces

Continuity. Chapter 4

Set, functions and Euclidean space. Seungjin Han

Linear Analysis Lecture 5

Filters in Analysis and Topology

Metric Spaces Math 413 Honors Project

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

P-adic Functions - Part 1

The Heine-Borel and Arzela-Ascoli Theorems

Definitions & Theorems

Lecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differenti. equations.

B ɛ (P ) B. n N } R. Q P

Topological properties

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

Math 117: Continuity of Functions

Chapter 2. Metric Spaces. 2.1 Metric Spaces

ANALYSIS WORKSHEET II: METRIC SPACES

Zangwill s Global Convergence Theorem

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

A Common Fixed Points in Cone and rectangular cone Metric Spaces

Lecture 3: Expected Value. These integrals are taken over all of Ω. If we wish to integrate over a measurable subset A Ω, we will write

Introduction to Real Analysis

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

Continuity. Chapter 4

Math 209B Homework 2

Solve EACH of the exercises 1-3

After taking the square and expanding, we get x + y 2 = (x + y) (x + y) = x 2 + 2x y + y 2, inequality in analysis, we obtain.

Class Notes for MATH 255.

Honours Analysis III

Math 421, Homework #9 Solutions

ALGEBRAIC TOPOLOGY N. P. STRICKLAND

Chapter 2 Metric Spaces

8 Complete fields and valuation rings

Chapter 1: Banach Spaces

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

REVIEW OF ESSENTIAL MATH 346 TOPICS

Fractals and Dimension

COMPLETION OF A METRIC SPACE

Lecture 4: Completion of a Metric Space

Metric spaces and metrizability

B. Appendix B. Topological vector spaces

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

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

Part A. Metric and Topological Spaces

Introduction to Topology

Transcription:

Chapter 6 Completeness Lecture 18 Recall from Definition 2.22 that a Cauchy sequence in (X, d) is a sequence whose terms get closer and closer together, without any limit being specified. In the Euclidean line, every Cauchy sequence converges; but there are many Cauchy sequences in Q R that have no limit in Q. This distinction prompts the following definition. Definition 6.1. A metric space (X, d) is complete if every Cauchy sequence tends to a limit in X. Examples 6.2. 1. The real numbers are complete; this follows from the completeness axiom, which asserts that every bounded above subset S R has a least upper bound, or supremum. In fact R is the unique complete ordered field. 2. Any open ball B 1 (0) in Euclidean n-space is not complete. For the sequence ((1 (1/n), 0,..., 0) : n 1) converges to (1, 0,..., 0) in R n, and is therefore Cauchy by Proposition 2.23; but (1, 0,..., 0) / B 1 (0), so ((1 (1/n), 0,..., 0) has no limit in B 1 (0), by Theorem 2.18. 3. The vertex set V of any path connected graph is complete with respect to the edge metric, because every Cauchy sequence is eventually constant. A particular case of Example 6.2.2 is the open interval ( 1, 1) R. Example 6.2.1 generalises to higher dimensions. Proposition 6.3. Euclidean n-space R n is complete, for every n 1. Proof. Let (x k = (x 1,k,..., x n,k ) : k 1) be a Cauchy sequence in R n, and consider the sequence (x j,k : k 1) R for any fixed 1 j n. Since 42

x j,k x j,l d 2 (x k, x l ), it follows that (x j,k : k 1) is a Cauchy sequence, and therefore tends to a limit a j because R is complete. In other words, there exists N j such that x j,k a j < ɛ/n 1/2 for every k N j. It therefore suffices to confirm that x k a := (a 1,..., a n ) in R n, as k ; this is true because k > max 1 j n N j implies that d 2 (x k, a) = ( n x j,k a j 2) 1/2 ( < n(ɛ 2 /n) ) 1/2 = ɛ. j=1 A similar proof shows that the cartesian product of any finite number of complete metric spaces is complete. It is useful to understand a little more about Cauchy sequences. Lemma 6.4. Suppose that a Cauchy sequence (x n : n 1) in X has a convergent subsequence (x nr : r 1), and that lim r x nr = x; then (x n ) is also convergent, and lim n x n = x. Proof. Since (x n ) is Cauchy, for any ɛ > 0 there exists N such that m, n N implies d(x m, x n ) < ɛ/2. Since x nr x, there exists R such that r R implies d(x nr, x) < ɛ/2. So for n N, choose r R such that n r N; then d(x n, x) d(x n, x nr ) + d(x nr, x) < ɛ/2 + ɛ/2 = ɛ by the triangle inequality, and x n x as required. There are several simple ways to recognise complete metric spaces. Proposition 6.5. A closed subspace Y of a complete metric space X is itself complete. Proof. Suppose that (y n ) is Cauchy in Y. Since X is complete, y n x for some x X; but Y is closed, so x Y by Theorem 2.19. Without the completeness of X, Proposition 6.5 does not necessarily hold. For example, let X be an open interval (0, b) in the Euclidean line, and let Y be the interval (0, a] X for any 0 < a < b. Then Y is closed in X, because its complement (a, b) is open; but Y is not complete, because the Cauchy sequence (1/n : n 1) is not convergent in Y. Proposition 6.6. Any compact metric space X is complete. Proof. Let (x n ) be Cauchy in X. Since X is sequentially compact by Theorem 5.17, there exists a convergent subsequence x nr x in X, as r. Thus x n x as n by Lemma 6.4, and X is complete. The converse of Proposition 6.6 is not generally true; for example, the Euclidean line is complete, but not compact. 43

Examples 6.7. 1. Any finite metric space is compact, and therefore complete. In particular, every subset S V of the vertices of a finite path-connected graph Γ is complete with respect to the edge metric. 2. Because Euclidean n-space is complete, it follows from Proposition 6.5 that any closed ball B r (x) R n is complete. Alternatively, B r (x) is compact by Theorem 5.20, and is therefore complete by Proposition 6.6. Complete subspaces have certain simple properties. Proposition 6.8. Any complete subspace Y X is closed in X. Proof. Let x Y. By Theorem 2.19, there exists a sequence (y n ) in Y such that y n x as n. Thus (y n ) is Cauchy, by Proposition 2.23, and its limit lies in Y because Y is complete. Thus x Y, so Y is closed. Example 6.9. Let Y be the subspace P[0, 1] C[0, 1], and recall from Example 2.21 that Y is not closed. So it is not complete in C[0, 1], by Proposition 6.8. Lecture 19 In our final lecture, we introduce one of the most beautiful theorems of mathematics, which has numerous applications beyond the scope of this course. Definition 6.10. Given any metric space (X, d), a self-map f : X X is a contraction whenever there exists a constant 0 < K < 1 such that (6.11) d(f(x), f(y)) Kd(x, y) for all x, y X. Lemma 6.12. Any contraction f : X X is continuous. Proof. If x X and y B ɛ (x), then d(f(x), f(y)) < Kɛ < ɛ, by (6.11). So f(b ɛ (x)) B ɛ (f(x)) and f is continuous at x by (4.2) with δ = ɛ. A fixed point of a self-map f : X X is a point x X for which f(x) = x. Theorem 6.13 (The Contraction Mapping Theorem). Let X be complete, and f : X X a contraction; then f has a unique fixed point. 44

Proof. To prove that such an f has at least one fixed point, choose x 1 X at random, and define x n+1 = f(x n ) for every n > 1. Then d(x r, x r 1 ) Kd(x r 1, x r 2 )... K r 2 d(x 2, x 1 ) for any r > 2, because f is a contraction. So the triangle inequality gives d(x m, x n ) d(x m, x m 1 ) + + d(x r, x r 1 ) + + d(x n+1, x n ) (K m 2 + + K r 2 + + K n 1 )d(x 2, x 1 ) = K n 1 (K m n 1 + + K r n 1 + + 1)d(x 2, x 1 ) = ( K n 1 (1 K m n )/(1 K) ) d(x 2, x 1 ) < ( K n 1 /(1 K) ) d(x 2, x 1 ) for any m n > 1. But K n 1 0 as n. So d(x m, x n ) < ɛ whenever m n N for suitably large N, and (x n ) is Cauchy. Since X is complete, it follows that x n p for some p X. But f is continuous by Lemma 6.12, so f(x n ) f(p) and f(x n ) = x n+1 p as n. Thus f(p) = p, as required. To prove uniqueness, suppose that f(q) = q; then d(p, q) = d(f(p), f(q)) Kd(p, q). Since K < 1, the only possibility is d(p, q) = 0, whence p = q. Amongst the simpler applications of the Contraction Mapping Theorem are certain familiar approximation pocedures. Example 6.14. Consider the map g : R R of the Euclidean line, defined by g(x) = 1 ( x + 2 ). 2 x This restricts to a self-map of the interval [1, 2], because 1 x 2 1/2 x/2 1 and 1/2 1/x 1, so 1 g(x) 2. If x, y [1, 2] and x y, then y x (y x)/xy = 1/x 1/y 0 because xy 1; so (y x)/2 1/x 1/y (y x)/2 (y x)/2. Hence g(x) g(y) y x /2, and g is a contraction with K = 1/2. Moreover, [1, 2] is complete by Proposition 6.5, because it is a closed subspace of the complete space R. So Theorem 6.13 confirms that g has a unique fixed point p [1, 2]. The fixed point must satisfy Therefore p 2 = 2, and p = + 2. g(p) = (p + 2/p)/2 = p. 45

One of the more remarkable aspects of the proof of the Contraction Mapping Theorem is that x 1 may be chosen at random. In other words, the sequence (x 1, f(x 1 ), f 2 (x 1 ),... ) converges to the fixed point p for every x 1 in X! If Example 6.14 is used to construct an approximation to 2, any x 1 [1, 2] may be selected. Thus x 1 = 1 yields (1, 3/2, 17/12, 577/408,... ) = (1, 1.5, 1.416666666, 1.414215686,... ) whereas x 1 = 7/5 gives (7/5, 99/70, 19601/13860,... ) = (1.4, 1.414285714, 1.414213564,... ) to 9 decimal places. Not bad, when the correct answer is 1.414213562! 46