On certain properties of the relative entropy of states of operator algebras.
In this article, a theorem is proved asserting that any linear functional defined on a JBW-algebra admits a Lebesque decomposition with respect to any normal state defined on the algebra. Then we show that the positivity (and the unicity) of this decomposition is insured for the trace states defined on the algebra. In fact, this property can be used to give a new characterization of the trace states amoungst all the normal states.
We generalize some aspects of the theory of compact projections relative to a C*-algebra, to the setting of more general algebras. Our main result is that compact projections are the decreasing limits of 'peak projections', and in the separable case compact projections are just the peak projections. We also establish new forms of the noncommutative Urysohn lemma relative to an operator algebra, and we show that a projection is compact iff the associated face in the state space of the algebra is...