行列解析

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

[行列解析4.5.7]定理

4.5.7定理 4.5.7. 任意のエルミート行列は、その慣性行列に ∗合同である。演習. \(A \in M_{n}(\mathbb{R})\) が対称行列である場合、前節の議論を修正して、\(A\) が実行列によってその慣性行列に合同で...
4.エルミート行列、対称行列、合同行列

[行列解析4.5.6]定義(慣性(inertia))

4.5.6定義 4.5.6. \(A \in M_{n}\) がエルミート行列であるとする。\(A\) の慣性(inertia)とは、順序付き三つ組i(A) = (i_{+}(A), i_{-}(A), i_{0}(A))をいう。ここで \...
4.エルミート行列、対称行列、合同行列

[行列解析4.5.5]定理

4.5.5定理 4.5.5. ∗合同および合同はいずれも同値関係である。証明. 反射律: \(A = I A I^{*}\)。対称律: もし \(A = S B S^{*}\) であり、かつ \(S\) が正則であれば、B = S^{-1}...
4.エルミート行列、対称行列、合同行列

[行列解析4.5.4]定義(∗合同・T合同)

4.5.4定義 4.5.4. \(A, B \in M_n\) とする。次の条件を満たす非特異行列 \(S\) が存在するとき、次のように定義する。(a) \(B = SAS^*\) であるとき、\(B\) は \(A\) に対して ∗合同...
4.エルミート行列、対称行列、合同行列

[行列解析4.5]合同と対角化

この節の目次4.5.4 定義(∗合同・T合同)定義4.5.5 定理4.5.6 定義(慣性(inertia))4.5.7 定理4.5.8 定理4.5.9 定理(Ostrowski)4.5.11 系4.5.12 定理4.5.16 定義4.5.1...