Fixpunktsatz

Fixpunktsatz

Ein Fixpunktsatz ist in der Mathematik ein Satz, der einem unter gewissen Voraussetzungen die Existenz von Fixpunkten einer Abbildung f:X\to X garantiert. Das heißt der Satz garantiert die Existenz eines Punktes x\in X mit f(x)\,=\,x.

Inhaltsverzeichnis

Überblick

In vielen Teilgebieten der Mathematik sucht man Aussagen über die Existenz von Fixpunkten. Einer der bekanntesten Fixpunktsätze ist der Fixpunktsatz von Banach. Mit dessen Hilfe kann der Satz von Picard-Lindelöf bewiesen werden, der eine eindeutige Lösung bestimmter gewöhnlicher Differentialgleichungen postuliert. Im Gegensatz zu anderen Fixpunktsätzen postuliert der Fixpunktsatz von Banach auch die Eindeutigkeit des Fixpunktes.

Der Fixpunktsatz von Schauder ist ebenfalls im Bereich der Analysis wichtig. Eigentlich ist er ein Satz aus der Topologie und wird mithilfe des Fixpunktsatzes von Brouwer bewiesen. Jedoch kann man aus ihm beispielsweise den Satz von Peano herleiten, der ebenfalls die Existenz einer Lösung einer gewöhnlichen Differentialgleichung sicher. Eine zentrale Rolle spielt dieser Satz auch in der nichtlinearen Funktionalanalysis. So lässt sich eine anwendungsreiche Version des Satzes für nichtlineare kompakte Operatoren formulieren.

Liste von Fixpunktsätzen

Im Folgenden werden Fixpunktsätze unterteilt nach ihren Fachgebieten aufgelistet. Diese Liste ist natürlich unvollständig.

Analysis

Differentialgeometrie

Diskrete Mathematik

Mengenlehre

Topologie

Informatik

Literatur

  • Klaus Deimling: Nonlinear Functional Analysis. 1. Auflage. Springer-Verlag, Berlin/Heidelberg 1985, ISBN 3-540-13928-1.

Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

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

  • 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 …   Deutsch Wikipedia

  • Fixpunktsatz von Lefschetz — Der Fixpunktsatz von Lefschetz ist eine Existenzaussage über Fixpunkte von gewissen stetigen Abbildungen. Grundlage des von Solomon Lefschetz 1926 bewiesenen[1] Satzes ist die sogenannte Lefschetz Zahl, bei der es sich um eine Homotopie… …   Deutsch Wikipedia

  • Fixpunktsatz von Kakutani — Eine Korrespondenz von einer Menge A in eine Menge B ist eine Abbildung φ von A in die Potenzmenge von B. Damit handelt es sich um eine Präzisierung des in der älteren mathematischen Literatur häufiger anzutreffenden Begriffs der mehrwertigen… …   Deutsch Wikipedia

  • 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 von Ryll-Nardzewski — Der Fixpunktsatz von Ryll Nardzewski, benannt nach Czesław Ryll Nardzewski, ist ein Satz aus dem mathematischen Teilgebiet der Funktionalanalysis. Der Satz sichert die Existenz eines gemeinsamen Fixpunktes einer Familie gewisser Abbildungen einer …   Deutsch Wikipedia

  • Fixpunktsatz von Banach — Der Fixpunktsatz von Banach, auch Banachscher Fixpunktsatz, (nach Stefan Banach) ist ein Satz aus der Mathematik. Er enthält eine Existenz und Eindeutigkeitsaussage für Fixpunktprobleme, sowie Konvergenzaussagen und Fehlerabschätzungen einer… …   Deutsch Wikipedia

  • Fixpunktsatz von Kleene — Der Rekursionssatz oder Fixpunktsatz von Kleene ist ein Satz in der Theoretischen Informatik, genauer der Berechenbarkeitstheorie. Er handelt von der algorithmischen Modifikation von Programm Quelltexten. Im Satz kommt ein Programm f vor, das,… …   Deutsch Wikipedia

  • Fixpunktsatz von Tarski und Knaster — Der Fixpunktsatz von Tarski und Knaster, benannt nach Bronisław Knaster und Alfred Tarski, ist ein Satz aus der Ordnungstheorie. Inhaltsverzeichnis 1 Aussage 2 Beweisidee 3 Konsequenzen 4 Literatur …   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

  • Atiyah-Bott-Fixpunktsatz — Der Atiyah–Bott Fixpunktsatz, wurde 1966 von Michael Atiyah und Raoul Bott bewiesen und verallgemeinert den Fixpunktsatz von Lefschetz für glatte Mannigfaltigkeiten. Inhaltsverzeichnis 1 Vorbemerkungen 2 Atiyah Bott Fixpunktformel 3 Spezialfall …   Deutsch Wikipedia

Share the article and excerpts

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