Satz von Poincaré-Hopf

Das Satz von Poincaré–Hopf ist ein wichtiger mathematischer Satz der Differentialtopologie. Es ist auch als Poincaré-Hopf-Indexformel, Poincaré-Hopf-Indextheorem oder Hopf-Indextheorem bekannt. Der Satz ist nach Henri Poincaré und Heinz Hopf benannt. Für zwei Dimensionen wurde die Aussage von Poincaré bewiesen und später von Hopf für höhere Dimensionen verallgemeinert. Oft wird der Spezialfall des Satzes vom Igel als Illustration der Aussage benutzt.

Index eines Vektorfeldes

Sei $X : M \subset \R^n \to \R^n$ ein Vektorfeld und Q eine Sphäre mit einem kleinem Radius um einen singulären Punkt z, so dass $X|_Q \neq 0$ gilt. Der Index des Vektorfelds am Punkt z ist der Abbildungsgrad der Abbildung

$f : Q \to \mathbb{S}^{n-1}, \qquad f(z) = \frac{X(z)}{\|X(z)\|}.$

und wird mit $\operatorname{ind}(X,z)$ notiert. Diese Definition lässt sich wie folgt auf Mannigfaltigkeiten verallgemeinern. Ist M eine n-dimensionale differenzierbare Mannigfaltigkeit und $X \in \Gamma(TM)$ ein Vektorfeld, so wähle eine Karte (U,ϕ) um z, so dass $Q \subset U$ gilt. Dann lässt sich obige Definition des Indexes auf das im $\R^n$ liegende Kartengebiet übertragen, und das erweist sich als unabhängig von der Wahl der Karte.

Satz von Poincaré

Der Vollständigkeit halber wird zuerst die von Henri Poincaré im Jahr 1881 gefundene Aussage dargestellt. Sei $S \subset \R^3$ eine kompakte Fläche mit induzierter Metrik. Außerdem sei $X \in \Gamma(TS)$ ein glattes Vektorfeld mit einer endlichen Anzahl an isolierten singulären Punkten $A_1 , \ldots , A_k$. Dann gilt

$\sum_{j=1}^k \operatorname{ind}(X,A_j) = \chi(S).$

Dabei bezeichnet χ(S) die Euler-Charakteristik von S. Das heißt also die Euler-Charakteristik von S ist gleich der Summe über die Indices aller isolierten singulären Punkte von X.

Satz von Poincaré-Hopf

Der Satz von Poincaré-Hopf wurde 1926 von Hopf als Verallgemeinerung des Satzes von Poincaré bewiesen. Sei M eine kompakte differenzierbare Mannigfaltigkeit und sei X ein Vektorfeld auf M, das nur endlich viele, isolierte Nullstellen $A_1, \ldots , A_k$ besitzt. Dann gilt

$\sum_{i=1}^{k} \mathrm{ind}(X,A_i)=\chi(M).$

Hat M einen Rand, so muss X auf dem Rand in Richtung der äußeren Normalen zeigen.

Literatur

• M. Hazewinkel: Poincaré–Hopf theorem. In: Michiel Hazewinkel (Hrsg.): Encyclopaedia of Mathematics. Springer-Verlag, Berlin 2002, ISBN 1-4020-0609-8.
• Paul Alexandroff, Heinz Hopf: Topologie, Springer, Berlin, 1974, ISBN 3-540-06296-3 S. 549