4.エルミート行列、対称行列、合同行列

4.5.11系 4.5.11：\(A, S \in M_n\) とし、\(A\) はエルミート行列とする。\(A\) の固有値を降順に並べ（4.2.1）、\(S\) の最小の特異値を \(\sigma_n\)、最大の特異値を \(\sigm...

4.5.9定理 4.5.9（Ostrowski）： \(A, S \in M_n\) とし、\(A\) はエルミート行列、\(S\) は非特異行列とする。\(A\)、\(SAS^{*}\)、および \(SS^{*}\) の固有値を昇順に並べ...

4.5.8定理 4.5.8 （シルベスター）. エルミート行列 \(A, B \in M_{n}\) は、同じ慣性を持つ場合、すなわち正の固有値の数と負の固有値の数が一致する場合に限り、∗合同である。証明. 各行列 \(A\) および \(...