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