Degree proof of the hairy ball theorem

ID: degree-proof-of-the-hairy-ball-theorem

A nowhere-zero tangent vector field on can be normalized to a unit field perpendicular to . Then is a homotopy from the identity to the antipodal map. Their mapping degrees are and , respectively, contradicting homotopy invariance of mapping degree when is positive and even. For the tangent spaces are zero, so every tangent field is zero directly.

New to topics? Read the docs here!