The Vietoris hyperspace of finite sets of Erdős space (Q2670086)

The Erdős space \(\mathfrak C\) is the subspace of \(\ell^2\) given by \(\ell^2\cap \mathbb Q^\omega\), where \(\ell^2\) is the Hilbert space of the square-summable sequences of real numbers. Given a topological space \(X\), \(\mathcal F(X)\) denotes the collection of all finite nonempty subsets of \(X\) topologized by the Vietoris Topology, that is, \(\mathcal F(X)\) is the Vietoris hyperspace of finite subsets of \(X\). Given a positive integer \(n\), \(\mathcal F_n(X)\) is the finite subspace of \(\mathcal F(X)\) consisting of the sets of cardinality at most \(n\). In this short note the author proves the non-trivial result that \(\mathcal F(\mathfrak C)\) is homeomorphic to \(\mathfrak C\). In order to do that, he uses Theorem 8.13 of [\textit{J. J. Dijkstra} and \textit{J. van Mill}, Erdős space and homeomorphism groups of manifolds. Providence, RI: American Mathematical Society (AMS) (2010; Zbl 1204.57041)], which characterizes the Erdős space. The author had previously proven in [\textit{A. Zaragoza}, Topology Appl. 284, Article ID 107355, 10 p. (2020; Zbl 1457.54008)] that for every positive integer \(n\), \(\mathcal F_n(\mathfrak C)\) is homeomorphic to \(n\). In the present paper he also proves that \(\mathcal F_n(\mathbb Q^\omega)\) and \(\mathcal F(\mathbb Q^\omega)\) are homeomorphic to \(\mathbb Q^\omega\).