Mathematik-Online-Lexikon: Banachscher Fixpunktsatz

	[Home] [Lexikon] [Aufgaben] [Tests] [Kurse] [Begleitmaterial] [Hinweise] [Mitwirkende] [Publikationen] [Suche]
	Mathematik-Online-Lexikon:
	Banachscher Fixpunktsatz

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Übersicht

Ist

eine kontrahierende Abbildung, die eine nichtleere, abgeschlossene Menge $D\subset\mathbb{R}^n$ in sich abbildet, d.h. gilt

$D=\overline{D}$
$x \in D \Rightarrow g(x) \in D$
$\Vert g(x)-g(y)\Vert\le c \Vert x-y\Vert\quad \forall x,y \in D$

mit

, dann besitzt

einen eindeutigen Fixpunkt $x_*=g(x_*)\in D$ . Ausgehend von $x_0\in D$ kann $x_\ast$ durch die Iterationsfolge

$\displaystyle x_0,\, x_1 = g(x_0),\, x_2=g(x_1),\,\ldots$

approximiert werden. Für den Fehler gilt

$\displaystyle \Vert x_*-x_k\Vert\le \frac{c^k}{1-c}\, \Vert x_1-x_0\Vert$

d.h. die Iterationsfolge konvergiert für jeden Startwert linear.

Der Fixpunktsatz gilt allgemein in vollständigen metrischen Räumen. Da die Translationsinvarianz und Homogenität der Norm nicht benötigt wird, kann man $\Vert x-y\Vert$ durch eine allgemeine Abstandfunktion ersetzen.

(Autoren: App/Boßle/Höllig)

Erläuterung:

Beweis Banachscher Fixpunktsatz

[Beispiele] [Verweise]

automatisch erstellt am 12. 5. 2010