The Cantor set is a classic example of a fractal and a perfect, totally disconnected, compact subset of the real line. It is constructed by iteratively removing the open middle third of a line segment, beginning with the closed interval $[0,1]$.
Construction
- Start with $C_0 = [0,1]$.
- At step $n\ge 1$, obtain $C_n$ by removing the open middle third from each closed interval that composes $C_{n-1}$.
- After the first step, $C_1 = [0,\tfrac{1}{3}] \cup [\tfrac{2}{3},1]$.
- After the second step, $C_2 = [0,\tfrac{1}{9}] \cup [\tfrac{2}{9},\tfrac{1}{3}] \cup [\tfrac{2}{3},\tfrac{7}{9}] \cup [\tfrac{8}{9},1]$, and so on.
- The Cantor set $C$ is the intersection of all stages:
$$ C = \bigcap_{n=0}^{\infty} C_n . $$
Topological and Measure-Theoretic Properties
- Compactness – As the intersection of a nested sequence of non‑empty compact sets, $C$ is compact.
- Perfectness – Every point of $C$ is a limit point of $C$; there are no isolated points.
- Totally disconnected – There is no interval of positive length contained in $C$; any two distinct points can be separated by disjoint open sets that avoid $C$.
- Uncountability – Although its total length (Lebesgue measure) is zero, $C$ contains as many points as the real line; a bijection exists between $C$ and the set of all infinite binary sequences.
- Zero Lebesgue measure – The total length removed sums to $1$: $\sum_{k=0}^{\infty} \frac{2^{k}}{3^{k+1}} = 1$. Hence the remaining set has measure 0.
- Self‑similarity – $C$ is invariant under the similarity maps $x \mapsto \tfrac{x}{3}$ and $x \mapsto \tfrac{2}{3} + \tfrac{x}{3}$. It is a classic example of a self‑similar fractal with Hausdorff dimension $\log 2 / \log 3 \approx 0.6309$.
Alternative Characterisations
- Ternary representation – A real number $x\in[0,1]$ belongs to the Cantor set iff it can be expressed in base‑3 using only the digits 0 and 2. Numbers that admit two ternary expansions (e.g., $0.022222\ldots = 0.1$ in base‑3) are included if at least one representation uses only 0 and 2.
- Binary mapping – The map that replaces each ternary digit 0 by binary 0 and each ternary digit 2 by binary 1 gives a homeomorphism between the Cantor set and the space of all infinite binary sequences ${0,1}^{\mathbb{N}}$ (the Cantor space).
Historical Note The set is named after the German mathematician Georg Cantor, who introduced it in 1883 while developing his theory of point sets and demonstrating that not all infinite subsets of $\mathbb{R}$ have the same cardinality.
Applications and Relevance
- Real analysis – Provides counter‑examples, such as a function continuous everywhere but differentiable nowhere (the Cantor function) that is constant on the complement of the Cantor set.
- Dynamical systems – Appears as an invariant set for certain chaotic maps.
- Topology – Serves as a prototypical compact, totally disconnected, perfect metric space (often called “Cantor space”).
References
- G. Cantor, “Über unendliche, lineare Punktmannichfaltigkeiten” (1883).
- K. Falconer, Fractal Geometry: Mathematical Foundations and Applications, Wiley, 2014.
- J. Munkres, Topology, 2nd ed., Prentice Hall, 2000.
These sources provide rigorous definitions, proofs of the listed properties, and further discussion of the Cantor set’s role in mathematics.
