In topology, a **Jordan curve**, sometimes called a *plane simple closed curve*, is a non-self-intersecting continuous loop in the plane.^{ [1] } The **Jordan curve theorem** asserts that every Jordan curve divides the plane into an "interior" region bounded by the curve and an "exterior" region containing all of the nearby and far away exterior points, so that every continuous path connecting a point of one region to a point of the other intersects with that loop somewhere. While the statement of this theorem seems to be intuitively obvious, it takes some ingenuity to prove it by elementary means. *"Although the JCT is one of the best known topological theorems, there are many, even among professional mathematicians, who have never read a proof of it."* (Tverberg (1980 , Introduction)). More transparent proofs rely on the mathematical machinery of algebraic topology, and these lead to generalizations to higher-dimensional spaces.

- Definitions and the statement of the Jordan theorem
- Proof and generalizations
- History and further proofs
- See also
- Notes
- References
- External links

The Jordan curve theorem is named after the mathematician Camille Jordan (1838–1922), who found its first proof. For decades, mathematicians generally thought that this proof was flawed and that the first rigorous proof was carried out by Oswald Veblen. However, this notion has been overturned by Thomas C. Hales and others.

A *Jordan curve* or a *simple closed curve* in the plane **R**^{2} is the image *C* of an injective continuous map of a circle into the plane, *φ*: *S*^{1} → **R**^{2}. A **Jordan arc** in the plane is the image of an injective continuous map of a closed and bounded interval [*a*, *b*] into the plane. It is a plane curve that is not necessarily smooth nor algebraic.

Alternatively, a Jordan curve is the image of a continuous map *φ*: [0,1] → **R**^{2} such that *φ*(0) = *φ*(1) and the restriction of *φ* to [0,1) is injective. The first two conditions say that *C* is a continuous loop, whereas the last condition stipulates that *C* has no self-intersection points.

With these definitions, the Jordan curve theorem can be stated as follows:

Let

Cbe a Jordan curve in the planeR^{2}. Then its complement,R^{2}\C, consists of exactly two connected components. One of these components is bounded (theinterior) and the other is unbounded (theexterior), and the curveCis the boundary of each component.

In contrast, the complement of a Jordan *arc* in the plane is connected.

The Jordan curve theorem was independently generalized to higher dimensions by H. Lebesgue and L.E.J. Brouwer in 1911, resulting in the **Jordan–Brouwer separation theorem**.

Let

Xbe ann-dimensionaltopological spherein the (n+1)-dimensional Euclidean spaceR^{n+1}(n> 0), i.e. the image of an injective continuous mapping of then-sphereSinto^{n}R^{n+1}. Then the complementYofXinR^{n+1}consists of exactly two connected components. One of these components is bounded (the interior) and the other is unbounded (the exterior). The setXis their common boundary.

The proof uses homology theory. It is first established that, more generally, if *X* is homeomorphic to the *k*-sphere, then the reduced integral homology groups of *Y* = **R**^{n+1} \ *X* are as follows:

This is proved by induction in *k* using the Mayer–Vietoris sequence. When *n* = *k*, the zeroth reduced homology of *Y* has rank 1, which means that *Y* has 2 connected components (which are, moreover, path connected), and with a bit of extra work, one shows that their common boundary is *X*. A further generalization was found by J. W. Alexander, who established the Alexander duality between the reduced homology of a compact subset *X* of **R**^{n+1} and the reduced cohomology of its complement. If *X* is an *n*-dimensional compact connected submanifold of **R**^{n+1} (or **S**^{n+1}) without boundary, its complement has 2 connected components.

There is a strengthening of the Jordan curve theorem, called the Jordan–Schönflies theorem, which states that the interior and the exterior planar regions determined by a Jordan curve in **R**^{2} are homeomorphic to the interior and exterior of the unit disk. In particular, for any point *P* in the interior region and a point *A* on the Jordan curve, there exists a Jordan arc connecting *P* with *A* and, with the exception of the endpoint *A*, completely lying in the interior region. An alternative and equivalent formulation of the Jordan–Schönflies theorem asserts that any Jordan curve *φ*: *S*^{1} → **R**^{2}, where *S*^{1} is viewed as the unit circle in the plane, can be extended to a homeomorphism *ψ*: **R**^{2} → **R**^{2} of the plane. Unlike Lebesgue’s and Brouwer's generalization of the Jordan curve theorem, this statement becomes *false* in higher dimensions: while the exterior of the unit ball in **R**^{3} is simply connected, because it retracts onto the unit sphere, the Alexander horned sphere is a subset of **R**^{3} homeomorphic to a sphere, but so twisted in space that the unbounded component of its complement in **R**^{3} is not simply connected, and hence not homeomorphic to the exterior of the unit ball.

