PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: No information on entry rating
Gelfand-Naimark theorem (Theorem)

Let $ \mathord{\mathbf{Haus}}$ be the category of locally compact Hausdorff spaces with continuous proper maps as morphisms. And, let $ \mathord{\mathbf{C^*Alg}}$ be the category of commutative $ C^*$-algebras with proper *-homomorphisms (send approximate units into approximate units) as morphisms. There is a contravariant functor $ C\colon \mathord{\mathbf{Haus}}^\mathrm{op}\to \mathord{\mathbf{C^*Alg}}$ which sends each locally compact Hausdorff space $ X$ to the commutative $ C^*$-algebra $ C_0(X)$ ($ C(X)$ if $ X$ is compact). Conversely, there is a contravariant functor $ M\colon \mathord{\mathbf{C^*Alg}}^\mathrm{op}\to \mathord{\mathbf{Haus}}$ which sends each commutative $ C^*$-algebra $ A$ to the space of characters on $ A$ (with the Gelfand topology).

The functors $ C$ and $ M$ are an equivalence of categories.



"Gelfand-Naimark theorem" is owned by mhale.
(view preamble)

View style:

Log in to rate this entry.
(view current ratings)

Cross-references: equivalence of categories, topology, characters, compact, contravariant functor, approximate units, *-homomorphisms, commutative, morphisms, continuous proper maps, locally compact Hausdorff spaces, category
There are 3 references to this entry.

This is version 2 of Gelfand-Naimark theorem, born on 2003-02-26, modified 2004-04-16.
Object id is 4065, canonical name is GelfandNaimarkTheorem.
Accessed 3989 times total.

Classification:
AMS MSC46L85 (Functional analysis :: Selfadjoint operator algebras :: Noncommutative topology)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)