I am trying to figure out why any von Neumann is SOT closed, which is stated in Conway. Do we need to use the Double Commutant Theorem on this implication aswell?
Is there a simpler explanation?
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Sign up to join this communityA von Neumann algebra is often defined as a follows:
Let $A$ be a $*$-subalgebra of $\mathcal{B(H)}$ acting non-degenerately on $\mathcal{H}$. Then $A$ is a von Neumann algebra if $A=A''$.
The bicommutant theorem says that
Let $A$ be a $*$-subalgebra of $\mathcal{B(H)}$ acting non-degenerately on $\mathcal{H}$. Then the following are equivalent:
- $A=A''$,
- $A$ is weakly closed,
- $A$ is strongly closed.
The implication from $2$ to $3$ is trivial. Showing $1$ to $2$ is an easy exercise.
Could you specify the definition you use and which step is causing troubles?