On \(\kappa\)-pseudocompactess and uniform homeomorphisms of function spaces (Q6113089)

In this review every space is a Tychonoff space. For a space \(X\), \(C(X)\) is the collection of real-valued continuous functions on \(X\) and \(C_p(X)\) is \(C(X)\) endowed with the pointwise convergence topology. The symbol \(C_p^* (X)\) stands for the subspace of \(C_p(X)\) consisting of all bounded continuous functions. Recall that \(X\) is pseudocompact if \(C_p(X) = C_p^*(X)\). \textit{J. F. Kennison} [Trans. Am. Math. Soc. 104, 436--442 (1962; Zbl 0111.35004)] introduced the following generalization of pseudocompactness. Let \(\kappa > 0\) be an infinite cardinal. A space \(X\) is called \(\kappa\)-pseudocompact if for every continuous mapping \(f\) of \(X\) into \(\mathbb{R}^\kappa\) the image \(f(X)\) is compact. For every \(\kappa > 0\), \(\kappa\)-pseudocompactness implies pseudocompactness. It was established by \textit{V. V. Uspenskij} [Russ. Math. Surv. 37, No. 4, 143--144 (1982; Zbl 0531.54017); translation from Usp. Mat. Nauk 37, No. 4(226), 183--184 (1982)] that if \(C_p(X)\) and \(C_p(Y)\) are uniformly homeomorphic, then \(X\) is pseudocompact if and only if \(Y\) is pseudocompact. Let us recall that a map \(\phi : C_p(X) \to C_p(Y )\) is uniformly continuous if for each open neighborhood \(U\) of the zero function in \(C_p(Y )\) there is an open neighborhood \(V\) of the zero function in \(C_p(X)\) such that \((f - g) \in V\) implies \((\phi(f) - \phi(g)) \in U\). Spaces \(C_p(X)\) and \(C_p(Y )\) are uniformly homeomorphic if there is a homeomorphism \(\phi\) between them such that both \(\phi\) and \(\phi^{-1}\) are uniformly continuous. In the present article, the author generalizes Uspenskiǐ's result as follows. \textbf{Theorem.} For every cardinal number \(\kappa > 0\), if \(C_p(X)\) and \(C_p(Y)\) are uniformly homeomorphic, then \(X\) is \(\kappa\)-pseudocompact if and only if \(Y\) is \(\kappa\)-pseudocompact. The proof of this Theorem is based on the fact that certain topological properties of a space \(X\) can be characterized by the way in which \(X\) is positioned in its Stone-Čech compactification \(\beta X\); \(\kappa\)-pseudocompactess is one of such properties. Indeed, \textit{T. Retta} [Czech. Math. J. 43, No. 3, 385--390 (1993; Zbl 0798.54032), Theorem 1] proved that for every infinite cardinal \(\kappa\), a space \(X\) is \(\kappa\)-pseudocompact if and only if every nonempty \(G_\kappa\)-subset of \(\beta X\) meets \(X\), where a subset \(A\) of a space \(Z\) is a \(G_\kappa\)-set if it is an intersection of at most \(\kappa\)-many open subsets of \(Z\).