Der Banachsche Fixpunktsatz/Textabschnitt

Definition

Es sei

$f\colon L\longrightarrow M,\,x\longmapsto f(x),$

eine Abbildung zwischen den metrischen Räumen ${}L$ und ${}M$. Dann heißt ${}f$ stark kontrahierend, wenn es eine nichtnegative reelle Zahl ${}c<1$ gibt mit

${}d{\left(f(x),f(y)\right)}\leq c\cdot d{\left(x,y\right)}\,$

für alle ${}x,y\in L$.

Die Zahl ${}c$ nennt man einen Kontraktionsfaktor.

Satz

Es sei ${}M$ ein nicht-leerer vollständiger metrischer Raum und

$f\colon M\longrightarrow M$

eine

stark kontrahierende Abbildung.

Dann besitzt ${}f$ genau einen Fixpunkt.

Beweis

Es sei ${}c\in \mathbb {R}$, ${}0\leq c<1$, ein Kontraktionsfaktor, d.h. es gelte

${}d{\left(f(x),f(y)\right)}\leq c\cdot d{\left(x,y\right)}\,$

für alle ${}x,y\in M$. Wenn ${}x,y\in M$ Fixpunkte sind, so folgt aus

${}d(x,y)=d(f(x),f(y))\leq c\cdot d(x,y)\,$

sofort ${}d(x,y)=0$ und somit ${}x=y$, es kann also maximal einen Fixpunkt geben.
Es sei nun ${}x\in M$ ein beliebiger Punkt. Wir betrachten die durch

$x_{0}=x{\text{ und }}x_{n}:=f^{n}(x):=f(x_{n-1})$

rekursiv definierte Folge in ${}M$. Wir setzen

${}a=d{\left(f(x),x\right)}\,.$

Dann gilt für jedes ${}n\in \mathbb {N}$ die Beziehung

${}d{\left(f^{n+1}(x),f^{n}(x)\right)}\leq c\cdot d{\left(f^{n}(x),f^{n-1}(x)\right)}\leq c^{n}\cdot d{\left(f(x),x\right)}=c^{n}a\,.$

Daher gilt aufgrund der Dreiecksungleichung und der geometrischen Reihe für ${}n\geq m$ die Beziehung

${}{\begin{aligned}d{\left(f^{n}(x),f^{m}(x)\right)}&\leq d{\left(f^{n}(x),f^{n-1}(x)\right)}+d{\left(f^{n-1}(x),f^{n-2}(x)\right)}+\cdots +d{\left(f^{m+1}(x),f^{m}(x)\right)}\\&\leq a\left(c^{n-1}+c^{n-2}+\cdots +c^{m+1}+c^{m}\right)\\&=ac^{m}\left(c^{n-m-1}+c^{n-m-2}+\cdots +c^{2}+c^{1}+1\right)\\&\leq c^{m}a{\frac {1}{1-c}}.\,\end{aligned}}$

Zu einem gegebenen ${}\epsilon >0$ wählt man ${}n_{0}$ mit

${}c^{n_{0}}a{\frac {1}{1-c}}\leq \epsilon \,.$

Dies zeigt, dass eine Cauchy-Folge vorliegt, die aufgrund der Vollständigkeit gegen ein ${}y\in M$ konvergiert.
Wir zeigen, dass dieses ${}y$ ein Fixpunkt ist. Die Bildfolge ${}{\left(f(x_{n})\right)}_{n\in \mathbb {N} }$ konvergiert gegen ${}f(y)$, da eine kontrahierende Abbildung stetig ist. Andererseits stimmt diese Bildfolge mit der Ausgangsfolge bis auf die Indizierung überein, sodass der Grenzwert ${}y$ sein muss.

$\Box$