Paper 4, Section II, E

Analysis II | Part IB, 2011

Define a contraction mapping and state the contraction mapping theorem.

Let (X,d)(X, d) be a non-empty complete metric space and let ϕ:XX\phi: X \rightarrow X be a map. Set ϕ1=ϕ\phi^{1}=\phi and ϕn+1=ϕϕn\phi^{n+1}=\phi \circ \phi^{n}. Assume that for some integer r1,ϕrr \geqslant 1, \phi^{r} is a contraction mapping. Show that ϕ\phi has a unique fixed point yy and that any xXx \in X has the property that ϕn(x)y\phi^{n}(x) \rightarrow y as nn \rightarrow \infty.

Let C[0,1]C[0,1] be the set of continuous real-valued functions on [0,1][0,1] with the uniform norm. Suppose T:C[0,1]C[0,1]T: C[0,1] \rightarrow C[0,1] is defined by

T(f)(x)=0xf(t)dtT(f)(x)=\int_{0}^{x} f(t) d t

for all x[0,1]x \in[0,1] and fC[0,1]f \in C[0,1]. Show that TT is not a contraction mapping but that T2T^{2} is.

Typos? Please submit corrections to this page on GitHub.