資料紹介

ブラ・ケット記法
世界はよくもまぁ、 こんなくだらないシャレに付き合わされたものだ。
波動関数はベクトルだ
　前回は「完全規格直交系」について学んだ。　今回はこれを波動関数に応用してやる話だ。
　範囲の制限はあるものの、あらゆる形の関数が完全規格直交系の係数の組で表されるというので、波動関数も同じようにベクトル表現してやろうではないか。
　ただ前回と少し事情が違うのは、波動関数は位置座標に対して複素数を返す関数であるという点である。　しかしこれは全く問題がない。　係数 a1, a2, ... が複素数であると考えてやればいいのである。　これだけで分かる人はいいのだが、中には納得したつもりになっているだけの人もいるだろうからちゃんと詳しく説明しておくことにしよう。
　波動関数を実数部分と虚数部分に分けて考えることにする。
　それぞれの部分は前回やったようにベクトルで表されるだろう。
　そしてそれを後で一緒にしてやればいいわけだ。
　これで疑う余地がなくなっただろう。
　つまり波動関数は無限次元の複素数ベクトルとして表現できるということだ。
　これをこの後に出てくる計算の都合上、縦一列のベクトルとして表してやったものを「ケット・ベクトル」と呼び、 という記号で表す。
　 という記号の形がいかにも意味ありげだが、今はまだ気にしなくていい。　速度ベクトル( vx, vy, vz ) を象徴的に v という記号で表すのと全く同じことである。 　なぜ「ケット・ベクトル」などというけったいな名前で呼ばれているかについては後で説明する。
　とにかくこいつは波動関数が姿を変えたものであって、量子力学的な状態を漠然と表す抽象的なベクトルである。　これを「状態ベクトル」と呼ぶこともあるが、量子力学における状態の全ては波動関数に表れているのだ、という思想が読み取れよう。
ブラ・ベクトル
　以前に波動関数を使って粒子の存在確率を求めることをした。　その時の式が、
であり、-∞≦x≦∞ の範囲で積分した結果は１にならなければならないのであった。　しかし今は束縛状態の粒子について考えているのであり、ある範囲外では波動関数の値は０である。　よって、その内側だけで積分した結果が１になればいいのである。
　上の式の積分内の波動関数を完全規格直交系の関数で展開した形に直して代入してやるとどんなことになるだろうか。
であり、それの複素共役を取った は、それぞれの係数の複素共役を取ってやれば実現できるので、
である。　正式には係数だけでなく直交系関数の方も複素共役を取るべきだが、今はこれらは実数関数であると考えているのでこれでいいとしておこう。 　上の二つの式を積分式に代入してやって完全性の成り立つ範囲で積分してやるわけだ。　積分の中に膨大な組み合わせの積が出来るが、そのほとんどは関数の直交性によって消えてしまうだろう。
　それで結局は、
という答えが残るのみである。
　さあ！　　我々はこれと全く同じ結果をもっと簡単に得る方法を知っている！　行列計算の出番だ。
　先ほど、縦一列のベクトルをケットベクトルと呼んだが、その中身を全て複素共役の値に置き換えてやり、横一列に並べ替えたものを考える。
　こいつをケット・ベクトルの左側から掛けてやるのだ。　行列計算の規則は知っているな？
　これで先ほどと同じ結果が得られる！
　ここで使った横一列のベクトルを「ブラ・ベクトル」と呼び、 という記号で表す。
　ケットベクトルの複素共役を取って、転置行列にしたもの

資料の原本内容

