Prerequisite
線型演算子 と状態ベクトル については次のような方程式を立てることができる:
ここに はふつうの複素数である.
線型写像で移した先のベクトルが元のベクトルと平行になることを意味する.
これを満たすような複素数 と状態ベクトル を求めることがこの方程式を解くことにあたる.ただし自明な解 は除いておく.
この解 をそれぞれ固有値 (eigenvalue) ,固有値 に属する固有ベクトル (eigenvector) という.
以下では固有ベクトルが固有値に属することを明記するために状態ベクトルのラベルは固有値と同じにとって のように表記する.
他にラベル付けする必要があるときにはラベルを並べて と表記する.
固有ベクトルは状態ベクトルなので対応する状態が存在し固有状態 (eigen state) という.
両辺のHermite共役をとってみれば
がブラベクトルについて成り立つ.
自己共役演算子 の固有値を調べてみよう.
一般に 上のベクトルの固有値は複素数であるが,このときには固有値はかならず実数になることが示される.内積の性質から
左辺では方程式より である.
右辺では となる. 内積の正定値性と より で割ることができて .
つまり固有値 は実数である.
このことは物理量が複素数ではなくかならず実数で測定されなければならないことを反映している.
あとのBornの確率規則の節で詳述する.
自己共役演算子 の異なる固有値に属する2つの状態ベクトル と を考えよう( ).
固有値方程式は , であるから, をケット側,ブラ側で2通りに計算すれば,
となる.
だから内積は となる.
つまり異なる固有値に属する2つの固有ベクトルはかならず直交している.
また固有値 に属する固有ベクトルが複数存在しそれらが一次独立な場合がある.
それらが 個あるとして とする.
は線型なのでこれらの線型結合もまた同じ に属する固有ベクトルでなければならない,
こうして構成される固有値 に属する固有ベクトル全体の集合を に属する固有空間といいこれは状態ベクトル空間 の部分ベクトル空間になっている.
物理では固有空間の次元 が 以上のとき,固有値 に縮退 (degeneracy) があるという.
縮退の度合いを表す量は固有空間の次元で定義され,縮重度という.
縮退があるときには同じ固有値に属する固有ベクトルでも 以外の異なるラベルがつけられているものが存在することになる.
いま状態ベクトル空間 の次元は特に定めていないので,その次元が必ずしも可算でないことに注意せよ.
もし連続無限の場合はここでの議論は修正が必要である.
本稿では連続無限の場合の詳細には立ち入らずあとの節でまとめて紹介するにとどめる.
以上から が自己共役演算子ならば各固有空間の基底として大きさ で直交化した基本ベクトルの組み
をとることが可能である.
任意の状態ベクトルは
のように展開できる.
展開の係数 は上式に を作用させ直交関係を用いれば得られて
系の状態を記述するのに十分かつ最低限のオブザーバブル を用意する.
古典論で系の状態は位置と運動量で記述されていた.
量子論的な状態を記述するオブザーバブルもこのような物理量であることを念頭におこう.
各々のオブザーバブルの固有状態が存在するが,たとえば の固有状態が同時に の固有状態にもなっていることがある.
このような状態を と の同時固有状態とよぶことにしよう.
に と書くと,
が成り立つ( は縮退のラベル).
同時固有状態が存在するとき2つのオブザーバブル と は可換になる.
また逆に ならば同時固有状態が存在する.
実際,
これから が任意の同時固有状態 について成り立つ.
したがって がいえる.
逆に のとき, の固有状態 をとると,
となって も固有値 に属する固有状態になる.
したがって に属する固有空間の基底を用いて とかける.
つまり の作用は固有空間の中で閉じている.
そのため に関する固有値問題 を満たす固有ベクトルもこの固有空間の中で閉じている.
それゆえ任意の の固有ベクトルは同時にある に属する固有ベクトルであり同時固有状態 と書くことができる.
この主張から, に縮退があって異なる状態が同じ固有値 に属していても の固有値が異なっていて と のように書けるならば縮退がないことになる.
物理ではこれを「縮退が解ける」と表現する.
このとき に属する固有空間の基底を の固有ベクトルで取り直すことができる.
もしまだ に縮退が存在しても, の両方に可換な が存在すればやはり縮退した状態を固有値 のラベルで区別することができる.
こうして系を記述する物理量 に対して基本ベクトルの組み を得たとする.
これを量子論の言葉では正規直交完全系 (CONS; complete orthogonal nomal system) という.
基本ベクトルが満たすべき性質
は正規直交関係という.
正規直交完全系を構成すれば任意の状態ベクトル は,
と展開できる.
は展開の係数で直交性から である.
次節では基底とオブザーバブルの関係について詳しく見ていこう.