Characterisation of Accumulation Points. Convergence in Metric Spaces. Characterisation of Closed Sets. Characterisation of Closed Sets

Similar documents
Course 212: Academic Year Section 1: Metric Spaces

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets

M17 MAT25-21 HOMEWORK 6

MA651 Topology. Lecture 10. Metric Spaces.

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

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

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

j=1 [We will show that the triangle inequality holds for each p-norm in Chapter 3 Section 6.] The 1-norm is A F = tr(a H A).

Lecture Notes on Metric Spaces

B. Appendix B. Topological vector spaces

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

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

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

s P = f(ξ n )(x i x i 1 ). i=1

Sequences. We know that the functions can be defined on any subsets of R. As the set of positive integers

Problem Set 2: Solutions Math 201A: Fall 2016

Bounded uniformly continuous functions

Chapter 2 Metric Spaces

Metric Spaces Math 413 Honors Project

Some Background Material

Metric Spaces Math 413 Honors Project

LECTURE 15: COMPLETENESS AND CONVEXITY

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.

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

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

Chapter 3 Exercise #20 on p. 82

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

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

MAS221 Analysis Semester Chapter 2 problems

Your first day at work MATH 806 (Fall 2015)

Selected solutions for Homework 9

Lecture 4: Completion of a Metric Space

2. The Concept of Convergence: Ultrafilters and Nets

L p Functions. Given a measure space (X, µ) and a real number p [1, ), recall that the L p -norm of a measurable function f : X R is defined by

Econ Lecture 3. Outline. 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n

Integration on Measure Spaces

NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II

Czechoslovak Mathematical Journal

Metric Spaces Lecture 17

The Arzelà-Ascoli Theorem

4th Preparation Sheet - Solutions

Spaces of continuous functions

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

Numerical Sequences and Series

Functional Analysis Exercise Class

7 Complete metric spaces and function spaces

Tools from Lebesgue integration

Mathematics for Economists

HW 4 SOLUTIONS. , x + x x 1 ) 2

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

Math 117: Infinite Sequences

1.1. MEASURES AND INTEGRALS

Lecture 5: The Bellman Equation

MA677 Assignment #3 Morgan Schreffler Due 09/19/12 Exercise 1 Using Hölder s inequality, prove Minkowski s inequality for f, g L p (R d ), p 1:

Mid Term-1 : Practice problems

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy

Lecture 3. Econ August 12

Math 140A - Fall Final Exam

Principles of Real Analysis I Fall VII. Sequences of Functions

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

CLASS NOTES FOR APRIL 14, 2000

Notes on uniform convergence

The Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:

MATHS 730 FC Lecture Notes March 5, Introduction

n n P} is a bounded subset Proof. Let A be a nonempty subset of Z, bounded above. Define the set

Metric Spaces and Topology

Math 4317 : Real Analysis I Mid-Term Exam 1 25 September 2012

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

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

9 Sequences of Functions

Introduction to Functional Analysis

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

Chapter 2. Metric Spaces. 2.1 Metric Spaces

Part III. 10 Topological Space Basics. Topological Spaces

MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1

Lecture 19 L 2 -Stochastic integration

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

Indeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )

Contents. Index... 15

1 Directional Derivatives and Differentiability

Filters in Analysis and Topology

Continuity. Matt Rosenzweig

Fuchsian groups. 2.1 Definitions and discreteness

MAS331: Metric Spaces Problems on Chapter 1

2 Truth Tables, Equivalences and the Contrapositive

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

MA651 Topology. Lecture 9. Compactness 2.

Solutions to Tutorial 7 (Week 8)

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

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

Exam 2 extra practice problems

THEOREMS, ETC., FOR MATH 515

Climbing an Infinite Ladder

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions

4.4 Uniform Convergence of Sequences of Functions and the Derivative

Section 21. The Metric Topology (Continued)

Math 421, Homework #9 Solutions

Combinatorics in Banach space theory Lecture 12

CHAPTER 3: CONTINUITY ON R 3.1 TWO SIDED LIMITS

1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty.

Transcription:

