Beweis des Brouwerschen Fixpunktsatzes in zwei Zeilen.


www.ruhr-uni-bochum.de/topologie/funktor.jpg

Wir hatten letztes mal erwähnt, daß Homologie vor allem deshalb nützlich ist, weil sie ein Funktor ist: nicht nur hat man zu jedem Raum seine Homologiegruppen, man hat auch zu jeder stetigen Abbildung f:X—>Y einen Homomorphismus zwischen den entsprechenden Homologiegruppen.

“Geometry and Topology”

Eine Anwendung, die wir vor 2 Wochen diskutiert hatten, war der Jordansche Kurvensatz. Eine andere Anwendung auf ein leicht zu formulierendes Problem ist der Brouwersche Fixpunktsatz, den wir in dieser Reihe früher schon ausführlich behandelt hatten.

Brouwerscher Fixpunktsatz: “You are here”

In TvF 32 hatten wir mal über das Stadtplanproblem (“You are here”) geschrieben:

“You are here” ist ein Projekt zweier Stockholmer Künstler. Sie zeichnen einen Stadtplan Stockholms auf den Fußboden und bringen dann einen roten Punkt “You are here” an derjenigen Stelle an, wo der Standpunkt dem Punkt im Stadtplan entspricht.

Es stellt sich natürlich die Frage, ob es wirklich einen Punkt geben muß, dessen Lage auf dem Stadtplan punktgenau mit seiner Lage in der Wirklichkeit übereinstimmt.

Mathematisch formuliert sich diese Frage so:
– man hat ein Gebiet D (hier die Stadt Stockholm),
– jeder Punkt dieses Gebiets entspricht einem Punkt auf der Karte, und
– jeder Punkt der Karte entspricht wieder einem Punkt im Gebiet D (dadurch daß man die Karte innerhalb der Stadt Stockholm auf den Boden gezeichnet hat).

Für jeden Punkt x im Gebiet D nennen wir f(x) denjenigen Punkt (ebenfalls in D) der das Bild dieses Punktes in der auf den Boden gezeichneten Karte ist.

Man hat also eine Abbildung f:D–>D und sucht einen Punkt x mit f(x)=x.

Die Lösung dieses Problems liefert der

Brouwerscher Fixpunktsatz: Jede stetige Abbildung f:Dⁿ—->Dⁿ hat (mindestens) einen Fixpunkt.

Der Satz hatte noch allerlei andere Anwendungen, z.B. Preisgleichgewichte (TvF 34) oder Elite-Universitäten (TvF 42).

In TvF 36 hatten wir einen konstruktiven kombinatorischen Beweis des Brouwerschen Fixpunksatzes skizziert und in TvF 33 hatten wir den Satz mit Hilfe der Fundamentalgruppe bewiesen – dieser Beweis funktionierte allerdings nur für n=2.

Beweisidee

Die Grundidee des Beweises für n=2 war wie folgt:

Angenommen, f:D²—>D² habe keinen Fixpunkt.
Für jedes x sind also f(x) und x zwei verschiedene Punkte.
Damit hat man dann wie im Bild eine eindeutige Gerade durch x und f(x)

und kann sich ihre Schnittpunkte mit dem Einheitskreis S¹ ansehen. Denjenigen Schnittpunkt, der auf der Seite von x liegt, nennen wir F(x).
Für jeden Punkt x in der Kreisscheibe bekommen wir also einen Punkt F(x) auf dem Einheitskreis (dem Rand der Kreisscheibe).
Damit haben wir eine Abbildung der Kreisscheibe auf den Einheitskreis F:D² –> S¹ konstruiert.
Für Punkte x, die schon auf dem Einheitskreis liegen, gilt nach Konstruktion natürlich F(x)=x.

Den Widerspruch zur Annahme (daß f keine Fixpunkte hat) erhielt man dann, in dem man mit Hilfe der Fundamentalgruppe zeigte, daß es keine stetige Abbildung F:D² –> S¹, mit F(x)=x für alle x auf dem Einheitskreis, geben kann.

Wenn man sich die Beweisidee oben anschaut, stellt man fest, daß dieselbe Idee zunächst auch in höheren Dimensionen funktioniert. D.h. wenn man im obigen Ansatz jeweils D² durch Dⁿ und S¹ durch S^n-1 ersetzt, erhält man daß der (n-dimensionale) Brouwersche Fixpunktsatz äquivalent ist zu folgender Aussage:

Es gibt keine stetige Abbildung F:Dⁿ –> S^n-1, so dass F(x)=x für alle x aus S^n-1.

Funktorieller Beweis

Diese Aussage läßt sich jetzt leicht beweisen, einfach indem man benutzt, daß Homologie ein Funktor ist.

Zunächst, bezeichnen wir mit I:S^n-1 –> Dⁿ die Abbildung I(x)=x (die “Inklusion” des Randes in die Kreisscheibe), dann bedeutet die zweite Hälfte der obigen Aussage gerade F(I(x))=x für alle x, also

FI=id,

wobei id:Dⁿ—>Dⁿ die Identität bezeichnet, also id(x)=x.