Spaces of Continuous Functions
Spaces of Continuous Functions
|f (x) − f (x0 )| ≤ |fN (x) − f (x)| + |fN (x) − fN (x0 )| + |fN (x0 ) − f (x0 )| ≤ 3.
1
all f ∈ A. A subalgebra of A is a vector subspace of A which is closed under
the multiplication operation and contains the unit.
For any metric space X, the space CR b (X) of continuous, bounded real-
valued functions on X is an algebra over the field of real numbers (with the
operation of pointwise multiplication), satisfying, for the uniform norm:
||f g|| ≤ ||f ||||g||.
The unit is the constant function 1.
Exercise 1. Use this to show that the closure Ā of any subalgebra of
CRb (X) is also a subalgebra. Hint: recall Ā is the set of functions in C b (X)
R
which are uniform limits of functions in A. Given f = lim fn , g = lim gn ,
the main point is checking that f g = lim(fn gn ). Estimate |f g − fn gn |(x) in
the natural way.
Definition. We say a sub algebra of CR b (X) separates points if ∀x 6= y in
rates points. For all x 6= y in X and all real numbers a, b, there exists f ∈ A
so that f (x) = a, f (y) = b.
By assumption we know there exists g ∈ A so that g(x) 6= g(y). Set:
g − g(x)
f = a + (b − a) .
g(y) − g(x)
(Note that adding a constant to an element of A yields another element of
A, since the unit (the constant function 1) is in A.)
Stone-Weierstrass theorem. Let X be a compact metric space, A ⊂
CR (X) a subalgebra containing the constants and separating points. Then
A is dense in the Banach space CR (X).
Main Lemma. The pointwise max and the pointwise min of finitely many
functions in Ā is still in Ā.
We first give the proof of the theorem assuming the main lemma, then
prove the lemma. There are two steps:
2
Step 1. Given f ∈ CR (X), x ∈ X and > 0, we find gx ∈ Ā so that
g(x) = f (x) and gx (y) ≤ f (y) + , for all y ∈ X.
Step 2. Using compactness, argue there are finitely many points x1 , . . . , xN ∈
X so that ϕ(x) = max{gx1 (x), . . . , gxN (x)} (which is in Ā, by the main
lemma) satisfies:
f (y) − ≤ ϕ(y) ≤ f (y) + ,
for all y ∈ X. Thus for any > 0 we may find gϕ ∈ Ā so that ||f − ϕ|| ≤
(uniform norm). So f ∈ Ā.
Step 1. For each f ∈ CR (X), each x ∈ X and any > 0, there exists a
function g ∈ Ā so that g(x) = f (x) and g(y) ≤ f (y) + ∀y ∈ X.
Proof. Given z ∈ X with z 6= x, let hz ∈ Ā satisfy hz (x) = f (x) and
hz (z) = f (z) + /2 (from the interpolation property.) By continuity, there
is an open neighborhood Vz of z in X so that, for each y ∈ Vz we have
hz (y) ≤ f (y) + . These define an open cover {Vz }z∈X of X. Taking a
finite subcover {Vzi }Ni=1 of X, we find (from the Main Lemma) the function
g = min{hzi |i = 1, . . . , N } is in Ā and satisfies the conditions required.
Proof of Step 2.
Let f ∈ CR (X) be arbitrary Given > 0 and x ∈ X, let gx ∈ Ā be
the function from Step 1. By continuity there is a neighborhood U (x) of x
in X so that gx (y) ≥ f (y) − for y ∈ U (x). Cover X by a finite number
of neighborhoods U (xi ), i = 1, . . . , N . Then (from the Main Lemma) the
function ϕ = max(gxi ) is in Ā and satisfies f (y) − ≤ ϕ(y) ≤ f (y) + .
3
Step 2. If f ∈ Ā, then |f | ∈ Ā, the closure of A in CR (X).
Let a = ||f || (sup norm). The function f 2 /a2 is in Ā (since Ā is an
algebra) and takes values in [0, 1]. If un (t) are the functions from Step 1,
the compositions un ◦ (f 2 /a2 ) are in Ā (again since A is an algebra), and
converge uniformly to |f |/a.
Step 3. If f, g ∈ A, then max{f, g}, min{f, g} are also in Ā.
1 1
max{f, g} = (f + g + |f − g|), min{f, g} = (f + g − |f − g|).
2 2
Step 4 (final). The pointwise max and the pointwise min of finitely many
functions in Ā is still in Ā: follows from Step 3, since minimizing over a finite
set amounts to a finite number of pair comparisons.
4
Remark. A metric space X is precompact if for all > 0 a finite number
of balls with diameter suffices to cover X. The following three conditions
are equivalent for a metric space: (i) X is compact; (ii) X is sequentially
compact (any infinite sequence has an accumulation point.) (iii) X is pre-
compact and complete.
A precompact metric space X is separable. Indeed for each n there is a
finite set An so that, for each x ∈ X, d(x, An ) ≤ 1/n. Then A = ∪n An is
countable, and it is easy to see that Ā = X.
5
Let x ∈ X and V (x) be a neighborhood of x so that |fi (x) − fi (y)| for each
y ∈ V (x), and all i. If follows that if y ∈ V (x) we have |f (x) − f (y)| < 3
for each f ∈ H, so H is equicontinuous.