Stone-Weierstrass theorem

From Wikipedia, the free encyclopedia

In mathematical analysis, the Weierstrass approximation theorem states that every continuous function defined on an interval [a,b] can be uniformly approximated as closely as desired by a polynomial function. Because polynomials are the simplest functions, and computers can directly evaluate polynomials, this theorem has both practical and theoretical relevance, especially in polynomial interpolation. The original version of this result was established by Karl Weierstrass in 1885.

Marshall H. Stone considerably generalized the theorem (Stone 1937) and simplified the proof (Stone 1948). His result is known as the Stone–Weierstrass theorem. The Stone–Weierstrass theorem generalizes the Weierstrass approximation theorem in two directions: instead of the real interval [a,b], an arbitrary compact Hausdorff space X is considered, and instead of the algebra of polynomial functions, approximation with elements from more general subalgebras of C(X) is investigated. The Stone-Weierstrass theorem is a vital result in the study of the algebra of continuous functions on a compact Hausdorff space.

Further, there is a generalization of the Stone–Weierstrass theorem to noncompact Tychonoff spaces, namely, any continuous function on a Tychonoff space is approximated uniformly on compact sets by algebras of the type appearing in the Stone–Weierstrass theorem and described below.

Contents 1 Weierstrass approximation theorem 1.1 Applications 2 Stone–Weierstrass theorem, real version 2.1 Locally compact version 2.2 Applications 3 Stone–Weierstrass theorem, complex version 4 Lattice and boolean ring versions 5 Bishop's theorem 6 See also 7 References 7.1 Historical works

[edit] Weierstrass approximation theorem

The statement of the approximation theorem as originally discovered by Weierstrass is as follows:

Suppose f is a continuous complex-valued function defined on the real interval [a,b]. For every ε>0, there exists a polynomial function p over C such that for all x in [a,b], we have |f(x) - p(x)| < ε, or equivalently, the supremum norm ||f - p|| < ε.

If f is real-valued, the polynomial function can be taken over R.

A constructive proof of this theorem for f real-valued using Bernstein polynomials is outlined on that page.

[edit] Applications

As a consequence of the Weierstrass approximation theorem, one can show that the space C[a,b] is separable: the polynomial functions are dense, and each polynomial function can be uniformly approximated by one with rational coefficients; there are only countably many polynomials with rational coefficients. Since C[a,b] is Hausdorff and separable it follows that C[a,b] has cardinality equal to - the same cardinality as the cardinality of the reals.

[edit] Stone–Weierstrass theorem, real version

The set C[a,b] of continuous real-valued functions on [a,b], together with the supremum norm ||f|| = sup_x ∈[a,b] |f(x)|, is a Banach algebra, (i.e. an associative algebra and a Banach space such that ||fg|| ≤ ||f|| ||g|| for all f, g). The set of all polynomial functions forms a subalgebra of C[a,b] (i.e. a vector subspace of C[a,b] that is closed under multiplication of functions), and the content of the Weierstrass approximation theorem is that this subalgebra is dense in C[a,b].

Stone starts with an arbitrary compact Hausdorff space X and considers the algebra C(X,R) of real-valued continuous functions on X, with the topology of uniform convergence. He wants to find subalgebras of C(X,R) which are dense. It turns out that the crucial property that a subalgebra must satisfy is that it separates points: A set A of functions defined on X is said to separate points if, for every two different points x and y in X there exists a function p in A with p(x) not equal to p(y).

The statement of Stone–Weierstrass is:

Suppose X is a compact Hausdorff space and A is a subalgebra of C(X,R) which contains a non-zero constant function. Then A is dense in C(X,R) if and only if it separates points.

This implies Weierstrass' original statement since the polynomials on [a,b] form a subalgebra of C[a,b] which which contains the constants and separates points.

[edit] Locally compact version

A version of the Stone-Weierstrass theorem is also true when X is only locally compact. Let C₀(X,R) be the space of real-valued continuous functions on X which vanish at infinity; that is, a continuous function f is in C₀(X,R) if, for every ε > 0, there exists a compact set K ⊂ X such that f < ε on X\K. A subalgebra A of C₀(X, R) is said to vanish nowhere if not all of the elements of A simultaneously vanish at a point; that is, for every x in X, there is some f in A such that f(x) ≠ 0. The theorem generalizes as follows:

Suppose X is a locally compact Hausdorff space and A is a subalgebra of C₀(X,R). Then A is dense in C₀(X, R) if and only if it separates points and vanishes nowhere.

This version clearly implies the previous version in the case when X is compact, since in that case C₀(X,R) = C(X,R).

[edit] Applications

The Stone–Weierstrass theorem can be used to prove the following two statements which go beyond Weierstrass's result.

• If f is a continuous real-valued function defined on the set [a,b] x [c,d] and ε>0, then there exists a polynomial function p in two variables such that |f(x,y) - p(x,y)| < ε for all x in [a,b] and y in [c,d].
• If X and Y are two compact Hausdorff spaces and f : XxY -> R is a continuous function, then for every ε>0 there exist n>0 and continuous functions f₁, f₂, ..., f_n on X and continuous functions g₁, g₂, ..., g_n on Y such that ||f - ∑f_ig_i|| < ε.

[edit] Stone–Weierstrass theorem, complex version

