# Gelfand–Naimark–Segal construction

# Gelfand–Naimark–Segal construction

In functional analysis, a discipline within mathematics, given a C*-algebra *A*, the **Gelfand–Naimark–Segal construction** establishes a correspondence between cyclic *-representations of *A* and certain linear functionals on *A* (called *states*). The correspondence is shown by an explicit construction of the *-representation from the state. It is named for Israel Gelfand, Mark Naimark, and Irving Segal.

States and representations

A * -representation of a C*-algebra

*A*on a Hilbert space

*H*is a mapping π from

*A*into the algebra of bounded operators on

*H*such that

π is a ring homomorphism which carries involution on

*A*into involution on operatorsπ is nondegenerate, that is the space of vectors π(

*x*) ξ is dense as*x*ranges through*A*and ξ ranges through*H*. Note that if*A*has an identity, nondegeneracy means exactly π is unit-preserving, i.e. π maps the identity of*A*to the identity operator on*H*.

A state on a C*-algebra *A* is a positive linear functional *f* of norm 1. If *A* has a multiplicative unit element this condition is equivalent to *f*(1) = 1.

For a representation π of a C*-algebra *A* on a Hilbert space *H*, an element ξ is called a **cyclic vector** if the set of vectors

is norm dense in *H*, in which case π is called a **cyclic representation**. Any non-zero vector of an irreducible representation is cyclic. However, non-zero vectors in a cyclic representation may fail to be cyclic.

The GNS construction

Let π be a *-representation of a C*-algebra *A* on the Hilbert space *H* and ξ be a unit norm cyclic vector for π. Then

is a state of *A*.

In fact, every state of *A* may be viewed as a vector state as above, under a suitable canonical representation.

**Theorem.**

^{[1]}Given a state ρ of

*A*, there is a *-representation π of

*A*acting on a Hilbert space

*H*with distinguished unit cyclic vector ξ such thatfor every

*a*in

*A*.

**H**

**Proof.**

- Define on

*A*a semi-definitesesquilinear form

*a*in

*A*satisfying ρ(

*a*a*)= 0, form a vector subspace

*I*of

*A*. By a C*-algebraic argument, one can show that

*I*is aleft idealof

*A*(known as the left kernel of ρ). In fact, it is the largest left ideal in the null space of ρ. Thequotient spaceof

*A*by the vector subspace

*I*is an inner product space with the inner product defined by. TheCauchy completionof

*A*/

*I*in the norm induced by this inner product is a Hilbert space, which we denote by

*H*.

**Construction of the representation π**

- Define the action π of

*A*on

*A*/

*I*by π(

*a*)(

*b*+

*I*) =

*ab*+

*I*of

*A*on

*A*/

*I*. The same argument showing

*I*is a left ideal also implies that π(

*a*) is a bounded operator on

*A*/

*I*and therefore can be extended uniquely to the completion. Unravelling the definition of theadjointof an operator on a Hilbert space, π turns out to be *-preserving. This proves the existence of a *-representation π.

**Identifying the unit norm cyclic vector ξ**

- If

*A*has a multiplicative identity 1, then it is immediate that the equivalence class ξ in the GNS Hilbert space

*H*containing 1 is a cyclic vector for the above representation. If

*A*is non-unital, take anapproximate identity{*e

_{λ}*} for

*A*. Since positive linear functionals are bounded, the equivalence classes of the net {*e

_{λ}*} converges to some vector ξ in

*H*, which is a cyclic vector for π.

- It is clear from the definition of the inner product on the GNS Hilbert space

*H*that the state ρ can be recovered as a vector state on

*H*. This proves the theorem.

`The method used to produce a`

*-representation from a state of*-algebra*A*in the proof of the above theorem is called the**GNS construction**. For a state of a C*A*, the corresponding GNS representation is essentially uniquely determined by the condition,as seen in the theorem below.**Theorem.**

^{[2]}Given a state ρ of

*A*, let π, π' be *-representations of

*A*on Hilbert spaces

*H*,

*H'*respectively each with unit norm cyclic vectors ξ ∈

*H*, ξ' ∈

*H'*such thatfor all. Then π, π' are unitarily equivalent

*-representations i.e. there is a unitary operator*for all

*U*from*H*to*H'*such that π'(*a*) = Uπ(*a*)U*a*in

*A*. The operator

*U*that implements the unitary equivalence maps π(

*a*)ξ to π'(

*a*)ξ' for all

*a*in

*A*.

Significance of the GNS construction

