Intermediate dimensions of products (Q2433688)

Since \textit{D. W. Henderson} [Ann. Math. Stud. 60, 141--146 (1966; Zbl 0148.16704)] constructed an infinite-dimensional metrizable compactum with no closed subspaces of finite positive dimension, simpler examples were constructed by many authors. A significant improvement was given by \textit{J. J. Walsh} [Topology 18, 91--95 (1979; Zbl 0408.57010)], namely he constructed an infinite-dimensional metrizable compactum having the property that each of its nonempty subspaces is either \(0\)-dimensional or infinite-dimensional. On the other hand, for non-metrizable compact spaces, \textit{V.V. Fedorchuk} [Sov. Math., Dokl. 14, 1808--1811 (1973; Zbl 0288.54039); translation from Dokl. Akad. Nauk SSSR 213, 795--797 (1973)] constructed for any integer \(n \geq 2\) a first countable, separable \(n\)-dimensional compact space all of whose closed subsets of positive dimension are \(n\)-dimensional. Related to constructing strange infinite-dimensional compact spaces, \textit{Jan van Mill} [Fundam. Math. 118, 93--102 (1983; Zbl 0533.54019)] posed a question: Question 1.1. Does there exist an infinite-dimensional metrizable compactum \(X\) none of whose finite powers contains a one-dimensional subset? The question remains open. In this paper the authors turn the problem to the following setting. They do not require that spaces are metrizable and subsets are closed. Namely Question 1.1. Does there exist an infinite-dimensional compactum \(X\) none of whose finite powers contains a one-dimensional closed subset? In the main result (Theorem \(7.1\)) the authors construct \textit{under the continuum hypothesis} an infinite-dimensional compact Hausdorff space \(X\) such that for any positive integer \(m\), if \(G\) is an infinite closed subset of \(X^m\), then \(| G| = 2^c\) and \(G\) is strongly infinite-dimensional. The other strong main result is Theorem 6.1: \textit{under the continuum hypothesis} for every \(n \geq 1\) there is a family of separable compact Hausdorff spaces \(X_i\), \(i \in \mathbb N\), such that for every non-empty finite subset \(F\) of \(\mathbb N\) and every closed subset \(G\) of \(\prod_{i\in F}X_i\) we have \(\dim G=f(G)n\). (In particular, if \(G\) is infinite, then \(\dim G\geq n\).) Moreover, for each infinite closed \(G\subset\prod_{i\in F}X_i\) we have \(| G| =2^c\).