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
▼ Map
▼ Cartesian product
▼ Hilbert cube
Definition D795
Standard Hilbert cube
Formulation 0
Let $\mathbb{N}$ be the D225: Set of natural numbers.
The standard Hilbert cube is the D11: Set \begin{equation} \prod_{n \in \mathbb{N} + 1} [0, 1 / n] \end{equation}
Formulation 1
Let $\mathbb{N}$ be the D225: Set of natural numbers.
The standard Hilbert cube is the D11: Set \begin{equation} \prod_{n = 1}^{\infty} \textstyle [0, \frac{1}{n}] \end{equation}
Formulation 2
Let $\mathbb{N}$ be the D225: Set of natural numbers.
The standard Hilbert cube is the D11: Set \begin{equation} \textstyle [0, 1] \times [0, \frac{1}{2}] \times [0, \frac{1}{3}] \times [0, \frac{1}{4}] \times \cdots \end{equation}