2 added 28 characters in body

A guess

In $l^2$ Hilbert space, consider the set $E$ of points with all coordinates rational. Erdös (reference) showed that $E$ has topological dimension $1$. (In separable metric space, all notions of topological dimension coincide.)

Does this $E$ have the property that every compact subset is zero-dimensional? This space (and thus any subset of it) is totally disconnected, and isn't it the case that for compact (metric) spaces, this implies zero-dimensinal?

1

A guess

In $l^2$ Hilbert space, consider the set $E$ of points with all coordinates rational. Erdös (reference) showed that $E$ has topological dimension $1$. (In separable metric space, all notions of topological dimension coincide.)

Does this $E$ have the property that every compact subset is zero-dimensional? This space is totally disconnected, and isn't it the case that for compact (metric) spaces, this implies zero-dimensinal?