Jordan normal form
これは、トレースの相似不変性と、任意の行列がジョルダン標準形に相似であること、およびジョルダン標準形の対角成分に代数重複度を込めた固有値が全てならぶことから明らかである。またこれと対照的に、行列式は固有値の積 である。