Paper 4, Section II, F

Analysis II | Part IB, 2018

(a) Define what it means for a metric space (X,d)(X, d) to be complete. Give a metric dd on the interval I=(0,1]I=(0,1] such that (I,d)(I, d) is complete and such that a subset of II is open with respect to dd if and only if it is open with respect to the Euclidean metric on II. Be sure to prove that dd has the required properties.

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

(i) If YXY \subset X, show that YY taken with the subspace metric is complete if and only if YY is closed in XX.

(ii) Let f:XXf: X \rightarrow X and suppose that there is a number λ(0,1)\lambda \in(0,1) such that d(f(x),f(y))λd(x,y)d(f(x), f(y)) \leqslant \lambda d(x, y) for every x,yXx, y \in X. Show that there is a unique point x0Xx_{0} \in X such that f(x0)=x0f\left(x_{0}\right)=x_{0}.

Deduce that if (an)\left(a_{n}\right) is a sequence of points in XX converging to a point ax0a \neq x_{0}, then there are integers \ell and mm \geqslant \ell such that f(am)anf\left(a_{m}\right) \neq a_{n} for every nn \geqslant \ell.

Typos? Please submit corrections to this page on GitHub.