Banach Fixed-Point Theorem

Theorem
Let $\left({M, d}\right)$ be a complete metric space.

Let $f: M \to M$ be a contraction.

That is, there exists $q \in \left[{0 \,.\,.\, 1}\right)$ such that for all $x, y \in M$:


 * $d \left({f \left({x}\right), f \left({y}\right)}\right) \le q\, d \left({x, y}\right)$

Then there exists a unique fixed point of $f$.

Uniqueness
Let $f$ have two fixed points $p_1, p_2 \in M$.

Let's prove $p_1=p_2$:

Then $d \left( p_1,p_2 \right) = 0$.

Metric space property (M4) implies $p_1 = p_2$.

Existence
The fixed point $p$ will be found from an arbitrary member $a_0$ of $M$ by iteration.

The plan is to obtain $p=\lim_{n\to\infty} a_n$ with definition $a_{n+1}=f\left(a_n\right)$.

The sequence of iterates converges in complete metric space $M$ because it is a Cauchy sequence in $M$, proof below.

Induction on $n$ applies to obtain the contractive estimate:


 * $d \left( a_{n+1}, a_n \right) \le q^n\, d \left( a_1, a_0\right)$

Induction details $n=1$:

Assume the contractive estimate for $n=k$. Induction details for $n=k+1$:

Let's prove sequence $\sequence{a_n}$ is a Cauchy sequence in $M$ by showing that $\lim_{m\to\infty} d \left( a_{n+m}, a_n \right)=0$ for $n$ large.

Known facts are $\lim_{n\to\infty} q^n=0$ and $\dfrac{1-q^m}{1-q}\le \dfrac{1}{1-q}$.

Then $\sequence{d\left(a_{n+m},a_n\right)}$ has limit zero at $m=\infty$ for large $n$.

Sequence $\sequence{a_n}$ is a Cauchy sequence convergent to some $p$ in $M$. Then:

The right side has limit zero at $n=\infty$.

Then $d(f(p),p)=0$.

Then $f(p)=p$ by metric space property (M4).

Also known as
Also known as the Contraction Mapping Theorem, Contraction Theorem, Banach Contraction Theorem and Contraction Lemma.