By (a), B ε (x) is a closed subset (which

Similar documents
Maths 212: Homework Solutions

Course 212: Academic Year Section 1: Metric Spaces

Math General Topology Fall 2012 Homework 1 Solutions

MAS331: Metric Spaces Problems on Chapter 1

Selected solutions for Homework 9

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a

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

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES

Mathematics for Economists

Topology Exercise Sheet 2 Prof. Dr. Alessandro Sisto Due to March 7

Metric Space Topology (Spring 2016) Selected Homework Solutions. HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y)

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

Metric Spaces Math 413 Honors Project

Math 5210, Definitions and Theorems on Metric Spaces

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

Math General Topology Fall 2012 Homework 6 Solutions

Real Analysis. Joe Patten August 12, 2018

Metric Spaces and Topology

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions

Math 426 Homework 4 Due 3 November 2017

Topology, Math 581, Fall 2017 last updated: November 24, Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski

A Glimpse into Topology

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

Topological properties

MATH 31BH Homework 1 Solutions

Economics 204 Fall 2012 Problem Set 3 Suggested Solutions

Math General Topology Fall 2012 Homework 13 Solutions

Chapter 2 Metric Spaces

3 COUNTABILITY AND CONNECTEDNESS AXIOMS

AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES

Set, functions and Euclidean space. Seungjin Han

COMPLETION OF A METRIC SPACE

Problem Set 2: Solutions Math 201A: Fall 2016

Some Background Material

MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1

Metric Spaces Math 413 Honors Project

MA651 Topology. Lecture 10. Metric Spaces.

MATH 202B - Problem Set 5

P-adic Functions - Part 1

METRIC SPACES KEITH CONRAD

The uniform metric on product spaces

CHAPTER 1. Metric Spaces. 1. Definition and examples

Exam 2 extra practice problems

ANALYSIS WORKSHEET II: METRIC SPACES

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

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

Mid Term-1 : Practice problems

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

Continuity. Matt Rosenzweig

CLASS NOTES FOR APRIL 14, 2000

Math 54 - HW Solutions 5

Continuous Functions on Metric Spaces

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

8 Complete fields and valuation rings

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

NOTES ON DIOPHANTINE APPROXIMATION

SOLUTIONS TO SOME PROBLEMS

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

Math 140A - Fall Final Exam

Basic Properties of Metric and Normed Spaces

A metric space is a set S with a given distance (or metric) function d(x, y) which satisfies the conditions

Math 201 Topology I. Lecture notes of Prof. Hicham Gebran

REAL ANALYSIS I HOMEWORK 4

Topology Part of the Qualify Exams of Department of Mathematics, Texas A&M University Prepared by Zhang, Zecheng

Near convexity, metric convexity, and convexity

Functional Analysis Exercise Class

B. Appendix B. Topological vector spaces

Tools from Lebesgue integration

REVIEW OF ESSENTIAL MATH 346 TOPICS

What to remember about metric spaces

ZEROES OF INTEGER LINEAR RECURRENCES. 1. Introduction. 4 ( )( 2 1) n

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

2. Metric Spaces. 2.1 Definitions etc.

Austin Mohr Math 730 Homework. f(x) = y for some x λ Λ

MATH 614 Dynamical Systems and Chaos Lecture 6: Symbolic dynamics.

Homework 5. Solutions

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.

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

B553 Lecture 3: Multivariate Calculus and Linear Algebra Review

NAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key

Lecture 3. Econ August 12

MA2223 Tutorial solutions Part 1. Metric spaces

Real Analysis Notes. Thomas Goller

Part III. 10 Topological Space Basics. Topological Spaces

HOMEWORK ASSIGNMENT 5

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

Introduction to Dynamical Systems

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

INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS

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

2 Metric Spaces Definitions Exotic Examples... 3

E.7 Alaoglu s Theorem

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

Lecture Notes on Metric Spaces

MA5206 Homework 4. Group 4. April 26, ϕ 1 = 1, ϕ n (x) = 1 n 2 ϕ 1(n 2 x). = 1 and h n C 0. For any ξ ( 1 n, 2 n 2 ), n 3, h n (t) ξ t dt

Real Analysis Chapter 4 Solutions Jonathan Conder

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

Introduction to Topology

Sobolev Spaces. Chapter 10

SOME NEW FIXED POINT RESULTS IN ULTRA METRIC SPACE

Transcription:

