Paper 4, Section II, F

Analysis II | Part IB, 2013

State the contraction mapping theorem.

A metric space (X,d)(X, d) is bounded if {d(x,y)x,yX}\{d(x, y) \mid x, y \in X\} is a bounded subset of R\mathbb{R}. Suppose (X,d)(X, d) is complete and bounded. Let Maps(X,X)\operatorname{Maps}(X, X) denote the set of continuous maps\operatorname{maps} from XX to itself. For f,gMaps(X,X)f, g \in \operatorname{Maps}(X, X), let

δ(f,g)=supxXd(f(x),g(x))\delta(f, g)=\sup _{x \in X} d(f(x), g(x))

Prove that (Maps(X,X),δ)(\operatorname{Maps}(X, X), \delta) is a complete metric space. Is the subspace CMaps(X,X)\mathcal{C} \subset \operatorname{Maps}(X, X) of contraction mappings a complete subspace?

Let τ:CX\tau: \mathcal{C} \rightarrow X be the map which associates to any contraction its fixed point. Prove that τ\tau is continuous.

Typos? Please submit corrections to this page on GitHub.