On transfinite extension of asymptotic dimension (Q989111)

This paper concerns the transfinite extensions of the asymptotic dimension \(\mathrm {asdim}\) defined by [\textit{M. Gromov}, Asymptotic invariants of infinite groups. Volume 2. London Mathematical Society Lecture Note Series. 182. Cambridge: Cambridge University Press. (1993; Zbl 0841.20039)] and the asymptotic small inductive dimension \(\mathrm {asind}\) defined by \textit{A. Dranishnikov} [JP J. Geom. Topol. 1, No.~3, 239--247 (2001; Zbl 1059.54024)]. In an earlier paper [Colloq. Math. 106, No.~1, 57--67 (2006; Zbl 1104.54015)], the author considered the transfinite extension \(\mathrm {trasInd}\) of the asymptotic large inductive dimension \(\mathrm {asInd}\) defined by \textit{A. Dranishnikov} [loc. cit.], and showed that the extension is trivial. In the first half of the paper the author shows that the transfinite extension \(\mathrm {trasind}\) of \(\mathrm {asind}\) is trivial. Precisely, for any proper metric space \(X\), \(\mathrm {trasind} X < \infty\) implies \(\mathrm {asind} X < \infty\). In the second half, the author uses the set-theoretic construction used by \textit{P. Borst} [Fundam. Math. 130, No.~1, 1--25 (1988; Zbl 0661.54035); Topology Appl. 154, No.~3, 665--674 (2007; Zbl 1116.54018)] to define the transfinite extension \(\mathrm {trasdim}\) of \(\mathrm {asdim}\). The author shows that the transfinite extension is not trivial by constructing a proper metric space \(L_{\omega}\) such that \(\mathrm {trasdim}\,L_{\omega} = \omega\), where \(\omega\) is the first infinite ordinal. He relates \(\mathrm {trasdim}\) to the asymptotic property C introduced by \textit{A. Dranishinikov} [Russ. Math. Surv. 55, No.~6, 1085--1129 (2000; Zbl 1028.54032)]. Precisely, a metric space \(X\) has the asymptotic property C iff \(\mathrm {trasdim} X < \infty\). Moreover, he constructs a proper metric space \(L_{\infty}\) such that \(\mathrm {trasdim}\,L_{\infty} = \infty\), and shows that \(\mathrm {trasdim}\) admits only countable values, i.e., for any metric space \(X\), \(\mathrm {trasdim} X < \infty\) implies \(\mathrm {trasdim} X < \omega_1\), where \(\omega_1\) is the first uncountable ordinal.