Chapter 4

Metric Spaces

[48/94%]
Show
LaTeX
Problem 4.1.1

Let SS be a subset of R\mathbb {R}. Let CC be the set of points xx in R\mathbb {R} with the property that S∩(x−δ,x+δ)S \cap (x-\delta , x+\delta ) is uncountable for every δ>0\delta > 0. Prove that S∖CS \setminus C is finite or countable.

?
Problem 4.1.2

Let A⊆RA \subseteq \mathbb {R} be uncountable.

?
(1)

Show that AA has at least one accumulation point.

(2)

Show that AA has uncountably many accumulation points.

Problem 4.1.3

Let {x(i,j)∣i,j∈N}\left\{ x(i,j) \mid i, j \in \mathbb {N}\right\} be a doubly indexed set in a complete metric space (X,ρ)(X, \rho ) such that

ρ(x(i,j),x(k,ℓ))≤min⁡{max⁡{1i,1k},max⁡{1j,1ℓ}}. \rho (x(i,j), x(k,\ell )) \leq \min \left\{ \max \left\{ \frac{1}{i}, \frac{1}{k}\right\} , \max \left\{ \frac{1}{j}, \frac{1}{\ell }\right\} \right\} .

Prove that the iterated limits lim⁡i→∞lim⁡j→∞x(i,j)\lim_{i \to \infty } \lim_{j \to \infty } x(i,j), lim⁡j→∞lim⁡i→∞x(i,j)\lim_{j \to \infty } \lim_{i \to \infty } x(i,j) exist and are equal.

?
Problem 4.1.4

Let T0T_0 be the interior of a triangle in R2\mathbb {R}^{2} with vertices A,B,CA, B, C. Let T1T_1 be the interior of the triangle whose vertices are the midpoints of the sides of T0T_0, T2T_2 the interior of the triangle whose vertices are the midpoints of the sides of T1T_1, and so on. Describe the set ∩n=0∞Tn\cap_{n=0}^{\infty } T_n.

?
Problem 4.1.5

Let KK be a compact subset of Rn\mathbb {R}^{n} and {Bj}\left\{ B_j\right\} a sequence of open balls that covers KK. Prove that there is a positive number ε\varepsilon such that each ε\varepsilon-ball centered at a point of KK is contained in one of the balls BjB_j.

?
Problem 4.1.6

Prove or disprove: The set Q\mathbb {Q} of rational numbers is the intersection of a countable family of open subsets of R\mathbb {R}.

?
Problem 4.1.7

Let X⊂RX \subset \mathbb {R} be a nonempty connected set of real numbers. If every element of XX is rational, prove XX has only one element.

?
Problem 4.1.8

Give an example of a subset of R\mathbb {R} having uncountably many connected components. Can such a subset be open? Closed?

?
Problem 4.1.9

Let fn:Rk→Rmf_n : \mathbb {R}^{k} \to \mathbb {R}^{m} be continuous (n=1,2,…n = 1, 2, \ldots). Let KK be a compact subset of Rk\mathbb {R}^{k}. Suppose fn→ff_n \to f uniformly on KK. Prove that

S=f(K)∪⋃n=1∞fn(K) S = f(K) \cup \bigcup _{n=1}^{\infty } f_n(K)

is compact.

?
Problem 4.1.10

Show that the interval [0,1][0,1] cannot be written as a countably infinite disjoint union of closed subintervals of [0,1][0,1].

?
Problem 4.1.11

Let XX and YY be nonempty subsets of a metric space MM. Define

d(X,Y)=inf⁡{d(x,y)∣x∈X,y∈Y}. d(X,Y) = \inf \left\{ d(x,y) \mid x \in X, y \in Y\right\} .
?
(1)

Suppose XX contains only one point xx, and YY is closed. Prove

d(X,Y)=d(x,y) d(X,Y) = d(x,y)

for some y∈Yy \in Y.

(2)

Suppose XX is compact and YY is closed. Prove

d(X,Y)=d(x,y) d(X,Y) = d(x,y)

for some x∈Xx \in X, y∈Yy \in Y.

(3)

Show by example that the conclusion of Part 2 can be false if XX and YY are closed but not compact.

Problem 4.1.12

Let S⊂RnS \subset \mathbb {R}^{n} be a subset which is uncountable. Prove that there is a sequence of distinct points in SS converging to a point of SS.

?
Problem 4.1.13

Let X⊂RnX \subset \mathbb {R}^{n} be a closed set and rr a fixed positive real number. Let Y={y∈Rn∣∣x−y∣=r for some x∈X}Y = \left\{ y \in \mathbb {R}^{n} \mid \left|x-y\right| = r \text{ for some } x \in X\right\}. Show that YY is closed.

?
Problem 4.1.14

Show that every infinite closed subset of Rn\mathbb {R}^{n} is the closure of a countable set.

?
Problem 4.1.15

Let {U1,U2,…}\left\{ U_1, U_2, \ldots \right\} be a cover of Rn\mathbb {R}^{n} by open sets. Prove that there is a cover {V1,V2,…}\left\{ V_1, V_2, \ldots \right\} such that

?
(1)

Vj⊂UjV_j \subset U_j for each jj;

(2)

each compact subset of Rn\mathbb {R}^{n} is disjoint from all but finitely many of the VjV_j.

Problem 4.1.16

A standard theorem states that a continuous real valued function on a compact set is bounded. Prove the converse: If KK is a subset of Rn\mathbb {R}^{n} and if every continuous real valued function on KK is bounded, then KK is compact.

?
Problem 4.1.17

Let A⊂RnA \subset \mathbb {R}^{n} be compact, x∈Ax \in A; let (xi)(x_i) be a sequence in AA such that every convergent subsequence of (xi)(x_i) converges to xx.

?
(1)

Prove that the entire sequence (xi)(x_i) converges.

(2)

Give an example to show that if AA is not compact, the result in Part 1 is not necessarily true.

Problem 4.1.18

Let X⊂RnX \subset \mathbb {R}^{n} be compact and let f:X→Rf : X \to \mathbb {R} be continuous. Given ε>0\varepsilon > 0, show there is an MM such that for all x,y∈Xx, y \in X,

∣f(x)−f(y)∣≤M∣x−y∣+ε. \left|f(x) - f(y)\right| \leq M \left|x-y\right| + \varepsilon .
?
Problem 4.1.19

Let {Sα}\left\{ S_{\alpha }\right\} be a family of connected subsets of R2\mathbb {R}^{2} all containing the origin. Prove that ∪αSα\cup_{\alpha } S_{\alpha } is connected.

?
Problem 4.1.20

Consider the following properties of a function f:Rn→Rf : \mathbb {R}^{n} \to \mathbb {R}:

  1. ff is continuous.

  2. The graph of ff is connected in Rn×R\mathbb {R}^{n} \times \mathbb {R}. Prove or disprove the implications 1⇒21 \Rightarrow 2, 2⇒12 \Rightarrow 1.

?
Problem 4.1.21

Let UU be a nonempty, proper, open subset of Rn\mathbb {R}^{n}. Construct a function f:Rn→Rf : \mathbb {R}^{n} \to \mathbb {R} that is discontinuous at each point of UU and continuous at each point of Rn∖U\mathbb {R}^{n} \setminus U.

?
Problem 4.1.22

Prove or give a counterexample: Every connected, locally pathwise connected set in Rn\mathbb {R}^{n} is pathwise connected.

?
Problem 4.1.23

The set of real 3×33 \times 3 symmetric matrices is a real, finite-dimensional vector space isomorphic to R6\mathbb {R}^{6}. Show that the subset of such matrices of signature (2,1)(2,1) is an open connected subspace in the usual topology on R6\mathbb {R}^{6}.

?
Problem 4.1.24

Let Mn×nM_{n \times n} be the vector space of real n×nn \times n matrices, identified with Rn2\mathbb {R}^{n^2}. Let X⊂Mn×nX \subset M_{n \times n} be a compact set. Let S⊂CS \subset \mathbb {C} be the set of all numbers that are eigenvalues of at least one element of XX. Prove that SS is compact.

?
Problem 4.1.25

Let SO(3)SO(3) denote the group of orthogonal transformations of R3\mathbb {R}^{3} of determinant 11. Let Q⊂SO(3)Q \subset SO(3) be the subset of symmetric transformations ≠I\neq I. Let P2P^2 denote the space of lines through the origin in R3\mathbb {R}^{3}.

?
(1)

Show that P2P^2 and SO(3)SO(3) are compact metric spaces (in their usual topologies).

(2)

Show that P2P^2 and QQ are homeomorphic.

Problem 4.1.26

Let mm and nn be positive integers, with m<nm < n. Let Mm×nM_{m \times n} be the space of linear transformations of Rm\mathbb {R}^{m} into Rn\mathbb {R}^{n} (considered as n×mn \times m matrices) and let LL be the set of transformations in Mm×nM_{m \times n} which have rank mm.

?
(1)

Show that LL is an open subset of Mm×nM_{m \times n}.

(2)

Show that there is a continuous function T:L→Mm×nT : L \to M_{m \times n} such that T(A)A=ImT(A)A = I_m for all AA, where ImI_m is the identity on Rm\mathbb {R}^{m}.

Problem 4.1.27

Let Mn×nM_{n \times n} be the space of real n×nn \times n matrices. Regard it as a metric space with the distance function

d(A,B)=∑i,j=1n∣aij−bij∣(A=(aij),B=(bij)). d(A,B) = \sum _{i,j=1}^{n} \left|a_{ij} - b_{ij}\right| \quad (A = (a_{ij}), B = (b_{ij})).

Prove that the set of nilpotent matrices in Mn×nM_{n \times n} is a closed set.

?
Problem 4.1.28

Let SS be an uncountable subset of R\mathbb {R}. Prove that there exists a real number tt such that both sets S∩(−∞,t)S \cap (-\infty , t) and S∩(t,∞)S \cap (t, \infty ) are uncountable.

?
Problem 4.2.1

Let (X,ρ)(X, \rho ) and (Y,σ)(Y, \sigma ) be metric spaces. Assume that:

  1. f,f1,f2,…f, f_1, f_2, \ldots are bijective functions of XX onto YY with inverses g,g1,g2,…g, g_1, g_2, \ldots

  2. gg is uniformly continuous

  3. fn→ff_n \to f uniformly as n→∞n \to \infty. Prove that gn→gg_n \to g uniformly as n→∞n \to \infty.

?
Problem 4.2.2

Let E1,E2,…E_1, E_2, \ldots be nonempty closed subsets of a complete metric space (X,d)(X,d) with En+1⊂EnE_{n+1} \subset E_n for all positive integers nn, and such that lim⁡n→∞diam⁡(En)=0\lim_{n \to \infty } \operatorname {diam}(E_n) = 0, where diam⁡(E)\operatorname {diam}(E) is defined to be

sup⁡{d(x,y)∣x,y∈E}. \sup \left\{ d(x,y) \mid x, y \in E\right\} .

Prove that ⋂n=1∞En≠∅\bigcap_{n=1}^{\infty } E_n \neq \emptyset.

?
Problem 4.2.3

Let AA be a subset of a compact metric space (X,d)(X,d). Assume that, for every continuous function f:X→Rf : X \to \mathbb {R}, the restriction of ff to AA attains a maximum on AA. Prove that AA is compact.

?
Problem 4.2.4

Let XX be a metric space and (xn)(x_n) a convergent sequence in XX with limit x0x_0. Prove that the set C={x0,x1,x2,…}C = \left\{ x_0, x_1, x_2, \ldots \right\} is compact.

?
Problem 4.2.5

Prove that every compact metric space has a countable dense subset.

?
Problem 4.2.6

Let XX be a compact metric space and f:X→Xf : X \to X an isometry. Show that f(X)=Xf(X) = X.

?
Problem 4.2.7

Let MM be a metric space with metric dd. Let CC be a nonempty closed subset of MM. Define f:M→Rf : M \to \mathbb {R} by

f(x)=inf⁡{d(x,y)∣y∈C}. f(x) = \inf \left\{ d(x,y) \mid y \in C\right\} .

Show that ff is continuous, and that f(x)=0f(x) = 0 if and only if x∈Cx \in C.

?
Problem 4.2.8

Let C1/3C^{1/3} be the set of real valued functions ff on the closed interval [0,1][0,1] such that

?
(1)

f(0)=0f(0) = 0;

(2)

∥f∥\left\| f\right\| is finite, where by definition

∥f∥=sup⁡{∣f(x)−f(y)∣∣x−y∣1/3∣x≠y}. \left\| f\right\| = \sup \left\{ \frac{\left|f(x) - f(y)\right|}{\left|x-y\right|^{1/3}} \mid x \neq y\right\} .

Verify that ∥⋅∥\left\| \cdot \right\| is a norm for the space C1/3C^{1/3}, and prove that C1/3C^{1/3} is complete with respect to this norm.

Problem 4.2.9

Let {fn}n=1∞\left\{ f_n\right\}_{n=1}^{\infty } be a uniformly bounded equicontinuous sequence of real-valued functions on the compact metric space (X,d)(X,d). Define the functions gn:X→Rg_n : X \to \mathbb {R}, for n∈Nn \in \mathbb {N} by

gn(x)=max⁡{f1(x),…,fn(x)}. g_n(x) = \max \left\{ f_1(x), \ldots , f_n(x)\right\} .

Prove that the sequence {gn}n=1∞\left\{ g_n\right\}_{n=1}^{\infty } converges uniformly.

?
Problem 4.2.10

Let F\mathcal{F} be a uniformly bounded, equicontinuous family of real valued functions on the metric space (X,d)(X,d). Prove that the function

g(x)=sup⁡{f(x)∣f∈F} g(x) = \sup \left\{ f(x) \mid f \in \mathcal{F}\right\}

is continuous.

?
Problem 4.2.11

Let XX and YY be metric spaces and ff a continuous map of XX into YY. Let K1,K2,…K_1, K_2, \ldots be nonempty compact subsets of XX such that Kn+1⊂KnK_{n+1} \subset K_n for all nn, and let K=⋂KnK = \bigcap K_n. Prove that f(K)=⋂f(Kn)f(K) = \bigcap f(K_n).

?
Problem 4.2.12

Let (X1,d1)(X_1, d_1) and (X2,d2)(X_2, d_2) be metric spaces and f:X1→X2f : X_1 \to X_2 a continuous surjective map such that d1(p,q)≤d2(f(p),f(q))d_1(p,q) \leq d_2(f(p), f(q)) for every pair of points p,qp, q in X1X_1.

?
(1)

If X1X_1 is complete, must X2X_2 be complete? Give a proof or a counterexample.

(2)

If X2X_2 is complete, must X1X_1 be complete? Give a proof or a counterexample.

Problem 4.3.1

An accurate map of California is spread out flat on a table in Evans Hall, in Berkeley. Prove that there is exactly one point on the map lying directly over the point it represents.

?
Problem 4.3.2

Define a sequence of positive numbers as follows. Let x0>0x_0 > 0 be any positive number, and let xn+1=(1+xn)−1x_{n+1} = (1+x_n)^{-1}. Prove that this sequence converges, and find its limit.

?
Problem 4.3.3

Let f:R→Rf : \mathbb {R} \to \mathbb {R} be monotonically increasing (perhaps discontinuous). Suppose 0<f(0)0 < f(0) and f(100)<100f(100) < 100. Prove f(x)=xf(x) = x for some xx.

?
Problem 4.3.4

Let KK be a nonempty compact set in a metric space with distance function dd. Suppose that φ:K→K\varphi : K \to K satisfies

d(φ(x),φ(y))<d(x,y) d(\varphi (x), \varphi (y)) < d(x,y)

for all x≠yx \neq y in KK. Show there exists precisely one point x∈Kx \in K such that x=φ(x)x = \varphi (x).

?
Problem 4.3.5

Let KK be a continuous function on the unit square 0≤x,y≤10 \leq x, y \leq 1 satisfying ∣K(x,y)∣<1\left|K(x,y)\right| < 1 for all xx and yy. Show that there is a continuous function f(x)f(x) on [0,1][0,1] such that we have

f(x)+∫01K(x,y)f(y) dy=ex2. f(x) + \int _0^1 K(x,y) f(y) \, dy = e^{x^2}.

Can there be more than one such function ff?

?
Problem 4.3.6

Let gg be a continuous real valued function on [0,1][0,1]. Prove that there exists a continuous real valued function ff on [0,1][0,1] satisfying the equation

f(x)−∫0xf(x−t)e−t2 dt=g(x). f(x) - \int _0^x f(x-t) e^{-t^2} \, dt = g(x).
?
Problem 4.3.7

Show there is a unique continuous real valued function f:[0,1]→Rf : [0,1] \to \mathbb {R} such that

f(x)=sin⁡x+∫01f(y)ex+y+1 dy. f(x) = \sin x + \int _0^1 \frac{f(y)}{e^{x+y+1}} \, dy.
?
Problem 4.3.8

Let (M,d)(M,d) be a nonempty complete metric space. Let SS map MM into MM, and write S2S^2 for S∘SS \circ S; that is, S2(x)=S(S(x))S^2(x) = S(S(x)). Suppose that S2S^2 is a strict contraction; that is, there is a constant λ<1\lambda < 1 such that for all points x,y∈Mx, y \in M, d(S2(x),S2(y))≤λd(x,y)d(S^2(x), S^2(y)) \leq \lambda d(x,y). Show that SS has a unique fixed point in MM.

?