A continuous one-parameter family of homeomorphisms H_t: M → M, t ∈ [0,1], of an ambient space M with H_0 = id_M such that H_1 carries one embedding or submanifold A ⊂ M to another embedding or submanifold B ⊂ M. Two embeddings are ambiently isotopic if they are related by such a family.

Principle

Ambient isotopy realizes equivalence of embeddings by deforming the ambient space through homeomorphisms (or diffeomorphisms in the smooth category) connected to the identity, so the embedded object is moved by ambient motion rather than by a homotopy of the map alone.

Demonstration

Two embeddings of the circle in R^3 that can be moved to coincide by a continuous family of homeomorphisms of R^3 form the same ambient isotopy class; in knot theory, ambient isotopy is the notion that distinguishes knotted from unknotted embeddings of S^1 in R^3.

Misapplication

Confusing ambient isotopy with a pointwise homotopy of the embedding map (an isotopy of maps) — an ambient isotopy requires homeomorphisms of the whole ambient manifold at each time, not merely a homotopy of the inclusion map.

Consequence

Ambient isotopy is an equivalence relation on embeddings; invariants computed from the ambient complement (for example fundamental group of the complement in knot theory) are preserved under ambient isotopy, making the relation central for classification problems.

Reversal

The converse notion is an isotopy of the embedding as a map in the subspace category, where the ambient space is kept fixed setwise but points of the ambient space are not moved by homeomorphisms; such isotopies can be strictly weaker or incomparable.

Boundary

Requires an ambient manifold (or topological/PL/smooth space) that admits continuous families of self-homeomorphisms; excludes deformations that change topology of the ambient space or homotopies that are not through homeomorphisms/diffeomorphisms.

Semantic Tension

Ambient isotopy versus regular isotopy or concordance: ambient isotopy moves the entire ambient space and thus preserves embedding type in the strongest geometric sense, while other equivalence notions may permit surgery, singularities, or only local moves.

Synthesis

Ambient isotopy is the ambient-motion equivalence of embeddings: a path of homeomorphisms of the ambient manifold beginning at the identity that carries one embedding to another, giving a geometric classification that preserves the global ambient context.