7.正定値および半正定値行列 [行列解析7.8.15]補題：半正定値行列の部分行列に基づく変形
7.8.15 補題：半正定値行列の部分行列に基づく変形\( A = \in M_n \) を半正定値行列とし、次のように分割する：A =\begin{bmatrix}a_{11} & x^{*} \\x & A_{22}\end{bmatr...
行列解析
7.正定値および半正定値行列 7.正定値および半正定値行列 [行列解析7.8.11]定理：サースの不等式
7.8.11 定理（サースの不等式）定理 7.8.11（Szászの不等式）．\( A \in M_n \) を正定値行列とする。このとき、各 \( k = 1, \ldots, n - 1 \) に対して次の不等式が成り立つ。 P_{k+...
7.正定値および半正定値行列 [行列解析7.8.9]定理：コテリャンスキー（Koteljanski）の不等式
7.8.9 定理 7.8.9（コテリャンスキーの不等式）定理 7.8.9（Koteljanskiの不等式）．\( A \in M_n \) を正定値行列とし、\( \alpha, \beta \subset \{1, \ldots, n\}...