Slightly more general is the following theorem, where we consider the algebra C(X,C) of complex-valued continuous functions on the compact space X, again with the topology of uniform convergence. This is a C*-algebra with the *-operation given by pointwise complex conjugation.

Let X be a compact Hausdorff space and let S be a subset of C(X,C) which separates points. Then the complex unital *-algebra generated by S is dense in C(X,C).

The complex unital *-algebra generated by S consists of all those functions that can be obtained from the elements of S by throwing in the constant function 1 and adding them, multiplying them, conjugating them, or multiplying them with complex scalars, and repeating finitely many times.

This theorem implies the real version, because if a sequence of complex-valued functions uniformly approximate a given function f, then the real parts of those functions uniformly approximate the real part of f. As in the real case, an analog of this theorem is true for locally compact Hausdorff spaces.

[edit] Lattice and boolean ring versions

Let X be a compact Hausdorff space. Stone's original proof of the theorem used the idea of boolean rings C(X,R); that is, a subset B of C(X,R) such that for every f, g in B, the functions f+g and max{f,g} are also in B. The boolean ring version of the Stone–Weierstrass theorem states (Hewitt & Stromberg 1965, Theorem 7.29):

Suppose X is a compact Hausdorff space and B is a family of functions in C(X,R) such that

1. B separates points.
2. B contains the constant function 1.
3. If f ∈ B then af ∈ B for all constants a ∈ R.
4. B is a boolean ring; that is, if f, g ∈ B, then f+g ∈ B and max{f,g} ∈ B.

Then B is dense in C(X,R).

A similar version of the theorem applies to lattices in C(X,R). A subset L of C(X,R) is called a lattice if for any two elements f, g in L, the functions max(f,g) and min(f,g) also belong to L. The lattice version of the Stone–Weierstrass theorem states:

Suppose X is a compact Hausdorff space with at least two points and L is a lattice in C(X,R) with the property that for any two distinct elements x and y of X and any two real numbers a and b there exists an element f in L with f(x) = a and f(y) = b. Then L is dense in C(X,R).

The above versions of Stone–Weierstrass can be proven from this version once one realizes that the lattice property can also be formulated using the absolute value |f| which in turn can be approximated by polynomials in f.

More precise information is available:

Suppose X is a compact Hausdorff space with at least two points and L is a lattice in C(X,R). The function φ in C(X,R) belongs to the closure of L iff for each pair of distinct points x and y in X and for each ε > 0 there exists some f in L for which |f(x) - φ(x)| < ε and |f(y) - φ(y)| < ε.

[edit] Bishop's theorem

Another generalization of the Stone-Weirstrass theorem is due to Errett Bishop. Bishop's theorem is as follows (Bishop 1961):

Let A be a closed subalgebra of the Banach space C(X,C) of continuous complex-valued functions on a compact Hausdorff space X. Suppose that f ∈ C(X, C) has the following property:

• f|_S ∈ A_S for every maximal set S ⊂ X such that A_S contains no non-constant real functions.

Then f ∈ A.

Glicksberg (1962) gives a short proof of Bishop's theorem using the Krein-Milman theorem in an essential way, as well as the Hahn-Banach theorem. See also Rudin (1973, §5.7).

[edit] See also

• Runge's phenomenon shows that finding a polynomial P such that f(x)=P(x) for some finely spaced x=x_n is a bad way to attempt to find a polynomial approximating f uniformly. However, as is shown in Rudin's Principles of Mathematical Analysis, one can easily find a polynomial P uniformly approximating f by convolving f with a polynomial kernel.

[edit] References

• Bishop, Errett (1961), “A generalization of the Stone-Weierstrass theorem”, Pacific Journal of Mathematics 11 (3): 777-783, <http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?handle=euclid.pjm/1103037116&view=body&content-type=pdf_1> .
• Glicksberg, Irving (1962), “Measures Orthogonal to Algebras and Sets of AntisymmetryMeasures Orthogonal to Algebras and Sets of Antisymmetry”, Transactions of the American Mathematical Society 105 (3): 415-435, <http://www.jstor.org/stable/1993729> .
• Hewitt, E & Stromberg, K (1965), Real and abstract analysis, Springer-Verlag .
• Rudin, Walter (1976), Principles of mathematical analysis (3rd. ed.), McGraw-Hill, ISBN 978-0070542358 .
• Rudin, Walter (1973), Functional analysis, McGraw-Hill, ISBN 0-07-054236-8 .

[edit] Historical works

The historical publication of Weierstrass (in German language) is freely available from the digital online archive of the Berlin Brandenburgische Akademie der Wissenschaften:

• K. Weierstrass (1885). Über die analytische Darstellbarkeit sogenannter willkürlicher Functionen einer reellen Veränderlichen. Sitzungsberichte der Königlich Preußischen Akademie der Wissenschaften zu Berlin, 1885 (II).

Erste Mitteilung (part 1) pp. 633–639, Zweite Mitteilung (part 2) pp. 789–805.

Important historical works of Stone include:

• Stone, M. H. (1937), “Applications of the Theory of Boolean Rings to General Topology”, Transactions of the American Mathematical Society 41 (3): 375–481, <http://www.jstor.org/stable/1989788> .
• Stone, M. H. (1948), “The Generalized Weierstrass Approximation Theorem”, Mathematics Magazine 21 (4): 167–184 ; 21 (5), 237–254.