6.固有値の位置と摂動

6.4.26　定理（Brualdiの定理）行列 \( A = \in M_n \) が既約であり、かつ \( n \ge 2 \) であるとする。集合 (6.4.19) の境界点 \(\lambda\) が \(A\) の固有値となるのは、...

6.4.18.定理 6.4.18（Brualdi の定理）定理 6.4.18（Brualdi）。\( A = \in M_n \) とし、\( n \ge 2 \) と仮定する。もし \(A\) が弱既約（weakly irreducibl...

6.4.17.補題：前順序集合における極大要素の存在と有向グラフの非自明サイクル補題 6.4.17　非空有限集合 \(S\) に前順序 \(R\) が定義されているとする。このとき、\(S\) は少なくとも1つの極大要素を含む。 証明：集合...