 Solution

The Banach fixed-point theorem states that a contraction mapping $T:X\to X$ of a nonempty complete metric space $(X,d)$ has a unique fixed point, and iterations of a map $x_{n+1}=T(x_n)$ converge to it from every $x_0\in X$. Precisely, assume a single constant $q\in [0,1)$ satisfies $d(Tx,Ty)\le qd(x,y)$ for every $x,y\in X$.

Induction gives $d(x_{n+1},x_n)\le q^{n}d(x_1,x_0)$. The triangle inequality and the geometric series therefore give, for $m>n$,Thus $(x_n)$ is a Cauchy sequence. By completeness it converges to some $x_{\ast }\in X$. The contraction mapping is a continuous map, so $T{x}_{\ast }={\lim }_{n}T{x}_n={\lim }_n{x}_{n+1}=x_{\ast }$. If $y_{\ast }$ is another fixed point, then $d(x_{\ast },y_{\ast })\le qd(x_{\ast },y_{\ast })$, forcing $x_{\ast }=y_{\ast }$. Letting $m\to \infty$ in the estimate also gives the contraction iteration error bound:If $q=0$, $T$ is constant and the sequence reaches its unique fixed point after the first step; this also removes any ambiguity about $0^0$ in the displayed estimate at $n=0$.