Von Neumann Bicommutant Theorem - Proof

Proof

Let H be a Hilbert space and L(H) the bounded operators on H. Consider a self-adjoint subalgebra M of L(H). Suppose also, M contains the identity operator on H.

As stated above, the theorem claims the following are equivalent:

i) M = M′′.
ii) M is closed in the weak operator topology.
iii) M is closed in the strong operator topology.

The adjoint map TT* is continuous in the weak operator topology. So the commutant S’ of any subset S of L(H) is weakly closed. This gives i) ⇒ ii). Since the weak operator topology is weaker than the strong operator topology, it is also immediate that ii) ⇒ iii). What remains to be shown is iii) ⇒ i). It is true in general that SS′′ for any set S, and that any commutant S′ is strongly closed. So the problem reduces to showing M′′ lies in the strong closure of M.

For h in H, consider the smallest closed subspace Mh that contains {Mh| MM}, and the corresponding orthogonal projection P.

Since M is an algebra, one has PTP = TP for all T in M. Self-adjointness of M further implies that P lies in M′. Therefore for any operator X in M′′, one has XP = PX. Since M is unital, hMh, hence XhMh and for all ε > 0, there exists T in M with ||Xh - Th|| < ε.

Given a finite collection of vectors h1,...hn, consider the direct sum

The algebra N defined by

is self-adjoint, closed in the strong operator topology, and contains the identity operator. Given a X in M′′, the operator

lies in N′′, and the argument above shows that, all ε > 0, there exists T in M with ||Xh1 - Th1||,...,||Xhn - Thn|| < ε. By definition of the strong operator topology, the theorem holds.

Read more about this topic:  Von Neumann Bicommutant Theorem

Famous quotes containing the word proof:

    Talk shows are proof that conversation is dead.
    Mason Cooley (b. 1927)

    To cease to admire is a proof of deterioration.
    Charles Horton Cooley (1864–1929)

    The moment a man begins to talk about technique that’s proof that he is fresh out of ideas.
    Raymond Chandler (1888–1959)