The Gelfand-Naimark theorem: every commutative C* algebra is $C_0(X)$ for some locally compact Hausdorff space $X$.
- The spectral theorem is a corollary.
- The theorem introduces students to the idea that a ring is a geometric object
- Certain constructions in topology, e.g. the Stone-Cech compactification, become more transparent.
