6.2.8定理6.2.8（改良された定理）．\(A \in M_n\) とし，\(\lambda, x = \) を \(A\) の固有値・固有ベクトルの組とする。ここで \(\lambda\) は不等式 (6.2.2a) を満たしていると...

6.2.7定義6.2.7. 行列 \(A = \in M_n\) が性質SC（Strong Connectivity）をもつとは、次の条件を満たすことをいう。すなわち、異なる2つの整数 \(p, q \in \{1, \dots, n\}\...

6.2.6系6.2.6. 行列 \(A=\in M_n\) を考え、かつ \(A\) のすべての成分がゼロでないと仮定する。もし \(A\) が対角優位であり、かつある \(k\in\{1,\dots,n\}\) が存在して\lvert a...

6.2.5定理6.2.5　\(A \in M_n\) とし、\(A\) の固有対 \((\lambda, x = )\) が不等式 (6.2.2a) を満たすものとする。もし \(A\) のすべての成分がゼロでないなら、次のことが成り立つ。...

6.2.3補題6.2.3. 行列 \(A = \in M_n\) に対して、\(\lambda, x\) が固有対（eigenpair）であり、\(\lambda\) が不等式 (6.2.2a) を満たすとする。このとき次が成り立つ。(a)...

6.2.2補題6.2.2. 行列 \(A = \in M_n\) と複素数 \(\lambda \in \mathbb{C}\) を考える。 (a) \(\lambda\) が任意のゲルシュゴリン円盤の内部に含まれないことは、次の不等式がす...

注記と参考文献6.1.1 のオリジナルの参照文献はゲルシュゴリン, "Über die Abgrenzung der Eigenwerte einer Matrix", Izv. Akad. Nauk. S.S.S.R. 7 (1931)...

6.1.問題216.1.P21特殊な構造を持つ行列においては、(6.1.10–11) の仮定より弱い条件でも非特異性を保証できる場合がある。循環行列 \(A = \in M_n\) の場合、任意の 1 行が対角優勢であれば非特異であることを...

6.1.問題206.1.P20行列 \(A \in M_n\) の固有値 \(\lambda\) の幾何学的重複度が \(k \ge 1\) 以上であるとする。（a）\(\lambda\) は \(A\) の n − k + 1 個の異なる...

6.1.問題196.1.P19行列 \(A = \in M_n\) の固有値 \(\lambda\) の幾何学的重複度が \(k \ge 1\) であるとする。このとき、k 個の異なるインデックス \(i_1, \dots, i_k \in...

6.1.問題186.1.P18行列 \(X = \in M_{n,k}\) が列ランク満たしているとする。このとき、非特異な行列 \(R \in M_k\) が存在し、行列 \(Y = = = XR\) が次の性質を持つことを示す：k 個の...

6.1.問題176.1.P17　この問題はゲルシュゴリンの定理をブロック行列に拡張するものである。まず前提を説明する。与えられた行列ノルム \( \!\!\;|\!|\!|\cdot|\!|\! \!\)（以下単に \( \!\;|\!|\...

6.1.問題166.1.P16　「ガウスの消去法は厳密対角優位性を保つ」という格言を検討する問題である。\(n\ge 2\) とし，\(A\in M_n\) が厳密対角優位であると仮定する。(a) \(A\) の先頭からのすべての主小行列（...

6.1.問題156.1.P15　\(A=\in M_n\) が対角優位であるとする。次を示せ／説明せよ。(a) \(\rho(A)\le 2\max_i |a_{ii}|\) が成り立つことを示せ。(b) もし \(A\) が厳密対角優位な...

6.1.問題146.1.P14　\(A=\in M_n\) とする。次の各項を示せ／説明せよ。(a) ある \(i,j\) に対して \( |a_{ii}-a_{jj}| \gt R_i + R_j \) が成り立つならば，行 \(i\) ...

6.1.問題136.1.P13　\(A=\in M_n(\mathbb{R})\) が厳密対角優位であるとする。すなわち各 \(i\) について \( |a_{ii}| \gt R_i \) が成り立つとする。このとき \(\det A\)...

6.1.問題126.1.P12　\(A\in M_n\) とする。もし \(A\) が Toeplitz（テプリッツ）行列、あるいはより一般にパース対称（persymmetric）でありかつすべての主対角成分が等しいならば，\(G(A)=G...

6.1.問題116.1.P11　\(A==\in M_n\) とする。次を示せ。\operatorname{rank} A \ge \sum_{i:\,a_i\neq 0} \frac{|a_{ii}|^2}{\|a_i\|_2^2},ここ...

6.1.問題106.1.P10　\(A==\in M_n\) とする。次の下界を示せ：\operatorname{rank} A \ge \sum_{i:\,a_i\neq 0} \frac{|a_{ii}|}{\|a_i\|_1},ここで...

6.1.問題96.1.P9　\(A=\in M_n\) を厳密対角優位とする。すなわち \( |a_{ii}| \gt R_i \) がすべての \(i\) で成り立つとする。 \(D=\mathrm{diag}(a_{11},\dots,...

6.1.問題86.1.P8　\(A=\in M_n\) が厳密対角優位、すなわちすべての \(i=1,\dots,n\) に対して \( |a_{ii}| \gt R_i \) であるとする。このとき少なくとも一つの \(k\in\{1,\...

6.1.問題76.1.P7　\(A\in M_n\) が冪等行列（idempotent）であり \(A\neq I\) であると仮定する。すると \(A\) は厳密な対角優位（あるいは既約に厳密な対角優位）であり得ないことを示せ（参照：(6...

6.1.問題66.1.P6　\(A=\in M_n\) とし，ある \(i\) に対して \( |a_{ii}| \gt R_i \) が \(k\) 個の異なる値で成り立つとする。このとき主小行列（principal submatrice...

6.1.問題56.1.P5　行列 \(A\in M_n\) の n 個のゲルシュゴリン円板が互いに互いに素（互いに交わらない）であるとする。次を示せ。 (a) \(A\) が実行列ならば，\(A\) のすべての固有値は実数である。 (b) ...

6.1.問題46.1.P4　\(A\in M_n\) とし，(6.1.2) で定義された集合 \(G(A)\) を考える。本文中で「すべての固有値が \(G(A)\) に含まれる」という主張が (6.1.10a) を含意することを示した。逆...

6.1.問題36.1.P3　\(A==\in M_n\) とする。式 (6.1.5) を用いて次を示せ：\left| \det A \right|\le \prod_{j=1}^n \left( \sum_{i=1}^n |a_{ij}| ...

6.1.問題26.1.P2　次を示せ：\bigcap_{S\ \text{nonsingular}} G(S^{-1} A S) = \sigma(A),ここで交差はすべての正則行列 \(S\) についてとるものとする（すなわち，任意の相似...

6.1.問題6.1.P1　次の\(n\)-by-\(n\)system反復アルゴリズムを用いて線形方程式 \(Ax=y\) を解くことを考える。ここで \(A\) と \(y\) は与えられている。(i) \(B=I-A\) とおき，sys...