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 m⩾1m \geqslant 1, the sequence (d(xm,xn))n\left(d\left(x_{m}, x_{n}\right)\right)_{n} converges to some dm∈Rd_{m} \in \mathbb{R}.

(ii) Show that dm→0d_{m} \rightarrow 0 as m→∞m \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 n→∞n \rightarrow \infty.

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

dm−dn⩽d(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,ym−1)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 Y→YY \rightarrow Y has a fixed point. Prove that XX is complete.

Typos? Please submit corrections to this page on GitHub.