A generalization of the Jordan curve theorem: an embedding of an (n−1)-sphere S^{n−1} in Euclidean n-space R^n separates R^n into exactly two complementary regions, one bounded (the 'inside') and one unbounded (the 'outside'), and the embedded sphere is their common boundary.

Principle

Codimension-one closed embedded spheres in Euclidean space produce topological separation: an (n−1)-sphere embedded in R^n divides the ambient space into two components because of the orientability and codimension-one nature of the embedding, yielding a well-defined inside and outside.

Demonstration

For n=3, an embedded 2-sphere in R^3 (a usual 'surface' homeomorphic to S2) bounds a bounded region (a 3-ball) and an unbounded exterior; Alexander duality or degree arguments in algebraic topology formalize this separation for general n by relating reduced homology of the complement to homology of the sphere.

Misapplication

Mistaking the theorem as applying to arbitrary closed (n−1)-manifolds embedded in R^n; the separation conclusion relies on the embedded manifold being a sphere (i.e., having the homology/type of S^{n−1}). Embeddings with complicated topology or non-spherical homology may not separate into exactly two complementary regions as stated.

Consequence

Provides a fundamental tool for understanding embedding topology in codimension one and underlies many classification and duality results; it ensures that standard sphere embeddings give a single bounded 'inside' component used in manifold decomposition and surgery.

Reversal

The converse is false in general: a separating embedded closed hypersurface need not be homeomorphic to an (n−1)-sphere. Additionally, nonembedded or singular subsets with the homology of a sphere may fail to separate in the same way.

Boundary

Holds for embeddings of spheres S^{n−1} as smooth, PL, or topological embeddings in R^n under the usual hypotheses; it excludes non-embedded images, immersed spheres with self-intersections, and higher-codimension embeddings where separation behavior differs.

Semantic Tension

Tension between homological/topological criteria (Alexander duality) and geometric intuition: some sets with spherical homology behave like spheres for separation, while others require stronger tameness/embedding hypotheses; tension also between codimension-one specialness and higher-codimension failure.

Synthesis

The Jordan–Brouwer Separation Theorem extends Jordan's planar separation to higher dimensions: a topologically embedded (n−1)-sphere in R^n divides space into exactly two components—a bounded inside and an unbounded outside—making such sphere embeddings canonical boundaries for bounded regions and central objects for duality and decomposition arguments.