Generalization of the Comfort-Ross theorem. II (Q912221)

This paper is a sequel to Part I [see the preceding review Zbl 0698.22004]. If K is a closed subgroup of G which is bounded in G and X is bounded in G/K, then \(p^{-1}(X)\) is bounded in G, where p is the canonical map. A subset B of X is called strongly bounded in X if, for any infinite family \({\mathcal G}\) of open sets in X intersecting B, there exists a countably infinite subfamily \({\mathcal H}\) of \({\mathcal G}\), such that, for every filter \({\mathcal F}\) on N, \(\cap \{Cl_ X(\cup \{V_ n:\) \(n\in S\}):\) \(S\in {\mathcal F}\}\neq \emptyset\). Y is a dop-subset of X if Y is everywhere dense in an open subset U of X. The Comfort-Ross theorem is further generalized by showing that, if \(X_{\alpha}\) is strongly bounded in \(G_{\alpha}\) (resp., a dop-subset of \(G_{\alpha})\) for each \(\alpha\in A\), then the cartesian product of the spaces \(X_{\alpha}\) is strongly bounded in (resp., a dop-subset of) the product of the \(G_{\alpha}\). Finally, the following generalization of the Stone-Weierstrass Theorem is proved: If X is a bounded subset of \(G=\{\prod G_{\alpha}:\) \(\alpha\in A\}\), then the restriction to X of the minimal subring \({\mathcal L}_ G\) of C(G) containing the union of all sets of the form \((f\pi_{\alpha}:\) \(f\in C(G_{\alpha})\}\) is uniformly dense in the restriction of C(G) to X.