ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F7865 on D795: Standard Hilbert cube
F7865
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}