ジョルダン標準形
対角行列は次数が1のジョルダン細胞のみからなるジョルダン標準形である。