📍 Brouwerscher Fixpunktsatz

Die klassische Analogie ist das Rühren einer Tasse Kaffee: Wenn Sie kontinuierlich (eine stetige Abbildung) in beliebigem Muster rühren und der Kaffee in der Tasse bleibt (die kompakte konvexe Region auf sich selbst abbildet), dann befindet sich mindestens ein Kaffeemolekül nach dem Rühren an genau derselben Stelle wie zuvor — es ist ein Fixpunkt. Die Analogie ist anschaulich, aber leicht ungenau: Reale Kaffeemoleküle unterliegen thermischer Diffusion, und die Tasse ist dreidimensional, aber das topologische Argument gilt in jeder Dimension.

Ja — der Satz von Brouwer gilt für jede stetige Abbildung einer kompakten konvexen Teilmenge von ℝⁿ auf sich selbst, für jede Dimension n. In 3D gilt er für Vollkugeln, in n Dimensionen für die n-Kugel. Es gibt auch eine Verallgemeinerung namens Kakutanischer Fixpunktsatz (1941) für mengenwertige (mehrdeutige) Funktionen, die John Nash in seinem Beweis der Existenz von Nash-Gleichgewichten in der Spieltheorie verwendete — wofür er 1994 den Nobelgedächtnispreis für Wirtschaftswissenschaften erhielt.

John Nashs Beweis von 1950, dass jedes endliche Spiel ein Nash-Gleichgewicht in gemischten Strategien besitzt, beruht auf dem Kakutanischen Fixpunktsatz, einer mengenwertigen Erweiterung des Satzes von Brouwer. Die „Best-Response-Korrespondenz“ — die jedes Strategieprofil auf die Menge der besten Antworten abbildet — erfüllt die Kakutani-Bedingungen und muss daher einen Fixpunkt besitzen, und dieser Fixpunkt ist ein Nash-Gleichgewicht. Dieses mathematische Fundament veränderte die Ökonomie und wurde auf Auktionsdesign, Evolutionsbiologie und die Theorie des internationalen Handels angewendet.

Der ursprüngliche Beweis nutzte algebraische Topologie (genauer die Nichtexistenz einer stetigen Retraktion von der Kreisscheibe auf ihren Randkreis — gleichbedeutend mit der Tatsache, dass die Fundamentalgruppe des Kreises nicht trivial ist). 1978 gab Hirsch einen elementaren, auf der Analysis basierenden Beweis für glatte Funktionen mithilfe des Zwischenwertsatzes in höheren Dimensionen. Kombinatorische Beweise über das Sperner-Lemma (ein Argument über gefärbte Triangulierungen) sind ebenfalls vollständig elementar und werden oft als erste Einführung in die topologische Fixpunkttheorie gelehrt.

Das Sperner-Lemma besagt, dass jede „ordnungsgemäße“ 3-Färbung eines triangulierten Dreiecks (bei der Randecken nach bestimmten Regeln gefärbt sind) mindestens ein „Regenbogen“-Teildreieck mit allen drei Farben enthalten muss. Diese rein kombinatorische Tatsache impliziert den Satz von Brouwer in 2D: Durch immer feinere Triangulierungen und Anwendung des Sperner-Lemmas konstruiert man eine Folge von Fast-Fixpunkten, die gegen einen tatsächlichen Fixpunkt konvergiert. Der Beweis erfordert nur Kompaktheit und den Zwischenwertsatz und ist damit für Studierende zugänglich.

Ist f nicht stetig, kann der Satz versagen. Ein einfaches Beispiel: Die Funktion, die jeden Punkt der Kreisscheibe außer dem Mittelpunkt auf sich selbst abbildet und den Mittelpunkt auf einen anderen Punkt abbildet, ist nur im Mittelpunkt unstetig, hat aber bei manchen Konstruktionen keinen Fixpunkt. Noch deutlicher: Die Kreisscheibe mit einem Loch ist nicht kompakt (oder nicht einfach zusammenhängend), und eine Drehung des Kreisrings hat keinen Fixpunkt. Stetigkeit ist entscheidend, weil sie verhindert, dass die Abbildung den Fixpunkt „überspringt“.

Der Banachsche Fixpunktsatz (1922) ist ein stärkeres, konstruktives Resultat, das für kontrahierende Abbildungen auf vollständigen metrischen Räumen gilt: Ist f eine Kontraktion (d. h. |f(x)−f(y)| ≤ k|x−y| für ein k < 1), dann besitzt f genau einen Fixpunkt, und die Iteration von f von jedem Startpunkt aus konvergiert geometrisch gegen ihn. Im Gegensatz zum Satz von Brouwer liefert der Satz von Banach den Fixpunkt explizit durch Iteration und garantiert Eindeutigkeit. Er ist die mathematische Grundlage für das Newton-Verfahren, fraktale Bildkompression und den Existenzsatz von Picard für gewöhnliche Differentialgleichungen.