8.5.0 原始行列（primitive matrix）の定義と性質
(8.2.7) の証明を精査すると、最大絶対値の固有値がスペクトル半径以外に存在しないという追加の仮定を設ければ、この証明は非負かつ既約な行列に対しても有効であることがわかる。
この性質は非常に重要であり、次の定義を導く動機となる。
定義 8.5.0（原始行列）
非負行列 \( A \in M_n \) が原始（primitive）であるとは、それが既約であり、かつ最大絶対値をもつ固有値が1つの非零値のみである場合をいう。
原始性（primitivity）の概念は、Frobenius（1912）によって導入されたものである。
行列解析の総本山
[行列解析]総本山
行列解析の総本山。行列解析の内容を網羅的かつ体系的に整理しています。線形代数の学習を一通り終えた方が、次のステップとして取り組むのに最適です。行列に関する不等式を研究するには、行列解析の知識が欠かせません。
am-gm.com
2025.08.05
コメント