Advanced Analysis, Notes 14: Banach spaces (application: the Stone–Weierstrass Theorem revisited; structure of C(K))
by Orr Shalit
In this post we will use the Krein–Milman theorem together with the Hahn–Banach theorem to give another proof of the Stone–Weierstrass theorem. The proof we present does not make use of the classical Weierstrass approximation theorem, so we will have here an alternative proof of the classical theorem as well.
1. The Stone–Weierstrass Theorem
We prove the real valued version of the Stone–Weierstrass Theorem. The complex version follows readily (see this post for details).
Theorem 1 (Stone–Weierstrass Theorem): Let be a closed subalgebra of that contains the constant functions and separates points. Then .
Consider the closed unit ball of the annihilator of :
The fact that is an algebra has the following consequence: if and then . Indeed, for all we have
Our goal is to show that because the Hahn–Banach Theorem (more precisely, Corollary 16 in Notes 6) then tells us that .
Suppose, for the sake of reaching a contradiction, that . Clearly, is a compact convex subset of . By the Krein–Milman Theorem, has an extreme point . It is easy to see that the assumption forces .
We will now show that the support of must be a single point. Assume that we have two distinct points . Then by the assumptions on , there is some such that . Define . Then and . There is a neighborhood of such that is positive on . Thus, since is in the support of , . Likewise, .
We now form the measures and . We have noted above that , and clearly . From the fact that on , it follows that neither of these measures is equal to .
Recall that by the Hahn–Jordan decomposition theorem, there is a partition of into disjoint sets such that if and if . Compute
Putting , we find . This is a contradicts the extremeness of . The contradiction shows that the support of must be a singleton .
But if , then for . It follows that for all . But this is absurd, since . The contradiction implies that , and the consequence is that .
2. The isometric structure of
The Banach spaces give a rich source of “concrete” examples of Banach spaces. It turns out that their role in the general theory is much larger than appears at first.
Exercise A: Every Banach space is isometric with a closed subspace of , where is some compact Hausdorff topological space.
However, the spaces consisting of all continuous functions on some compact Hausdorff space are far from exhausting the examples of Banach spaces.
We will now give an application of extreme points to the structure theory of the spaces . Even though the objects of interest here are the “classical analytic” spaces , I do not consider this as an application of functional analysis to analysis, since we are answering a question that arises only in the framework of functional analysis. This is more of an application of functional analysis to itself. The reader may rest assured that even though this is not a “proper application”, I still find the following theorem and the question that it answers super interesting.
If and are two compact Hausdorff spaces, and if is a homeomorphism, then it is clear that the map given by is an isometric isomorphism. Also, if is such that , then is an isometric automorphism of . It is quite remarkable that every isometric isomorphism arises as the composition of these two examples.
Theorem 2: Let and be two compact Hausdorff spaces. Suppose that there is an isometric isomorphism . Then there exists a homeomorphism and with such that for all and all ,
In particular, if and are isometric, then and are homeomorphic. Thus, the topology of is completely determined by the structure of the normed space .
Proof: Consider given by .
Exercise B: is an isometric isomorphism.
It follows from the exercise that takes the set of extreme points of bijectively onto the set of extreme points of .
Exercise C: The extreme points of are of the form , where .
It follows that for every , there is some and some such that . Spelling out the duality, we have , or
It remains to show that and are continuous. This will remain an exercise.