![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() |
An ambient isotopy from an embedding of a Manifold in
to another is a Homotopy of self
Diffeomorphisms (or Isomorphisms, or piecewise-linear transformations,
etc.) of
, starting at the Identity Map, such that the ``last'' Diffeomorphism compounded with the first
embedding of
is the second embedding of
. In other words, an ambient isotopy is like an Isotopy except that
instead of distorting the embedding, the whole ambient Space is being stretched and distorted and the embedding is
just ``coming along for the ride.'' For Smooth Manifolds, a Map is
Isotopic Iff it is ambiently isotopic.
For Knots, the equivalence of Manifolds under continuous deformation is independent of the embedding Space. Knots of opposite Chirality have ambient isotopy, but not Regular Isotopy.
See also Isotopy, Regular Isotopy
References
Hirsch, M. W. Differential Topology. New York: Springer-Verlag, 1988.