Hopf theorem
In the following we will assume that the term “smooth” implies just (once continuously differentiable). By smooth homotopy we will that the homotopy mapping is itself continuously differentiable
Theorem.
Suppose that is a connected, oriented (http://planetmath.org/Orientation2) smooth manifold without boundary of dimension and suppose are smooth mappings to the -sphere. Then and are smoothly homotopic if and only if and have the same Brouwer degree
.
When is not orientable, then we can always “flip” the orientation by following a closed loop on the manifold and one can then prove the followingresult.
Theorem.
Suppose that is not orientable, connected smooth manifold without boundaryof dimension , and suppose are smooth mappings tothe -sphere.Then and are smoothly homotopic if and only if and have thesame degree mod 2.
References
- 1 John W. Milnor..The University Press of Virginia, Charlottesville, Virginia, 1969.