エルミート行列
Let formula_1 be an formula_19 Hermitian matrix. The following properties are equivalent to formula_1 being positive definite: