Continuous extensions of functions defined on subsets of products (Q429320)

Let \(X\) be a topological space and let \(\kappa \) be an infinite cardinal. An \(x\in X\) belongs to the \(G_{\kappa }\)-closure of \(A\subseteq X\) if \(\left( \bigcap \mathcal{V}\right) \cap A\neq \varnothing \) for each family \(\mathcal{V}\) of neighborhoods of \(x\) with \(\left| \mathcal{V} \right| <\kappa \). If for such a \(\mathcal{V}\) the intersection \( \bigcap \mathcal{V}\) is again a neighborhood of \(x\), then \(x\) is called a \( P(\kappa )\)-point of \(X\). Let \((X_{I})_{\kappa }\) denote the product \( X_{I}=\prod_{i\in I}X_{i}\) endowed with the \(\kappa \)-box topology, i.e. the one for which \(\{\prod_{i\in I}U_{i}:\) \(U_{i}\) open in \(X_{i}\), and \( \left| \{i\in I:U_{i}\neq X_{i}\}\right| <\kappa \}\) is a base. Further, a space \(Z\) is said to have a \(\overline{G_{\kappa }}\)-diagonal if \( \Delta =\{(z,z):z\in Z\}\) is a \(G_{\kappa }\)-set in \(Z\times Z\) (meaning: there is a family \(\mathcal{W}\) of open sets containing \(\Delta \) such that \( \Delta =\bigcap \mathcal{W}\) and \(\left| \mathcal{W}\right| <\kappa \)). To understand the main result of the paper we still need to know that a subspace \(Y\) of a space \(X\) is \(C(Z)\)-embedded in \(X\) provided each \(f\in C(Y,Z)\) extends continuously to the whole of \(X\). Now the main result (Theorem 3.10): Let \(\omega \leq \kappa \leq \alpha \) with either \(\kappa <\alpha \) or \(\alpha \) regular, let \(X_{i}\) be a T\(_1\)-space for all \(i\in I\), and let \(Y\) be dense in an open subset of \( (X_{I})_{\kappa }\). Let \(q\in X_{I}\diagdown Y\) be a point from the \( G_{\alpha ^{+}}\)-closure of \(Y\) in \((X_{I})_{\kappa }\) such that \(q_{i}\) is a \(P(\alpha )\)-point in \(X_{i}\) with the character \(\chi (q_{i},X_{i})\leq \alpha \) for each \(i\in I\). Then \(Y\) is \(C(Z)\)-embedded in \(Y\cup \{q\}\) for each regular space \(Z\) with a \(\overline{G_{\alpha ^{+}}}\)-diagonal. Even the case \(\kappa =\omega \) is new (\(\omega \)-box topology = the usual product topology) and it generalizes some old results, including that of Noble (1972): every \(G_{\delta }\)-dense subspace in the product of separable metric spaces is \(C\)-embedded. Other results include those of Ulmer (1972, 1973), Pol and Pol (1976), and Arhangel'skiĭ (2000).