Fixpunktsatz von Schauder

Fixpunktsatz von Schauder

Der Fixpunktsatz von Schauder ist nach dem Mathematiker Juliusz Schauder benannt und gibt eine hinreichende Bedingung an, unter der eine Abbildung einen Fixpunkt besitzt. Er stellt eine starke Verallgemeinerung des Fixpunktsatzes von Brouwer dar, der stetige Funktionen auf konvexen, kompakten Teilmengen endlichdimensionaler Vektorräume behandelt. Andrei Nikolajewitsch Tychonoff bewies den Fixpunktsatz von Schauder für lokalkonvexe Vektorräume. Daher wird dieser Version des Satzes auch Fixpunktsatz von Tychonoff genannt.[1]

Inhaltsverzeichnis

Formulierungen des Satzes

Der schaudersche Fixpunktsatz existiert in mehreren Versionen.

Version für lokalkonvexe Hausdorffräume

Sei E ein lokalkonvexer, hausdorffscher, topologischer Vektorraum und C eine nichtleere, kompakte und konvexe Teilmenge von E. Dann besitzt jede stetige Abbildung T:C\to C einen Fixpunkt. Da jeder Banachraum ein lokalkonvexer Hausdorff-Raum ist, umfasst diese Version also schon alle Banachräume.

Version für alle Hausdorffräume

Sei E ein hausdorffscher, topologischer Vektorraum und C eine nichtleere, kompakte und konvexe Teilmenge von E. Dann besitzt jede stetige Abbildung T:C\to C einen Fixpunkt.

Beispiele

Für unendlich-dimensionale lokalkonvexe beziehungsweise normierte Vektorräume braucht der schaudersche Fixpunktsatz nicht für abgeschlossen und beschränkt statt kompakte Mengen C zu gelten. Sei C die abgeschlossene Einheitskugel vom Folgenraum \ell^2. Da \ell^2 unendlich-dimensional ist, sind die abgeschlossenen Kugeln nicht mehr kompakt. Sei außerdem F \colon C \to C durch

x = (s_n)_{n \in \N} \mapsto \left(\sqrt{1 - \|x\|_{\ell^2}^2}, s_1, s_2, \ldots \right)
definiert. Diese Abbildung ist stetig und bildet nach C ab. Besäße sie einen Fixpunkt so müsste t_1 = t_2 = \ldots gelten. Die einzige konstante Folge in \ell^2 ist jedoch die konstante 0-Folge. Jedoch gilt F(0) \neq 0 und somit hat F keine Fixpunkte.
Fordert man jedoch, dass die Abbildung T kompakt ist, so gilt der schaudersche Fixpunktsatz auch für abgeschlossene und beschränkte Teilmengen.

Anmerkungen

Schauder bewies den Fixpunktsatz im Jahr 1930 für normierte Räume.[2] Für den Fall, dass E ein lokalkonvexer Raum ist, wurde der Satz bereits 1935 durch Andrei Nikolajewitsch Tichonow bewiesen,[3] während Schauder selbst nur einen fehlerhaften Beweis hatte. Robert Cauty konnte 2001 zeigen, dass der Satz sogar für alle hausdorffschen topologischen Vektorräume gilt. Dies wurde sogar schon von Schauder vermutet, konnte aber bis dato nicht bewiesen werden.

So wird in den bekannten Beweisen wesentlich der brouwersche Fixpunktsatz verwendet, dessen Beweis durchaus nichttrivial ist. Als Folgerung kann man den Existenzsatz von Peano aus dem schauderschen Fixpunktsatz ableiten.

Quellen

  • Dirk Werner: Funktionalanalysis, Springer-Verlag, Berlin, 2007, ISBN 978-3-540-72533-6.
  • Klaus Deimling: Nonlinear Functional Analysis. 1. Auflage. Springer-Verlag, Berlin/Heidelberg 1985, ISBN 3-540-13928-1.
  • Robert Cauty: Solution du problème de point fixe de Schauder. Fundamenta Mathematicae 170 (2001), Seiten 231-246.

