On some generalizations of the Kakutani-Stone and Stone-Weierstrass theorems (Q1324760): Difference between revisions

All spaces are completely regular and Hausdorff. For a space \(X\), \(C^*(X)\) denotes the algebra of all bounded continuous real valued functions defined on \(X\). In [Duke Math. J. 14, 419-427 (1947; Zbl 0029.30302)] \textit{E. Hewitt} gave a uniform density theorem for algebras of \(C^*(X)\) containing all the constant functions. \textit{J. L. Blasco} [Topology Appl. 15, 111-117 (1983; Zbl 0498.54021)] obtained a relationship between an extension problem of bounded continuous functions and a problem of uniform approximation. In this paper the authors study uniform approximation for algebras and lattices of \(C^*(X)\). If \(\mathcal F\) is an algebra or lattice (vector lattice, affine lattice, etc.), its uniform closure is characterized, and necessary and sufficient conditions are given for uniform density in \(C^*(X)\). They obtain theorems such as the following: Theorem 5. Let \(\mathcal F\) be a sublattice of \(C^*(X)\) and let \(f \in C^*(X)\). Suppose that for every \(a < b\) and \(\varepsilon > 0\) there exists \(g \in \mathcal F\) such that \(| g(x) - a| < \varepsilon\) if \(f(x) \leq a\) and \(| g(x) - b| < \varepsilon\) if \(f(x) \geq b\). Then \(f \in \overline {\mathcal F}\). Theorem 11. Let \(\mathcal F\) be a subalgebra of \(C^*(X)\). Then \(\mathcal F\) is uniformly dense in \(C^*(X)\) if and only if the following hold: (i) \(\mathcal F\) separates every pair of disjoint zero-sets in \(X\); and (ii) \(\mathcal F\) contains a unity of \(C^*(X)\) (i.e., there is \(f \in \mathcal F\) with \(f \geq \varepsilon > 0\)).