縮退部分空間と摂動行列
の固有値 の固有空間を とし、 とする。 の正規直交基底を 、 への直交射影を と書く。 行列
を 摂動行列(あるいは永年行列)と呼ぶ。作用素としては を に制限したものである。 が自己共役なので はエルミート行列である。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。
の固有値 の固有空間を とし、 とする。 の正規直交基底を 、 への直交射影を と書く。 行列
を 摂動行列(あるいは永年行列)と呼ぶ。作用素としては を に制限したものである。 が自己共役なので はエルミート行列である。
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
証明で明示的に参照している定理は、まだありません。