行列の定値性
n × n エルミート行列 M が負定値 (negative-definite) であるとは、C の(実の場合は R の)任意の非零ベクトル z に対して z Mz < 0 が成り立つときに言う。
対称(エルミート)行列 A が正定値なら 行列 A は正則で 逆行列 A も正定値。
対称(エルミート)行列 A が負定値なら 行列 A は正則で 逆行列 A も負定値。