Maths WorkshopMaths problems with full solutions
Exercise 2182Topology › Metric and normed spacesM1Added 3 Nov 2026

Banach fixed point theorem

#Banach#fixed point#contraction

Statement

Let (X,d)(X,d) be complete and f:X→Xf:X\to X be a contraction (d(f(x),f(y))≤kd(x,y)d(f(x),f(y))\le kd(x,y) with k<1k<1). Show that ff has a unique fixed point and that iterates converge to it.

Hint

Show (xn)(x_n) with xn+1=f(xn)x_{n+1}=f(x_n) is Cauchy; use d(xn+1,xn)≤knd(x1,x0)d(x_{n+1},x_n)\le k^n d(x_1,x_0).

Show solutionHide solution

Solution

Cauchy. d(xn+1,xn)≤knd(x1,x0)d(x_{n+1},x_n)\le k^nd(x_1,x_0); summing, d(xn,xm)≤kn1−kd(x1,x0)→0d(x_n,x_m)\le\frac{k^n}{1-k}d(x_1,x_0)\to0.

Convergence. Complete: xn→x∗x_n\to x^*. Continuity: f(x∗)=x∗f(x^*)=x^*.

Uniqueness. If f(x∗)=x∗f(x^*)=x^* and f(y∗)=y∗f(y^*)=y^*, d(x∗,y∗)≤kd(x∗,y∗)d(x^*,y^*)\le kd(x^*,y^*), so d(x∗,y∗)=0d(x^*,y^*)=0.

Conclusion. Banach fixed point theorem holds; iterates converge geometrically.