4.3.問題64.3.P6\(A = \in M\_n\) がエルミートで、最小固有値 \(\lambda\_1\)、最大固有値 \(\lambda\_n\) を持つとする。ある \(i \in \{1,\ldots,n\}\) に対し、も...

4.3.問題54.3.P5\(A \in M\_n\) をエルミートとし、\(a\_k = \det A\) をサイズ \(k\) の主要小行列式とする (\(k=1,\ldots,n\))。すべての \(a\_k \neq 0\) である...

4.3.問題44.3.P4\(A, B \in M\_n\) がエルミートで、かつ \(A-B\) が非負の固有値しか持たないとする。このとき、すべての \(i = 1, \ldots, n\) に対して \(\lambda\_i(A) \...

4.3.問題34.3.P3 \(A, B \in M\_n\) がエルミートであり、その固有値が (4.2.1) のように並べられているとする。このとき、次が成り立つ理由を説明せよ。\lambda\_i(A+B) \leq \min \{ ...

4.3.問題24.3.P2次の行列を考える。A = \begin{bmatrix} 0 & 1 \\ 0 & 0 \end{bmatrix}, \quadB = \begin{bmatrix} 0 & 0 \\ 1 & 0 \end{bma...

4.3.問題14.3.P1行列 \(A, B \in M\_n\) をエルミートとする。(4.3.1) を用いて、すべての \(i = 1, \ldots, n\) に対して次を示せ。\lambda\_1(B) \leq \lambda\_...

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 = ...

4.3.49定理 4.3.49. \(n \ge 2\) とし、ベクトル \(x=\in\mathbb{R}^n\) および \(y=\in\mathbb{R}^n\) を与える。次の3条件は同値である：(a) \(x\) は \(y\) ...

4.3.48定理 4.3.48. \( n \ge 1 \) とし、\( x = \in \mathbb{R}^n \)、\( y = \in \mathbb{R}^n \) が与えられ、\( x \) が \( y \) をメジャライズす...

4.3.47定理 4.3.47. \( A, B \in M_n \) をエルミート行列とする。それぞれの固有値ベクトルを λ(A), λ(B), λ(A + B) とする。このとき以下が成り立つ：(a) (Fan) \( \lambda(...

4.3.45定理 4.3.45（Schur）. \( A = \in M_n \) をエルミート行列とする。その固有値のベクトル\lambda(A) = _{i=1}^nは、主対角成分のベクトルd(A) = _{i=1}^nをメジャライズす...

4.3.43定義（非増加順整列・非減少順整列）定義 4.3.43. \( z = \in \mathbb{R}^n \) とする。\( z \) の非増加順整列とは、\( z \) の成分（重複を含む）を大きい順に並べ替えたベクトルz^\d...

4.3.41定義 4.3.41. \( x = \in \mathbb{R}^n \)、\( y = \in \mathbb{R}^n \) とする。次が成り立つとき、\( x \) は \( y \) を メジャライズ（majorize）...

4.3.39系 4.3.39. \(A \in M\_n\) をエルミート行列とし、\(1 \leq m \leq n\) とする。このとき次が成り立つ。\lambda\_{1}(A) + \cdots + \lambda\_{m}(A)=...

4.3.37系 4.3.37. \(A \in M\_n\) をエルミート行列とし、\(1 \leq m \leq n\) とする。さらに、\(u\_1, \ldots, u\_m \in \mathbb{C}^n\) を直交規格化されたベ...

4.3.34系 4.3.34. \(A = \in M\_n\) をエルミート行列とし、(4.3.29) のように分割されているとする。また、\(A\) の固有値は (4.2.1) のように順序づけられているとする。このとき次が成り立つ。a...

4.3.28定理 4.3.28. エルミート行列 \(A \in M\_n\) を次のように分割する：(4.3.29)A =\begin{bmatrix}B & C \\C^{\ast} & D\end{bmatrix}, \quad B ...

4.3.26定理 4.3.26. 実数 \(\lambda\_1, \ldots, \lambda\_n\) および \(\mu\_1, \ldots, \mu\_n\) が次の「交錯不等式」を満たすとする。\lambda\_1 \leq ...

4.3.21定理 4.3.21. 実数列 \(\lambda_1, \ldots, \lambda_n\) および \(\mu_1, \ldots, \mu_{n+1}\) が次の相互はさみ込み不等式を満たすとする。\mu_1 \le \l...

4.3.17定理 4.3.17（Cauchy）. \(B \in M_n\) をエルミート行列、\(y \in \mathbb{C}^n\)、\(a \in \mathbb{R}\) を与えられたものとし、A =\begin{bmatrix...

4.3.15系 4.3.15. エルミート行列 \(A, B \in M_n\) を考える。このとき次が成り立つ。λ_i(A) + λ_1(B) ≤ λ_i(A + B) ≤ λ_i(A) + λ_n(B), i = 1, …, n(4.3...

4.3.12系 4.3.12. エルミート行列 \(A, B \in M_n\) を考える。ここで \(B\) が半正定値であるとする。このとき次が成り立つ。λ_i(A) ≤ λ_i(A + B), \\ i = 1, …, n(4.3.1...

4.3.9系 4.3.9 \(n ≥ 2\) とし、エルミート行列 \(A \in M_n\) および非ゼロベクトル \(z \in \mathbb{C}^n\) を考える。このとき次が成り立つ。λ_i(A) ≤ λ_i(A + zz^*)...

4.3.7系 4.3.7 エルミート行列 \(A, B \in M_n\) を考える。\(B\) が正の固有値をちょうど1つ、負の固有値をちょうど1つ持つとする。このとき次が成り立つ。λ_1(A + B) ≤ λ_2(A)λ_{i−1}(A...

4.3.5系 4.3.5 エルミート行列 \(A, B \in M_n\) を考える。\(B\) が特異で \(\operatorname{rank} B = r\) のとき、次が成り立つ。λ_i(A + B) ≤ λ_{i+r}(A), ...

4.3.3系 4.3.3 エルミート行列 \(A, B \in M_n\) を考える。\(B\) が正の固有値をちょうど \(\pi\) 個、負の固有値をちょうど \(\nu\) 個持つとする。このとき次が成り立つ。λ_i(A + B) ≤...

4.3.1定理 4.3.1（ワイルの定理） \(A, B ∈ M_n\) をエルミート行列とし、それぞれの固有値を \(A, B, A+B\) について \( \{λ_i(A)\}_{i=1}^n, \{λ_i(B)\}_{i=1}^n, ...