Jordan curve theorem 267444 225039201 2008-07-11T16:21:06Z Mdotley 1636825 /* Theorem and proof */ Added precision to last part of theorem's statement In [[topology]], the '''Jordan curve theorem''' states that every non-self-intersecting [[Loop (topology)|loop]] in the plane divides the plane into an "inside" and an "outside". It was proved by [[Oswald Veblen]] in 1905. == Theorem and proof == The precise mathematical statement is as follows. <blockquote> Let ''c'' be a [[curve|simply-closed curve]] (i.e. a Jordan curve) in the plane '''R'''<sup>2</sup>. Then the [[complement (set theory)|complement]] of the [[image (mathematics)|image]] of ''c'' consists of two distinct [[connected space|connected components]]. One of these components is [[bounded set|bounded]] (the interior) and the other is unbounded (the exterior). The image of ''c'' is the boundary of each component. </blockquote> The statement of the Jordan curve theorem seems obvious, but it was a very difficult theorem to prove. It was easy to establish the result for simple curves such as polygonal lines but the problem came in generalising it for all kind of curves which included nowhere differentiable curves such as the [[Koch snowflake]]. The first to attempt a proof was [[Bernard Bolzano]], followed by a number of other mathematicians including [[Camille Jordan]], after whom the theorem is named (although his proof was wrong as well). [[Oswald Veblen]] finally proved the theorem in 1905. Several alternative proofs have been found since then. A rigorous 6,500-line formal proof of the Jordan curve theorem was produced in 2005 by an international team of mathematicians using the [[Mizar system]]. == Generalizations == There is a generalisation of the Jordan curve theorem to higher dimensions. <blockquote> Let ''X'' be a continuous, injective mapping of the sphere S<sup>n</sup> into '''R'''<sup>n+1</sup>. Then the [[complement_(set theory)|complement]] of the [[image]] of ''X'' consists of two distinct [[connected space|connected components]]. One of these components is [[bounded set|bounded]] (the interior) and the other is unbounded (the exterior). The image of X is their common boundary. </blockquote> There is a generalisation of the Jordan curve theorem called the [[Jordan-Schönflies theorem]] which states that any Jordan curve in the plane can be extended to a [[homeomorphism]] of the plane. This is a much stronger statement than the Jordan curve theorem. This generalisation is false in higher dimensions, and a famous counterexample is [[Alexander's horned sphere]]. The unbounded component of the complement of Alexander's horned sphere is not [[simply connected]], and so the mapping of Alexander's horned sphere cannot be extended to all of '''R'''<sup>3</sup>. Another generalization of the Jordan curve theorem states that if ''M'' is any [[compact space|compact]], connected boundaryless ''n''-dimensional sub-manifold of '''R'''<sup>n+1</sup>, then ''M'' separates '''R'''<sup>n+1</sup> into two regions: one compact, the other non-compact. == References == * Oswald Veblen, ''Theory on plane curves in non-metrical analysis situs'', Transactions of the American Mathematical Society 6 (1905), pp. 83&ndash;98. * Ryuji Maehara, ''The Jordan curve theorem via the Brouwer fixed point theorem'', American Mathematical Monthly 91 (1984), no. 10, pp. 641&ndash;643. == External links == * [http://e-learn.mine.nu/mizar/mml/jordan.miz The full 6,500 line formal proof of Jordan's curve theorem] in [[Mizar system|Mizar]]. * [http://www.maths.ed.ac.uk/~aar/jordan Historical material relating to the Jordan curve theorem] * [http://www.math.auckland.ac.nz/class750/section5.pdf A simple proof of Jordan curve theorem] (PDF) [[Category:Topology]] [[Category:Mathematical theorems]] [[de:Jordanscher Kurvensatz]] [[fr:Théorème de Jordan]] [[it:Teorema della curva di Jordan]] [[hu:Jordan-féle görbetétel]] [[ja:ジョルダン曲線定理]] [[pl:Krzywa Jordana]] [[pt:Teorema da curva de Jordan]] [[ru:Теорема Жордана]]