WOLFRAM NOTEBOOK

WOLFRAM|DEMONSTRATIONS PROJECT

The Hairy Ball Theorem

surface
sphere (not combable)
torus (combable)
vector comb
smallest vector norm: 0
vector point on surface: {0,0,-0.999967}
surface is not combed
The hairy ball theorem states that for a sphere or any surface homeomorphic to a sphere, there is no continuous, non-vanishing tangent vector field. In other words, you cannot comb a hairy ball flat without at least one part or cowlick.
In this Demonstration, you vary a vector field to "comb" a tangent vector field on a sphere or torus, showing the point with the local minimum vector norm on that surface as a small sphere. If the smallest vector norm is zero, the hairy surface has a vanishing point, or "part", and is considered to be "not combed". On a sphere, this minimum point is always zero for a tangent vector field (indicating a part), while a hairy torus can, in fact, be combed flat. The minimum point can be moved using the Locator.
Wolfram Cloud

You are using a browser not supported by the Wolfram Cloud

Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.


I understand and wish to continue anyway »

You are using a browser not supported by the Wolfram Cloud. Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.