エルミート行列
すべての正則行列はユニタリ行列と正定値エルミート行列の積に一意的に極分解できる。