On some generalizations of the Kakutani-Stone and Stone-Weierstrass theorems (Q1324760): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
Property / author | |||
Property / author: M. Isabel Garrido / rank | |||
Property / author | |||
Property / author: Francisco Montalvo / rank | |||
Property / reviewed by | |||
Property / reviewed by: Robert M. Stephenson Jr. / rank | |||
Revision as of 07:23, 12 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On some generalizations of the Kakutani-Stone and Stone-Weierstrass theorems |
scientific article |
Statements
On some generalizations of the Kakutani-Stone and Stone-Weierstrass theorems (English)
0 references
19 October 1994
0 references
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\)).
0 references
Stone-Weierstrass theorem
0 references
uniform density theorem
0 references
uniform approximation
0 references
uniform closure
0 references