Regular homotopy

From Wikipedia, the free encyclopedia

In the mathematical field of topology, a regular homotopy refers to a special kind of homotopy between immersions of one manifold in another. In particular, the homotopy must go through immersions and extend continuously to a homotopy of the tangent bundle.

Similar to homotopy classes, one defines two immersions to be in the same regular homotopy class if there exists a regular homotopy between them.

The Whitney-Graustein theorem classifies the regular homotopy classes of a circle into the plane; two immersions are regularly homotopic if and only if their Gauss maps have the same winding number. Stephen Smale classified the regular homotopy classes of an k-sphere immersed in \mathbb R^n. A corollary of his work is that there is only one regular homotopy class of a 2-sphere immersed in \mathbb R^3. In particular, this means that sphere eversions exist, i.e. one can turn the 2-sphere "inside-out".

[edit] References