Characterizing stable complete Erdős space (Q1758968): Difference between revisions

The complete Erdős space \(\mathfrak E_c\) is the subset of \(\ell^2\) formed by all sequences \(x=(x_i)\) such that \(x_i\in\{0\}\cup\{1/n: n\in \mathbb N\}\) for all \(i\). In this paper, the author studies the countable product \(\mathfrak E_c^\omega\), which he calls the stable Erdős space. He gives a topological characterization of this space and proves that every \(\sigma\)-compact subset of \(\mathfrak E_c^\omega\) is negligible. He proves that a non empty metrizable and separable space \(X\) admits a closed imbedding in \(\mathfrak E_c^\omega\) if and only if it is almost zero-dimensional and complete; in this case, the product \(X\times\mathfrak E_c^\omega\) is homeomorphic to \(\mathfrak E_c^\omega\). He also proves that the space \(\mathfrak E_c^\omega\) is countable dense homogeneous.