エルミート行列
Let be an Hermitian matrix with eigenvalues then