7.7.問題34
7.7.P34
\(A \in M_n\) を考える。
(a) \(A A^* \succeq A^* A\) は \(A\) が正規であることと同値である。
(b) \((A A^*)^{1/2} \succeq (A^* A)^{1/2}\) は \(A\) が正規であることと同値である。
行列解析の総本山
[行列解析]総本山
行列解析の総本山。行列解析の内容を網羅的かつ体系的に整理しています。線形代数の学習を一通り終えた方が、次のステップとして取り組むのに最適です。行列に関する不等式を研究するには、行列解析の知識が欠かせません。
am-gm.com
2025.08.05
コメント