Probability Measures on Projections in Von Neumann Algebras

A state ϕ on a von Neumann algebra A is a positive linear functional on A with ϕ(1) = 1, and the restriction of ϕ to the set of projections in A is a finitely additive probability measure. Recently it was proved that if A has no type I 2 summand then every finitely additive probability measure on projections can be extended to a state on A. Here we give precise and complete arguments for proving this result.