Lecture Notes on Metric Spaces

Similar documents
Math 117: Continuity of Functions

Math 117: Topology of the Real Numbers

Math 117: Infinite Sequences

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

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

The Heine-Borel and Arzela-Ascoli Theorems

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

Math 328 Course Notes

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

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

Systems of Linear Equations

Course 212: Academic Year Section 1: Metric Spaces

Metric Spaces Math 413 Honors Project

Math 5210, Definitions and Theorems on Metric Spaces

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

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Metric Spaces Math 413 Honors Project

REVIEW OF ESSENTIAL MATH 346 TOPICS

2. Complex Analytic Functions

MAT 544 Problem Set 2 Solutions

Convex Analysis and Economic Theory Winter 2018

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

Maths 212: Homework Solutions

7 Complete metric spaces and function spaces

Lecture 2: A crash course in Real Analysis

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

Metric Spaces and Topology

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

Problem Set 2: Solutions Math 201A: Fall 2016

THE INVERSE FUNCTION THEOREM

i c Robert C. Gunning

Introduction to Topology

Math General Topology Fall 2012 Homework 1 Solutions

ANALYSIS WORKSHEET II: METRIC SPACES

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

Math General Topology Fall 2012 Homework 13 Solutions

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

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

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

Topological properties

MAS331: Metric Spaces Problems on Chapter 1

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

Some Background Material

MATH 202B - Problem Set 5

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

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

That is, there is an element

Math 361: Homework 1 Solutions

Mathematics II, course

01. Review of metric spaces and point-set topology. 1. Euclidean spaces

Measure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond

Quick Tour of the Topology of R. Steven Hurder, Dave Marker, & John Wood 1

CLASS NOTES FOR APRIL 14, 2000

EC 521 MATHEMATICAL METHODS FOR ECONOMICS. Lecture 1: Preliminaries

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

Measurable Choice Functions

7: FOURIER SERIES STEVEN HEILMAN

4 Countability axioms

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

Mathematical Analysis Outline. William G. Faris

M17 MAT25-21 HOMEWORK 6

The uniform metric on product spaces

FUNCTIONAL ANALYSIS CHRISTIAN REMLING

Zangwill s Global Convergence Theorem

MA651 Topology. Lecture 10. Metric Spaces.

Math 140A - Fall Final Exam

Introduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION

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.

Linear Analysis Lecture 5

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

Real Analysis. Joe Patten August 12, 2018

Existence and Uniqueness

Immerse Metric Space Homework

A LITTLE REAL ANALYSIS AND TOPOLOGY

Chapter 2. Metric Spaces. 2.1 Metric Spaces

B553 Lecture 3: Multivariate Calculus and Linear Algebra Review

SOLUTIONS TO SOME PROBLEMS

Important Properties of R

MATH 31BH Homework 1 Solutions

Set, functions and Euclidean space. Seungjin Han

MH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then

Definition 2.1. A metric (or distance function) defined on a non-empty set X is a function d: X X R that satisfies: For all x, y, and z in X :

Real Analysis Chapter 4 Solutions Jonathan Conder

FIXED POINT METHODS IN NONLINEAR ANALYSIS

M311 Functions of Several Variables. CHAPTER 1. Continuity CHAPTER 2. The Bolzano Weierstrass Theorem and Compact Sets CHAPTER 3.

Problem List MATH 5143 Fall, 2013

AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES

SPACES: FROM ANALYSIS TO GEOMETRY AND BACK

MATH 426, TOPOLOGY. p 1.

Math General Topology Fall 2012 Homework 11 Solutions

Chapter 1 The Real Numbers

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.

Introduction to Real Analysis Alternative Chapter 1

What to remember about metric spaces

Inner Product Spaces

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

P-adic Functions - Part 1

Real Analysis Notes. Thomas Goller

Functions of Several Variables

SOLVING DIFFERENTIAL EQUATIONS

Transcription:

