系 1.3.4
\( A, B \in M_n \) とし、\( A \) が \( B \) に相似であるとします。
このとき、次が成り立ちます。
(a) \( A \) と \( B \) は同じ固有値を持つ。
(b) もし \( B \) が対角行列であるならば、その主対角成分は \( A \) の固有値である。
(c) \( B = 0 \)（零行列かつ対角行列）であることと、\( A = 0 \) であることは同値である。
(d) \( B = I \)（単位行列かつ対角行列）であることと、\( A = I \) であることは同値である。
コメント