The hairy ball theorem

What just happened?

You tried to “comb” the hairs on a ball — to lay the tangent vectors so they lie flat everywhere. However you turn the slider, at least one cowlick always remains: a point where the hair must stand up, i.e. the tangent vector is zero. That is exactly the hairy ball theorem.

The theorem (hairy ball theorem):

On a sphere there is no continuous, nowhere-zero tangent vector field. Formally: for every continuous tangent field $v$ on $S^2$ there is a point $p$ where

The full proof was given by Luitzen E. J. Brouwer in 1912; for the two-dimensional sphere the result had been shown earlier by Henri Poincaré (1885).

The invariant — the Euler characteristic:

The Poincaré–Hopf theorem says that the sum of the indices of a field’s zeros equals the Euler characteristic of the surface:

For the sphere $\chi(S^2)=2\neq 0$, so the sum of indices is non-zero — the field must have a zero. For the torus $\chi(T^2)=0$, so the torus (doughnut) can be combed smoothly, with no cowlick. The shape of the surface (its topology) decides what is possible on it.

A beautiful meteorological consequence:

Horizontal wind on Earth is a tangent vector field on a sphere. The theorem therefore guarantees that at every moment there is at least one point on Earth where the horizontal wind is zero — somewhere there is always the “eye of a cyclone” or a windless spot. Abstract topology gives a concrete prediction about the physical world here.

Why this matters for the exam:

The topic goes beyond the core curriculum — it is where topology meets geography and meteorology. It is worth knowing as an example of how topology (shape) determines the properties of fields on a surface, and how a single number $\chi$ settles whether “combing” is possible at all.

Remember: on a sphere every continuous tangent vector field must have at least one zero — it cannot be combed without a cowlick, because $\chi(S^2)=2\neq 0$.