相異なる固有値、固有ベクトルをもつエルミート行列は、 固有ベクトルを並べて作ったユニタリ行列で、 固有値を並べて作った対角行列に 対角化することができます。 行列の対角化 - 数式で独楽する 相異なる固有値と付随する固有ベクトル - 数式で独楽するな…