A complete \(C\)-space whose square is strongly infinite-dimensional (Q2472717): Difference between revisions

The spaces considered in the paper are separable and metrizable. A space \(X\) is a C-space if for every sequence \(A_1, A_2,\dots\) of open covers of \(X\), there are pairwise disjoint open families \(B_1, B_2,\dots\) in \(X\) such that \(B_i\) refines \(A_i\) for every \(i\), and \(\bigcup B_i\) covers \(X\). The weakly infinite dimensional spaces are the ones that satisfy the weaker condition that these refinements \(B_i\) exist in case the covers \(A_i\) all consist of at most two elements. A space which is not weakly infinite dimensional is strongly infinite dimensional. A space is countable-dimensional if it is a countable union of zero-dimensional sets. In this pretty long paper, the authors construct a hereditarily disconnected, complete C-space whose square is strongly infinite-dimensional and a totally disconnected C-space (which is not complete) which is not countable-dimensional. The former one answers partially a question raised by \textit{V. V. Fedorchuk} and \textit{J. van Mill} in [Fundam. Math. 163, No. 1, 77--82 (2000; Zbl 0944.54025)].