On \(\alpha\)-embedded subsets of products (Q2340971)

This paper investigates conditions on a subspace \(E\) of a product space \(X = \prod_{t \in T} X_t\) and a range space \(Y\) under which each continuous function \(f : E \to Y\) will depend on countably many coordinates, i.e., there is a countable set \( T_0 \subset T\) and a continuous map \(f_0 : p_{T_0}(E) \to Y\) such that \(f = f_0 \circ (p_{T_0 } |E)\), where \(p_{T_0}\) is the projection onto the subproduct \(\prod_{t \in T_0} X_t\), or, there is such a factorization of \(f\). The authors prove that this is true if 1. \(E\) is pseudo-\(\aleph_1\)-compact (any locally finite family of open subsets of \(E\) is at most countable); 2. \(E\) is \((\aleph_1, \aleph_0)\)-invariant (roughly, with respect to a fixed point in \(E\) and two subsets of the index set \(T\), with cardinality requirements related to \(\aleph_1\) and \(\aleph_0\), two related points are in \(E\)); and 3. \(Y\) has a regular \(G_\delta\)-diagonal (i.e., the diagonal set \(\{(y,y): y \in Y\}= \bigcap_{n=1}^\infty G_n = \bigcap_{n=1}^\infty \bar{G_n}\)). In [\textit{O. O. Karlova}, Commentat. Math. Univ. Carol. 54, No. 3, 377--396 (2013; Zbl 1289.54065)], the first author introduced and studied the notion of an \(\alpha\)-embedded set \(E\) in a topological space \(X\), \(0 \leq \alpha < \omega_1\), by means of functionally additive and multiplicative classes in \(X\). Using the theorem established here, the authors construct a set \(E\) which is not \(\alpha\)-embedded but (\(\alpha\)+1)-embedded in \(X\).