Antoine's necklace

Last updated
Antoine's Necklace Iteration 1.png
First iteration
Antoine's Necklace Iteration 2.png
Second iteration
Renderings of Antoine's necklace

In mathematics Antoine's necklace is a topological embedding of the Cantor set in 3-dimensional Euclidean space, whose complement is not simply connected. It also serves as a counterexample to the claim that all Cantor spaces are ambiently homeomorphic to each other. It was discovered by LouisAntoine  ( 1921 ).

Contents

Construction

Antoine's necklace is constructed iteratively like so: Begin with a solid torus A0 (iteration 0). Next, construct a "necklace" of smaller, linked tori that lie inside A0. This necklace is A1 (iteration 1). Each torus composing A1 can be replaced with another smaller necklace as was done for A0. Doing this yields A2 (iteration 2).

This process can be repeated a countably infinite number of times to create an An for all n. Antoine's necklace A is defined as the intersection of all the iterations.

Properties

Since the solid tori are chosen to become arbitrarily small as the iteration number increases, the connected components of A must be single points. It is then easy to verify that A is closed, dense-in-itself, and totally disconnected, having the cardinality of the continuum. This is sufficient to conclude that as an abstract metric space A is homeomorphic to the Cantor set.

However, as a subset of Euclidean space A is not ambiently homeomorphic to the standard Cantor set C, embedded in R3 on a line segment. That is, there is no bi-continuous map from R3R3 that carries C onto A. To show this, suppose there was such a map h : R3R3, and consider a loop k that is interlocked with the necklace. k cannot be continuously shrunk to a point without touching A because two loops cannot be continuously unlinked. Now consider any loop j disjoint from C. j can be shrunk to a point without touching C because we can simply move it through the gap intervals. However, the loop g = h−1(k) is a loop that cannot be shrunk to a point without touching C, which contradicts the previous statement. Therefore, h cannot exist.

In fact, there is no homeomorphism of R3 sending A to a set of Hausdorff dimension < 1, since the complement of such a set must be simply-connected.

Antoine's necklace was used by James WaddellAlexander  ( 1924 ) to construct Antoine's horned sphere (similar to but not the same as Alexander's horned sphere).

See also

Related Research Articles

Compact space Type of mathematical space

In mathematics, specifically general topology, compactness is a property that generalizes the notion of a subset of Euclidean space being closed and bounded. Examples of compact spaces include a closed real interval, a union of a finite number of closed intervals, a rectangle, or a finite set of points. This notion is defined for more general topological spaces in various ways, which are usually equivalent in Euclidean space but may be inequivalent in other spaces.

Homeomorphism Isomorphism in topology (mathematics)

In the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphisms in the category of topological spaces—that is, they are the mappings that preserve all the topological properties of a given space. Two spaces with a homeomorphism between them are called homeomorphic, and from a topological viewpoint they are the same. The word homeomorphism comes from the Greek words ὅμοιος (homoios) = similar or same and μορφή (morphē) = shape or form, introduced to mathematics by Henri Poincaré in 1895.

Surface (topology) Two-dimensional manifold

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 mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set of points, along with a set of neighbourhoods for each point, satisfying a set of axioms relating points and neighbourhoods.

Algebraic topology Branch of mathematics

Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify up to homotopy equivalence.

In topology and related branches of mathematics, a topological space is called locally compact if, roughly speaking, each small portion of the space looks like a small portion of a compact space. More precisely, it is a topological space in which every point has a compact neighborhood.

In topology, a discrete space is a particularly simple example of a topological space or similar structure, one in which the points form a discontinuous sequence, meaning they are isolated from each other in a certain sense. The discrete topology is the finest topology that can be given on a set. Every subset is open in the discrete topology so that in particular, every singleton subset is an open set in the discrete topology.

In mathematics, a topological space is said to be a Baire space, if for any given countable collection of closed sets with empty interior in , their union also has empty interior in . Equivalently, a locally convex space which is not meagre in itself is called a Baire space. According to Baire category theorem, compact Hausdorff spaces and complete metric spaces are examples of a Baire space. Bourbaki coined the term "Baire space".

In topology and related branches of mathematics, a totally disconnected space is a topological space that is maximally disconnected, in the sense that it has no non-trivial connected subsets. In every topological space, the singletons are connected; in a totally disconnected space, these are the only connected proper subsets.

In mathematics, a Cantor space, named for Georg Cantor, is a topological abstraction of the classical Cantor set: a topological space is a Cantor space if it is homeomorphic to the Cantor set. In set theory, the topological space 2ω is called "the" Cantor space.

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.

Alexander horned sphere Topological embedding

The Alexander horned sphere is a pathological object in topology discovered by J. W. Alexander (1924).

Whitehead manifold

In mathematics, the Whitehead manifold is an open 3-manifold that is contractible, but not homeomorphic to J. H. C. Whitehead (1935) discovered this puzzling object while he was trying to prove the Poincaré conjecture, correcting an error in an earlier paper Whitehead where he incorrectly claimed that no such manifold exists.

Manifold Topological space that locally resembles Euclidean space

In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or n-manifold for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of n-dimensional Euclidean space.

In topology, a branch of mathematics, a topological manifold is a topological space which locally resembles real n-dimensional Euclidean space. Topological manifolds are an important class of topological spaces, with applications throughout mathematics. All manifolds are topological manifolds by definition. Other types of manifolds are formed by adding structure to a topological manifold. Every manifold has an "underlying" topological manifold, obtained by simply "forgetting" the added structure.

Solenoid (mathematics) Class of compact connected topological spaces

In mathematics, a solenoid is a compact connected topological space that may be obtained as the inverse limit of an inverse system of topological groups and continuous homomorphisms

Locally connected space

In topology and other branches of mathematics, a topological space X is locally connected if every point admits a neighbourhood basis consisting entirely of open, connected sets.

In the mathematical field of point-set topology, a continuum is a nonempty compact connected metric space, or, less frequently, a compact connected Hausdorff space. Continuum theory is the branch of topology devoted to the study of continua.

In mathematics, Erdős space is a topological space named after Paul Erdős, who described it in 1940. Erdős space is defined as a subspace of the Hilbert space of square summable sequences, consisting of the sequences whose elements are all rational numbers.

References

Further reading