行列

7.7.問題407.7.P40\(A \in M_p\) が正定値、\(B \in M_q\) が半正定値であり、次の行列が半正定値であるとする： H = \begin{pmatrix} A & B \\ B^* & C \end{pmat...

7.7.問題397.7.P39 \(A, B \in M_n\) とする。次を示せ： \begin{pmatrix} I & A \\ A^* & A^* A \end{pmatrix} \succeq 0これにより次が従う：A^*A \c...

7.7.問題387.7.P38\(X \in M_n\) がエルミートであるとする。次を示せ：\(X\) が収縮であることと \(I \succeq X^2\) が同値である。