The von Neumann bicommutant theorem shows that the analytic definition is equivalent to a purely algebraic definition as an algebra of symmetries. The direct integral was introduced in 1949 by John von Neumann.
What does the von Neumann bicommutant theorem show?
the analytic definition is equivalent to a purely algebraic definition as an algebra of symmetries.