在的算子上定义 矩阵函数 如下： 
算子的单调性.定义在区间 ⊂ℝ上的函数 是算子单调的 ，如果对于∀，∀ 且特征值在 中，有，这里 表示 ，即是半正定的。 注意， "不是" 算子单调的!
算子的凹凸性.函数 formula_4 是 算子凸的 如果对任意 formula_5 和任意 与特征值在 的一对矩阵，在 formula_6时有由于 formula_8 和 formula_9 有的特征值在 中，注意矩阵 formula_10 特征值也在 fo