Hairy ball theorem

The hairy ball theorem of algebraic topology (formally, the Sphere Vector Field Theory, sometimes called the hedgehog theorem) states that there is no nowhere vanishing continuous tangent vector field on even-dimensional n-spheres. For the ordinary sphere, or 2‑sphere, if f is a continuous function that assigns a vector in 3 to every point p on a sphere such that f(p) is always tangent to the sphere at p, then there is at least one pole, a point where the field vanishes (a p such that f(p) = 0).

The theorem was first proven by Henri Poincaré for the 2-sphere in 1885, and extended to higher even dimensions in 1912 by Luitzen Egbertus Jan Brouwer.

The theorem has been expressed colloquially as "you can't comb a hairy ball flat without creating a cowlick" or "you can't comb the hair on a coconut".