Continuous extensions of functions defined on subsets of products with the \(\kappa\)-box topology (Q2850651)

Let \(\{X_i:i\in I\}\) be a family of \(T_1\)-spaces and let \(X_I=\prod_{i\in I}X_i\). For an infinite cardinal \(\kappa\), \((X_I)_\kappa\) denotes the space \(X_I\) with the \(\kappa\)-box topology. Now, suppose we are given subspaces \(Y\) and \(Y'\) of \((X_I)_\kappa\) with \(Y\subseteq Y'\) and another space \(Z\). The authors investigate the problem under what conditions on \(Y\), \(Y'\) and \(Z\) every continuous map from \(Y\) to \(Z\) extends continuously over \(Y'\). In particular, they prove the following result: Theorem. Let \(\alpha\) be an infinite cardinal such that \(\alpha^+\) is strongly \(\kappa\)-inaccessible, i.e., \(\kappa\leq\alpha\), and \(\beta^\lambda\leq\alpha\) whenever \(\beta\leq\alpha\) and \(\lambda<\kappa\). Let \(Y\) be a dense subset of an open set in \((X_I)_\kappa\) and let \(q\) be a point in \(X_I\setminus Y\) such that for each \(J\in[I]^{\leq\alpha}\) there is a point \(y\in Y\) with \(q\upharpoonright J=y\upharpoonright J\), and for each \(i\in I\) either \(q(i)\) is a \(P(\kappa^+)\)-point in \(X_i\) or \(\chi(q(i), X_i)\leq\alpha\). Let \(Z\) be a regular space with a \(\overline{G_{\alpha^+}}\)-diagonal, i.e., there exist open sets \(U_\gamma\), \(\gamma\leq\alpha\), in \(Z\times Z\) such that \(\Delta=\bigcap_{\gamma\leq\alpha}\mathrm{cl}_{Z\times Z}U_\gamma\), where \(\Delta\) is the diagonal set of \(Z\times Z\). Then, every continuous map \(f:Y\to Z\) extends continuously over \(Y\cup\{q\}\). This generalizes several classical extension theorems such as a theorem by \textit{N. Noble} [Proc. Am. Math. Soc. 31, 613--614 (1972; Zbl 0231.54011)].