Inductive \((m, n)\)-dimensions (Q2448755)

All spaces are assumed to be normal \(T_1\) and all mappings are continuous. Also, for an ordinal number \(\alpha\), we denote by \(\omega_{\alpha}\) the smallest ordinal number of cardinality \(\aleph_{\alpha}\). In this interesting paper Professor Vitaly Fedorchuk introduces and investigates transfinite dimensions \(tr-(m, n)-Ind\), where \(m, n\) are positive integers with \(m\leq n\). The finite version of these dimensions are denoted by \((m,n)-Ind\). The main results are the following theorems: { Theorem A.} For every space \(X\), \[ tr-(m,n)-Ind X=tr-(m,n)-Ind\beta X. \] { Theorem B.} Let \(X\) be a hereditarily normal space and let \(X=X_1\cup X_2\), \(tr-(m,n)-Ind X \leq \alpha_i=\lambda _i+n_i\), where \(\lambda _i\) is a limit ordinal and \(n_i\) is a non negative integer, \(i=1,2\) and \( \alpha_1\leq \alpha_2\). Then \(tr-(m,n)-IndX \leq \lambda _2+n_2\) if \(\lambda_1<\lambda_2\) and \(tr-(m,n)-IndX \leq \lambda _2+n_2+n_1+1\) if \(\lambda_1=\lambda_2\). { Theorem C.} Let \(X\) be a hereditarily normal space and let \(X=X_1\cup X_2.\) Then \[ (m,n)-Ind X \leq (m,n)-Ind X_1+(m,n)-IndX_2+1. \] { Theorem D.} If \(X\) is a compact space with \(tr-(m,n)-IndX<\infty\) and \(wX =\omega_{\alpha}\), then, \(tr-(m,n)-IndX<\omega_{\alpha+1}\). Finally he proves that: (1) For every normal space \(X\) we have \((m,n)-dimX\leq (m,n)-Ind X,\) where \((m,n)-dim\) is the Lebesgue(m,n)-dimension. (2) For a strongly hereditarily normal space \(X\), \((m,n)-Ind X\leq Ind X\) and \((m,1)-IndX=Ind X\).