Jacek Polewczak: N 1 n+1 N N N N N N N N N
Jacek Polewczak: N 1 n+1 N N N N N N N N N
JACEK POLEWCZAK
Example 1
Let Q be a the set of all rational numbers with the metric given by
d(x, y) = |x − y|,
1 + xn
for x, y ∈ Q. Consider the sequence {xn } of rational numbers such that x1 = 1 and xn+1 = 2 , for
2 + xn
1 + xn
n ≥ 2. The sequence {xn } is an increasing sequence of rational numbers such that xn = 2 ≤ 2,
√ 2 + xn
for n ≥ 1. (Can you check it? ) Next, one shows (Can you do it? ) that lim xn = 2 6∈ Q and thus {xn }
n→∞
is a Cauchy sequence in Q that is not convergent in Q. Thus (Q, d) is not a complete metric space.
Example 2
Let X be the set of all continuous real-valued functions on [0, 1] and define a metric on X by
Z1
d(x, y) = |x(t) − y(t)| dt,
0
1
1 m
m
1
n
1 1
xn
xm xm
1
am 0 1 1
0 1
2 2
t t
1
2 JACEK POLEWCZAK
and
d(xm , xn ) < ǫ, when n, m > 1/ǫ.
Next, we show that xm does not converge in X. For every x ∈ X we have
Z1 Z1/2 Zam Z1
d(xm , x) = |xm (t) − x(t)| dt = |x(t)| dt + |xm (t) − x(t)| dt + |1 − x(t)| dt.
0 0 1/2 am
The integrands above are nonnegative, so is each integral on the right hand side. Therefore d(xm , x) → 0
as m → ∞ would imply that each integral approaches zero, and, since x(t) is continuous, we should have
x(t) = 0 if t ∈ [0, 1/2) and x(t) = 1 if t ∈ (1/2, 1].
But this is impossible for a continuous function. Hence {xm } does not converge. This proves that (X, d)
is not a complete metric space.