Abelian von Neumann Algebras

In this lecture we show that every abelian von Neumann algebra acting on a separable Hilbert space is C*-isomorphic to some L ^∞ (K, dµ). We begin with the important notion of cyclic and separating vectors.