The GNS construction is at the heart of the proof of the Gelfand–Naimark theorem characterizing C*-algebras as algebras of operators. A C*-algebra has sufficiently many pure states (see below) so that the direct sum of corresponding irreducible GNS representations is faithful.

The direct sum of the corresponding GNS representations of all states is called the **universal representation** of *A*. The universal representation of *A* contains every cyclic representation. As every *-representation is a direct sum of cyclic representations, it follows that every *-representation of *A* is a direct summand of some sum of copies of the universal representation.

If Φ is the universal representation of a C*-algebra *A*, the closure of Φ(*A*) in the weak operator topology is called the **enveloping von Neumann algebra** of *A*. It can be identified with the double dual *A***.

Irreducibility

Also of significance is the relation between irreducible *-representations and extreme points of the convex set of states. A representation π on *H* is irreducible if and only if there are no closed subspaces of *H* which are invariant under all the operators π(*x*) other than *H* itself and the trivial subspace {0}.

**Theorem**. The set of states of a C*-algebra

*A*with a unit element is a compactconvex setunder the weak-* topology. In general, (regardless of whether or not

*A*has a unit element) the set of positive functionals of norm ≤ 1 is a compact convex set.

Both of these results follow immediately from the Banach–Alaoglu theorem.

In the unital commutative case, for the C*-algebra *C*(*X*) of continuous functions on some compact *X*, Riesz–Markov–Kakutani representation theorem says that the positive functionals of norm ≤ 1 are precisely the Borel positive measures on *X* with total mass ≤ 1. It follows from Krein–Milman theorem that the extremal states are the Dirac point-mass measures.

On the other hand, a representation of *C*(*X*) is irreducible if and only if it is one-dimensional. Therefore, the GNS representation of *C*(*X*) corresponding to a measure μ is irreducible if and only if μ is an extremal state. This is in fact true for C*-algebras in general.

**Theorem**. Let

*A*be a C*-algebra. If π is a *-representation of

*A*on the Hilbert space

*H*with unit norm cyclic vector ξ, then π is irreducible if and only if the corresponding state

*f*is anextreme pointof the convex set of positive linear functionals on

*A*of norm ≤ 1.

To prove this result one notes first that a representation is irreducible if and only if the commutant of π(*A*), denoted by π(*A*)', consists of scalar multiples of the identity.

Any positive linear functionals *g* on *A* dominated by *f* is of the form

for some positive operator *Tg* in π(*A*)' with 0 ≤ *T* ≤ 1 in the operator order. This is a version of the Radon–Nikodym theorem.

For such *g*, one can write *f* as a sum of positive linear functionals: *f* = *g* + *g'*. So π is unitarily equivalent to a subrepresentation of π*g* ⊕ π*g'*. This shows that π is irreducible if and only if any such π*g* is unitarily equivalent to π, i.e. *g* is a scalar multiple of *f*, which proves the theorem.

Extremal states are usually called pure states. Note that a state is a pure state if and only if it is extremal in the convex set of states.

The theorems above for C*-algebras are valid more generally in the context of B*-algebras with approximate identity.

Generalizations

The Stinespring factorization theorem characterizing completely positive maps is an important generalization of the GNS construction.

History

Gelfand and Naimark's paper on the Gelfand–Naimark theorem was published in 1943.^{[3]} Segal recognized the construction that was implicit in this work and presented it in sharpened form.^{[4]}

In his paper of 1947 Segal showed that it is sufficient, for any physical system that can be described by an algebra of operators on a Hilbert space, to consider the *irreducible* representations of a C*-algebra. In quantum theory this means that the C*-algebra is generated by the observables. This, as Segal pointed out, had been shown earlier by John von Neumann only for the specific case of the non-relativistic Schrödinger-Heisenberg theory.^{[5]}

See also

Cyclic and separating vector

## References

*Matematicheskii Sbornik*.

**12**(2): 197–217. (also Google Books, see pp. 3–20)

*Notes on the Gelfand–Neimark theorem*. In: Robert C. Doran (ed.):

*C*-Algebras: 1943–1993. A Fifty Year Celebration*, AMS special session commemorating the first fifty years of C*-algebra theory, January 13–14, 1993, San Antonio, Texas, American Mathematical Society, pp. 21–54, ISBN 0-8218-5175-6 (available from Google Books, see pp. 21 ff.)

*Bull. Am. Math. Soc*.

**53**: 73–88. doi:10.1090/s0002-9904-1947-08742-5.