7
$\begingroup$

I am having some trouble constructing the Stone-Čech compactification of a locally compact Hausdorff space $X$ using theory of $C^*$-algebras. I did some search but could not find a good answer on this.

Let's focus on the case $X=\mathbb{R}$. The space of bounded complex-valued functions $C_b(\mathbb{R})$ is a commutative unital $C^*$-algebra hence $C_b(\mathbb{R})\cong C(\mathcal{M})$, where $\mathcal{M}$ is the maximal ideal space, which is compact and Hausdorff.

It should be the case that $\mathcal{M}\cong\beta\mathbb{R}$, and it is not difficult to show that by identify $t\in\mathbb{R}$ with the evaluation at $t$, we have a homeomorphism between $\mathbb{R}$ and a subspace of $\mathcal{M}$.

But we still need to show this subspace is dense in $\mathcal{M}$. This is where I am having troubles (and I guess this is the whole point of the proof).

Can someone give a hint? Thanks!

  • 3
    @MattN. Well, I was looking at Stone-Cech on Wiki, which mentions this approach in one sentence. So I tried to give a proof.2012-12-17

2 Answers 2

5

The sketch in the other answer takes care of much, except that it doesn't address the question why it is that $i(X)$ is dense in $\mathcal{M}$.

So: let $i \colon X \to \mathcal{M}$ be the map sending $x$ to (the maximal ideal corresponding to) evaluation at $X$. If $i(X)$ were not dense then there would be a function $f \colon \mathcal{M} \to [0,1]$ such that $f|_{i(X)} = 0$ (apply Urysohn's lemma to a point outside of the closure of $i(X)$). But the existence of such a function is impossible since such a function would have to be zero under the identification $C(\mathcal{M}) \cong C_b(X)$.

A detailed proof of the Stone-Čech property of the maximal ideal space of $C_b(X)$ appears in many books treating spectral theory of $C^\ast$-algebras, e.g. Pedersen, Analysis now, Proposition 4.3.18.

  • 0
    Yes. I found the proof from Pederson earlier today. Thanks!2012-12-18
1

You really should be thinking about the Stone-Cech compactification in terms of its universal property; the inclusion $X \to \beta X$ is already uniquely determined (up to unique isomorphism) by the fact that it is the universal map from $X$ to a compact Hausdorff space, so to verify that $C_b(X) \cong C(\beta X)$ it suffices to verify that the compact Hausdorff space $Y$ such that $C_b(X) \cong C(Y)$ (which exists by Gelfand-Naimark) has the universal property of the Stone-Cech compactification.

(There is also no need to assume that $X$ is locally compact Hausdorff. Everything I'm about to say makes sense for arbitrary topological spaces, although the map $X \to \beta X$ is only an embedding for $X$ completely regular.)

To verify the universal property, let $f : X \to Z$ be a continuous map from $X$ to a compact Hausdorff space $Z$. Then $f$ determines a map $C(Z) \to C_b(X)$ of C*-algebras (a complex-valued function on $Z$ will be bounded, and so its pullback to $X$ will also be bounded). Since $C_b(X) \cong C(Y)$, it follows that $f$ determines a map $C(Z) \to C(Y)$, and by the equivalence of categories between commutative unital C*-algebras and compact Hausdorff spaces (this is the technical heart of the proof) this uniquely determines a continuous map $Y \to Z$ through which $f$ factors. The conclusion follows.

Edit: The fact that (the image of) $X$ is dense in $\beta X$ follows directly from the universal property, since the closure of $X$ in $\beta X$ satisfies the universal property of the Stone-Cech compactification, hence its inclusion into $\beta X$ must be an isomorphism.

  • 0
    :) That's a $g$ood one!2012-12-19