2.5.問題13
2.5.P13
(2.5.P12) を用いて、\(A \in M_{n}\) が正規であることと、あるユニタリ行列 \(V \in M_{n}\) が存在して \(A^{*} = AV\) となることは同値であることを示せ。
この事実から、\(A\) が正規なら \(\mathrm{range}(A) = \mathrm{range}(A^{*})\) であることを導け。
行列解析の総本山

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