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

Similar documents
Problem Set 2: Solutions Math 201A: Fall 2016

The uniform metric on product spaces

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

Math 5052 Measure Theory and Functional Analysis II Homework Assignment 7

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

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

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

COMPLETION OF A METRIC SPACE

Set, functions and Euclidean space. Seungjin Han

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem

Mid Term-1 : Practice problems

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES

Mathematics for Economists

MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1

Math General Topology Fall 2012 Homework 1 Solutions

Functional Analysis MATH and MATH M6202

Continuity. Matt Rosenzweig

MA651 Topology. Lecture 10. Metric Spaces.

Supplement. The Extended Complex Plane

MATH 426, TOPOLOGY. p 1.

ANALYSIS WORKSHEET II: METRIC SPACES

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

Lecture 5 - Hausdorff and Gromov-Hausdorff Distance

7 Complete metric spaces and function spaces

INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS

Math General Topology Fall 2012 Homework 6 Solutions

Metric Spaces and Topology

Compact operators on Banach spaces

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

Continuous Functions on Metric Spaces

Normed & Inner Product Vector Spaces

Math 5210, Definitions and Theorems on Metric Spaces

MATH 31BH Homework 1 Solutions

Math 54 - HW Solutions 5

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

The following definition is fundamental.

Math 426 Homework 4 Due 3 November 2017

Immerse Metric Space Homework

The weak topology of locally convex spaces and the weak-* topology of their duals

REVIEW OF ESSENTIAL MATH 346 TOPICS

Selçuk Demir WS 2017 Functional Analysis Homework Sheet

SOLUTIONS TO SOME PROBLEMS

4 Countability axioms

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

Real Analysis Notes. Thomas Goller

Class Notes for MATH 255.

MAT 771 FUNCTIONAL ANALYSIS HOMEWORK 3. (1) Let V be the vector space of all bounded or unbounded sequences of complex numbers.

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

Overview of normed linear spaces

Course 212: Academic Year Section 1: Metric Spaces

Chapter 2. Metric Spaces. 2.1 Metric Spaces

Lecture 4: Completion of a Metric Space

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

B. Appendix B. Topological vector spaces

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

Math 209B Homework 2

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

Analysis II Lecture notes

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space

Metric Spaces Math 413 Honors Project

Introduction to Functional Analysis

2 Metric Spaces Definitions Exotic Examples... 3

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

Math General Topology Fall 2012 Homework 11 Solutions

Metric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg

Maths 212: Homework Solutions

Lecture 3. Econ August 12

Seminorms and locally convex spaces

Problem set 5, Real Analysis I, Spring, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, 1 x (log 1/ x ) 2 dx 1

1 Lecture 4: Set topology on metric spaces, 8/17/2012

Hamming Cube and Other Stuff

Problem Set 6: Solutions Math 201A: Fall a n x n,

FUNCTIONAL ANALYSIS-NORMED SPACE

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

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

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.

1 Basics of vector space

SOME QUESTIONS FOR MATH 766, SPRING Question 1. Let C([0, 1]) be the set of all continuous functions on [0, 1] endowed with the norm

HAUSDORFF DISTANCE AND CONVEXITY JOSEPH SANTOS. A thesis submitted to the. Graduate School-Camden. Rutgers, The State University of New Jersey

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

Chapter 2 Metric Spaces

Math 3T03 - Topology

THEOREMS, ETC., FOR MATH 515

l(y j ) = 0 for all y j (1)

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

Introduction to Topology

2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space.

Chapter II. Metric Spaces and the Topology of C

Linear Algebra Review

Convex Analysis and Economic Theory Winter 2018

A Glimpse into Topology

Solutions: Problem Set 4 Math 201B, Winter 2007

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

Metric spaces and metrizability

Some Background Material

Introduction to Banach Spaces

FUNCTIONAL ANALYSIS CHRISTIAN REMLING

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

A glimpse into convex geometry. A glimpse into convex geometry

Transcription:

Problem Set 1: s Math 201A: Fall 2016 Problem 1. Let (X, d) be a metric space. (a) Prove the reverse triangle inequality: for every x, y, z X d(x, y) d(x, z) d(z, y). (b) Prove that if x n x and y n y as n, then d(x n, y n ) d(x, y). (a) The triangle inequality d(x, y) + d(y, z) d(x, z) implies that d(x, y) d(x, z) d(y, z). Exchanging x and y, and using the symmetry of d, we also have d(x, y) d(y, z) d(x, z). Hence d(x, y) d(x, z) d(y, z). (b) Using the reverse triangle inequality, we get that d(x n, y n ) d(x, y) d(x n, y n ) d(x, y n ) + d(x, y n ) d(x, y) d(x n, x) + d(y n, y) 0 as n. 1

