We investigate monotone operator functions of several variables under a trace or a trace-like functional. In particular, we prove the inequality τ (x1⋯xn) ≤ τ(y1⋯y n) for a trace τ on a C*-algebra and abelian n-tuples (x1,...,xn) ≤ (y1,..., yn) of positive elements. We formulate and prove Jensen's inequality for expectation values, and we study matrix functions of several variables which are convex or monotone with respect to the weak majorization for matrices.
ASJC Scopus subject areas
- 数学 (全般)