On the space of open maps of the Cantor set (Q6187924)

This is a reprint of \textit{K. M. Koporkh} and \textit{M. M. Zarichnyi} [Mat. Metody Fiz.-Mekh. Polya 64, No. 1, 15--20 (2021; Zbl 07710789)]. For the main result of this paper, all spaces considered are compact metrizable. Suppose \(f_1 : X \to Y_1\) and \(f_2 : X \to Y_2\) are continuous surjections where \(X\), \(Y_1\), and \(Y_2\) are compact metric spaces. We write \(f_1 \sim f_2\) if there exists a homeomorphism \(h : Y_1 \to Y_2\) such that \(f_2 = h \circ f_1\). So then let \(\langle f \rangle\) denote the \(\sim\)-equivalence class (consisting of continuous open surjections) of the continuous open surjection \(f : X \to Y\). Finally, \(\Psi(X)\) is the collection of all \(\sim\)-equivalences for continuous open surjections. As mentioned in this paper, by considering the sets of fibers \(f^{-1}(y)\), \(\Psi(X)\) can be identified with \[ \{ \mathcal A \in \mathrm{exp}^2\, X : \mathcal A \text{ is a partition of } X \} \] where \(\mathrm{exp}\, Y\) is the hyperspace of closed subsets of \(Y\) endowed with the Vietoris topology. Hence, the topology on \(\Psi(X)\) is the topology it inherits as a subspace of \(\mathrm{exp}^2\, X = \mathrm{exp}\,\mathrm{exp}\, X\). Let \(C\) denote the middle-thirds Cantor set. The purpose of this paper is to prove that \(\Psi(C)\) is homeomorphic to the space of irrational numbers. This is accomplished by showing that \(\Psi(C)\) is a non-empty topologically complete, nowhere locally compact, zero-dimensional space. Note that \(\mathrm{exp}^2\, C\) is a compact zero-dimensional metrizable space, so \(\Psi(C)\) is zero-dimensional. Proposition 2 of the paper demonstrates that \(\Psi(X)\) is a \(G_\delta\) subset of \(\mathrm{exp}^2\, X\) for any compact metrizable \(X\). Hence, \(\Psi(C)\) is topologically complete. Finally, Proposition 4 asserts that \(\Psi(C)\) is nowhere locally compact.