7.2.問題2
7.2.P2
\( A \in M_n \) を半正定値行列、\( x \in \mathbb{C}^n \) とする。このとき、
x^{*} A x = \| A^{1/2} x \|^{2}
が成り立つことを示し、この恒等式から式 (7.1.6) を導け。
行列解析の総本山

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