特征值 ，Tr表示算子的 迹 。
迹函数的凸性和单调性.设 :ℝ→ℝ连续， 是任意整数。 若 formula_25 是单调递增的，则迹函数 formula_26 在 H上也是单调递增的。类似，如果 formula_27 是凸的，则迹函数formula_26 在 H上也是凸的，它是严格凸的如果 严格凸。证明和讨论可参考 中。