3.2.5.2
定理 3.2.5.2.
\( A \in M_n \) が与えられているとする。このとき、\( A \) が収束行列であるのは、そのすべての固有値の絶対値が 1 より小さい場合に限る。
また、\( A \) がべき有界であるのは、そのすべての固有値の絶対値が 1 以下であり、かつ絶対値 1 の固有値に対応するすべてのジョルダンブロックが 1×1 である、すなわち絶対値 1 の固有値がすべて半単純（semisimple）である場合に限る。
[行列解析3.2.5.2]定理
3.標準形と三角因子分解
コメント