正定値の条件

正定値行列Sと実ベクトルxについて、S-xx^¥topが正定値となる必要十分条件は?

S=CC^¥topとコレスキー分解して、y^¥top (S-xx^¥top)yを評価か?

1-xS^{-1}x > 0なんて式がててきた。予想と違う、もう少しきれいな式が出てくると思っていた。

More Reading
Newer// 終わり
Older// 復習