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.