Continuous reducibility and dimension of metric spaces

DOI10.1007/S00153-017-0571-6MaRDI QIDQ6284935arXivFDO

Authors Philipp Schlicht

Publication date 29 March 2017

Mathematics Subject Classification ID

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

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.

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)