The dimension of the rational points in Hilbert space (Q2646988)

Let \(H\) denote the Hilbert space of all sequences of real numbers \((x_1,x_2,...)\) such that \(\sum_{i=1}^\infty x^2_i < \infty\). Let \(R\) be the set of points of \(H\) having all coordinates rational. Let \(R_0\) be the set of points of \(H\) of the form \(\left({1\over n_1}, {1\over n_2}, \cdots \right)\), where the \(n_i\) are positive integers. Let \(R_1\) be the closure of \(R_0\). The author shows that \(R_0,R_1\) and \(R\) have the dimension 1. As the cartesian product \(R_1 \times R_1\) is homeomorphic to \(R_1\), it follows that there exists a metric separable complete space \(X\) such that \(X\) and \(X \times X\) have dimension 1.