326 Approximation by Polynomials
Exercises for Section 10.9
A. Show that S(∆) has dimension k + 3.
B. A second-order Mean Value Theorem (Lemma 10.9.2) suggests the possibility of a
third-order Mean Value Theorem. Suppose that f ∈ C
3
[a, d] and b, c in (a, d) with b 6=
c. If P is the unique quadratic polynomial through (a, f(a)), (c, f(c)) and (d, f(d)),
show that there is a point ξ ∈ [a, d] with
f(b) − P (b) =
(b − c)(b − a)(b − d)
6
f
000
(ξ).
C. Prove that every continuous function on [0, 1] is the uniform limit of the sequence of
cubic splines h
k
with nodes at {j2
−k
: 0 ≤ j ≤ 2
k
}.
10.10. Appendix: The Stone–Weierstrass Theorem
We conclude this chapter with a very general approximation theorem that has
many applications to approximation problems. It provides a very simple, easy to
check criterion for when all continuous functions on a compact metric space can be
approximated by some element of a subalgebra of functions. In particular, we shall
see immediate consequences for approximation by polynomials in several variables
and by trigonometric polynomials.
10.10.1. DEFINITION. A subset A of C(X), the space of continuous real-
valued functions on a compact metric space X, is an algebra if it is a subspace of
C(X) that is closed under multiplication (i.e., if f, g ∈ A, then fg ∈ A).
For f, g ∈ C(X), define new elements of C(X), f ∨ g and f ∧ g, by
(f ∨ g)(x) = max{f(x), g(x)} and (f ∧ g)(x) = min{f(x), g(x)}.
A subset L of C(X) is a vector lattice if it is a subspace that is closed under these
two operations, that is, f, g both in L imply f ∨ g and f ∧ g are in L.
It is easy to verify the two identities f ∨g = 1/2(f + g) + 1/2|f −g| and that
f ∧ g = 1/2(f + g) − 1/2|f − g|. Conversely, |f| = f ∨ (−f). It follows that an
algebra, A, is a vector lattice if and only if |f| ∈ A for each f ∈ A.
10.10.2. DEFINITION. A set S of functions on X separates points if for each
pair of points x, y ∈ X, there is a function f ∈ S such that f(x) 6= f(y). Say that
S vanishes at x
0
if f(x
0
) = 0 for all f ∈ S.
In order to approximate arbitrary continuous functions on X from elements of
A, a moment’s thought shows that A must separate points. Moreover, A cannot
vanish at any point, for then we could not approximate the constant function 1.
These rather modest requirements, combined with the algebraic structure of an
algebra, yield the following beautiful result.