2.4.問題33
2.4.P33
\( A, B \in \mathbb{M}_n \)、\( p \) は正の整数とする。\( A \) がブロック上三角形行列で
A = \begin{pmatrix} A_{11} & A_{12} \\ 0 & A_{22} \end{pmatrix}
\( A_{11} \in \mathbb{M}_k \)、\( A_{22} \in \mathbb{M}_{n-k} \) は固有値を共有しないとする。もし \( B^p = A \) ならば、\( B \) は \( A \) に対応したブロック上三角形行列で
B = \begin{pmatrix} B_{11} & B_{12} \\ 0 & B_{22} \end{pmatrix}, \quad B_{11}^p = A_{11}, \quad B_{22}^p = A_{22}
であることを示せ。
コメント