The statement of the Jordan curve theorem may seem obvious at first, but it is a rather difficult theorem to prove. Bernard Bolzano was the first to formulate a precise conjecture, observing that it was not a self-evident statement, but that it required a proof.^{[ citation needed ]} It is easy to establish this result for polygons, but the problem came in generalizing it to all kinds of badly behaved curves, which include nowhere differentiable curves, such as the Koch snowflake and other fractal curves, or even a Jordan curve of positive area constructed by Osgood (1903).

The first proof of this theorem was given by Camille Jordan in his lectures on real analysis, and was published in his book *Cours d'analyse de l'École Polytechnique*.^{ [2] } There is some controversy about whether Jordan's proof was complete: the majority of commenters on it have claimed that the first complete proof was given later by Oswald Veblen, who said the following about Jordan's proof:

- His proof, however, is unsatisfactory to many mathematicians. It assumes the theorem without proof in the important special case of a simple polygon, and of the argument from that point on, one must admit at least that all details are not given.
^{ [3] }

However, Thomas C. Hales wrote:

- Nearly every modern citation that I have found agrees that the first correct proof is due to Veblen... In view of the heavy criticism of Jordan’s proof, I was surprised when I sat down to read his proof to find nothing objectionable about it. Since then, I have contacted a number of the authors who have criticized Jordan, and each case the author has admitted to having no direct knowledge of an error in Jordan’s proof.
^{ [4] }

Hales also pointed out that the special case of simple polygons is not only an easy exercise, but was not really used by Jordan anyway, and quoted Michael Reeken as saying:

- Jordan’s proof is essentially correct... Jordan’s proof does not present the details in a satisfactory way. But the idea is right, and with some polishing the proof would be impeccable.
^{ [5] }

Earlier, Jordan's proof and another early proof by Charles Jean de la Vallée Poussin had already been critically analyzed and completed by Schoenflies (1924).^{ [6] }

Due to the importance of the Jordan curve theorem in low-dimensional topology and complex analysis, it received much attention from prominent mathematicians of the first half of the 20th century. Various proofs of the theorem and its generalizations were constructed by J. W. Alexander, Louis Antoine, Ludwig Bieberbach, Luitzen Brouwer, Arnaud Denjoy, Friedrich Hartogs, Béla Kerékjártó, Alfred Pringsheim, and Arthur Moritz Schoenflies.

New elementary proofs of the Jordan curve theorem, as well as simplifications of the earlier proofs, continue to be carried out.

- Elementary proofs were presented by Filippov (1950) and Tverberg (1980).
- A proof using non-standard analysis by Narens (1971).
- A proof using constructive mathematics by Gordon O.Berg,W. Julian,andR. Mineset al. ( 1975 ).
- A proof using the Brouwer fixed point theorem by Maehara (1984).
- A proof using non-planarity of the complete bipartite graph K
_{3,3}was given by Thomassen (1992).

The root of the difficulty is explained in Tverberg (1980) as follows. It is relatively simple to prove that the Jordan curve theorem holds for every Jordan polygon (Lemma 1), and every Jordan curve can be approximated arbitrarily well by a Jordan polygon (Lemma 2). A Jordan polygon is a polygonal chain, the boundary of a bounded connected open set, call it the open polygon, and its closure, the closed polygon. Consider the diameter of the largest disk contained in the closed polygon. Evidently, is positive. Using a sequence of Jordan polygons (that converge to the given Jordan curve) we have a sequence *presumably* converging to a positive number, the diameter of the largest disk contained in the closed region bounded by the Jordan curve. However, we have to *prove* that the sequence does not converge to zero, using only the given Jordan curve, not the region *presumably* bounded by the curve. This is the point of Tverberg's Lemma 3. Roughly, the closed polygons should not thin to zero everywhere. Moreover, they should not thin to zero somewhere, which is the point of Tverberg's Lemma 4.

