On the Weierstrass-Stone theorem
type: Item
instance of: scholarly article
title: On the Weierstrass-Stone theorem
zbMATH Open document ID: 0810.41029
author: João B. Prolla
published in: Journal of Approximation Theory
publication date: 1994-09-27T00:00:00Z
review text: Let \(S\) be a compact Hausdorff space, let \(E\) be a normed space, and let \(C(S,E)\) be the space of continuous functions from \(S\) to \(E\) with the usual supremum norm. A collection \(M\) of \([0,1]\)-valued continuous functions on \(S\) is said to have property \(V\) if (1) \(\varphi\in M\Leftrightarrow 1-\varphi\in M\) and (2) \(\varphi,\psi\in M \Leftrightarrow \varphi\psi\in M\). For a subset \(W\) of \(C(S,E)\), a continuous function \(\varphi: S\to [0,1]\) is said to be a multiplier of \(W\) if \(f,g\in W\to\varphi f+ (1-\varphi) g\in W\). It is easy to see that the set \(M\) of multipliers of \(W\) has property V; also, it is a non- trivial result that \(\overline{M}\) is a lattice see \textit{R. I. Jewett}, Proc. Am. Math. Soc. 14, 690-693 (1963; Zbl 0113.148)]. Using these ideas, the author proves the following main theorem, which is a generalization of \textit{S. Machado's} Stone-Weierstrass theorem. (see e.g., \textit{S. Machado} [Indag. Math. 39, 218-224 (1977; Zbl 0412.46029)] or \textit{J. B. Prolla} [Approximation of vector valued functions (1977; Zbl 0373.46048)]. See also \textit{T. J. Ransford} [Math. Proc. Camb. Philos. Soc. 96, 309-311 (1984; Zbl 0537.41018)] for a very short proof which uses Zorn's Lemma.) Theorem. Let \(M\) be a set of multipliers of \(W\) which separates the points of \(S\), let \(f\in C(S,E)\), and let \(\varepsilon>0\). Then there is a function \(g\in W\) such that \(| f-g|< \varepsilon \Leftrightarrow\) for all \(x\in S\), there is a function \(g_ x\in W\) such that \(| f(x)- g_ x(x)|< \varepsilon\). Among several interesting examples and applications, the author shows the following: Let \(A\subset C(S,E)\) such that for all finite subsets \(F\subset S\) and all \(f\in C(S,E)\), there is a function \(g\in A\) with \(g|_ F= f_ F\). If, in addition, the set of multipliers of \(A\) separates the points of \(S\), then simultaneous approximation and interpolation is possible; i.e., for all finite subsets \(F\subset S\), fo…
Mathematics Subject Classification ID: 41A65
Mathematics Subject Classification ID: 41A28
zbMATH DE Number: 644989
zbMATH Keywords: simultaneous interpolation
zbMATH Keywords: Bishop's theorem
zbMATH Keywords: multipliers
zbMATH Keywords: Stone- Weierstrass theorem
zbMATH Keywords: simultaneous approximation
reviewed by: Richard M. Aron
MaRDI profile type: Publication
full work available at URL: jath.1994.1080
OpenAlex ID: W1990289090
DOI: 10.1006/JATH.1994.1080
Recommended article: Bishop's Stone-Weierstrass Theorem: To the Memory of Errett Bishop [1928 1983] and Silvio Machado [1932-1981]
Recommended article: A short proof of a theorem of Machado
Recommended article: Q4982212
Recommended article: The Weierstrass-Stone theorem in absolute valued division rings
Recommended article: The Stone--Weierstrass theorem and spaces of measures
Recommended article: Q3471056
Recommended article: Q4302637
Recommended article: Q3087212
Recommended article: A note on a paper of Ercan and Önal
Recommended article: Stone-Weierstrass theorems revisited
description: scientific article; zbMATH DE number 644989