ブラ・ケット記法
世界はよくもまぁ、 こんなくだらないシャレに付き合わされたものだ。
波動関数はベクトルだ
　前回は「完全規格直交系」について学んだ。　今回はこれを波動関数に応用してやる話だ。
　範囲の制限はあるものの、あらゆる形の関数が完全規格直交系の係数の組で表されるというので、波動関数も同じようにベクトル表現してやろうではないか。
　ただ前回と少し事情が違うのは、波動関数は位置座標に対して複素数を返す関数であるという点である。　しかしこれは全く問題がない。　係数 a1, a2, ... が複素数であると考えてやればいいのである。　これだけで分かる人はいいのだが、中には納得したつもりになっているだけの人もいるだろうからちゃんと詳しく説明しておくことにしよう。
　波動関数を実数部分と虚数部分に分けて考えることにする。
　それぞれの部分は前回やったようにベクトルで表されるだろう。
　そしてそれを後で一緒にしてやればいいわけだ。
　これで疑う余地がなくなっただろう。
　つまり波動関数は無限次元の複素数ベクトルとして表現できるということだ。
　これをこの後に出てくる計算の都合上、縦一列のベクトルとして表してやったものを「ケット・ベクトル」と呼び、 という記号で表す。
　 という記号の形がいかにも意味ありげだが、今はまだ気にしなくていい。　速度ベクトル( vx, vy, vz ) を象徴的に v という記号で表すのと全く同じことである。 　なぜ「ケット・ベクトル」などというけったいな名前で呼ばれているかについては後で説明する。
　とにかくこいつは波動関数が姿を変えたものであって、量子力学的な状態を漠然と表す抽象的なベクトルである。　これを「状態ベクトル」と呼ぶこともあるが、量子力学における状態の全ては波動関数に表れているのだ、という思想が読み取れよう。
ブラ・ベクトル
　以前に波動関数を使って粒子の存在確率を求めることをした。　その時の式が、
であり、-∞≦x≦∞ の範囲で積分した結果は１にならなければならないのであった。　しかし今は束縛状態の粒子について考えているのであり、ある範囲外では波動関数の値は０である。　よって、その内側だけで積分した結果が１になればいいのである。
　上の式の積分内の波動関数を完全規格直交系の関数で展開した形に直して代入してやるとどんなことになるだろうか。
であり、それの複素共役を取った は、それぞれの係数の複素共役を取ってやれば実現できるので、
である。　正式には係数だけでなく直交系関数の方も複素共役を取るべきだが、今はこれらは実数関数であると考えているのでこれでいいとしておこう。 　上の二つの式を積分式に代入してやって完全性の成り立つ範囲で積分してやるわけだ。　積分の中に膨大な組み合わせの積が出来るが、そのほとんどは関数の直交性によって消えてしまうだろう。
　それで結局は、
という答えが残るのみである。
　さあ！　　我々はこれと全く同じ結果をもっと簡単に得る方法を知っている！　行列計算の出番だ。
　先ほど、縦一列のベクトルをケットベクトルと呼んだが、その中身を全て複素共役の値に置き換えてやり、横一列に並べ替えたものを考える。
　こいつをケット・ベクトルの左側から掛けてやるのだ。　行列計算の規則は知っているな？
　これで先ほどと同じ結果が得られる！
　ここで使った横一列のベクトルを「ブラ・ベクトル」と呼び、 という記号で表す。
　ケットベクトルの複素共役を取って、転置行列にしたものがブラベクトルだというわけだ。　複素共役を取って転置行列に変換する記号を「 」と書き、「ダガー（短剣の意）」と呼ぶが、この記号を使えば、今言ったことは
と表せる。　この２つのベクトルの関係を「随伴」あるいは「エルミート共役」と呼ぶ。　さっきから「複素共役を取って転置行列にする」といちいち言うのがとても面倒だが、代わりに「随伴行列を作る」とか「エルミート共役をとる」とかいう表現が使えるわけだ。　これからはこのような用語を使わせてもらうことにしよう。
複素関数の内積
　ここまでで、ブラベクトルを左に、ケットベクトルを右にして掛け合わせたものは関数の内積を計算したのと同じ結果を与えるということが分かった。
　ああ、しまった！　まだ関数の内積を説明していなかった。　前回の話の中で関数の内積が出てきたが、あれは実数の関数の場合の定義なのである。　波動関数のような複素数を返す関数の場合には一方を複素共役にして掛け合わせてから積分をしなければならない。　実数の場合には複素共役をとっても何にも変わらないわけで、つまり、この計算は関数の内積の複素数への拡張版になっているのである。
　分かりやすいようにもう少し具体的な例で説明を続けよう。　ある複素関数 f (x) と g (x) の内積は
であり、同じことをブラとケットを使って表せば、
と書けるわけだ。　これら二つの式は等式で結んでやって構わない関係にある。
　ここで読者はなぜ左側の関数ばかり複素共役をとるのだ？と疑問を持つかも知れない。　もし逆に右側の関数の複素共役をとれば、内積の値が違ってしまうのではないだろうか。　実は複素関数の内積にはそういう性質があるのだ。　ブラとケットで書けば、　
ということである。　ここでブラとケットを使ったのはその方がすっきりと書けるからというだけの理由であって、もちろん積分記号を使っても同じことが表せる。　このことはここまでの話を理解していれば分かるだろう。
　内積の値が関数の順序によって変わるというこの性質は受け入れるしかない。　もともとなぜ片方の関数だけ複素共役を取るかと言えば、同じ関数どうしの内積の値が正の値になるように仕方なくそういう措置を取ったのである。
　粒子の存在確率の計算は、偶然なのか波動関数の内積を取るのと数学的に同じ意味であるわけだ。
今更だが名前の由来
　ブラとケット。　二つ合わせて「ブラケット（かっこの意）」。
　括弧が閉じればベクトルではなくスカラーの複素数値になる。　よく出来た分かりやすい表現法だ。　この書き方を発明したのはあの奇才ディラックである。　アイデアさえ良ければつまらないシャレもユーモアとしてついでに受け入れられるというものだ。
　勘違いしてはいけない。　もともとの理論を考え出したのは若きハイゼンベルクである。　その理論が行列を使えばすっきりとまとめ上げられることに気付き、努力して書き直したのがその師ボルンである。　そしてそれをディラックが「ええとこ取り」したわけだ。
資料提供先→　 http://homepage2.nifty.com/eman/quantum/bracket.html

コメント0件