Lyapunov convexity theorem for von Neumann algebras and Jordan operator structures (Q2218612)

By noncommutative Lyapunov type theorem for von Neumann algebras, the author means sufficient conditions on a von Neumann algebra \(M\), a linear space \(X\) and a finitely additive measure \(\mu\) on the projection lattice \(P(M)\) with values in \(X\), ensuring that the range \(\mu(P(M))\) is a convex subset of \(X\). The starting point is a reformulation of the classical Lyapunov theorem, where \(M\) is abelian and non-atomic, \(X=\mathbb{C}^n\) and \(\mu\) is bounded. In case \(\mu\) has an affine extension \(\hat\mu\) to the positive part \(M_1^+\) of the unit ball of \(M\), a stronger formulation is the claim that the range is identical to \(\hat\mu(M_1^+)\). The author proves a theorem of this kind for `large' von Neumann algebras \(M\), i.e., algebras without a non-zero \(\sigma\)-finite direct summand: If \(X\) is a normed space with weak\(^*\) separable dual, then the ranges of \(M_1^+\) and \(P(M)\) coincide under a norm continuous linear map from \(M\) into \(X\). Theorems of this kind are also proved in various Jordan structures, such as JBW\(^*\) triples.