saikorodeka

3.標準形と三角因子分解

[行列解析3.2.P27]

3.2問題273.2.P27(a) 各 \( k = 1, 2, \ldots \) について、\(\mathrm{adj}\,J_k(0)\) が \( J_2(0) \oplus 0_{k-2} \) に相似であることを示せ。(b) \...
3.標準形と三角因子分解

[行列解析3.2.P26]

3.2問題263.2.P26\( A, B \in M_n \) が与えられ、\( A^2 \) が非退化であると仮定する。もし \( AB = B^T A \) かつ \( BA = AB^T \) が成り立つなら、\( B \) が対称...
3.標準形と三角因子分解

[行列解析3.2.P25]

3.2問題253.2.P25\( A \in M_n \) が与えられ、\( A^2 \) が非退化であると仮定する。このとき以下を説明せよ。(a) \( A \) も非退化である。(b) \( \lambda \) が \( A \) の...
3.標準形と三角因子分解

[行列解析3.2.P24]

3.2問題243.2.P24この問題は (2.4.P12) の類似である。\( A, B \in M_n \) とし、\( \lambda_1, \ldots, \lambda_d \) を \( A \) の異なる固有値とする。さらに \...
3.標準形と三角因子分解

[行列解析3.2.P23]

3.2問題23.2.P23\(A\in M_n\)、零の固有値の指数を \(q\) とし、与えられた整数 \(k\ge q\) とする。次を示せ:A^D = \lim_{t\to 0} (A^{k+1} + tI)^{-1} A^k(ここで...
3.標準形と三角因子分解

[行列解析3.2.P22]

3.2問題223.2.P22\(A\in M_n\) に対して、\(A A^D\) と \(I-A A^D\) が射影(projection)であり、かつ \(A A^D(I-A A^D)=0\) であることを示せ。
3.標準形と三角因子分解

[行列解析3.2.P21]

3.2問題213.2.P21\(A=\begin{pmatrix} J_2(0) & 0 \\ x^T & 0 \end{pmatrix}\in M_3\) で \(x^T=\)、\(B=I_2\oplus\in M_3\) とする。AB ...
3.標準形と三角因子分解

[行列解析3.2.P20]

3.2問題203.2.P20\(A,B\in M_n\) を与える。(a) AB が BA に相似であることは、すべての \(k=1,2,\dots,n\) について \(\mathrm{rank}(AB)^k=\mathrm{rank}(...
3.標準形と三角因子分解

[行列解析3.2.P19]

3.2問題193.2.P19\(A\in M_n\)、\(\lambda\) を \(A\) の固有値とする。(a) 次の2条件が同値であることを示せ: (i) \(\lambda\) に対応する \(A\) のすべてのジョルダンブロックの...
3.標準形と三角因子分解

[行列解析3.2.P18]

3.2問題183.2.P18\(A\in M_n\) とする。3.2.7 で述べたジョルダン分解 \(A=A_D+A_N\)(\(A_D\) は対角化可能成分、\(A_N\) は冪零成分、かつ互いに可換)は一意であることを示せ。すなわち、も...
3.標準形と三角因子分解

[行列解析3.2.P17]

3.2問題173.2.P17\(A\in M_n\) とする。次を示せ:\(\mathrm{rank}\,A=\mathrm{rank}\,A^2\) であることは、固有値 \(\lambda=0\) の幾何的重複度と代数的重複度が等しいこ...
3.標準形と三角因子分解

[行列解析3.2.P16]

3.2問題163.2.P16 次のことを示せ。\(A \in M_n\) のジョルダン標準形が \(J_{n_1}(\lambda_1)\oplus\cdots\oplus J_{n_k}(\lambda_k)\) であり、かつ \(A\)...
3.標準形と三角因子分解

[行列解析3.2.P15]

3.2問題153.2.P15\( A \in M_n \)、\( B, C \in M_m \) が与えられたとする。\( A \oplus (B \oplus \cdots \oplus B) \)(\( k \) 個の直和)と \( A...
3.標準形と三角因子分解

[行列解析3.2.P14]

3.2問題143.2.P14\( B, C \in M_m \) および正の整数 \( k \) が与えられたとする。\( B \oplus \cdots \oplus B \)(\( k \) 個の直和)と \( C \oplus \cd...
3.標準形と三角因子分解

[行列解析3.2.P13]

3.2問題133.2.P13(相似に関する消去定理)\( A \in M_n \)、\( B, C \in M_m \) とする。このとき、\begin{bmatrix}A & 0 \\0 & B\end{bmatrix}\sim\begi...
3.標準形と三角因子分解

[行列解析3.2.P12]

3.2問題123.2.P12\( A \) のジョルダン標準形に2つ以上の非正則ジョルダンブロックが含まれる場合、\(\mathrm{adj}\, A = 0\) となる理由を説明しなさい。
3.標準形と三角因子分解

[行列解析3.2.P11]

3.2問題113.2.P11ある非正則行列 \( A \in M_n \) のジョルダン標準形が \( J_{n_1}(\lambda_1) \oplus \cdots \oplus J_{n_{k-1}}(\lambda_{k-1}) \...
3.標準形と三角因子分解

[行列解析3.2.P10]

3.2問題103.2.P10ある正則行列 \( A \in M_n \) のジョルダン標準形が \( J_{n_1}(\lambda_1) \oplus \cdots \oplus J_{n_k}(\lambda_k) \) であるとする。...
3.標準形と三角因子分解

[行列解析3.2.P9]

3.2問題93.2.P9\( k \geq 2 \) とする。 \(\mathrm{adj}\, J_k(\lambda)\) のジョルダン標準形が、\(\lambda \neq 0\) のとき \( J_k(\lambda^{k-1}) ...
3.標準形と三角因子分解

[行列解析3.2.P8]

3.2問題83.2.P8特性多項式 \( p_A(t) = (t+3)^4 (t-4)^2 \) を持つ \( A \in M_6 \) の可能なジョルダン標準形は何ですか?
3.標準形と三角因子分解

[行列解析3.2.P7]

3.2問題73.2.P7\( A^3 = I \) を満たす \( A \in M_n \) の可能なジョルダン形は何ですか?
3.標準形と三角因子分解

[行列解析3.2.P6]

3.2問題63.2.P6線形変換 \( \frac{d}{dt} : p(t) \mapsto p'(t) \) が、次数が最大3の多項式全体のベクトル空間で作用するとき、その基底表現は基底 \( B = \{1, t, t^2, t^3\...
3.標準形と三角因子分解

[行列解析3.2.P5]

3.2問題53.2.P5行列 \( A = \begin{bmatrix} i & 1 \\ 1 & -i \end{bmatrix} \) のジョルダン標準形は何ですか?
3.標準形と三角因子分解

[行列解析3.2.P4]

3.2問題43.2.P4\( A \in M_n \) が特異行列であり、その階数を \( r = \text{rank}\,A \) とする。(2.4.P28) で、\( A \) を消去する次数 \( r+1 \) の多項式が存在するこ...
3.標準形と三角因子分解

[行列解析3.2.P3]

3.2問題33.2.P3\( A = B + iC \in M_n \) とし、ここで \( B \) と \( C \) は実行列である (0.2.5)。さらに、\( A \) のジョルダン標準形を \( J \) とする。実表現R_1(...
3.標準形と三角因子分解

[行列解析3.2.P2]

3.2問題23.2.P2\( A \in M_n \) とする。もし \( A \) と可換なすべての行列が \( A \) の多項式であるならば、\( A \) が非退化(nonderogatory)であることを示せ。
3.標準形と三角因子分解

[行列解析3.2.P1]

3.2問題13.2.P1\( F = \{ A_{\alpha} : \alpha \in I \} \subset M_n \) を添字集合 \( I \) によって添字付けられた行列族とする。ある非退化(nonderogatory)な行...
3.標準形と三角因子分解

[行列解析3.2]問題集

3.2問題集3.2.P1 \( F = \{ A_{\alpha} : \alpha \in I \} \subset M_n \) を添字集合 \( I \) によって添字付けられた行列族とする。ある非退化(nonderogatory)な...
3.標準形と三角因子分解

[行列解析3.2.13.1]

3.2.13.13.2.13 ランク1摂動のジョルダン標準形。ランク1摂動の固有値に関するブラウアーの定理((1.2.8) および (2.4.10.1))には、ジョルダンブロックに対する類似の結果があります。特定の条件のもとで、複素正方行列...
3.標準形と三角因子分解

[行列解析3.2.13]

3.2.133.2.13 ランク1摂動のジョルダン標準形。ランク1摂動の固有値に関するブラウアーの定理((1.2.8) および (2.4.10.1))には、ジョルダンブロックに対する類似の結果があります。特定の条件のもとで、複素正方行列の1...