Conditional expectation and commutativity in von Neumann algebras

LetH be a Hilbert space,A the von Neumann algebra of all bounded operators onH,B a von Neumann subalgebra ofA, andw a bounded linear functional onA. The functionalw is said to commute withBA ifw(AB)=w(BA) for allAA. It is shown that the mapBw (BAB) is a complex measure on the orthocomplemented partially ordered set of all orthogonal projections inB for everyAA if and only ifw commutes with all members ofB. For anyAA, the conditional expectation ofA with respect toB andw is defined and it is shown that this expectation exists for an Abelian separableB ifw commutes with all members ofB. Using Gleason's theorem it is shown thatw commutes withB if and only if the density operator ofw commutes withB.