Lecture Notes on Metric Spaces Math 117: Summer 2007 John Douglas Moore Our goal of these notes is to explain a few facts regarding metric spaces not included in the first few chapters of the text [1], in the hopes of providing an easier transition to more advanced texts such as [2]. 1 The dot product If x = (x 1...., x n ) and y = (y 1...., y n ) are elements of R n, we define their dot product by x y = x 1 y 1 + + x n y n. The dot product satisfies several key axioms: 1. it is symmetric: x y = y x; 2. it is bilinear: (ax + x ) y = a(x y) + x y; 3. and it is positive-definite: x x 0 and x x = 0 if and only if x = 0. We define the length of x by x = x x. Note that the length of x is always 0. Cauchy-Schwarz Theorem. The dot product satisfies 1 x y x y 1. Sketch of proof: Expand the inequality 0 (x(y y) y(x y)) (x(y y) y(x y)) and simplify. (Exercise: Work this out!) The importance of the Cauchy-Schwarz Theorem is that it allows us to define angles between vectors x and y in R n. Given an number t [ 1, 1], there is a unique angle θ such that θ [0, π] and cos θ = t. 1

Thus we can define the angle between two nonzero vectors x and y in R n by requiring that θ [0, π] and cos θ = x y x y. Thus we can say that two vectors vectors x and y in R n are perpendicular or orthogonal if x y = 0. This provides much intuition for dealing with vectors in R n. Corollary of Cauchy-Schwarz Theorem. If u, v R n, then u + v u + v. Proof: It suffices to check that or u + v 2 ( u + v ) 2 u 2 + 2u v + v 2 u 2 + 2 u v + v 2. But this follows immediately from the Cauchy-Schwarz inequality. 2 Metric spaces Definition 2.1. A metric space is a set X together with a function d : X X R such that 1. d(x, y) 0 and d(x, y) = 0 x = y, 2. d(x, y) = d(y, x), and 3. d(x, z) d(x, y) + d(y, z). The last of these conditions is known as the triangle inequality. Example 1. The most basic example is R with d : R R R defined by d(x, y) = x y. Example 2. The example needed for multivariable calculus is R n with d : R n R n R defined by d(x, y) = x y, the length of x y being defined as in the preceding section. In verifying that this really is a metric space, the only difficulty is checking the triangle inequality. But this follows from the Corollary in the preceding section when u = x y and v = y z. Of course, this example includes the previous one as a special case. 2

