Preserving coarse properties (Q262645): Difference between revisions

A map between metric spaces is called bornologous with control \(C\) if the image of every \(r\)-bounded set is \(C(r)\)-bounded. A bornologous map \(F:X\to Y\) between metric spaces is said to be coarsely \(n\)-to-\(1\) with control \(C\) if there is some function \(C:[0,\infty)\to [0,\infty)\) such that every subset \(B\subset Y\) with \(\mathrm{diam}(B)\leq r\) has the property that \(f^{-1}(B)\) can be expressed as \(f^{-1}(B)=\bigcup_{n=1}^n A_i\), where \(\mathrm{diam}(A_i)\leq C(r)\), for each \(i\). This class of functions was introduced by \textit{T. Miyata} and \textit{Ž. Virk} [Fundam. Math. 223, No. 1, 83--97 (2013; Zbl 1288.54025)]. The current paper is concerned with the extent to which coarse properties of metric spaces are preserved or co-preserved by classes of functions. The most important class of functions are the coarsely \(n\)-to-\(1\) functions. A coarse property \(\mathcal{P}\) is said to be preserved by a class of functions \(\{f:X\to Y\}\) if \(f(X)\) has \(\mathcal{P}\) whenever \(X\) has \(\mathcal{P}\). A property \(\mathcal{P}\) is co-preserved if \(X\) has \(\mathcal{P}\) whenever \(f(X)\) has \(\mathcal{P}\). The properties under consideration in this paper are coarse dimension-like properties such as finite asymptotic dimension, asymptotic property C, straight finite decomposition complexity, and the metric sparsification property. Among the results the authors obtain are the coincidence of the countable asymptotic dimension and the straight finite decomposition complexity and a characterization of asymptotic property C showing its similarity to countable asymptotic dimension.