非負行列
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/02/18 05:50 UTC 版)
数学の分野において、非負行列（ひふぎょうれつ、英: nonnegative matrix）とは、すべての成分がゼロ以上であるような行列、すなわち
この項目は、線型代数学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。
非負行列
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/17 06:59 UTC 版)
「ペロン＝フロベニウスの定理」の記事における「非負行列」の解説
ペロン＝フロベニウスの定理は各成分が非負であるような非負行列に対して拡張できる。正行列と非負行列の二つの場合の共通点と相違点をまとめる上で、次の点に注意されたい：全ての非負行列は、正行列の極限として得ることが出来る。したがって、非負の成分の固有ベクトルの存在が分かる。それに対応する固有値は、明らかに、全ての他の固有値の絶対値よりも大きいか等しい。しかしながら、簡単な例 ( 0 1 1 0 ) , ( 0 1 0 0 ) {\displaystyle {\begin{pmatrix}0&1\\1&0\end{pmatrix}},{\begin{pmatrix}0&1\\0&0\end{pmatrix}}} により、非負行列に対しては固有値の絶対値の最大が等しい複数の固有値（上の例の最初の行列に対しては、1 と -1）が存在し得ることが分かる。さらに、絶対値最大の固有値が特性多項式の単純根ではない場合もあり得る。例えば上の例の二番目の行列に対しては、固有値0に対応する唯一の固有ベクトル (1,0) は狭義正では無い（最大固有値0は二重であって単純ではない）。したがって、正行列に対する定理の性質は、非負行列に対してはほとんど成立しないように思えるが、フロベニウスはその解決策となる概念を発見したのである。 非負行列の理論においてカギとなる概念として、既約行列（irreducible matrix）と呼ばれる、ある特別な非負行列の類が存在する。それにより、自明では無い一般化が可能になる。すなわち、絶対値が最大である固有値が複数存在する場合にも、最大固有値の構造を理解することができるのである：それらは、h をある整数（行列の周期）とし、r を狭義正の実固有値とし、l = 0, 1, ..., h − 1 とすれば、r ei2πl/h という式で表せる。そうして r に対応する固有ベクトルは、狭義正の成分を持つ（これは一般的な非負行列において、成分が非負であるだけという場合と対照的である）。またそのような固有値は全て、特性多項式の単純根である。その他の性質については、以下で述べる。
※この「非負行列」の解説は、「ペロン＝フロベニウスの定理」の解説の一部です。
「非負行列」を含む「ペロン＝フロベニウスの定理」の記事については、「ペロン＝フロベニウスの定理」の概要を参照ください。
- 非負行列のページへのリンク
