このワークシートは[url=https://www.geogebra.org/m/twxxx3yq]Math by Code[/url]の一部です。[br][br]量子力学の数学準備をしよう。[br][br]今回はヒルベルト空間[br][br]ざっくりいうと、関数をベクトルとみなして、ベクトルの内積のように、[br]関数どうしの内積ができるようにした関数の集合体がヒルベルト空間です。

[size=150][b]＜[/b][b]関数は線形空間になる＞[br][/b][/size][br]量子力学で扱う状態は関数です。[br][br]関数をベクトルのように扱うという話しです。[br]ベクトルと言っても、成分から考えと要素の数が気になってしまいますね。[br]そうではなく、[b]線形空間[/b]という意味です。[br]ひらたくいうと、[color=#0000ff][b]和とスカラー倍しても比例が保存される集合[/b][/color]とういうことです。[br]関数ｆとｇの和ｆ＋ｇも関数だし、関数ｆの定数倍kfも関数だということです。[br]だから、1次結合af+bgももちろん関数。[br][br]

[b][size=150]＜内積を定めよう＞[/size][/b][br]とりあえず、関数ｆ、ｇについて内積＜ｆ、ｇ＞があるとします。[br]中身は未定です。[br]ただ、複素数の世界で複素数が返ることは前提です。[br][br]・[b]＜f、f＞は非負[/b]、＝０になるのはf＝０に限る。[br]・[b]ノルム｜ｘ｜＝sqrt(ｘとｘの内積)[/b][br]・ 内積の右側の線形性がある。[br]・共役対称性　[b]＜ｘ、ｙ＞＝＜ｙ、ｘ＞*[/b]　＊は[b]共役複素数[/b]の印です。[br][br][size=150][b]＜無限次元で内積を定めよう＞[br][/b][/size]線形代数では、dimとrankなど次元が重要でしたね。もちろん有限です。[br]観測や集計した値が離散データなら、x1、x2、x3、…、ｘnのように切り取れます。[br]しかし、切れ目なくデータを取る場合ｘがaからbの範囲すべてなら、実数の濃度になってしまいます。[br]しかし、加算無限個にしておけば、個数は多いですが数え数と同じです。[br]理論上は対応がつけられますね。こうして、ｙ＝ｆ（ｘ）というのを数値から数値ではなく、[br]加算無限のｘデータに対して加算無限のｙデータを対応づけるので、[br]ベクトルからベクトルへ対応しているのと同じ構造になります。[br]つまり、内積は2次元なら＜ｆ、ｇ＞＝f1・g1+f2・g2＝Σfigi(i=1,2)[br]内積がｎ次元なら＜ｆ、ｇ＞＝Σfigi(i=1,2,....,n)[br]このｎを無限大にすると、合計が無限個になりますね。Σが∫になりますが、線形なままです。[br][br]そこで、区間[a,b]に対して、定義できるxの関数たちｆ、ｇ、ｈ、i, ｊ、.......の集合があるとしよう。[br]そのときに２つの関数ｆ、ｇの内積はｆ*はｆの複素共役として、[br][color=#0000ff][b][size=200]＜ｆ,ｇ＞=integral(f * ・g ,x, a, b)[br][/size][/b][/color]と決めることで、距離が決まる。これがヒルベルト空間です。[br][br]区間[a,b]にわたって、[b]ｘに対する関数値ｆ*と関数gの積を連続的に合計[/b]します。[br]確かに、[b]成分の積和という、ふつう内積を拡張[/b]したものだというイメージにあいますよね。[br][br]でも、なんでｆだけ共役にするのか違和感がある人もいるでしょう。[br]これは、[b]複素数aのノルムを計算するとき、sqrt(a*・a)[/b]にしました。[br]極端な場合に通じるように、一般の場合もそれに合わせているくらいに考えればよいね。[br][br][b][size=150]＜ヒルベルト空間の内積は内積と呼べるか＞[br][/size][/b]ヒルベルト空間が内積のルールに合格しているかを確かめてみよう。[br][br]・まず、[b]ノルムが非負[/b]であること。[br]｜ｆ｜＝＜ｆ、ｆ＞＝integral(f*・ｆ,x,a,b)ｘがaからbにわたるときx=cのとき、[br]f(c)*・f(c)＝｜f(c)｜という複素数f(c)のノルムですから非負ですね。その合計が無限個でも非負です。[br][br]・次は、[b]共役対称性[/b]は？[br]さっきと同じくｘ＝ｃのときを考えよう。p=f(c),q=g(c)とおくと、[br]＜ｆ、ｇ＞のｃの瞬間の値は＜p*、ｑ＞、＜ｇ、ｆ＞では＜q*、ｐ＞です。[br]p=s+it, q=u+ivとして、＜p*、q＞＝(s-it)(u+iv)=su+tv+(sv-tu)[br]＜ｑ*,ｐ＞＝(u-iv)(s+it)=(su+tv)-(sv-tu)=＜p*、ｑ＞*ですね。[br]各瞬間が成り立つので、合計でも成り立つはずだね。[br]最後は、[b]線形性[/b]だ。[br]これは、やらなくても、Σの線形性を継承する∫の線形性から明らかだね。[br][b][br][/b]

ヒルベルト空間が定まったので、[br]次は空間の構造をさぐろう。[br]ヒルベルト空間の関数は数学的にはベクトルの拡大版で、物理的には状態を表す目的のものだった。[br]ということは、[br]ベクトルに基底ベクトルがあるように、状態にも基底がある。[br]ベクトルに定数倍があるように、状態にも定数倍がある。[br]ベクトルに直交があるように、状態にも直交がある。[br]ベクトルに角度、類似性があるように、状態にも角度、類似性がある。[br]ベクトルに線形結合があるように、状態にも線形結合がある。[br]はずだね。[br][br]無限次元であるヒルベルト空間を扱う前に、有限次元の複素線形空間でウォーミングアップしよう。[br][br][b][size=150]＜複素線形空間の演算子＞[/size][/b][br]演算子と言えば、テンソルが便利だ。[url=https://www.geogebra.org/m/wkdxwd9d]テンソルと添え字の関係をつかもう[br][/url]に詳しくかいてあるけれど、[br]アインシュタインの記法では、積の同じ位置の同じ添え字については総和をとりΣを省略し、[br]同じ添え字がない自由な変数はその次元の自由度だけ動かすというルールでかくとカンタンになる。[br]vectorVは、n個の基底ベクトルe[sub]i [/sub]と対応する反変成分V[sup]n[/sup]との積和だから、[sub][br][/sub]V=V[sup]n[/sup]e[sub]n [br][/sub]基底変換行列A（演算子といい、本当はハット＾つける）を作用させて基底を変換すると、[sub][br][/sub]e'[sub]i[/sub]=Ae[sub]i [br][/sub]一般の演算子Tに対して基底変化をすると、演算子Tも変換される。[br][br]詳しい計算は省略しますが、[br]変換後の演算子が[b]T'=[sup]t[/sup]ATA[/b] であることは、計量の変換のときにもやったね。[br][br][b]＜ユニタリー行列＞[/b][br]実行列でtAA=Eつまり、tA=A[sup]-1[/sup]になる行列を直交行列と言った。[br]複素行列で共役で転置した行列、[b]tA*を#A[/b]とかくことにし、[br]これをエルミート共役、転置複素共役などと呼んだりする。[br]#AA=Eとなる行列を、複素直交行列、[b]ユニタリー行列[/b]と呼ぶ。[b]#A=A[sup]-1[/sup][/b][br][br]このユニタリー行列は実直交行列のように基底変換に使える。[br]ユニタリー行列Tを使った基底変換のことを特に[b]ユニタリー変換[/b]と呼ぶ。[br]実転置行列のようにエルミート共役を使うことで、[br][b]T'=♯ATA[/b]という演算子の基底変換ができるというすぐれものだ。[br]これをエルミート形式という。[br][br][b]＜エルミート行列＞[br][/b]エルミート共役が自己同一な行列、[b]#H=H[/b]これを、エルミート行列と呼ぶ。[br][b]量子力学に登場する演算子はエルミート行列になる。[br]エルミート行列はユニタリー変換しても不変だ。[br][/b]それは、Tがエルミート行列のとき、[br]エルミート形式は、T'=#ATA=#A#TA=#(TA)A=#(#A(TA))=#(#ATA)=#(T')と変形できるからです。

[b][size=150]＜ヒルベルト空間のしくみ＞[/size][/b][br]ヒルベルト空間が無限次元の状態の集合について関係性を表すことはわかった。[br]では、どうやって？[br]状態の次元が非加算無限でも、基底は加算無限でも構わない。[br]その[b]正規直交基底をΨ1,Ψ2,....,Ψnとすれば＜Ψm,Ψn＞=δmn[/b]とかけるね。[b][br]エルミート演算子#T＝T[/b]は基底の前後対称になる。[b]＜Ψm,TΨn＞＝＜Ψm,TΨn＞[br][br][/b]さらに、[br]エルミート演算子は実数の固有値をもち、それぞれに対する固有ベクトルどうしは直交する。[br]T[b]φi[/b]=λi[b]φi[/b] となる正規固有ベクトルφiを並べた行列[b]P={φi}[/b]を用意しよう。[br]すると、[b]#PTP=diag(λi)[/b]という、実数が対角成分にならぶ行列ができる。[br][br]このあたりは、ディラックの発明といわれるブラとケットを使って、次回くわしくしらべてみよう。[br][br][br]最後に関数ｆと関数ｇの内積といってもピンとこなかった人のために、[br]関数ｆと関数ｇの積をグラフにしてみよう。[br]たとえば、ｆ＝sin(x)とｇ＝sin(2x)をかき、[br]ｈ＝ｆｇをかこう。[br]すると、０からπまでｈを積分すると、０になることがわかる。[br]これが直交のイメージになる。[br][br][b][color=#9900ff][u][size=150]課題：直交イメージをgeogebraを使って、積分で実感しよう。[br][/size][/u][/color][br][/b]n=slider(1,10,1), n=1を初期値[br]m=slider(1,10,1),m=2を初期値とします。[br]として、a=0, b=pi[br]f=sin(n x), g=sin(m x) , h=f g[br]ｃ＝integral(f, a, b)[br]２つのものの違いは引き算で出せる[br][*][code]diff(x) = f(x) - g(x)[/code][br][/*][*][code]ｄ = Integral(diff^2, a, b)[br][/code][br][/*]これを表示すると、n,mを変えたときの関数ｆ、ｇの距離DistanceSq がどうなるかを[br]実感できるでしょう。[br]n=1,m=2のときは、[br]ｃ＝０だから、ｆとｇは直交だから、独立状態ということですが。[br]ｄ＝πになってます。[br][br]n=mのときは、[br]ｃ＝自分との内積＜ｆ、ｆ＞だからノルムになり最高の類似度になります。[br]ｄ＝自分との差の内積だから、ゼロですね。[br]