Ambient-Isotopie

Eine stetige Ein-Parameter-Familie von Homöomorphismen H_t: M → M, t ∈ [0,1], des umgebenden Raums M mit H_0 = id_M, so dass H_1 eine Einbettung oder Untermannigfaltigkeit A ⊂ M auf eine andere Einbettung oder Untermannigfaltigkeit B ⊂ M überträgt. Zwei Einbettungen heißen ambient-isotop, wenn sie durch eine solche Familie zusammengehören.