Ein Ergebnis der geometrischen Topologie, das unter geeigneten Regularitäts‑ und Kompaktheitsbedingungen besagt, dass jede Isotopie einer Teilmenge oder Untermannigfaltigkeit in einer Mannigfaltigkeit zu einer ambienten Isotopie der gesamten Mannigfaltigkeit erweitert werden kann; anders gesagt, eine Deformation der Inklusion lässt sich durch eine Deformation der identischen Abbildung der Umgebung realisieren, die in einer Nachbarschaft des Teilraums unterstützt ist.

Prinzip

Die Isotopie einer eingebetteten Untermannigfaltigkeit lässt sich mittels eines Röhrennachbarschaftsarguments und eines zeitabhängigen Vektorfelds, das lokal die gewünschte Bewegung erzeugt, in eine ambientische Isotopie überführen. Ordnendes Prinzip ist die lokale Trivialität des Normalbündels und die Kontrolle über kompakten Träger.

Demonstration

Betrachte S^1 glatt eingebettet in R^3. Eine glatte Isotopie des Kreises in R^3, die den Kreis durch Einbettungen bewegt, lässt sich zu einer glatten Isotopie von R^3 erweitern, die außerhalb einer kleinen röhrennachbarschaft des sich bewegenden Kreises die Identität ist: Man konstruiert ein zeitabhängiges Vektorfeld mit kompaktem Träger, dessen Fluss die vorgegebene Bewegung realisiert.

Fehlanwendung

Die Annahme, der Satz gelte für wilde Einbettungen, beliebige nichtkompakte Träger ohne Properitätskontrolle oder das ungeprüfte Übertragen eines glatten Arguments auf die rein topologische Kategorie führt zu falschen Schlüssen; ebenso scheitert eine Erweiterung, wenn keine Röhrennachbarschaft oder kein Normalbündel vorhanden ist.

Konsequenz

Man gewinnt die Invarianz von Einbettungsinvarianten unter ambienten Isotopien und die Möglichkeit, lokale Manipulationen von Untermannigfaltigkeiten in globale ambientische Diffeomorphismen/Homeomorphismen zu verwandeln; dies ist zentral für parametrisierte Klassifikationen von Einbettungen.

Umkehrung

Die Einschränkung einer ambienten Isotopie auf eine Teilmenge ergibt eine Isotopie dieser Teilmenge; die Umkehrung hebt hervor, dass ambientische Isotopien stärkere Daten liefern und dass eine Teilmengen‑Isotopie allein ohne Erweiterungshypothesen die ambientische Information nicht bestimmt.

Abgrenzung

Gilt in den Kategorien (glatt, PL, topologisch), wenn Einbettungen zahm sind, die Teilmenge eine Nachbarschaft mit Normalbündel oder regulärem Nachbarschaftsmodell besitzt und Isotopien üblicherweise kompakten Träger haben; schließt wilde Einbettungen, bestimmte nicht lokal platten Fälle und naive nichtkompakte Umgebungen ohne Properitätsannahmen aus.

Semantische Spannung

Spannungen bestehen zwischen ambienter Isotopie und schwächeren Begriffen wie Konkordanz oder bloßer Homotopie der Inklusion; verwandte, aber unterschiedliche Aussagen sind der Alexander-Trick (Spezialfall in Scheiben) und die kategorienspezifischen Varianten der Isotopie‑Erweiterung.

Synthese

Der Isotopie‑Erweiterungssatz fasst zusammen, wie man eine kontrollierte Deformation einer Untermannigfaltigkeit mittels lokaler Nachbarschaftsstruktur und Unterstützungskontrolle zu einer kontrollierten Deformation der gesamten Umgebung hebt und so lokale geometrische Bewegungen mit globalen ambienten Transformationen verbindet.