Positive operator bimeasures and a noncommutative generalization
For C*-algebras A and B and a Hilbert space H, a class of bilinear maps Φ: A× B → L(H), analogous to completely positive linear maps, is studied. A Stinespring type representation theorem is proved, and in case A and B are commutative, the class is shown to coincide with that of positive bilinear maps. As an application, the extendibility of a positive operator bimeasure to a positive operator measure is shown to be equivalent to various conditions involving positive scalar bimeasures, pairs of...