The theorem that every commutative C*-algebra is isometrically *-isomorphic to C0(X), the algebra of continuous complex-valued functions vanishing at infinity on a locally compact Hausdorff space X (its spectrum), via the Gelfand transform, realizing a duality between spaces and commutative operator algebras.

Principle

The maximal ideal space or character space of a commutative C*-algebra, equipped with the Gelfand (weak-*) topology, recovers a locally compact Hausdorff space X such that pointwise operations correspond to algebraic operations in the algebra; the norm and *-structure correspond to supremum norm and complex conjugation of functions.

Demonstration

The C*-algebra generated by a unitary operator with spectrum the unit circle is isomorphic to C(S^1); the Gelfand transform sends an element to its evaluation function on characters, converting algebraic questions into topological ones about the spectrum.

Misapplication

Mistaking the theorem to hold for noncommutative C*-algebras (where no underlying classical space exists) or attempting to apply the result to non-* closed or non-complete normed *-algebras without verifying C*-axioms.

Consequence

Establishes a duality that allows topological spaces to be studied via commutative C*-algebras and motivates noncommutative geometry by regarding noncommutative C*-algebras as 'noncommutative spaces'; it also provides the spectral calculus for normal elements.

Reversal

The converse perspective — viewing a C*-algebra as functions on a space — fails in the noncommutative case, where algebraic structure encodes 'noncommutative' geometry rather than point-set spaces; point evaluations are replaced by representations.

Boundary

Applies only to commutative C*-algebras (or to the commutative subalgebras of a noncommutative algebra); requires the C*-norm and *-structure and the completeness condition; does not cover arbitrary Banach *-algebras or noncommutative operator algebras without modification.

Semantic Tension

Tension between classical point-set/topological intuitions about spaces and operator-algebraic abstractions: the spectrum is simultaneously an algebraic construction (characters/maximal ideals) and a topological object whose points need not correspond to geometric points in other senses.

Synthesis

The Gelfand–Naimark Theorem identifies every commutative C*-algebra with an algebra of continuous functions on a locally compact Hausdorff space (its spectrum) via the Gelfand transform, providing a precise algebra–topology duality and the conceptual foundation for noncommutative analogues.