C*-Algebras and the GNS Construction — Mathematics Knowledge System

Overview

A C*-algebra is a Banach algebra A with an involution * satisfying the C*-identity ||a*a|| = ||a||^2. Every abstract C*-algebra is isometrically *-isomorphic to a norm-closed *-subalgebra of B(H) for some Hilbert space H (Gelfand-Naimark theorem). The GNS (Gelfand-Naimark-Segal) construction explicitly builds this Hilbert space representation from a positive linear functional (state). C*-algebras form the mathematical foundation of quantum mechanics and non-commutative geometry.

Intuition

A C*-algebra generalises both the algebra of continuous functions C(X) (a commutative C*-algebra) and the algebra B(H) of bounded operators on a Hilbert space (a non-commutative C*-algebra). The C*-identity ||a*a|| = ||a||^2 ties the algebraic structure (involution) to the norm, making the algebra rigid: there is at most one norm compatible with the C*-identity. A state is an abstract probability measure; the GNS construction turns a state into an actual Hilbert space, making the algebra act by operators.

Formal Definition

Definition

A C*-algebra is a Banach algebra (A, ||.||) with an isometric involution *: A -> A satisfying (ab)* = b*a*, (a*)* = a, and the C*-identity ||a*a|| = ||a||^2. A state on A is a positive linear functional phi: A -> C with ||phi|| = 1. The spectrum of a in A is sigma(a) = {lambda in C : a - lambda 1 not invertible}. The GNS construction: given a state phi, define the inner product <a,b> = phi(b*a) on A, quotient out the null space N = {a : phi(a*a) = 0}, complete to get a Hilbert space H_phi, and observe that A acts on H_phi by left multiplication.

\|a^*a\| = \|a\|^2 \quad \text{(C*-identity)}

C*-identity

\sigma(a) = \{\lambda \in \mathbb{C} : a - \lambda 1 \text{ not invertible}\}

Spectrum

\langle a, b \rangle_{\varphi} = \varphi(b^* a), \quad H_{\varphi} = \overline{A/N_{\varphi}}

GNS inner product

\pi_{\varphi}(a)(b + N_{\varphi}) = ab + N_{\varphi}

GNS representation

Notation

Notation	Meaning
$A$	C*-algebra
$\varphi$	State (positive linear functional of norm 1)
$H_{\varphi}$	GNS Hilbert space associated to state phi
$\pi_{\varphi}$	GNS representation of A on H_phi
$\sigma(a)$	Spectrum of element a in A

Theorems

Theorem 12.1: Gelfand-Naimark Theorem

Every C*-algebra A is isometrically *-isomorphic to a norm-closed *-subalgebra of B(H) for some Hilbert space H. In particular, the abstract algebraic axioms completely characterise the concrete operator algebras.

Theorem 12.2: GNS Construction

For every state phi on a C*-algebra A, there exists a Hilbert space H_phi, a *-representation pi_phi: A -> B(H_phi), and a cyclic vector xi_phi in H_phi such that phi(a) = <pi_phi(a) xi_phi, xi_phi> for all a in A. The triple (H_phi, pi_phi, xi_phi) is unique up to unitary equivalence.

Theorem 12.3: Commutative Gelfand-Naimark Theorem

Every commutative C*-algebra is isometrically *-isomorphic to C_0(X) for some locally compact Hausdorff space X (the spectrum of the algebra). This establishes a duality between commutative C*-algebras and locally compact Hausdorff spaces.

Theorem 12.4: Spectral Permanence

If B is a C*-subalgebra of A (both unital) and a in B, then sigma_B(a) = sigma_A(a). The spectrum of an element does not depend on which C*-algebra it is viewed in.

Worked Examples

1
Algebraic structure: C([0,1]) is a commutative Banach algebra under pointwise multiplication with ||f||_infty = sup_{x in [0,1]} |f(x)|.
2
Involution: define f*(x) = complex conjugate of f(x). This is isometric: ||f*|| = ||f||.
3
C*-identity:
$\|f^* f\|_\infty = \sup_x |f(x)|^2 = \left(\sup_x |f(x)|\right)^2 = \|f\|_\infty^2$
4
By the commutative Gelfand-Naimark theorem, the spectrum is homeomorphic to [0,1], recovering the original space.

✓ Answer

C([0,1]) is a commutative C*-algebra. Its spectrum (maximal ideal space) is [0,1].

Practice Problems

Hardproof writing

Prove that in a C*-algebra, ||a*|| = ||a|| for all a (the involution is isometric).

Mediumfree response

Explain why the C*-identity ||a*a|| = ||a||^2 is the key axiom distinguishing C*-algebras from general Banach *-algebras.

MediumMultiple choice

What does the commutative Gelfand-Naimark theorem say about a commutative C*-algebra A?

A is isomorphic to L^2(mu) for some measure muA is isometrically *-isomorphic to C_0(X) for some locally compact Hausdorff space XA is isomorphic to a matrix algebraA embeds in a von Neumann algebra

Common Mistakes

Common Mistake

Thinking all C*-algebras are commutative.

B(H) for infinite-dimensional H is a non-commutative C*-algebra. The commutative Gelfand-Naimark theorem applies only when A is commutative.

Common Mistake

Confusing states with arbitrary positive linear functionals.

A state is a positive linear functional of norm exactly 1. Not every positive functional is a state -- it must be normalised.

Quiz

The C*-identity states:

||ab|| = ||a|| ||b||||a*a|| = ||a||^2||a + b|| <= ||a|| + ||b||||a*|| = ||a||^2

The GNS construction produces:

A measure on the spectrum of AA Hilbert space H_phi and a *-representation of A on H_phiAn isomorphism between A and a matrix algebraA norm-1 projection in A

Historical Background

Israel Gelfand and Mark Naimark introduced C*-algebras in 1943, calling them 'rings of operators'. Irving Segal made foundational contributions in 1947, developing the GNS construction independently. The abstract characterisation via the C*-identity was clarified by Segal and others in the 1950s. Alain Connes revolutionised the subject in the 1970s-80s with his classification of von Neumann algebras and the development of non-commutative geometry.

1943
Gelfand and Naimark introduce abstract C*-algebras (B*-algebras)
Israel Gelfand, Mark Naimark
1947
Segal develops the GNS construction and studies states
Irving Segal
1955
Kadison and Singer study irreducible representations and extensions
Richard Kadison
1976
Connes classifies injective von Neumann algebras
Alain Connes

Summary

A C*-algebra is a Banach *-algebra satisfying the C*-identity ||a*a|| = ||a||^2.
The Gelfand-Naimark theorem: every C*-algebra embeds isometrically in B(H) for some Hilbert space H.
Commutative C*-algebras are exactly the algebras C_0(X) for locally compact Hausdorff spaces X.
A state is a positive normalised linear functional; the GNS construction converts a state into a Hilbert space representation.
Spectral permanence: the spectrum of an element does not depend on the ambient C*-algebra.

References

BookMurphy, G. — C*-Algebras and Operator Theory, Academic Press, 1990
BookKadison, R. & Ringrose, J. — Fundamentals of the Theory of Operator Algebras, AMS, 1997
WebsiteWikipedia: C*-algebra