Professional Documents
Culture Documents
Exercise 2.2
Exercise 2.3
Exercise 2.5
Exercise 2.10
The only nontrivial metric axiom to check is the triangle inequality. Since distances
are either 0 or 1, the only way the triangle inequality can be false is if there are 3 points
x, y, z ∈ X such that d(x, y) = d(y, z) = 0 but d(x, z) = 1. However, the equation
d(x, y) = d(y, z) = 0 says that x = y and y = z. Therefore x = z, so d(x, z) = 0 as well, so
this case cannot happen.
This metric space gives what is called the discrete topology on X: for each x ∈ X, the
singleton set {x} is also equal to B1/2 (x) and is therefore open. Since arbitrary unions of
open sets are open, we conclude that every subset of X is open.
We claim that the compact sets are precisely the finite subsets of X. Clearly, every
finite set is compact. Now let S ⊂ X be infinite. Then {{x} | x ∈ S} is an open cover of
S with no finite subcover.
Exercise 2.11
We need to check the conditions (a), (b), (c) in Definition 2.15. d1 , d3 , d4 are not a
metric since
d1 (0, 1) + d1 (1, 2) = 2 < 4 = d1 (0, 2), d3 (−1, 1) = 0, d4 (1, 1) = 1 6= 0,
which contradicts (c), (a), (a), respectively. Now we show that d2 is a metric. Note that
(a), (b) are obviously satisfied. Also we have
p p p p
( |x − y| + |y − z|)2 = |x − y| + |y − z| + 2 |x − y| |y − z| ≥ |x − z|,
from which (c) follows. Likewise we show that d5 is a metric. (a), (b) are again obvious,
and since
|x − y| |y − z| |x − z|
+ −
1 + |x − y| 1 + |y − z| 1 + |x − z|
|x − y|(1 + |y − z|)(1 + |x − z|) + |y − z|(1 + |x − y|)(1 + |x − z|) − |x − z|(1 + |x − y|)(1 + |y − z|)
=
(1 + |x − y|)(1 + |y − z|)(1 + |x − z|)
(|x − y| + |y − z| − |x − z|) + 2|x − y||y − z| + |x − y||y − z||x − z|
= ≥ 0,
(1 + |x − y|)(1 + |y − z|)(1 + |x − z|)
(c) is also satisfied.