行列解析

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つの極大要素を含む。 証明：集合...

6.4.16.弱既約性と前順序関係に関する補題補題 6.4.16：\( A \in M_n \) が弱既約（weakly irreducible）であることと、次の条件が成り立つことは同値である。 B = = (I + |A|)^{n-1}...