固有値の評価
対称行列の部分空間に関する断面 の問題1のための準備として、対称行列の固有値を評価するためのいくつかの基本的な道具を紹介する。
まず最初は Bauer-Fike の定理。
定理(Bauer-Fike)
行列 A の固有値をλとし、それを対角化が与えられている行列 の固有値で評価する。 とする。このとき、
が成り立つ。
これは、Aの一つの固有値を、Bの固有値の一番近いもので評価するもので、この差を A-B の行列ノルム*1で押さえるのであるから、あまり精度のいい評価とはいえない。最大固有値が行列の連続な関数であることを示す場合などは、この評価式を使えばよい。
*1:ベクトルのノルムから導かれるノルム