Eine Verstärkung des Jordan‑Kurvensatzes: Eine einfache geschlossene Kurve in der Ebene teilt die Ebene in 'innen' und 'außen', und die beschränkte Komponente (das Innere) ist homöomorph zur abgeschlossenen Scheibe; die Kurve ist durch eine ambientale Isotopie in der Ebene zu einem Standardkreis verformbar.

Prinzip

Topologische Regularität von Einbettungen von S1 in R2 führt nicht nur zur Trennung, sondern zur Standardheit der beschränkten Region, wenn die Kurve einfach ist: Jede einfache geschlossene planare Kurve begrenzt ein Gebiet, das topologisch einer Scheibe entspricht, und lässt sich durch eine ambientale Isotopie in einen Kreis überführen.

Demonstration

Bei einer einfachen geschlossenen polygonalen Kurve in R2 kann man die Ebene triangulieren und PL‑Topologie verwenden, um zu zeigen, dass die beschränkte Region kontrahierbar zur Scheibe ist; eine explizite ambientale Isotopie kann konstruiert werden, die das Polygon zu einem runden Kreis deformiert und den Komplementbereich entsprechend mitträgt.

Fehlanwendung

Die Annahme, der Satz gelte ohne Weiteres in höheren Dimensionen: Einbettungen von Sn−1 in Rn müssen nicht standardmäßig sein (wilde Einbettungen existieren), daher verallgemeinert die Schoenflies‑Schlussfolgerung nicht automatisch für n>2 ohne zusätzliche Voraussetzungen (z. B. Glattheit oder Tameness).

Konsequenz

Er liefert eine präzise Klassifikation planarer einfacher geschlossener Kurven bis auf ambientale Isotopie und ist Grundlage vieler planarer Operations‑ und Klassifikationsargumente; er stellt sicher, dass durch einfache Kurven begrenzte Löcher scheibenartig sind und durch Isotopien gehandhabt werden können.

Umkehrung

Die Umkehrung — ist die beschränkte Region homöomorph zur Scheibe, so hat ihr Rand eine einfache geschlossene Kurve — trifft zu, doch der stärkere Anspruch der ambienten Isotopie kann in höheren Dimensionen versagen. Außerdem kann eine wilde einfache Kurve trennen, ohne ambient isotop zu einem Standardskreis zu sein, wenn Tameness‑Hypothesen fehlen.

Abgrenzung

Gilt für einfache (ein-komponentige, selbstschnittfreie) geschlossene Kurven in der Ebene; schließt Kurven mit Selbstschnitten, Einbettungen in höheren Dimensionen ohne zusätzliche Regularität sowie Fälle aus, in denen das Komplement pathologische Topologie aufweist (beschränkte Komponente nicht einfach zusammenhängend).

Semantische Spannung

Spannung zwischen rein topologischen Einbettungen und PL-/glatten Kategorien: In PL/glatten Kategorien sind Isotopiekonstruktionen leichter, während in der topologischen Kategorie wilde Phänomene naive Verallgemeinerungen erschweren; außerdem Spannung zwischen bloßer Trennung (Jordan) und der stärkeren ambienten Isotopie (Schoenflies).

Synthese

Der Jordan–Schoenflies‑Satz schärft das Trennungsbild von Jordan: Jede einfache geschlossene Kurve in der Ebene trennt nicht nur, die beschränkte Komponente ist eine Scheibe und die Kurve lässt sich durch ambientale Isotopie in einen Standardskreis übertragen, womit eine vollständige topologische Beschreibung planarer einfacher Kurven und ihrer Inneren gegeben ist.