Not only natural numbers but all real numbers are squared beings in another universe?
去年4月に、NHK「数学者は宇宙をつなげるか ー abc予想証明をめぐる数奇な物語」で左図を見た。それは「私達の宇宙では、…3,4,5,6…の様にexistしている自然数は、別の宇宙では、…9,16,25,36…の様に二乗値としてbeingしているのではないか」という問題提起。以来、私の頭から離れないのは「いや、そういった宇宙Bでは、自然数だけでなく実数全体が二乗値としてbeingしているのではないか」ということ。一年間以上頭から離れないので現時点でメモを残すことにした。・・・
・・・コラム255「量子論の公理系」で紹介したように、量子は、ヒルベルト空間内の複素ベクトルとして表される。ヒルベルト空間とは、{1} 内積が定義される、{2} 完備な、{3} 複素ベクトル空間のこと。ヒルベルト空間の元(element)は、x+iyの様に実数部と虚数部 (iは虚数単位、i2=-1) を持つ複素数で表される成分を持つ複素ベクトル。ヒルベルト空間には「実数で全容が表される存在」は無い。例えば長さ30.5センチ重さ56.9グラムのように全て実数で表されるa naive realityにいる私達には、「量子」の全貌を捉えることはできない。
しかし、ヒルベルト空間内の複素ベクトル |φ>は、その大きさ || |φ>||が、以下の様に正の実数値として定義できる。またここでは詳しくは陳べないが、大きさ || |φ>||から導出される量は、公理3「Bornの確率規則」によって、測定値 akが得られる確率として実際に観測することが可能だ。
(厳密に言うと、量子を表す複素ベクトルを顕(あら)わに数式で表すことは出来ない。一般的には、さまざまな複素関数を使って「波動関数」をつくり出し「量子の表式」として使うことが多いが、その様な「波動関数」は「量子」の全貌を捉えたものではない。a naive realityにいる私達には「量子」の全貌を捉えることはできない。以下の表式も、あくまで便宜的なものだ。)
|φ>の成分を x1+iy1, x2+iy2, ・・・xn + iyn として
自分自身との内積 = <φ|φ> = (x1-iy1)(x1+iy1)+(x2-iy2)(x2+iy2)+・・・+(xn – iyn)(xn + iyn)
= x12+y12+x22+y22+ ・・・+xn2+yn2
大きさ = <φ|φ> の平方根 = (x12+y12+x22+y22+ ・・・+xn2+yn2 ) の平方根
ここでは、複素数 x+iy にその共役複素数 x-iyを掛け算し、(x-iy)(x+iy) = x2 – i2y2 = x2 + y2 と、正の実数値となる点に注意したい。
つまりここが肝腎なところだが、「実数で全容が表される存在」が無いヒルベルト空間に、複素ベクトルの「大きさ」という正の実数値で表せる量を、a naive realityにいる私達は見いだすことが出来る。
私達がいると感じているa naive realityの、一つ外側の高次空間であるヒルベルト空間には、自然数だけでなく実数全体が二乗値としてbeingしているのではないか、と考える所以。