4.3.26
定理 4.3.26.
実数 \(\lambda\_1, \ldots, \lambda\_n\) および \(\mu\_1, \ldots, \mu\_n\) が次の「交錯不等式」を満たすとする。
\lambda\_1 \leq \mu\_1 \leq \lambda\_2 \leq \mu\_2 \leq \cdots \leq \lambda\_n \leq \mu\_n
\tag{4.3.27}
\(\Lambda = \mathrm{diag}(\lambda\_1, \ldots, \lambda\_n)\) とする。このとき、ある実ベクトル \(z \in \mathbb{R}^n\) が存在して、\(\Lambda + zz^{\ast}\) の固有値は \(\mu\_1, \ldots, \mu\_n\) となる。
証明.
一般性を失うことなく \(\lambda\_1 \gt 0\) と仮定できる。というのも、もし \(\lambda\_1 \leq 0\) であれば、\(c \gt -\lambda\_1\) をとり、各 \(\lambda\_i\) を \(\lambda\_i + c\)、各 \(\mu\_i\) を \(\mu\_i + c\) に置き換えればよい。このシフトは交錯不等式 (4.3.27) を乱さない。もしあるベクトル \(z\) が存在して \(\Lambda + cI + zz^{\ast}\) の固有値が \(\mu\_1 + c, \ldots, \mu\_n + c\) であるならば、\(\Lambda + zz^{\ast}\) の固有値は \(\mu\_1, \ldots, \mu\_n\) となる。
ここで \(\mu\_0 = 0\) とおき、次を仮定する。
0 = \mu\_0 \lt \lambda\_1 \leq \mu\_1 \leq \lambda\_2 \leq \mu\_2 \leq \cdots \leq \lambda\_n \leq \mu\_n
定理 4.3.21 より、実数 \(a\) および実ベクトル \(y\) が存在して、\(\mu\_0, \mu\_1, \ldots, \mu\_n\) が次の特異行列 \(A\) の固有値となる（その最小固有値は 0 である）。
A =
\begin{bmatrix}
\Lambda & y \\
y^T & a
\end{bmatrix}
ここで \(R = \Lambda^{1/2} = \mathrm{diag}(\lambda\_1^{1/2}, \ldots, \lambda\_n^{1/2})\) とする。\(\Lambda\) は非特異なので、\(A\) の最初の \(n\) 本の列は一次独立である。したがって、最後の列はそれらの一次結合であり、ある実ベクトル \(w\) が存在して
\begin{bmatrix}
y \\
a
\end{bmatrix}
=
\begin{bmatrix}
\Lambda \\
y^T
\end{bmatrix} w
=
\begin{bmatrix}
R^2 w \\
y^T w
\end{bmatrix}
となる。したがって \(y = R^2 w\)、\(w = R^{-2} y\)、\(a = y^T w = w^T R^2 w = (Rw)^T (Rw)\) が得られる。ここで \(z = Rw = R^{-1} y\) とする。
このとき、次の行列の固有値は \(0, \mu\_1, \ldots, \mu\_n\) であり、式 (1.3.22) により \(\mu\_1, \ldots, \mu\_n\) は \(\Lambda + zz^T\) の固有値である。
A =
\begin{bmatrix}
R^2 & R(Rw) \\
(Rw)^T R & (Rw)^T (Rw)
\end{bmatrix}
=
\begin{bmatrix}
R \\
z^T
\end{bmatrix}
\Lambda
\begin{bmatrix}
R & z
\end{bmatrix}
=
R^2 + zz^T
=
\Lambda + zz^T
定理 4.3.17 は 2つの観点から理解できる。
一方では、与えられたエルミート行列に新しい最後の行と列を付け加えることで得られる行列の固有値を考えている。他方では、与えられたエルミート行列から最後の行と列を削除して得られる行列の固有値の振る舞いを考えている。
固有値の交錯に関しては、最後の行と列を削除すること自体には特別な意味はない。エルミート行列 \(A\) の任意の行と対応する列を削除して得られる行列の固有値は、\(A\) のある置換相似行列から最後の行と列を削除して得られる行列の固有値と一致する。
さらに、エルミート行列から複数の行と対応する列を削除することも考えられる。このとき残る行列は元の行列の「主座小行列」となる。次の結果（しばしば「包含原理」と呼ばれる）は、交錯不等式 (4.3.18) を繰り返し適用することで得られる。ただし、ここではレイリー商定理と部分空間交差補題を用いて証明する。これにより、等号成立の場合や固有値の重複に関する状況を明確にできる。
行列解析の総本山
コメント