The von Neumann bicommutant theorem shows that the analytic definition is equivalent to a purely algebraic definition as an algebra of symmetries.
What does the von Neumann bicommutant theorem show?
the analytic definition is equivalent to a purely algebraic definition as an algebra of symmetries.