A theorem asserting that every simple closed curve (a continuous embedding of the circle S^1) in the plane separates the plane into exactly two connected components, one bounded (the inside) and one unbounded (the outside), with the curve as their common boundary.

Principle

A continuous simple closed curve in the plane is a topological circle whose complement has precisely two components; the curve constitutes the frontier of each component, so 'inside' and 'outside' are well-defined topological regions.

Demonstration

For a simple polygonal loop in R^2 the theorem is evident by planar graph arguments: edges and faces produce an inside face and an outside unbounded face. For a wild continuous simple closed curve (possibly fractal), the theorem still guarantees exactly two complementary components, though geometric intuition about smoothness may fail.

Misapplication

Applying the statement to non-simple curves (self-intersecting loops) or to embeddings of higher-dimensional spheres in higher dimensions without invoking the Jordan–Brouwer theorem; such misuses lead to incorrect conclusions about the number or nature of complementary components.

Consequence

Gives a rigorous topological notion of inside and outside for planar loops, underpins results about winding number, planar graph face counting, and is a foundation for further theorems like the Jordan–Schoenflies theorem which refines the interior's structure under additional hypotheses.

Reversal

The converse is false in general: a subset of the plane whose complement has exactly two components need not be a simple closed curve; the theorem is existential for embeddings of S^1, not a characterization of all separating sets.

Boundary

Limited to simple closed curves in the plane (or equivalently embeddings of S^1 into S^2); generalizations to higher dimensions require the Jordan–Brouwer separation theorem, and the result excludes self-intersecting loops and subsets that are not homeomorphic to a circle.

Semantic Tension

Often confused with the Jordan–Schoenflies theorem which adds that the bounded component is homeomorphic to a disk under smoothness or piecewise-linear hypotheses; the tension is between mere separation (Jordan) and topological equivalence of the interior (Schoenflies).

Synthesis

The Jordan Curve Theorem establishes that any simple closed curve in the plane yields a clean topological dichotomy into two regions with the curve as common boundary, formalizing the intuitive inside/outside distinction even for highly irregular continuous loops.