Example 3. Let S be a subset of R n. If x and y are elements of S, we let d(x, y) be the distance from x to y in R n. This provides numerous examples of metric spaces. For example, the unit sphere inherits a metric from R n. S n 1 = {(x 1,..., x n ) R n : (x 2 1 + + x 2 n = 1} Definition 2.2. If (X 1, d 1 ) and (X 2, d 2 ) are metric spaces, a function f : X 1 X 2 is continuous if for every c X 1 and every ɛ > 0 there exists a δ c > 0 such that x X 1 and d 1 (x, c) < δ c d 2 (f(x), f(c)) < ɛ. (1) A function f : X 1 X 2 is uniformly continuous if for every ɛ > 0 there exists a δ such that x, y X 1 and d 1 (x, y) < δ d 2 (f(x), f(y)) < ɛ. Definition 2.3. If (X, d) is a metric space and ɛ > 0 is given the ɛ-neighborhood N(x; ɛ) of a point x X is We can then rewrite (1) as N(x; ɛ) = {y X : d(x, y) < ɛ}. x N(x; δ c ) f(x) N(f(c); ɛ). (2) Definition 2.4. A subset U of X is said to be open if x U N(x; ɛ) U, for some ɛ > 0. A subset C of X is closed if its complement X C is open. Proposition 2.1. The collection of open sets satisfies the following: 1. X is open and the empty set is open. 2. An arbitrary union of open sets is open. 3. A finite intersection of open sets is open. Proof: Exercise. Proposition 2.2. Let (X, d) be a metric space and let S be a subset of X, which is a metric space in its own right. Then a subset U of S is open if and only if U = V S, where V is open in X. Proof: Exercise. 3

Proposition 2.3. If (X 1, d 1 ) and (X 2, d 2 ) are metric spaces and a function f : X 1 X 2 is continuous, then whenever U is an open subset of X 2, f 1 (U) is an open subset of X 1. Proof: Suppose that c f 1 (U). Then f(c) U and since U is open, N(f(c); ɛ) U for some ɛ > 0. Since f is continuous, there exists δ c > 0 such that (2) holds; thus f(n(c : δ c )) N(f(c); ɛ). Let V = {N(c, δ c ) : c f 1 (U)}. Then V = f 1 (U), and since V is the union of open sets, it is open. Remark. The converse of this Proposition is also true: If f 1 (U) is an open subset of X 1 whenever u is an open subset of X 2, then f is continuous. We leave this as an exercise for you to prove. 3 Compact sets Definition. Suppose that (X, d) is a metric space. A subset K of X is compact if every open cover of K has a finite subcover. Proposition 3.1. Any closed subset of a compact set is compact. Proof: You did this as one of the earlier exercises. Main Theorem. If (X 1, d 1 ) and (X 2, d 2 ) are metric spaces, f : X 1 X 2 is a continuous function and K is a compact subset of X 1, then f(k) is compact. Proof: Suppose that F = {U α : α A} is an open cover of f(k). For each U α, there is an open subset V α X 1 such that V α K = f 1 (U α ). We then have K {V α : α A}. In other words, {V α : α A} is an open cover of K. Since K is compact, there exists a finite subcover {V α1,..., V αn }; in other words, But then K V α1 V αn. f(k) f(v α1 ) f(v αn ) U α1 U αn. So {U α1,..., U αn } is a finite subcover of F. Since F was an arbitrary open cover, we have shown that ANY open cover of f(k) has a finite subcover, so f(k) is indeed compact, as needed. Corollary. Suppose that (X, d) is a metric space and f : X R is a continuous function. If K is a compact subset of X, then f assumes its maximum and minimum values on K. 4

Proof: By the previous theorem, f(k) is compact and therefore closed and bounded by the Heine-Borel Theorem. Let S = f(k) and let m be the least upper bound of S, which exists by the Completeness Axiom for real numbers. It suffices to show that m S. If m / S, then for any ɛ > 0 there exists and element s S such that m ɛ < s < m, because otherwise m ɛ would be an upper bound, contradicting the fact that m is the least upper bound. Thus m is an accumulation point of S. But since S is closed it contains all of its accumulation points. Therefore m S. Thus m is a maximum for S and f achieves its maximum value on K. The argument that f achieves its minimum value is similar. Example 4. We can now give another important example of metric space. Let and define X = C([a, b], R) = {f : [a, b] R : f is continuous }, d : C([a, b], R) C([a, b], R) R by d(f, g) = sup{ f(x) g(x) : x [a, b]}. The supremum exists by the above corollary. It is straightforward to check that this distance function satisfies the axioms for a metric space. Using this example, we can apply many of the techniques that we have learned for dealing with the real numbers to spaces of functions. This leads to an important subject functional analysis that plays a key role in proving existence of solutions to differential equations. For example, we can consider Cauchy sequences in C([a, b], R), and we can prove: Completeness Theorem. Every Cauchy sequence in C([a, b], R) converges. This gives a strategy for proving the existence of solutions to differential equitons. Suppose that we want to solve the initial value problem d dx (y(x)) = f(x, y(x)), y(x 0) = y 0. (3) We can rewrite this as an integral equation y(x) = y 0 + x x 0 f(ξ, y(ξ))dξ. If y(x) C([x 0, x 0 + ɛ], R), where ɛ > 0 is small, we can define T (y)(x) C([x 0, x 0 + ɛ], R) by T (y)(x) = y 0 + x x 0 f(ξ, y(ξ))dξ. Starting with an approximate solution y 0 (x), one can define a sequence of solutions y n (x) by y n+1 (x) = T (y n )(x). 5

With some effort, one can sometmes show that (y n (x)) is a Cauchy sequence in C([a, b], R), and hence by the Completeness Theorem converges to a limit y (x). This is then a solution to the initial-value problem (3). The key point is that the notion of metric spaces provides an avenue for extending many of the theorems used in the foundations of calculus to settings that allow us to find solutions to differential equations, both ordinary and partial. 4 Compact subsets of R n Recall that the Heine-Borel Theorem states that a subset of R is compact if and only if it is closed and bounded. It is important to realize that the Heine-Borel Theorem also holds for R n, when n 2 and R n is given the metric presented in Example 2. General Heine-Borel Theorem. A subset of R n is compact if and only if it is closed and bounded. The proof is beyond the scope of this course. It is clearly useful for several variable calculus, and one of the key theorems proven in Math 118 or Math 145. References [1] S. Lay, Analysis with an introduction to proof, Fourth edition, Pearson Prentice Hall, Upper Saddle River, NJ, 2005. [2] W. Rudin, Principles of mathematical analysis, Third edition, McGraw- Hill, New York, 1976. 6