Solutions to Homework #3. 1. Given a metric space (X, d), a point x X and ε > 0, define B ε (x) = {y X : d(y, x) ε}, called the closed ball of radius ε centered at x. (a) Prove that B ε (x) is always a closed subset of X. (b) Deduce from (a) that N ε (x) B ε (x), that is, the closure of the open ball of radius ε centered at x is contained in the respective closed ball. (c) Is it always true that N ε (x) = B ε (x)? Prove or give a counterexample. Solution: (a) By definition, it suffices to show that X \ B ε (x) is open. Take any z X \ B ε (x). Then d(z, x) > ε, so if set δ = d(z, x) ε, then δ > 0. Now take any y N δ (z). Then d(z, x) d(y, x)+d(z, y) < d(y, x)+δ, whence d(y, x) > d(z, x) δ = d(z, x) (d(z, x) ε) = ε. Hence y X\B ε (x). Thus, we showed that for any z X \ B ε (x), there is δ > 0 such that N δ (z) X \ B ε (x), so by definition, X \ B ε (x) is open. Another solution for (a): Here is a completely different solution to (a) which uses the fact that the preimage of a closed set under a continuous function is closed. Indeed, fix x X, and define the function f : X R by f(y) = d(y, x). By Problem 6 in this homework, f is continuous. Note that B ε (x) = {y X : f(y) ε} = f 1 ((, ε]). Since (, ε] is a closed subset of R and f is continuous, the preimage f 1 ((, ε]) is a closed subset of X, as desired. (b) By Theorem 5.1(c) from class, any closed subset of X which contains N ε (x) must also contain N ε (x). obviously contains N ε (x)), so N ε (x) B ε (x). (c) No. By (a), B ε (x) is a closed subset (which For instance, take any set X with X 2 and let d be the discrete metric on X (d(x, y) = 1 if x y and d(x, y) = 0 if x = y). Then for any x X we have N 1 (x) = B 1/2 (x) = {x} (one element set consisting of the point x itself). Thus, the set {x} is both open and closed since it is simultaneously an open ball and a closed ball (in fact, it is easy to show that any subset of X is both open and closed). N 1 (x) = N 1 (x) = {x}. entire space X, so B 1 (x) N 1 (x) since X 2. 1 In particular, On the other hand, the closed ball B 1 (x) is the

2 2. Let X be a metric space, and let Z Y be subsets of X. Prove that Z is closed as a subset of Y Z = Y K for some closed subset K of X. Deduce that if Z is closed in X, then Z is closed in Y. Solution: Assume that Z is closed in Y. Then Y \ Z is open in Y, so by the inheritance principle for open sets, there exists G open in X such that Y \ Z = Y G. Then Z = Y \ (Y \ Z) = Y \ (Y G) = Y \ G = Y (Y \ G) = Y (X \ G), and X \ G is closed in X. Thus, if we set K = X \ G, then K is closed in X and Y = K X. Assume that Z = Y K where K is closed in X. Then, by a similar computation Y \ Z = Y G where G = X \ K. Then G is open in X, so by the inheritance principle, Y \ Z is open in Y and hence Z is closed in Y. Finally, since Z Y, we can always write Z = Y Z, so if Z is closed in X, applying the above criterion, we deduce that Z is closed in Y. 3. Let (X, d) be a non-empty metric space and S a subset of X. Prove that the following three conditions are equivalent (as defined in class, S is called bounded if it satisfies either of those conditions): (i) There exists x X and R R such that S N R (x). (ii) For any x X there exists R R such that S N R (x). (iii) The set {d(s, t) : s, t S} is bounded above as a subset of R. Solution: (ii) (i) This is clear since X. (iii) (ii) Let K be an upper bound for {d(s, t) : s, t S}. Take any x X. If S =, there is nothing to prove. If S, fix some s 0 S and let R = K + 1 + d(s 0, x). Then for any s S we have d(s, x) d(s, s 0 ) + d(s 0, x) K + d(s 0, x) < R, so S N R (x). (i) (iii) Suppose that S N R (x) for some x X and M R. Then for any s, t S we have d(s, x) < R and d(x, t) < R, so by the triangle inequality d(s, t) < 2R. So the set {d(s, t) : s, t S} is bounded above by 2R. Definition: Let (X, d) be a metric space and ε > 0. A subset S of X is called an ε-net if for any x X there exists s S such that d(x, s) < ε. In other words, S is an ε-net if X is the union of open balls of radius ε centered at elements of S. 4. Let S be a subset of a metric space (X, d). Prove that the following are equivalent: (i) The closure of S is the entire X; (ii) U S for any non-empty open subset U of X;

3 (iii) S is an ε-net for every ε > 0. The subset S is called dense (in X) if it satisfies these equivalent conditions. Solution: As suggested in the hint, we will prove that negations of (i), (ii) and (iii) are equivalent to each other. We start by explicitly formulating the negations, denoted below by (a), (b) and (c) (a) The closure of S is strictly contained in X, that is, there exists x X which is NOT a contact point of S (b) There exists a non-empty open subset U of X such that U S = (c) There exists ε > 0 such that S is not an ε-net. Now we prove that (a), (b) and (c) are equivalent (a) (b) If x X is not a contact point of S, there exists ε > 0 such that N ε (x) S =. This means that (b) holds with U = N ε (x) (since N ε (x) is open and non-empty). (b) (a) Take any x U (such x exists since U is non-empty). Since U is also open, there exists ε > 0 such that N ε (x) U. Since U S =, we must have N ε (x) S =, so x is not a contact point of S. (a) (c) As in implication (a) (b), there exists x X and ε > 0 such that N ε (x) S =. This means that d(s, x) ε for all s S, so S is not an ε-net. (c) (a) Analogous to the proof of (a) (c). 5. Let X be any set with discrete metric (d(x, y) = 1 if x y and d(x, y) = 0 if x = y), and let Y be an arbitrary metric space. (a) Let {x n } be a sequence in X. Prove that {x n } converges if and only if it is eventually constant, that is, there exists M N and x X such that x n = x for all n M. (b) Prove that any function f : X Y is continuous in two different ways: first using sequential definition of continuity and then using the ε-δ definition. Solution: (a) Suppose that there exists M N and x X such that x n = x for all n M. Then for any ε > 0 we have d(x n, x) = 0 < ε for all n M, so {x n } converges to x. Of course, this direction holds in any metric space. Now suppose that {x n } converges to x. By the definition of limit with ε = 1, there exists M N such that d(x n, x) < 1 for all n M. But since the only possible values of d are 0 and 1, the inequality d(x n, x) < 1 forces d(x n, x) = 0 and hence x n = x. Thus, x n = x for all n M, as desired.

