Here, I want to share a peculiar analytic proof of the Hairy Ball Theorem, which states colloquially that “you cannot perfectly comb a coconut.” It may not be clear that this can never occur, but if you start going around the -sphere, there is no way to “smooth out” a bunch of vectors without creating either a swirl or some “clash.”
There is an absolutely standard proof using a notion of degree, which I will include at the end of this post just for completeness. Yet, there’s a relatively unknown proof due to John Milnor, and we’ll borrow from his paper liberally. I think it is very nice that we need virtually no machinery beyond multi-variable calculus and general topology. Somehow when different theories can establish the same theorem, the result becomes more fundamental for me. I recommend reading Milnor’s paper because he is an excellent writer, but I think that by reordering the presentation and emphasizing the main idea in the proof here, I can both clarify it for myself and share something quirky.
Main Theorem (adapted): An even dimensional -sphere does not have a continuously differentiable field of unit tangent vectors.
While this is a stronger hypothesis on the type of vector field that the hairy ball theorem holds for, the proof can be extended with a little bit of effort for the general result.
We use the usual notation of
for the standard unit sphere. Additionally, we say that (some vector whose tail is at ) is tangent to if .[ I know that is ugly symbolically, but I just want to be clear.]
With this definition of tangency, it is immediate why we require to be even, since otherwise would provide the (un)desired tangent vector field.
The basic idea is that given continuously differentiable vector field on any compact region , we can define a corresponding function, for some parameter . With this definition, we have the following lemma:
Lemma 1: the image of under the map will be a sphere of radius (let’s call this sphere ) for sufficiently small .
While on the other hand,
we will take , and consider the area of the sphere under , giving a contradiction by this
Surprising Lemma: for sufficiently small, maps some compact region onto injectively and has a volume that can be expressed as a polynomial in .
To be more specific, we will extend the vector field through the region between spheres and consider the volume of its image under . The key will be to use lemma combined with the fact that will not be a polynomial for odd . The idea is quite elegant, but I think that the proof is a little technical. Nevertheless here are some gory details:
proof of Lemma 1: the difficulty here is showing that is surjective, since it is clear that for all (we normalized in advance.)
We claim that injectivity, in this case, implies surjectivity: If is injective for sufficiently small , then will have nonsingular derivatives through any compact region . So, by the inverse function theorem, we have
This would imply that is a relatively open subset of our sphere. Well, since is compact and connected, its image is also closed. But the only clopen set in a connected space is trivial or the whole space, so we can conclude that is actually the full .
So, we will show that is indeed injective. This will follow from a more general nice Lipschitz condition that arises more generally for continuously differentiable functions on any compact region . More carefully, we want to find a constant so that
Yet, it is a well known theorem that continuously differentiable functions are locally lipschitz. Hence, we choose as a neighborhood for each where we can find a lipschitz constant. Since the collection of is an open cover, there is a finite subcover. So, we just pick the maximum bound. Well, pick , where is the global Lipschitz constant for . The rest of the theorem is a matter of algebraic manipulations, if , then , which together with implies that . So, we are done!
Proof of the Surprising Lemma: this is actually fairly straightforward if we recall injectivity for sufficiently small :
we take a matrix of first derivatives for , obtaining . But then, the determinant will be a polynomial in with “coefficients” that are continuous functions of . Since this determinant will be strictly positive, we can just integrate over the region , providing explicit coefficients for our polynomial.
Finally, we provide the formal contradiction: we extend our vector field linearly from to the region of so that . Then is well defined. For our , we take the region between two concentric spheres and a sphere of radius . But then for sufficiently small . But, the volume of the image then can’t be a polynomial in for odd , since
completing our proof.
I’m not sure how one even thinks of such a proof, but there it is. With a little more effort, one can drop the continuously differentiable hypothesis in the proof to just continuous, and Milnor does so in his paper, but I don’t want to include the details here.
As promised, here is the more typical proof:
Definition: given a map , there is an induced map which is an endomorphism of of an infinite cyclic group, so it has to look like , where is fixed and depends only on the function . The integer is denoted by , and is called the degree.
From this, the functorial properties of homology immediately tell us that , where is the identity map, and that . Furthermore, any reflection of about some axis has degree , so the antipodal map, , has degree . Equipped with this, we can prove the theorem, using most essentially the fact that homology is homotopy invariant.
Alternative Proof: note that we already assumed that our tangent vector field was normalized. But then we can define for , a painfully explicit homotopy from to . Because the induced homomorphisms are the same on the level of homology , we then know that , which occurs only if is odd.