Polar decomposition approach to Reid's inequality.
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...
Let V be the C*-algebra B(H) of bounded linear operators acting on the Hilbert space H, or the Jordan algebra S(H) of self-adjoint operators in B(H). For a fixed sequence (i₁, ..., iₘ) with i₁, ..., iₘ ∈ 1, ..., k, define a product of by . This includes the usual product and the Jordan triple product A*B = ABA as special cases. Denote the numerical range of A ∈ V by W(A) = (Ax,x): x ∈ H, (x,x) = 1. If there is a unitary operator U and a scalar μ satisfying such that ϕ: V → V has the form A...