Direkt zum Inhalt

Lexikon der Mathematik: Browder-Göhde-Kirk, Fixpunktsatz von

Aussage über nichtexpandierende Abbildungen:

Sei X ein Banachraum undMX eine schwach kompakte (schwache Topologie) konvexe Teilmenge mit normaler Struktur (d. h. für jede konvexe MengeCM mit diam (C) > 0 existiert einx0C mit

\begin{eqnarray}\mathop{\text{sup}}\limits_{x\in C}\Vert x-{x}_{0}\Vert \lt \text{diam}(C)).\end{eqnarray}

Ferner sei T : MM nichtexpansiv, d. h.

\begin{eqnarray}\Vert Tx-Ty\Vert \le \Vert x-y\Vert \end{eqnarray}

für alle x, yM. Dann besitzt T einen Fixpunkt.

Ist speziellX ein gleichmäßig konvexer Banachraum, z. B. ein Hilbertraum oder Lp für 1 < p< ∞, so hat jede abgeschlossene beschränkte konvexe Menge M normale Struktur und ist schwach kompakt. In diesem Fall besitzt also jede nichtexpansive Abbildung T : MM einen Fixpunkt.

[1] Goebel, K.; Kirk, W. A.: Topics in Metric Fixed Point Theory. Cambridge University Press, 1990.

  • Die Autoren
- Prof. Dr. Guido Walz

Schreiben Sie uns!

Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.

Partnerinhalte

Bitte erlauben Sie Javascript, um die volle Funktionalität von Spektrum.de zu erhalten.