250 Metric Spaces
H. Define a function on M
n
×M
n
by ρ(A, B) = rank(A −B). Prove that ρ is a metric
that is topologically equivalent to the discrete metric.
I. Put a metric ρ on all the words in a dictionary by defining the distance between two
distinct words to be 2
−n
if the words agree for the first n letters and are different at
the (n+1)st letter. Here we agree that a space is distinct from a letter. For example,
ρ(car, cart) = 2
−3
and ρ(car, call) = 2
−2
.
(a) Verify that this is a metric.
(b) Suppose that words w
1
, w
2
and w
3
are listed in alphabetical order. Show that
ρ(w
1
, w
2
) ≤ ρ(w
1
, w
3
).
(c) Suppose that words w
1
, w
2
and w
3
are listed in alphabetical order. Find a formula
for ρ(w
1
, w
3
) in terms of ρ(w
1
, w
2
) and ρ(w
2
, w
3
).
J. Recall the 2-adic metric of Examples 9.1.2(4) and 9.1.5(4). Extend it to Q by setting
ρ
2
(a/b, a/b) = 0 and, if a/b 6= c/d, then ρ
2
(a/b, c/d) = 2
−e
, where e is the unique
integer such that a/b − c/d = 2
e
(f/g) and both f and g are odd integers.
(a) Prove that ρ
2
is a metric on Q.
(b) Show that the sequence of integers a
n
= (1 − (−2)
n
)/3 converges in (Q, ρ
2
).
(c) Find the limit of
n!
n! + 1
in this metric.
K. Complete the details of Theorem 9.1.8 as follows:
(a) Prove that Theorem 8.2.1 is valid when S is replaced by a metric space X.
(b) Prove that C
b
(X) is a complete normed vector space. HINT: Theorem 8.2.2
L. Suppose that (X, ρ) is a nonempty metric space. Let C
b
(X) be the normed space of all
bounded continuous functions on X with the sup norm kfk
∞
= sup{|f(x)| : x ∈ X}.
(a) Fix x
0
in X. For each x ∈ X, define f
x
(y) = ρ(x, y) − ρ(x
0
, y) for y ∈ X. Show
that f
x
is a bounded continuous function on X.
(b) Show kf
x
− f
y
k
∞
= ρ(x, y).
(c) Hence deduce that the map that takes x ∈ X to the function f
x
identifies X with a
subset F of C
b
(X) that induces the same metric.
M. (a) Give an example of a decreasing sequence of closed balls in a complete metric
space with empty intersection. Compare with Exercise 7.2.J.
HINT: Use a metric on N topologically equivalent to the discrete metric so that
{n ≥ k} are closed balls.
(b) Show that a metric space (M, d) is complete if and only if every decreasing se-
quence of closed balls with radii going to zero has a nonempty intersection.
9.2. Compact Metric Spaces
As we have mentioned in the previous chapter, in general, a closed and bounded
set need not be compact. There are several useful properties that are equivalent to
compactness. In this section, we define these properties and prove they are equiva-
lent.
We have to change our language slightly. Our old notion of compactness will
be renamed sequential compactness. Although we introduce a new notion and
call it compactness, we will prove that the two notions are equivalent in normed
spaces and in metric spaces. There is a more general setting, topological spaces,