On JB*-triples defined by fibre bundles.
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.
By exploiting his recent results, the author further investigates the extent to which variation in the coefficients of a unitary convex decomposition of a vector in a unital -algebra permits the vector decomposable as convex combination of fewer unitaries; certain -algebra results due to M. Rørdam have been extended to the general setting of -algebras.