Ein Satz, der aussagt, dass jede einfache geschlossene Kurve (ein stetiges Einbettung des Kreises S^1) in der Ebene die Ebene in genau zwei zusammenhängende Komponenten trennt, eine beschränkte (das Innere) und eine unbeschränkte (das Äußere), wobei die Kurve ihre gemeinsame Randmenge bildet.

Prinzip

Eine stetige einfache geschlossene Kurve in der Ebene ist ein topologischer Kreis, dessen Komplement genau zwei Komponenten besitzt; die Kurve ist der Rand jeder Komponente, so dass 'innen' und 'außen' topologisch wohldefinierte Regionen sind.

Demonstration

Für eine einfache polygonale Schleife in R^2 ist der Satz durch Argumente aus der planaren Graphentheorie evident: Kanten und Flächen ergeben eine innere Fläche und eine unbeschränkte äußere Fläche. Für eine wilde stetige einfache geschlossene Kurve (möglicherweise fraktal) garantiert der Satz dennoch genau zwei Komplementkomponenten, obwohl die geometrische Intuition bezüglich Glattheit versagen kann.

Fehlanwendung

Das Ergebnis auf nicht-einfache Kurven (selbstüberschneidende Schleifen) oder auf Einbettungen höherdimensionaler Sphären ohne Rückgriff auf den Jordan–Brouwer-Trennsatz anzuwenden; solche Fehlanwendungen führen zu falschen Aussagen über Anzahl oder Art der Komplementkomponenten.

Konsequenz

Stellt eine rigorose topologische Unterscheidung von innen und außen für ebene Schleifen bereit, bildet die Grundlage für Aussagen über Windungszahlen, das Zählen von Flächen in planaren Graphen und ist Basis für weiterführende Sätze wie den Jordan–Schoenflies-Satz, der die Struktur des Inneren bei zusätzlichen Hypothesen verfeinert.

Umkehrung

Die Umkehrung ist allgemein falsch: Eine Teilmenge der Ebene, deren Komplement genau zwei Komponenten hat, muss nicht eine einfache geschlossene Kurve sein; der Satz ist existenziell für Einbettungen von S^1, nicht eine Charakterisierung aller trennenden Mengen.

Abgrenzung

Beschränkt auf einfache geschlossene Kurven in der Ebene (äquivalent zu Einbettungen von S^1 in S^2); Verallgemeinerungen in höhere Dimensionen erfordern den Jordan–Brouwer-Trennsatz, und das Resultat schließt selbstüberschneidende Schleifen sowie Teilmengen aus, die nicht homöomorph zum Kreis sind.

Semantische Spannung

Wird oft mit dem Jordan–Schoenflies-Satz verwechselt, der zusätzlich aussagt, dass die beschränkte Komponente unter Glattheits- oder PL-Annahmen homöomorph zur Scheibe ist; die Spannung liegt zwischen bloßer Trennung (Jordan) und topologischer Äquivalenz des Inneren (Schoenflies).

Synthese

Der Jordan-Kurvensatz besagt zusammengefasst, dass jede einfache geschlossene Kurve in der Ebene eine klare topologische Dichotomie in zwei Regionen erzeugt, deren gemeinsame Grenze die Kurve ist, und so die intuitive Innen-/Außenseite auch für sehr unregelmäßige Kurven formalisiert.