3.1問題12
3.1.P12
\(A\in M_n\) をとり、正の整数 \(k,p\) を与える。\(w_k=w_k(A,\lambda)\)（\(k=1,2,\dots\)）、\(s_k=s_k(A,\lambda)\)（\(k=1,2,\dots\)）を、それぞれ固有値 \(\lambda\) に関する Weyr 特性と Segre 特性とする。次を示しなさい：
(a) \(s_{w_k}\ge k\) ただし \(w_k \gt 0\)。
(b) \(k \gt s_{w_k+1}\) がすべての \(k=1,2,\dots\) で成り立つ。
(c) \(w_{s_k}\ge k\) ただし \(s_k \gt 0\)。
(d) \(k \gt w_{s_k+1}\) がすべての \(k=1,2,\dots\) で成り立つ。
(e) \(s_k \ge p \gt s_{k+1}\) が成り立つことと、\(w_p=k\) が成り立つことは同値であることを説明しなさい。
(f) 次の三つの主張が同値であることを示しなさい：
- \(s_k \ge p \gt p-1 \gt s_{k+1}\)。
- \(s_k \ge p \gt s_{k+1}\) かつ \(s_k \ge p-1 \gt s_{k+1}\)。
- \(p\ge 2\) かつ \(w_p=w_{p-1}=k\)。
(g) \(s_k \gt s_{k-1} \gt s_{k+1}\) が成り立つことと、ジョルダン標準形にサイズ \(s_k-1\) のブロック \(J_{s_k-1}(\lambda)\) が存在しないことは同値であることを説明しなさい。
(h) 次の四つの主張が同値であることを示しなさい：
- \(s_k-s_{k+1}\ge 2\)。
- \(s_k=s_k \ge s_{k-1} \gt s_{k+1}\)。
- \(p=s_k \ge 2\) かつジョルダン標準形にサイズ \(p-1\) のブロック \(J_{p-1}(\lambda)\) が存在しない。
- \(p=s_k \ge 2\) かつ \(w_p=w_{p-1}=k\)。
行列解析の総本山
[行列解析]総本山
行列解析の総本山。行列解析の内容を網羅的かつ体系的に整理しています。線形代数の学習を一通り終えた方が、次のステップとして取り組むのに最適です。行列に関する不等式を研究するには、行列解析の知識が欠かせません。
am-gm.com
2025.08.05
コメント