Convergence in Metric Spaces Functional Analysis Lecture 3: Convergence and Continuity in Metric Spaces Bengt Ove Turesson September 4, 2016 Suppose that (X, d) is a metric space. A sequence (x n ) X is said to be convergent with the limit x X if d(x, x n ) 0 as n. We denote this circumstance by writing x n x or lim n x n = x. The limit of a convergent sequence in a metric space is unique. Suppose that (X, d) is a metric space and that x n x and x n x. Then 0 d(x, x ) d(x, x n ) + d(x n, x ) 0 as n, so d(x, x ) = 0 and hence x = x. 1 / 19 2 / 19 Convergence in Metric Spaces Convergence in Metric Spaces In R d or C d, x n = (x (n) 1,..., x (n) d )t x = (x 1,..., x d ) t as n if and only if ( d ) 1/2 d 2 (x, x n ) = x 2 0 as n. =1 This is in turn is equivalent to x (n) x as n for = 1, 2,..., d. Conclusion: Convergence in R d and C d is equivalent to convergence in every coordinate. In l, take and x n = (1, 1,..., 1, 0, 0...) for n = 1, 2,..., }{{} n 1:s x = (1, 1,...). Then x (n) x as n for = 1, 2,..., but d (x, x n ) = 1 for every n, so x n x. Conclusion: In the space l, convergence in every coordinate does not imply convergence. 3 / 19 4 / 19

Convergence in Metric Spaces In l (M), f n f if d(f, f n ) = sup f (x) f n (x) 0 as n. x M This type of convergence is known as uniform convergence. Uniform convergence implies pointwise convergence: f (x) f n (x) sup f (y) f n (y) 0 for every x X. y M The previous example shows that the converse is not true. Characterisation of Accumulation Points Suppose that (X, d) is a metric space and let A be a subset of X. Then x A if and only if there exists a sequence (x n ) A such that x n x for every n and x n x. Recall that A denotes the set of accumulation points of A. Necessity: If x A, then, for n = 1, 2,..., there exists an element x n A such that x n x and x n B 1/n (x). But then d(x, x n ) < 1 n, so x n x. Sufficiency: Suppose that x X and x n x, where x n A and x n x for every n. Let r > 0 be arbitrary. Since x n x, x n B r (x) if n is large enough. This proves that x A. 5 / 19 6 / 19 Characterisation of Closed Sets Suppose that (X, d) is a metric space and let F be a subset of X. Then F is closed if and only if the limit of any convergent sequence of elements in F belongs to F. Necessity: Suppose that F is closed and that (x n ) F satisfies x n x X. If x n = x for some n, then x F. Otherwise, it follows from the previous proposition that x F and therefore that x F. But F = F since F is closed, so x F. Sufficiency: Suppose that x F and choose a sequence (x n ) F such that x n x. Then, by the assumption, x F. Thus, F F, which implies that F = F, so F is closed. Characterisation of Closed Sets Let us show that if M R d, then C b (M) is a closed subset of l (M). Suppose that (f n ) C b (X ) and that f n f l (M). Let ε > 0 be given and choose n so large that d (f, f n ) < ε. Let x M be arbitrary. Since f n is continuous at x, there exists a δ > 0 such that f n (x) f n (y) < ε for every y X such that d 2 (x, y) < δ. It then follows that f (x) f (y) f (x) f n (x) + f n (x) f n (y) + f n (y) f (y) 2d (f, f n ) + ε < 3ε if d 2 (x, y) < δ. This shows that f is continuous at x. By assumption, f is bounded. Hence, f belongs to C b (M). This example shows that continuity is preserved under uniform convergence. 7 / 19 8 / 19

Cauchy Sequences Cauchy Sequences Suppose that (X, d) is a metric space. A sequence (x n ) X is a called a Cauchy sequence if d(x m, x n ) 0 as m, n. The sequence ( 1 n ) n=1 (0, 1] is a Cauchy sequence since 1 m 1 n 1 m + 1 0 as m, n. n Every convergent sequence in a metric space is a Cauchy sequence. Suppose that (X, d) is a metric space and that x n x. Then 0 d(x m, x n ) d(x m, x) + d(x, x n ) 0 as m, n, so d(x m, x n ) 0 as m, n. According to the previous example, the converse to this proposition is false: ( 1 n ) n=1 is a Cauchy sequence in (0, 1], but does not converge in (0, 1]. 9 / 19 10 / 19 A metric space (X, d) is said to be complete if every Cauchy sequence in X is convergent. According to the previous example, (0, 1] is not a complete metric space. The metric space Q (with the same metric as in R) is not complete: Take for instance x n = (1 + 1 n )n for n = 1, 2,.... This is a Cauchy sequence in Q since it converges to e in R. But since e / Q, the sequence is not convergent in Q. Theorem (The Cauchy Convergence Principle) Every Cauchy sequence in R is convergent, i.e., R is a complete metric space. See, e.g., the proof in the appendix to Kreysig s book. We shall give another proof of this fact later on. The space C is complete. The spaces R d and C d are complete. 11 / 19 12 / 19

The space l p is complete for 1 p <. Beginning of proof Let (x n ) n=1 be a Cauchy sequence in lp, where x n = (x (n) ) =1 lp. Given an arbitrary ε > 0, choose N so large that ( ) 1/p d p (x m, x n ) = x (m) p < ε if m, n N. =1 This choice implies that x (m) < ε if m, n N for every fixed index 1, so (x (n) ) n=1 is a Cauchy sequence for every index 1. The completeness of C now implies that there exist numbers x C such that x (n) x as n. End of proof Let x = (x ) =1. It follows from the above that k =1 x (m) p < ε p if m, n N for every k 1. If we first let m and then k in this inequality, we obtain that =1 x p ε p if n N. This shows that x x n l p. But l p is a vector space, so x = (x x n ) + x n l p. The last inequality also shows that d(x, x n ) ε if n N. Hence, x n x. 13 / 19 14 / 19 The space l (M) is complete for any nonempty set M. Exercise The space l is complete. Suppose that (X, d) is a complete metric space and F X. Then (F, d) is complete if and only F is closed. Necessity: Suppose that (F, d) is complete. If F x n x X, then (x n ) is a Cauchy sequence, so x F since (F, d) is complete. This shows that F is closed. Sufficiency: Suppose that F is closed. If (x n ) F is a Cauchy sequence, then x n x X since X is complete. It follows that x F since F is closed. This shows that (F, d) is complete. The space C b (M) is complete for any nonempty subset M of R d. Notice that C b (M) is a closed subset of the complete space l (M). 15 / 19 16 / 19

Continuity in Metric Spaces Recall that a function f from R d to R is said to be continuous at a point x R d if there for every number ε > 0 exists a number δ > 0 such that f (x) f (x ) < ε if x x = d 2 (x, x ) < δ. This definition carries over directly to metric spaces. Suppose that (X, d X ) and (Y, d Y ) are two metric spaces. A function f from X to Y is continuous at x X if there for every number ε > 0 exists a number δ > 0 such that d Y (f (x), f (x )) < ε if d X (x, x ) < δ. A function f from X to Y is continuous if it is continuous at every point in X. Continuity in Metric Spaces Suppose that (X, d X ) and (Y, d Y ) are two metric spaces. Then a function f : X Y is continuous at x X if and only if f (x n ) f (x) for every sequence (x n ) X such that x n x. The equivalent condition to continuity in the proposition is sometimes called sequential continuity. In a metric space, continuity is therefore equivalent to sequential continuity. Necessity: Suppose that f is continuous at x and that x n x. Given ε > 0, let δ > 0 be as in the definition of continuity. Then d X (x, x n ) < δ if n is sufficiently large, so it follows that d Y (f (x), f (x n )) < ε for those n. Thus, f (x n ) f (x). Sufficiency: Suppose that f is not continuous at x. Then there exists a number ε > 0 and a sequence (x n ) X such that d X (x, x n ) < 1 n for every n, but d Y (f (x), f (x n )) ε. This contradicts the assumption. 17 / 19 18 / 19 Continuity in Metric Spaces Given a metric space (X, d), C b (X ) denotes the space of bounded, continuous functions from X to C. The metric space C b (X ) is complete. Same proof as for the case X = R d. 19 / 19