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