The first formal proof of the Jordan curve theorem was created by Hales (2007a) in the HOL Light system, in January 2005, and contained about 60,000 lines. Another rigorous 6,500-line formal proof was produced in 2005 by an international team of mathematicians using the Mizar system. Both the Mizar and the HOL Light proof rely on libraries of previously proved theorems, so these two sizes are not comparable. NobuyukiSakamotoandKeita Yokoyama ( 2007 ) showed that in reverse mathematics the Jordan curve theorem is equivalent to the weak König's lemma over the system .

- Denjoy–Riesz theorem, a description of certain sets of points in the plane that can be subsets of Jordan curves
- Lakes of Wada
- Quasi-Fuchsian group, a mathematical group that preserves a Jordan curve
- Complex analysis

- ↑ Sulovský, Marek (2012).
*Depth, Crossings and Conflicts in Discrete Geometry*. Logos Verlag Berlin GmbH. p. 7. ISBN 9783832531195. - ↑ CamilleJordan ( 1887 )
- ↑ OswaldVeblen ( 1905 )
- ↑ Hales (2007b)
- ↑ Hales (2007b)
- ↑ A. Schoenflies (1924). "Bemerkungen zu den Beweisen von C. Jordan und Ch. J. de la Vallée Poussin".
*Jahresber. Deutsch. Math.-Verein*.**33**: 157–160.

**Brouwer's fixed-point theorem** is a fixed-point theorem in topology, named after L. E. J. (Bertus) Brouwer. It states that for any continuous function mapping a compact convex set to itself there is a point such that . The simplest forms of Brouwer's theorem are for continuous functions from a closed interval in the real numbers to itself or from a closed disk to itself. A more general form than the latter is for continuous functions from a convex compact subset of Euclidean space to itself.

In mathematics, a **diffeomorphism** is an isomorphism of smooth manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are smooth.

In complex analysis, the **Riemann mapping theorem** states that if *U* is a non-empty simply connected open subset of the complex number plane **C** which is not all of **C**, then there exists a biholomorphic mapping *f* from *U* onto the open unit disk

A **sphere** is a geometrical object in three-dimensional space that is the surface of a ball.

In the part of mathematics referred to as topology, a **surface** is a two-dimensional manifold. Some surfaces arise as the boundaries of three-dimensional solids; for example, the sphere is the boundary of the solid ball. Other surfaces arise as graphs of functions of two variables; see the figure at right. However, surfaces can also be defined abstractly, without reference to any ambient space. For example, the Klein bottle is a surface that cannot be embedded in three-dimensional Euclidean space.

In geometry, a **torus** is a surface of revolution generated by revolving a circle in three-dimensional space about an axis that is coplanar with the circle.

In mathematics, the **Laplace operator** or **Laplacian** is a differential operator given by the divergence of the gradient of a function on Euclidean space. It is usually denoted by the symbols ∇·∇, ∇^{2} or Δ. In a Cartesian coordinate system, the Laplacian is given by the sum of second partial derivatives of the function with respect to each independent variable. In other coordinate systems, such as cylindrical and spherical coordinates, the Laplacian also has a useful form. Informally, the Laplacian Δ*f*(*p*) of a function *f* at a point *p* measures by how much the average value of *f* over small spheres or balls centered at *p* deviates from *f*(*p*).

In mathematics, **Green's theorem** gives the relationship between a line integral around a simple closed curve *C* and a double integral over the plane region *D* bounded by *C*. It is the two-dimensional special case of Stokes' theorem.

In mathematical analysis, a **space-filling curve** is a curve whose range contains the entire 2-dimensional unit square. Because Giuseppe Peano (1858–1932) was the first to discover one, space-filling curves in the 2-dimensional plane are sometimes called *Peano curves*, but that phrase also refers to the Peano curve, the specific example of a space-filling curve found by Peano.

