- 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
Ü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.