3.2.5.2
定理 3.2.5.2.
\( A \in M_n \) が与えられているとする。このとき、\( A \) が収束行列であるのは、そのすべての固有値の絶対値が 1 より小さい場合に限る。
また、\( A \) がべき有界であるのは、そのすべての固有値の絶対値が 1 以下であり、かつ絶対値 1 の固有値に対応するすべてのジョルダンブロックが 1×1 である、すなわち絶対値 1 の固有値がすべて半単純（semisimple）である場合に限る。
行列解析の総本山
[行列解析]総本山
行列解析の総本山。行列解析の内容を網羅的かつ体系的に整理しています。線形代数の学習を一通り終えた方が、次のステップとして取り組むのに最適です。行列に関する不等式を研究するには、行列解析の知識が欠かせません。
am-gm.com
2025.08.05
コメント