資料紹介
ここまでのまとめ
ここまでの説明は遠回りしすぎだ。
心残り
ここまで六回にわたってブラ・ケット記法の説明をしてきたが、 イメージを描けるようになることを優先した結果、かなり遠回りをしてしまったように思う。 本当は途中で差し挟みたい説明もあったのだが、本筋から離れる惧れがあったために仕方なく我慢したところもある。
ここでは私のそういった心残りを解消するために、「まとめ」という形式を取りながら、別のアプローチでの説明を試みさせて頂くとしよう。
すでにおおよそのイメージをつかむのに成功した読者にとっては、全体を見下ろすような説明をした方が理解しやすいだろう。 実に簡単な概念であることが理解できるはずだ。
ブラ・ケットの基本
「複素ベクトルの内積」と「複素関数の内積」とは見た目は随分違うが実は数学的には同じ内容であって、積分範囲が限られていようが無限の範囲だろうが、結局は
と書ける。 実にこれが全てである。 しかし、いきなりこんな関係式を示されたところで、 や といったベクトルの意味や具体的な成分の値が知らされないのでは左辺は計算のしようがない。 親切な教科書には、 というのは関数 (x) を表す抽象的なベクトルだと説明してくれてあるが、イメージを描くにはヒントが足りなさ過ぎる。
ここで具体的な成分を教えたいのはやまやまなのだが、これらは本当に抽象的な無限次元の複素ベクトルなのである。
しかし状態が離散的な場合に限っては方法がないわけではない。 何らかの「完全な関数系」を選んで、それを基準にしてやることで具体的な成分を考えることが出来る。 ベクトルの用語で「基底を選ぶ」と表現されるやつだ。
完全規格直交関数系 { , , , , ... } を用意して、これらを「単位ベクトル」の集まりだと仮に考えることにするのである。 するとベクトル の各成分はこの関数系との内積を使って表せることになる。 例えば の一番初めの成分は、
のように内積を取る事で具体的に計算できるだろう。 以前の説明ではこれを a0 と書いていた。 そして a0 , a1 , a2 , a3 ・・・を縦に並べたものがケットベクトル の正体ですよ、と説明していた。 ここまで読んできた読者にはもう問題ないだろうから言うが、これは言い換えれば、
ということである。 の正体を説明するためにブラとケットを使わなければならないという自己言及的なことを避けるために少し遠回りしてきたわけだ。
ではブラベクトル はどう表したらいいかというと、一番初めの式の右辺を見ると と の違いはただ複素共役を取るか取らないかということだけである。 その違いだけで左辺では右に書かれるか左に書かれるかの違いが生まれているのである。 つまり一旦、 を作ってやってその複素共役を取れば の成分となるわけだ。
ここで横行列にしたのは、そう表現しておけばケットベクトルとの内積を計算する時に、行列の積のルールが適用出来て都合がいいから、というくらいの理由である。 もう一つ理由があるとすれば、それはブラベクトルとケットベクトルは同じものではなくて、ブラベクトルとケットベクトルという異種のベクトルの組み合わせがあって初めて内積が計算できるのだ、というイメージを明らかにするためである。
初めの式の両辺の複素共役をとることで、
という関係があることが確かめられる。 よってブラベクトルを
と表現しても良い。
射影演算子
さて、以上のことから、 と の内積を取ってやると具体的には、
の右辺のような計
All rights reserved.
資料の原本内容
ここまでのまとめ
ここまでの説明は遠回りしすぎだ。
心残り
ここまで六回にわたってブラ・ケット記法の説明をしてきたが、 イメージを描けるようになることを優先した結果、かなり遠回りをしてしまったように思う。 本当は途中で差し挟みたい説明もあったのだが、本筋から離れる惧れがあったために仕方なく我慢したところもある。
ここでは私のそういった心残りを解消するために、「まとめ」という形式を取りながら、別のアプローチでの説明を試みさせて頂くとしよう。
すでにおおよそのイメージをつかむのに成功した読者にとっては、全体を見下ろすような説明をした方が理解しやすいだろう。 実に簡単な概念であることが理解できるはずだ。
ブラ・ケットの基本
「複素ベクトルの内積」と「複素関数の内積」とは見た目は随分違うが実は数学的には同じ内容であって、積分範囲が限られていようが無限の範囲だろうが、結局は
と書ける。 実にこれが全てである。 しかし、いきなりこんな関係式を示されたところで、 や といったベクトルの意味や具体的な成分の値が知らされないのでは左辺は計算のしようがない。 親切な教科書には、 というのは関数 (x) を表す抽象的なベクトルだと説明してくれてあるが、イメージを描くにはヒントが足りなさ過ぎる。
ここで具体的な成分を教えたいのはやまやまなのだが、これらは本当に抽象的な無限次元の複素ベクトルなのである。
しかし状態が離散的な場合に限っては方法がないわけではない。 何らかの「完全な関数系」を選んで、それを基準にしてやることで具体的な成分を考えることが出来る。 ベクトルの用語で「基底を選ぶ」と表現されるやつだ。
完全規格直交関数系 { , , , , ... } を用意して、これらを「単位ベクトル」の集まりだと仮に考えることにするのである。 するとベクトル の各成分はこの関数系との内積を使って表せることになる。 例えば の一番初めの成分は、
のように内積を取る事で具体的に計算できるだろう。 以前の説明ではこれを a0 と書いていた。 そして a0 , a1 , a2 , a3 ・・・を縦に並べたものがケットベクトル の正体ですよ、と説明していた。 ここまで読んできた読者にはもう問題ないだろうから言うが、これは言い換えれば、
ということである。 の正体を説明するためにブラとケットを使わなければならないという自己言及的なことを避けるために少し遠回りしてきたわけだ。
ではブラベクトル はどう表したらいいかというと、一番初めの式の右辺を見ると と の違いはただ複素共役を取るか取らないかということだけである。 その違いだけで左辺では右に書かれるか左に書かれるかの違いが生まれているのである。 つまり一旦、 を作ってやってその複素共役を取れば の成分となるわけだ。
ここで横行列にしたのは、そう表現しておけばケットベクトルとの内積を計算する時に、行列の積のルールが適用出来て都合がいいから、というくらいの理由である。 もう一つ理由があるとすれば、それはブラベクトルとケットベクトルは同じものではなくて、ブラベクトルとケットベクトルという異種のベクトルの組み合わせがあって初めて内積が計算できるのだ、というイメージを明らかにするためである。
初めの式の両辺の複素共役をとることで、
という関係があることが確かめられる。 よってブラベクトルを
と表現しても良い。
射影演算子
さて、以上のことから、 と の内積を取ってやると具体的には、
の右辺のような計算をしている事になるのが分かるだろう。 この両辺を比較して一部を取り出すと
という関係があることが言えそうだ。 この部分だけ勝手に取り出して来ても問題はないのか、と不安になるかも知れない。 これが意味するものが何なのかを考えてみよう。
まず は縦行列であるが、この各成分を知りたければ、先ほどから変わらないルールによって次のようにして求めることができる。
つまり、i 番目の成分だけ１で、残りはすべて０であるようなベクトルだ。 もそれを横行列にしただけのものだ。
縦行列、横行列の順に並んだ積は行列になるのだった。 この場合、( i, i ) 成分だけが１で、残りは全て０であるような行列が出来上がる。 それを i を変えながら足し合わせた行列は単位行列である。 先ほどの式で右辺が１になっているのは、実は単位行列の意味であったのだ。 この点、注意しなくてはいけない。
これが射影演算子と呼ばれる意味やその使い方についてはすでに「ユニタリ変換」のところで説明したので、繰り返さなくてもいいだろう。
演算子行列の成分
次は演算子の話だ。 ２つの関数の内積の間に「線形演算子」が挟まる時には、これはベクトル表現では行列と同じ意味だという話を前にした。 式にすれば次のようなことである。
この右辺の行列計算は具体的な成分を使って書き表せば、
ということをしているのであり、さっきと同じように両辺を比較して一部だけ取り出せば、
ということが言えそうである。 この両辺は本当に同じものなのか？ 先ほどの「射影演算子」でもそうだったが、この右辺のようなケット・ブラの順で並んだ形をしているものは行列を意味しているのだった。 というのは ( i, j ) 成分だけ１であり残りは０であるような行列だ。 それに定数 Hij を掛けては足して行くので、結局 H という行列そのものを表しているということだ。 両辺は全く同じものであることが分かる。
上の式の両辺に、右と左から基底ベクトルをつなげてみよう。 すると、
となることが分かる。 つまり、基底として { } を選んだ時の H の具体的な行列成分は、
として求められるということだ。 もちろん、基底を変更した時に成分がどう変わるかを知りたければユニタリ変換を行えばいい。
満足
これで基本的なことで説明し忘れたと感じていたことにはすべて触れる事が出来た。 安心して先へ進むことができる。
資料提供先→ http://homepage2.nifty.com/eman/quantum/matome.html
