On functional tightness of infinite products (Q2401743)

Let \(X\) and \(Y\) be topological spaces and \(\kappa\) be an infinite cardinal. A function \(f:X\rightarrow Y\) is called \textit{\(\kappa\)-continuous} if its restriction to every subset of \(X\) with cardinality less than or equal to \(\kappa\) is continuous. The function \(f\) is called \textit{strictly \(\kappa\)-continuous} if for every subset \(A\) of \(X\) with \(|A|\leq\kappa\), there exists a continuous function \(g_A:X\rightarrow Y\) such that the restrictions of \(f\) and \(g_A\) to \(A\) coincide. We also recall that the \textit{functional tightness} of \(X\) is \(t_0(X)=\min\{\kappa\geq\omega:\) every \(\kappa\)-continuous real-valued function on \(X\) is continuous\(\}\) and the \textit{minitightness of \(X\)} (also called by some authors \textit{weak functional tightness}, \textit{modified functional tightness}, or \textit{\(\mathbb{R}\)-tightness}) is \(t_m(X)=\min\{\kappa\geq\omega:\) every strictly \(\kappa\)-continuous real-valued function on \(X\) is continuous\(\}\). \textit{O. Okunev} [Topology Appl. 208, 10--16 (2016; Zbl 1343.54004)] among other results proved that if \(X\) is a locally compact space and \(Y\) is a Tychonoff space then \(t_m(X\times Y)\leq t_m(X)t_m(Y)\). Therefore \(t_m(X^n)=t_m(X)\) whenever \(n\) is a positive integer and \(X\) is a compact space. Having in mind Malykhin's theorem (see [\textit{V. I. Malyhin}, Sov. Math., Dokl. 13, 496--499 (1972; Zbl 0257.54004); translation from Dokl. Akad. Nauk SSSR 203, 1001--1003 (1972)]) that if \(\{X_\alpha:\alpha\leq\kappa\}\) is a family of compact spaces such that for every \(\alpha\leq\kappa\) the tightness \(t(X_\alpha)\leq\kappa\), then \(t(\Pi_{\alpha\leq\kappa}X_\alpha)\leq\kappa\), Okunev asked if \(t_m(X^\omega)=t_m(X)\) whenever \(X\) is a compact space. In this paper the author proves the following counterpart of Malykhin's theorem for functional tightness: Let \(\{X_\alpha:\alpha<\lambda\}\) be a family of compact spaces such that \(t_0(X_\alpha)\leq\kappa\) for every \(\alpha<\lambda\). If \(\lambda\leq 2^\kappa\) or \(\lambda\) is less than the first measurable cardinal, then \(t_0(\Pi_{\alpha<\lambda}X_\alpha)\leq\kappa\). Since \(t_m(X)=t_0(X)\), whenever \(X\) is a normal space, this result answers in the affirmative Okunev's question.