エルミート行列
であり、 は正定値エルミート行列 のコレスキー分解である。