Boundedness in \({\mathcal C}_p(X,Y)\) and equicontinuity (Q1587991)

For a locally compact Abelian group \(G\) let \(G^+\) be the underlying group equipped with the Bohr topology. It is a classical result of Glicksberg (1962) that \(G\) and \(G^+\) have the same compact subsets. \textit{F. J. Trigos-Arrieta} improved this by an elegant proof [J. Pure Appl. Algebra 70, No. 1/2, 199-210 (1991; Zbl 0724.22003)]: A relatively pseudocompact subset of \(G^+\) is necessarily relatively compact in \(G\). A different generalization was given by \textit{H. H. Corson} and \textit{I. Glicksberg} [Can. J. Math. 22, 164-170 (1970; Zbl 0203.55501)]: Let \(G\) and \(H\) be topological groups, and let \(\Hom(G, H)\) be the set of all continuous homomorphisms from \(G\) into \(H\). Suppose that every closed subgroup of \(G\) is a Baire space. If \(F\subseteq \Hom(G, H)\) is compact relative to the pointwise topology, then \(F\) is compact relative to the compact-open topology. In 1974 Namioka remarked that their proof is incomplete (for a complete proof see the author's paper [Topology Appl. 68, No. 1, 83-95 (1996; Zbl 0845.54015)]). In this paper, the theorem of Corson and Glicksberg is improved in the following way: Suppose that every closed separable subgroup of \(G\) is a Baire space. Let \(F\subseteq \Hom(G, H)\) be relatively pseudocompact with respect to the pointwise topology. Then, on \(F\), the compact-open topology is the same as the pointwise topology. This improvement is derived from the following key result (Theorem 3.4): Let \(X\) be a \((\sigma - \beta)\)-defavorable space, let \(Y\) be a pseudometric space, and let \(H\) be a relatively pseudocompact subset of \(\mathcal{C}_p(X, Y)\). Then the set \(A\) of all \(x\in X\) such that \(H\) is equicontinuous at \(x\) is a dense \(G_\delta\)-set in \(X\). (If \(X\) and \(Y\) are topological spaces, \(\mathcal{C}_p(X, Y)\) denotes the set of all continuous functions from \(X\) into \(Y\) endowed with the pointwise topology.) By the help of this important theorem the author can improve also results of Namioka, Korovin and Reznichenko.