For any twice-differentiable real-valued function f defined on Euclidean space **R**^{n}, the Laplace operator takes f to the divergence of its gradient vector field, which is the sum of the n second derivatives of f with respect to each vector of an orthonormal basis for **R**^{n}. In the field of differential geometry, this operator is generalized to operate on functions defined on submanifolds in Euclidean space and, even more generally, on Riemannian and pseudo-Riemannian manifolds. This more general operator goes by the name Laplace–Beltrami operator, after Pierre-Simon Laplace and Eugenio Beltrami. Like the Laplacian, the Laplace–Beltrami operator is defined as the divergence of the gradient, and is a linear operator taking functions into functions. The operator can be extended to operate on tensors as the divergence of the covariant derivative. Alternatively, the operator can be generalized to operate on differential forms using the divergence and exterior derivative. The resulting operator is called the Laplace–de Rham operator.

In topology, a branch of mathematics, a **topological manifold** is a topological space which locally resembles real *n*-dimensional space in a sense defined below. Topological manifolds form an important class of topological spaces with applications throughout mathematics. All manifolds are topological manifolds by definition, but many manifolds may be equipped with additional structure. Every manifold has an "underlying" topological manifold, obtained by simply "forgetting" any additional structure the manifold has.

In mathematics, **Carathéodory's theorem** is a theorem in complex analysis, named after Constantin Carathéodory, which extends the Riemann mapping theorem. The theorem, first proved in 1913, states that the conformal mapping sending the unit disk to the region in the complex plane bounded by a Jordan curve extends continuously to a homeomorphism from the unit circle onto the Jordan curve. The result is one of Carathéodory's results on prime ends and the boundary behaviour of univalent holomorphic functions.

The **positive energy theorem** refers to a collection of foundational results in general relativity and differential geometry. Its standard form, broadly speaking, asserts that the gravitational energy of an isolated system is nonnegative, and can only be zero when the system has no gravitating objects. Although these statements are often thought of as being primarily physical in nature, they can be formalized as mathematical theorems which can be proven using techniques of differential geometry, partial differential equations, and geometric measure theory.

The **Knaster–Kuratowski–Mazurkiewicz lemma** is a basic result in mathematical fixed-point theory published in 1929 by Knaster, Kuratowski and Mazurkiewicz.

The **gradient theorem**, also known as the **fundamental theorem of calculus for line integrals**, says that a line integral through a gradient field can be evaluated by evaluating the original scalar field at the endpoints of the curve. The theorem is a generalization of the fundamental theorem of calculus to any curve in a plane or space rather than just the real line.

In mathematics, the **differential geometry of surfaces** deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives: *extrinsically*, relating to their embedding in Euclidean space and *intrinsically*, reflecting their properties determined solely by the distance within the surface as measured along curves on the surface. One of the fundamental concepts investigated is the Gaussian curvature, first studied in depth by Carl Friedrich Gauss, who showed that curvature was an intrinsic property of a surface, independent of its isometric embedding in Euclidean space.

In mathematics, the **Schoenflies problem** or **Schoenflies theorem**, of geometric topology is a sharpening of the Jordan curve theorem by Arthur Schoenflies. For Jordan curves in the plane it is often referred to as the **Jordan–Schoenflies theorem.**

The **analyst's traveling salesman problem** is an analog of the traveling salesman problem in combinatorial optimization. In its simplest and original form, it asks under what conditions may a set *E* in two-dimensional Euclidean space be contained inside a rectifiable curve of finite length. So while in the original traveling salesman problem, one asks for the shortest way to visit every vertex in a graph with a discrete path, this analytical version requires the curve to visit perhaps infinitely many points.

In mathematics, the **dyadic cubes** are a collection of cubes in **R**^{n} of different sizes or scales such that the set of cubes of each scale partition **R**^{n} and each cube in one scale may be written as a union of cubes of a smaller scale. These are frequently used in mathematics as a way of discretizing objects in order to make computations or analysis easier. For example, to study an arbitrary subset of *A* of Euclidean space, one may instead replace it by a union of dyadic cubes of a particular size that cover the set. One can consider this set as a pixelized version of the original set, and as smaller cubes are used one gets a clearer image of the set *A*. Most notable appearances of dyadic cubes include the Whitney extension theorem and the Calderón–Zygmund lemma.

