The theorem that every commutative unital C*-algebra A is *-isomorphic to C(X), the algebra of continuous complex-valued functions on a compact Hausdorff space X (the space of characters or maximal ideals of A), via the Gelfand transform; it establishes a duality between the category of commutative unital C*-algebras and the category of compact Hausdorff spaces.

Principle

Identify algebraic elements with functions on the maximal ideal space: the spectrum of a commutative C*-algebra carries the topology that makes characters continuous and the Gelfand transform a *-isomorphism; the involutive norm and completeness encode topological structure.

Demonstration

Given A = C(X) for compact Hausdorff X, the maximal ideals correspond to points of X and the Gelfand transform is evaluation; conversely, for a commutative unital C*-algebra A, one constructs the space of nonzero *-homomorphisms A → C and shows the transform f ↦ (χ ↦ χ(f)) is a *-isomorphism onto C(Δ(A)).

Misapplication

Applying the statement to noncommutative C*-algebras, non-unital Banach *-algebras, or forgetting the C*-identity (∥a*a∥ = ∥a∥^2) leads to false conclusions; treating the maximal ideal space as a set of algebraic points without its Gelfand topology neglects continuity issues.

Consequence

One obtains an exact bridge between topology and algebra: topological questions about compact Hausdorff spaces can be translated into algebraic terms and vice versa, enabling functional calculus, classification results for commutative C*-algebras, and spectral analysis inside the algebra.

Reversal

Dropping commutativity produces operator algebras without a classical point space; instead one moves to noncommutative geometry where algebras play the role of 'function spaces' on virtual noncommutative spaces, and point-based intuition fails.

Boundary

Holds only for commutative, unital C*-algebras; it does not apply verbatim to non-unital algebras without unitization, to general Banach algebras lacking the C*-property, or to algebras over fields other than C without appropriate adjoint structure.

Semantic Tension

Tension exists between viewing the spectrum as an honest set of geometric points versus viewing it as an ideal-theoretic or representation-theoretic object (maximal ideals vs equivalence classes of irreducible representations), and between algebraic properties and finer topological invariants.

Synthesis

The Gelfand–Naimark theorem identifies commutative unital C*-algebras with algebras of continuous functions on compact Hausdorff spaces via the Gelfand transform, establishing a categorical duality that translates algebraic structure into topology and vice versa.