Definition

Let π:AB(H)\pi:A\to\mathcal B(H) be a . The von Neumann algebra generated by π\pi is

W(π(A))=π(A).W^*(\pi(A))=\pi(A)''.

By the , this is the weak-operator and strong-operator closure of the unital *-algebra generated by π(A)\pi(A). It is the smallest von Neumann subalgebra of B(H)\mathcal B(H) containing the represented image. If π\pi is nondegenerate, the identity already lies in the strong closure of π(A)\pi(A), so W(π(A))W^*(\pi(A)) is the weak or strong closure of π(A)\pi(A) itself.

Why the bicommutant is used

Taking a bicommutant automatically adjoins the identity and closes in the relevant operator topologies. This matters for a degenerate representation: the weak closure of π(A)\pi(A) can act as zero on a complementary subspace and therefore need not contain IHI_H, while π(A)\pi(A)'' is unital. Adding IHI_H before taking the weak closure gives the same algebra as the bicommutant Takesaki, Chapter III, §2.

Dependence on the representation

The construction depends on the representation, not only on the abstract algebra AA. Different representations of the same CC^*-algebra may generate nonisomorphic or different normal representation theories. The universal representation produces the enveloping von Neumann algebra AA^{**}, whereas a particular quotient or factor representation can generate a much smaller algebra.

Role in representation theory

Properties formulated using weak limits become visible only after passing from π(A)\pi(A) to W(π(A))W^*(\pi(A)). A representation is when this generated algebra is a factor. asks whether their generated von Neumann algebras are normally isomorphic in a way that agrees on the common CC^*-algebra.

References
  1. Jacques Dixmier, C-Algebras*, North-Holland, 1977. Publisher record. Relevant: Chapter 12 on the enveloping von Neumann algebra of a CC^*-algebra.
  2. Masamichi Takesaki, Theory of Operator Algebras I, Springer, 2002. Publisher record. Relevant: Chapter III, §2 on representations and generated von Neumann algebras.