Un renforcement du théorème de la courbe de Jordan : une courbe fermée simple dans le plan sépare le plan en « intérieur » et « extérieur », et de plus la composante bornée (l'intérieur) est homéomorphe à un disque fermé ; la courbe est ambientement isotrope dans le plan à un cercle euclidien standard.

Principe

La régularité topologique des plongements de S1 dans R2 implique non seulement la séparation mais aussi la standardité de la région bornée lorsque la courbe est simple : toute courbe fermée simple plane borde une région topologiquement équivalente à un disque et peut être déformée en un cercle par une isotopie ambiante continue.

Démonstration

Pour une courbe polygonnale fermée simple dans R2, on peut trianguler le plan et utiliser la topologie pièce‑linéaire pour montrer que la région bornée est contractile à un disque ; une isotopie ambiante explicite peut être construite pour déformer le polygone en un cercle tout en transportant le complément de manière cohérente.

Mauvaise application

Supposer que le théorème s'étend tel quel aux dimensions supérieures : les plongements de Sn−1 dans Rn ne sont pas nécessairement standards (des plongements sauvages existent), aussi la conclusion de Schoenflies ne se généralise pas directement pour n>2 sans hypothèses supplémentaires (p. ex. lissité ou douceur).

Conséquence

Fournit une classification précise des courbes fermées simples planes à isotopie ambiante près et sous-tend de nombreux arguments de chirurgie et de classification en dimension deux ; il garantit que les 'trous' planaires bornés par des courbes simples sont en forme de disque et manipulables par isotopies.

Inversion

La réciproque — si une région bornée est homéomorphe à un disque alors son bord est une courbe fermée simple — est vraie, mais la partie forte d'isotopie ambiante peut échouer en dimensions supérieures. De plus, une courbe fermée simple « sauvage » peut séparer sans être ambientement isotrope à un cercle standard si l'on omet les hypothèses de douceur.

Limite

S'applique aux courbes fermées simples (à une seule composante, sans auto‑intersections) plongées dans le plan ; exclut les courbes à auto‑intersections, les plongements en dimensions supérieures sans régularité supplémentaire et les situations où le complément de la courbe présente une topologie pathologique (composante bornée non simplement connexe).

Tension sémantique

Tension entre plongements purement topologiques et catégories pièce‑linéaire ou lisse : en PL/lisse la construction d'isotopies est plus directe, alors que dans la catégorie topologique des phénomènes sauvages compliquent les généralisations ; tension aussi entre la simple séparation (Jordan) et la conclusion plus forte d'isotopie ambiante (Schoenflies).

Synthèse

Le Théorème Jordan–Schoenflies affine l'image de séparation de Jordan : toute courbe fermée simple dans le plan ne se contente pas de séparer le plan, sa composante bornée est un disque topologique et la courbe se déforme par isotopie ambiante en un cercle standard, fournissant une description topologique complète des courbes simples planes et de leurs intérieurs.