Ein Satz, der besagt, dass jede stetige Abbildung einer abgeschlossenen Kugel im euklidischen R^n in sich selbst mindestens einen Fixpunkt besitzt; äquivalent gilt: für jede stetige Funktion f : D^n → D^n existiert x ∈ D^n mit f(x)=x.

Prinzip

Stetigkeit auf einer kompakten, konvexen Menge erzwingt, dass das Bild die Menge so trifft, dass eine stetige Selbstabbildung Fixpunkte nicht vermeiden kann; topologischer Grad oder Homologieargumente sichern die unvermeidliche Existenz eines Fixpunkts.

Demonstration

Für die Einheitscheibe D^2 führt jeder Versuch, alle Punkte strikt nach innen oder außen zu verschieben, zu einem Widerspruch mit der Gradtheorie oder der Unmöglichkeit einer stetigen Retraktion der Scheibe auf ihren Rand S^1; eine reine Rotation hat nur dann Fixpunkte, wenn der Rotationswinkel null ist, während jede stetige Störung der Identität auf D^2 gemäß Brouwers Argument mindestens einen Fixpunkt hat.

Fehlanwendung

Den Satz auf nicht-kompakte Gebiete (offene Kugeln) oder bei Weglassen der Stetigkeit anzuwenden; etwa kann eine stetige Abbildung der offenen Einheitkugel in sich selbst ohne Fixpunkt sein, und unstetige Abbildungen umgehen Fixpunkte leicht. Ebenso scheitert die direkte Übertragung auf unendlich-dimensionale Banachräume ohne Kompaktheitsannahmen.

Konsequenz

Hat weitreichende Folgen: garantiert Gleichgewichtszustände in vielen Modellen, impliziert das Fehlen einer stetigen Retraktion der abgeschlossenen Kugel auf ihren Rand und bildet die Grundlage für Fixpunktmethoden in Differentialgleichungen und Spieltheorie (Existenzresultate), liefert dabei aber nur Existenz ohne Eindeutigkeit oder konstruktive Lokalisierung.

Umkehrung

Das Fehlen eines Fixpunkts für eine stetige Selbstabbildung einer abgeschlossenen Kugel würde topologische Invarianten verletzen; die Umkehrung führt zu Aussagen über die Unmöglichkeit bestimmter stetiger Deformationen (z. B. keine Retraktion der Scheibe auf die Kugeloberfläche).

Abgrenzung

Gilt für stetige Selbstabbildungen abgeschlossener Kugeln in endlichdimensionalen Räumen (bzw. mehr allgemein für kompakte konvexe Teilmengen des euklidischen Raums); garantiert keine Fixpunkte für Abbildungen auf offenen Gebieten noch in unendlichdimensionalen Kontexten ohne Kompaktheit (Schauder- und Banach-Fixpunktsätze sind unterschiedliche Verallgemeinerungen unter anderen Voraussetzungen).

Semantische Spannung

Wird oft gegenüber dem Banach-Fixpunktsatz (der unter Kontraktionsbedingungen Eindeutigkeit und Konstruktivität liefert) und dem Schauder-Fixpunktsatz (der Existenz in bestimmten unendlichdimensionalen Situationen sichert) gestellt; die Spannung besteht zwischen bloßer Existenz (Brouwer) und stärkeren, konstruktiven Fixpunktergebnissen.

Synthese

Brouwers Fixpunktsatz besagt kurz, dass jede stetige Selbstabbildung einer abgeschlossenen n-Kugel einen Fixpunkt besitzt; diese topologische Notwendigkeit, begründet durch Gradtheorie und Kompaktheit, liefert nichtkonstruktive Existenzresultate für Gleichgewichte und schließt bestimmte stetige Deformationen aus.