Borel measurable Hahn-Mazurkiewicz theorem (Q6044442)

The main results of this paper provide Borel measurable ways to the following classical results: every nonempty compact metrizable space is a~continuous image of the Cantor set~\(\mathcal{C}\); every Peano continuum is a~continuous image of~\([0,1]\); and any two distinct points in a~Peano continuum are end-points of an arc. More exactly, the authors prove that there are Borel mappings that (a)~to every compact space~\(K\) in the Hilbert unit cube \([0,1]^\mathbb{N}\) assign a~continuous surjection \(f:C\to K\); (b)~to every Peano continuum~\(K\) in \([0,1]^\mathbb{N}\) assign a~continuous surjection \(f:[0,1]\to K\); and (c)~to every Peano continuum~\(K\) in \([0,1]^\mathbb{N}\) and any distinct points \(x,y\in K\) assign an arc contained in~\(K\) with end-points \(x\) and~\(y\). Case (a) is an application of a~selection theorem by \textit{J. P. Burgess} [Pac. J. Math. 80, 333--336 (1979; Zbl 0381.54009)], the proof of Case (b) follows a~proof of the Hahn-Mazurkiewicz theorem, and Case~(c) is a~non-trivial consequence of~(b).