[行列解析3.2.11]

3.2.11

3.2.11 AB と BA. \( A \in M_{m,n} \) および \( B \in M_{n,m} \) のとき、(1.3.22) により AB と BA の非零固有値はその重複度を含めて同じであることが保証される。

実際、より強い主張が可能である：AB と BA のジョルダン標準形における正則部分は同一である。

[行列解析3.2]ジョルダン標準形の結果

3.2　ジョルダン標準形の結果3.2.1　ジョルダン行列の構造3.2.2　一般常微分方程式の線形系

am-gm.com

2025.09.07