Borel Measurable Hahn-Mazurkiewicz Theorem
General Topology
2022-11-30 v1 Logic
Abstract
It is well known due to Hahn and Mazurkiewicz that every Peano continuum is a continuous image of the unit interval. We prove that an assignment, which takes as an input a Peano continuum and produces as an output a continuous mapping whose range is the Peano continuum, can be realized in a Borel measurable way. Similarly, we find a Borel measurable assignment which takes any nonempty compact metric space and assigns a continuous mapping from the Cantor set onto that space. To this end we use the Burgess selection theorem. Finally, a Borel measurable way of assigning an arc joining two selected points in a Peano continuum is found.
Keywords
Cite
@article{arxiv.2211.16476,
title = {Borel Measurable Hahn-Mazurkiewicz Theorem},
author = {Jan Dudák and Benjamin Vejnar},
journal= {arXiv preprint arXiv:2211.16476},
year = {2022}
}
Comments
14 pages