# Poincaré-Hopf index theorem

From Diffgeom

## Name

This result goes by the name of **Poincaré-Hopf theorem**, **Hopf index theorem**.

## Statement

### For compact manifolds

Let be a compact differential manifold. Then, the following are true:

- 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.