The pseudo‑arc is a topological continuum—i.e., a compact, connected metric space—characterized by several distinctive properties that make it a central object of study in continuum theory and geometric topology. First constructed by R. H. Bing in 1948, the pseudo‑arc serves as the canonical example of a hereditarily indecomposable, chainable, and homogeneous continuum.
Definition and Construction
A continuum $X$ is called indecomposable if it cannot be expressed as the union of two proper subcontinua. It is hereditarily indecomposable if every subcontinuum of $X$ is indecomposable. The pseudo‑arc is the unique (up to homeomorphism) non‑degenerate continuum that satisfies the following equivalent conditions:
- $X$ is hereditarily indecomposable and chainable (i.e., for every $\varepsilon>0$ there exists an $\varepsilon$-chain covering $X$ by overlapping open sets of diameter less than $\varepsilon$).
- Every non‑degenerate subcontinuum of $X$ is homeomorphic to $X$ itself.
Bing’s original construction proceeds through an inverse limit of a sequence of “tent maps’’ on the unit interval, each approximating a crooked arc in such a way that the limiting space inherits hereditary indecomposability while remaining arc‑like. Later constructions use inverse limits of simple closed curves with bonding maps that are “crooked” embeddings.
Key Properties
| Property | Description |
|---|---|
| Homogeneity | For any two points $p,q\in X$ there exists a homeomorphism $h:X\to X$ with $h(p)=q$. |
| Self‑similarity | Every non‑degenerate subcontinuum of $X$ is homeomorphic to $X$. |
| Chainability | $X$ can be approximated arbitrarily closely by finite chains of overlapping open sets. |
| Arc‑likeness | The pseudo‑arc is arc‑like: for every $\varepsilon>0$ there exists a map from $X$ onto an arc whose fibers have diameter less than $\varepsilon$. |
| Zero Lebesgue measure | In any embedding of the pseudo‑arc in $\mathbb{R}^{2}$, it has planar Lebesgue measure zero. |
| No simple closed curves | The pseudo‑arc contains no simple closed curve (Jordan curve) as a subspace. |
| Non‑planar embeddability | While the pseudo‑arc can be embedded in the plane, many of its embeddings are highly non‑tame; nevertheless, every planar embedding is a wild continuum. |
Historical Context
- 1948 – R. H. Bing introduced the pseudo‑arc in “A homogeneous indecomposable plane continuum” (American Journal of Mathematics).
- 1970s–1980s – Subsequent work by J. M. Henderson, W. J. Charatonik, and others clarified its homogeneity and established that the pseudo‑arc is the unique homogeneous, hereditarily indecomposable, chainable continuum.
- 1990s–present – Research has explored variations such as the pseudo‑circle and higher‑dimensional analogues, as well as applications to dynamical systems (e.g., as attractors of certain one‑dimensional maps).
Significance in Topology
The pseudo‑arc illustrates the contrast between local and global topological behavior: locally it resembles an interval (being arc‑like), yet globally it lacks any arc‑like substructure, being indecomposable at every scale. Its homogeneity makes it a counterexample to several naive conjectures about the relationship between symmetry and decomposability. Moreover, the pseudo‑arc appears as the generic attractor in the space of all planar continua under the Hausdorff metric, emphasizing its prevalence in the topological universe.
Related Concepts
- Pseudo‑circle – A planar, hereditarily indecomposable continuum that is not chainable.
- Chainable continuum – Also called a snake‑like continuum; the pseudo‑arc is the prototypical example.
- Homogeneous continuum – A continuum where any two points are topologically indistinguishable; other examples include the circle and the Cantor set.
References (selected)
- R. H. Bing, “A homogeneous indecomposable plane continuum,” American Journal of Mathematics, vol. 70, 1948, pp. 305–322.
- W. J. Charatonik, “The pseudo‑arc and the pseudo‑circle,” in Handbook of Geometric Topology, 2002.
- J. M. Henderson, “The theory of continua,” Proceedings of the International Congress of Mathematicians, 1978.
See also
- Continuum theory
- Indecomposable continuum
- Homogeneous spaces
The pseudo‑arc remains an active object of research, particularly in the study of dynamical systems, inverse limit spaces, and the classification of homogeneous continua.