State the contraction mapping theorem.
A metric space (X,d) is bounded if {d(x,y)∣x,y∈X} is a bounded subset of R. Suppose (X,d) is complete and bounded. Let Maps(X,X) denote the set of continuous maps from X to itself. For f,g∈Maps(X,X), let
δ(f,g)=x∈Xsupd(f(x),g(x))
Prove that (Maps(X,X),δ) is a complete metric space. Is the subspace C⊂Maps(X,X) of contraction mappings a complete subspace?
Let τ:C→X be the map which associates to any contraction its fixed point. Prove that τ is continuous.