Satz vom Igel

mathematischer Satz
(Weitergeleitet von Satz von Poincaré-Brouwer)

Der Satz vom Igel, auch Igelsatz oder Satz vom gekämmten Igel, englisch Hairy ball theorem, ist ein Resultat des mathematischen Teilgebiets der Topologie. Dieser Satz wird bei manchen Autoren auch Satz von Poincaré-Brouwer genannt, da er von Luitzen Egbertus Jan Brouwer im Jahre 1912[1] mit Hilfe des Satzes von Poincaré-Hopf bewiesen werden konnte. In der Physik wird der Satz auch mit dem Problem des globalen Windes verknüpft.

Beispiel für einen „gekämmten Igel“ mit einem Pol

Formulierung des Igelsatzes

Bearbeiten
Auf einer Sphäre   gibt es genau dann ein tangentiales, stetiges, nirgends verschwindendes Vektorfeld, wenn   ungerade ist.

Merkspruch

Bearbeiten

Dass insbesondere ein derartiges tangentiales, stetiges und nirgends verschwindendes Vektorfeld für die 2-Sphäre, also für die Oberfläche einer dreidimensionalen Raumkugel, nicht existiert, ist in dem folgenden Merkspruch anschaulich zusammengefasst:

Jeder stetig gekämmte Igel hat mindestens einen Glatzpunkt.

Einem solchen Glatzpunkt entspricht dabei eine „kahle Stelle“, also eine Nullstelle des stetigen tangentialen Vektorfeldes. Aus diesem Merkspruch erklärt sich auch die Bezeichnung „Igelsatz“, die auf David Hilbert zurückgeht.[2]

Interpretation in der Physik

Bearbeiten

Interpretiert man den Satz vom Igel im physikalischen Sinne, so kann prinzipiell nicht überall auf der Erde zugleich Wind wehen – es muss auf der Oberfläche eines dreidimensionalen kugelförmigen Planeten immer windstille Stellen geben (daher auch die Bezeichnung „Problem des globalen Windes“). Eine ebene Fläche kann dagegen stetig ohne kahle Stellen gekämmt werden. Das gilt auch für einen Torus.

Verallgemeinerung

Bearbeiten

Der Satz vom Igel folgt unmittelbar aus dem folgenden allgemeineren Satz, der bei manchen Autoren ebenfalls als Satz von Poincaré-Brouwer bezeichnet wird:[2]

Für jedes   und für jede stetige Abbildung   existiert ein   und ein   mit  .

Der Satz vom Igel lässt sich auch direkt aus dem Satz von Poincaré-Hopf ableiten.

Analytischer Zusammenhang

Bearbeiten

John Milnor hat 1978 einen elementaren analytischen Beweis des Igelsatzes gegeben und dabei zugleich gezeigt, dass der Brouwersche Fixpunktsatz direkt auf ihn zurückgeführt werden kann.[3][4]

Bearbeiten
Commons: Hairy ball theorem – Sammlung von Bildern, Videos und Audiodateien

Einzelnachweise und Fußnoten

Bearbeiten
  1. L.E.J. Brouwer. Über Abbildung von Mannigfaltigkeiten / Mathematische Annalen (1912) Volume: 71, page 97-115; ISSN 0025-5831; 1432-1807/e, full text
  2. a b Egbert Harzheim: Einführung in die Kombinatorische Topologie. 1978, S. 176–177.
  3. John Milnor: Analytic proofs of the “hairy ball theorem” and the Brouwer fixed-point theorem. American Mathematical Monthly 85 (1978), S. 521–524.
  4. Der französische Mathematiker Philippe Ciarlet bezeichnet in seiner Monographie Linear and Nonlinear Functional Analysis with Application (vgl. dort Fußnote 84, S. 765) John Milnors Beweis des Igelsatzes als „strikingly ingenious“ und dessen dazu 1978 gelieferte Arbeit als „little gem of a paper“.