On generalized Powers-St$ø$rmer's Inequality
A generalization of Powers-St$ø$rmer's inequality for operator monotone functions on $[0, +\infty)$ and for positive linear functional on general $C^*$-algebras will be proved. It also will be shown that the generalized Powers-St$ø$rmer inequality characterizes the tracial functionals on $C^*$-algebras.
math.OA↗