Von Neumann bicommutant theorem


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:
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. 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.

Proof

Let be a Hilbert space and the bounded operators on. Consider a self-adjoint unital subalgebra of .
The theorem is equivalent to the combination of the following three statements:
where the and subscripts stand for closures in the weak and strong operator topologies, respectively.

Proof of (i)

By definition of the weak operator topology, for any and in, the map T → <Tx, y> is continuous in this topology. Therefore, for any operator , so is the map
Let S be any subset of, and S′ its commutant. For any operator not in S′, <OTx, y> - <TOx, y> is nonzero for some O in S and some x and y in. By the continuity of the abovementioned mapping, there is an open neighborhood of in the weak operator topology for which this is nonzero, therefore this open neighborhood is also not in S′. Thus S′ is closed in the weak operator, i.e. S′ is weakly closed. Thus every commutant is weakly closed, and so is ; since it contains, it also contains its weak closure.

Proof of (ii)

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.

Proof of (iii)

Fix. We will show.
Fix an open neighborhood of in the strong operator topology. By definition of the strong operator topology, U contains a finite intersection U ∩...∩U of subbasic open sets of the form U =, where h is in H and ε > 0.
Fix h in. Consider the closure of with respect to the norm of H and equipped with the inner product of H. It is a Hilbert space, and so has a corresponding orthogonal projection which we denote. is bounded, so it is in. Next we prove:
By definition of the bicommutant XP = PX. Since is unital,, hence. Thus for every, there exists T in with. Then T lies in U.
Thus in every open neighborhood of in the strong operator topology there is a member of, and so is in the strong operator topology closure of.

Non-unital case

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.