Up to
しかし、行列 が正規のとき、そのジョルダン標準形は（ユニタリ同値の違いを除いて）対角行列である（スペクトル定理）。このとき