A metric space with its transfinite asymptotic dimension \(\omega + 1\) (Q2310798)

Transfinite asymptotic dimension (\(\mathrm{trasdim}\)) was introduced by \textit{T. Radul} [Topology Appl. 157, No. 14, 2292--2296 (2010; Zbl 1198.54064)] as a transfinite extension of the asymptotic dimension of \textit{M. Gromov} [Asymptotic invariants of infinite groups. Volume 2. Cambridge: Cambridge University Press (1993; Zbl 0841.20039)]. \textit{T. Banakh} et al. in [E. Pearl (ed.), Open problems in topology. II. Amsterdam: Elsevier (2007; Zbl 1158.54300)]) asked the following question: Find for each countable ordinal number \(\xi\) a metric space \(X_\xi\) with \(\mathrm{trasdim} X_\xi =X_\xi\). \textit{M. Satkiewicz} [``Transfinite asymptotic dimension'', Preprint, \url{arXiv:1310.1258}] conjectured that \(\omega \leq\mathrm{trasdim} X < \infty \) implies \(\mathrm{trasdim} X =\omega \), where \(\omega\) is the smallest infinite ordinal number. In this paper, the authors construct the first example of a metric space \(X_{\omega+1}\) satisfying \(\mathrm{trasdim} X_{\omega+1} ={\omega+1}\). In [Topology Appl. 238, 90--101 (2018; Zbl 1387.54019)], the authors introduced complementary-finite asymptotic dimension (\(\mathrm{coasdim}\)) as another transfinite extension of the asymptotic dimension, and proved that \(\mathrm{coasdim}\, X \leq \omega +k\) implies \(\mathrm{trasdim}\, X \leq \omega +k\) for every metric space \(X\), where \(k\) is a nonnegative integer. In this paper, the authors also prove that \(\mathrm{coasdim} X_{\omega+1} ={\omega+1}\) for the metric space \(X_{\omega+1}\).