|
|
|
A special nonsingular Map from one Manifold to another such that at every point in the domain of the map, the Derivative is an injective linear map. This is equivalent to saying that every point in the Domain has a Neighborhood such that, up to Diffeomorphisms of the Tangent Space, the map looks like the inclusion map from a lower-dimensional Euclidean Space to a higher-dimensional Euclidean Space.
See also Boy Surface, Eversion, Smale-Hirsch Theorem
References
Boy, W. ``Über die Curvatura integra und die Topologie geschlossener Flächen.'' Math. Ann 57,
151-184, 1903.
Pinkall, U. ``Models of the Real Projective Plane.'' Ch. 6 in
Mathematical Models from the Collections of Universities and Museums (Ed. G. Fischer).
Braunschweig, Germany: Vieweg, pp. 63-67, 1986.