Hermitian matrix
グラム行列は半正値エルミート行列であり、formula_15 のグラム行列 formula_16 について下記の 3 条件は同値である。