A strengthening of the Jordan curve theorem: a simple closed curve in the plane divides the plane into an 'inside' and an 'outside', and furthermore the bounded component (the inside) is homeomorphic to a closed disk; the curve is ambiently isotopic in the plane to a standard Euclidean circle.

Principle

Topological regularity of embeddings of S1 in R2 implies not only separation but also standardness of the bounded region when the curve is simple: any simple closed planar curve bounds a region topologically equivalent to a disk and can be deformed to a circle by a continuous ambient isotopy.

Demonstration

Given a simple closed polygonal curve in R2, one can triangulate the plane and use piecewise-linear topology to show the bounded region is contractible to a disk; an explicit ambient isotopy can be constructed that deforms the polygon to a round circle while carrying the complement correspondingly.

Misapplication

Assuming the theorem holds in higher dimensions as stated: embeddings of Sn−1 in Rn need not be standard (wild embeddings exist) so the Schoenflies conclusion does not generalize straightforwardly to n>2 without extra hypotheses (e.g., smoothness or tameness).

Consequence

Provides a precise classification of planar simple closed curves up to ambient isotopy and underlies many planar surgery and classification arguments; it ensures that topological 'holes' in the plane bounded by simple curves are disk-like and manipulable by isotopies.

Reversal

The converse—if a bounded region is homeomorphic to a disk then its boundary is a simple closed curve—holds, but the stronger ambient isotopy part can fail in higher dimensions. Also, a wild simple closed curve may separate but not be ambiently isotopic to a standard circle if tameness hypotheses are dropped.

Boundary

Applies to simple (one-component, non-self-intersecting) closed curves embedded in the plane; excludes curves with self-intersections, embeddings in higher dimensions without added regularity, and situations where the curve's complement has pathological topology (not simple-connected bounded component).

Semantic Tension

Tension between purely topological embeddings and piecewise-linear or smooth categories: in PL/smooth settings stronger regularity yields easier isotopies, while in the topological category wild phenomena challenge naive generalizations; also tension between separation alone (Jordan) and the stronger ambient isotopy (Schoenflies).

Synthesis

The Jordan–Schoenflies Theorem upgrades the Jordan separation picture: any simple closed curve in the plane not only partitions plane into two components, but the bounded one is topologically a disk and the curve can be deformed through ambient isotopy to a standard circle, giving a complete topological description of planar simple closed curves and their interiors.