Jordan curve theorem

Jordan curve theorem
Lambiam · CC BY-SA 3.0 · source
Name	Jordan curve theorem
Field	Topology
Introduced	1887
Named after	Camille Jordan

Jordan curve theorem is a foundational result in point-set Topology asserting that every simple closed curve in the plane divides the plane into an "inside" and an "outside" region, each of which is connected and whose common boundary is the curve. The theorem, originating in the 19th century, has deep connections to classical Topology, complex analysis, algebraic topology, and geometric Graph theory, and it underpins rigorous formulations of many intuitive planar separation phenomena used across Mathematics and applied fields.

Statement

The classical statement, due to Camille Jordan, says: if C is a simple closed continuous curve in the Euclidean plane R^2, then R^2 \ C has exactly two connected components, one of which is bounded (the "interior") and one of which is unbounded (the "exterior"), and C is the boundary of each component. This assertion interacts with constructs from Euclidean space, Riemann mapping theorem, Complex analysis, and Algebraic topology by relating planar curves to notions of connectedness, compactness, and boundary. Precise formulations use language from Point-set topology, invoking connected components, closed sets, compactness, and continuity as in foundational treatments by authors associated with Camille Jordan, Henri Poincaré, L. E. J. Brouwer, and institutions such as the École Normale Supérieure and the Université de Paris.

History and development

The theorem was first published by Camille Jordan in 1887 in his work on analysis, stimulating debate because Jordan's original proof was considered incomplete by contemporaries. Critiques and extensions involved figures like Perron, Vito Volterra, and Henri Poincaré, with later rigorous foundations supplied by mathematicians such as Oswald Veblen, L. E. J. Brouwer, and Felix Hausdorff. The development connects to historical threads including the rigorization of analysis in the late 19th century, the rise of Set theory debates involving Georg Cantor, and institutional influence from centers like University of Göttingen, University of Cambridge, and École Normale Supérieure. Subsequent discussions in the 20th century involved contributors from Princeton University, University of Chicago, and the Mathematical Reviews community, as mathematicians refined topological language and produced multiple independent proofs.

Proofs and approaches

Proof techniques reflect diverse branches of mathematics. Early attempts used classical planar geometry and measure-theoretic intuition tied to works from Carl Friedrich Gauss and Augustin-Louis Cauchy. Algebraic-topological proofs employ the Fundamental group and covering space ideas developed by Henri Poincaré and L. E. J. Brouwer, while modern expositions use homology theory originated by Poincaré and formalized by Hermann Weyl, Samuel Eilenberg, and Steenrod. Combinatorial approaches relate to planar Graph theory and the Euler characteristic, referencing luminaries like Leonhard Euler and William Tutte. Analytical proofs draw on conformal mapping methods from Riemann mapping theorem provenance via Bernhard Riemann and Hermann Amandus Schwarz. Constructive and algorithmic treatments engage computational aspects connected to Donald Knuth, Stephen Smale, and computational geometry groups at institutions like IBM research and Bell Labs. Simplified elementary proofs and expositions appear in texts influenced by John Conway, Paul Halmos, and M. H. A. Newman.

Consequences and corollaries

The theorem yields immediate corollaries in planar topology and complex analysis: the Jordan curve theorem underlies the classification of planar domains used in the Riemann mapping theorem and influences the statement of the Cauchy integral theorem in complex analysis attributed to Augustin-Louis Cauchy. It informs planar graph embeddings central to Kuratowski's theorem, Four color theorem, and work by Kenneth Appel and Wolfgang Haken on map coloring. In differential topology and dynamical systems, consequences touch on fixed-point phenomena related to Brouwer fixed-point theorem and separation results used in studies by Stephen Smale and Marston Morse. The theorem also supports algorithmic results in computational geometry and computer graphics developed at universities like Massachusetts Institute of Technology and Stanford University.

Generalizations and higher dimensions

Higher-dimensional analogues lead to the Jordan–Brouwer separation theorem proved by L. E. J. Brouwer, stating that an (n−1)-sphere embedded in Euclidean n-space separates R^n into two components. Extensions connect to Alexander duality in algebraic topology named after J. W. Alexander and the theory of manifolds studied by Hassler Whitney and John Milnor. Further generalizations involve embeddings studied by Hassler Whitney and links to the Poincaré conjecture resolved by Grigori Perelman via techniques associated with Richard Hamilton. Research on wild embeddings, tame versus wild spheres, and pathological examples involves work by Antoine, Edwin E. Moise, and R. H. Bing. Modern categorical and homotopical perspectives touch on theories developed at centers like Institute for Advanced Study and Princeton University, with ongoing research connecting separation theorems to areas influenced by Michael Freedman and William Thurston.

Category:Topology