非負定値対称行列を非負の実数のように扱いたいのです.いずれ書きたいこと. $x > 1$なら$x > \frac{1}{x}$ですよね. 同様に, $A > I$なら \[ A > A^{-1} \]です. $y = \frac{1}{x}$は$x>0$なら下に凸です. 下に凸とは. $0 \[ f(ax + (1-a)y) \] なることです…