Satz von Edelstein

Aus testwiki
Zur Navigation springen Zur Suche springen

Der Satz von Edelstein ist ein Lehrsatz des mathematischen Teilgebiets der Funktionalanalysis. Er geht auf eine Arbeit des Mathematikers Michael Edelstein aus dem Jahre 1962 zurück und behandelt eine Fixpunkteigenschaft gewisser nichtexpansiver Abbildungen. Der Satz ist verwandt mit dem banachschen Fixpunktsatz und dem Fixpunktsatz von Browder-Göhde-Kirk.[1][2][3]

Formulierung des Satzes

Der Satz von Edelstein lässt sich zusammengefasst darstellen wie folgt:[4][5][3]

Sei X eine nichtleere Teilmenge eines ℝn(n∈ℕ) oder allgemein ein nichtleerer metrischer Raum, versehen mit einer Metrik d .[6]
Weiter gegeben sei eine strikt nichtexpansive Abbildung f:X→X und deren Bildmenge Ω=f(X) sei kompakt in X.
Dann gilt:
Es gibt genau einen Punkt x*∈X mit f(x*)=x* .
Dabei konvergiert für jeden Punkt x0∈X die iterative Folge (fn(x0))n=0,1,…,∞ gegen diesen Fixpunkt x* .

Anmerkungen zum Beweis

Einem Gedanken von M. Krein folgend,[3] gewinnt man die Existenz eines Fixpunktes wegen der Kompaktheit der Bildmenge Ω unmittelbar durch Anwendung des Satzes vom Minimum auf das nichtnegative reelle Funktional T:Ω→ℝ≥0,x↦T(x)=d(f(x),x). Damit ist nämlich gesichert, dass das T-Minimum in einen Punkt x*∈Ω angenommen wird, welcher dann ein Fixpunkt sein muss. Denn wegen der vorausgesetzten strikten Nichtexpansivität von f muss T(x*)=0 gelten, da aus T(x*)>0 sofort f(x*)≠x* folgte und dann T(f(x*))=d(f(f(x*)),f(x*))<d(f(x*),x*)=T(x*), im Widerspruch zur Minimumseigenschaft von x*.

Zudem ist durch die strikte Nichtexpansivität von f offenbar auch direkt auf die Eindeutigkeit des Fixpunktes zu schließen. Denn für einen von x* verschiedenen Fixpunkt x** wäre sogleich die in sich widersprüchliche Ungleichung d(x*,x**)=d(f(x*),f(x**))<d(x*,x**) zu folgern.

Quellen und Hintergrundliteratur

Einzelnachweise und Hinweise

  1. ↑ Michael Edelstein: On fixed and periodic points under contractive mappings. In: J. London. Math. Soc. 37, S. 74 ff.
  2. ↑ J. M. Ortega, W. C. Rheinboldt: Iterative Solution of Nonlinear Equations in Several Variables. 2000, S. 404 ff.
  3. ↑ 3,0 3,1 3,2 L. W. Kantorowitsch, G. P. Akilow: Funktionalanalysis in normierten Räumen. 1978, S. 512.
  4. ↑ Edelstein, op. cit, S. 74.
  5. ↑ Ortega-Rheinboldt, op. cit, S. 404.
  6. ↑ Im Falle, dass X Teilmenge eines ℝn ist, soll die Metrik auf X – wie üblich – als durch eine Norm, etwa durch die euklidische Norm, erzeugt angenommen werden.
Abgerufen von „https://de.wiki.beta.math.wmflabs.org/w/index.php?title=Satz_von_Edelstein&oldid=22901“