BCとCBの固有値の関係
「特異値分解」ってネットで調べると証明っぽいものが出てきたりします。ぽいものが。その中でありがちな議論は「の固有値はの固有値でもある」、また「の固有値はの固有値でもある」ので「との固有値は一致する」みたいなやつです。
え、重複度について何も議論してなくない??????というわけでそのあたりについて適当に勉強したことを適当に紹介します。特異値分解の証明はいろいろありますが日本語でヒットするものは高確率でガバい気がします。線形代数、そんな簡単ではなさそう。
話がそれたので戻ります。および に対して以下が成り立ちます。
ここででの固有多項式を表しました。この式からとの固有値は重複度を含めて一致することがわかります。(サイズ的に足りない分は0で埋める。)
証明は(読むのは)とっても簡単で
\begin{aligned} \left[ \begin{array} { c c } { C B } & { 0 } \\ { B } & { 0 _ { n } } \end{array} \right] \end{aligned}
と
\begin{aligned} \left[ \begin{array} { c c } { 0 _ { m } } & { 0 } \\ { B } & { B C } \end{array} \right] \end{aligned}
が実は相似になっていることを示しておしまいです。
この定理を使えば一番上で話した特異値分解の説明も厳密にできます。他にも応用例があって、コーシーの恒等式
\begin{aligned} \operatorname { det } \left( A + x y ^ { {\rm T} } \right) = \operatorname { det } A + y ^ { {\rm T} } ( \operatorname { adj } A ) x \end{aligned}
を示すことができたり,成分がで与えられる行列の固有値を求めることができます。