半正定値対称行列を非負の実数のように扱いたい...という話その1です.まずは大小関係を定義します. $\geq$という記号を行列に用いて, $A\geq O$を$A$が半正定値対称行列であることを表すことにします.対称行列$A$, $B$を持って来て, $A-B \geq O$とすると何…