[行列解析4.3.P29]

4.3.問題29

4.3.P29

\(A = [A_{ij}]_{i,j=1}^m \in M_n\) をエルミート行列とし、各 \(i = 1, \ldots, m\) に対して \(A_{ii} \in M_{n_i}\) であり、\(n_1 + \cdots + n_m = n\) とする。このとき、\(A\) の固有値ベクトルは \(A_{11} \oplus \cdots \oplus A_{mm}\) の固有値ベクトルをメジャライズすることを示せ。

この主張が (4.3.45) の一般化になっている理由を説明せよ。