Constructive Results on Operator Algebras
Bas Spitters (Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands)
Abstract: We present a to following results in the constructive theory of operator algebras. A representation theorem for finite dimensional von Neumann-algebras. A representation theorem for normal functionals. The spectral measure is independent of the choice of the basis of the underlying Hilbert space. Finally, the double commutant theorem for finite von Neumann algebras and for Abelian von Neumann algebras.
Keywords: Hilbert spaces, constructive mathematics, operator theory