解説

もし、 任意のベクトル $\{ a \} ( \ne \{ 0 \} )$ に対し、

$$\{ a \} \cdot [ X ] \cdot \{ a \} > 0$$ (2.137)

ならば、$[ X ]$ は正定値テンソル positive definite tensor 。 このとき、すべての固有値は正となる。