## [Satz der Haarigen Kugel](/de/node/63160) Definition Ein topologischer Satz, der besagt, dass jedes stetige tangentiale Vektorfeld auf der 2-Sphäre S2 mindestens in einem Punkt verschwindet; allgemeiner hat ein stetiges tangentiales Vektorfeld auf einer even-dimensionalen n-Sphäre eine Nullstelle. Insbesondere existiert kein überall nichtverschwindendes stetiges tangentiales Vektorfeld auf S2. ## Prinzip Prinzip Globale topologische Zwänge (Euler-Charakteristik und Orientierung) erzwingen Nullen stetiger tangentialer Vektorfelder auf sphärischen Mannigfaltigkeiten gerader Dimension; lokale Glattheit kann dieses globale Indexhindernis nicht aufheben. ## Demonstration Demonstration Auf S2 versucht man, an jeden Punkt einen kontinuierlichen, nichtverschwindenden Tangentialvektor zu setzen (bildlich: Haare auf einer Kugel kämmen). Jede solche stetige Zuordnung erzeugt mindestens eine singuläre Stelle (eine Wirbelfrisur), an der der Vektor null sein muss. Formal zeigt das Poincaré–Hopf-Argument oder die Summe der Indizes, die gleich 2 ist, dass eine Nullstelle existiert. ## Fehlanwendung Fehlanwendung Den Satz so zu verwenden, dass er Nichtverschwindung von Vektorfeldern auf allen Mannigfaltigkeiten oder auf ungeraden Sphären verbietet. Etwa die Behauptung, S1 oder S3 dürften keine stetigen nie-null Tangentialvektorfelder besitzen, ist falsch. ## Konsequenz Konsequenz Für S2 verhindert der Satz globale stetige tangentiale Rahmen ohne Nullstellen und ergibt Obstruktionen bei der Konstruktion überall nichtverschwindender Felder; er beeinflusst die Klassifikation von Tangentialbündeln und hat Konsequenzen für Modelle von Strömungen auf Kugelflächen (mindestens ein Stillstandspunkt muss auftreten). ## Umkehrung Umkehrung Die Umkehrung ist falsch: Die Existenz einer Nullstelle eines Vektorfelds impliziert nicht, dass die Mannigfaltigkeit eine sphäre gerader Dimension ist. Im Gegensatz dazu können ungerade Sphären (z. B. S1, S3) überall nichtverschwindende stetige Tangentialvektorfelder besitzen. ## Abgrenzung Abgrenzung Gilt für stetige tangentiale Vektorfelder auf Sphären und allgemein auf geschlossenen Mannigfaltigkeiten gerader Dimension mit nicht verschwindender Euler-Charakteristik; ausgenommen sind nicht-tangentiale Felder, diskontinuierliche Zuordnungen und Felder auf Mannigfaltigkeiten mit Rand ohne zusätzliche Voraussetzungen. ## Semantische Spannung Semantische Spannung Spannung besteht zwischen Kontinuität und Glattheit (glatte Felder sind Spezialfälle, aber Kontinuität genügt) und zwischen lokalen Koordinatenkonstruktionen, die scheinbar Nullen vermeiden, und globalen topologischen Invarianten, die solche Nullen erzwingen; außerdem zwischen speziellen Dimensionsfällen (2 vs. 3) und allgemeinen Mannigfaltigkeitsaussagen. ## Synthese Synthese Der Satz der haarigen Kugel verbindet die anschauliche Geometrie (man kann die Haare auf einer Kugel nicht überall glatt kämmen) mit einer präzisen topologischen Obstruktion: Globale Invarianten (Euler-Charakteristik / Poincaré–Hopf-Index) erzwingen Nullstellen stetiger tangentialer Vektorfelder auf sphärischen Mannigfaltigkeiten gerader Dimension und schränken so mögliche globale Felder trotz lokaler Trivialität ein.