4.エルミート行列、対称行列、合同行列 [行列解析4.3.41]定義（メジャライズ）
4.3.41定義 4.3.41. \( x = \in \mathbb{R}^n \)、\( y = \in \mathbb{R}^n \) とする。次が成り立つとき、\( x \) は \( y \) を メジャライズ（majorize）...
行列
4.エルミート行列、対称行列、合同行列 4.エルミート行列、対称行列、合同行列 [行列解析4.3.39]系
4.3.39系 4.3.39. \(A \in M\_n\) をエルミート行列とし、\(1 \leq m \leq n\) とする。このとき次が成り立つ。\lambda\_{1}(A) + \cdots + \lambda\_{m}(A)=...
4.エルミート行列、対称行列、合同行列 [行列解析4.3.37]系（ポアンカレの分離定理）
4.3.37系 4.3.37. \(A \in M\_n\) をエルミート行列とし、\(1 \leq m \leq n\) とする。さらに、\(u\_1, \ldots, u\_m \in \mathbb{C}^n\) を直交規格化されたベ...