Matric Space
Matric Space
Metric Spaces
Theory and Problems
METRIC SPACES
2
Qamrul Hasan Ansari Metric Spaces Page 3
Recommended Books:
1. Q. H. Ansari: Metric Spaces Including Fixed Point Theory and Set-valued Maps, Narosa Publishing
House, New Delhi. 2010.
3. J. K. Hunter and B. Nachtergaele, Applied Analysis, World Scientific, New Jersey, London, Sin-
gapore, Hong Kong, 2001.
4. S. Kumaresan: Topology of Metric Spaces, Narosa Publishing House, 2nd Ed, 2011.
9. W. A. Sutherland: Introduction to Metric and Topological Spaces, Second Edition, Oxford Uni-
versity Press, Oxford, New York, 2009.
Chapter 1
Basic Concepts
5
Qamrul Hasan Ansari Metric Spaces Page 6
Definition 1.1.1
The set X together with a given metric d on X is called a metric space and it is denoted
by (X, d). If there is no confusion likely to occur we, sometimes, denote the metric space
(X, d) by X.
Since d is the generalization of the distance function, we interpret d(x, y) as the distance
between two elements x and y of the set X. Sometimes d is called a distance function on X.
The triangle inequality may be interpreted as that “the length of one side of a triangle can
not exceed the sum of the length of the other two sides”. Equivalently, the distance from x
to y via any intermediate point z can not be shorter than the direct distance from x to y.
z
d(
, z)
z,
y)
d (x
x y
d(x, y)
Qamrul Hasan Ansari Metric Spaces Page 7
The triangle inequality can be extended for a finite number of elements as follows.
From the triangle inequality (M4), it follows by induction that for any x, y, z1 , z2 , . . ., zn ∈ X,
Example 1.1.1
d(x, y) = |x − y|.
Then (X, d) is a metric space and the metric d is called an usual metric on R.
(M1) d(x, y) ≥ 0;
(M2) d(x, y) = |x − y| = 0 if and only if x = y;
(M3) d(x, y) = |x − y| = | − (x − y)| = |y − x| = d(y, x);
(M4) d(x, y) = |x − y| = |(x − z) + (z − y)|
≤ |x − z| + |z − y|
= d(x, z) + d(z, y).
In the verification of (M4) in Example 1.1.1, we used the fact that |a + b| ≤ |a| + |b| for real
numbers a and b. This property also holds for complex numbers a and b. Hence, we have
the following example.
Qamrul Hasan Ansari Metric Spaces Page 8
Example 1.1.2
d(x, y) = |x − y| .
Then (X, d) is a metric space and the metric d is called an usual metric on C.
Example 1.1.3
That is, all points are equally distant from each other. Then (X, d) is a metric space.
The metric d is called a discrete metric and the space (X, d) is called a discrete metric
space.
1 1
e 1 c
1 1
1 1 1 1
a 1 b
The simple discrete metric space X = {a, b, c, d, e}, where the distance between any two
points is 1.
Qamrul Hasan Ansari Metric Spaces Page 9
Remark 1.1.1
Example 1.1.3 shows that on each nonempty set, we can always define at least one
metric that is a discrete metric.
Example 1.1.4
Example 1.1.5
Let X = R2 , the set of all points in the coordinate plane. For any x = (x1 , x2 ),
y = (y1 , y2 ) in X, define
q
d(x, y) = (x1 − y1 )2 + (x2 − y2 )2 .
Then (X, d) is a metric space and d(x, y) is the natural distance between two points in
a plane. d is known as the usual metric on R2 .
R
(x1 , x2 )
y) •
x,
d( x2 − y2
(y
1,
y2•
)
x1 − y1 R
(M2)
q
d(x, y) = 0 ⇔ (x1 − y1 )2 + (x2 − y2 )2 = 0
⇔ (x1 − y1 )2 = 0 and (x2 − y2 )2 = 0
⇔ x1 = y1 and x2 = y2
⇔ x = y.
(M3)
q
d(x, y) = (x1 − y1 )2 + (x2 − y2 )2
q
= (y1 − x1 )2 + (y2 − x2 )2
= d (y, x) .
(M4)
we have
Therefore,
d (x, y) ≤ d (x, z) + d (z, y) .
Qamrul Hasan Ansari Metric Spaces Page 11
Example 1.1.6
The distance between x = (x1 , x2 ) and y = (y1 , y2 ) with respect to the metric d(x, y) =
|x1 − y1 | + |x2 − y2 | is represented by the dark line in the following figure.
R (x1 , x2 )
•
|x2 − y2 |
2)
1, y
•
(y
|x1 − y1 |
R
Verification. The conditions (M1), (M2) and (M3) are obvious. We prove only condition
(M4). For any x = (x1 , x2 ), y = (y1 , y2 ) and z = (z1 , z2 ) in X, we have
Example 1.1.7
The distance between x = (x1 , x2 ) and y = (y1 , y2 ) with respect to the metric d(x, y) =
max {|x1 − y1 | , |x2 − y2 |} is represented by the dark line in the following figure.
R (x1 , x2 )
•
|x2 − y2 |
2)
1, y
•
(y
|x1 − y1 |
R
Remark 1.1.2
Examples 1.1.5, 1.1.6 and 1.1.7 show that more than one metric can be defined on a
nonempty set.
Example 1.1.8
Let X = Rn , the set of ordered n-tuples of real numbers. For any x = (x1 , x2 , . . . , xn ) ∈
X and y = (y1 , y2 , . . . , yn ) ∈ X, we define
n
X
(a) d1 (x, y) = |xi − yi |; (called taxicab metric)
i=1
n
! 12
X
(b) d2 (x, y) = (xi − yi )2 ; (called usual metric)
i=1
n
! p1
X p
(c) dp (x, y) = |xi − yi | , p ≥ 1;
i=1
Verification. In view of Examples 1.1.5, 1.1.6 and 1.1.7, it is easy to verify that d1 , dp
and d∞ are metrics on X.
Qamrul Hasan Ansari Metric Spaces Page 13
The triangular inequality (M4) in the case of dp requires the use of Minkowski inequal-
ity (Theorem A.0.3). For x = (x1 , x2 , . . . , xn ) ∈ Rn , y = (y1 , y2 , . . . , yn ) ∈ Rn , and
z = (z1 , z2 , . . . , zn ) ∈ Rn , we have
n
! 1p n
! p1
X p
X p
dp (x, y) = |xi − yi | = |xi − zi + zi + yi |
i=1 i=1
n
! p1
X p
≤ (|xi − zi | + |zi − yi |)
i=1
n
! p1 n
! p1
X p
X p
≤ |xi − zi | + |zi − yi |
i=1 i=1
= dp (x, z) + dp (z, y).
Remark 1.1.3
Let X = Cn , the set of ordered n-tuples of complex numbers. We can define the metrics
d1 , dp and d∞ on X in the same way as in Example 1.1.8.
Example 1.1.9
Let ℓ∞ be the space of all bounded sequences of real or complex numbers, that is,
∞
ℓ = {xn } ⊆ R or C : sup |xn | < ∞ .
1≤n<∞
Example 1.1.10
Let s be the space of all sequences of real or complex numbers, that is,
s = {{xn } ⊆ R or C} .
∞
X 1 |xn − yn |
Verification. The series is convergent since its nth term is less than
n=1
2n 1 + |xn − yn |
1
2n
. The conditions (M1), (M2) and (M3) can be easily verified.
Let x = {xn }, y = {yn } and z = {zn } be in s. Then by the triangular inequality, we have
and hence1 ,
that is,
d(x, y) ≤ d(x, z) + d(z, y).
1
Let 0 ≤ α ≤ β. Then α + αβ ≤ β + αβ. Dividing both the sides by (1 + α)(1 + β), we have
α β
≤ .
1+α 1+β
Qamrul Hasan Ansari Metric Spaces Page 15
Example 1.1.11
Let 1 ≤ p < ∞. Consider the space ℓp of all sequences {xn } of real or complex numbers
X∞
such that |xn |p < ∞. Let x = {xn } and y = {yn } ∈ ℓp , we define
n=1
∞
! p1
X
d(x, y) = |xn − yn |p .
n=1
Verification. The conditions (M1), (M2) and (M3) can be easily verified. Let x = {xn },
y = {yn } and z = {zn } be sequences in ℓp . Then,
∞
! p1
X
d(x, y) = |xn − yn |p
n=1
∞
! p1
X
= |xn − zn + zn − yn |p
n=1
∞
! 1p ∞
! p1
X X
≤ |xn − zn |p + |zn − yn |p
n=1 n=1
(by Minkowski’s inequality)
= d(x, z) + d(z, y).
Example 1.1.12
Let B[a, b] be the space of all bounded real-valued functions defined on [a, b], that is,
Example 1.1.13
Let C[a, b] be the space of all continuous real-valued functions defined on [a, b]. For
any f, g ∈ C[a, b], we define the real-valued functions d∞ and d1 on C[a, b] × C[a, b] as
follows:
d∞ (f, g) = sup |f (t) − g(t)| ,
t∈[a,b]
and Z b
d1 (f, g) = |f (t) − g(t)| dt,
a
where the integral is the Riemann integral which is possible because the functions f
and g are continuous on [a, b]. Then d∞ and d1 are metrics on C[a, b].
R
(t, g(t))
f
d∞ (f, g)
g
(t, f (t))
a t b R
The metric d∞ measures the distance from f to g as the maximum of vertical distances from
the points (t, f (t)) to (t, g(t)) on the graphs of f and g, respectively. d1 (f, g) represents as
a measure of the distance between the functions f and g to be the area enclosed between
their graphs from x = a to x = b.
Qamrul Hasan Ansari Metric Spaces Page 17
We can also define another metric on C[a, b]. Let f, g ∈ C[a, b], define
Z b p1
d(f, g) = |f (t) − g(t)|p dt , for p ≥ 1.
a
d1 (f, g)
a b R
Remark 1.1.4
Let X be the set of all Riemann integrable functions on [a, b]. For f, g ∈ X, we define
Z b
d(f, g) = |f (x) − g(x)|dx.
a
and g(x) = 1 for all x ∈ [a, b], then d(f, g) = 0. However, f 6= g. It may be noted
that all other properties of a metric do hold. Such real-valued functions are called
pseudometrics on X.
Qamrul Hasan Ansari Metric Spaces Page 18
Definition 1.1.2
(PM2) d(x, y) = 0 if x = y;
Example 1.1.14
and
d(y, z) ≤ d(y, x) + d(x, z) = d(x, y) + d(x, z).
Thus,
−d(x, y) ≤ d(x, z) − d(y, z) ≤ d(x, y),
and therefore,
|d(x, z) − d(y, z)| ≤ d(x, y).
Proof. Since
|d(x, z) − d(z, y)| ≤ d(x, y),
we have
|d(x, y) − d(y, z)| ≤ d(x, z),
and
|d(y, z) − d(z, w)| ≤ d(y, w).
Hence,
|d(x, y) − d(z, w)| ≤ |d(x, y) − d(y, z)| + |d(y, z) − d(z, w)| ≤ d(x, z) + d(y, w).
Hint: Put y = x in (iii), we get 0 = d(x, x) ≤ d(x, z) + d(z, x). By (ii), 0 ≤ 2d(x, z) and so
d(x, z) ≥ 0 for all x, z ∈ X.
Show that these conditions are not sufficient to make the function d a metric on the set X.
Qamrul Hasan Ansari Metric Spaces Page 20
Exercise 1.1.6. Let X = R2 and x = (0, 2), y = (3, 6) in X. Find the distance between x
and y by using the metrics of Examples 1.1.5, 1.1.6 and 1.1.7.
Exercise 1.1.7. Let c be the space of all convergent sequences of real or complex numbers.
For x = {xn } and y = {yn } in c, let
Prove that d1 and d2 are metrics on X, but d3 may or may not be a metric on X.
Exercise 1.1.9. Let K be the set of all real or complex numbers. Prove that for each
x, y ∈ K,
0, if x = y,
d(x, y) =
|x| + |y|, if x 6= y,
is a metric on K.
Exercise 1.1.10. Let X = [0, 1) and d(x, y) = |x − y| for all x, y ∈ X. Prove that d is a
metric on X.
Exercise 1.1.11. Let X = Q, the set of all rational numbers. Show that
is a metric on X.
Exercise 1.1.12. Let X = {x ∈ R : x > 0} and
1 1
d(x, y) = − , for all x, y ∈ X.
x y
Show that d is a metric on X.
Exercisep 1.1.13. Let X = R and d : X × X → R be a real-valued function defined by
d(x, y) = |x − y| for all x, y ∈ X. Show that d is metric on X.
[d(x, y)]2 = |x − y| ≤ |x − z| + |z − y|
= [d(x, z)]2 + [d(z, y)]2
≤ [d(x, z) + d(z, y)]2 .
Qamrul Hasan Ansari Metric Spaces Page 21
Exercise 1.1.14. Let X = Q, the set of all rational numbers. Let all pq , rs ∈ Q be written
p r
in their lowest terms, q, s > 0, and d q , s = 1q − 1s . Is d a metric on X?
Hint: Consider 31 , 32 ∈ Q in their lowest terms. Then d 1 2
,
3 3
= 1
3
− 1
3
= 0 but 1
3
6= 23 .
1 1
Exercise 1.1.15. Show that X = R \ Q with d(x, y) = x
− y
for all x, y ∈ X, is a metric
space on X.
Exercise 1.1.16. Show that C with
min{|z1 | + |z2 |, |z1 − 1| + |z2 − 1|}, if z1 6= z2 ,
d(z1 , z2 ) =
0, otherwise,
is a metric space.
Exercise 1.1.17. Determine whether the following real-valued functions defined on R × R
are metrics on R. For all (x, y) ∈ R × R,
(a) d1 (x, y) = [|x − y|], the greatest integer less than or equal to |x − y|;
(b) d2 (x, y) = ln |x − y|;
(c) d3 (x, y) = | sin(x − y)|;
(d) d4 (x, y) = e|x−y| ;
(e) d5 (x, y) = | cos(x − y)|;
(f) d6 (x, y) = |x2 − y 2|;
(g) d7 (x, y) = 2|x − y|;
(h) d8 (x, y) = (x − y)3;
(i) d9 (x, y) = |x − y|3;
(j) d10 (x, y) = |xy|.
Exercise 1.1.18. Let X = R and d : X × X → R be a real-valued function defined by
|x| + |x − y| + |y|, if x 6= y,
d(x, y) =
0, otherwise.
Hint: Let x = (x1 , x2 ), y = (y1 , y2) and z = (z1 , z2 ) be in X. Observe that d(x, y) ≥ |x1 −y1 |.
If x2 = y2 , then d(x, y) = |x1 − y1 | ≤ |x1 − z1 | + |z1 − y1 | ≤ d(x, z) + d(z, y). If x2 6= y2 , then
z2 cannot be equal to both x2 and y2 ; so assume that z2 6= x2 . Then,
Is d a metric on X?
Hint: Choose x = (2, 3), y = (2, 4). Then x 6= y, but d(x, y) = min{0, 1} = 0. Hence d is
not a metric on X.
Exercise 1.1.22. Show that X = R2 with d(x, y) = d((x1 , y1 ), (x2 , y2 )) = |x2 − y2 | is not a
metric space, where x = (x1 , x2 ), y = (y1 , y2 ) ∈ X.
Exercise 1.1.23. Let X = C[0, 1] and d∞ : X × X → R be a real-valued function defined
by
d∞ (f, g) = sup |f (t) − g(t)|, for all f, g ∈ C[0, 1].
t∈[0,1]
1
Hint: f (t) − g(t) = t − t2 = −( 21 − t)2 + 1
4
and so sup |f (t) − g(t)| = .
t∈[0,1] 4
Exercise 1.1.24. Let X be the set of continuously differentiable functions on [0, 1]. Deter-
mine whether the following real-valued functions defined on X × X are metrics on X. For
all (f, g) ∈ X × X,
Exercise 1.1.25. Let d1 and d2 be metrics on a set X. Check whether the following functions
are also metrics on X? Justify your answer.
Qamrul Hasan Ansari Metric Spaces Page 23
(a) d1 + d2 ;
(b) max{d1 , d2 };
(c) min{d1 , d2 };
(d) 14 d1 + 43 d2 ;
(e) d1 × d2 .
Hint: (a), (b) and (d) are metrics, however, (c) and (e) are not because R y triangle inequality
fails
Ry in these cases. For example, consider X = [0, 1] and d 1 (x, y) = x
t dt and d2 (x, y) =
1
x
(1 − t) dt are metrics on X. Then for x = 0, y = 2 , z = 1, we have
nR R1 o
1
min{d1 , d2}(x, z) = min 0
t dt , 0
(1 − t) dt = min 21 , 21 = 12 .
nR R 1/2 o 1 3
1/2
min{d1 , d2 }(x, y) = min 0
t dt , 0
(1 − t) dt = min ,
8 8
= 81 .
nR R1 o
1
min{d1 , d2}(y, z) = min 1/2
t dt , 1/2
(1 − t) dt = min 83 , 81 = 18 .
For (e), consider the metric space X = R with the usual metric and take d1 (x, y) = d2 (x, y) =
|x − y| for all x, y ∈ X. Then the triangle inequality does not satisfy for x = 0, y = 21 and
z = 1.
Exercise 1.1.26. Let (Xi , di ), i = 1, 2, . . . , n, be metric spaces and X = X1 × X2 × · · · × Xn .
Prove that for each x = (x1 , x2 , . . . , xn ) ∈ X and y = (y1 , y2 , . . . , yn ) ∈ X,
ˆ y) = max di (xi , yi ),
d(x,
1≤i≤n
and n
X
˜ y) =
d(x, di (xi , yi ),
i=1
are metrics on X.
Exercise 1.1.27. Let (X, d) be a metric space. Prove that
d(x, y)
d∗ (x, y) = , for all x, y ∈ X,
1 + d(x, y)
is also a metric on X.
a b a+b
Hint: Use + ≥ for all a ≥ 0, b ≥ 0.
1+a 1+b 1+a+b
Exercise 1.1.28. Let (X, d) be a metric space and t be a fixed positive number. Show that
d∗ (x, y) = min{t, d(x, y)} is also a metric on X.
Qamrul Hasan Ansari Metric Spaces Page 24
Exercise 1.1.30. Let (X, d1 ) and (Y, d2 ) be two metric spaces such that X ∩ Y = ∅. Let
x0 ∈ X and y0 ∈ Y be any fixed elements. Define d : (X ∪ Y ) × (X ∪ Y ) → [0, ∞) by
d1 (a, b), if a, b ∈ X,
d2 (a, b), if a, b ∈ Y,
d(a, b) =
d1 (a, x0 ) + d2 (b, y0 ), if a ∈ X and b ∈ Y,
d1 (b, x0 ) + d2 (a, y0 ), if b ∈ X and a ∈ Y.
Exercise 1.1.31. Let (X, d1 ) and (Y, d2 ) be two metric spaces such that X ∩ Y = ∅. Define
d : (X ∪ Y ) × (X ∪ Y ) → [0, ∞) by
1, if a ∈ X and b ∈ Y,
1, if a ∈ Y and b ∈ X,
d(a, b) =
d1 (a, b), if a, b ∈ X,
d2 (a, b), if a, b ∈ Y.
|x − y|
d(x, y) = √ p , for all x, y ∈ X.
1 + x2 1 + y 2
(i) p(x, y) ≥ 0;
is a metric on X.
Qamrul Hasan Ansari Metric Spaces Page 25
Definition 1.2.1
Let (X, d) be a metric space and let A and B be nonempty subsets of X. The distance
between the sets A and B, denoted by ρ (A, B), is given by
It is called the distance of a point x ∈ X from the set B, and is denoted by ρ (x, B).
Remark 1.2.1
(b) If ρ(A, B) = 0, then it does not imply that A and B have common points.
Example 1.2.1
Definition 1.2.2
The set A is called bounded if δ(A) ≤ k < ∞. In other words, A is bounded if its
diameter is finite, otherwise it is called unbounded.
Example 1.2.2
(a) The real line with the usual metric is an unbounded metric space.
(b) In R with the usual metric, the intervals [a, b], (a, b), [a, b) and (a, b] are bounded.
But [a, ∞) and (−∞, a] are not bounded.
(c) The space s of all sequences of real or complex numbers with the metric defined
k
X 1
in Example 1.1.10 is a bounded space since d(x, y) < .
n=1
2n
(d) Every set in a discrete metric space (X, d) is bounded and its diameter is 1.
Example 1.2.3
1
√
2
1 R
Remark 1.2.2
Let (X, d) be a metric space. We can define other metrics on X with the help of the
metric d in the following manner:
d(x, y)
d1 (x, y) = and d2 (x, y) = min {1, d(x, y)} .
1 + d(x, y)
Then d1 and d2 are metrics on X, and with these metrics, (X, d1 ) and (X, d2 ) are
bounded metric spaces irrespective of whether the metric space (X, d) is bounded or
not.
Exercise 1.2.1. Determine the distance from (3, 4) to the set [0, 1]×[0, 1] in R2 with respect
to the metrics (a) usual, (b) taxicab, (c) max, and (d) discrete.
Qamrul Hasan Ansari Metric Spaces Page 27
Proof of (e) and (f). Let a and b be arbitrary elements of A and B, respectively, and let
x, y ∈ A ∪ B. If both x and y are in A, then d(x, y) ≤ δ(A). If both x and y are in B, then
d(x, y) ≤ δ(B).
Thus,
d(x, y) ≤ δ(A) + d(a, b) + δ(B), for all x, y ∈ A ∪ B,
and therefore,
Hence,
δ(A ∪ B) ≤ δ(A) + ρ(A, B) + δ(B).
Definition 1.3.1
Let (X, d) be a metric space. Given a point x0 ∈ X and a real number r > 0, the sets
and
Sr [x0 ] = {y ∈ X : d(x0 , y) ≤ r}
are called open sphere (or open ball) and closed sphere (or closed ball), respectively, with
center at x0 and radius r.
Remark 1.3.1
(a) The open and closed spheres are always nonempty, since x0 ∈ Sr (x0 ) ⊆ Sr [x0 ].
(b) Every open (respectively, closed) sphere in R with the usual metric is an open
(respectively, closed) interval, but the converse is not true. For example, (−∞, ∞)
is an open interval in R, but not an open sphere.
Example 1.3.1
(a) In the metric space R with the usual metric, the spheres Sr (x0 ) and Sr [x0 ] are
intervals
(x0 − r, x0 + r) and [x0 − r, x0 + r],
respectively.
(b) In the metric space C with the usual metric, the sphere Sr (z0 ) and Sr [z0 ] are
circular discs
|z − z0 | < r and |z − z0 | ≤ r,
respectively, where z0 ∈ C and r > 0.
Qamrul Hasan Ansari Metric Spaces Page 29
Example 1.3.2
Let X be a nonempty set with the discrete metric d. Then the open sphere Sr (x0 ) is
{x0 }, if 0 < r ≤ 1,
Sr (x0 ) =
X, if r > 1,
Example 1.3.3
Let X = [0, 1) be a metric space with the usual metric d(x, y) = |x − y| for all x, y ∈ X.
Then the open sphere Sr (0) is
[0, r), if r ≤ 1,
Sr (0) =
[0, 1), if r > 1,
Example 1.3.4
In R2 , the open sphere with center at 0 = (0, 0) and radius 1 with respect to the metrics
d1 , d2 and d∞ , respectively, (in Example 1.1.8), are
S11 (0) = y = (y1 , y2 ) ∈ R2 : |y1 | + |y2 | < 1 ,
q
2 2 2 2
S1 (0) = y = (y1 , y2 ) ∈ R : y1 + y2 < 1 ,
and
S1∞ (0) = y ∈ (y1 , y2 ) ∈ R2 : max (|y1 | , |y2 |) < 1 .
Similarly, we can define the closed spheres.
Qamrul Hasan Ansari Metric Spaces Page 30
S12 (0)
S12 (0)
S1∞ (0)
Example 1.3.5
In the metric space C[a, b] with respect to the metric d∞ (f, g) = sup |f (t) − g(t)|, the
t∈[a,b]
open sphere Sr (f0 ) with center at f0 and radius r is the set of continuous functions g
such that
sup |f0 (t) − g(t)| < r,
t∈[a,b]
that is, the set of continuous functions g whose graph lies within the shaded band of
vertical width 2r centered on the graph of f0 .
R
g f0
f0 (
t) +
r
2r
r
r f0 (t
)−
r
a b R
Definition 1.3.2
A
x
Sr (x)
• The set A is said to be open if each of its point is the center of some open sphere
contained entirely in A; that is, A is an open set if for each x ∈ A, there exists
r > 0 such that Sr (x) ⊆ A.
Remark 1.3.2
(a) In particular, an open sphere Sr (x) with center at x and radius r is a neighborhood
of x.
(d) The set A is open if and only if each of its points is an interior point, that is,
A = A◦ .
Qamrul Hasan Ansari Metric Spaces Page 33
Example 1.3.6
Let R be the metric space with the usual metric and A be a subset of R.
(a) If A = (a, b), [a, b), [a, b], or (a, b], then A◦ = (a, b).
(b) If A = N, Z, Q or R \ Q, then A◦ = ∅.
(g) If A = ∅, then A◦ = ∅.
(h) If A = R, then A◦ = R.
Example 1.3.7
(c) (a, b], [a, b) and [a, b] are not open sets;
(d) The set 1, 12 , 31 , · · · is not open;
(f) The set of all rational numbers Q is not open. But it is open with respect to the
metric d(x, y) = |x − y| defined on Q;
Example 1.3.8
Let X = [0, 1) with the usual metric d(x, y) = |x − y| for all x, y ∈ X. Then [0, α),
α ≤ 1, is an open set.
Example 1.3.9
Remark 1.3.3
(a) In a metric space X, the empty set ∅ and the whole space X are open sets.
(b) Whether a set is open or not depends upon the space in which it is considered.
For example, identify the real line R with horizontal axis {(x, 0) ∈ R2 : x ∈ R} in
R2 . R is not an open subset of R2 since R does not contain any open sphere in
R2 . However, R in the metric space R with the usual metric is an open set.
(a) A ⊆ B implies A◦ ⊆ B ◦ ;
(b) (A ∩ B)◦ = A◦ ∩ B ◦ ;
(c) (A ∪ B)◦ ⊇ A◦ ∪ B ◦ .
Proof. (a) Let x ∈ A◦ . Then there exists an open sphere Sr (x) ⊆ A for some r > 0. Since
A ⊆ B, Sr (x) ⊆ B, and hence, x ∈ B ◦ . Thus A◦ ⊆ B ◦ .
(b) Let x ∈ (A ∩ B)◦ . Then there exists an open sphere Sr (x) ⊆ A ∩ B for some r > 0.
Therefore, Sr (x) ⊆ A and Sr (x) ⊆ B, and hence, x ∈ A◦ and x ∈ B ◦ . So, x ∈ A◦ ∩ B ◦ and
thus (A ∩ B)◦ ⊆ A◦ ∩ B ◦ .
(c) Let x ∈ A◦ ∪ B ◦ . Then either x ∈ A◦ or x ∈ B ◦ . This implies that there exists an open
sphere Sr (x) ⊆ A or Sr (x) ⊆ B for some r > 0. So, we have Sr (x) ⊆ A ∪ B, and therefore,
x ∈ (A ∪ B)◦ . Hence, A◦ ∪ B ◦ ⊆ (A ∪ B)◦ .
Qamrul Hasan Ansari Metric Spaces Page 35
Remark 1.3.4
Note that (A ∪ B)◦ 6⊆ A◦ ∪ B ◦ . For example, let X = R be the usual metric space and
A = [0, 1] and B = [1, 2]. Then A ∪ B = [0, 2]. Note that A◦ = (0, 1), B ◦ = (1, 2) and
(A ∪ B)◦ = (0, 2). This shows that A◦ ∪ B ◦ ⊆ (A ∪ B)◦ , but (A ∪ B)◦ 6⊆ A◦ ∪ B ◦ .
Sr (x0 ) Sr (x0 )
r r
x0 x0
y 0 r1
y 0 r1
S r1
Sr1 (y0 )
(y
0
)
Proof. (a) Let Sr (x0 ) = {x ∈ X : d(x, x0 ) < r} be an open sphere in X and let y0 ∈ Sr (x0 ).
We have to produce an open sphere centered at y0 and contained in Sr (x0 ). Since y0 ∈ Sr (x0 ),
we have d(x0 , y0 ) < r. Set
r1 = r − d(x0 , y0 ) > 0.
Consider
Sr1 (y0 ) = {y ∈ X : d(y, y0) < r1 } .
We have to show that Sr1 (y0 ) ⊆ Sr (x0 ). For this, let y ∈ Sr1 (y0 ) be arbitrary. Then
d(y, y0) < r1 , and therefore,
r Sr (x0 )
x0
x r1
)
(x
r1
S
(b) Suppose that A is an open set. Then each of its points is the center of some open sphere
contained in A. Hence, A is the union of all the open spheres contained in it.
To prove the converse part, let us assume that A is the union of a collection F of open
spheres. Let x ∈ A be arbitrary. Then, x belongs to some open sphere, say Sr (x0 ) ∈ F .
Since each open sphere is an open set, x is the center of an open sphere Sr1 (x) such that
Sr1 (x) ⊆ Sr (x0 ). But Sr (x0 ) ⊆ A, and hence, Sr1 (x) ⊆ A. Therefore, A is open
S
Proof. (a) Let Λ be any index set, {Aα }α∈Λ be a family of open sets in X and A = Aα .
α∈Λ
Since each Aα is open, it is the union of open spheres for each α ∈ Λ. Then A is the union
of unions of open spheres. Hence, by Theorem 1.3.2, A is open.
n
T
(b) Let {Ai : i = 1, 2, . . . , n} be the finite family of open sets in X and let A = Ai . Let
i=1
x ∈ A. Then x is in each Ai . But each Ai is open, hence for each i, there exists ri > 0 such
that Sri (x) ⊆ Ai . Set r = min {r1 , r2 , . . . , rn }. Then,
Remark 1.3.5
Arbitrary intersection of open sets need not be open. For example, let X = R with
the usual metric. Consider the family An = − n1 , n1 : n ∈ N of open sets. Then
T∞
An = {0} is not open.
i=1
Theorem 1.3.4. Let A be a subset of a metric space X. Then A◦ is the largest open
subset of A.
Proof. First of all, we shall prove that A◦ is an open set. For that, let x ∈ A◦ be arbitrary.
Then, by the definition of an interior point, there exists an open sphere Sr (x) ⊆ A for some
r > 0. But Sr (x) is an open set, so each of its points is the center of some open sphere
contained in Sr (x) and hence contained in A. Therefore, each point of Sr (x) is the interior
point of A, that is, Sr (x) ⊆ A◦ . Thus, x is the center of an open sphere contained in A◦ .
Hence, A◦ is an open set.
Let B ⊆ A be an arbitrary open set, and let x ∈ B. Then there exists Sr (x) ⊆ B ⊆ A for
some r > 0. This implies that x ∈ A◦ , and hence, B ⊆ A◦ ⊆ A. Since A◦ is open, A◦ is the
largest open subset of A.
Remark 1.3.6
Exercise 1.3.1. Suppose that, in a metric space X, we have Sr (x) = Ss (y) for some x, y ∈ X
and some positive real numbers r, s. Is x = y? Is r = s?
Exercise 1.3.2. Find the open spheres with center 0 and radius 1 in the metric spaces with
respect to the metrics defined in Exercises 1.1.9 and 1.1.12.
Exercise 1.3.4. In Rn , let R denote the set of points having only rational coordinates and
I its complements, that is, the set of points having at least one irrational coordinate. Then
prove that R◦ = I ◦ = ∅.
Exercise 1.3.5. Let (X, d) be a metric space, a ∈ X and 0 < r < r ′ . Prove that the set
{x ∈ X : r < d(x, a) < r ′ } is open in X.
Qamrul Hasan Ansari Metric Spaces Page 38
d(x, y)
d∗ (x, y) = .
1 + d(x, y)
Prove that the family of open sets with respect to the metric d is same as the family of open
sets with respect to the metric d∗ .
Exercise 1.3.8. Let (X, d) be a metric space and x, y be distinct points of X. Prove that
there exist disjoint open spheres centered on x and y.
Hint: Since x 6= y, d(x, y) > 0. Let d(x, y) = 3r for some r > 0, and let Sr (x) and Sr (y) be
open spheres centered on x and y, respectively. Then, clearly Sr (x) ∩ Sr (y) = ∅ because the
radius of Sr (x) and Sr (y) is r and the distance between x and y is 3r.
Exercise 1.3.9. Let X = R2 with the usual metric space. Prove that
Definition 1.4.1
The set of all limit points of A is called derived set and it is denoted by A′ .
x
(Sr (x) − {x}) ∩ A 6= ∅
Sr (x)
X
Example 1.4.1
(a) if A = 1, 21 , 13 , · · · , then A′ = {0};
(b) if A = N or Z, then A′ = ∅;
(d) every point on the real line is a limit point, and therefore, R′ = R;
2. If A is a subset of a discrete metric space, then A has no limit point, since every open
sphere of radius 1 consists only the center. Thus A′ = ∅.
Qamrul Hasan Ansari Metric Spaces Page 40
Remark 1.4.1
By the definition of a limit point, we follow that any open sphere centered on a limit
point of A must contain infinitely many points of A, that is, a point x ∈ X is a limit
point of A if Sr (x) ∩ A is an infinite set for each r > 0.
Let Sr (x) contain a point x1 of A different from x. If d(x, x1 ) = r1 , then the open sphere
Sr1 (x) contains a point x2 of A different from x and x1 . Then by continuing in this way,
we see that Sr1 (x) contains infinitely may points of A different from x.
Definition 1.4.2
Remark 1.4.2
Example 1.4.2
Consider the metric space X = 0, 1, 12 , 31 , 41 , · · · with the usual metric given by the
absolute value. Then 0 is the only limit point of X while all other points are the isolated
points of X.
Qamrul Hasan Ansari Metric Spaces Page 41
Definition 1.4.3
In other words, x ∈ A if every open sphere Sr (x) with center at x and radius r > 0
contains a point of A, that is, x ∈ A if and only if Sr (x) ∩ A 6= ∅ for every r > 0.
Remark 1.4.3
(a) ∅ = ∅;
(b) X = X;
(c) A ⊆ A;
(d) (A) = A;
(e) A ⊆ B implies A ⊆ B;
(f) A ∪ B = A ∪ B;
′
(g) A = A ;
Definition 1.4.4
Let A be a subset of a metric space X. The set A is said to be closed if it contains all
its limit points, that is, A′ ⊆ A.
Example 1.4.3
(a) the set of all rational numbers and the set of all irrational numbers are not closed;
(b) the set A = 1, 12 , 31 , · · · , is not closed, since A′ = {0} * A;
∞ h
\ 1
(c) if A = − 3, , then A = [−3, 0];
n=1
n
Remark 1.4.4
In a metric space X, every finite set, empty set and whole space are closed sets.
Theorem 1.4.2. A subset A of a metric space X is closed if and only if the complement
of A is an open set.
Theorem 1.4.3. In a metric space (X, d), every closed sphere is a closed set.
Proof. Let Sr [x] be a closed sphere in X. Then it is sufficient to show that (Sr [x])c , the
complement of Sr [x], is an open set. Let y ∈ (Sr [x])c be arbitrary. Then y ∈/ Sr [x], and
therefore, d(x, y) > r.
X
d(x, y) > r
r
r1
x y
Sr1 (y)
z
Sr [x]
Set r1 = d(x, y) − r > 0. Let z ∈ Sr1 (y). Then d(z, y) < r1 . By the triangle inequality
we have
d(x, z) ≥ d(x, y) − d(z, y) > d(x, y) − r1 = r.
Therefore, z ∈ / Sr [x], and hence, z ∈ (Sr [x])c . Thus, Sr1 (y) ⊆ (Sr [x])c . But y ∈ (Sr [x])c
being arbitrary, each point of (Sr [x])c is the center of some open sphere contained in (Sr [x])c .
Hence, (Sr [x])c is an open set.
Remark 1.4.5
In a metric space (X, d), Sr (x) ⊆ Sr [x] for any x ∈ X and r > 0. By Remark 1.4.3 (e),
Sr (x) ⊆ Sr [x] = Sr [x] because Sr [x] is a closed set. But in general Sr (x) 6= Sr [x]. For
example, let R be a discrete metric space. Then S1 (0) = {x ∈ R : d(0, x) < 1} = {0}
which is open as well closed in X, while S1 [0] = {x ∈ R : d(0, x) ≤ 1} = R. Therefore,
S1 (x) 6= S1 [x].
Qamrul Hasan Ansari Metric Spaces Page 44
and !c
n
[ n
\
Aci = Ai
i=1 i=1
Remark 1.4.6
Example 1.4.4
1
Consider the family n
, 2 : n ∈ N of closed sets in the usual metric space R. Then,
[ 1
, 2 : n ∈ N = (0, 2],
n
Theorem 1.4.5. Let (X, d) be a metric space and A be a subset of X. Then A is the
smallest closed subset of X containing A.
Proof. We first prove that A is closed. Let x be a limit point of A. Then for every ǫ > 0,
Sǫ/2 (x) − {x} ∩ A 6= ∅. This implies that there exists y ∈ A such that y ∈ Sǫ/2 (x) − {x} ,
that is, d(x, y) < 2ǫ . But since y ∈ A, we have Sǫ/2 (y) ∩ A 6= ∅, that is, there exists z ∈ A
such that z ∈ Sǫ/2 (y). This implies that d(y, z) < 2ǫ . By the triangle inequality, we have
that is, z ∈ Sǫ (x). This means that for every ǫ > 0, the open sphere Sǫ (x) contains a point
z of A. Hence, x is a limit point of A, and therefore, x ∈ A. This proves that A is a closed
set.
Now, we show that A is the smallest set containing A. Assume that B is any closed subset
of X such that A ⊆ B, then it is sufficient to prove that A ⊆ B. Let x ∈ A, then either
x ∈ A or x is a limit point of A. If x ∈ A, then x ∈ B and hence A ⊆ B. If x is a limit
point of A, then for every ǫ > 0, (Sǫ (x) − {x}) ∩ A 6= ∅, that is, there exists a point y ∈ A
such that y ∈ (Sǫ (x) − {x}). Then d(x, y) < ǫ. But since A ⊆ B and y ∈ A, we have y ∈ B.
Therefore, ρ(x, B) = inf d(x, y) = 0, and then by Theorem 1.4.1, x ∈ B. Since B is a closed
y∈B
set, x ∈ B and thus A ⊆ B.
Definition 1.4.5
The set of all boundary points of A is called the boundary of A and it is denoted by
b(A).
Remark 1.4.7
Example 1.4.5
(a) If A = [a, b], [a, b), (a, b] or (a, b), then b(A) = {a, b}.
Example 1.4.6
Let X = R2 with the usual metric and A = {(x1 , x2 ) ∈ X : x21 + x22 < 1} be a subset
of X. Then b(A) = {(x1 , x2 ) ∈ X : x21 + x21 = 1} as every open sphere centered on the
point x ∈ b(A) intersects both A and Ac .
R
Ac
Sr (x)
x
Example 1.4.7
Exercise 1.4.1. Verify that every subset of the discrete metric space is closed.
Exercise 1.4.2. Prove that every singleton set and every finite set in a metric space are
closed.
Exercise 1.4.3. Let A be a subset of a metric space X. Prove that A is the intersection of
all closed subsets of X containing A.
T
Hint: Let D = {B ⊆ X : B is closed and A ⊆ B}. Then clearly D is the smallest closed
subset of X containing A. From the proof of Theorem 1.4.5, A = D.
Exercise 1.4.6. Let (X, d) be a metric space and A be a closed subset of X. Prove that
x ∈ A if and only if d(x, A) = 0, and hence,
Exercise 1.4.7. Let (X, d) be a metric space, x ∈ X and A ⊆ X be a nonempty set. Prove
that d(x, A) = 0 if and only if every neighborhood of x contains a point of A.
Exercise 1.4.8. Consider the set of rational numbers Q with usual metric d(x, y) = |x − y|.
Give an example of a nonempty closed subset A of Q and rational number x ∈ Q \ A such
that there is no y ∈ A for which d(x, y) = ρ(x, y) (Recall that ρ(x, y) = inf{d(x, y) : y ∈ A}).
Exercise 1.4.9. Let A be a subset of a metric space X. Prove that A = X if and only if
(X \ A)◦ = ∅, that is, (Ac )◦ = ∅.
Exercise 1.4.10. Let X be a metric space. Prove that every open sphere in X is included
in a closed sphere in X and that every closed sphere in X is included in an open sphere in
X.
Exercise 1.4.11. Prove that every open set in a metric space is the countable union of
closed sets.
Hint: Let A be an open set in a metric space X. If A is empty or if it is the whole space X,
so we are done. Now assume that A and its complement Ac are both
then A is also closed, S
nonempty. Let An = x∈Ac S1/n (x). The each An is open and its complement Acn (which is
closed) is contained in A. To finish off the problem show that A is the union of the Acn .
Exercise 1.4.12. Let A be a nonempty subset of a metric space X. Must (A◦ )c be equal
c
to cl A ?
(e) A = A◦ ∪ b(A);
(f) A = A ∪ b (A);
(g) A◦ = A \ b (A);
Exercise 1.4.14. Prove that any closed subset A of a metric space (X, d) is a countable
intersection of open sets.
[
Proof. For each n ∈ N, let On = S1/n (x). Then On is open and A ⊂ On for all n ∈ N.
\ x∈A \
Therefore, A ⊆ On . We claim that A = On . Assume contrary that there exists
\ n∈N n∈N
y∈ On \ A. Since A is closed, Ac is open and contains y. Hence there exists ε > 0 such
n∈N
that Sε (y) ⊆ Ac . Since ε > 0, there exists n ∈ N such that 1/n < ε. Since y ∈ On , there
exists x ∈ A such that d(x, y) < 1/n < ε. So Sε (y) ∩ A 6= ∅, which implies A ∩ Ac 6= ∅, a
contradiction.
Exercise 1.4.15. Let A be a nonempty subset of a metric space X. Prove or answer the
following statements.
(c) b(A) = A \ A◦ .
(e) x ∈ b(A) if and only if for every ε > 0. Sε (x) contains points of A and of X \ A.
Proof. (a) Since b(A) = A ∩ Ac and the intersection of two closed sets is closed, we have
b(A) is a closed set.
(b) Let x ∈ b(A) and Sr (x) be an open sphere centered on x for any r > 0. Then Sr ∩ A 6= ∅
and Sr ∩ Ac 6= ∅. But A = (Ac )c , so we also have Sr ∩ (Ac )c 6= ∅ and Sr ∩ Ac 6= ∅. This
implies that x ∈ b(Ac ). By reversing the argument, we obtain that x ∈ b(A) if x ∈ b(Ac ).
Qamrul Hasan Ansari Metric Spaces Page 49
(c) x ∈ b(A) if and only if every open sphere centered on x contains points of A, but not a
subset of A. Therefore, b(A) = A \ A◦ as x ∈ A◦ if and only if it is the center of some open
sphere contained in A, and x ∈ A if and only if every open sphere centered on x intersects
A.
(d) No. Indeed let A = {0} ⊆ R. Then A has no limit points, but b(A) = {0}.
(e) Let x ∈ b(A). Since b(A) = A ∩ (X \ A), we have x ∈ A and x ∈ (X \ A). Then x is
a limit point of A as well as of X \ A. Then for any ε > 0, we have Sε (x) ∩ A 6= ∅ and
Sε (x) ∩ (X \ A) 6= ∅.
Conversely let x ∈ X such that for any ε > 0, Sε (x) contains points of A and of X \ A. It is
enough to prove that x ∈ A. If x ∈ A, then we have nothing to prove. Assume x 6∈ A. Let
ε > 0. We know that Sε (x) ∩ A 6= ∅, since x 6∈ A, then Sε (x) ∩ A contains a point of A other
than x. Hence x is a limit point of A, that is, x ∈ A.
Exercise 1.4.16. Let A be a nonempty subset of a metric space X. Prove or answer the
following statements.
Proof. (a) The interior of A is the complement of (X \ A), while boundary is contained in
the latter, so the intersection is empty.
The set bA is empty if and only if A and X \ A are disjoint. Since the latter contains X \ A,
it follows that A and X \ A are disjoint. Since their union is X, A must be contained in A,
which implies that A is closed. If one reverses the roles of A and X \ A in the preceding two
sentences, it follows that X \ A is also closed. Therefore, A is both open and closed in X.
◦
(d) No. For example, consider the set A = (−1, 0) ∪ (0, 1) as a subset of R. Then A =
◦ ◦
(−1, 1). However, we always have A ⊆ A because A ⊆ A implies A = A◦ A .
Exercise 1.4.17. Let X = R2 be a metric space with the usual metric and
1.5 Subspaces
Let (X, d) be a metric space and Y be a subset of X. We may convert Y into a metric
d to Y × Y . In this manner each subset Y of X
space by restricting the distance function
can be made a metric space Y, d|Y ×Y . On the other hand, we may be given two metric
spaces (X, d) and (Y, d′ ). If Y is a subset of X, it makes sense to ask whether or not d′ is
the restriction of d.
Definition 1.5.1
It is easy to see that dY is a metric on Y . The space (Y, dY ) is called the metric subspace of
the metric space (X, d).
In other words, let (X, d) and (Y, d′ ) be metric spaces. We say that (Y, d′) is a subspace of
(X, d) if
(i) Y is a subset of X;
Example 1.5.1
Let R be the usual metric space. If Y = [0, 1], (0, 1], [0, 1) or (0, 1) and
Example 1.5.2
Let R be the usual metric space and Q be the set of rational numbers. Define dQ :
Q × Q → R by
dQ (x, y) = |x − y| = d(x, y), for all x, y ∈ Q.
Then (Q, dQ ) is a subspace of (R, d).
Qamrul Hasan Ansari Metric Spaces Page 52
Example 1.5.3
Let I n (the unit n cube) be the set of all n-tuples (x1 , x2 , · · · , xn ) of real numbers such
that 0 ≤ xi ≤ 1 for i = 1, 2, . . . , n. Define dc : I n × I n → R by
Example 1.5.4
Let S n (the n-sphere) be the set of all n + 1-tuples (x1 , x2 , . . . , xn+1 ) of real numbers
such that x21 + x22 + · · · + x2n+1 = 1. Define dS : S n × S n → R by
v
u n+1
uX
dS (x, y) = t (xi − yi )2 = d2 (x, y),
i=1
n+1
!1/2
X
where d2 is a metric on Rn defined as d2 (x, y) = (xi − yi )2 for all x, y ∈ Rn .
i=1
Then (S n , dS ) is a subspace of (Rn+1 , d2 ) .
Example 1.5.5
Let A be the set of all (n+1)-tuples (x1 , x2 , . . . , xn+1 ) of real numbers such that xn+1 = 0.
Define dA : A × A → R by
Example 1.5.6
Let P [a, b] be the set of all polynomials defined on [a, b]. Define dP : P [a, b]×P [a, b] → R
by
dP (f, g) = max |f (t) − g(t)| = d∞ (f, g),
t∈[a,b]
where d∞ is the max metric on C[a, b]. Then (P [a, b], dP ) is a subspace
Ra of (C[a, b], d∞ ).
But (P [a, b], dP ) is not a subspace of (C[a, b], d), where d(f, g) = b |f (t) − g(t)| dt.
Remark 1.5.1
Lemma 1.5.1. Let (Y, dY ) be a subspace of a metric space (X, d). If a ∈ Y and r > 0,
then
Sr′ (a) = Y ∩ Sr (a),
where Sr (a) and Sr′ (a) are open spheres in (X, d) and (Y, dY ), respectively.
Proof. We have
Theorem 1.5.1. Let (Y, dY ) be a subspace of a metric space (X, d) and A be a subset
of Y . Then,
(a) A is open in Y if and only if there exists an open set G in X such that A = G ∩ Y ;
(b) A is closed in Y if and only if there exists a closed set F in X such that A = F ∩Y .
Proof. (a) Let Sr (x) and Sr′ (x) be the same as in Lemma 1.5.1. Suppose that A = G ∩ Y ,
where G is open in X. Let x ∈ A be arbitrary. Then we have to show that x is an interior
point of A, that is, x ∈ A◦ with respect to dY metric.
Qamrul Hasan Ansari Metric Spaces Page 54
It follows that x is an interior point of A as a subset of the metric space (Y, dY ). Hence
x ∈ A◦ with respect to dY metric, and hence A is open in Y .
Conversely, assume that A is an open set in Y and let x ∈ A be arbitrary. Then there exists
an open sphere Sr′ x (x) such that Sr′ x (x) ⊆ A. Now, we have
!
[ [ [
A = Sr′ x (x) = (Srx (x) ∩ Y ) = Srx (x) ∩ Y
x∈A x∈A x∈A
[
= G ∩ Y, where G = Srx (x).
x∈A
Corollary 1.5.1. Let (Y, dY ) be a subspace of a metric space (X, d) and A be a subset
of X.
Theorem 1.5.2. Let (Y, dY ) be a subspace of a metric space (X, d) and A be a subset
of Y . Then,
(b) the closure of A in Y , denoted by clA (Y), is clX (A) ∩ Y, where clX (A) is the
closure of A in X. In other words, clY (A) = clX (A) ∩ Y.
Proof. (a) Let x ∈ Y be a limit point of A in Y . Then for every open sphere Sr′ (x) in Y , we
have (Sr′ (x) − {x}) ∩ A 6= ∅. For any given r > 0, we have
(Sr (x) − {x}) ∩ A = (Sr (x) ∩ Y − {x}) ∩ A (since A ⊆ Y )
= (Sr′ (x) − {x}) ∩ A 6= ∅.
It follows that x is a limit point of A in X.
(b) Since clX (A) is closed in X, by Theorem 1.5.1, clX (A) ∩Y is closed in Y . Since clX (A) ∩Y
contains A and since clY (A) is the intersection of all closed subsets of Y containing A, we
must have
clY (A) ⊆ clX (A) ∩ Y.
On the other hand, clY (A) is closed in Y , then clY (A) = F ∩ Y, where F is a closed set in
X. Since A ⊆ clY (A), F is a closed set in X containing A. Since clX (A) is the intersection
of all closed sets containing A, we have
clX (A) ⊆ F.
Hence clX (A) ∩ Y ⊆ F ∩ Y = clY (A).
Exercise 1.5.1. Let (Y, dY ) be a subspace of a metric space (X, d). Prove that a subset M
of Y is a neighborhood of a point y ∈ Y if and only if there is a neighborhood N of y in
(X, d) such that M = Y ∩ N.
56
Qamrul Hasan Ansari Metric Spaces Page 57
Definition 2.1.1
A sequence s in a set X is a mapping from the set of all natural numbers N into X.
The image under a sequence s of a natural number n is denoted by xn and is referred
as nth term of the sequence s.
Let {xn }n∈N be a given sequence and {nk }k∈N be a sequence of positive integers such
that n1 < n2 < · · · . Then the sequence {xnk }k∈N is called a subsequence of the sequence
{xn }.
Definition 2.1.2
Let {xn } be a sequence in a set X. If there exists a positive integer N such that xn = x
for all n > N, then the sequence {xn } is called eventually constant .
Definition 2.1.3
Since d(xn , x) < ε is equivalent to xn ∈ Sε (x), the definition of convergent sequence can be
restated as follows:
A sequence {xn } in a metric space X converges to a point x ∈ X if and only if for each
ε > 0, there exists a positive integer N such that
x1
x2
x3
x4 x
5 x6 Sε (x)
ε
x
xN xN +1 x
N +2
xn → x or lim xn = x,
n→∞
Remark 2.1.1
Remark 2.1.2
The convergence of a sequence in a metric space (X, d) depends on the space X as well
as on the metric d.
Example 2.1.1
Let xn = n1 : n ∈ N be a sequence in the usual metric space R. Then xn → 0 as
n → ∞. However,if we consider the metric space X = (0, 1) with the usual metric,
then the sequence xn = n1 : n ∈ N converges to 0 ∈
/ X. Thus, the sequence {xn } is
not convergent in this case.
Qamrul Hasan Ansari Metric Spaces Page 59
Example 2.1.2
On the other hand, the same sequence {fn }n∈N is not convergent with respect to the
metric d∞ on C[0, 1] as
Hence, d∞ (fn , 0) 6→ 0 as n → ∞.
Theorem 2.1.1. A sequence in a metric space cannot converge to more than one limit
point. In other words, in a metric space, every convergent sequence has a unique limit.
Proof. Let (X, d) be a metric space and {xn } be a convergent sequence in X. Suppose to
the contrary that {xn } converges to two distinct points x and y. Then, for each ε > 0, there
exist positive integers N1 and N2 such that
ε
d(xn , x) < , for all n > N1 ,
2
and
ε
d(xn , y) < , for all n > N2 .
2
By setting N = max {N1 , N2 } and using the triangle inequality, we get
Definition 2.1.4
A sequence in a metric space is said to be bounded if the range set of the sequence is
bounded.
Qamrul Hasan Ansari Metric Spaces Page 60
Proof. Let (X, d) be a metric space and {xn } be a sequence in X such that xn → x ∈ X as
n → ∞. Then there exists a positive integer N such that
1
d(xn , x) < , for all n > N.
2
1
Set r = max 2
, d(xn , x) for all 1 ≤ n ≤ N . Then,
Hence the diameter of the range set of the sequence {xn } is bounded by 2r. Therefore, the
sequence {xn } is bounded.
Remark 2.1.3
In a metric space, a bounded sequence need not be convergent. For example, consider
the usual metric space X = R and {xn } = {(−1)n }. Then {xn } is bounded but not
convergent.
(a) A point x ∈ X is a limit point of A if and only if there exists a sequence {xn } of
points of A, none of which equals x, such that {xn } converges to x.
(b) The set A is closed if and only if every convergent sequence of points of A has its
limit in A.
Since x ∈ X is a limit point of A, we have (S1 (x) − {x}) ∩ A 6= ∅. So, we can choose
x1 ∈ (S1 (x) − {x}) ∩ A. Likewise the points x1 , x2 , . . . , xn can be chosen such that
xi ∈ S 1 (x) − {x} ∩ A, for i = 1, 2, . . . , n.
i
Still S 1 (x) − {x} ∩ A 6= ∅, we can always choose xn+1 ∈ S 1 (x) − {x} ∩ A. By
n+1 n+1
repeating this process infinitely many times, we construct the sequence {xn } by recursion
such that all the points of {xn } are in A and xn 6= x for all n.
Qamrul Hasan Ansari Metric Spaces Page 61
Let ε > 0 be given and N be a positive integer such that N > 1ε . Then,
Conversely, assume that there is a sequence {xn } of points of A, none of which equals x,
such that {xn } converges to x. Then for every ε > 0, there exists a positive integer N such
that
xn ∈ Sε (x), for all n > N.
Therefore, (Sε (x) − {x}) ∩ A 6= ∅ which implies that x is a limit point of A.
(b) Suppose that A is closed and {xn } is a sequence of points of A which converges to a
point x in X. Then we have to show that x ∈ A.
If the range set of the sequence {xn } is infinite, then it follows from part (a) that x is a limit
point of this set. Since A is closed, we have x ∈ A.
On the other hand, if the range set of the sequence {xn } is finite, then xn = x for all n ≥ N,
since {xn } is a convergent sequence. Since each term of the sequence belongs to A, so is x.
Let x be a limit point of A. Then by part (a), there is a sequence {xn } of points of A, none
of which equals x, such that xn → x. By hypothesis x ∈ A, and hence, A is closed.
Exercise 2.1.1. Show that the limit of a convergent sequence of distinct points in a metric
space is a limit of the range set of the sequence.
Proof. Let {xn } be a sequence in a metric space such that xn → x and let A be the range
set of the sequence {xn }. Then we have to show that x is a limit point of A.
Suppose that x is not a limit point of A. Then there exists an open sphere Sε (x) such that
that is, Sε (x) contains no point of A other than x. Since x is a limit point of the sequence,
for each ε > 0, there exists a positive integer N such that
which is a contradiction.
Exercise 2.1.2. Let (X, d) be a metric space. If {xn } and {yn } be sequences in X such
that xn → x and yn → y, then prove that d (xn , yn ) → d(x, y).
Qamrul Hasan Ansari Metric Spaces Page 62
Proof. Since xn → x and yn → y, for each ε > 0, there exist positive integers N1 and N2
such that
ε
d (xn , x) < , for all n > N1 ,
2
and
ε
d (xm , x) < , for all m > N2 .
2
Exercise 2.1.3. Let X = C[0, 1] be a metric space and {fn (x)}, where fn (x) = x1/n , be a
sequence in X. Show that {fn } converges to zero with respect to the metric d1 on X, while
it converges to 1 with respect to the metric d∞ on X.
Z 1
1
d1 (fn , 0) = x1/n dx = 1 − → 0, as n → ∞,
0 1/n + 1
and
d∞ (fn , 1) = sup 1 − x1/n = 1.
x∈[0,1]
Definition 2.2.1
f (n) = xn
| | | | | | | | | | | n
N
| | | | | |
N < m, n
Example 2.2.1
mt nt (m − n)t2
t 7→ − =
m+t n+t (m + t)(n + t)
being continuous on [0, 1], assumes its supremum at some point t0 ∈ [0, 1]. So,
(m − n)t20
=
(m + t0 )(n + t0 )
t20 1
≤ ≤ → 0 for large n and m.
(n + t0 ) n
Moreover, the sequence {fn } converges to some limit. Indeed, let f (t) = t. Then,
nt t2 1
|fn (t) − f (t)| = −t = ≤ → 0 as n → ∞.
n+t n+t n
Therefore, {fn } converges to the limit f , where f (t) = t for all t ∈ [0, 1].
Qamrul Hasan Ansari Metric Spaces Page 64
Proof. Let (X, d) be a metric space and {xn } be a sequence in X such that xn → x as
n → ∞. Then for each ε > 0, there exists a positive integer N such that
ε
d (xn , x) < , for all n > N.
2
By the triangle inequality, we have
Remark 2.2.1
Example 2.2.2
(a) Consider the sequence {xn } in the usual metric space Q, where
x1 =
1.4
x2 =
1.41
x3 =
1.414
x4 =
1.4142
x5 =
1.41421
... ..................
√
Then the sequence {xn } converges to 2. Also, {xn } is a Cauchy sequence.
However, it does not converge to a point of Q.
1
(b) Let X = (0, 1] be a metric space with the usual metric and xn = : n ∈ N be
n
a sequence in X. Then {xn } is a Cauchy sequence since for each ε > 0, we have
1 1 1
d (xm , xn ) = − < ε, for all m, n > .
m n ε
On other hand, xn → 0 ∈
/ X.
Qamrul Hasan Ansari Metric Spaces Page 65
Remark 2.2.2
1
In Example 2.2.2 (b), if we consider X = [0, 1], then the sequence , 1, 1, · · ·
2 3 4
is
Cauchy as well as convergent.
Theorem 2.2.2. Let (X, d) be a metric space and {xn } be a convergent sequence in X
such that xn → x as n → ∞. If {xnk } is any subsequence of {xn }, then xnk → x as
k → ∞.
Proof. Since xn → x as n → ∞, for each ε > 0, there exists a positive integer N such that
d (xn , x) < 2ε for all n > N. Also, since every convergent sequence is Cauchy, we have
Remark 2.2.3
Example 2.2.3
Consider the sequence {xn = (−1)n : n ∈ N} in R with the usual metric. Let {x2n } be
a subsequence of the sequence {xn } given by
Theorem 2.2.3. Let {xn } be a Cauchy sequence in a metric space (X, d). Then the
sequence {xn } is convergent if and only if it has a convergent subsequence.
Proof. Let {xnk } be a convergent subsequence of the sequence {xn }. Suppose that xnk → x
as k → ∞. Then for each ε > 0, there exists a positive integer N such that
ε
d (xnk , x) < , for all nk > N.
2
Qamrul Hasan Ansari Metric Spaces Page 66
Exercise 2.2.1. Consider the sequence {xn } in the usual metric space Q, where
Prove that the sequence {xn } is Cauchy which does not converge to a point of Q.
Exercise 2.2.2. Prove that every Cauchy sequence in a discrete metric space is convergent.
Proof. Let (X, d) be a discrete metric space and {xn } be a Cauchy sequence in X. Recall
that the discrete metric d is defined by
0, if x = y,
d(x, y) =
1, if x 6= y.
1
Let ε = . Since {xn } is a Cauchy sequence, there exists a positive integer N such that
2
1
d (xm , xn ) < , for all m, n > N.
2
From the definition of d, we have xm = xn for all m, n > N. In other words, {xn } is of the
form {x1 , x2 , . . . , xN , x, x, . . .}. Hence xn → x as n → ∞.
Exercise 2.2.3. Prove that every Cauchy sequence in a metric space is bounded.
Exercise 2.2.4. Let d and d∗ be two metrics on the same underlying set X and there exist
two real numbers α1 , α2 > 0 such that
Prove that the sequence {xn } is Cauchy (respectively, convergent) in (X, d) if and only if it
is Cauchy (respectively, convergent) in (X, d∗ ).
Exercise 2.2.5. Let {xn } be a Cauchy sequence in a metric space (X, d) and {xnk } be a
subsequence of {xn }. Show that lim d (xn , xnk ) = 0.
n→∞
Qamrul Hasan Ansari Metric Spaces Page 67
Proof. Let ε > 0. Since {xn } is a Cauchy sequence in X, there exists a positive integer N
such that
d (xn , xm ) < ε, for all n, m > N − 1.
Now nN ≥ N > N − 1, and therefore,
d (xN , xnN ) < ε.
In other words, lim d (xn , xnk ) = 0.
n→∞
Exercise 2.2.6. Let {xn } and {yn } be sequences in a metric space (X, d) such that {yn } is
Cauchy and d(xn , yn ) → 0 as n → ∞. Prove that
Proof. (a) Let ε > 0. Since {yn } is a Cauchy sequence, there exists a positive integer N1
such that
ε
d(ym , yn ) < , for all m, n > N1 .
3
1 ε
Since d(xn , yn ) → 0 as n → ∞, there exists a positive integer N2 such that < and
N2 3
ε
d(xn , yn ) < , for all n > N2 .
3
By the triangle inequality, we have
d(xm , xn ) ≤ d(xm , ym ) + d(ym , yn ) + d(yn , xn ).
Hence for all n, m > N2 , we have
ε ε
d (xm , xn ) < + d (ym , yn ) + .
3 3
Let N0 = max{N1 , N2 }. Then for all n, m > N0 , we have
ε ε ε
d (xm , xn ) < + + = ε.
3 3 3
Thus, {xn } is a Cauchy sequence.
But lim d (yn , xn ) = 0 and if lim d (xn , x) = 0, we have lim d (yn , x) = 0. Thus, yn → x as
n→∞ n→∞ n→∞
n → ∞.
Qamrul Hasan Ansari Metric Spaces Page 68
Exercise 2.2.7. Let (X, d) be a metric space and {xn } be a sequence in X such that
d(xn , xn+1 ) < 21n for all n. Prove that {xn } is a Cauchy sequence.
1
Proof. Let ε > 0 and choose a positive integer N such that 2N−1
< ε. Then for all n > m ≥
N, we have
Exercise 2.2.8. Let {xn } and {yn } be Cauchy sequences in a metric space (X, d). Prove
that {d (xn , yn )} is a Cauchy sequence.
Since {xn } and {yn } are Cauchy sequences, for any given ε > 0, there exist positive integers
N1 and N2 such that for any m, n ≥ N1 , we have
ε
d (xm , xn ) < ,
2
and for any m, n ≥ N2 , we have
ε
d (ym , yn ) < .
2
Set N = max {N1 , N2 }. Then for any m, n ≥ N, we have
ε ε
|d (xm , ym ) − d (xn , yn )| ≤ d (xm , xn ) + d (ym , yn ) < + = ε.
2 2
This implies that {d(xn , yn )} is a Cauchy sequence in R.
Exercise 2.2.9. Let (X, d) be a metric space and d∗ be another metric on X defined by
Show that {xn } is a Cauchy sequence in (X, d) if and only if it is a Cauchy sequence in
(X, d∗ ).
Exercise 2.2.10. Let X = C[0, 1] be a metric space with the following metric
Z 1 1/2
2
d2 (f, g) = |f (t) − g(t)| , for all f, g ∈ X and for all t ∈ [0, 1].
0
Qamrul Hasan Ansari Metric Spaces Page 69
is Cauchy with respect to the metric d2 , but not Cauchy with respect to the metric d∞ .
Hint:
"Z 1 Z 1
#2
m n
d2 (fm , fn ) = (m − n)2 t2 dt + (1 − nt)2 dt
1
0 m
12
1 1 2 n
= − +
3 n m m2
and
n
d∞ (fm , fn ) = sup |fm (t) − fn (t)| = 1 − .
0≤t≤1 m
Qamrul Hasan Ansari Metric Spaces Page 70
Definition 2.3.1
Remark 2.3.1
In view of Theorem 2.2.3, a metric space (X, d) is complete if and only if every Cauchy
sequence in X has a convergent subsequence.
Example 2.3.1
(b) The set of integer Z with the usual metric is a complete metric space.
Verification. Let {xn } be a Cauchy sequence of integers, that is, each term of the
sequence belongs to Z = {. . . , −2, −1, 0, 1, 2, . . .}. Then the sequence must be of the form
{x1 , x2 , x3 , . . ., xn , x, x, x, . . .}. Indeed, if we choose ε = 12 , then
1
xn , xm ∈ Z and |xn − xm | < implies xn = xm .
2
Hence the sequence {x1 , x2 , . . . , xn , x, x, x, . . .} converges to x.
Example 2.3.2
n
! 21
X
d(x, y) = (xk − yk )2 ,
k=1
(m)
n (m) (m) (m)
Verification. Let x be a Cauchy sequence in R , where x = x1 , x2 ,
(m) (1) (1) (1) (2) (2) (2)
. . . , xn , that is, x(1) = x1 , x2 , . . . , xn , x(2) = x1 , x2 , . . . , xn and so on. Then
for each ε > 0, there exists a positive integer N such that
" n #1
X (m) 2 2
(p)
d x(m) , x(p) = xk − xk < ε, for all m, p > N.
k=1
Qamrul Hasan Ansari Metric Spaces Page 71
Example 2.3.3
Example 2.3.4
By Exercise 2.2.2, every Cauchy sequence is convergent in a discrete metric space and
hence every discrete metric space is complete.
Example 2.3.5
The space ℓp (1 ≤ p < ∞) of all sequences {xn } of real or complex numbers such that
∞
P
|xk |p < ∞ with the metric
k=1
∞
! p1
X p
dp (x, y) = |xk − yk | , for all x = {xn } , y = {yn } ∈ ℓp
k=1
n o
(m) (m)
Verification. Let x(m) m∈N be a Cauchy sequence in ℓp , where x(m) = x1 , x2 , . . . =
n o ∞
P p
(m) (m)
xk , such that xk < ∞ for all m = 1, 2, . . .. Then for each ε > 0, there exists
k∈N k=1
Qamrul Hasan Ansari Metric Spaces Page 72
∞
! p1
X p
(m) (n)
dp x(m) , x(n) = xk − xk < ε, for all m, n > N, (2.1)
k=1
and thus,
(m) (n)
xk − xk < ε,
for all m, n > N and all k = 1, 2, . . . .
n o
(m)
This implies that for each fixed k (1 ≤ k < ∞), xk is a Cauchy sequence in K (=
m∈N
(m)
R or C). Since K is complete, it converges in K. Let xk as m → ∞ for all k. Using xk →
these limits, we define x = (x1 , x2 , . . .) and show that x ∈ ℓ and x(m) → x. p
Letting n → ∞, we obtain
l
X p
(m)
xk − xk ≤ εp , for all m > N and for any l = 1, 2, . . . .
k=1
l
P p
(m)
The sequence xk − xk is a monotonically increasing sequence which is bounded
k=1 l≥1
∞
P p
(m)
above and therefore has a finite limit xk − xk , which is less than or equal to εp .
k=1
Therefore,
∞
X p
(m)
xk − xk ≤ εp , for all m > N. (2.2)
k=1
∞
!1/p ∞
!1/p ∞
!1/p
X X p X p
p (m) (m)
|xk | ≤ xk − xk + xk .
k=1 k=1 k=1
Example 2.3.6
n o
∞
The space of all bounded sequences ℓ = {xk } ⊆ K = R or C : sup |xk | < ∞ with
1≤k<∞
the metric d(x, y) = sup |xk − yk |, where x = {xk }, y = {yk } ∈ ℓ∞ , is a complete
1≤k<∞
metric space.
n
(m)
Verification. Let x(m) m∈N be a Cauchy sequence in ℓ∞ , where x(m) = x1 ,
o n o
(m) (m) (m)
x2 , . . . = xk , such that sup xk < ∞ for all m = 1, 2, . . .. Then for each
k∈N 1≤k<∞
ε > 0, there exists a positive integer N such that
(m) (n)
d x(m) , x(n) = sup xk − xk < ε, for all m, n > N,
1≤k<∞
and thus,
(m) (n)
xk − xk < ε,
for all m, n > N and all k = 1, 2, . . . . (2.3)
n o
(m)
This implies that for each fixed k (1 ≤ k < ∞), xk is a Cauchy sequence in K. Since
m∈N
(m)
K is complete, it converges in K. Let → xk as m → ∞ for all k. Using these limits, we
xk
define x = (x1 , x2 , . . .) and show that x ∈ ℓ∞ and x(m) → x.
This inequality is true for each k and the right hand side is independent of k, it follows that
{xk } is a bounded sequence of numbers and hence x = {xk } ∈ ℓ∞ .
Example 2.3.7
The space C[a, b] of all continuous real-valued functions defined on [a, b] with the metric
Verification. Let {fm }m∈N be a Cauchy sequence in C[a, b]. Then for each ε > 0, there
exists a positive integer N such that
d∞ (fm , fn ) = sup |fm (t) − fn (t)| < ε, for all m, n > N. (2.5)
t∈[a,b]
Therefore, {fm (t0 )} is a Cauchy sequence in R. Since R is complete, this sequence converges.
Let fm (t0 ) → f (t0 ) as m → ∞. In this way, we can associate to each t ∈ [a, b] a unique
real number f (t). Thus we have defined a function f with domain [a, b]. Now, we show that
f ∈ C[a, b] and fm → f .
|fm (t) − fn (t)| < ε, for all m, n > N and all t ∈ [a, b].
Letting n → ∞, we obtain
|fm (t) − f (t)| ≤ ε, for all m > N and all t ∈ [a, b]. (2.6)
To show that f is continuous, we consider any t0 ∈ [a, b] and any η > 0. According to the
preceding paragraph, there exists a positive integer N1 (η) such that
η
|fm (t) − f (t)| < , for all m > N1 (η) and all t ∈ [a, b].
3
Let n ≥ N1 (η). Then
η
|fn (t) − f (t)| < , for all t ∈ [a, b]. (2.7)
3
By continuity of fn , we obtain δ > 0 such that
η
|fn (t) − fn (t0 )| < , whenever |t − t0 | < δ. (2.8)
3
Then from (2.7) and (2.8), we have
|f (t) − f (t0 )| ≤ |f (t) − fn (t)| + |fn (t) − fn (t0 )| + |fn (t0 ) − f (t0 )|
η η η
< + + = η,
3 3 3
Qamrul Hasan Ansari Metric Spaces Page 75
Thus, d∞ (fm , f ) < ε for all m > N, and therefore, fm → f as m → ∞. Hence C[a, b] is
complete.
Example 2.3.8
0,
if 0 ≤ t ≤ 12 − n1 ,
fn (t) = nt − 21 n + 1, if 12 − n1 < t ≤ 21 ,
1, if 12 < t ≤ 1.
We claim that {fn }n≥2 is a Cauchy sequence but does not converge in (C[0, 1], d1 ).
Indeed,
Z 1
d1 (fm , fn ) = |fm (t) − fn (t)| dt
0
Z 1 Z 1
2 2
≤ fm (t)dt + fn (t)dt
1 1 1
2
−m −1
2 n
1 1 1
= + .
2 m n
1 1
Thus, d1 (fm , fn ) < + < ε for all n, m > N, where N is a positive integer such that
m n
N > 2ε . This shows that {fn } is a Cauchy sequence. The measure d1 (fm , fn ) is the area of
the triangle in the following figure.
Qamrul Hasan Ansari Metric Spaces Page 76
1 1
n n
1 x
1 x
fn fn
fm
1
i
1 1
i
t 1
i
1 1
i
1 1
i
t
2
− n 2 2
− n 2
− m 2
Since the integrands are non-negative, so is the each integral on the right hand side of (2.9).
Since d1 (fn , f ) → 0 as n → ∞, we have
Z 1− 1 Z 1
2 n
lim |f (t)|dt = 0 and |1 − f (t)|dt = 0.
n→∞ 0 1
2
Example 2.3.9
The space of all rational numbers Q with the usual metric of absolute value is not
complete.
We find that
1
d (xm , xn ) = |xn − xm | = 0.00 · · · 0am+1 · · · an < , for all n ≥ m.
10m
Therefore, we conclude that d (xm , xn ) → 0 as m →
√ ∞. So, {xn } is a Cauchy sequence. But
this sequence converges to the irrational number 2 ∈ / Q. Thus {xn } does not have a limit
point in Q and so Q is not complete.
Example 2.3.10
Let X = (0, 1] and d be the usual metric on X. Then (X, d) is not complete as the
sequence xn = n1 : n ∈ N ⊆ X is Cauchy but xn → 0 ∈ / X.
Exercise 2.3.1. Prove or disprove that Rn is a complete metric space with respect to the
following metrics: For all x = (x1 , x2 , . . . , xn ) and y = (y1 , y2 , . . . , yn ) ∈ Rn ,
n
P
(a) d1 (x, y) = |xk − yk |;
k=1
n
1/p
P p
(b) dp (x, y) = |xk − yk | for all p ≥ 1;
k=1
n
!1/2 n n
!1/2
X X X
x2k ≤ |xk | ≤ n max |xk | ≤ n x2k . (2.10)
1≤k≤n
k=1 k=1 k=1
Indeed, the first inequality follows on squaring both the sides. The second one is obvious.
The third inequality is a consequence of the fact that
n
!1/2
X
x2k ≥ |xk | , for k = 1, 2, . . . , n.
k=1
n
!1/2 n n
!1/2
X X X
(xk − yk )2 ≤ |xk − yk | ≤ n max |xk − yk | ≤ n (xk − yk )2 . (2.11)
1≤k≤n
k=1 k=1 k=1
Qamrul Hasan Ansari Metric Spaces Page 78
n
!1/2
X
d(x, y) = (xk − yk )2 ,
k=1
Exercise 2.3.2. Prove that [0, 1) as a subspace of the discrete metric space R is complete.
Exercise 2.3.3. Prove that the space of all natural numbers N with the metric
1 1
d(x, y) = − , for all x, y ∈ N,
x y
is not complete.
Proof. Let {n}n≥1 be a sequence in N. Let ε > 0 and N be the least integer greater than 1ε .
If m, n > N, then
1 1 1 1 1
d(m, n) = − ≤ max , < < ε.
m n m n N
Thus, the sequence {n}n≥1 is Cauchy. Suppose contrary that the sequence {n}n≥1 converges
to some point p ∈ N. Let N1 be any integer greater than 2p. Then n ≥ N1 implies that
1 1 1 1 1 1 1 1 1
d(p, n) = − = − ≥ − > − = .
p n p n p N1 p 2p 2p
This shows that the sequence {n}n≥1 cannot converge to p, a contradiction of our supposition.
Hence (N, d) is not complete.
|x − y|
d(x, y) = √ p , for all x, y ∈ X.
1 + x2 1 + y 2
Proof. We only give the proof of incompleteness. Consider the sequence {n}n≥1 of natural
numbers. Observe that
1
|n − m| n
− m1
d(n, m) = √ √ =q q
1 + n2 1 + m2 1
+ 1 m12 + 1
n2
1 1 1 1
≤ − ≤ + → 0, as n, m → ∞.
n m n m
Qamrul Hasan Ansari Metric Spaces Page 79
Thus {n}n≥1 is a Cauchy sequence in (X, d). Suppose contrary that the sequence {n}n≥1
converges to some point p ∈ R. Then,
|n − p| 1 − np
d(n, p) = √ p =q p
1 + n2 1 + p2 1 + n12 1 + p2
1
→p 6= 0, as n → ∞.
1 + p2
This shows that the sequence {n}n≥1 does not converge to p ∈ R, a contradiction. Hence
(X, d) is not complete.
Exercise 2.3.5. Show that the set A = {(x, y) ∈ R2 : y > 0} is not complete with respect
to the usual metric on R2 .
is not complete.
Theorem 2.3.1. Let (Y, dY ) be a subspace of a metric space (X, d). If Y is complete,
then it is closed.
Let x be a limit point of Y . Then by Theorem 2.1.3 (a), there exists a sequence {xn } of
distinct points of Y which converges to x. Since each convergent sequence is Cauchy, it is a
Cauchy sequence. Also since Y is complete, the limit point x of this sequence must lie in Y .
Thus, Y is closed.
Theorem 2.3.2. Let (X, d) be a complete metric space and (Y, dY ) be a subspace of
(X, d). Then Y is complete if and only if it is closed.
Conversely, assume that Y is a closed subspace of a complete metric space X. Let {xn } be
a Cauchy sequence of points of Y . Since X is complete, this sequence converges to a point
x belonging to X. By Theorem 2.1.3 (b) and since Y is closed, x ∈ Y . Thus each Cauchy
sequence of points of Y converges to a point of Y . Hence Y is complete.
Let ε > 0 be given. Since δ(Fn ) → 0, there exists a positive integer N such that δ(Fn ) < ε
for all n > N. Since {Fn } is a decreasing sequence, we have Fm , Fn ⊆ FN for all m, n ≥ N.
Therefore, xn , xm ∈ FN for all n, m ≥ N and thus, we have
Hence {xn } is a Cauchy sequence. Since X is complete, there exists x ∈ X such that xn → x.
∞
T
We claim that x ∈ Fn .
n=1
Let n be fixed. Then the subsequence {xn , xn+1 , . . .} of the sequence {xn } is contained is
Fn and still converges to x, since every subsequence of a convergent sequence is convergent.
Qamrul Hasan Ansari Metric Spaces Page 81
But Fn being a closed subspace of the complete metric space (X, d), it is complete and so
∞
T ∞
T
x ∈ Fn . This is true for each n ∈ N. Hence x ∈ Fn , that is, Fn 6= ∅.
n=1 n=1
∞
T ∞
T
Finally, to establish that x is the only point in the intersection Fn . Let y ∈ Fn . Then
n=1 n=1
x and y both are in Fn for each n. Therefore,
0 ≤ d(x, y) ≤ δ(Fn ) → 0, as n → ∞.
Remark 2.3.2
The assertion in Theorem 2.3.3 may not be true if either of the condition
(ii) δ(Fn ) → 0 as n → ∞,
is dropped.
Example 2.3.11
(a) Consider the sequence {Fn }, where Fn = [n, ∞) for all n ∈ N, of nonempty closed
subsets of the usual metric space R which, of course, is complete. Then δ(Fn ) 6→ 0
∞
T
as n → ∞ and Fn = ∅.
n=1
(b) Consider the sequence {Fn }, where Fn = 0, n1 for all n ∈ N, of nonempty
subsets of the usual metric space R. Then for each n ∈ N, Fn is open but not
∞
T
closed, Fn+1 ⊆ Fn , δ(Fn ) → 0 as n → ∞ and Fn = ∅.
n=1
Theorem 2.3.4. Let (X, d) be a metric space. If every decreasing sequence {Fn } of
nonempty closed sets in X with δ(Fn ) → 0 as n → ∞ has exactly one point in its
intersection, then (X, d) is complete.
Qamrul Hasan Ansari Metric Spaces Page 82
G1 = {x1 , x2 , . . .},
G2 = {x2 , x3 , . . .},
.. ..
. .
Gn = {xn , xn+1 , . . .}.
Then Gn+1 ⊆ Gn and so Gn+1 ⊆ Gn for all n ∈ N. Therefore, Gn is a decreasing sequence
of nonempty closed sets. Since {xn } is a Cauchy sequence, for a given ε > 0, there exists a
positive integer N such that
Since m, n > N, we have xm , xn ∈ GN and since d (xm , xn ) < ε, we have δ(GN ) < ε. For
n > N, we have Gn ⊆ GN , and thus, δ(Gn ) ≤ δ(GN ) < ε. Therefore, δ(Gn ) → 0 as n → ∞.
!
\ \
Proof. Since cl Gn ⊃ cl Gn , it is obvious that
n∈N n∈N
! !
\ \
int cl Gn ⊃ int cl Gn . (2.13)
n∈N n∈N
!
\
We show the converse of inclusion (2.13). Let x ∈ int cl Gn and r > 0. Take
\ n∈N
x1 = x. Then there exists r1 ∈ (0, r) such that Sr1 [x1 ] ⊂ cl Gn, and therefore, Sr1 [x1 ] ⊂
n∈N
cl Gn for each n ∈ N. It follows that Sr1 (x1 ) ∩ G1 is an open nonempty set. Therefore,
r1
there exist x2 ∈ X and r2 ∈ 0, 2 such that Sr2 [x2 ] ⊂ Sr1 (x1 ) ∩ G1 . It follows that
Sr2 [x2 ] ⊂ Sr1 [x1 ] ⊂ cl G2 , and so Sr2 (x2 ) ∩ G2 is an open nonempty set. Continuing in
this way, we find the sequences {xn }n∈N ⊂ X and {rn }n∈N ⊂ (0, ∞) such that rn → 0 as
n → ∞, and Srn+1 [xn+1 ] ⊂ Srn (xn ) ∩ Gn for all n. In particular, Srn+1 [xn+1 ] ⊂ Srn [xn ]
Qamrul Hasan Ansari Metric Spaces Page 83
for
\ all n. Since X is a complete metric space, by Cantor’s Intersection Theorem 2.3.3,
Srn [xn ] = {x̄} for some x̄ ∈ X. It follows that x̄ ∈ Gn for all n. Since x̄ ∈ Sr1 [x1 ] ⊂ Sr (x),
n∈N ! !
\ \
we have that Sr (x) ∩ Gn 6= ∅. As r > 0 is arbitrary, x ∈ cl Gn . Therefore,
! n∈N ! n∈N
\ \
int cl Gn ⊂ cl Gn .
n∈N n∈N
Exercise 2.3.8. Let (X, d) be a complete metric space and {Fn }n∈N be a sequence of closed
subsets of X. Prove that
! !
[ [
cl int Fn = cl int Fn . (2.14)
n∈N n∈N
2.4 Completion
If a metric space (X, d) is not complete, then it is always possible to construct a complete
metric space which contains this incomplete metric space and some other points so that
every Cauchy sequence in X has a limit point in the larger space. In fact, we need to adjoin
new points to (X, d) and extend d to all these new points in such a way that the formerly
nonconvergent Cauchy sequences find limits among these new points and the new points are
limits of sequences in X.
Definition 2.4.1
Let (X, d) be a metric space. A complete metric space (X ∗ , d∗) is said to be a completion
of the metric space (X, d) if X is a subspace of X ∗ and every point of X ∗ is the limit of
some sequence in X.
Example 2.4.1
(a) The completion of the space Q of all rational numbers with the usual metric is
the space R of all real numbers with the usual metric.
(b) Let X = (0, 1), (0, 1] or [0, 1). The completion of the metric space X with the
usual metric is the metric space [0, 1] with the usual metric.
Example 2.4.2
The completion of the metric space P [a, b] of all polynomials defined on [a, b] with the
uniform metric
is the complete metric space C[a, b] of all continuous real-valued functions defined on
C[a, b] with the uniform metric (2.15).
Qamrul Hasan Ansari Metric Spaces Page 85
Definition 2.4.2
• The spaces X and X ∗ are said to be isometric if there exists a bijective isometry
from X to X ∗ .
Remark 2.4.1
Example 2.4.3
The map f : Q → R2 defined by f (x + iy) = (x, y) is onto and an isometry from the set
of complex numbers with the usual metric to the Euclidean plane with usual metric.
Example 2.4.4
Consider the set X = {a, b, c} with the discrete metric and define a function f : X → R2
by √
f (a) = (−1/2, 0), f (b) = (1/2, 0), f (c) = (0, 3/2).
These are the corners of an equilateral triangle with side length 1. If R2 is equipped
with the usual metric, then f is an isometry. But the two spaces are not isometric,
as there cannot be a bijection between these spaces because first space is finite while
second one is infinite.
(X, d) (R2 , k · k)
−
c f
1 • 1
1 √ 1
3
a• •b 2
d(a, b) = 1 p p
d(b, c) = 1 1 1
d(c, a) = 1
Qamrul Hasan Ansari Metric Spaces Page 86
The definition of a completion of a metric space in terms of isometry can be stated as follows:
A completion of a metric space (X, d) is a complete metric space (X ∗ , d∗) if there exists an
isometry f : X → X ∗ such that f (X) is dense in X ∗ .
Proof. Let (X, d) be a metric space and let C[X] denote the collection of all Cauchy sequences
in X. Define a relation ∼ on C[X] by
{xn } ∼ {yn } ⇔ lim d(xn , yn ) = 0.
n→∞
Then ∼ is an equivalence relation on C[X], that is, the relation ∼ is reflexive, symmetric
and transitive.1
Thus, C[X] splits into equivalence classes. Any two members of the same equivalence class
are equivalent, and no member of an equivalence class is equivalent to a member of any other
equivalence class. Let X ∗ denote the set of all equivalence classes for ∼, and the elements
of X ∗ will be denoted by [{xn }], [{yn }], etc, that is,
X ∗ = {[{xn }] : {xn } ∈ C[X]} .
Since d(yn , x) ≤ d(yn , xn ) + d(xn , x), we observe that if a Cauchy sequence {xn } has a limit
point x ∈ X, and if {yn } is equivalent to {xn }, then lim yn = x. Also, if {xn } and {yn } are
n→∞
2
nonequivalent sequences, then lim xn 6= lim yn .
n→∞ n→∞
Define d∗ : X ∗ × X ∗ → [0, ∞) by
d∗ ([{xn }], [{yn }]) = lim d(xn , yn ), for all [{xn }], [{yn }] ∈ X ∗ .
n→∞
To show that the limit on the right side exists, we consider any two sequences {xn } ∈ [{xn }]
and {yn } ∈ [{yn }] and observe that
|d(xn , yn ) − d(xm , ym )| ≤ d(xn , xm ) + d(yn , ym ).
1
Reflexivity: ({xn } ∼ {xn }): Since lim d(xn , xn ) = 0 for every n, and so lim d(xn , xn ) = 0 if and only
n→∞ n→∞
if {xn } ∼ {xn }.
Symmetry: ({xn } ∼ {yn } implies {yn } ∼ {xn }): If {xn } ∼ {yn }, then lim d(xn , yn ) = 0 = lim d(yn , xn ),
n→∞ n→∞
and so {yn } ∼ {xn }.
Transitivity: ({xn } ∼ {yn } and {yn } ∼ {zn } imply {xn } ∼ {zn }): If {xn } ∼ {yn } and {yn } ∼ {zn }, then
lim d(xn , yn ) = 0 and lim d(yn , zn ) = 0. Therefore, by the triangle inequality, we have
n→∞ n→∞
To show that d∗ is well-defined, let {x′n } and {yn′ } be two Cauchy sequences in X such that
{x′n } ∼ {xn } and {yn′ } ∼ {yn }. Then,
Therefore,
|d(xn , yn ) − d (x′n , yn′ )| ≤ d (xn , x′n ) + d (yn , yn′ ) → 0.
Since {d(xn , yn )} and {d (x′n , yn′ )} are convergent, we have
Thus, d∗ is well-defined.
Since d(xn , yn ) ≥ 0 for all n, we have lim d(xn , yn ) ≥ 0, and thus, d∗ ([{xn }], [{yn }]) ≥ 0.
n→∞
Also,
d∗ ([{xn }], [{yn }]) = lim d(xn , yn ) = lim d(yn , xn ) = d∗ ([{yn }], [{xn }]) .
n→∞ n→∞
Finally, let [{xn }], [{yn }], [{zn }] ∈ X ∗ . Since d(xn , zn ) ≤ d(xn , yn ) + d(yn , zn ), we have
and therefore,
d∗ ([{xn }], [{zn }]) ≤ d∗ ([{xn }], [{yn }]) + d∗ ([{yn }], [{zn }]) .
Thus, d∗ is a metric on X ∗ .
Qamrul Hasan Ansari Metric Spaces Page 88
For each x ∈ X, let x̂ = [{x, x, x, . . .}] ∈ X ∗ , the equivalence classes of the constant sequence
{x, x, x, . . .}. Define a mapping f : X → X ∗ by f (x) = x̂. Then the constant sequence
{x, x, x, . . . , x, . . .} is a representative of [{xn }], and therefore, the mapping f is one-to-one.
Now for any x, y ∈ X, we have
We now show that every point x∗ = [{xn }] ∈ X ∗ is the limit of a sequence in f (X),
equivalently, f (X) is dense in X ∗ . For this purpose, let x∗ = [{xn }] ∈ X ∗ and let ε > 0. Since
{xn } is a Cauchy sequence, there exists a positive integer N such that for any m, n ≥ N,
d(xm , xn ) < 2ε for all m, n ≥ N. Let z = xN . Then ẑ ∈ f (X) and
ε
d∗ ([{xn }], f (xN )) = d∗ (x∗ , ẑ) = lim d(xn , z) = lim d(xn , xN ) ≤ < ε.
n→∞ n→∞ 2
∗
Thus, ẑ ∈ Sεd (x∗ ) ∩ f (X), and hence f (X) is dense in X ∗ .
Finally, we show that X ∗ is complete. Let {x∗n } be a Cauchy sequence in (X ∗ , d∗). Our goal
is to show that this sequence converges to some limit point x∗ ∈ X ∗ .
Since each x∗n is the limit of a sequence in f (X), we can find yn∗ ∈ f (X) such that d∗ (x∗n , yn∗ ) <
1
n
. Then {yn∗ } is a sequence in X ∗ as
d∗ (yn∗ , ym
∗
) ≤ d∗ (yn∗ , x∗n ) + d∗ (x∗n , x∗m ) + d∗ (x∗m , ym
∗
)
1 1
≤ + d∗ (x∗n , x∗m ) + → 0 as n, m → ∞.
n m
Since yn∗ is in f (X), there exists some yn ∈ X such that f (yn ) = yn∗ . Since {yn∗ } is a Cauchy
sequence in X ∗ and f is an isometry, {yn } in X must be Cauchy. Therefore, {yn } belongs
to some equivalence class x∗ ∈ X ∗ . We show that lim d∗ (x∗n , x∗ ) = 0. For this, take any
n→∞
ε > 0. Since {yn } is a Cauchy sequence in X, we have
1
d∗ (x∗n , x∗ ) ≤ d∗ (x∗n , yn∗ ) + d∗ (yn∗ , x∗ ) < + d∗ (yn∗ , x∗ )
n
and
d∗ (yn∗ , x∗ ) = d∗ (f (yn ), x∗ ) = lim d(yn , yp ) ≤ ε
n→∞
∗
for sufficiently large n. This implies that lim d (x∗n , x∗ ) = 0, thereby completing the proof
n→∞
that X ∗ is complete.
Proof. Let (X ∗ , d∗ ) and (X ∗∗ , d∗∗ ) be any two completions of the metric space (X, d). Let
x∗ ∈ X ∗ be arbitrary. By the definition of completion, there exists a sequence {xn }n∈N in
Qamrul Hasan Ansari Metric Spaces Page 89
X such that xn → x∗ . The sequence {xn }n∈N may be assumed to belong to X ∗∗ . Since X ∗∗
is complete, {xn }n∈N converges in X ∗∗ to x∗∗ , say. Define f : X ∗ → X ∗∗ by f (x∗ ) = x∗∗ .
It is clear that the mapping f is one-to-one and does not depend on the choice of the
sequence {xn }n∈N converges to x∗ . Moreover, by construction, f (x) = x for all x ∈ X. If
xn → x∗ ∈ X ∗ and xn → x∗∗ ∈ X ∗∗ while yn → y ∗ ∈ X ∗ and yn → y ∗∗ ∈ X ∗∗ , then
Thus,
d∗∗ (f (x∗ ), f (y ∗)) = d (x∗ , y ∗ ) , for all x∗ , y ∗ ∈ X ∗ ,
and hence, f is an isometry. Therefore, (X ∗ , d∗ ) and (X ∗∗ , d∗∗ ) are isometric.
Exercise 2.4.1. Let X and Y be metric spaces. If X is complete and isometric to Y , then
prove that Y is complete.
Chapter 3
Separable Spaces
90
Qamrul Hasan Ansari Metric Spaces Page 91
3.1 Countability
Definition 3.1.1
Before giving the examples of a base for a family of open sets, we mention the following
characterization of a base.
Theorem 3.1.1. Let O be the family of all open subsets of a metric space X. A
subfamily B ⊆ O is a base for O if and only if for every point x belonging to an open
set G, there exists Bx ∈ B such that x ∈ Bx ⊆ G.
Proof. Let B be a base for O and G be any open set in X, that is, G ∈ O. Then by the
definition a base, G is the union of members of B. Let x ∈ G. Since G is the union of
members of B, there exists a set Bx in B such that x ∈ Bx ⊆ G.
Example 3.1.1
The collection B = {(a, b) : a, b ∈ R} of all open intervals forms a base for the family of
all open sets in the usual metric space R.
If the endpoints a and b are rational, then the collection B = {(a, b) : a, b ∈ Q} of all
open intervals forms a countable base for the family of all open sets in the usual metric
space R.
Qamrul Hasan Ansari Metric Spaces Page 92
Example 3.1.2
Let X be a metric space. The collection {Srx (x) : x ∈ X and rx > 0} of all open spheres
forms a base for the family of all open sets in X.
Example 3.1.3
n
!1/p
X
dp (x, y) = |xi − yi |p , for all p ≥ 1,
i=1
Example 3.1.4
Let X be a discrete metric space. Then the collection B = {{x} : x ∈ X} forms a base
for the family of all open subsets of X since every subset of a discrete metric space is
open.
Definition 3.1.2
A metric space X is said to be a second countable space (or second axiom space) if there
exists a countable base for the family of all open subsets of X.
Qamrul Hasan Ansari Metric Spaces Page 93
Example 3.1.5
In view of Example 3.1.1, the collection of all open intervals (a, b) with a and b as
rational points forms a countable base for the family of all open subsets of R. Hence
the usual metric space R is a second countable space.
Example 3.1.6
n
!1/p
X
dp (x, y) = |xi − yi |p , for all p ≥ 1,
i=1
Example 3.1.7
Definition 3.1.3
A metric space X is said to be a first countable space (or first axiom space) if for every
point x ∈ X, there exists a countable family {Bn (x)} of open sets containing x such that
every open set G containing x also contains a member of {Bn (x)}, that is, Bn (x) ⊆ G
for some n.
Example 3.1.8
Remark 3.1.1
Every second countable metric space is first countable but converse is not true.
Qamrul Hasan Ansari Metric Spaces Page 94
Example 3.1.9
If X is uncountable, then the singleton sets {x} are also uncountable. Hence every base
is uncountable. Consequently, X is not second countable when it is uncountable.
Proof. Let x ∈ X and n ∈ N. Set Bn (x) = S1/n (x). Then {Bn (x)} = B1 (x), B1/2 (x) ,
B1/3 (x), . . . is a countable collection of open subsets of X such that every member of this
collection contains x. Let G be an open set containing x. Then there exists Sε (x) such that
Sε (x) ⊆ G for some ε > 0. Therefore, Bn (x) = S1/n (x) ⊆ Sε (x) ⊆ G for each n > 1ε , and
hence, X is a first countable space.
Exercise 3.1.1. Let (X, d) be a metric space and Y be a nonempty subset of X. If (X, d)
is second countable, then prove that (Y, dY ) is also second countable.
Proof. Let B = {Bn : n ∈ N} be a countable base for the family O of all open subsets of X.
Then B∗ = {Bn ∩ Y : n ∈ N} is countable. We claim that B∗ is a base for the family G of
all open subsets of Y .
Let G be an open set in Y and let x ∈ G. Then there exists an open set O in X such that
G = O ∩ Y . Also, x ∈ O ∩ Y and so x ∈ O and x ∈ Y . Since O ∈ O, there exists a Bn0 ∈ B
such that x ∈ Bn0 ⊆ O. Since x ∈ Y , we have x ∈ Bn0 ∩ Y ⊆ O ∩ Y = G. But Bn0 ∩ Y ∈ B∗ .
Therefore, B∗ forms a base for G. Hence, (Y, dY ) is second countable.
Exercise 3.1.2. Let (X, d) be a metric space and Y be a nonempty subset of X. If (X, d)
is first countable, is so (Y, dY )? Justify your answer.
Exercise 3.1.3. Let X = R2 be the usual metric space, x = (x1 , x2 ) ∈ X be any arbitrary
element and Gλ (x) = {y = (y1 , y2 ) ∈ R2 : (y1 − x1 )2 + 3(y2 − x2 )2 < λ}, where λ > 0. Prove
that the family {Gλ (x) : λ > 0 and x ∈ X} is a base for the family of all open subsets of X.
Proof. Let G be any open set in X and let x ∈ G. Then, there exists r > 0 such that Sr (x) ⊆
G. We know that Sr (x) = {y = (y1 , y2 ) ∈ X : (y1 − x1 )2 + (y2 − x2 )2 < r}. Let λ = r 2 . If
y ∈ Gλ (x), then (y1 −x1 )2 +3(y2 −x2 )2 < λ which implies that (y1 −x1 )2 +(y2 −x2 )2 < λ = r 2 .
Therefore, y ∈ Sr (x) and so y ∈ Gλ (x) ⊆ Sr (x) ⊆ G. Hence, {Gλ (x) : λ > 0 and x ∈ X} is
a base for the family of all open subsets of X.
Qamrul Hasan Ansari Metric Spaces Page 95
Definition 3.2.1
In other words, a set A is dense in X if for any given point x ∈ X, there exists a
sequence of points of A that converges to x.
Before giving the examples of dense sets, we provide some criterion for being dense.
(b) A = X.
Proof. The equivalence of (a) and (b) directly follows from Theorem 1.4.1. We prove the
equivalence of (b) and (c).
(b) ⇒ (c). Suppose contrary that there exists a nonempty open subset O of X such that
A ∩ O = ∅. Then A ⊆ O c , and so, A ⊆ O c = O c because O c is closed. Therefore, A ⊆ O c
whence A ∩ O = ∅, and thus, A 6= X, a contradiction of (b). Hence, (c) holds.
c
(c) ⇒ (b). Suppose that (c) holds but (b) does not, that is, A 6= X. Then A 6= ∅. Since
c c
A is a closed set, A is an open set in X and disjoint from A, that is, A ∩ A = ∅. Since
c c
A is nonempty open subset of X, by hypothesis, A ∩ A 6= ∅, a contradiction. Hence,
A = X.
Remark 3.2.1
It can be easily seen that a subset A of X is dense if and only if Ac has empty interior.
Qamrul Hasan Ansari Metric Spaces Page 96
Example 3.2.1
(a) The set of all rational numbers Q is dense in the usual metric space R since Q = R.
(b) Since R \ Q = R, the set of all irrational numbers R \ Q is dense in the usual
metric space R.
Example 3.2.2
The set
∞
!1/p
X
dp (x, y) = |xi − yi |p ,
i=1
Indeed, let x = {x1 , x2 , . . .} ∈ ℓp be an arbitrary element and let ε > 0 be given. Then
there exists a positive integer N such that
∞
X εp
|xi |p < .
i=N +1
2
Since Q is dense in R, for every real number, there is a rational number which is as
close to it as we wish. Consequently, we can choose an element y = (a1 , a2 , . . . , aN , 0, 0,
. . .) ∈ A such that
N
X εp
|xi − ai |p < .
i=1
2
Qamrul Hasan Ansari Metric Spaces Page 97
Therefore,
∞
X
p
[dp (x, y)] = |xi − ai |p
i=1
XN ∞
X
p
= |xi − ai | + |xi |p
i=1 i=N +1
p p
ε ε
< + = εp ,
2 2
and this implies that
dp (x, y) < ε.
It means that the distance from x ∈ ℓp to A is zero. By Theorem 3.2.1, A is dense in
ℓp .
Example 3.2.3
The set P [a, b] of all polynomials defined on [a, b] with rational coefficients is dense in
C[a, b].
Indeed, let f ∈ C[a, b]. By Weierstrass’s Theorem (Theorem E.0.2), there exists a
sequence {pn } of polynomials with real coefficients that converges uniformly to f on
[a, b], that is, for each ε > 0, there exists a positive integer N such that for all t ∈ [a, b]
and so d∞ (pn , f ) < ε for all n > N. But any polynomial can be uniformly approx-
imated by a polynomial with rational coefficients since Q is dense in R. Therefore,
corresponding to the sequence {pn }, there exists a sequence {qn } of polynomials with
rational coefficients (that is, {qn } ∈ P [a, b]) such that
1
|pn (t) − qn (t)| < , for all t ∈ [a, b].
n
This implies that
1
d∞ (pn , qn ) = sup |pn (t) − qn (t)| < , for all n = 1, 2, . . . .
t∈[a,b] n
Example 3.2.4
(a) Let (X, d) be a discrete metric space. Since every subset of X is closed, the only
dense subset of X is itself.
(b) By the definition of a completion, every metric space is dense in its completion.
Theorem 3.2.2. Let {Gn } be a sequence of dense open sets in a complete metric space
∞
\
X. Then Gn is also dense in X.
n=1
Proof. Let
! S be any open sphere in X. In view of Theorem 3.2.1, it is sufficient to show that
∞
\
Gn ∩S 6= ∅. Since each Gn is dense in X, Gn = X and Gn ∩S is nonempty by Theorem
n=1
3.2.1 and open as the intersection of two open sets. In particular, G1 ∩ S is a nonempty open
set. Therefore, there exist x1 ∈ G1 ∩ S and r1 > 0 such that Sr1 [x1 ] ⊂ Sr1 +ε (x1 ) ⊆ G1 ∩ S
for ε > 0. Similarly, G2 ∩ Sr1 (x1 ) is nonempty and open, so there exist x2 ∈ G2 ∩ Sr1 (x1 )
and r2 > 0 with r2 ≤ r21 such that Sr2 [x2 ] ⊆ G2 ∩ Sr1 (x1 ). Continue in this way, we obtain a
sequence {xn } such that
Sr1 +ε (x1 )
Sr1 [x1 ]
Sr3 [x3 ]
x1
ε r1 •
•x
3 x
• 2
Sr2 [x2 ]
Note that X is a complete metric space and {Srn [xn ]} is a decreasing sequence of nonempty
closed subsets of X such that δ (Srn [xn ]) → 0 as n → ∞. By Cantor’s Intersection Theorem
∞
\
2.3.3, Srn [xn ] contains exactly one point, say, x. Then,
n=1
∞
\ ∞
\
{x} = Srn [xn ] ⊆ Gn .
n=1 n=1
∞
! ∞
\ \
Since x is also in S, we have Gn ∩ S 6= ∅. Hence Gn is dense in X.
n=1 n=1
Definition 3.2.2
Example 3.2.5
(a) The usual metric space R is separable since the set of all rational numbers Q is
dense in R.
Example 3.2.6
Indeed, if An denotes the subset of all those elements x = {ai }i≥1 such that aj = 0 for
∞
[
all j ≥ n + 1, then An is countable, and so, A = An . By Example 3.2.2, A is dense
n=1
in the space ℓp .
Example 3.2.7
(a) The space C[a, b] is separable since the set P [a, b] of all polynomials defined on
[a, b] with rational coefficients is countable and dense in C[a, b] by Example 3.2.3.
(b) A discrete metric space X is separable if and only if the set X is countable.
Example 3.2.8
The space ℓ∞ of all bounded sequences of real or complex numbers with the metric
Suppose contrary that E is a countable dense subset of ℓ∞ . Consider the spheres of radii
1
3
whose centers at the points of E. Then their union is the entire space ℓ∞ , because
E is dense, and in particular contains A. Since the spheres are countable in numbers
while A is not, in at least one sphere there must be two distinct elements x and y of A.
Let x0 denote the center of such a sphere. Then,
1 1
1 = d(x, y) ≤ d(x, x0 ) + d(x0 , y) < + < 1,
3 3
which is impossible. Hence, (ℓ∞ , d) is not separable.
1 1 ε ε
d(y, ym,k ) ≤ d(y, xm ) + d(xm , ym,k ) < + < + = ε.
k k 2 2
Therefore, ym,k ∈ Sε (y). Since y ∈ Y and ε were arbitrary, it follows that y ∈ A, and hence,
A = Y . Thus, A is countable dense in Y .
Theorem 3.2.4. A metric space (X, d) is separable if and only if it is second countable.
Proof. Let (X, d) be a separable space and A = {an : n ∈ N} be a countable dense subset of
X. Consider the countable collection of open spheres B = S1/k (aj ) : j, k ∈ N with centers
at aj , j = 1, 2, . . . and radii rk = k1 are rational for all k = 1, 2, . . ., that is,
Then we claim that B is a base for the family of all open sets in X. Let G be any open
set in X and x ∈ G. Then for some r > 0, Sr (x) ⊆ G. Choose a positive integer m such
Qamrul Hasan Ansari Metric Spaces Page 102
that m1 < 2r . Since A is dense in X, there exists aj ∈ A such that aj ∈ S1/m (x), that is,
d (x, aj ) < m1 . We now show that S1/m (aj ) ⊆ Sr (x). Let y ∈ S1/m (aj ). Then d (aj , y) < m1 .
By the triangle inequality, we have
1 1 2
d(x, y) ≤ d(x, aj ) + d(aj , y) < + = < r.
m m m
This implies that y ∈ Sr (x). Hence S1/m (aj ) ⊆ Sr (x) ⊆ G. Also, x ∈ S1/m (aj ). Thus,
for every x ∈ G, there exists S1/m (aj ) ∈ B containing x and contained in G. Hence B is a
countable base for the family of all open sets in X, and thus, X is a second countable space.
√
Proof. If x, y ∈ S and k ∈ Z,√then x ± y, kx ∈ √ S. Let n(m) := [m 2], the greatest
equal to m 2. Then, 0 < m 2 − n(m) <√1. It is easy to see that if
integer√less than or √
n + m 2 = n′ + m′ 2, then n = n′ and m = m′ . Let sm := m 2|n(m). Then 0 < sm < 1
and sm ∈ S. Also, if m 6= m′ , then sm 6= sm′ . Hence we conclude that {sm : m ∈ Z} is
an infinite subset of S ∩ [0, 1). Given ε > 0, we partition [0, 1) into k equal parts so that
each subinterval has length less than ε. At least one of these subintervals must contain two
distinct elements, say, sm , sm′ of S ∩ [0, 1). Without loss of generality, we may assume that
sm < sm′ . Then we have 0 < sm′ − sm < ε. Since sm′ − sm ∈ S, we have shown that given
ε > 0, there exists an element s ∈ S with 0 < s < ε. Now, let ε > 0 such that b − a > ε be
given. Then there exists n ∈ Z such that a < nε < b. For, choose n to be the least integer
k such that kε > a. Then (n − 1)ε ≤ a < nε. We claim that nε < b. For, otherwise, a
contradiction.
We take ε := (b|a)
2
. Then there exists s ∈ S such that 0 < s < ε. Hence there exists an
integer n such that a < ns < b. Since ns ∈ S, the result is proved.
Exercise 3.2.2. Let A be a nonempty subset of a metric space X. Prove that the following
statements are equivalent.
(a) A is dense in X.
Hint: The proof lies on the lines of the proof of Theorem 3.2.2.
Proof. Suppose that x is a limit point of A. Then for every r > 0, (Sr (x) \ {x}) ∩ A 6= ∅,
that is, (Sr (x) ∩ (A \ {x}) 6= ∅. Then by Exercise 3.2.2 (e), A \ {x} is dense in A.
Conversely, assume that A \ {x} is dense in A. Then again by Exercise 3.2.2 (e), for any
r > 0, Sr (x) meets A \ {x}, that is, Sr (x) \ {x} meets A. Hence, x is a limit point of A.
Exercise 3.2.5. Let (X, d) be a metric space and Y be a subset of X. If Y is separable and
Y = X, then prove that X is separable.
Proof. Let A be a countable dense subset of Y . Let x ∈ X and ε > 0 be given. Since Y = X,
there exists y ∈ Y such that d(x, y) < 2ε . Also, since A is dense in Y , there exists z ∈ A such
that d(y, z) < 2ε . By the triangle inequality, we have
ε ε
d(x, z) ≤ d(x, y) + d(y, z) < + = ε.
2 2
It follows that A is dense in X, and hence, X is separable.
Qamrul Hasan Ansari Metric Spaces Page 104
Definition 3.3.1
◦
A subset A of a metric space X is said to be nowhere dense in X if A = ∅, that is,
A contains no interior point.
Example 3.3.1
(a) In the usual metric space R, any finite set is nowhere dense.
(c) In the usual metric space R2 , the set of points on a line is nowhere dense.
(d) In the discrete metric space, the empty set is the only nowhere dense set.
Remark 3.3.1
The notion of nowhere dense is not the opposite of everywhere dense, that is, if a set is
not nowhere dense then it does not imply that the set is everywhere dense. For example,
consider the usual metric space R and the set A = {x ∈ R : 1 < x < 2}. Since
◦ c
A = A 6= ∅ and A = {x ∈ R : x < 1 or x > 2} = (−∞, 1) ∪ (2, ∞),
Remark 3.3.2
In a metric space,
Proof. Since X \ A = X \ A◦ , we have A◦ = X \ X \ A . Replacing A by A, we get
(A)◦ = X \ (X \ A). Therefore, (A)◦ = ∅ if and only if X = (X \ A).
Qamrul Hasan Ansari Metric Spaces Page 105
Remark 3.3.3
Definition 3.3.2
Remark 3.3.4
(a) Every subset of a metric space must be either of first category or of second category.
∞
[
(b) If {An }∞
n=1 be a countable family of first category sets, then An is of first
n=1
category because a countable union of countable sets is also countable.
(d) A subset of a set of first category is of first category, because a subset of a nowhere
dense set is nowhere dense.
Example 3.3.2
Theorem 3.3.2 (Baire’s Category Theorem). Every complete metric space is of second
category.
Remark 3.3.5
Corollary 3.3.2. If M is of first category subset of a complete metric space (X, d),
then M c is dense in X.
Corollary 3.3.3. A complete metric space is not a countable union of nowhere dense
sets.
Exercise 3.3.1. Let A be a subset of a metric space X. Prove that the following statements
are equivalent.
(c) Every nonempty open set has a nonempty open subset disjoint from A.
(d) Every nonempty open set contains a nonempty open subset disjoint from A.
(e) Every nonempty open set contains an open sphere disjoint from A.
Exercise 3.3.2. Prove that the Cantor set is nowhere dense.
Exercise 3.3.3. Let X be a metric space. Prove that a closed set F is nowhere dense if and
only if it does not contain any open sphere.
Qamrul Hasan Ansari Metric Spaces Page 107
Assume that F does not contain any open sphere. Given a nonempty open set G, we know
that F cannot be contained in G as G contains open spheres and F does not. Pick an
element x in G that is not in F . Since F is closed, there is r1 > 0 such that Sr1 (x) does
not intersect F . Since F is open, there is r2 > 0 such that Sr2 (x) is contained in G. Choose
r = min{r1 , r2 }. Then Sr (x) is contained in G and does not intersect F , and hence, F is
nowhere dense.
Exercise 3.3.4. Let A be an open subset of a metric space X. Prove that A is dense in X
if and only if X \ A is nowhere dense in X.
Exercise 3.3.5. Prove that a finite union of nowhere dense sets in a metric space is a
nowhere dense set.
Proof. Let A1 and A2 be nowhere dense subsets of a metric space X and let G be an
arbitrary open set in X. Then by Exercise 3.3.1 (d), there exists an open set G1 ⊆ G such
that G1 ∩ A1 = ∅. Similarly, there exists an open set G2 ⊆ G1 ⊆ G such that G2 ∩ A2 = ∅.
Since
G2 ∩ (A1 ∪ A2 ) = (G2 ∩ A1 ) ∪ (G2 ∩ A2 ) = ∅,
G contains a nonempty open set G2 such that G and A1 ∪A2 are disjoint. Again, by Exercise
3.3.1 (d), A1 ∪ A2 is nowhere dense. By induction, one can easily prove that the finite union
of nowhere dense sets is nowhere dense.
Exercise 3.3.6. Give an example to show that a countable (infinite) union of nowhere dense
sets in a metric space X need not be a nowhere dense set in X.
Solution. Let X = R be a metric space with the usual metric. Consider the set Q of all
rational numbers as a subset of X. We can write
[ p
Q= : p ∈ Z, q ∈ N .
q
n o
Then Q has been written as a countable union of nowhere dense sets pq in R. It is well
known that Q is not nowhere dense set in R as Q is everywhere dense set in R.
Exercise 3.3.7. Let X be a metric space. If X has no isolated point, then prove that every
finite set is nowhere dense.
Hint: A singleton set {x} is open if and only if x is an isolated point of X, and then use
Exercise 3.3.5.
Exercise 3.3.8. Let (X, d) be a metric space, and A and B be nonempty subset of M.
(a) If the derived set A′ of A is nowhere dense, then prove that A is nowhere dense.
Qamrul Hasan Ansari Metric Spaces Page 108
(b) If B is open, then prove that the boundary set b(B) of B is nowhere dense.
Exercise 3.3.9. Prove that the subset R \ Q, the set of all irrational numbers, of R is of
second category.
Proof. Since R is a complete metric space, by Baire’s category Theorem 3.3.2, R is of second
category. By Example 3.3.2 (b), the set Q of all rational numbers is of first category. Since
R = Q ∪ (R \ Q), by Remark 3.3.4 (iii), R \ Q is of second category.
Exercise 3.3.10. Prove that any nonempty open interval is of second category.
Proof. Suppose contrary that a nonempty open interval is of first category. Then each of its
translate would also be of first category. Since R is the countable union of such translates,
it follows that R is of first category, which contradicts that R is of second category.
Exercise 3.3.11. Use the Baire’s category theorem to show that the set of all rational
numbers Q is not the intersection of a countable collection of open sets. Also, show that the
set of all irrational numbers is not the union of a countable collection of closed sets.
Proof. Suppose contrary that there exists a sequence {Gn }n∈N of open sets such that Q =
\
Gn . Since Q is countable, we may write Q = {rn : n ∈ N}. Set On = Gn \ {rn } for all
n∈N
n ∈ N. Then clearly, On is open as intersection of two open sets. Since Q ⊆ Gn , Gn is dense
in R and consequently
\ On is also dense in R for all n ∈ N. By Baire’s category theorem, we
have that On is nonempty and dense in R. But this contradicts with
n∈N
\ \
On = Gn \ Q = ∅.
n∈N n∈N
To prove the second part, we again assume to the contrary that the set of all irrational
numbers is the union of a countable collection of closed sets. Then by taking the complement,
we can easily prove that Q is the intersection of a countable collection of open sets which is
a contradiction of first part.
Chapter 4
Compact Spaces
Karl Theodor
Wilhelm Weierstrass
It is well known that every sequence in a closed and bounded subset of R has a subsequence
converges in it. This result is not true in general metric spaces. The metric spaces in
which every sequence has a convergent subsequence are called sequentially compact. We
present the definition of a compact set in a metric space and its characterizations. The
Bolzano-Weierstrass property is given in the setting of a metric space. We prove that three
concepts, namely, compactness, sequentially compactness and Bolzano-Weierstrass property
are equivalent in the setting of a metric space.
109
Qamrul Hasan Ansari Metric Spaces Page 110
Definition 4.1.1
S
• A collection F = {Gα }α∈Λ of subsets of X is called a cover of X if α∈Λ Gα = X,
that is, every element of X belongs to at least one member of F . If each member
of F is an open set in X, then it is called an open cover of X.
Definition 4.1.2
Let X be a metric space and Y Sbe a subset of X. A collection F = {Gα }α∈Λ of subsets
of X is said to cover Y if Y ⊆ α∈Λ Gα .
Example 4.1.1
(a) Let R be the usual metric space, F = {(−n, n) : n ∈ N} and C = {(−2n, 2n) : n ∈ N}.
Then F is an open cover of R and C is a subcover of F .
( ( | ) ) R
−4 −3 −2 −1 0 1 2 3 4
(b) Let (0, 1) be a metric space with the usual metric. Let
1 1
F = 0, 1 − : n ∈ N and C = 0, 1 − :n∈N .
n+1 4(n + 1)
Example 4.1.2
Let R2 be the usual metric space. Consider the family F = {S1 (x) : x ∈ Z × Z} of
open spheres S1 (x) in the plane R2 with radius 1 and center x = (m, n), where m and
n are integers. Then F is a cover of R2 , that is, every point in R2 belongs to at least
one member of F .
On the other hand, the family C = S1/2 (x) : x ∈ Z × Z of open spheres S1/2 (x) in
the plane R2 with radius 1/2 and center x = (m, n), where m and n are integers, is not
a cover of R2 because the point (1/2, 1/2) ∈ R2 does not belong to any member of C .
R y = (1/2, 1/2)
•
R
Qamrul Hasan Ansari Metric Spaces Page 112
Definition 4.1.3
A metric space X is said to be compact if every open cover of X has a finite subcover.
Example 4.1.3
(b) Any finite subset Y of a metric space X is compact, because in this case every
open cover of Y is finite.
(c) The set of integers Z with the usual metric d(x, y) = |x − y| for all x, y ∈ Z is not
a compact metric space.
Indeed, {n} = Z ∩ n − 21 , n + 12 is an open cover of Z. But this open cover does
not have any finite subcover. Thus Z is not compact.
(d) The subspace X = {0} ∪ n1 : n ∈ N of R is compact.
Indeed, if F is a given open cover of X, then there is an element G of F containing
0. The set G contains all but finitely many of the points n1 . For each point of X
not in G, choose a member of F containing it. The collection consisting of these
members of F along with the member G, is a finite subcollection of F that covers
X.
Qamrul Hasan Ansari Metric Spaces Page 113
Example 4.1.4
Let R be the usual metric space and Y = (0, 1) be the subspace of R. Then Y is not
compact.
G4
◦ ◦
G3
◦ ◦
G2
◦ ◦
G1
◦ ◦
| | | | | | |
1 1 1 1 1
0 6 5 4 3 2 1
Example 4.1.5
Let R be the usual metric space and Y = (0, 1] be the subspace of R. Then, Y is not
1
compact because the open cover F = n
, 1 : n ∈ N contains no finite subcover of
(0, 1].
Example 4.1.6
(a) The open sphere S1 (0) with center at origin and radius 1 is not compact.
S
Indeed, S1 (0) ⊆ ∞ n=2 S1− n 1 (0). However, no finite subcollection of the open cover
n o
S1− 1 (0) : n = 2, 3, . . . covers S1 (0).
n
(b) Let (X, d) be a discrete metric space and X be an infinite set. Then X is not
compact, but it is closed and bounded.
Consider the family F = {{x} : x ∈ X} of subsets of X which is an open cover
of X since in the discrete metric space, every subset is an open set and so the
singleton set. But there is no finite subcollection of F that covers X.
Further, any infinite subset of a discrete metric space is not compact.
Proof. Suppose that Y is compact and F = {Gα }α∈Λ is an open cover of Y , where each
Gα is open in X. Then the collection F ∗ = {Gα ∩ Y : α ∈ Λ} is an open cover of Y by
sets Gα ∩ Y open in Y . Since Y is compact, F ∗ has S a finite subcover C ∗ of Y , that is,
C ∗ =S{Gα1 ∩ Y, Gα2 ∩ Y, . . . , Gαn ∩ Y } such that Y = nk=1 (Gαk ∩ Y ). This implies that
Y ⊆ nk=1 Gαk , and hence, C = {Gα1 , Gα2 , . . . , Gαn } is a finite subcover of Y .
Conversely, assume that every cover of Y by sets open in X contains a finite subcover of Y .
Then we claim that Y is compact. Let F ∗ = {G∗α }α∈Λ be an open cover of Y , where each
G∗α is open in Y . For each α ∈ Λ, choose a set Gα open in X such that G∗α = Gα ∩ Y . Since
F ∗ is an open cover of Y , we have
!
[ [ [
∗
Y = Gα = (Gα ∩ Y ) = Gα ∩ Y.
α∈Λ α∈Λ α∈Λ
S
This implies that Y ⊆ α∈Λ Gα , and hence, F = {Gα }α∈Λ is an open cover of Y by sets Gα
open Sin X. By hypothesis, some finite subcollection {Gα1 , Gα2 , . . . , Gαn } covers Y , that is,
Y ⊆ nk=1 Gαk . Thus,
n
! n n
[ [ [
Y = Gαk ∩ Y = (Gαk ∩ Y ) = G∗αk .
k=1 k=1 k=1
Therefore, G∗α1 , G∗α2 , . . . , G∗αn is a finite subcover of Y , and hence, Y is compact.
Qamrul Hasan Ansari Metric Spaces Page 115
Proof. Let Y be a closed subset of a compact metric S space X and let F = {Gα }α∈Λ be an
open cover of Y by sets open in X, that is, Y ⊆ α∈Λ Gα , where each Gα is open in X.
Then F ∗ = F ∪ Y c is an open cover of X, because Y c is open in X. Since X is compact,
F ∗ has a finite subcover of X, say C ∗ . If this finite subcover C ∗ contains Y c , that is, if
then discard Y c since it covers no part of Y ; otherwise leave the subcollection alone, that is,
C ∗ = {Gα1 , Gα2 , . . . Gαn }. Then,
X
Y
closed
Y c is open
Remark 4.1.1
Definition 4.1.4
Example 4.1.7
Indeed, (0, a1 )∩(0, a2 )∩(0, a3 )∩· · ·∩(0, am ) = (0, b), where b = min{a1 , a2 , . . . , am } > 0.
Therefore, any subclass C has nonempty intersection even then C itself has an empty
intersection. Thus C satisfies the finite intersection property.
C = {. . . , (−∞, −2], (−∞, −1], (−∞, 0], (−∞, 1], (−∞, 2], . . .} .
T
Then C has an empty intersection, that is, n∈Z Cn = ∅, where Cn = (−∞, n]. But any
finite subclass of C has a nonempty intersection. So, C satisfies the finite intersection
property.
Theorem 4.1.2. A metric space X is compact if and only if every collection of closed
sets in X having finite intersection property has nonempty intersection.
This implies that F = {X \ Cα }α∈Λ is an open cover of X since each X \ CαSis open. Since
n n
X is compact, F has a Tfinite subcover C ∗ = {X \ CT αi }i=1 , say. Then X = i=1 (X \ Cαi ).
n n
This implies that X \ ( i=1 Cαi ) = X, and hence, i=1 Cαi = ∅. This shows that C does
not
T have the finite intersection property, which is a contradiction of our hypothesis. Hence
α∈Λ Cα 6= ∅.
Conversely, assume that X is not compact. Then there exists an open cover F = {Gα }α∈Λ
of X which does not have any finite subcover, that is, for every finite subcollection C =
{Gα1 , Gα2 , . . . , Gαn } of F , we have
n n
! n
[ [ \
Gαi 6= X ⇒ X \ Gαi 6= ∅ ⇒ (X \ Gαi ) 6= ∅.
i=1 i=1 i=1
Qamrul Hasan Ansari Metric Spaces Page 117
{Cα }α∈Λ is a collection of closed sets having finite intersection property. By the hypothesis,
T
α∈Λ Cα 6= ∅.
S
On the other hand, since F = {Gα }α∈Λ is a cover of X, we have α∈Λ Gα = X, and so,
!
\ \ [
Cα = (X \ Gα ) = X \ Gα = ∅,
α∈Λ α∈Λ α∈Λ
Tn
Proof. Let {F1 , F2 , . . . , Fn } be a finite subcollection of C such that i=1 Fi 6= ∅. Since for
each i, Fi ⊆ F i , we have
\n \n
∅=6 Fi ⊆ F i.
i=1 i=1
Tn
Therefore, i=1 F i 6= ∅, and hence, C ′ = F 1 , F 2 , . . . be a collection of closed sets having
T
finite intersection property. By Theorem 4.1.2, F ∈C F 6= ∅.
Exercise 4.1.1. Let (X, d) be a metric space such that every subset of X is compact. Prove
that X must be finite.
Proof. Let x ∈ X. Since X \ {x} is compact, it is closed and therefore, {x} is open.
Consider the open covering F = {{x} : x ∈ X} of X. Since X is compact as a subset
S there must be finite subcover C = {{x1 }, {x2 }, . . . , {xn }} of the cover F . Then
of itself,
X ⊆ ni=1 {xi } = {x1 , x2 , . . . , xn }. We conclude that X has cardinality at most n, and in
particular X is finite.
Exercise 4.1.2. (a) Prove that any intersection of compact sets is compact.
Proof. We prove only part (b). Part (a) is left for the readers.
Qamrul Hasan Ansari Metric Spaces Page 118
m
Let {Yk }S
k=1 be a family of compact sets in a metric space X. Let F = {Gα }α∈Λ be an open
cover of m k=1 Yk by sets open in X. Since each Yk is compact, there exists finite subset Jk
of Λ such that [
Yk ⊆ Gαi , for each k = 1, 2, . . . m.
αi ∈Jk
S S Sm
Therefore, m SmYk ⊆ αi ∈J Gαi , where J = k=1 Jk is a finite subset of Λ. Hence every
k=1
Sm cover of k=1 Yk by sets open in X has a finite subcover, and thus, by Lemma 4.1.1,
open
k=1 Yk is compact.
Exercise 4.1.3. Prove that a metric space X is compact if and only if every family of closed
sets with empty intersection has a finite subfamily with empty intersection.
Proof. LetTX be a compact metric space and let {Cα }α∈Λ be a family of closed sets in X
such that α∈Λ Cα = ∅. Taking the complements, we have
" #c
\ [
X = [∅]c = Cα = Cαc ,
α∈Λ α∈Λ
S
that is, X = α∈Λ Cαc , where each Cαc is an open set in X since Cαc is the complement of
a closed set Cα . Thus F = {Cαc }α∈Λ is an open cover of X. Since X is compact, there
c c c
exists Tαn1 , Cα2 , . . . , Cαn ∈ F such that
Sn ac finite subcover C of cover F , that is, there exist C
i=1 Cαi = X. Again, by taking the complement, we have i=1 Cαi = ∅.
Hint: Consider X = [0, 1] and check the properties of the set X × X \ {(x, x) : x ∈ X}.
This result is no longer valid in the setting of general metric spaces. For example, consider
the metric space (X, d),
where X = (0, 1] and d is the usual metric. Then X itself is closed
and bounded. Let A = 1, 12 , 31 , 41 , . . . be an infinite subset of X. We observe that A has
exactly one limit point 0 ∈
/ X. This motivates the following concept.
Definition 4.2.1
Example 4.2.1
Theorem 4.2.2. Every compact metric space has the Bolzano-Weierstrass property.
Proof. Let A be an infinite subset of a compact metric space X. Assume that A has no limit
point. Then each point x of X is not a limit point of A, and so, there exists rx > 0 such
that Srx (x) does not contain any point of A other than x. Therefore, Srx (x) ∩ A contains no
points of A other than x, that is,
∅, if x ∈
/ A,
Srx (x) ∩ A = (4.1)
{x}, if x ∈ A.
Since at each x ∈ X, we have an open sphere Srx (x) which contains no point of A other
than its center, the family F = {Srx (x) : x ∈ X} of these open spheres forms an open cover
of X. Since X is compact, there exists a finite subcover of F , say
Srxi (xi ) : xi ∈ X and i = 1, 2, . . . , n
Qamrul Hasan Ansari Metric Spaces Page 120
Sn
such that X = i=1 Srxi (xi ). Then,
n
!
[
A=A∩X = A∩ Srxi (xi )
i=1
n
[
= A ∩ Srxi (xi )
i=1
[n
⊆ {xi } by (4.1)
i=1
= {x1 , x2 , . . . xn } .
Consequently, A is a finite set which is a contradiction of our assumption. Hence A has a
limit point.
Definition 4.2.2
Example 4.2.2
(b) The open interval A = (0, 1) on the real line R with the usual metric is not
sequentially compact.
Consider the sequence {xn } = 12 , 31 , 14 , . . . in A. Then xn → 0, and therefore,
every subsequence will also converges to 0. But 0 ∈ / A. In other words, the
sequence {xn } in A does not contain a subsequence that converges to a point in
A, that is, A is not sequentially compact.
Theorem 4.2.3. A metric space X is sequentially compact if and only if it has the
Bolzano-Weierstrass property.
Proof. Let X be a sequentially compact metric space. Then we claim that every infinite
subset of X has a limit point. Let A be an infinite subset of X. Then we can extract a
sequence {xn } with infinitely many distinct points from A. Since X is sequentially compact,
the sequence {xn } has a convergent subsequence, say, {xnk }. Let xnk → x in X. Then we
prove that x is a limit point of A.
Let ε > 0 be given. Since xnk → x as k → ∞, there exists a positive integer N such that
xnk ∈ Sε (x), for all k > N.
Since {xn } consists infinitely many distinct points from A, we have xnk 6= x for all k > N.
Thus Sε (x) contains the element xnk , for all k > N, of A different from x. Hence x is a
limit point of A. Thus every infinite subset of X has a limit point, and hence, X has the
Bolzano-Weierstrass property.
Conversely, assume that X has the Bolzano-Weierstrass property. Then every infinite subset
of X has a limit point. Let {xn } be an arbitrary sequence in X. Then we have to prove that
{xn } has a convergent subsequence. Let A be the range set of the sequence {xn }, that is,
A = {x1 , x2 , x3 , . . . , xn , . . .} is a set of points x1 , x2 , x3 , . . . , xn , . . .. Then there are two cases:
Case 1. If A is a finite set, then the sequence {xn } has a point x which appears infinitely
many times in the sequence {xn } (that is, {xn } = {x1 , x2 , . . . , xn , x, x, . . .}). Then we have
a constant subsequence {x, x, x, . . . , x . . .} of {xn } which certainly converges to x.
Case 2. If A is an infinite set, then the sequence {xn } has infinitely many distinct points.
By our assumption, the set A has a limit point, say, x ∈ X. Then S1 (x) must have infinitely
many points from A. Let us choose one such element, say, xn1 other than x. Again S1/2 (x)
must have infinitely many points from A, and in the same way, we get xn2 other than x,
n2 > n1 . Similarly, S1/3 (x) must have infinitely many points from A and we get xn3 6= x,
n3 > n2 , and so on. In this way, we obtain a subsequence {xnk } of the sequence {xn } such
that
xnk ∈ S1/k (x), for all k = 1, 2, . . . ,
that is,
1
→ 0 as k → ∞,
d (xnk , x) <
k
and hence, xnk → x. Thus the sequence {xn } has a convergent subsequence {xnk }, and
therefore, X is sequentially compact.
Theorem 4.2.5. Every compact subset of a metric space is closed and bounded.
Proof. Let (X, d) be a metric space and A be a compact subset of X. If A is finite, then
there is nothing to prove because every finite set is closed and bounded. So, we assume that
A is an infinite set.
Let x ∈ A be arbitrary. Then by Theorem 2.1.3, there exists a sequence {xn } ⊂ A such that
xn → x. Since A is compact, by Corollary 4.2.1, it is sequentially compact, and therefore,
{xn } has a subsequence that converges in A. Let {xnk } be a convergent subsequence of {xn }.
Then xnk → x ∈ A, and hence, A ⊂ A. Therefore, A = A, and thus, A is a closed set.
Further, let A be unbounded. Then we can find pairs of points of A at arbitrary large
distances apart, that is, there would exist x and y in A such that d(x, y) > M for some given
M > 0. Consider the family F = {S1 (x) : x ∈ A} of open spheres with centered at a point
of A and radius 1. Then clearly, [
A⊆ S1 (x).
x∈A
This implies that F is an open cover of A. Since A is compact, F has a finite subcover
C = {S1 (xi ) : i = 1, 2, . . . , n}, say. Then,
n
[
A⊆ S1 (xi ).
i=1
Since x and y are in A, there exist xi and xj such that x ∈ S1 (xi ) and y ∈ S1 (xj ). So,
Remark 4.2.1
The converse of the above theorem need not be true. For example, consider an infinite
subset A of a discrete metric space X. Then A is closed and bounded because the open
sphere S 1 (x) is the set {x} alone and d(x, y) ≤ 1 for all x, y ∈ A. But the open cover
2
{{x} : x ∈ A} of A has no finite subcover. Thus A is not compact.
√ √
Also, the set − 2, 2 ∩ Q is closed and bounded in Q, but not compact.
In fact, a subset of Rn with the usual metric is compact if and only if it is closed and
bounded.
Qamrul Hasan Ansari Metric Spaces Page 124
Definition 4.3.1
Example 4.3.1
Let X = {(x, y) ∈ R × R : x2 + y 2 < 4}, that is, X is the open sphere centered at the
origin and radius 2. If ε = 32 , then the set
A = {(1, −1), (1, 0), (1, 1), (0, −1), (0, 0), (0, 1), (−1, −1), (−1, 0), (−1, 1)}
is an ε-net for X.
1
• • • y = (1/2, 1/2)
−2 −1 •
1 2
• • • R
• −1• •
−2
On the other
hand, if ε = 1/2, then A is not an ε-net for X. For example, the point
y = 21 , 12 belongs to X but the distance between y and any point in A is greater than
1
2
.
Qamrul Hasan Ansari Metric Spaces Page 125
Definition 4.3.2
A metric space (X, d) is said to be totally bounded if it has an ε-net for each ε > 0.
Remark 4.3.1
Every totally bounded metric space X is bounded but converse is not true in general.
Example 4.3.2
Under the usual metric d(x, y) = |x − y|, the real line R is neither bounded nor totally
bounded. However, a bounded subset of the real line with the usual metric is totally
bounded.
Under the metric d∗ (x, y) = min {|x − y|, 1}, the real line R is bounded but not totally
bounded.
Example 4.3.3
An infinite set X with the discrete metric is bounded, but not totally bounded.
Theorem 4.3.1. Every sequentially compact metric space is totally bounded and com-
plete.
Proof. Let (X, d) be a sequentially compact metric space. Assume to the contrary that X
is not totally bounded. Then there exists an ε > 0 such that there does not exist any ε-net.
Choose a point x1 ∈ X and form the open sphere Sε (x1 ). Then, clearly Sε (x1 ) 6= X for
otherwise {x1 } would be an ε-net for X. Let x2 ∈ X be an element such that x2 ∈ / Sε (x1 ),
that is, d(x1 , x2 ) ≥ ε. Form the open sphere Sε (x2 ) and the set Sε (x1 ) ∪ Sε (x2 ). Then,
Sε (x1 ) ∪ Sε (x2 ) 6= X since in other case {x1 , x2 } would be an ε-net for X. Let x3 ∈ X be
such that x3 ∈ / Sε (x1 ) ∪ Sε (x2 ), that is,
Form an open sphere Sε (x3 ) and a set Sε (x1 )∪Sε (x2 )∪Sε (x3 ). Then Sε (x1 )∪Sε (x2 )∪Sε (x3 ) 6=
X, otherwise the set {x1 , x2 , x3 } would be an ε-net for X.
Qamrul Hasan Ansari Metric Spaces Page 126
that is,
d(xi , xn ) ≥ ε, for i = 1, 2, . . . , n − 1 and n = 2, 3, . . . with n 6= i.
Consequently,
d(xn , xm ) ≥ ε, for all n, m and n 6= m.
Thus {xn } is a sequence with no Cauchy subsequence, and hence, {xn } cannot have any
convergent subsequence, contradicting our hypothesis that X is sequentially compact. Hence
X is totally bounded.
Now, we prove that X is complete. For that, we have to show that every Cauchy sequence
converges to a point of X.
Let {xn } be a Cauchy sequence. Then for each ε > 0, there exists a positive integer N such
that
d (xm , xn ) < ε, whenever m > n > N.
Since X is sequentially compact, every sequence, in particular, a Cauchy sequence, has
a convergent subsequence. Therefore, this Cauchy sequence {xn } contains a subsequence
{xkn }, say, which converges to a point x ∈ X, that is,
lim d (xkn , x) = 0.
n→∞
Remark 4.3.2
A complete metric space may not be sequentially compact. For example, consider the
metric subspace A = (−1, 1) of R under the usual metric d(x, y) = |x−y| for all x, y ∈ A.
Then A = (−1, 1) is totally bounded but not sequentially compact.
Qamrul Hasan Ansari Metric Spaces Page 127
Remark 4.3.3
Every sequentially compact metric space may not be a complete space. For example,
as we have seen in Example 2.3.7 that the space C[a, b] of all continuous real-valued
functions defined on [a, b] with the metric
is a complete metric space, but it is not sequentially compact. Needed, for each n ∈ N,
define dn = a + (b − a)2−n . Consider the piecewise linear function
1 − 2n (t − a), if a ≤ t ≤ dn ,
fn (t) =
0, if dn ≤ t ≤ b.
Therefore, if m < n, d∞ (fn , fm ) ≥ 12 . Thus we conclude that the sequence {fn } defined
as above does not have a convergent subsequence. Hence C[a, b] with respective to the
metric d∞ not sequentially compact.
Theorem 4.3.2. Every totally bounded complete metric space is sequentially compact.
Proof. Let (X, d) be a totally bounded and complete metric space. Let {xn } be any sequence
in X. Since X is totally bounded, it can be covered by a finite number of open spheres of
radius 1, and at least one of these open spheres will contain an infinite number of members
of the sequence {xn }. Let N1 be a such open sphere and let {xn1 } be a subsequence of the
sequence {xn } in N1 .
and hence, {xnk } is a Cauchy subsequence of the sequence {xn }. Since X is complete, this
subsequence converges to a point of X. Hence X is sequentially compact.
1
Proof. Let (X, d) be a totally bounded metric space. Then for each S∞n ∈ N, X has a n -net
which is denoted by An . Since each An is a finite set, the set A = n=1 An is countable. We
further prove that A = X, that is, if x ∈ X then we claim that x ∈ A.
1
Let x ∈ X and r > 0 be given. Choose a positive integer n such that n
< r. Let An =
{a1 , a2 , . . . , ak } since each An is finite. Then,
k
[
X= S 1 (aj ),
n
j=1
1
d(x, aj ) < < r,
n
and thus, aj ∈ Sr (x), that is, Sr (x) ∩ A 6= ∅ because aj ∈ An ⊂ A. This implies that x ∈ A
and hence A = X.
Remark 4.3.4
The converse of above theorem does not hold, that is, a separable metric space may
not be totally bounded. For example, consider the set of integers Z which is countable
dense subset of the usual metric space R, and hence, R is separable. But R with the
usual metric is not totally bounded.
Qamrul Hasan Ansari Metric Spaces Page 129
Definition 4.3.3
Let F = {Gα }α∈Λ be an open cover of a metric space X. A real number λ > 0 is called
a Lebesgue number for the given open cover F if for each subset of X whose diameter is
less than λ is contained in at least one Gα , that is, if every subset A ⊂ X with δ(A) < λ
then A ⊂ Gα for at least one α ∈ Λ.
Proof. Let (X, d) be a sequentially compact metric space and let F = {Gα }α∈Λ be an open
cover of X. Assume that F does not have any Lebesgue number. Then for each n ∈ N,
there exists a subset Bn of X such that
1
0 < δ(Bn ) < and Bn 6⊂ Gα , for all α ∈ Λ. (4.2)
n
Since x ∈ X and F is an open cover of X, x ∈ Gα0 for some α0 ∈ Λ. But Gα0 being an
open set containing x, there exists an open sphere Sε (x) such that x ∈ Sε (x) ⊆ Gα0 . Since
{xnk } converges to x, there exists a positive integer N such that for all k ≥ N, we have
ε
d (xnk , x) < .
2
1
Let n0 ≥ N be such that n0
< 2ε . Then from the above inequality, we have
ε
d (xnk , x) < , that is, xnk ∈ S 2ε (x), for all nk ≥ n0 .
2
1 ε
xn0 ∈ Bn0 and 0 < δ (Bn0 ) < < .
n0 2
Qamrul Hasan Ansari Metric Spaces Page 130
xn0 Bn0
Sε (x) ε x •
2
• Gα0
Since xn0 belongs to Bn0 as well as to S 2ε (x), Bn0 ∩ S 2ε (x) 6= ∅. This implies that Bn0 will
also intersect with Sε (x). Since δ (Bn0 ) < 2ε and Bn0 intersects with Sε (x), we have
Bn0 ⊂ Sε (x) ⊆ Gα0 .
But this contradicts with the fact that Bn0 6⊂ Gα for all α ∈ Λ. Hence, F has a Lebesgue
number.
Proof. Let X be a sequentially compact metric space. Then by Theorem 4.3.1, it is totally
bounded. Then for a given ε > 0, X has an ε-net A, say. Then A = {x1 , x2 , . . . , xn } is finite
subset of X and n
[
X= Sε (xk ).
k=1
Let F = {Gα }α∈Λ be an open cover of X. Since X is sequentially compact, by Lebesgue’s
covering lemma, this open cover F has a Lebesgue number λ, say. We put ε = λ3 . For each
k = 1, 2, . . . , n, we have
2λ
δ (Sε (xk )) < 2ε = < λ.
3
By the definition of a Lebesgue number, for each k = 1, 2, . . . , n, we can find an open set
Gαk ∈ F such that Sε (xk ) ⊆ Gαk . This implies that
n
[ n
[
Sε (xk ) ⊆ Gαk .
k=1 k=1
n
[ n
[
Since X = Sε (xk ), we have X = Gαk . Hence, the class {Gα1 , Gα2 , . . . , Gαn } is a finite
k=1 k=1
subcover of X, and therefore, X is compact.
Qamrul Hasan Ansari Metric Spaces Page 131
Corollary 4.3.2. A closed subspace of a complete metric space is compact if and only
if it is totally bounded.
Compact
By
3.
4.
Th
em
eo
r
r
eo
em
Th
4.
2.
By
2
Sequentially Compact Bolzano-Weierstrass Property
By Theorem 4.2.3
Exercise 4.3.1. Let A be a compact subset of a metric space X. Show that the derived set
A′ of A is compact.
Exercise 4.3.2. Which of the following sets are compact? Justify your answer.
(a) A = [0, 2) ⊂ R.
(c) A = {x ∈ R : x ≥ 0} ⊂ R.
Solution. (b) The set A = [0, 1] ∪ [2, 3] ⊂ R is compact because it is closed and bounded
(Heine-Borel Theorem).
(e) Let {Gα } be an arbitrary open cover of A. Then the point 0 lies in one of these open
sets. Assume that 0 ∈ Gα0 for some α0 . Since Gα0 is open and n1 → 0, there is an
N such that N1 , N 1+1 , . . . all lie in Gα0 . Since {Gα } is an open cover of A, there must exist
Gα1 , Gα2 , . . . , GαN (not necessarily all distinct from one another, but we can rename and give
multiple names to the sets as is needed) such that 1, 1/2, . . . , 1/N ∈ Gα1 ∪ Gα2 ∪ · · · ∪ GαN .
Then {Gα0 , Gα1 , Gα2 , . . . , GαN } is a finite subcover of A. Therefore, every open cover has a
finite subcover and so A is compact.
Exercise 4.3.3. Which of the following sets are compact? Justify your answer.
Exercise 4.3.4. Let A and B be subsets of a metric space X such that A is closed and B
is compact. Prove that A ∩ B is compact.
4.3.5. Let {Aα }α∈Λ be anySfamily of compact subsets of a metric space X. Show
Exercise T
that B = α∈Λ Aα is compact, while α∈Λ Aα is not necessarily compact.
T
Proof. Choose a fixed α0 ∈ Λ and put A = α6=α0 Aα and take B = Aα0 . Since every
compact set is closed, each Aα is closed and so A is closed being an intersection\
of closed
sets. Since B is compact, by Exercise 4.3.4, A ∩ B is compact and so is A ∩ B = Aα .
α∈Λ
Qamrul Hasan Ansari Metric Spaces Page 133
Arbitrary union of compact sets need not be compact. For example, consider the sets
S∞ usual metric space R. Then each An is
An = [−n, n] for all positive integer n, in the
compact since it is closed and bounded. But n=1 An = R which is not compact.
Exercise 4.3.6. Given an example of a metric space X (other than R) having Bolzano-
Weierstrass property.
Exercise 4.3.7. Show that no finite subcollection of the open cover F = {S1− 1 (0) : n =
n
2, 3, . . .} of S1 (0) covers S1 (0).
Exercise 4.3.8. Show that the closed unit sphere S1 [0] in the space
( ∞
)
X
ℓ2 = {xn } ⊆ R or C : |xn |2 < ∞
n=1
P∞ 1/2
with the metric d(x, y) = ( n=1 |xn − yn |2 ) for all x = {x1 , x2 , . . .}, y = {y1, y2 , . . .} in ℓ2 ,
is not compact.
Proof. Consider the sequence {en } in ℓ2 defined by en (k) = δnk for all n.k ∈ N, where δnk
denotes the Kronecker delta symbol defined by δnk = 1 if n = k and 0 otherwise. Then {en }
is a sequence of all sequences whose terms are zero except the nth term.
√ n Clearly, en ∈ So1 [0]
and d(em , en ) = 2 if m 6= n. We claim that the open cover F = S 1 (x) : x ∈ S1 [0] of
2
n o
S1 [0] admits no finite subcover. For, if S 1 (xj ) : 1 ≤ j ≤ n is a finite subcover, then there
2
exists j (1 ≤ j ≤ n) and m 6= n such that em , en ∈ S 1 (xj ). In particular, d(em , en ) ≤
2
d(em , xj ) + d(xj , en ) < 1, a contradiction.
Exercise 4.3.9. Prove that the real line R under the metric d∗ (x, y) = min {|x − y|, 1} for
all x, y ∈ R is bounded but not totally bounded.
Exercise 4.3.10. Let R be
the usual
metric space and Y = (0, 1] be a subspace of R. Prove
that the open cover F = n1 , 1 : n ∈ N of Y contains no finite subcover.
Exercise 4.3.11. Prove that a subset A of the usual metric space Rn is compact if and only
if it is closed and bounded.
Proof. Let A be a compact subset of Rn . Then by Theorem 4.2.5, it is closed and bounded.
Conversely, assume that A is closed and bounded. Fix ε > 0. The set
εk1 εk2 εkn
C̃ = , ,..., : ki ∈ Z, 1 ≤ i ≤ n
n n n
is an ε-net for Rn . Since A is bounded, there exists r > 0 such that A ⊂ Sr (0). Then the set
C = C̃ ∩ Sr (0)
is a finite ε-net for A. So, A is totally bounded. Then by Theorem 4.3.2, A is sequentially
compact and Theorem 4.3.5 implies that A is compact.
Qamrul Hasan Ansari Metric Spaces Page 134
Exercise 4.3.12. Let X be a metric space and {xn } be a sequence in X such that xn → x
as n → ∞. Show that the subset {x} ∪ {xn : n ∈ N} of X is compact.
Proof. Let F be an open cover for {x} ∪ {xn : n ∈ N}. Then there exists an open set G ∈ F
such that x ∈ G. Since xn → x and G is open, there exists a positive integer N such that
G contains all points of the set {xn : n ∈ N} for all n > N. For each i = 1, 2, . . . , N, let
Gi ∈ F such that xi ∈ Gi . Then G ∪ G1 ∪ · · · ∪ GN is finite subcover of the cover F . Hence
the set {x} ∪ {xn : n ∈ N} of X is compact.
Exercise 4.3.13. Let A be a compact subset of a metric space (X, d). Show that for any
subset B of X, there exists a point x ∈ A such that ρ(x, B) = ρ(A, B).
Exercise 4.3.14. Let A be a compact subset of a metric space (X, d) and let B be a closed
subset of X such that A ∩ B = ∅. Show that ρ(A, B) > 0.
Exercise 4.3.15. Let X be a metric space. Prove that X is complete if and only if every
infinite totally bounded subset of X has a limit point
Qamrul Hasan Ansari Metric Spaces Page 135
Exercise 4.3.16. Let X be a metric space. Prove that X is totally bounded if and only if
every sequence in X has a Cauchy subsequence.
Continuous Functions
136
Qamrul Hasan Ansari Metric Spaces Page 137
Definition 5.1.1
that is,
x ∈ Sδ (x0 ) implies f (x) ∈ Sε (f (x0 )) .
In other words, f is continuous at a point x0 ∈ X if for every ε > 0, there exists a δ > 0
such that
f (Sδ (x0 )) ⊆ Sε (f (x0 )) .
f
>
f (x)
x
δ > ε
f
x0 f (x0 )
Sδ (x0 )
Sε (f (x0 ))
Example 5.1.1
(b) Let X = R be the set of all real numbers with the usual metric d(x, y) = |x − y|.
Then every constant function defined on X is continuous.
(c) Let X be a discrete metric space and Y be a metric space. Then every function
f : X → Y is continuous on X.
Qamrul Hasan Ansari Metric Spaces Page 138
Example 5.1.2
Let X = Y = C[0, 1] with the uniform metric d∞ (f, g) = sup |f (t) − g(t)|. The
t∈[0,1]
mapping φ : X → Y defined by
Z t
(φ(f )) (t) = f (s)ds, for all f ∈ C[0, 1],
0
is continuous. In fact,
Z t Z t
|(φ(f )) (t) − (φ(g)) (t)| = f (s)ds − g(s)ds
0 0
Z t
≤ |f (s) − g(s)| ds
0
≤ d∞ (f, g).
Hence,
d∞ (φ(f ), φ(g)) ≤ d∞ (f, g), for all f, g ∈ C[0, 1].
So, the assertion follows if we choose δ = ε.
Example 5.1.3
Let A be a nonempty subset of a metric space (X, d). Then the mapping x 7→ ρ(x, A),
defined by ρ(x, A) := inf{d(x, a) : a ∈ A} for all x ∈ X, is continuous.
we have
d(a, y) ≥ d(a, x) − d(y, x),
that is,
d(a, y) ≥ ρ(x, A) − d(y, x), (5.1)
since d(a, x) ≥ inf{d(b, x) : b ∈ A} := ρ(x, A). The inequality (5.1) says that ρ(x, A) −
d(y, x) is a lower bound for the set {d(a, y) : a ∈ A}. Hence the greatest lower bound of
this set, namely, inf{d(a, y) : a ∈ A} is greater than or equal to this lower bound, that
is,
ρ(y, A) ≥ ρ(x, A) − d(y, x).
Qamrul Hasan Ansari Metric Spaces Page 139
Therefore, ρ(y, A) − ρ(x, A) ≥ −d(y, x), that is, ρ(x, A) − ρ(y, A) ≤ d(y, x). By inter-
changing x and y in this inequality, we see that
that is,
|ρ(x, A) − ρ(y, A)| ≤ d(x, y).
Hence, the continuity of x 7→ ρ(x, A) follows.
Definition 5.1.2
Remark 5.1.1
A continuous function is not necessarily bounded. For example, consider the function
f (x) = 1/x defined on the set X = (0, ∞). Then clearly f is continuous, but not
bounded.
Proof. Let f be continuous at a point x0 ∈ X. Then for any given ε > 0, there exists a
δ > 0 such that for all x ∈ X,
Suppose that f is not continuous at x0 . Then there exists an ε > 0 such that for every δ > 0,
there is an x 6= x0 satisfying
dX (x, x0 ) < δ but dY (f (x), f (x0 )) ≥ ε.
In particular, for δ = n1 , there is an xn satisfying
1
dX (xn , x0 ) < but dY (f (xn ), f (x0 )) ≥ ε.
n
Then clearly xn → x0 , but {f (xn )} does not converge to f (x0 ). This contradicts to our
hypothesis that f (xn ) → f (x0 ). Hence, f is continuous at x0 .
Remark 5.1.2
If f : X → Y is continuous and f (xn ) → f (x) for any sequence {xn } in X, then the
assertion xn → x may not be true.
For example, let X = R be a metric space with the usual metric d(x, y) = |x − y| and
f : X → X be a function defined by
f (xn ) = 1 → f (1) as n → ∞,
Proof. Assume that f is continuous on X and G is an open set in Y . Then we prove that
f −1 (G) is open in X. If f −1 (G) = ∅, then we are done. So, we assume that f −1 (G) 6= ∅.
Let x ∈ f −1 (G), then f (x) ∈ G. Since G is open, Sε (f (x)) ⊆ G for some ε > 0. By the
continuity of f , there exists a δ > 0 such that
f (Sδ (x)) ⊆ Sε (f (x)) ,
and since Sε (f (x)) ⊆ G, it follows that f (Sδ (x)) ⊆ G. Thus, Sδ (x) ⊆ f −1 (G), and hence,
f −1 (G) is open.
Qamrul Hasan Ansari Metric Spaces Page 141
f −1 (G) G
> ε
δ f
x f (x)
Sδ (x) Sε (f (x))
Space X Space Y
Remark 5.1.3
−1
Proof. Let f be a continuous function. Then, f f (A) is closed in X, since f (A) is closed
in Y . Now we have
f (A) ⊆ f (A) ⇒ A ⊆ f −1 f (A) ⇒ A ⊆ f −1 f (A) ,
and thus, A ⊆ f −1 f (A) because f −1 f (A) is closed. Hence f A ⊆ f (A).
Conversely, let f A ⊆ f (A) for every subset A of X. We prove that f is continuous. Let
F be any closed set in Y . Then F = F . Now we have
f f −1 (F ) ⊆ f (f −1 (F )) = F = F.
(a) f is continuous on X.
Hint: Consider the function f : R → R defined by f (x) = sin x for all x ∈ R and take
A = (0, 3π).
Exercise 5.1.3. Give an example to show that the following statement does not hold:
is not continuous. However, f (A) ⊆ {0, 1} for all A ⊆ X and (f (A))◦ = ∅. So, (f (A))◦ ⊆
f (A◦ ) holds for all subsets A of X.
Qamrul Hasan Ansari Metric Spaces Page 144
For the converse, define a function f : R → R as f (x) = |x| for all x ∈ R and consider the
set
A = ([−2, −1] ∩ Q) ∪ (−1, 1) ∪ ([1, 2] ∩ (R \ Q)) .
Then A◦ = (−1, 1), and therefore, f (A◦ ) = [0, 1). But f (A) = [0, 2], and so, (f (A))◦ =
(0, 2).
Exercise 5.1.4. Let X and Y be metric spaces. Prove that the function f : X → Y is
continuous on X if and only if for every subset B of Y , f −1 (B) ⊆ f −1 B .
Proof. Let f be continuous and A = f −1 (B). Then by Theorem 5.1.5, we have f A ⊆ f (A)
and
f (A) ⊆ B ⇒ f (A) ⊆ B ⇒ f A ⊆ B.
Therefore, A ⊆ f −1 (B), and thus, f −1 (B) ⊆ f −1 (B).
Conversely, let f −1 (B) ⊆ f −1 B for every subset B of Y . Let F be a closed set in Y . Then
F = F , and by the hypothesis, we have
f −1 (F ) ⊆ f −1 F = f −1 (F ).
Proof. Let ε > 0 be given, and x0 be an arbitrary point in X. Since each fi is continuous,
there exists δi > 0 for each i = 1, 2, . . . , n such that for all x ∈ X and for each i = 1, 2, . . . , n
ε
d(x, x0 ) < δi implies |fi (x) − fi (x0 )| < √ .
n
n
!1/2
X
where d (f (x), f (y)) = |fi (x) − fi (y)|2 .
i=1
Exercise 5.1.8. Let Rn and R be equipped with the usual metric. Show that the projection
maps pi : Rn → R given by pi (x) = xi , where x = (x1 , x2 . . . , xn ), are continuous.
Exercise 5.1.9. Let X and Y be metric spaces and f : X → Y be a function. The graph
of f , denoted by graph (f ), is defined as graph (f ) = {(x, y) ∈ X × Y : y = f (x)}. If f is
continuous, then prove that graph (f ) is closed. Also, provide an example to show that the
closedness of the graph of f does not guarantee the continuity of f .
Exercise 5.1.11. Let (X, dX ) and (Y, dY ) be metric spaces and f, g : X → Y be continuous
functions. Prove that the set {x ∈ X : f (x) = g(x)} is closed. In particular, the set
{x ∈ X : f (x) = x} is closed.
Exercise 5.1.12. Let X and Y be metric spaces, D be a nonempty dense subset of X, and
f, g : X → Y be continuous functions such that f (x) = g(x) for all x ∈ D. Prove that f ≡ g
on X, that is, f (x) = g(x) for all x ∈ X.
Definition 5.2.1
The following result, which is known as Urysohn’s lemma, provides the existence of a con-
tinuous function that separates two nonempty disjoint closed sets in a metric space X.
Theorem 5.2.1 (Urysohn’s Lemma). Let A, B be two disjoint closed subsets of a metric
space (X, d). Then there exists a continuous function f : X → [0, 1] that separates A
and B, that is,
0, for x ∈ A,
f (x) =
1, for x ∈ B,
Proof. Let ρ(x, A) = inf{d(x, y) : y ∈ A} be the distance of a point x ∈ X from the set A.
Define a function f : X → [0, 1] by
ρ(x, A)
f (x) = , for all x ∈ X.
ρ(x, A) + ρ(x, B)
We first prove that f is well defined, that is, ρ(x, A) + ρ(x, B) 6= 0 for any x ∈ X. If
ρ(x, A) + ρ(x, B) = 0, then each of the term, being nonnegative, must be zero. But then
x ∈ A and x ∈ B by Theorem 1.4.1, a contradiction since A and B are disjoint. Hence we
conclude that f (x) makes sense for all x ∈ X.
By Example 5.1.3, x 7→ d(x, A) and x 7→ d(x, B) are continuous. Since the sum and quotient
of continuous functions is a continuous function, f is also continuous.
Proof. Let F = {Gα }α∈Λ be an open cover of f (A). Then by Theorem 5.1.3, f −1 (Gα ) is
open in X for each α ∈ Λ. Hence {A ∩ f −1 (Gα )}α∈Λ forms an open cover of A. Since A is
compact, there exists a finite set J = {1, 2, . . . , n} of Λ such that
n n
! n
!
[ [ [
A= A ∩ f −1 (Gk ) = A ∩ f −1 (Gk ) = A ∩ f −1 Gk .
k=1 k=1 k=1
Thus, !
n
[
A ⊆ f −1 Gk ,
k=1
and so,
n
[
f (A) ⊆ Gk .
k=1
Proof. Let F be a closed subset of X. Since every closed subset of a compact set is compact,
by Theorem 5.3.1, we have f (F ) is compact and hence it is closed.
Proof. Since f is bijective, f −1 : Y → X exists and also bijective. Let F be a closed set in
−1
X. Then (f −1 ) (F ) = f (F ) and by Theorem 5.3.2, f (F ) is closed in Y . Thus, the inverse
image of a closed set is closed, and hence, f −1 is continuous.
Qamrul Hasan Ansari Metric Spaces Page 149
Remark 5.3.1
In Theorem 5.3.3, if X is not compact, then f −1 need not be continuous. For example,
consider and identity function I : (R, d) → (R, | · |) from R with the discrete metric to
R with the usual metric. Then I is continuous but I −1 is not.
Exercise 5.3.1. Give an example to show that Theorem 5.3.2 does not hold if X is not
compact.
Exercise 5.3.2. Let X and Y be metric spaces and f : X → Y be a bijective and continuous
function. If A is a nonempty dense subset of X, then f (A) is dense in Y .
Proof. Let A be a dense subset of X. Then we need to show that f (A) is dense in Y ,
equivalently, f (A) = Y = f (X) because f is bijective.
Let y ∈ f (X) be any point and consider an open sphere Sr (y) for r > 0. Since Sr (y) is open
and f is continuous,
f −1 (Sr (y)) = {x ∈ X : f (x) ∈ Sr (y)}
is open in X. Since A is dense in X, by Theorem 3.2.1, f −1 (Sr (y)) ∩ A is nonempty. Let
x ∈ f −1 (Sr (y)) ∩ A. Then,
f (x) ∈ f f −1 (Sr (y)) ∩ A = Sr (y) ∩ f (A),
that is, Sr (y) ∩ f (A) 6= ∅. Therefore, y is a limit point of f (A), that is, y ∈ f (A). Thus,
f (X) ⊆ f (A), and hence, f (A) = f (X) = Y .
Hint: Consider the usual metric space R and Q = {rn: n ∈ N} be the set of all rational
numbers. Let A = {(x, 0) : x ∈ R \ Q}. Let M = A ∪ rn , n1 : n ∈ N ⊆ R × R with the
Euclidean (usual) metric.
Exercise 5.3.4 (The Extreme Value Theorem). Prove that a continuous real-valued function
defined on a compact set is bounded and it assumes maximum and minimum values.
Exercise 5.3.5. Let (X, d) be a metric space and A be a nonempty compact subset of X.
Prove that for every x0 ∈ X, there exists a y0 ∈ A such that
Proof. Consider the function f : A → R+ defined by f (x) = d(x, x0 ) for all x ∈ A. Now
|f (x) − f (y)| = |d(x, x0 ) − d(y, x0 )| ≤ d(x, y), so f is continuous on A. But A is compact, so
f has a minimum on A by Exercise 5.3.4. That is, there exists a y0 ∈ A such that
Hint: A = {x ∈ X : −r < f (x) < r} = f −1 (−r, r). Since (−r, r) is open in R, its inverse
image must be open in X by continuity of f .
Qamrul Hasan Ansari Metric Spaces Page 151
Before giving the definition of uniform continuity, we examine the following examples.
Thus for any ε > 0, there exists a δ = 12 ε such that for any x, x0 ∈ [−1, 1], we have
Now, if we consider the same function f (x) = x2 defined on R, that is, f : R → R such that
f (x) = x2 . Then for every real numbers x, x0 , we have
In this way, we see that δ may depend not only on ε but also on x0 . Uniform continuity is
essentially continuity plus the added condition that for each ε we can find a δ which works
uniformly over the entire space, in the sense that it does not depend on x0 .
Definition 5.4.1
Remark 5.4.1
Every uniform continuous function is continuous but converse need not be true in gen-
eral. For example, in the first example mentioned above, δ is independent on the choice
of x and x0 , and therefore, it is uniformity continuous. But in the latter example, δ
depends on ε and x0 , and hence, it is only continuous but not uniformly continuous.
Qamrul Hasan Ansari Metric Spaces Page 152
Example 5.4.1
(a) Let X be a discrete metric space and Y be any metric space. Then any function
f : X → Y is uniformly continuous.
(b) Let X = (0, 1) be a metric space with the metric induced by the usual metric on
R and Y = R with the usual metric. The function f : X → Y defined as f (x) = x1
for all x ∈ X, is not uniformly continuous.
Let ε = 21 and δ be any positive number. Choose x = 1
n
and y = 1
n+1
, where n is
a positive integer such that n > 1δ . Then,
1 1 1 1
|x − y| = − = < < δ,
n n+1 n(n + 1) n
but |f (x) − f (y)| = |n − (n + 1)| = 1 > ε. Thus whatever δ > 0 may be, there
exist x and y such that |x − y| < δ but |f (x) − f (y)| > 21 .
(d) The logarithmic function is not uniformly continuous on the usual metric space
X = (0, ∞).
Theorem 5.4.1. Let (X, dX ) and (Y, dY ) be metric spaces and f : X → Y be a contin-
uous function. If X is compact, then f is uniformly continuous.
Proof. Let ε > 0 and x ∈ X be arbitrary. Consider the image f (x) of x and the open sphere
Sε (f (x)). Since f is continuous, f −1 (Sε (f (x))) is an open set in X. Consider the family
F = {f −1 (Sε (f (x))) : x ∈ X} of these open sets in X. Then clearly F is an open cover of
X. Since X is compact, it is sequentially compact, and therefore, by Lebesgue’s covering
lemma (Theorem 4.3.4) there exists a Lebesgue number δ > 0 for F . Thus every open sphere
of diameter less than δ will be contained in at least one member of F and, consequently, we
have
Sδ/2 (x) ⊆ f −1 (Sε (f (x))) ⇒ f Sδ/2 (x) ⊆ Sε (f (x)).
Hence for each ε > 0, there exists a δ̃ > 0 (independent of x) such that
δ
dX (x, y) < = δ̃ ⇒ dY (f (x), f (y)) < ε.
2
Hence, f is uniformly continuous.
Qamrul Hasan Ansari Metric Spaces Page 153
Remark 5.4.2
Consider the space C[a, b] of all continuous real-valued functions defined on [a, b] with
the metric
d∞ (f, g) = max |f (t) − g(t)|, for all f, g ∈ C[a, b].
t∈[a,b]
Note that every f ∈ C[a, b] is a function from a compact set [a, b] to R. Then from the
above theorem, every f ∈ C[a, b] is uniformly continuous. However, as we have seen in
Remark 4.3.3 that C[a, b] is not sequentially compact, and hence not compact.
Proof. Since f is uniformly continuous, for each ε > 0, there exists a δ > 0 (depends only
on ε) such that for all x1 , x2 ∈ X,
In particular, we have
Since {xn } is a Cauchy sequence in X, for a given δ > 0, there exists a positive integer N
such that
dX (xn , xm ) < δ, for all n, m ≥ N. (5.3)
From (5.2) and (5.3), we obtain
The following example shows that a continuous function may not map a Cauchy sequence
into a Cauchy sequence.
Example 5.4.2
Let X = (0, ∞) with the induced usual metric on R and Y = R with the usual metric.
The function
f : X → Y defined by f (x) = x1 for all x ∈ X, is continuous on X.
Clearly, xn : xn = n1 n∈N is a Cauchy sequence in X. But f n1 n∈N = {n}∞ n=1 is not
a Cauchy sequence in Y . Indeed, the absolute difference of any two distinct points is at
least as large as 1.
Exercise 5.4.1. Show that the function f (x) = ex defined on the usual metric space R is
not uniformly continuous.
Hint: There is no δ > 0 that guarantees d(x, y) = |ex − ey | < 1 for all x, y ∈ R with
ey − ex
|x − y| < δ. Specially, for all x, y ∈ R with x < y, we have > ex . Then for any
y−x
γ ∈ (0, 1), pick x = − ln γ and y = γ − ln γ, so that ey − ex > (y − x)ex = 1.
Exercise 5.4.2. Let (X, d) be a metric space and A be a subset of X. Prove that the
function f : X → R defined by
f (x) = d(x, A), for all x ∈ X
is uniformly continuous.
Therefore,
d(x, A) ≤ d(x, y) + d(y, A),
and so,
d(x, A) − d(y, A) ≤ d(x, y), for all x, y ∈ X.
By interchanging x and y, we obtain
d(y, A) − d(x, A) ≤ d(y, x) = d(x, y).
Thus,
|d(x, A) − d(y, A)| ≤ d(x, y).
Therefore, for a given ε > 0, choosing a δ such that 0 < δ < ε, we have
|f (x) − f (y)| = |d(x, A) − d(y, A)| ≤ d(x, y) < δ < ε,
that is,
|f (x) − f (y)| < ε, whenever d(x, y) < δ.
Hence, f is uniformly continuous on X.
Qamrul Hasan Ansari Metric Spaces Page 155
Definition 5.5.1
Two metric spaces X and Y are said to be homeomorphic if there exists a homeomor-
phism from X onto Y .
Example 5.5.1
(a) Let [0, 1] and [0, 2] be metric spaces with the usual metric and f : [0, 1] → [0, 2]
be a function defined as f (x) = 2x for all x ∈ [0, 1]. Then f is a homeomorphism
and the spaces [0, 1] and [0, 2] are homeomorphic.
(b) Let X = (0, ∞) and Y = R be metric spaces such that Y is equipped with the
usual metric and X with the usual metric induced from R. Let f : X → Y be
a function defined as f (x) = ln x for all x ∈ X. Then f is a homeomorphism
between X and Y .
(c) The metric space R with the usual metric is not homeomorphic to the metric space
R with the discrete metric.
Recall that a mapping f : X → Y from a metric space (X, dX ) to a metric space (Y, dY ) is
an isometry if
dY (f (x), f (y)) = dX (x, y), for all x, y ∈ X.
It is obvious that an isometry is one-to-one and uniformly continuous.
Recall also that X and Y are said to be isometric if there exists an isometry between them
that is onto.
An isometry is necessarily a homeomorphism, but the converse need not be true. In Example
5.5.1 (a) and (b), the mappings are homeomorphism but not isometry.
Qamrul Hasan Ansari Metric Spaces Page 156
(a) f is a homeomorphism.
(b) The set G ⊆ X is open if and only if its image f (G) ⊆ Y is open.
Proof. (a) ⇒ (b). Let (a) hold. Then f and f −1 both are continuous. Therefor, for any
−1
open set G ⊆ X, we have (f −1 ) (G) = f (G) is open in Y by using continuity of f −1 .
Remark 5.5.1
Definition 5.5.2
Remark 5.5.2
Remark 5.5.3
(a) f is homeomorphism;
(f) For every sequence {xn } in X and any x ∈ X, the sequence {f (xn )} in Y converges to
f (x) if and only if xn converges to x.
Since composition of two bijective and continuous functions is bijective and continuous,
respectively, g ◦ f is bijective and continuous. Also since (g ◦ f )−1 = f −1 ◦ g −1 is continuous,
we have that g ◦ f is a homeomorphism, and hence X is homeomorphic to Z.
Exercise 5.5.4. Show that the function f : R → (−1, 1) defined by
x
f (x) = , for all x ∈ R
1 + |x|
is a homeomorphism. Also, show that f is uniformly continuous on R.
Exercise 5.5.5. (a) Show that the image of a complete metric space under homeomor-
phism need not be complete.
(b) Show that the image of a complete metric space under a one-to-one uniformly contin-
uous mapping need not be complete.
Hint: The function f in Exercise 5.5.4 is both homeomorphism and uniformly continuous.
R is complete but f (R) = (−1, 1) is not.
(b) and (c) Consider any constant function f : R2 → R and observe that it is continuous
and closed, but not a homeomorphism, as it is not one-to-one.
(d) Consider the function f : R2 → R defined by f (x1 , x2 ) = x1 for all (x1 , x2 ) ∈ R2 and
observe that it is continuous and open but not closed, as it maps the hyperbola x1 x2 = 1
onto the set R \ {0}, which is not closed.
Exercise 5.5.7. Let (X, dX ) and (Y, dY ) be metric spaces. Let X × Y be equipped with the
product metric defined by
d((x1 , y1 ), (x2 , y2 )) := max{dX (x1 , x2 ), dY (y1 , y2)}, for all (x1 , y1), (x2 , y2 ) ∈ X × Y.
Let px and py denote the projection of X ×Y onto X, respectively onto Y given by px (x, y) =
x, respectively py (x, y) = y. Show that px and py are continuous and open but not closed.
Exercise 5.5.8. Show that the identity mapping I : (R, | · |) → (R, d) from the usual metric
space (R, | · |) to the discrete metric space (R, d) is continuous but neither open nor closed.
(a) If f : X → Y is a continuous and onto and g ◦ f is open, then prove that the map
g : Y → Z is open.
(b) If g : Y → Z is a continuous and injective and g ◦ f is open, then prove that the map
f : X → Y is open.
Let A be a nonempty subset of a metric space (X, d). Prove that the indicator function χA
of the set A is continuous if and only if A is closed as well as open.
χ−1 −1 c
A ({1}) = A and χA ({0}) = A .
As {1} is closed in {0, 1}, A is closed in X (by continuity of χA ). Also, as {0} is closed in
{0, 1}, Ac is closed in X (by continuity of χA ), and so A is open in X. Therefore, A is closed
as well as open.
Conversely, assume that A is both open and closed set in X and consider an arbitrary open
subset O of R. Then we show that χ−1
A (B ∩ O) is open for any subset B of {0, 1}. Note that
χ−1
A (∅) = ∅, open set
χ−1
A (0) = Ac , open set, since A is closed
−1
χA (1) = A, open set
−1
χA ({0, 1}) = X, open set.
Therefore, χA is continuous.
Exercise 5.5.11. Assume that the metric space (X, d) is not compact. Prove that there
exists a function f : X → R which is continuous but not bounded.
Qamrul Hasan Ansari Metric Spaces Page 161
Definition 5.5.3
Two metrics d1 and d2 on the same underlying set X are said to be equivalent if for
every sequence {xn } in X and x ∈ X,
that is, a sequence converges to x with respect to the metric d1 if and only if it converges
to x with respect to the metric d2 .
The metric spaces (X, d1 ) and (X, d2 ) are said to be equivalent if the metrics d1 and d2
are equivalent.
Remark 5.5.4
(a) Two metrics d1 and d2 on a nonempty set X are equivalent if and only if the
identity map I : (X, d1 ) → (X, d2 ) together with its inverse map I −1 : (X, d2 ) →
(X, d1 ) are continuous, that is, if and only if the identity map I : (X, d1 ) → (X, d2 )
is a homeomorphism.
(b) If two metrics are equivalent, then the families of open sets are same in (X, d1 )
and (X, d2 ).
The following result provides a sufficient condition for two metrics on a set to be equivalent.
Theorem 5.5.2. Two metrics d1 and d2 on a nonempty set X are equivalent if there
exist constants k1 , k2 > 0 such that
Proof. Let {xn } be a sequence in X such that d1 (xn , x) → 0 as n → ∞. From the first
inequality in (5.4), we have
k1 d2 (xn , x) ≤ d1 (xn , x) → 0, as n → ∞
and thus, d2 (xn , x) → 0 as n → ∞.
The following example shows that the converse of the above theorem does not hold, that is,
if d1 and d2 are equivalent metrics then the inequality (5.4) need not be true.
Qamrul Hasan Ansari Metric Spaces Page 162
Example 5.5.2
d(x, y)
ρ(x, y) = , for all x, y ∈ X.
1 + d(x, y)
d(xn , x) ε
= ρ(xn , x) < , for all n > N
1 + d(xn , x) 2
which is equivalent to
ε
d(xn , x) < < ε, for all n > N.
2−ε
Thus, d(xn , x) → 0 as n → ∞.
On the other hand, we observe that there is no constant k1 > 0 such that
This establishes that the condition (5.4) in Theorem 5.5.2 is not necessary for the metrics
d and ρ to be equivalent.
This example shows that there always exists an equivalent metric ρ on a metric space
such that (X, ρ) is bounded.
Qamrul Hasan Ansari Metric Spaces Page 163
Example 5.5.3
for all x = (x1 , . . . , xn ) ∈ Rn and y = (y1 , . . . , yn ) ∈ Rn , are equivalent. In fact, any real
numbers α1 , α2 , . . . , αn , we have
n
!1/2 n n
!1/2
X X X
αi2 ≤ |αi | ≤ n · max {|αi | : 1 ≤ i ≤ n} ≤ n αi2 .
i=1 i=1 i=1
Example 5.5.4
Let m be the space of all bounded sequences with the following two metrics
and ∞
X 1 |xn − yn |
d1 (x, y) = ,
n=1
2n 1 + |xn − yn |
where the sequences x = (x1 , x2 , . . .) and y = (y1 , y2 , . . .) are elements of m.
Consider the sequence {en } in m whose respective terms are the sequences
Example 5.5.5
Let C[0, 1] be the space of all continuous linear functionals defined on [0, 1]. Consider
the metrics d∞ and d defined on C[0, 1] by
and Z 1
d(f, g) = |f (x) − g(x)| dx,
0
for all f, g ∈ C[0, 1]. Then these metrics d∞ and d are not equivalent.
Also, let f (x) = 0 for all x ∈ [0, 1]. Then d (fn , f ) → 0 as n → ∞. In fact,
Z 1
1
d (fn , f ) = xn dx = → 0, as n → ∞.
0 n+1
However,
d∞ (fn , f ) = sup |fn (x) − f (x)| = 1, for all n.
x∈[0,1]
So, lim d∞ (fn , f ) 6= 0. Thus the sequence {fn } converges to f with respect to the
n→∞
metric d, but not with respect to the metric d∞ . Therefore, the metrics d∞ and d are
not equivalent.
However, for any sequence {fn } in C[0, 1] and any f ∈ C[0, 1], when d∞ (fn , f ) → 0 as
n → ∞, it does follow that d (fn , f ) → 0 as n → ∞. Observe that
Z 1
d (fn , f ) = |fn (x) − f (x)| dx ≤ sup |fn (x) − f (x)| = d∞ (fn , f ) .
0 x∈[0,1]
Exercise 5.5.12. Give an example to show that the metric spaces (X, d1 ) and (X, d2 ) are
homeomorphic but their respective metrics d1 and d2 are not equivalent.
Then f is a homeomorphism from (R, d1 ) onto (R, d2 ) but the metrics are not equivalent,
because the set of positive reals is open under d1 but not under d2 .
Proof. Let {yn } be a sequence in f (X) such that yn → y. Then there are xn ∈ X such
that f (xn ) = yn . Since {yn } is convergent, it is Cauchy, and hence {xn } is Cauchy as
f is an isometry. Since X is complete, xn → x ∈ X, and hence f (xn ) → f (x). Thus,
y = f (x) ∈ f (X), and therefore, f (X) is closed.
Exercise 5.5.14. Let X and Y be metric spaces such that X is complete and Y is compact.
If f : X → Y is an isometry, then prove that f (X) is compact.
Qamrul Hasan Ansari Metric Spaces Page 166
In this section, we study two ways in which a sequence {fn } of continuous functions can
converge to a function f : pointwise convergence and uniform convergence. The distinction is
rather similar to the distinction between pointwise and uniform continuity – in the pointwise
case, a condition can be satisfied in different ways for different x’s, however, in the uniform
case, it must be satisfied in the same for all x.
Definition 5.6.1
Let {fn } be a sequence of functions from a metric space (X, dX ) to another metric
space (Y, dY ) and f : X → Y be a function. We say that the sequence {fn } converges
pointwise to the function f if for any ε > 0 and for all x ∈ X, there exists a positive
integer N such that
dY (fn (x), f (x)) < ε, for all n > N. (5.5)
If N depends only on ε, then we say that the sequence {fn } converges uniformly on X.
Definition 5.6.2
Let {fn } be a sequence of functions from a metric space (X, dX ) to another metric
space (Y, dY ) and f : X → Y be a function. We say that the sequence {fn } converges
uniformly to the function f if for any ε > 0, there exists a positive integer N (depending
only on ε) such that
dY (fn (x), f (x)) < ε, for all n > N and all x ∈ X. (5.6)
It is clear that uniform convergence implies pointwise convergence, but the converse need
not be true.
Qamrul Hasan Ansari Metric Spaces Page 167
Example 5.6.1
Let X = [0, 1] and Y = R with the usual metric. Let {fn } be a sequence of functions
fn : X → Y defined by
Remark 5.6.1
(a) Observe that the function f is not continuous even though each of the function fn
is continuous. That is, a sequence of continuous functions may converge pointwise
to a non-continuous function.
Example 5.6.2
Indeed, let ε = 12 . Note that for every n ∈ N, there exists x0 ∈ X with fn (x0 ) = 0 and
so
|fn (x0 ) − f (x0 )| = 1 > ε.
The above examples show that the pointwise limit of a sequence of continuous functions may
not be continuous. However, the following theorem says that if the convergence is uniform,
then the limit function is also continuous.
Qamrul Hasan Ansari Metric Spaces Page 168
Theorem 5.6.1. Let (X, dX ) and (Y, dY ) be metric spaces, {fn } be a sequence of con-
tinuous functions each defined on X to Y and f : X → Y be a function. If fn → f
uniformly on X, then f is continuous on X. In other words, an uniform limit of a
sequence of continuous functions is continuous.
Proposition 5.6.1. Let (X, dX ) and (Y, dY ) be metric spaces and {fn } be a sequence
of functions fn : X → Y . Then for any function f : X → Y , {fn } converges uniformly
to f if and only if sup {dY (fn (x), f (x))} → 0 as n → ∞.
x∈X
Proof. Assume that {fn } converges uniformly to f . Then for any ε > 0, there exists a
positive integer N (depending only on ε) such that
dY (fn (x), f (x)) < ε, for all n > N and all x ∈ X,
that is,
sup {dY (fn (x), f (x))} ≤ ε, for all n > N.
x∈X
Since ε was arbitrary, we have
sup dY (fn (x), f (x)) → 0, as n → ∞.
x∈X
Conversely, assume that sup {dY (fn (x), f (x))} → 0 as n → ∞. Then for a given ε > 0, there
x∈X
exists a positive integer N (depending only on ε) such that
sup {dY (fn (x), f (x))} < ε, for all n > N.
x∈X
Therefore,
dY (fn (x), f (x)) < ε, for all n > N and all x ∈ X.
Hence, {fn } converges uniformly to f .
Qamrul Hasan Ansari Metric Spaces Page 169
Remark 5.6.2
The above proposition says that the uniform convergence means that the “maximal”
distance between fn and f goes to zero.
Example 5.6.3
Let X = [0, 1] and Y = R with the usual metric. Let {fn } be a sequence of functions
defined by
1
2nx,
if 0 ≤ x ≤ 2n ,
1 1
fn (x) = −2nx + 2, if 2n ≤ x < n ,
0, if n1 ≤ x ≤ 1,
and f (x) = 0 for all x ∈ R. Then fn → f pointwise on [0, 1], because at every point
x ∈ [0, 1] the value of fn (x) eventually becomes 0 (for x = 0, the value is always 0,
and for x > 0 the “tent” will eventually pass to the left of x). However, fn does
not converge uniformly to f on [0, 1] as the maximum value of all fn is 1, that is,
sup |fn (x) − f (x)| = 1 for all n.
x∈[0,1]
1 −
| |1 R
1
n
Proof. Suppose that fn → f uniformly on X. Then for any given ε > 0, there exists a
positive integer N such that
ε
dY (fn (x), f (x)) < , for all n > N and all x ∈ X.
2
Qamrul Hasan Ansari Metric Spaces Page 170
Then for each x ∈ X, the sequence {fn (x)} is a Cauchy sequence in a complete metric space
Y , and therefore, converges to some point f (x), say. We claim that fn → f uniformly on X.
If ε > 0 is given, we can choose N such that for all n > N, we have
ε
dY (fn (x), fn+k (x)) < , for all k = 1, 2, . . . and all x ∈ X.
2
Letting k → ∞, we obtain
ε
dY (fn (x), f (x)) = lim dY (fn (x), fn+k (x)) < .
n→∞ 2
Hence,
dY (fn (x), f (x)) < ε, for all n > N and all x ∈ X,
and so, fn → f uniformly on X.
It is known that the uniform convergence implies pointwise convergence. However, the
following theorem, known as Dini’s theorem, provides the conditions under which converse
holds.
Proof. For each n ∈ N, define gn (x) = fn (x) − f (x) for all x ∈ X. Then {gn } is a sequence
of continuous functions on the compact metric space X that converges pointwise to 0. Also,
for each n ∈ N, 0 ≤ gn+1(x) ≤ gn (x) for all x ∈ X. If we show that {gn } converges uniformly
to 0, then {fn } converges uniformly to f .
Then for each n ∈ N, On is an open set as it is the inverse image of an open set by a
continuous function. Since {gn } converges pointwise to 0, for each x ∈ X, there exists a
positive integer N such that gn (x) < ε for all n ≥ N. ThisS implies that x ∈ On for all
n ≥ N. Therefore, {On } is an open cover of X, that is, X = ∞ n=1 On . Since X is compact,
there is a finite collection of {On } that also covers X, that is,
for some n1 < n2 < · · · < nk . Since 0 ≤ gn+1 (x) ≤ gn (x) for all x ∈ X, we have On ⊆ On+1 ,
and so
X = On1 ∪ On2 ∪ · · · ∪ Onk = Onk .
Write N = nk . Then gN (x) < ε for all x ∈ X. As {gn (x)} is decreasing, we have
|gn (x) − 0| = gn (x) ≤ gN (x) < ε, for all n > N and all x ∈ X.
(i) X is compact
(iii) f is continuous
Example 5.6.4
(a) Consider the space X = (0, 1) with the usual metric and the sequence {fn } of
continuous functions on X defined by fn (x) = xn . Then it is well known that X is not
compact, and {fn } decreases pointwise to zero. However, in view of Proposition 5.6.1,
the convergence is not uniform as
(b) Consider the sequence {fn } of functions defined on R by fn (x) = nx . Then {fn } is a
sequence of continuous functions and monotonically converges to 0, but the convergence
is not uniform.
Qamrul Hasan Ansari Metric Spaces Page 172
Example 5.6.5
Then {fn } is monotonically decreasing pointwise to 0, and the domain is compact, but
the convergence is not uniform.
Example 5.6.6
Exercise 5.6.1. Let (X, dX ) and (Y, dY ) be metric spaces, {fn } be a sequence of continuous
functions each defined on X to Y and f : X → Y be a function. If {fn } converges uniformly
to f on X, and {xn } is a sequence in X that converges to a point x. Show that {fn (xn )}
converges to f (x). Show also by an example that this is not true in case of pointwise
convergence of {fn }.
Proof. Let ε > 0 be given. Then there exists a positive integer N1 such that
dY (fn (x), f (x)) < ε, for all n ≥ N1 and all x ∈ X.
Since fn → f uniformly, by Theorem 5.6.1, f is continuous. Also since xn → x, we must
have f (xn ) → f (x), that is, there exists a positive integer N2 such that
dY (f (xn ), f (x)) < ε, for all n ≥ N2 .
For n ≥ max{N1 , N2 }, we have
dY (fn (xn ), f (x)) ≤ dY (fn (xn ), f (xn )) + dY (f (xn ), f (x)) < ε.
Exercise 5.6.2. Let X = Y = R with the usual metric. Let {fn } be a sequence of functions
defined by
0, if x ≤ 0,
nx, if 0 ≤ x ≤ n1 ,
fn (x) =
−nx + 2, if n1 ≤ x ≤ n2 ,
0, if x ≥ n2 ,
Qamrul Hasan Ansari Metric Spaces Page 173
and f (x) = 0 for all x ∈ R. Show that {fn } converges pointwise to f on R, but does not
converge uniformly to f on R.
(0, 1)•
(1, 0)
• • • R
2
n
,0
( n1 , 0)
Proof. If x is close to 0 and positive, then there exists a positive integer N such that 2/N < x
and so fn (x) = 0 for all n > N. However, there exists no N such that (5.6) holds for ε = 21 ,
for all n > N and for all x ∈ R. For, if such an N were to exist, we would have
1
fn (x) < , for all n > N and all x ∈ R.
2
We would then have Nx < 2 for 0 ≤ x ≤ N1 ; but for x = 32 N, we obtain the contradiction
1
2
3
< 21 .
Since sup |fn (x) − f (x)| = 1 for all n, by Proposition 5.6.1, fn does not converge uniformly
x∈[0,1]
to f on [0, 1] as the maximum value of all fn is 1,
Exercise 5.6.3. Let X = [0, 1] and Y = R with the usual metric. Let {fn } be a sequence
of functions defined by
2 1
4n x,
if 0 ≤ x ≤ 2n ,
2 1 1
fn (x) = −4n x + 4n, if 2n < x < n ,
0, if n1 ≤ x ≤ 1.
Show that the sequence {fn } converges pointwise to the constant function f (x) = 0, but
does not converge uniformly to f on [0, 1].
Exercise 5.6.4. Let X = Y = R with the usual metric. Let {fn } be a sequence of functions
defined by
−1,
if x ≤ − n1 ,
fn (x) = nx, if − n1 < x < n1 ,
1, if n1 ≤ x,
and f be a function defined by
−1,
if x < 0,
f (x) = 0, if x = 0,
1, if x > 0.
Qamrul Hasan Ansari Metric Spaces Page 174
Show that the sequence {fn } converges pointwise to the function f , but not uniformly.
Hint: Note that {fn } is a sequence of continuous functions and converges pointwise to f
which is not continuous. Use Theorem 5.6.1.
Exercise 5.6.5. Prove that the sequence {fn } defined by
fn (x) = tan−1 (nx), for all x ≥ 0,
is uniformly convergent on [α, ∞) when α > 0, but is not uniformly convergent on [0, ∞).
Let ε > 0 be arbitrary. When x ≥ α, the inequality n > cotα ε implies n > cotx ε , so that
nx > cot ε, and hence, cot−1 nx < ε in view of the fact that cot−1 is a decreasing function.
It follows that if N is an integer greater than or equal to cotα ε , then
π
|fn (x) − f (x)| = tan−1 (nx) − = cot−1 nx < ε
2
whenever n > N and x ≥ α. However, cotx ε → ∞ as n → 0, so that no integer N exists for
which
|fn (x) − f (x)| < ε for all n > N and all x ∈ [0, ∞).
Actually this proves that the convergence fails to be uniform even on the smaller set (0, ∞).
Qamrul Hasan Ansari Metric Spaces Page 175
(b) Show that for 0 < a < 1, {fn } converges uniformly to f on [0, a].
(c) Show that {fn } does not converge uniformly to f on [0, 1].
Proof. (a) Since fn (1) = 1/2 for all n ∈ N, we obtain f (1) = 1/2 and
1
lim = 1, for 0 ≤ x < 1,
n→∞ 1 + xn
Proof. Let E be any compact subset of R and 0 < ε < 1. Since E is compact, it is bounded,
and therefore, E ⊆ (M − M) for M > 0. Now there exists a positive integer N such that
N > M/ε, that is, M/N < ε. Thus, for n > N, we have
1 M
|fn (x) − f (x)| = |x| < < ε, for all x ∈ E.
n N
Hence {fn } converges uniformly to f on E.
Qamrul Hasan Ansari Metric Spaces Page 176
(a) Show that {fn } does not converge uniformly to the constant function f (x) = 1.
(b) Show that {fn } converges uniformly on every compact subset of R to the constant
function f (x) = 1.
Exercise 5.6.9. Let {fn } be a sequence of real-valued functions defined on [0, 1] by fn (x) =
nx(1 − x)n . Show that {fn } converges pointwise to the constant function f (x) = 0, but not
uniformly.
Exercise 5.6.10. Let {fn } be a sequence of functions fn : R → R defined by fn (x) = n+1
n
x.
Show that {fn } converges uniformly on each compact subset of R to the function f (x) = x,
but not on the whole space R.
Exercise 5.6.11. Let {fn } be a sequence of functions defined by
nx
fn (x) = , for all x ∈ [0, 2].
enx
nenx − nenx nx
(b) Let us find the maximum of fn in [0, 2]. Since fn′ (x) = = 0, we have
(enx )2
1
enx (n − n2 x) = 0 ⇔ n2 x = n ⇔ x = .
n
1 1 1
It can be easily seen that is the maximum with fn
n
= . Since
n e
1 1
lim sup {|fn (x) − 0| : x ∈ [0, 2]} = lim fn = ,
n→∞ n→∞ n e
x
Exercise 5.6.12. Show that the sequence {fn } defined by fn (x) = x+n
does not converge
uniformly on [0, ∞).
x
Proof. We can easily see that the sequence {fn } defined by fn (x) = x+n on [0, ∞) converges
pointwise to a function f (x) = 0. To show that the convergence is not uniform, we consider
x
sup |fn (x) − f (x)| = sup |fn (x)| = sup .
x≥0 x≥0 x≥0 x+n
n
Since f ′ (x) = (x+n)2
is positive, so fn (x) is increasing and
x x
sup |fn (x) − f (x)| = sup = lim = 1.
x≥0 x≥0 x + n x→∞ x + n
x
Proof. We can easily see that the sequence {fn } defined by fn (x) = x2 +n 2 on [0, ∞) converges
pointwise to a function f (x) = 0. To show that the convergence is uniform, we need to show
that
x
sup |fn (x) − f (x)| = sup |fn (x)| = sup 2 2
x≥0 x≥0 x≥0 x + n
Exercise 5.6.14. Let fn : R → R be defined by fn (x) = nx . Show that the sequence {fn }
converges pointwise, not uniformly to f (x) = 0.
ne
Exercise 5.6.15. Let fn : [0, ∞) → R be defined by fn (x) = e−x nx . Show that the
sequence {fn } converges pointwise. Find the maximum value of fn . Does {fn } converge
uniformly?
Exercise 5.6.16. Let fn : (0, ∞) → R be defined by fn (x) = n x1/n − 1 . Show that the
sequence {fn } converges
pointwise to f (x) = ln x. Also show that the convergence is uniform
1
on each interval n , n , n ∈ N, but not on (0, ∞).
Exercise 5.6.18. Let fn : [a, b] → R be continuous functions such that {fn } converges
uniformly to a function f : [a, b] → R. Prove that
Z b Z b
fn (x)dx → f (x)dx.
a a
Proof. Since {fn } converges uniformly to a function f , for any ε > 0, there exists a positive
integer N such that
ε
|fn (x) − f (x)| < , for all n > N and all x ∈ [a, b].
b−a
Therefore, if n > N, then we have
Z b Z b Z b
fn (x)dx − g(x)dx = (fn (x) − g(x)) dx
a a a
Z b
≤ |fn (x) − g(x)| dx
a
Z b
ε
< dx = ε.
a b−a
ℓ∞ = {x = {xn }n≥1 : xn ∈ C, sup |xn | < ∞} with the metric d∞ (x, y) = sup |xn − yn |,
1≤n<∞
( ∞
) ∞
!1/2
X X
ℓ2 = x = {xn }n≥1 : xn ∈ C, |xn |2 < ∞ with the metric d2 (x, y) = |xn − yn |2 .
n=1 n=1
x x
Prove that the mapping T : ℓ∞ → ℓ2 defined by T (x) = x1 , 22 , 33 , . . . is linear and
uniformly continuous.
Qamrul Hasan Ansari Metric Spaces Page 179
Definition 5.7.1
Example 5.7.1
Exercise 5.7.1. Let (X, dX ) and (Y, dY ) be metric spaces, {fn } be a sequence of bounded
functions each defined on X to Y and f : X → Y be a function. If {fn } converges uniformly
to f on X, then prove that f is bounded on X.
Proof. By the uniform convergence, there exists a positive integer N such that
It follows that
dY (f (x), y) ≤ dY (f (x), fn (x)) + dY (fn (x), y) ≤ M + 1, for all x ∈ X and all n > N,
Let (X, dX ) and (Y, dY ) be metric spaces. Define a mapping ρ : (X, dX ) → (Y, dY ) by
Theorem 5.7.1. Let (X, dX ) and (Y, dY ) be metric spaces and {fn } be a sequence of
functions in B(X, Y ). Then {fn } converges to f ∈ B(X, Y ) with respect to the metric
ρ if and only if {fn } converges uniformly to f .
Proof. Let ε > 0. Assume that {fn } converges to f ∈ B(X, Y ) with respect to the metric ρ,
then there exists a positive integer N such that
dY (fn (x), f (x)) ≤ sup{dY (fn (x), f (x)) : x ∈ X} = ρ(fn , f ) < ε, for all x ∈ X.
Conversely, let ε > 0 and suppose that {fn } converges uniformly to f . Then there exists a
positive integer N such that
ε
dY (fn (x), f (x)) < , for all x ∈ X and all n > N.
2
Therefore, for n > N, we have
ε
ρ(fn , f ) = sup{dY (fn (x), f (x)) : x ∈ X} ≤ < ε, for all x ∈ X.
2
Hence, {fn } converges to f ∈ B(X, Y ) with respect to the metric ρ.
Let (X, dX ) and (Y, dY ) be metric spaces and C(X, Y ) denote the set of all continuous
functions f : X → Y from X to Y . We further assume that X is compact. Define ρ :
C(X, Y ) × C(X, Y ) → [0, ∞) by
Lemma 5.7.1. Let (X, dX ) and (Y, dY ) be metric spaces, and assume further that X is
compact. Then for any f, g ∈ C(X, Y ),
is finite, and there is an element x ∈ X such that dY (f (x), g(x)) = ρ(f, g).
is continuous, then by Extreme Value Theorem (Exercise 5.3.4) the result follows.
Theorem 5.7.2. Let (X, dX ) and (Y, dY ) be metric spaces, and assume further that X
is compact. Then,
is a metric on C(X, Y ).
Proof. By Lemma 5.7.1, ρ(f, g) ≥ 0 for all f, g ∈ C(X, Y ). Since other properties of a metric
are obvious, we only concentrate on the triangle inequality.
Theorem 5.7.3. Let (X, dX ) be a compact metric space and (Y, dY ) be a complete
metric space. Then (C(X, Y ), ρ) is complete.
Proof. Let {fn } be a Cauchy sequence in the metric space (C(X, Y ), ρ) and x ∈ X be any
fixed element. Since dY (fn (x), fm (x)) ≤ ρ(fn , fm ), the function values {fn (x)} is a Cauchy
sequence in the complete metric space (Y, dY ). Therefore, {fn (x)} converges to a point f (x)
in Y . This means that {fn } converges pointwise to a function f : X → Y . We prove that
f ∈ C(X, Y ) and that {fn } converges to f with respect to the metric ρ.
Since {fn } is a Cauchy sequence, for any ε > 0, there exists a positive integer N such that
ρ(fn , fm ) < 2ε whenever n, m > N, that is, for all x ∈ X and all n, m > N, dY (fn (x), fm (x)) <
ε
2
. Taking m → ∞. Then for all x ∈ X and all n > N, we have
ε
dY (fn (x), f (x)) = lim dY (fn (x), fm (x)) ≤ < ε,
m→∞ 2
and hence {fn } converges uniformly to f . By Theorem 5.6.1, f is continuous and belongs
to C(X, Y ). Finally, by Proposition 5.7.1, {fn } converges to f in (C(X, Y ), ρ).
The following proposition shows that the convergence in C(X, Y ) is exactly the same as
uniform convergence.
Proposition 5.7.1. Let (X, dX ) and (Y, dY ) be metric spaces, and assume further that
X is compact. Let {fn } be a sequence of functions in the metric space (C(X, Y ), ρ). Then
{fn } converges to f with respect to the metric ρ if and only if it converges uniformly to
f.
that is, ρ(fn , f ) → 0 which means that {fn } converges to f in (C(X, Y ), ρ).
Qamrul Hasan Ansari Metric Spaces Page 183
It is known that a subset of Rn is compact if and only if it is closed and bounded. This
characterization is very much useful to check the compactness of a set in Rn . Does a closed
and bounded subset of C(X, Rn ) compact? The answer is “no”. However, a subset of
C(X, Rn ) is compact if and only if it is closed, bounded and equicontinuous. Such a result is
known as the Arzelà-Ascoli theorem.
Definition 5.8.1
Remark 5.8.1
Remark 5.8.2
Example 5.8.1
Consider the sequence {fn } of continuous functions defined by fn (x) = xn on [0, 1].
Then {fn } is uniformly bounded, but has no subsequence that converges uniformly,
although the sequence converges pointwise (to a discontinuous function).
Example 5.8.2
n x 3
Let {fn } be a sequence of functions in C([0, 1], R) defined by fn (x) = 1+n 4 x2 . Then {fn }
We maximize fn over [0, 1], and we find the maximum occurs at the critical point
x = 1/n2 . Since ρ(fn , f ) = sup{|fn (x) − f (x)| : x ∈ [0, 1]} = fn (1/n2 ) = n/2,
limn→∞ ρ(fn , f ) = ∞. Therefore, the sequence {fn } is not uniformly bounded.
Proposition 5.8.1. Let (X, d) be a metric space and F be a pointwise bounded family
of continuous functions f : X → R. Then there exist a nonempty open set G and a
constant M ∈ R such that |f (x)| ≤ M for all f ∈ F and all x ∈ G.
Proof. For all n ∈ N and all f ∈ F , the set f −1 ([−n, n]) is closed as it is the inverse image
of a closed set under continuous function. Then the set
\
An = f −1 ([−n, n])
f ∈F
S
is closed as it is intersection of closed sets. Since F is pointwise bounded, R = n∈N An . By
Corollary 3.3.3, all An can not be nowhere dense. If An0 is not nowhere dense, then there
exists an open set G such that every open sphere inside G contains elements from An0 . Since
An0 is closed, G ⊆ An0 . Then by the definition of An0 , we have |f (x)| ≤ n0 for all f ∈ F
and all x ∈ G.
Proposition 5.8.2. Let X be a countable set and {fn } be a pointwise bounded sequence
of functions fn : X → R. Then {fn } has a pointwise convergent subsequence.
Proof. Let x1 , x2 , x3 , . . . be an enumeration of the elements of X. The sequence {fn (x1 )}∞
n=1 is
bounded, and hence we have a subsequence of {fn }, which we denote by {f1,k }∞ k=1 , such that
Qamrul Hasan Ansari Metric Spaces Page 185
If X is finite, we are done as the process stops at some point. If X is countably infinite,
we pick the sequence {fk,k }∞ ∞
k=1 . This is a subsequence of the original sequence {fn }n=1 . For
∞ ∞
every m, the tail {fk,k }k=m is a subsequence of {fm,k }k=1, and hence for any m the sequence
{fk,k (xm }∞
k=1 converges.
Definition 5.8.2
Note that the same δ works for all points x, y ∈ X as well as for all functions f ∈ F.
Example 5.8.3
Let R be a metric space with the usual metric, and {fn } be a sequence of functions
defined by
0, if x < n,
fn (x) =
x − n, if n ≤ x.
Then the collection {fn } is equicontinuous.
Example 5.8.4
Let R be a metric space with the usual metric, and {fn } be a sequence of functions
defined on [0, 1] by fn (x) = xn for all x ∈ [0, 1]. Then the collection {fn } is not
equicontinuous.
1
Indeed, let xn = 1 − n
and yn = 1. Then, |xn − yn | = n1 → 0 as n → ∞. Also,
n
1 n→∞
|fn (yn ) − fn (xn )| = 1 − 1 − −→ 1 − e−1 > 0.
n
So if we take ε > 0 such that ε < 1 − e−1 (for instance we can take ε = (1 − e−1 )/2),
Qamrul Hasan Ansari Metric Spaces Page 186
Proposition 5.8.3. Let X be a compact metric space and {fn } be a sequence in C(X, R)
that converges uniformly. Then {fn } is equicontinuous.
Proof. Let ε > 0 be given. Since {fn } converges uniformly, there exists a positive integer N
such that
ε
|fn (x) − fN (x)| < , for all n > N and all x ∈ X.
3
Now {f1 , f2 , . . . , fN } is a finite set of uniformly continuous functions and so an equicontinuous
family. Therefore, there exists a δ > 0 such that
ε
|fj (x) − fj (y)| < < ε, whenever d(x, y) < δ and 1 ≤ j ≤ N.
3
Now take n > N. Then for d(x, y) < δ, we have
|fn (x) − fn (y)| ≤ |fn (x) − fN (x)| + |fN (x) − fN (y)| + |fN (y) − fn (y)|
ε ε ε
< + + = ε.
3 3 3
This completes the proof.
Note that a uniformly equicontinuous sequence in the metric space C(X, R) that is pointwise
bounded is bounded in C(X, R) and furthermore it contains a convergent subsequence in
C(X, R).
Theorem 5.8.1. Let (X, d) be a compact metric space, and {fn } be a sequence of
functions fn ∈ C(X, R) which is pointwise bounded and equicontinuous. Then {fn } is
uniformly bounded and it contains a uniformly convergent subsequence.
Since
Sk the space X is compact, there exists a finite set {x1 , x2 , . . . , xk } such that X =
j=1 δ (xj ). As {fn } is pointwise bounded, there exist M1 , M2 , . . . , Mk such that
S
Let M = 1 + max{M1 , M2 , . . . , Mk }. Now for any given x ∈ X, there is a j such that
−1
x ∈ Sδ (xj ), and therefore, x ∈ fn S1 fn (xj ) for all n, that is, |fn (x) − fn (xj )| < 1 for all
n. By reverse triangle inequality, we have
Now we shall prove that {fn } contains a convergent subsequence. Pick a countable dense
subset D of X. Then by Proposition 5.8.4, we can find a subsequence {fnj } that converges
pointwise on D. For simplicity, we write gj := fnj . Note that the sequence {gn } is equicon-
tinuous.
Since D is dense, every x ∈ X lies in Sδ (y) for some y ∈SD. By compactness of X, there
exists a finite set {x1 , x2 , . . . , xk } of D such that X = kj=1 Sδ (xj ). As there are finitely
many points and {gn } converges pointwise on D, there exists a single N such that
ε
|gn (xj ) − gm (xj )| < , for all n, m > N and all j = 1, 2, . . . , k.
3
Let x ∈ X be arbitrary. There is some j such that x ∈ Sδ (xj ) and so for all i ∈ N,
ε
|gi (x) − gi (xj )| < .
3
Therefore, for all n, m > N, we have
|gn (x) − gm (x)| ≤ |gn (x) − gn (xj )| + |gn (xj ) − gm (xj )| + |gm(xj ) − gm (x)|
ε ε ε
< + + = ε.
3 3 3
Hence, the sequence is Cauchy, and by completeness of R, it is uniformly convergent.
Corollary 5.8.1. Let (X, d) be a compact metric space and D ⊆ C(X, R) be a closed,
bounded and equicontinuous set. Then D is compact.
Proposition 5.8.4. Let (X, dX ) be a compact metric space and {fn } be a bounded
and equicontinuous sequence in C(X, Rn ). Then {fn } has a subsequence converging in
C(X, Rn ).
Qamrul Hasan Ansari Metric Spaces Page 188
Proof. Since X is compact, by Theorem 4.3.1, it is totally bounded, and then by Theorem
4.3.3, it is separable. Therefore, X has a countable dense subset A = {a1 , a2 , . . . , an , . . .}.
Since {fn } is bounded and A is countable, by Proposition 5.8.4, we can find a subsequence
{gk } of {fn } such that {gk (a)} converges for all a ∈ A.
Since C(X, Rn ) is complete, it suffices to prove that {gk } is a Cauchy sequence in C(X, Rn ),
that is, for any given ε > 0, we have to find a positive integer N such that ρ(gn , gm ) =
sup{|gn (x) − gm (x)| : x ∈ X} < ε whenever n, m ≥ N.
For any x ∈ X, we can find an a ∈ Aδ such that dX (x, a) < δ. But then for all n, m > N,
we have
dRn (gn (x), gm (x)) ≤ dRn (gn (a), gn (a)) + dRn (gn (a), gm (a)) + dRn (gm (a), gm (x))
ε ε ε 3ε
< + + = .
4 4 4 4
Since above inequality holds for all x ∈ X, we must have
3ε
ρ(gn , gm ) < < ε, for all n, m > N,
4
and hence, {gk } is a Cauchy sequence in a complete metric space, and thus converges.
It is remain to prove that the original sequence {fn } really has a subsequence {gk } such that
{gk (a)} converges for
n allo a ∈ A. Wen begin aolittle less ambitiously by showing that {fn }
(1) (1)
has a subsequence fn such that fn (a1 ) converges (recall that a1 is the first element
n o n o
(1) (2)
in our listing of countable set A). Next we show that fn has a subsequence fn
n o n o
(2) (2)
such that both fn (a1 ) and fn (a2 ) converges. Continuing taking subsequences in
n o n o
(j) (j)
this way, for each j ∈ N, we find a subsequence fn such that fn (a) converges for
Qamrul Hasan Ansari Metric Spaces Page 189
n = ao1 , a2 , . . . , aj . Finally, we construct the sequence {gk } by combining all the sequences
a
(j)
fn in a clever way.
n o
(1)
Let us construct . Since the sequence {fn } is bounded, {fn (a1 )} is a bounded sequence
fn
n
in Rn, ando by Bolzano-Weierstrass Theorem 4.2.1, it has a convergent subsequence {f n nk (ao1 )}.
(1) (1)
Let fn consist of the functions appearing in this subsequence. If we now apply fn to
n o
(1)
a2 , we get a new bounded sequence fn (a2 ) in Rn with a convergent subsequence. We let
n o n o
(2) (2)
fn be the functions appearing in this subsequence. Note that fn (a1 ) still converges
n o n o
(2) (1)
as fn is a subsequence of fn . Continuing in this way, we see that for each j ∈ N,
n o n o
(j) (j)
we have a sequence fn such that fn (a) converges for a = a1 , a2 , . . . , aj . In addition,
n o
(j)
each sequence fn is a subsequence of the previous ones.
We are now ready to construct a sequence {gk } such that {gk (a)} converges for all a ∈ A.
We do
n o it by a diagonal argument, putting g1 equal to the first element
n o in the first sequence
(1) (2)
fn , g2 equal to the second element in the second sequence fn , etc. In general, the
n o
(k)
k-th term in the g-sequence equals the k-th term in the k-th f -sequence fn , that is,
(k)
gnk = o fk . Note that except for the first few elements, {gk } is a subsequence of any sequence
(j)
fn . This mean that {gk (a)} converges for all a ∈ A, and the proof is complete.
Corollary 5.8.2. Let (X, d) be a compact metric space. Then every closed, bounded
and equicontinuous set K in C(X, Rn ) is compact.
Proof. In view of Proposition 5.8.4, any sequence in K has a convergent subsequence. Since
K is closed, the limit must be in K, and hence K is compact.
We now finally ready to state and prove the following Arzelà-Ascoli’s theorem.
Proof. In view of Corollary 5.8.2, it remains to show that the compact set K is closed,
bounded and equicontinuous. Since K is compact, it is closed and bounded. So we only left
to prove the equicontinuity of K.
Qamrul Hasan Ansari Metric Spaces Page 190
Suppose that K is not equicontinuous. Then there exists an ε > 0 such that for any δ > 0,
there is a function f ∈ K and points x, y ∈ X such that
Prove that this sequence {fn } is uniformly bounded, equicontinuous, converges pointwise to
zero, but there is no subsequence that converges uniformly. Which hypothesis of Arzelà-
Ascoli Theorem is not satisfied? Prove your assertion.
Exercise 5.8.4. Prove that a compact subset K of C([0, 1], R) is nowhere dense.
Proof. Since every compact set is closed, in view of Exercise 3.3.3, it suffices to show that
each sphere Sε (f ) contains elements that are not in K. By Arzela-Ascoli’s Theorem 5.8.2,
compact sets are equicontinuous and hence we need only to prove that Sε (f ) contains a
family of functions that is not equicontinuous.
Exercise 5.8.5. Prove that the space C([0, 1], R) is not a countable union of compact sets.
Proof. Since C([0, 1], R) is complete, by Baire’s Category Theorem 3.3.2, it cannot be a
countable union of nowhere dense sets. By Exercise 5.8.4, we obtain the desired result.
Exercise 5.8.6. Let (X, d) be a compact metric space and {fn } be a equicontinuous sequence
of functions in C(X, R). If {fn } converges pointwise, then prove that it converges uniformly.
Exercise 5.8.7. Let {fn } be an equicontinuous and uniformly bounded sequence of 2π-
periodic functions fn : R → R. Show that there is a uniformly convergent subsequence.
Chapter A
x
Proposition A.0.1. For any x ≥ 0, the function f (x) = 1+x
is monotonically increas-
ing.
Theorem A.0.1. For any two real numbers x and y, the following inequality holds:
|x + y| |x| |y|
≤ + . (A.1)
1 + |x + y| 1 + |x| 1 + |y|
Proof. Let x and y have the same sign. Without loss of generality, we may assume that
x ≥ 0 and y ≥ 0. Then,
|x + y| x+y x y
= = +
1 + |x + y| 1+x+y 1+x+y 1+x+y
x y |x| |y|
≤ + = + .
1+x 1+y 1 + |x| 1 + |y|
If x and y have different signs, then we may assume that |x| > |y|. Then |x + y| ≤ |x|. From
Proposition A.0.1, we have
|x + y| |x| |x| |y|
≤ ≤ + .
1 + |x + y| 1 + |x| 1 + |x| 1 + |y|
192
Qamrul Hasan Ansari Metric Spaces Page 193
n n
!1/p n
!1/q
X X X
xi yi ≤ xpi yiq . (A.2)
i=1 i=1 i=1
n n
!1/2 n
!1/2
X X X
xi yi ≤ x2i yi2 . (A.3)
i=1 i=1 i=1
n
!1/p n
!1/p n
!1/p
X p
X X
(xi + yi ) ≤ xpi + yip . (A.4)
i=1 i=1 i=1
Proof. If p = 1, then there is nothing to prove. So, we assume that p > 1. Note that
n
X n
X n
X
p p−1
(xi + yi ) = xi (xi + yi ) + yi (xi + yi )p−1 . (A.5)
i=1 i=1 i=1
1 1
Let q > 1 be such that + = 1. From equation (A.5) and Hölder’s inequality, we obtain
p q
n n
!1/p n
!1/q
X p
X p
X (p−1)q
(xi + yi ) ≤ xi (xi + yi )
i=1 i=1 i=1
n
!1/p n
!1/q
X X
+ yip (xi + yi )(p−1)q
i=1 !1/p
i=1
!1/p n !1/q
Xn n
X X
= xpi + yip
(xi + yi )p .
i=1 i=1 i=1
n
X n
X
p
If (xi + yi ) = 0, then obviously (A.4) holds. If (xi + yi )p 6= 0, then by dividing the
i=1 i=1
n
!1/q
X
above inequality by (xi + yi )p , we obtain (A.4).
i=1
Qamrul Hasan Ansari Metric Spaces Page 194
Theorem A.0.4 (Minkowski’s Inequality for Infinite Sums). Let p > 1 and let {xn }
∞
X ∞
X
p
and {yn } be sequences of nonnegative terms such that xn and ynp are convergent.
n=1 n=1
∞
X
Then (xn + yn )p is convergent. Moreover,
n=1
∞
!1/p ∞
!1/p ∞
!1/p
X p
X X
(xn + yn ) ≤ xpn + ynp . (A.6)
n=1 n=1 n=1
m
!1/p m
!1/p m
!1/p
X p
X X
(xn + yn ) ≤ xpn + ynp
n=1 n=1 n=1
∞
!1/p ∞
!1/p
X X
≤ xpn + ynp .
n=1 n=1
nP o
p 1/p
Since ( mn=1 (xn + y n ) ) is an increasing sequence of nonnegative real numbers, it is
bounded above by the sum
∞
!1/p ∞
!1/p
X X
xpn + ynp .
n=1 n=1
P∞
It follows that n=1 (xn + yn )p is convergent and that the inequality (A.6) holds.
Proof. If either a or b is 0, then nothing to prove. Suppose that a > 0 and b > 0. Since the
function x 7→ xp defined on the set of all positive numbers is convex when p > 1, we have
p
a+b ap + bp
≤ equivalently (a + b)p ≤ 2p−1 (ap + bp ) .
2 2
Chapter B
Definition B.0.1
If A has an upper bound M (lower bound m), then A may have many upper (lower) bounds.
Namely, all numbers greater (less) than or equal to M (m) is an upper (lower) bound.
Definition B.0.2
Let A be a subset of R.
The supremum and infimum of A are denoted by sup A and inf A, respectively.
195
Qamrul Hasan Ansari Metric Spaces Page 196
Note that the supremum and infimum are unique if they exist. Also, supremum
√ and infimum
of a set may not lie in that set. For example,
√ the set A = {x ∈ Q : x < 2} of rational
numbers Q is bounded from above by 2, but has no supremum in Q.
If A does not have an upper (lower) bound, then we define sup A = ∞ (inf A = −∞). By
convention, sup ∅ = −∞ and inf ∅ = −∞.
If the supremum (infimum) of a set A belongs to it, then sup A (inf A) is called maximum
(infimum) of A.
Let {xn } be an arbitrary sequence of real numbers. We construct a new sequence {yn } by
taking the supremum of successively truncated ‘tails’ of the original sequence {xn }, yn =
sup{xk : k ≥ n}. The sequence {yn } is monotonically decreasing (xn ≥ xn+1 for all n)
because the supremum is taken over smaller sets for large n’s. Therefore, the sequence {yn }
has a limit, and such a limit is called lim sup of the sequence {xn } and it is denoted by
lim sup xn . Similarly, by taking the infimum of successively truncated ‘tails’ of the original
sequence {xn }, yn = inf{xk : k ≥ n}. Then we get a monotonically increasing(xn ≤ xn+1 for
all n) sequence {yn }. The limit of that sequence is called lim inf of {xn } and it is denoted
by lim inf xn .
Definition B.0.3
Example B.0.1
If xn = (−1)n , then
lim inf xn = −1 and lim sup xn = 1.
n→∞ n→∞
Chapter C
Partial Ordering
Remark C.0.1
The word ‘partially’ emphasizes that X may contain elements a and b for which neither
a 4 b nor b 4 a holds. In this case, a and b are called incomparable elements. If a 4 b
or b 4 a (or both), then a and b are called comparable elements.
197
Qamrul Hasan Ansari Metric Spaces Page 198
A partially ordered set X is said to be totally ordered if every two elements of X are
comparable.
Definition C.0.4
Remark C.0.2
A subset of a partially ordered set M may or may not have an upper or lower bound.
Also, M may or may not have maximal elements. Note that a maximal element need
not be an upper bound.
Example C.0.1
(a) Let X be the set of all real numbers and let a ≤ b have its usual meaning. Then
X is totally ordered and it has no maximal element.
(b) Let X = N, the set of all natural numbers. Let m 4 n mean that m divides n.
Then 4 is a partial ordering on X.
(c) Let P(X) be the power set, that is, set of all subsets of a set X. Let A 4 B mean
A ⊂ B. Then P(X) is a partially ordered set and the only maximal element of
P(X) is X.
Lemma C.0.1 (Zorn’s Lemma). Let X be a nonempty partially ordered set in which
every totally ordered set has an upper bound. Then X has at least one maximal element.
Chapter D
Least Upper Bound Axiom. If A is a set of real numbers bounded from above, then A
has a least upper bound.
a1 ≤ a2 ≤ · · · and · · · ≤ b2 ≤ b1 .
Since each bn is an upper bound for A and p is the least upper bound, we have p ≤ bn for
each n ∈ N. Furthermore, since p is an upper bound for A = {a1 , a2 , . . .}, we have an ≤ p
for each n ∈ N. But
an ≤ p ≤ bn implies p ∈ In = [an , bn ].
Hence p is common to every interval.
200
Qamrul Hasan Ansari Metric Spaces Page 201
Remark D.0.1
It is necessary that the intervals in the above theorem be closed and bounded, otherwise
the theorem is not true.
Example D.0.1
Let A1 = (0, 1], A2 = (0, 21 ], . . . , An = (0, n1 ], . . ., then {An } is the sequence of open-
closed intervals. It is clear that the sequence {An } is nested, T∞that is, A1 ⊇ A2 ⊇ A3 ⊇
· · · . But the intersection of the intervals is empty, that is, n=1 An = ∅.
Example D.0.2
Theorem D.0.2 (Heine-Borel Theorem). Every closed and bounded interval of the real
line R is compact.
Proof. Let I1 = [a1 , b1 ] be a closed and bounded subset of R. Assume that I1 is not compact.
Then there exists an open cover F = {Gα }α∈Λ of I1 which does have a finite subcover.
a +b Divide
a1 +b1
I1 = [a1 , b1 ] into two closed subintervals of equal length a1 , 2 and 1
2
1
, b1 .
Then, by assumption, at least one of these two intervals will not be covered by any finite
subcover of the cover F . Let us denote such interval by I2 and write I2 = [a2 , b2 ]. Then
[a2 , b2 ] is either a1 , a1 +b
2
1
or a1 +b1
2
, b1 .
Divide I2 into two closed subintervals of equal length a2 , a2 +b 2
2
and a2 +b
2
2
, b2 . Again, by
assumption, at least one of these two intervals will not be covered by any finite subcover of
the cover F . Let us denote such interval by I3 and write I3 = [a3 , b3 ].
Continuing in this way, we obtain a sequence of closed intervals having the following prop-
erties:
Since F is an open cover of I1 , there exists Gα0 ∈ F such that x ∈ Gα0 . Since Gα0 is an
open set, there exists an open neighborhood (x − ε, x + ε) such that
x ∈ (x − ε, x + ε) ⊆ Gα0 .
Now, δ(In ) → 0 as n → ∞, we can choose a positive integer n0 large enough that δ(In0 ) < ε.
This implies that
In0 ⊆ (x − ε, x + ε) ⊆ Gα0 .
This contradicts to our assumption that no In is covered by a finite number of members of
F . Hence [a1 , b1 ] is compact.
1 2
(i) the open interval ,
3 3
, the middle third of the interval in C0 , leaving behind the
set
1 2
C1 = 0, ∪ ,1 .
3 3
1 2
7 8
(ii) the
1 open intervals
,
9 9
and ,
9 9
, the middle thirds of the two closed intervals
0, 3 and 32 , 1 in C1 , leaving behind the set
1 2 1 2 7 8
C2 = 0, ∪ , ∪ , ∪ ,1 .
9 9 3 3 9 9
Qamrul Hasan Ansari Metric Spaces Page 203
0 1
C0
1 2
C1 3 3 1
1 2 1 2 7 8
C2 9 9 3 3 9 9 1
.. .. .. .. ..
. . . . .
Continue in this way, we get a sequence {Cn } of sets, where Cn is obtained from Cn−1
by removing the (open) middle thirds of the 2(n−1) disjoint closed intervals of which
Cn−1 is composed of, that is,
∞
[ 1 + 3k 2 + 3k
Cn = Cn−1 − , .
k=0
3n 3n
The intersection \
C= Cn
n∈N
Each of the sets Cn is nonempty, closed and bounded. Also, Cn ⊂ Cn−1 for each n. Hence
the set C is nonempty, closed and bounded.
Proof. Since each Cn is the union of 2n disjoint closed intervals, so that each Cn is closed.
Also, arbitrary intersection of closed sets is closed, we have
∞
\
C= Cn is closed.
n=1
Also, C is bounded, because C ⊂ [0, 1]. Hence by Heine-Borel Theorem D.0.2, C is compact.
Chapter E
Lemma E.0.1. Let f : [0, 1] → R be a continuous function such that f (x) ≥ 0 for all
R1
x ∈ [0, 1]. Then 0 f (x)dx = 0 if and only if f (x) = 0 for all x ∈ [0, 1].
Remark E.0.1
R1
If f : [0, 1] → R is nonnegative and Riemann integrable on [0, 1] such that 0 f (x)dx = 0,
then we cannot conclude that f ≡ 0 on [0, 1]. For example, consider the function
0, if x 6= 12
f (x) =
2, if x = 21 .
R1
Then f is Riemann integrable on [0, 1] and 0
f (x)dx = 0.
Theorem E.0.1 (Young’s inequality). Let a, b be nonnegative real numbers. Let p > 1
and q be such that p1 + 1q = 1. Then,
ap bq
ab ≤ + . (E.1)
p q
204
Qamrul Hasan Ansari Metric Spaces Page 205