8.4.6 系：最大絶対値をもつ固有値が複数存在する非負行列の性質系 8.4.6. \( A \in M_n \) が非負で既約な行列であり、最大絶対値をもつ固有値がちょうど \( k \) 個の異なる値をもつとする。このとき次が成り立つ。...

8.4.5 定理：非負既約行列と複素行列の関係定理 8.4.5　\( A, B \in M_n \) とする。\( A \) が非負かつ既約であり、さらに \( A \ge |B| \) が成り立つと仮定する。\( \lambda = e^...

8.4.4 定理（ペロン–フロベニウスの定理）定理 8.4.4（ペロン–フロベニウスの定理）　\( A \in M_n \) が既約で非負行列であり、かつ \( n \ge 2 \) であるとする。このとき、次が成り立つ。 (a) \( \...