Continuous reducibility and dimension of metric spaces

DOI10.1007/S00153-017-0571-6arXiv1703.10144MaRDI QIDQ6284935FDOQ6284935

Authors: Philipp Schlicht 

Publication date: 29 March 2017

Abstract: If $(X,d)$ is a Polish metric space of dimension $0$, then by Wadge's lemma, no more than two Borel subsets of $X$ can be incomparable with respect to continuous reducibility. In contrast, our main result shows that for any metric space $(X,d)$ of positive dimension, there are uncountably many Borel subsets of $(X,d)$ that are pairwise incomparable with respect to continuous reducibility. The reducibility that is given by the collection of continuous functions on a topological space $(X,au)$ is called the emph{Wadge quasi-order} for $(X,au)$. We further show that this quasi-order, restricted to the Borel subsets of a Polish space $(X,au)$, is a emph{well-quasiorder (wqo)} if and only if $(X,au)$ has dimension $0$, as an application of the main result. Moreover, we give further examples of applications of the technique, which is based on a construction of graph colorings.

Mathematics Subject Classification ID

Descriptive set theory (03E15) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

This page was built for publication: Continuous reducibility and dimension of metric spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6284935)