Poincaré-Hopf index theorem
This result goes by the name of Poincaré-Hopf theorem, Hopf index theorem.
For compact manifolds
- There exists a vector field on with isolated zeros. An isolated zero is a point where the vector field vanishes, such that there is an open set containing the point, and not containing any other point where the vector field vanishes. Since is compact, this is equivalent to demanding that the set of zeros be finite.
- For any vector field with isolated zeros, the sum of the indices of all isolated zeros equals the Euler characteristic of the manifold.