English

Continuous reducibility and dimension of metric spaces

Logic 2017-06-14 v2

Abstract

If (X,d)(X,d) is a Polish metric space of dimension 00, then by Wadge's lemma, no more than two Borel subsets of XX can be incomparable with respect to continuous reducibility. In contrast, our main result shows that for any metric space (X,d)(X,d) of positive dimension, there are uncountably many Borel subsets of (X,d)(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,τ)(X,\tau) is called the \emph{Wadge quasi-order} for (X,τ)(X,\tau). We further show that this quasi-order, restricted to the Borel subsets of a Polish space (X,τ)(X,\tau), is a \emph{well-quasiorder (wqo)} if and only if (X,τ)(X,\tau) has dimension 00, 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.

Keywords

Cite

@article{arxiv.1703.10144,
  title  = {Continuous reducibility and dimension of metric spaces},
  author = {Philipp Schlicht},
  journal= {arXiv preprint arXiv:1703.10144},
  year   = {2017}
}