5

The proofs I have seen for the hairy ball theorem all use either degree of a map defined in e.g. by homology or direct computations using stereographic projections in order to use homotopy arguments in $\mathbb R^2$.

Isn't there a trick to deduce the theorem from the Borsuk-Ulam theorem for the sphere $S^2$?

Jochen
  • 12,254

2 Answers2

3

This is unlikely, since Borsuk-Ulam works for all $n$. Such an argument could not work for, say, the 3-sphere, since the latter can indeed be combed. In fact $S^3$ is parallelizable. This follows for example from the fact that $S^3$ is a Lie group, for example that of unit quaternions.

Mikhail Katz
  • 42,112
  • 3
  • 66
  • 131
  • Is this really an argument? It would be enough to prove (without degree theory) that the identity on $\mathbb S^2$ is not homotopic to the antipodal map. Of course, dimension 2 is crucial. – Jochen Jul 10 '13 at 13:54
  • The argument you just mentioned is fine, but where does it use Borsuk-Ulam? – Mikhail Katz Jul 10 '13 at 13:59
  • I hope that via some trick Borsuk-Ulam could prove that. – Jochen Jul 10 '13 at 16:40
1

This is indirect, but maybe it will be helpful to you:

  • As you say, this is rather indirect and looks like the logical implication Borsuk-Ulam $\Rightarrow$ Sperner $\Rightarrow$ Hairy Ball. It is not yet the "little trick" I was hoping for. Nevertheless, thanks for your answer. – Jochen Jul 15 '13 at 07:09