Problem 2. Let E be a finite set and let P = P(E) be the power set of E (the set of all subsets of E). Define d : P P R by d(a, B) = card(a B) where card(a) is the number of elements of A and A B = (A \ B) (B \ A) is the symmetric difference of A, B E. Show that (P, d) is a metric space. We have d(a, B) 0. If d(a, B) = 0, then A \ B = A B c =, so B A. Similarly, A B, so A = B. The symmetry of d is immediate. Let A, B, C X. Then A B = (A B c ) (A c B) = (A B c C) (A B c C c ) (A c B C) (A c B C c ) = F G, where (draw a Venn diagram!) F = (A c B C) (A B c C c ), G = (A B c C) (A c B C c ). If x F, then either x A c B and x C, which implies that x / G, or x A B c and x C c, which also implies that x / G. It follows that F G = and We have card(a B) = card(f ) + card(g). F (A c C) (A C c ) = A C, so card(f ) card(a C). Similarly, card(g) card(b C), which shows that card(a B) card(a C) + card(b C). Thus, d satisfies the triangle inequality. Remark. In coding theory, d is called the Hamming metric, which measures the number of mismatches between two finite strings of 0s and 1s. 2

Problem 3. If (X, d) is a metric space, define ρ : X X R by ρ(x, y) = (a) Show that (X, ρ) is a metric space. d(x, y) 1 + d(x, y). (b) Show that (X, d) and (X, ρ) have the same convergent sequences and the same metric topologies. Do they necessarily have the same Cauchy sequences? (a) Let s, t 0. Then Moreover, s + t 1 + s + t = s 1 + s + t + t 1 + s + t s 1 + s + t 1 + t. so 0 t s implies that s 1 + s t 1 + t = s t (1 + s)(1 + t), t 1 + t s 1 + s The positivity and symmetry of ρ are immediate. Let x, y, z X. Using the triangle inequality for d and the previous inequalities, we get that d(x, y) ρ(x, y) = 1 + d(x, y) d(x, z) + d(y, z) 1 + d(x, z) + d(y, z) d(x, z) d(y, z) + 1 + d(x, z) 1 + d(y, z) ρ(x, z) + ρ(y, z), so ρ satisfies the triangle inequality, and (X, ρ) is a metric space. 3

(b) Clearly, d(x n, x) 0 if and only if ρ(x n, x) 0, so d and ρ have the same convergent sequences. Let B r (x) denote the open ball with respect to d and C r (x) the open ball with respect to ρ. If d(x, y) < r, then ρ(x, y) < r, so B r (x) C r (x). It follows that if G is open with respect to ρ and C ɛ (x) G for each x G and some ɛ > 0, then B ɛ (x) G, so G is open with respect to d. Similarly, if ρ(x, y) < r where r < 1/2, then d(x, y) < 2r, so C r (x) B 2r (x). If G is open with respect to d and B ɛ (x) G, then we can choose ɛ < 1/2 without loss of generality, and C ɛ/2 (x) G, so G is open with respect to ρ. The two metrics have the same Cauchy sequences. Suppose that (x n ) is Cauchy in (X, ρ) and let ɛ > 0. Choose N N such that { ɛ ρ(x m, x n ) < min 2, 1 } for all m, n > N. 2 Then d(x m, x n ) < ɛ for all m, n > N, so (x n ) is Cauchy in (X, d). The converse is similar. 4

Problem 4. Define d : R 2 R 2 R by d(x, y) = x 1 y 1 + x 2 y 2 x = (x 1, x 2 ), y = (y 1, y 2 ). (a) Show that (R 2, d) is a metric space. Is this metric derived from a norm on R 2, meaning that d(x, y) = x y? (b) Sketch the unit ball B 1 (0) in (R 2, d). Is it a convex set? (a) The symmetry and positivity of d are immediate, so we just need to verify the triangle inequality. For any a, b 0, we have ( a + b ) 2 = a + 2 ab + b a + b, which shows that a + b a + b, with equality if and only if a = 0 or b = 0. Let x = (x 1, x 2 ), y = (y 1, y 2 ) and z = (z 1, z 2 ). Then, since x x is an increasing function, the previous inequality implies that d(x, y) = x 1 y 1 + x 2 y 2 x 1 z 1 + z 1 y 1 + x 2 z 2 + z 2 y 2 x 1 z 1 + y 1 z 1 + x 2 z 2 + y 2 z 2 d(x, z) + d(z, y). The metric is not derived from a norm on R 2 since d(λx, λy) = λ d(x, y) for λ R, so it is not homogeneous of degree one. (b) The unit ball is shown in the figure. It is not convex. For example, if 1/2 a < 1 and x = (a, 0), y = (0, a), z = 1 (x + y), 2 5

