Alexander horned sphere

From Wikipedia, the free encyclopedia

The Alexander horned sphere is one of the most famous pathological examples in mathematics discovered in 1924 by J. W. Alexander. It is the particular embedding of a sphere in 3-dimensional Euclidean space obtained by removing a radial slice of a standard torus and attaching a new standard (punctured) torus to each side of the cut that interlocks with the new torus on the other side, then repeating the same construction ad infinitum on the new tori. By considering only the points of the tori that are not removed at some stage, an embedding results of the sphere with a Cantor set removed. This embedding extends to the whole sphere, since points approaching two given points of the Cantor set will be at least a fixed distance apart in the construction.

The horned sphere, together with its inside, is a topological 3-ball, the Alexander horned ball, and so is simply-connected, i.e., every loop can be shrunk to a point while staying inside. The exterior is not simply connected, unlike the exterior of the usual round sphere; a loop linking a torus in the above construction cannot be shrunk to a point without touching the horned sphere. This shows that the Jordan-Schönflies theorem does not hold in three dimensions, as Alexander had originally thought. Alexander also proved that the theorem does hold in three dimensions for piecewise linear/smooth embeddings. This is one of the earliest examples where the need for distinction between the TOP (topological), DIFF (differentiable), and PL (piecewise linear) categories was noticed.

Now consider Alexander's horned sphere as an embedding into the 3-sphere, considered as the one-point compactification of the 3-dimensional Euclidean space R³. The closure of the non-simply connected domain is called the solid Alexander horned sphere. Although the solid horned sphere is not a manifold, RH Bing showed that its double is in fact the 3-sphere. One can consider other gluings of the solid horned sphere to a copy of it, arising from different homeomorphisms of the boundary sphere to itself. This was shown by others to also be the 3-sphere. The solid Alexander horned sphere is an example of a crumpled cube, i.e. a closed complementary domain of the embedding of a 2-sphere into the 3-sphere. One can generalize Alexander's construction to generate other horned spheres by increasing the number of horns at each stage of Alexander's construction or considering the analogous construction in higher dimensions.

Other substantially different constructions exist for constructing such "wild" spheres. Another famous example, also due to Alexander, is Antoine's horned sphere, which is based on Antoine's necklace, a pathological embedding of the Cantor set into the 3-sphere.

[edit] See also

• Fox-Artin arc

[edit] External links

• J. W. Alexander. An Example of a Simply Connected Surface Bounding a Region which is not Simply Connected. Proceedings of the National Academy of Sciences 1924; 10(1): 8-10.
• Eric W. Weisstein. Alexander's Horned Sphere. From MathWorld - A Wolfram Web Resource. [1] - Gives a figure
• Zbigniew Fiedorowicz. Math 655 - Introduction to Topology. [2] - Lecture notes
• rotating animation