On the \(l_p^\ast\)-equivalence of metric spaces (Q2033203)

Given a topological space \(X\), the expression \(C_p(X)\) stands for the set of all real-valued continuous functions on \(X\) endowed with the pointwise convergence topology and \(C^*_p(X)\) is the subspace of \(C_p(X)\) that consists of bounded functions. Two spaces \(X\) and \(Y\) are \(l_p\)-equivalent if \(C_p(X)\) is linearly homeomorphic to \(C_p(Y)\); if the spaces \(C^*_p(X)\) and \(C^*_p(Y)\) are linearly homeomorphic, then \(X\) and \(Y\) are called \(l^*_p\)-equivalent. A space \(X\) is scattered if every non-empty subspace of \(X\) has an isolated point. Given a scattered space \(X\), let \(X_0=X\); if \(\alpha\) is an ordinal and we have \(X_\alpha\), then \(X_{\alpha+1}\) is the set of non-isolated points of \(X_\alpha\). If \(\beta\) is a limit ordinal and we have \(X_\beta\) for every \(\beta<\alpha\), then \(X_\beta=\bigcap\{X_\alpha: \alpha<\beta\}\). The least ordinal \(\alpha\) such that \(X_\alpha=\emptyset\) is called the \textit{scattered height} of \(X\). The author presents several \(l^*_p\)-invariant topological properties for metric spaces and shows that they provide a complete linear isomorphic classification of function spaces \(C_p^*(X)\) for the class \(\mathcal K_{\omega+1}\) of countable metric spaces \(X\) of scattered height not exceeding \(\omega\). It is also shown that \(l^*_p\)-equivalence of two spaces from the class \(\mathcal K_{\omega+1}\) implies their \(l_p\)-equivalence but not vice versa.