then d(x, 0) = d(y, 0) = a < 1 and d(z, 0) = 2a 1, so x, y B 1 (0) but z / B 1 (0). Remark. The unit ball of a (real) normed space is always convex, since x, y < 1 and 0 λ 1 implies that λx + (1 λ)y λ x + (1 λ) y < 1. 6

Problem 5. Define the closure Ā of a subset A X of a metric space X by Show that Ā = {F X : F A and F is closed}. Ā = {x X : there exists a sequence (x n ) with x n A and x n x}. First, we show that x Ā if and only if every neighborhood of x contains some point in A. To do this, we prove the equivalent statement that x / Ā if and only if some neighborhood of x is disjoint from A. If x / Ā, then since Ā A is closed and Āc A c is open, there is a neighborhood U x Āc of x that is disjoint from A. Conversely, if U x is an open neighborhood of x X that is disjoint from A, then F = U c x is a closed set with F A and x / F so x / Ā. Let à denote the sequential closure of A: à = {x X : there exists a sequence (x n ) with x n A and x n x}. If x / Ā, then x has a neighborhood that is disjoint from Ā A, so no sequence in A can converge to x and x / Ã. It follows that Ā Ã. If x Ā, then for every n N, there exists x n B 1/n (x) A, so (x n ) is a sequence in A that converges to x, and x Ã. It follows that à Ā, so à = Ā. 7

Problem 6. Is the closure of the open ball B r (x) = {y X : d(x, y) < r} in a metric space (X, d) always equal to the closed ball B r (x) = {y X : d(x, y) r}? This is not true in general. For example, if X is a set with at least two elements and d : X X R is the discrete metric, { 1 if x y, d(x, y) = 0 if x = y, then every subset of X is closed and B 1 (x) = {x}, B 1 (x) = {x}, but B 1 (x) = X, so B 1 (x) B 1 (x). 8

Problem 7. Let X be the space of all real sequences of the form x = (x 1, x 2, x 3,..., x N, 0, 0,... ) for some N N, where x n R, whose terms are zero from some point on. Define x = max n N x n. (a) Show that (X, ) is a normed linear space (with vector addition and scalar multiplication defined componentwise). (b) Show that X is not complete. (c) Let c 0 denote the space of all real sequences (x n ) such that x n 0 as n. Show that (c 0, ) is complete and X is dense in c 0.. (a) It is immediate to verify that X is a linear space under componentwise addition and scalar multiplication. (Note that a finite linear combination of sequences in X also belongs to X.) The properties of a norm are straightforward to check. For example, if x = (x n ) and y = (y n ), then x + y = max n N x n + y n max { x n + y n } n N max x n + max y n n N n N x + y. (b) Consider the sequence ( x (k)) in X defined for k N by x (k) = (1, 1/2, 1/3,..., 1/k, 0, 0,... ). Then, for all j > k, we have x (j) x (k) 1 = k + 1, so the sequence is Cauchy. However, if x = (x 1, x 2,..., x N, 0, 0,... ) is any point in X, then x (k) x 1 for all k N + 1, N + 1 so the sequence ( x (k)) does not have a limit in X, and X is not complete. 9

(c) First, we show that X is dense in c 0. If x = (x n ) c 0, then given any ɛ > 0 there exists N N such that x n < ɛ for all n > N. It follows that if x (N) = (x 1,..., x N, 0, 0,... ) X, then x x (N) < ɛ, so X is a dense subspace of c0. Next, we prove that c 0 is complete. Suppose that ( x (k)) is a Cauchy sequence in c 0, where x (k) = ( ) x (k) n. n=1 Since x (k) n x (l) n x (k) x (l), the sequence (x (k) n ) k=1 is Cauchy in R for each n N, so by the completeness of R, there is x n R such that x (k) n x n as k. Let x = (x n ) and let ɛ > 0 be given. Since ( x (k)) is Cauchy in c 0, there exists K ɛ N such that x (k) n x (l) n < ɛ for every n N and all k, l K ɛ. Taking the limit of this inequality as l, we get that It follows that that x (k) n x n ɛ for every n N and all k K ɛ. x (k) x = sup x (k) n x n ɛ for k K ɛ, n N which shows that x (k) x 0 as k. Finally, we show that x c 0. Let ɛ > 0 be given. Then there exists k ɛ N such that x x (kɛ) < ɛ 2, and since x (kɛ) c 0, there exists N ɛ N such that x (k ɛ) ɛ n < for n > N ɛ. 2 It follows that x n xn x (kɛ) + x (k ɛ) < ɛ for n > Nɛ, which shows that x c 0 and c 0 is complete. n n 10