ThmDex – An index of mathematical definitions, results, and conjectures.
▼ Set of symbols
▼ Alphabet
▼ Deduction system
▼ Theory
▼ Zermelo-Fraenkel set theory
▼ Set
▼ Binary cartesian set product
▼ Binary relation
▼ Binary endorelation
▼ Preordering relation
▼ Partial ordering relation
▼ Ordering relation
▼ Ordered set
▼ Dedekind cut
▼ Set of real numbers
▼ Real number
▼ Cantor number
▼ Standard Cantor number
Definition D3731
Standard Cantor set
Formulation 2
The standard Cantor set is the D11: Set \begin{equation} \left\{ \sum_{n \in \{ 1, 2, 3, \ldots \}} \frac{a_n}{3^n} : a_1, a_2, a_3, \ldots \in \{ 0, 2 \} \right\} \end{equation}