Paper 1, Section II, G

Analysis II
Part IB, 2016

Let (X,d)(X, d) be a metric space.

(a) What does it mean to say that (xn)n\left(x_{n}\right)_{n} is a Cauchy sequence in XX ? Show that if (xn)n\left(x_{n}\right)_{n} is a Cauchy sequence, then it converges if it contains a convergent subsequence.

(b) Let (xn)n\left(x_{n}\right)_{n} be a Cauchy sequence in XX.

(i) Show that for every m1m \geqslant 1, the sequence (d(xm,xn))n\left(d\left(x_{m}, x_{n}\right)\right)_{n} converges to some dmRd_{m} \in \mathbb{R}.

(ii) Show that dm0d_{m} \rightarrow 0 as mm \rightarrow \infty.

(iii) Let (yn)n\left(y_{n}\right)_{n} be a subsequence of (xn)n\left(x_{n}\right)_{n}. If ,m\ell, m are such that y=xmy_{\ell}=x_{m}, show that d(y,yn)dmd\left(y_{\ell}, y_{n}\right) \rightarrow d_{m} as nn \rightarrow \infty.

(iv) Show also that for every mm and nn,

dmdnd(xm,xn)dm+dnd_{m}-d_{n} \leqslant d\left(x_{m}, x_{n}\right) \leqslant d_{m}+d_{n}

(v) Deduce that (xn)n\left(x_{n}\right)_{n} has a subsequence (yn)n\left(y_{n}\right)_{n} such that for every mm and nn,

d(ym+1,ym)13d(ym,ym1)d\left(y_{m+1}, y_{m}\right) \leqslant \frac{1}{3} d\left(y_{m}, y_{m-1}\right)

and

d(ym+1,yn+1)12d(ym,yn)d\left(y_{m+1}, y_{n+1}\right) \leqslant \frac{1}{2} d\left(y_{m}, y_{n}\right)

(c) Suppose that every closed subset YY of XX has the property that every contraction mapping YYY \rightarrow Y has a fixed point. Prove that XX is complete.