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.

Prinzip

Ambient-Isotopie realisiert die Äquivalenz von Einbettungen, indem der gesamte umgebende Raum durch Homöomorphismen (oder Diffeomorphismen in der glatten Kategorie), die mit der Identität zusammenhängend sind, deformiert wird; das eingebettete Objekt wird durch die Bewegung des Ambients bewegt, nicht bloß durch eine Homotopie der Abbildung.

Demonstration

Zwei Einbettungen des Kreises in R^3, die durch eine stetige Familie von Homöomorphismen von R^3 zur Deckung gebracht werden können, liegen in derselben Ambient-Isotopie-Klasse; in der Knotentheorie ist Ambient-Isotopie das Kriterium, das verknüpfte von unverknüpften Einbettungen von S^1 in R^3 unterscheidet.

Fehlanwendung

Ambient-Isotopie mit einer punktweisen Homotopie der Einbettungsabbildung (einer Isotopie von Abbildungen) zu verwechseln — Ambient-Isotopie verlangt Homöomorphismen des gesamten umgebenden Raums zu jedem Zeitpunkt, nicht nur eine Homotopie der Inklusion.

Konsequenz

Ambient-Isotopie ist eine Äquivalenzrelation auf Einbettungen; Invarianten, die aus dem Komplement im Ambienten berechnet werden (z. B. die Fundamentalguppe des Komplements in der Knotentheorie), bleiben unter Ambient-Isotopie erhalten, wodurch die Relation für Klassifikationsaufgaben zentral wird.

Umkehrung

Das Gegenstück ist eine Isotopie der Einbettung als Abbildung in der Untermengen-Kategorie, wobei der Ambientraum mengenmäßig festgehalten wird, die Punkte des Ambients jedoch nicht durch Homöomorphismen verschoben werden; solche Isotopien können strikt schwächer oder nicht vergleichbar sein.

Abgrenzung

Erfordert eine ambientale Mannigfaltigkeit (oder topologischen/PL/glatten Raum), die stetige Familien von Selbsthomöomorphismen zulässt; schließt Deformationen aus, die die Topologie des Ambients verändern, oder Homotopien, die nicht durch Homöomorphismen/Diffeomorphismen verlaufen.

Semantische Spannung

Ambient-Isotopie versus reguläre Isotopie oder Konkordanz: Ambient-Isotopie bewegt den gesamten Ambientraum und bewahrt damit den Einbettungstyp in der stärksten geometrischen Bedeutung, während andere Äquivalenzbegriffe Operationen erlauben können, die Lokalität, Singularitäten oder Chirurgie einschließen.

Synthese

Ambient-Isotopie ist die durch Ambientbewegung definierte Äquivalenz von Einbettungen: ein Weg von Homöomorphismen der ambienten Mannigfaltigkeit, beginnend bei der Identität, der eine Einbettung in eine andere überführt und so eine geometrisch starke Klassifikation liefert.