\(C\)-spaces and matrix of infinite-dimensionality (Q602031)

The author investigates classes of \((m,n)\)-\(C\) spaces which are intermediate between the class \(S\)-wid of weakly infinite-dimensional spaces in the sense of Smirnov and the class \(S\)-\(\infty\)-\(C\) of finite \(C\)-spaces in the sense of Borst. A topological space \(X\) is said to be a (finite) \(C\)-space if for every sequence \(U_i, i=1,2\dots\) of (finite) open covers of \(X\) there exists a sequence \(V_i, i=1,2,\dots\) of disjoint families of open sets of \(X\) such that each family \(V_i\) refines \(U_i\) and \(\bigcup_{i=1,2,\dots,p} V_i\), covers \(X\) (for some \(p\)). The nerves \(N(V_i)\) of disjoint families \(V_i\) from this definition are zero-dimensional simplicial complexes. One can consider an arbitrary class \(G\) of simplicial complexes instead of zero-dimensional complexes. Let \(G(n)\) be the class of simplicial complexes of dimensionality \(\leq n\). A topological space \(X\) is said to be an \((m,n)\)-\(C\)-space if for every sequence \(U_i, i=1,2,\dots\) of \(m\)-element open covers of \(X\) there exists a sequence \(V_i, i=1,2,\dots\) of families of open sets of \(X\) with a nerve \(N(V_i) \in G(n-1)\) such that each family \(V_i\) refines \(U_i\) and \(\bigcup_{i=1,2,\dots,p} V_i\) covers \(X\) for some \(p\). The author tries to build bridges between \((m_1,n_1\))-\(C\) and \((m_2,n_2)\)-\(C\) spaces. Clearly, the class \((m+1,n)\)-\(C\subset (m,n)\)-\(C\) and \((m,n)\)-\(C \subset (m,n+1)\)-\(C\). Theorem 3.1 states that the class \((m,n)\)-\(C\subset (km,kn)\)-\(C\). Moreover, in Theorem 3.2 the inclusion \((m^k,kn)\)-\(C\subset (m,n)\)-\(C\) is obtained. Clearly, each \((2,1)\)-\(C\) space is \(S\)-wid. But also according to Theorem 3.3 for each \(n\), each \((n+1,n)\)-\(C\) space is \(S\)-wid. This leads to the main result that when \(n+1 \leq m \leq 2n\), we have that that the classes \((m,n)\)-\(C\) and \(S\)-wid coincide. Another class is defined as \((\omega,n)\)-\(C = \bigcap_{m\geq n+1} (m,n)\)-\(C\) and \(\omega\)-\(C\) is defined as \((\omega,1)\)-\(C\). It is shown that \(\omega\)-\(C = (\omega,n)\)-\(C\) for each \(n=1,2,\dots\). Clearly, every finite \(C\)-space is \(\omega\)-\(C\). All these relationships give a matrix of infinite dimensionality for these classes of spaces in between the finite \(C\)-spaces and \(S\)-wid spaces. Borst claims that these classes do not all coincide in the manuscript [A weakly infinite-dimensional compactum not having property C, preprint]. The proof for the counterexample E is yet inconclusive. This gives extra interest in the research on the intermediary types of spaces. Finally, the remark is given that the class \((\infty,n)\)-\(C = (\infty,1)\)-\(C\) for \(n=1,2,\dots\).