行列解析

7.2.8系：エルミート行列の正定値性と合同エルミート行列 \( A \) が正定値であることと、\( A \) が単位行列に ∗合同（スター合同）であることは同値である。証明これは定理 (7.2.7) の単なる言い換えである。演習\( A...

7.2.7定理：半正定値行列の因数分解と階数の関係\( A \in M_n \) がエルミート行列であるとする。(a) \( A \) が半正定値であることと、ある \( B \in M_{m,n} \) が存在してA = B^{*} Bが...

7.2.6定理：半正定値エルミート行列の k 乗根\( A \in M_n \) がエルミートかつ半正定値であるとし、\( r = \operatorname{rank} A \)、および \( k \in \{2, 3, \ldots\}...

7.2.5定理（シルベスターの判定法）\( A \in M_n \) がエルミート行列であるとする。このとき、次のことが成り立つ。(a) もし \( A \) のすべての主小行列式（\(\det A\) を含む）が非負であるならば、\( A...

7.2.4 系：エルミート行列の特性多項式による半正定値の判定\( A \in M_n \) がエルミート行列であり、その特性多項式がp_A(t) = a_n t^n + a_{n-1} t^{n-1} + \cdots + a_{n-m}...