All Questions

Let $H$ be a Hilbert space, $T_+(H)$ the set of positive self-adjoint trace-class operators on $H$, and $f : T_+(H) \to [0,m]$ a non-negative, bounded, convex functional. I don't necessarily know that ...