Wikipedia contributors (2026), Wikipedia — https://en.wikipedia.org/wiki/Gelfand%E2%80%93Naimark%E2%80%93Segal_construction
Key takeaways
From the reading, NOTE-857.
- Construction (after Kadison, Thm 4.5.2). For a state ρ on a C*-algebra A, ⟨a, b⟩ = ρ(b*a) is a semi-inner product on A. Its null elements form a left ideal I; A/I completed is the Hilbert space H; A acts by π(a)(b + I) = ab + I; the class of 1 (or the limit of an approximate identity) is a unit cyclic vector ξ with ρ(a) = ⟨π(a)ξ, ξ⟩.
- Uniqueness (Kadison, Prop. 4.5.3, stated not proved). Two cyclic representations whose cyclic vectors reproduce the same state are unitarily equivalent, by the unitary that maps π(a)ξ to π′(a)ξ′.
- Purity. The GNS representation is irreducible iff the state is an extreme point; for C(X) the states are probability measures and the pure ones point masses.
- Significance. It is the core of the Gelfand–Naimark theorem, builds the universal representation, and is generalized by Stinespring’s theorem.
- What it does not say. Nothing on positive-definite kernels, RKHS, real scalars, or unbounded observables.
Standing in the record
Filed on 2026-09-26 at the owner’s request, from a list grouped under the heading Riesz Representation Theorem, and read in full on 2026-10-14 in NOTE-857.
THEORY-004 cites it as “the GNS statement”. The article supports the statement at the level of C*-algebras: a state fixes its representation up to a unitary. The kernel form THEORY-004 needs is Jorgensen & Tian’s (LIT-259), and the step to real representation matrices and orthogonal maps is not in this article. THEORY-017 names it for the setting where an algebra of observables is given from the start, which fits; the article says nothing about continuous observables in particular. NOTE-303 reads Murray & von Neumann’s first form of the construction. The reading files no THEORY: the article is a reference for a standard theorem whose use in the record THEORY-004 already holds.