4 (b) Using the ε-δ definition. Fix an arbitrary a X. Given any ε > 0, choose δ = 1. If x X and d(a, x) < 1, we must have x = a and hence f(x) = f(a), so d Y (f(x), f(a)) = 0 < ε. Thus, f is continuous at a, and since a X was arbitrary, f is continuous on X. Using the sequential definition. Again fix a X, and take any sequence {x n } in X which converges to a. By (a), there exists M N such that x n = a for all n M. Then f(x n ) = f(a) for all n M and (again by (a)), {f(x n )} converges to f(a), whence f is continuous at a. 6. (a) Let (X, d X ) and (Y, d Y ) be metric spaces, and let f : X Y be a function such that d Y (f(u), f(v)) d X (u, v) for all u, v X. ( ) Prove that f is continuous. (b) Let (X, d) be a metric space, and fix a X. Use (a) to prove that the function f : X R (where R is equipped with the usual metric) given by f(x) = d(a, x) is continuous. Warning: be careful with absolute values. Solution: (a) Given any ε > 0, choose δ = ε. If u, v X with d X (u, v) < δ, then by (***) we have d Y (f(u), f(v)) d X (u, v) < δ = ε. Thus, by the ε-δ definition, f is continuous. (b) In the notations of (a) we have d X = d and d Y (y 1, y 2 ) = y 1 y 2. By (a), to prove continuity of f it suffices to check that f(u) f(v) d(u, v) for all u, v X or equivalently, d(a, u) d(a, v) d(u, v) for all u, v X Note that for any real number t the absolute value t is equal to max{t, t}. Thus, if we want to prove t r where r is another real number, this is equivalent to showing that t r and t r. By the triangle inequality, d(a, u) d(a, v)+d(v, u) = d(a, v)+d(u, v) and d(a, v) d(a, u) + d(u, v). Hence d(a, u) d(a, v) d(u, v) and (d(a, u) d(a, v)) = d(a, v) d(a, u) d(u, v). Therefore, using the above observation with t = d(a, u) d(a, v) and r = d(u, v), we conclude that d(a, u) d(a, v) d(u, v), as desired. 7. A metric space (X, d) is called ultrametric if for any x, y, z X the following inequality holds: d(x, z) max{d(x, y), d(y, z)}.

(Note that this inequality is much stronger than the triangle inequality). If X is any set and d is the discrete metric on X (that is, d(x, y) = 1 if x y and d(x, y) = 0 if x = y), then clearly (X, d) is ultrametric. A more interesting example of an ultrametric space is given in the next problem. Prove that properties (i) and (ii) below hold in any ultrametric space (X, d) (note that both properties are counter-intuitive since they are very far from being true in R). (i) Take any x X, ε > 0 and take any y N ε (x). Then N ε (y) = N ε (x). This means that if we take an open ball of fixed radius around some point x, then for any other point y from that open ball, the open ball of the same radius, but now centered at y, coincides with the original ball. In other words, any point of an open ball happens to be its center. (ii) Prove that a sequence {x n } in X is Cauchy for any ε > 0 there exists M N such that d(x n+1, x n ) < ε for all n M. Note: The forward implication holds in any metric space. Solution: (i) Let d = d(x, y). Since y N ε (x), we have d < ε. Take any z N ε (y). Then d(y, z) < ε, so d(z, x) max{d(y, z), d(x, y)} = max{d(y, z), d} < ε, so z N ε (x). Thus we showed that N ε (y) N ε (x). The reverse inclusion N ε (x) N ε (y) is proved similarly. (ii) The forward implication is clear. Assume now that for any ε > 0 there exists M N such that d(x n+1, x n ) < ε for all n M. Then for all n M we also have d(x n+2, x n+1 ) < ε whence d(x n+2, x n ) max{d(x n+1, x n ), d(x n+2, x n+1 )} < ε. Repeating the same trick several times, we deduce that d(x n+p, x n ) < ε for all n M and p 0; equivalently, d(x m, x n ) < ε for all n, m M. Therefore, the sequence {x n } is Cauchy. 5