### 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 . *

**Proof:** Recall that , the space of regular Borel signed measures on . Recall that the norm of a measure is given by its total variation. Equivalently, , where is the Hahn–Jordan decomposition of .

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.

” Every Banach space is isometric with a closed subspace of C(K), where K is some compact Hausdorff topological space.” this looks like a gefland naimark theorem.can anything be proved about banach spaces using this duality

I am Koushik.I was in the Conference held in Bangalore.I am a undergrad. student of ISI,bangalore. I have interest in operator theory and operator algebra.I have read your paper from arXiv on Arveson conjecture.what literature should I look into for approaching the problem?

Hi Koushik,

I don’t want to throw too many papers at you, so I suggest you start with the following two papers of Arveson:

1) Subalgebras of C*-algebras III (1998)

2) Quotients of standard Hilbert modules (2007)

Since the problem is open and hard, it probably needs some fresh ideas. So before trying to read all the literature, I suggest spending time on trying to think how to proceed.

If and when you get stuck, one of the best papers in the field is the paper of Guo and Wang “Essential normal Hilbert modules and K-homology”.

As for current trends, I think the most promising direction which has not been explored enough is the one started in this paper of Douglas and Wang:

http://arxiv.org/abs/1101.0774

thanks

Reblogged this on addictionmath.