行列の相似
定義1
正方行列 、とある可逆行列 について、以下の式が成り立つとき、はに似ていると言う。
説明
似ていると名付けられた理由は、似ている行列同士が多くの重要な性質を共有しているからだ。これを相似不変または相似による不変と言う。
共役
上で与えられた式をに対して表すと、
相似関係が対称的であることが容易にわかる。代数的には、とはに関する共役であると言えるだろう。
定理
とが互いに似ている行列であるとする。
行列式: との行列式が同じである。
可逆性: が可逆行列なら、も可逆行列である。
ランク: とのランクが同じである。
零次元: との零次元が同じである。
トレース: とのトレースが同じである。
特性方程式: との特性方程式が同じである。(証明)
- 固有値: との固有値が同じである。
固有ベクトル: がの固有値であれば、に対応するの固有空間とに対応するの固有空間の次元が同じである。
Howard Anton, Elementary Linear Algebra: Applications Version (12th Edition, 2019), p301-302 ↩︎