In mathematics, a **planar Riemann surface** is a Riemann surface sharing the topological properties of a connected open subset of the Riemann sphere. They are characterized by the topological property that the complement of every closed Jordan curve in the Riemann surface has two connected components. An equivalent characterization is the differential geometric property that every closed differential 1-form of compact support is exact. Every simply connected Riemann surface is planar. The class of planar Riemann surfaces was studied by Koebe who proved in 1910 as a generalization of the uniformization theorem that every such surface is conformally equivalent to either the Riemann sphere or the complex plane with slits parallel to the real axis removed.

- Berg, Gordon O.; Julian, W.; Mines, R.; Richman, Fred (1975), "The constructive Jordan curve theorem",
*Rocky Mountain Journal of Mathematics*,**5**(2): 225–236, doi: 10.1216/RMJ-1975-5-2-225 , ISSN 0035-7596, MR 0410701 - Filippov, A. F. (1950), "An elementary proof of Jordan's theorem" (PDF),
*Uspekhi Mat. Nauk*(in Russian),**5**(5): 173–176 - Hales, Thomas C. (2007a), "The Jordan curve theorem, formally and informally",
*The American Mathematical Monthly*,**114**(10): 882–894, ISSN 0002-9890, MR 2363054 - Hales, Thomas (2007b), "Jordan's proof of the Jordan Curve theorem" (PDF),
*Studies in Logic, Grammar and Rhetoric*,**10**(23) - Jordan, Camille (1887),
*Cours d'analyse*(PDF), pp. 587–594 - Maehara, Ryuji (1984), "The Jordan Curve Theorem Via the Brouwer Fixed Point Theorem",
*The American Mathematical Monthly*,**91**(10): 641–643, doi:10.2307/2323369, ISSN 0002-9890, JSTOR 2323369, MR 0769530 - Narens, Louis (1971), "A nonstandard proof of the Jordan curve theorem",
*Pacific Journal of Mathematics*,**36**: 219–229, doi: 10.2140/pjm.1971.36.219 , ISSN 0030-8730, MR 0276940 - Osgood, William F. (1903), "A Jordan Curve of Positive Area",
*Transactions of the American Mathematical Society*,**4**(1): 107–112, doi: 10.2307/1986455 , ISSN 0002-9947, JFM 34.0533.02, JSTOR 1986455 - Ross, Fiona; Ross, William T. (2011), "The Jordan curve theorem is non-trivial",
*Journal of Mathematics and the Arts*,**5**(4): 213–219, doi:10.1080/17513472.2011.634320 . author's site - Sakamoto, Nobuyuki; Yokoyama, Keita (2007), "The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic",
*Archive for Mathematical Logic*,**46**(5): 465–480, doi:10.1007/s00153-007-0050-6, ISSN 0933-5846, MR 2321588 - Thomassen, Carsten (1992), "The Jordan–Schönflies theorem and the classification of surfaces",
*American Mathematical Monthly*,**99**(2): 116–130, doi:10.2307/2324180, JSTOR 2324180 - Tverberg, Helge (1980), "A proof of the Jordan curve theorem" (PDF),
*Bulletin of the London Mathematical Society*,**12**(1): 34–38, CiteSeerX 10.1.1.374.2903 , doi:10.1112/blms/12.1.34 - Veblen, Oswald (1905), "Theory on Plane Curves in Non-Metrical Analysis Situs",
*Transactions of the American Mathematical Society*,**6**(1): 83–98, doi: 10.2307/1986378 , JSTOR 1986378, MR 1500697

- M.I. Voitsekhovskii (2001) [1994], "Jordan theorem",
*Encyclopedia of Mathematics*, EMS Press - The full 6,500 line formal proof of Jordan's curve theorem in Mizar.
- Collection of proofs of the Jordan curve theorem at Andrew Ranicki's homepage
- A simple proof of Jordan curve theorem (PDF) by David B. Gauld
- Brown, R.; Antolino-Camarena, O. (2014). "Corrigendum to "Groupoids, the Phragmen-Brouwer Property, and the Jordan Curve Theorem", J. Homotopy and Related Structures 1 (2006) 175-183". arXiv: 1404.0556 .

This page is based on this Wikipedia article

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.