C*-Algebras

A C*-algebra is an algebra of operators closed under the adjoint and complete in a norm satisfying a compatibility identity; it abstracts the algebraic structure of bounded operators on a Hilbert space.

Definition

A C*-algebra is a complex Banach algebra equipped with an involution such that the norm of the product of an element and its adjoint equals the square of the element's norm; this single identity makes the abstract algebra behave like operators on a Hilbert space.

Scope

This topic covers Banach and C*-algebra axioms and the C*-identity, the spectrum and Gelfand theory of commutative C*-algebras as continuous functions on a compact space, the continuous functional calculus, positivity and states, the Gelfand-Naimark-Segal construction, the Gelfand-Naimark representation theorem, and von Neumann algebras as weakly closed operator algebras.

Core questions

• What algebraic and analytic axioms capture the structure of operator algebras?
• How does Gelfand theory identify a commutative C*-algebra with continuous functions on a space?
• How is every abstract C*-algebra realized concretely as operators on a Hilbert space?
• How do states and the GNS construction connect algebra to representations?

Key theories

Gelfand-Naimark theorem for commutative algebras

Every commutative C*-algebra with unit is isometrically isomorphic to the algebra of continuous functions on its spectrum, a compact space, turning commutative operator algebra into ordinary function theory.

Gelfand-Naimark-Segal construction and representation theorem

Every state on a C*-algebra yields a representation on a Hilbert space, and together these show that any C*-algebra is isometrically isomorphic to a norm-closed algebra of operators, founding the abstract theory.

Clinical relevance

C*-algebras provide the algebraic framework for quantum theory and quantum statistical mechanics, where observables form an algebra and states are positive functionals; von Neumann algebras classify quantum symmetries, and the subject is the analytic foundation of noncommutative geometry and operator-algebraic approaches to physics.

History

Murray and von Neumann founded the theory of rings of operators, now von Neumann algebras, in a series of papers from 1936. Gelfand and Naimark axiomatized C*-algebras and proved their representation theorem in 1943, establishing the abstract subject.

Key figures

• Israel Gelfand
• Mark Naimark
• John von Neumann

Seminal works

• pedersen1989
• murphy1990

Frequently asked questions

What does the C*-identity express?

The identity that the norm of an element times its adjoint equals the square of the element's norm ties the algebraic involution to the norm so tightly that the abstract algebra is forced to behave exactly like operators on a Hilbert space.

Why are commutative C*-algebras just function algebras?

Gelfand theory shows a commutative C*-algebra is the algebra of continuous functions on its spectrum, so commutative operator algebra reduces to classical topology and function theory, while noncommutativity is the genuinely quantum feature.