On the subset theorem in dimension theory (Q952588)

Let \(\mathbf{P}\) be a hereditary and finitely productive class of perfectly normal spaces such that for each open subset \(U\) of a space \(X \in \mathbf{P}\) there are \(R \in \mathbf{P}\), \(0_R \in R\) and a map \(f: X \to R\) such that \(f^{-1}(R \setminus \{0_R\}) = U\) and \(f|U\) is a homeomorphism onto \(R\setminus \{0_R\}\). Assume further that every \(f : X \to Z\) with \(Z \in \mathbf{P}\) factorizes into maps \(g : X \to Y\) and \(h : Y \to Z\) with \(Y \in \mathbf{P}\) and \(\dim Y \leq \dim X\). Let \(X\) be a subspace of a space \(Y\). Suppose \(f_\alpha : X \to X_\alpha\) is a map into a space \(X_\alpha \in \mathbf{P}\) with distinguished point \(0_\alpha\) for each \(\alpha \in A = \bigcup_{i \in \mathbb{N}}A_i\). Let coz\(f_\alpha = X \setminus f_\alpha^{-1}(0_\alpha)\) and suppose further that each restriction \(f_\alpha|\)coz\( f_\alpha\) has a continuous extension to \(Y\) and that each family \(\{ \)coz\(f_\alpha : \alpha \in A_i\}\) is locally finite in \(X\). Equip the subset \(Z_i = \{(f_\alpha(x)) : x \in X \}\) of the product space \(\Pi_i = \prod_{\alpha \in A_i} X_\alpha\) with the topology consisting of those subsets that leave an open trace on every subspace of \(\Pi_i\) of the form \(Q_J = \{z = (z_\alpha) \in Z_i : x _\alpha = 0_\alpha \) for \(\alpha \in A_i \setminus J\}\), where \(J\) is finite. Let \(f : X \to Z = \prod_{i \in \mathbb{N}}Z_i\) be the diagonal map induced by the system of maps \([f_\alpha]\). The subsets of \(X\) of the form \(f^{-1}(H)\), where \(H\) is an open subset of \(Z\), are said to be piecewise \(\mathbf{P}\)-selected in \(Y\) by the system of maps \([f_\alpha]\). \(X\) is said to be \(\mathbf{P}d\)-right in \(Y\) if every cozero subset of \(X\) can be piecewise \(\mathbf{P}\)-selected in \(Y\) by some system of maps. The paper under review is devoted to showing that \(\dim X \leq \dim Y\) for a \(\mathbf{P}d\)-right subspace \(X\) of \(Y\). This generalizes the reviewer's subset theorem for countably accessible subspaces [Fundam. Math. 182, No. 1, 41--52 (2004; Zbl 1062.54032)], which implies the author's subset theorem for \(d\)-right subspaces [\textit{B. A. Pasynkov}, Sov. Math., Dokl. 26, 654--658 (1982); translation from Dokl. Akad. Nauk SSSR 267, 548--552 (1982; Zbl 0561.54028)]. The precise relation between \(\mathbf{P}d\)-rightness, countable accessibility and \(d\)-rightness is an open question.