行列の定値性
M が半正定値 (positive-semidefinite) または非負定値 (nonnegative-definite) であるとは、C の(実の場合は R の)任意の非零ベクトル z に対して z Mz ≥ 0 が成り立つときに言う。