[行列解析4.1.P27]

4.1.問題27

4.1.P27

\(A, P \in M_n\) とし、\(P\) が \(0\) でも \(I\) でもないエルミート射影であるとする。このとき、\(A\) が \(P\) と可換であることと、\(A\) があるユニタリ相似によって

A \sim B \oplus C, \quad B \in M_k, \; C \in M_{n-k}, \; 1 \leq k \leq n-1

の形にできることは同値であることを示せ。


行列解析の総本山

[行列解析]総本山
行列解析の総本山。行列解析の内容を網羅的かつ体系的に整理しています。線形代数の学習を一通り終えた方が、次のステップとして取り組むのに最適です。行列に関する不等式を研究するには、行列解析の知識が欠かせません。

コメント

タイトルとURLをコピーしました