APD profiles and transfinite asymptotic dimension
\textit{T. Radul} [Topology Appl. 157, No. 14, 2292--2296 (2010; Zbl 1198.54064)] defined a transfinite extension of asymptotic dimension of \textit{M. Gromov} [Geometric group theory. Volume 2: Asymptotic invariants of infinite groups. Cambridge University Press (1993; Zbl 0841.20039)], which is called the transfinite asymptotic dimension \(\text{trasdim}\, X\) for a metric space \(X\). On the other hand, \textit{J. Dydak} [Rev. Mat. Complut. 33, No. 2, 373--388 (2020; Zbl 1443.54013)] introduced the notion of (integral) APD profile to define asymptotic property D for \(\infty\)-pseudometric spaces, where an \(\infty\)-pseudometric means a possibly infinite-valued pseudometric. In fact, an \(\infty\)-pseudometric space is said to have asymptotic property D if it has an (integral) APD profile. Note that asymptotic property D is weaker than finite asymptotic dimension and stronger than asymptotic property C introduced by \textit{A. N. Dranishnikov} [Russ. Math. Surv. 55, No. 6, 1085--1129 (2000; Zbl 1028.54032); translation from Usp. Mat. Nauk 55, No. 6, 71--116 (2000)]. Dydak [loc. cit., Question 5.15] asked whether there is a metric space having asymptotic property C but not having asymptotic property D. Let \(\mathbb{N}\) be the set of all positive integers and \(\omega\) the first infinite ordinal number. In this paper, the author proves the following theorems which relate transfinite asymptotic dimensions and integral APD profiles: (Theorem 4.2) Let \(n\) be a non-negative integer. An \(\infty\)-pseudometric space \(X\) has an integral APD profile \((n+1,f)\) for some non-decreasing function \(f: \mathbb{N} \to \mathbb{N}\) if and only if \(\text{trasdim}\, X \leq \omega + n\). (Theorem 4.4) Let \(n\) be a non-negative integer and \(m \in \mathbb{N}\). If an \(\infty\)-pseudometric space \(X\) has an integral APD profile \((n+1,\alpha_1, \dots, \alpha_m)\) for some non-decreasing functions \(\alpha_1, \dots , \alpha_m : \mathbb{N} \to \mathbb{N}\), then \(\text{trasdim}\, X \leq m\cdot \omega +n\). (Corollary 4.5) If an \(\infty\)-pseudometric space \(X\) has asymptotic property D, then \(\text{trasdim}\, X < \omega\cdot\omega\). \textit{Y. Wu} et al. [``On metric spaces with given transfinite asymptotic dimensions, Preprint, \url{arXiv:2007.07416}] have shown that for every countable ordinal number \(\xi\) there exists a metric space \(X_\xi\) with \(\text{trasdim}\, X_\xi =\xi\). This and Corollary 4.5 give an affirmative answer to the above question of J. Dydak.
- Transfinite asymptotic dimension and APD profiles
- A metric space with its transfinite asymptotic dimension \(\omega + 1\)
- On metric spaces with given transfinite asymptotic dimensions
- Classification of metric spaces with infinite asymptotic dimension
- A metric space with transfinite asymptotic dimension \(2\omega+1\)
- The relationship between asymptotic decomposition properties
- On transfinite extension of asymptotic dimension
- Property A and asymptotic dimension
- Transfinite Hausdorff dimension
- On the asymptotic extension dimension
- A metric space with its transfinite asymptotic dimension \(\omega + 1\)
- Asymptotic topology
- Classification of weakly infinite-dimensional spaces. Part I: A transfinite extension of the covering dimension
- Matrix algebra of sets and variants of decomposition complexity
- On metric spaces with given transfinite asymptotic dimensions
- On transfinite extension of asymptotic dimension
This page was built for publication: APD profiles and transfinite asymptotic dimension
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2215692)
