A trace class operator inequality (Q864660): Difference between revisions

The author extends the trace inequality \(\text{tr}[(AB)^n]\leq(\text{tr\,}A)^n (\text{tr\,}B)^n\), \(\forall n\in\mathbb{N}\), known for positive semidefinite matrices, to positive trace class Hilbert space operators \(A,B\). The proof is based on simultaneous approximation of \(A\) and \(B\) by finite-dimensional operators.