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

4.3.53定理 4.3.53. \(A, B \in M_n\) をエルミート行列とし、それぞれの固有値ベクトルを \(\lambda(A) = _{i=1}^n\)、\(\lambda(B) = _{i=1}^n\) とする。このとき、...

4.3.51補題 4.3.51. \(x = , y = , w = \in \mathbb{R}^n\) とする。もし \(x\) が \(y\) をメジャライズするならば、次が成り立つ。\sum_{i=1}^n w_i^{\downar...

4.3.50定理 4.3.50. \(x = \in \mathbb{R}^n\)、\(z = \in \mathbb{C}^n\) を与える。このとき、次の2つは同値である：(a) \(x\) は \(\mathrm{Re}\, z = ...