Einzelnachweise

  1. Klaus Deimling: Nichtlineare Gleichungen und Abbildungsgrade. Springer-Verlag, Berlin Heidelberg New York 1974, ISBN3-540-06888-0, Seite 130.
  2. Klaus Deimling: Nonlinear Functional Analysis. 1. Auflage. Springer-Verlag, Berlin/Heidelberg 1985, ISBN 3-540-13928-1, Seite 60.
  3. Klaus Deimling: Nonlinear Functional Analysis. 1. Auflage. Springer-Verlag, Berlin/Heidelberg 1985, ISBN 3-540-13928-1, Seite 90

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужно решить контрольную?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Fixpunktsatz von Brouwer — Der Fixpunktsatz von Brouwer ist eine Aussage aus der Mathematik. Er ist nach dem niederländischen Mathematiker Luitzen Egbertus Jan Brouwer benannt und besagt, dass die Vollkugel Dn die Fixpunkteigenschaft hat. Mit Hilfe dieser Aussage kann man… …   Deutsch Wikipedia

  • Fixpunktsatz — Ein Fixpunktsatz ist in der Mathematik ein Satz, der einem unter gewissen Voraussetzungen die Existenz von Fixpunkten einer Abbildung garantiert. Das heißt der Satz garantiert die Existenz eines Punktes mit . Inhaltsverzeichnis 1 Überblick …   Deutsch Wikipedia

  • Schauderscher Fixpunktsatz — Der Fixpunktsatz von Schauder (nach Juliusz Schauder) gibt eine hinreichende Bedingung an, unter der eine Abbildung einen Fixpunkt besitzt. Er stellt eine starke Verallgemeinerung des Fixpunktsatzes von Brouwer dar, der stetige Funktionen auf… …   Deutsch Wikipedia

  • Juliusz Paweł Schauder — (* 21. September 1899 in Lemberg (ukrainisch Львів/Lwiw; polnisch Lwów, russisch Львов/Lwow); † September 1943) war ein polnischer Mathematiker. Schauder wurde gleich nach seinem Abitur 1917 zum Ersten Weltkrieg einberufen, in dem er bald in… …   Deutsch Wikipedia

  • Satz von Peano — Der Satz von Peano ist ein Satz aus der Theorie der gewöhnlichen Differentialgleichungen. Er gibt eine einfache Voraussetzung an, unter der das Anfangswertproblem (mindestens) eine lokale Lösung besitzt. Dieser Satz wurde 1886 vom Mathematiker… …   Deutsch Wikipedia

  • Satz von Scorza Dragoni — In der Analysis sagt der Satz von Scorza Dragoni: Das reelle Randwertproblem ist lösbar, wenn stetig und beschränkt ist. Eine Aussage über die Eindeutigkeit der Lösung liefert der Satz nicht. Der Beweis des Satzes kann mit dem Fixpunktsatz von… …   Deutsch Wikipedia

  • Juliusz Schauder — Juliusz Paweł Schauder (* 21. September 1899 in Lemberg (ukrainisch Львів/Lwiw; polnisch Lwów, russisch Львов/Lwow); † September 1943) war ein polnischer Mathematiker. Schauder wurde gleich nach seinem Abitur 1917 zum Ersten Weltkrieg einberufen …   Deutsch Wikipedia

  • Satz von Borsuk-Ulam — Der Satz von Borsuk Ulam besagt, dass jede stetige Funktion von einer n Sphäre in den n dimensionalen euklidischen Raum ein Paar von antipodalen Punkten auf denselben Punkt abbildet. (Zwei Punkte einer Sphäre heißen antipodal, wenn sie in genau… …   Deutsch Wikipedia

  • Gleichungssystem — Dieser Artikel befasst sich mit mathematischen Gleichungen; Zu chemischen Reaktionsgleichungen siehe ebenda; Zu Gleichungen aus der Volkswirtschaft siehe Gleichung (Volkswirtschaft). In der Mathematik ist eine Gleichung eine Aussage, in der die… …   Deutsch Wikipedia

  • Identitätsgleichung — Dieser Artikel befasst sich mit mathematischen Gleichungen; Zu chemischen Reaktionsgleichungen siehe ebenda; Zu Gleichungen aus der Volkswirtschaft siehe Gleichung (Volkswirtschaft). In der Mathematik ist eine Gleichung eine Aussage, in der die… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”