量子力学とブラケット記法に関する考察1(ベクトル空間)
私は最初に線型空間論で双対空間について学んだ時、全く理解ができなかった。
おそらく大学数学で一番最初に躓いたのが双対空間に関する話であったように思う。
(全く関係ないが、その次に躓いて学部時代に数学を嫌厭するようになったのは位相空間論の話である。)
修士の終わり頃になって、初めて(実Euclid空間の)双対空間が実は内積のペアであるというアイデアに触れ、双対空間を理解できるようになった。
厳密に言えば、これは自明なことではなくRieszの表現定理の帰結である。
当時は関数解析をちゃんと学んでおらずRieszの表現定理については名前以外知らなかった。
そのため、厳密に理解していたかと言われると怪しいが、直感的な理解の手助けにはなった。
同様の考え方は量子力学のブラケット記法にも言える。
私が読んだことのある量子力学の教科書の多くでは、複素列ベクトルとしてケットベクトルを定義し、その随伴ベクトル(共役転置した行ベクトル)としてブラベクトルを定義している。
しかし、どの教科書だったか忘れてしまったのだが(量子情報の教科書だったのは覚えている)、ブラベクトルを線型汎函数、すなわち双対空間の元として定義していた教科書もあった。
当時はよくわからずサラッと読み流してしまったのだが、実際ブラベクトルを線型汎函数で定義するとブラケット記法がわかりやすくなる。
次にあげる資料はその点がよくまとまっていてわかりやすいと思う。。
ブラケット記法の機微ー双対構造と内積構造
http://www.sceng.kochi-tech.ac.jp/koban/quatuo/lib/exe/fetch.php?media=2012:kitano2.pdf
話は変わるが、量子力学的な状態を表すためには複素Hilbert空間上のベクトルがよく使われる。
厳密な定義は後で書き下ろすとして、複素Hilbert空間は
を満たす空間である。
私が読んだことのある量子力学の教科書では、複素Hilbert空間を定義した後にすぐに複素Euclid空間を具体例として議論を進めていく。
確かにはEuclid内積の下で複素Hilbert空間を成すが、私は正直ここにあまり納得がいっていなかった。
というのも、量子状態を数学的に記述するのに複素Hilbert空間という抽象的なものを用意しておきながら、議論はで進んでいくのだ。
でないような複素Hilbert空間で構成される量子系は存在しないのか、と疑問に思ってしまう。
最近、実はその一例ではないかと思われる表現を藤原彰夫先生の本 *1 で見つけた。
情報幾何学の基礎8章のモジュラー作用素の話、僕がずっと気になってたユークリッド空間じゃないヒルベルト空間の量子論では?
— 倉志社太@朝は起きれない (@sasasasasa339) 2020年7月10日
これが実際にでないような複素Hilbert空間で構成される量子系となるのかを順番に考えてみる。
そして、もしこれが実際に量子系をなした場合のブラケット記法についても考えてみようと思う。
以降では何回かに分けて考察を行っていく。
今回はまず基本となるベクトル空間を解説する。
ベクトル空間(線形空間)
ベクトル空間を定義するためには、まず体というものを定義しなければならないのだが、その辺からやりだすと非常に長ったらしくなるので割愛する。
大雑把にいうと、加法と乗法が定義され分配則を満たすような集合である。
有理数全体の集合、実数全体の集合、複素数全体の集合は体である。
量子状態を記述するのは複素Hilbert空間であるため、体はのことと考えても問題ないと思う。
定義
集合 が体 上のベクトル空間とは、次のi-viiiが成り立つことである。
- 任意の に対して「和(加法)」と呼ばれる元 が定まり、次のi-ivが成り立つこと。
- 零元が存在して、
- 任意のに対して、ある元 が存在して、
- 任意の と任意の に対して「のスカラー倍」と呼ばれる元 が定まり、次のv-viiiが成り立つこと。
- 任意の に対して、あるスカラー が存在して、
また、iiで定まるを零元、iiiで定まるをの逆元と呼ぶ。
いくつか具体例を見ていこう。
ここでは証明は特に与えない。
- 例1: を体、を自然数とする。
と定義し、加法とスカラー倍を次式で与える。
この時、すなわち次元の列ベクトル全体はベクトル空間である。
- 例2: 特に は上のベクトル空間である。
例1でとおけば良い。
- 例3: とした時、を定義域とする連続関数の集合
は関数の和と定数倍により上のベクトル空間である。
ここで関数の和と定数倍は
として定義する。
特に零元は、すなわち任意のに対してを割り当てる関数で定義する。
- 例4: を自然数とする。
つまり行列全体の集合は、行列の和とスカラー倍により 上のベクトル空間。
ただし零元は零行列とする。
- 例5: 特に 次エルミート行列全体の集合は 上のベクトル空間である。
次に線形(一次独立)独立を定義しよう。
定義
を上のベクトル空間とする。
とに対し、
であるとき、 は線形独立(一次独立)いう。
- 例6: において
とおくと、 は線形独立である。
- 例7: において、 は線形独立である。
有限加法族
Euclid空間の「長さ」「面積」「体積」は有限加法性を持っている。
例えば2つの上に重ならない2つの正方形があった時、合計の面積はそれぞれの面積で表される。
この「面積」の一般化が有限加法的測度である。
有限加法族
有限加法的測度の前に、有限加法族の定義から入る。
これはユークリッド空間における長方形や直方体などの図形の集合を一般化したものである。
まだ「面積」は定義されていない。
定義
集合の族に対し、
- ならば
- ならば
を満たす時、 を 上の有限加法族と呼ぶ。
ここではの補集合を表す。
この定義から次の3つの性質が言える。
- ならば
- ならば
証明
- i.より なので、ii.より
- とすると1.より。
ゆえにiii.より。
さらにde Morganの法則とii.を用いると。 - とすると1.より。
よって2.より。
直積に対して有限加法族は次の定理から作ることができる。
定理
(直積)とし、をそれぞれ の有限加法族とする。
なる形の集合の有限個の直和として表されるものの全体 は有限加法族。
証明
- より、 は明らか。
- とする。
より、
。
有限加法族の定義ii.より、。
よって、 は全て(**)の形で書ける。
の定義より、これらの直和である も に属する。 - とする。 この時、 となる。 のため、これらの有限個の直和である は に属する。
- とおく。
de Morganの法則より、$$ A^c = \bigcap_{i=1}^n (E_i^c \times F_i^c) $$より、。
従って、3. より。 - とおくと、
$$ A \cup B = A + (B \backslash A) = A + (B \cap A^c) $$4. より なので、3.より。
従って、。
以上の1, 4, 5から有限加法族の性質i, ii, iiiが言えた。(証明終)
次回はこの有限加法族を用いて有限加法的測度を定義していく。
ところで&が自動エスケープされるのどうにかならんのか。