4.1.問題26
4.1.P26
エルミート行列 \(P \in M_n\) が射影であることと、あるユニタリ行列 \(U \in M_n\) が存在して
P = U (I_k \oplus 0_{n-k}) U^{*}, \quad 0 \leq k \leq n
が成り立つことは同値であることを示せ。
[行列解析4.1.P26]
4.エルミート行列、対称行列、合同行列
4.エルミート行列、対称行列、合同行列
4.エルミート行列、対称行列、合同行列
コメント