[行列解析4.1.P26]

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

が成り立つことは同値であることを示せ。


行列解析の総本山

総本山の目次📚

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

記号の意味🔎

[行列解析9.0]主要な記号一覧🔎
行列解析で使用している記号や用語の簡単な説明です。

コメント

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