Interpolation sets in spaces of continuous metric-valued functions (Q724709)

To a great extent, this article is a continuation of [\textit{M. V. Ferrer} et al., J. Funct. Anal. 275, No. 4, 869--891 (2018; Zbl 1396.43001), \textit{J. Galindo} and \textit{S. Hernández}, Fundam. Math. 159, No. 3, 195--218 (1999; Zbl 0934.22008) and \textit{J. Galindo} and \textit{S. Hernández}, Adv. Math. 188, 51--68 (2004; Zbl 1055.22003)]. All spaces are assumed to be infinite completely regular Hausdorff spaces. For a space \(X\) and a metric space \(M\), a subset \(Y\) of \(X\) is called an interpolation set for the collection \(C(X, M)\) of all continuous mappings from \(X\) to \(M\) if, for each \(g\in M^Y\) such that \(g(X)\) is relatively compact in \(M\), there exists \(f\in C(X, M)\) such that \(f(y)=g(y)\) whenever \(y\in Y\). In ZFC, the authors search for subsets \(L\) of \(C(X, M)\) that can be interpolation sets for \(C(M^X, M)\). It is known that if \(L\) is an interpolation set for \(C(M^X, M)\) such that the closure \({\bar{L}}\) of \(L\) in \(M^X\) is compact, then \({\bar{L}}\) is canonically homeomorphic to the Čech-Stone compactification \(\beta L\) of \(L\) equipped with the discrete topology. For topological groups \(X\) and \(K\), the collection of all continuous homomorphisms from \(X\) to \(K\) is denoted by \(CHom(X, K)\). Assuming that \(X\) is a Čech-complete topological group, \(K\) is a compact group and \(G\) is a subset of \(CHom(X, K)\), it is proved that if \(G\) is not equicontinuous, then \(G\) contains an infinite countable set \(L\) such that the closure \({\bar{L}}\) of \(L\) in \(K^X\) is canonically homeomorphic with \(\beta L\) where \(L\) is equipped with the discrete topology; in consequence, if \(G\) is infinite and, for every countable set \(L\subseteq G\) and every compact separable \(Y\subseteq X\), the closure of \(L|_Y=\{ f|_Y: f\in L\}\) in \(K^Y\) has countable tightness or is of cardinality at most continuum, then \(G\) is equicontinuous. It is deduced that, if \(G\) is an abelian locally quasiconvex, locally \(k_{\omega}\)-group and \(Y\) is a countable subset of \(G\) such that \(Y\) is not precompact in \(G\), then, since the Pontryagin dual group of \(G\) is Čech-complete, \(Y\) contains an \(I_0\)-set. The concept of an \(I_0\)-set was introduced by \textit{S. Hartman} and \textit{C. Ryll-Nardzewski} [Colloq. Math. 12, No. 1, 29--39 (1964; Zbl 0145.32101)]). For an arbitrary topological group \(G\), the Bohr compactification of \(G\) is denoted by \(bG\), while the space of all points of \(G\) with the Bohr topology on \(G\) is denoted by \(G^{+}\). It is said that a topological group \(G\) respects a topological property \(\mathcal{P}\) if both \(G\) and \(G^+\) have the same sets satisfying \(\mathcal{P}\). A topological property \(\mathcal{P}\) is stronger than or equal to functional boundedness in a space \(X\) if, for every \(A\subseteq X\) such that \(A\) satisfies \(\mathcal{P}\), each real-valued continuous function defined on \(X\) is bounded on \(A\). A topological group \(G\) strongly respects compactness if, for every closed metrizable subgroup \(N\) of \(bG\) and for each \(A\subseteq G\), the set \(A+(N\cap G)\) is compact in \(G\) if and only if the set \(\pi\circ b(A)\) is compact in the factor group \(bG/N\) where \(\pi: bG\to bG/N\) is the canonical projection. The authors apply their main results to proving that if \(G\) is an abelian, locally quasiconvex, locally \(k_{\omega}\)-group, then \(G\) respects any compact-like property stronger than or equal to functional boundedness and \(G\) strongly respects compactness.