Jordan curve theorem

In topology, the Jordan curve theorem states that every non-self-intersecting loop in the plane divides the plane into an "inside" and an "outside". The precise mathematical statement is as follows.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Let c be a simple closed curve (i.e. a Jordan curve) in the plane R2. Then the complement of the image of c consists of two distinct connected components. One of these components is bounded (the interior) and the other is unbounded (the exterior). Also, c is the boundary of each component.

Related Topics:
Simple closed - Jordan curve - Complement - Image - Connected components - Bounded

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

The statement of the Jordan curve theorem seems obvious, but it is a very difficult theorem to prove. 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. None could provide a correct proof, until Oswald Veblen finally did so in 1905.

Related Topics:
Bernard Bolzano - Camille Jordan - Oswald Veblen - 1905

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

There is a generalisation of the Jordan curve theorem to higher dimensions.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Let X be a continuous, injective mapping of the sphere Sn into Rn+1. Then the complement of the image of X consists of two distinct connected components. One of these components is bounded (the interior) and the other is unbounded (the exterior). The image of X is their common boundary.

Related Topics:
Complement - Image - Connected components - Bounded

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

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 R3.

Related Topics:
Jordan-Schönflies theorem - Homeomorphism - Alexander's horned sphere - Simply connected

~ ~ ~ ~ ~ ~ ~ ~ ~ ~