2.3 The Gelfand-Naimark theorem for commutative C*-algebras

The Gelfand-Naimark theorem is a game-changer for commutative C*-algebras. It shows that these abstract structures are actually just continuous functions on special spaces called spectra. This connection opens up new ways to understand and work with these algebras.

By linking abstract algebras to concrete function spaces, the theorem bridges pure math and applications. It's a powerful tool for analyzing operators, developing quantum theories, and exploring non-commutative geometry. The theorem's insights ripple through many areas of mathematics and physics.

Gelfand-Naimark Theorem and Abelian C-algebras

Fundamental Concepts and Definitions

• Gelfand-Naimark theorem establishes a crucial connection between abstract C*-algebras and concrete function algebras
• Abelian C*-algebra refers to a commutative C*-algebra where all elements commute with each other under multiplication
• Isometric -isomorphism preserves both the algebraic and topological structures of C-algebras
• Spectrum of an abelian C*-algebra consists of all non-zero multiplicative linear functionals
• Gelfand transform maps elements of an abelian C*-algebra to continuous functions on its spectrum

Theorem Statement and Implications

• Gelfand-Naimark theorem states every abelian C*-algebra is isometrically *-isomorphic to the algebra of continuous functions vanishing at infinity on its spectrum
• Isomorphism established by the theorem preserves algebraic operations (addition, multiplication, scalar multiplication)
• Theorem also preserves the involution operation and the norm of the C*-algebra
• Spectrum of an abelian C*-algebra is a locally compact Hausdorff space under the weak* topology
• Gelfand transform provides a concrete representation of abstract abelian C*-algebras as function algebras

Applications and Consequences

• Theorem allows for the study of abelian C*-algebras through their function algebra representations
• Spectral theory of normal operators in Hilbert spaces can be derived from the Gelfand-Naimark theorem
• Provides a foundation for the development of non-commutative geometry and quantum mechanics
• Enables the classification of abelian C*-algebras up to isomorphism by studying their spectra
• Generalizes to non-commutative C*-algebras through the GNS construction (Gelfand-Naimark-Segal construction)

Topological Spaces and Continuous Functions

Properties of Locally Compact Hausdorff Spaces

• Locally compact Hausdorff space combines local compactness with the Hausdorff separation axiom
• Local compactness ensures every point has a compact neighborhood
• Hausdorff property guarantees distinct points can be separated by disjoint open sets
• Examples include Euclidean spaces, manifolds, and discrete topological spaces
• Locally compact Hausdorff spaces possess important properties like regularity and paracompactness

Continuous Functions Vanishing at Infinity

• Continuous functions vanishing at infinity form a C*-algebra denoted as $C_0(X)$ for a locally compact Hausdorff space X
• Function $f$ vanishes at infinity if for every $\epsilon > 0$, the set $\{x \in X : |f(x)| \geq \epsilon\}$ is compact
• $C_0(X)$ equipped with the supremum norm becomes a C*-algebra
• Stone-Čech compactification relates $C_0(X)$ to the algebra of all continuous functions on a compact space
• Unitization of $C_0(X)$ yields the algebra of continuous functions that have a limit at infinity

Connections to Abelian C-algebras

• Gelfand-Naimark theorem identifies every abelian C*-algebra with a $C_0(X)$ for some locally compact Hausdorff space X
• Spectrum of an abelian C*-algebra serves as the locally compact Hausdorff space X in this identification
• Continuous functions on compact spaces correspond to unital abelian C*-algebras
• Non-unital abelian C*-algebras correspond to $C_0(X)$ for non-compact locally compact Hausdorff spaces X
• Study of topological properties of X provides insights into the algebraic structure of the corresponding C*-algebra