In mathematics, specifically functional analysis, the von Neumann bicommutant theorem relates the closure of a set of bounded operators on a Hilbert space in certain topologies to the bicommutant of that set. In essence, it is a connection between the algebraic and topological sides of operator theory.
The formal statement of the theorem is as follows:
Von Neumann bicommutant theorem. Let be an algebra consisting of bounded operators on a Hilbert space, containing the identity operator, and closed under taking adjoints. Then the closures of in the weak operator topology and the strong operator topology are equal, and are in turn equal to the bicommutant of .
This algebra is called the von Neumann algebra generated by .
There are several other topologies on the space of bounded operators, and one can ask what are the *-algebras closed in these topologies. If is closed in the norm topology then it is a C*-algebra, but not necessarily a von Neumann algebra. One such example is the C*-algebra of compact operators (on an infinite dimensional Hilbert space). For most other common topologies the closed *-algebras containing 1 are von Neumann algebras; this applies in particular to the weak operator, strong operator, *-strong operator, ultraweak, ultrastrong, and *-ultrastrong topologies. It is related to the Jacobson density theorem.
Let be a Hilbert space and the bounded operators on . Consider a self-adjoint unital subalgebra of (this means that contains the adjoints of its members, and the identity operator on).
The theorem is equivalent to the combination of the following three statements:
(i)
(ii)
(iii)
where the and subscripts stand for closures in the weak and strong operator topologies, respectively.
For any and in, the map T → <Tx, y> is continuous in the weak operator topology, by its definition. Therefore, for any fixed operator, so is the map
T\to\langle(OT-TO)x,y\rangle=\langleTx,O*y\rangle-\langleTOx,y\rangle
Let S be any subset of, and S′ its commutant. For any operator in S′, this function is zero for all O in S. For any not in S′, it must be nonzero for some O in S and some x and y in . By its continuity there is an open neighborhood of for the weak operator topology on which it is nonzero, and which therefore is also not in S′. Hence any commutant S′ is closed in the weak operator topology. In particular, so is ; since it contains, it also contains its weak operator closure.
This follows directly from the weak operator topology being coarser than the strong operator topology: for every point in, every open neighborhood of in the weak operator topology is also open in the strong operator topology and therefore contains a member of ; therefore is also a member of .
Fix . We must show that, i.e. for each h ∈ H and any, there exists T in with .
Fix h in . The cyclic subspace is invariant under the action of any T in . Its closure in the norm of H is a closed linear subspace, with corresponding orthogonal projection : H → in L(H). In fact, this P is in, as we now show.
Lemma. .
Proof. Fix . As, it is the limit of a sequence with in . For any, is also in, and by the continuity of, this sequence converges to . So, and hence PTPx = TPx. Since x was arbitrary, we have PTP = TP for all in .
Since is closed under the adjoint operation and P is self-adjoint, for any we have
\langlex,TPy\rangle=\langlex,PTPy\rangle=\langle(PTP)*x,y\rangle=\langlePT*Px,y\rangle=\langleT*Px,y\rangle=\langlePx,Ty\rangle=\langlex,PTy\rangle
So TP = PT for all, meaning P lies in .
By definition of the bicommutant, we must have XP = PX. Since is unital,, and so . Hence . So for each, there exists T in with, i.e. is in the strong operator closure of .
A C*-algebra acting on H is said to act non-degenerately if for h in, implies . In this case, it can be shown using an approximate identity in that the identity operator I lies in the strong closure of . Therefore, the conclusion of the bicommutant theorem holds for .