不確定性原理のソースを表示

{{Pathnav|[[物理学]]|[[量子力学]]|frame=1}}
{{読み仮名|'''不確定性原理'''|ふかくていせいげんり|{{lang-de-short|Unschärferelation}}、{{lang-en-short|Uncertainty principle}}}}は、[[量子力学]]に従う[[系 (自然科学)|系]]の[[物理量]]<math>\hat{A}</math>を観測したときの[[不確定性]]と、同じ系で別の物理量<math>\hat{B}</math>を観測したときの不確定性が適切な条件下では同時に0になる事はないとする一連の定理の総称である。特に重要なのは<math>\hat{A}</math>、<math>\hat{B}</math>がそれぞれ位置と運動量のときであり、狭義にはこの場合のものを不確定性原理という。

このような限界が存在するはずだという元々の発見的議論が[[ヴェルナー・ハイゼンベルク|ハイゼンベルク]]によって与えられたため、これは'''ハイゼンベルクの原理'''という名前が付けられることもある。しかし後述するようにハイゼンベルク自身による不確定性原理の物理的説明は、今日の量子力学の知識からは正しいものではない。

今日の量子力学において、不確定性原理でいう'''観測'''は日常語のそれとは意味が異なる用語であり、測定装置のような古典的物体と量子系との間の任意の相互作用を意味する<ref>Quantum Mechanics Non-Relativistic Theory, Third Edition: Volume 3. Landau, Lifshitz</ref>。したがって例えば、実験者が測定装置に表示された値を実際に見たかどうかといった事とは無関係に定義される。また'''不確定性'''とは、物理量を観測した時に得られる測定値の[[標準偏差]]を表す。

不確定性原理が顕在化する現象の例としては、[[原子]]（格子）の[[零点振動]]（このため[[ヘリウム]]は、常圧下では絶対零度まで冷却しても固化しない）、その他量子的な[[ゆらぎ]]（例：遍歴電子系におけるスピン揺らぎ）などが挙げられる。

==観察者効果との混同==
歴史的に、不確定性原理は[[観察者効果]]と呼ばれる[[物理学]]におけるいくらか似た効果と混同されてきた<ref>{{Citation|title=One Thing Is Certain: Heisenberg's Uncertainty Principle Is Not Dead|year=2012|last=Furuta|first=Aya|url=http://www.scientificamerican.com/article.cfm?id=heisenbergs-uncertainty-principle-is-not-dead|journal=Scientific American}}</ref><ref name="Ozawa20032">{{Citation|title=Universally valid reformulation of the Heisenberg uncertainty principle on noise and disturbance in measurement|year=2003|last=Ozawa|first=Masanao|journal=Physical Review A|volume=67|issue=4|arxiv=quant-ph/0207121|bibcode=2003PhRvA..67d2105O|doi=10.1103/PhysRevA.67.042105}}</ref>。観察者効果とは、系を測定する行為それ自身が系に影響を与えてしまうというものである。

量子力学が成立するミクロな世界が測定による観測者効果で「揺動」してしまうという説明は、ハイゼンベルク自身が当初不確定性原理に対して与えたものであり<ref>Werner Heisenberg, ''The Physical Principles of the Quantum Theory'', p. 20</ref>、今日において繰り返し出てくるものの、根本的に誤解を招くおそれのあることが現在は知られている<ref name="Rozema2">{{cite journal|last1=Rozema|first1=Lee A.|last2=Darabi|first2=Ardavan|last3=Mahler|first3=Dylan H.|last4=Hayat|first4=Alex|last5=Soudagar|first5=Yasaman|last6=Steinberg|first6=Aephraim M.|title=Violation of Heisenberg’s Measurement-Disturbance Relationship by Weak Measurements|journal=Physical Review Letters|volume=109|issue=10|year=2012|issn=0031-9007|doi=10.1103/PhysRevLett.109.100404}}</ref><ref>[http://www.sciencedaily.com/releases/2012/09/120907125154.htm Scientists Cast Doubt On Heisenberg's Uncertainty Principle ''Science Daily'' 7 September 2012]</ref>。

「不確定性原理は実際には量子系の基本的特性を述べており、現代のテクノロジーにおける測定精度の到達点について述べたものではない」<ref name="nptel2">[http://www.youtube.com/watch?v=TcmGYe39XG0 youtube.com website] Indian Institute of Technology Madras, Professor V. Balakrishnan, Lecture 1 – Introduction to Quantum Physics; Heisenberg's uncertainty principle, National Programme of Technology Enhanced Learning</ref>。不確定性原理は全ての[[波]]のような系にもともと備わっている特性であること<ref name="Rozema2" />、不確定性は単純に全ての量子物体の[[物質波]]の性質によって現われることが今日の量子力学ではわかっている。

測定器の誤差と測定による反作用との不確定性とは区別して考えなければならない。量子論での時間発展や測定についての基本的要請をすべて使って展開できる[[量子測定理論]]を用いて、ハイゼンベルクの考察した「測定精度と反作用に関する不確定性原理」ははじめて導けるが、その結果得られる不等式の下限はケースバイケースで変わることが判っている<ref>{{Cite book|和書|author=清水明|authorlink=清水明|title=量子論の基礎―その本質のやさしい理解のために―|url=http://www.saiensu.co.jp/?page=book_details&ISBN=ISBN978-4-7819-1062-8&YEAR=2004|edition=新版|series=新物理学ライブラリ 別巻2|year=2003|month=4|publisher=[[サイエンス社]]|pages=pp.85 f|isbn=4-7819-1062-9}}</ref>。後述する[[#小澤の関係式|小澤の不等式]]などがその１つである。

== 不確定性原理の概要 ==
不確定性原理で特に重要になるのは、物理量<math>\hat{A}</math>と物理量<math>\hat{B}</math>がそれぞれ({{mvar|j}}軸方向の)位置<math>\hat{Q}_j</math>と運動量<math>\hat{P}_j</math>である場合である。系が状態{{mvar|ψ}}にあるときのこれらの不確定性をそれぞれ<math>\Delta_{\psi}\hat{Q}_j</math>、<math>\Delta_{\psi}\hat{P}_j</math>とするとき、以下が成立する：
{{Equation box 1
|indent=:
|equation=<math> \Delta_{\psi}\hat{Q}_j\Delta_{\psi}\hat{P}_j \geq \frac{\hbar}{2} ~~</math>
|cellpadding = 6
|border = 1
|border colour = black
|background colour=white}}

ここで<math>\hbar</math>は[[換算プランク定数]]である。なお本項では[[不確定性原理#H13|H13]]に従い、不確定性を<math>\Delta_{\psi}\hat{Q}_j</math>と表記したが、多くの物理の教科書では系の状態{{mvar|ψ}}を省略し<math>\Delta\hat{Q}_j</math>と表記する。

上式右辺は0より真に大きいので、位置の不確定性<math>\Delta_{\psi}\hat{Q}_j</math>が0に近い値であれば<math>\Delta_{\psi}\hat{P}_j</math>は極端に大きくなり、逆に<math>\Delta_{\psi}\hat{P}_j</math>が0に近い値であれば<math>\Delta_{\psi}\hat{Q}_j</math>は極端に大きくなる。両方共0に近い値にする事はできない。

一般の物理量<math>\hat{A}</math>、<math>\hat{B}</math>に対する不確定性原理として、以下の'''ロバートソンの不等式'''がある：
{{Equation box 1
|indent=:
|equation=<math>(\Delta_{\psi} \hat{A})^2 ( \Delta_{\psi} \hat{B})^2 \ge \frac{1}{4} \left| \langle [\hat{A}, \hat{B}] \rangle_\psi \right|^2</math>
|cellpadding = 6
|border = 1
|border colour = black
|background colour=white}}

ここで<math>[\hat{A},\hat{B}]</math>は<math>\hat{A}</math>と<math>\hat{B}</math>の交換子
: <math>[\hat{A},\hat{B}]=\hat{A}\hat{B}-\hat{B}\hat{A}</math>
であり、<math>\langle [\hat{A},\hat{B}]\rangle_{\psi}</math>は系の状態が{{mvar|ψ}}であるときに<math>[\hat{A},\hat{B}]</math>を観測したときの観測値の期待値である。

これまで{{mvar|ψ}}について詳しく書いてこなかったが、実は'''{{mvar|ψ}}が適切な定義域に属している場合にしか不確定性原理は成り立たず、そうでない場合には反例がある'''事が知られているので注意が必要である。そこで次節でこの点を考慮して不確定性原理を厳密に定式化する。

== 厳密な定式化 ==

=== 予備知識 ===
不確定性原理を定式化する為の予備知識を説明する。[[量子力学]]において（純粋）量子状態は'''状態空間'''<math>\mathcal{H}</math>という複素内積ベクトル空間（[[ヒルベルト空間]]）における長さ1のベクトル（'''状態ベクトル'''）として記述され、[[オブザーバブル|物理量]]（'''オブザーバブル'''と呼ぶ）は'''<math>\mathcal{H}</math>'''上の[[自己共役作用素]]として定式化される。

粒子が{{Mvar|n}}個ある系の場合'''<math>\mathcal{H}</math>'''は、{{Mvar|3n}}次元空間'''<math>\mathbf{R}^{3n}=\{(x_1,\ldots,x_{3n})\}</math>'''上の複素数値の[[自乗可積分函数]]全体の空間と同一視でき、このようにみなした場合、状態ベクトルのことを'''[[波動関数]]'''と呼ぶ。
{{math theorem|定義|
<math>x_j</math>軸方向の'''位置作用素<math>\hat{Q}_j</math>'''と[[運動量演算子|'''運動量作用素''']]'''<math>\hat{P}_j</math>'''はそれぞれ
:<math>\begin{align}
\hat{Q}_j\psi(x)&=x_j\psi(x) \\
\hat{P}_j\psi(x)&=-i\hbar \frac{\partial}{\partial x_j}\psi(x)
\end{align}</math>
により定義される。
|}}
ここで'''<math>\hbar</math>'''は[[ディラック定数|換算プランク定数]]である。

===オブザーバブルの定義域===
{{Main|量子力学の数学的定式化}}
不確定性原理を定式化する準備として、オブザーバブルの[[定義域]]に関して述べる。後でみるように、不確定性原理を厳密に定式化する際、オブザーバブルの定義域に関して細心の注意を払わないと、反例がつくれてしまうからである。

まず運動量作用素と位置作用素の定義域に関して調べる。定義から分かるように、運動量作用素は波動関数が微分可能な場合しか定義できないが、自乗可積分関数の中には微分可能でないものもあるので、運動量作用素は状態空間'''<math>\mathcal{H}</math>'''の全域では定義できず、'''<math>\mathcal{H}</math>'''の部分空間でのみ定義された作用素である。

また位置作用素に関しても、<math>\hat{Q}_j\psi(x)=x_j\psi(x)</math>が常に自乗可積分関数になるわけではないので、<math>\hat{Q}_j\psi(x)=x_j\psi(x)</math>が自乗可積分関数になるような<math>\psi(x)</math>に対してしか位置作用素を定義できない（そうしないと<math>\hat{Q}_j</math>の値域が'''<math>\mathcal{H}</math>'''からはみ出してしまうので、<math>\hat{Q}_j</math>が'''<math>\mathcal{H}</math>'''上の自己共役作用素にならない）。

こうした事情から量子力学では、'''オブザーバブル<math>\hat{A}</math>が<math>\mathcal{H}</math>の部分空間でのみでしか定義されていないケースをも許容し、代わりに定義域<math>\mathrm{Dom}(\hat{A})\subset\mathcal{H}</math>が<math>\mathcal{H}</math>で稠密になる事を要請する'''。

=== 交換子の定義域 ===
オブザーバブル<math>\hat{A}</math>が<math>\mathcal{H}</math>の部分空間でのみでしか定義されない事を許容した事が原因で、2つのオブザーバブル<math>\hat{A}</math>、<math>\hat{B}</math>の'''交換子'''
: <math>[\hat{A},\hat{B}]\psi:=\hat{A}\hat{B}\psi-\hat{B}\hat{A}\psi</math>
も常に定義できるとは限らない。実際、積<math>\hat{A}\hat{B}\psi</math>は
: <math>\psi\in\mathrm{Dom}(\hat{B})</math> かつ <math>\hat{B}\psi\in\mathrm{Dom}(\hat{A})</math>
のときしか意味を持たないし、<math>\hat{B}\hat{A}\psi</math>にも同様の制約が課せられる。結局<math>[\hat{A},\hat{B}]\psi:=\hat{A}\hat{B}\psi-\hat{B}\hat{A}\psi</math>が意味を持つのは、
{{Equation box 1
|indent=:
|equation=<math>\psi\in\mathrm{Dom}(\hat{A})\cap\mathrm{Dom}(\hat{B})</math>、<math>\hat{B}\psi\in\mathrm{Dom}(\hat{A})</math>、<math>\hat{A}\psi\in\mathrm{Dom}(\hat{B})</math>
|cellpadding = 6
|border = 1
|border colour = black
|background colour=white}}
が全て成り立つときのみである。

===不確定性の定義===
状態空間'''<math>\mathcal{H}</math>'''上２つの元{{Mvar|ψ}}、{{Mvar|χ}}に対し、{{Mvar|ψ}}と{{Mvar|χ}}の[[内積]]を<math>\langle \psi, \chi\rangle</math>と書き表し、[[ノルム]]を
: <math>\|\psi\| := \sqrt{\langle \psi,\psi\rangle}</math>
とする。
{{math theorem|定義|
オブザーバブル<math>\hat{A}</math>と状態ベクトル<math>\psi\in\mathrm{Dom}(\hat{A})</math>に対し、
: <math>\langle \hat{A}\rangle_\psi := \langle \psi, \hat{A}\psi\rangle</math>
と定義し[[不確定性原理#H13|<sup>H13</sup>]]{{Rp|page=53}}、さらに<math>\hat{A}</math>の<math>\psi\in\mathrm{Dom}(\hat{A})</math>に対する'''不確定性'''を
: <math>\Delta_{\psi} \hat{A} := \|(\hat{A}-\langle \hat{A} \rangle_\psi I)\psi\| </math>
により定義する[[不確定性原理#H13|<sup>H13</sup>]]{{Rp|page=241}}。
|}}
ここで{{Mvar|I}}は[[単位行列]]である。<math>\langle \hat{A}\rangle_\psi</math>と<math>\Delta_\psi \hat{A}</math>は物理的にはそれぞれ、状態<math>\psi</math>にある系で<math>\hat{A}</math>を観測した時に得られる観測値の平均値と[[標準偏差]]である。

===ロバートソンの不等式===
{{math theorem|定理|
<math>\hat{A}</math>、<math>\hat{B}</math>を状態空間<math>\mathcal{H}</math>上のオブザーバブルとし、<math>\psi\in\mathcal{H}</math>が
: <math>\psi\in\mathrm{Dom}(\hat{A})\cap\mathrm{Dom}(\hat{B})</math>、<math>\hat{B}\psi\in\mathrm{Dom}(\hat{A})</math>、<math>\hat{A}\psi\in\mathrm{Dom}(\hat{B})</math>
を満たしているとする。このとき、<math>[\hat{A},\hat{B}]\psi:=\hat{A}\hat{B}\psi-\hat{B}\hat{A}\psi</math>が定義可能であり、以下の不等式（'''ロバートソンの不等式'''）が成立する[[不確定性原理#H13|<sup>H13</sup>]]{{Rp|page=241,242}}：
: <math>(\Delta_{\psi} \hat{A})^2 ( \Delta_{\psi} \hat{B})^2 \ge \frac{1}{4} \left| \langle [\hat{A}, \hat{B}] \rangle_\psi \right|^2</math> 
|note=ロバートソンの不等式}}
{{math proof|
この証明は引用文献[[不確定性原理#H13|H13p]]243を参考にした。{{Mvar|ψ}}が定理の条件を満たす時<math>[\hat{A},\hat{B}]\psi=\hat{A}\hat{B}\psi-\hat{B}\hat{A}\psi</math>が定義可能であることは既に見たので、以下不等式が成り立つことの証明のみに注力する。記法を簡単にするため
:<math>\begin{align}
\hat{A}' &:= \hat{A}-\langle \hat{A} \rangle_\psi I \\
\hat{B}' &:= \hat{B}-\langle \hat{B} \rangle_\psi I
\end{align} </math>

とする。単位行列{{mvar|I}}が<math>\mathcal{H}</math>の全域で定義されている事を利用すると、{{mvar|ψ}}の条件<math>\psi\in\mathrm{Dom}(\hat{A})\cap\mathrm{Dom}(\hat{B})</math>、<math>\hat{B}\psi\in\mathrm{Dom}(\hat{A})</math>、<math>\hat{A}\psi\in\mathrm{Dom}(\hat{B})</math>より、
: <math>\hat{A}'\psi</math>、<math>\hat{B}'\psi</math>、<math>\hat{A}'\hat{B}'\psi</math>、<math>\hat{B}'\hat{A}'\psi</math>
がいずれも定義可能である事が簡単な議論で分る。

[[コーシー・シュワルツの不等式]]により、
:<math>(\Delta_{\psi} \hat{A})^2 ( \Delta_{\psi} \hat{B})^2
= \|\hat{A}'\psi\|^2\|\hat{B}'\psi\|^2
\ge |\langle \hat{A}'\psi , \hat{B}'\psi \rangle|^2
\ge |\mathrm{Im}\langle \hat{A}'\psi , \hat{B}'\psi \rangle|^2
\ge \frac14 |\langle \hat{A}'\psi,\hat{B}'\psi\rangle - \langle \hat{B}'\psi,\hat{A}'\psi\rangle |^2</math>
<math>\hat{A}'\hat{B}'\psi</math>、<math>\hat{B}'\hat{A}'\psi</math>が定義可能であったので、
:<math>\langle \hat{A}'\psi,\hat{B}'\psi\rangle - \langle \hat{B}'\psi,\hat{A}'\psi\rangle
=\langle \psi, \hat{A}'\hat{B}'\psi\rangle - \langle \psi, \hat{B}'\hat{A}'\psi\rangle
=\langle\psi,[ \hat{A}',\hat{B}'] \psi \rangle </math>

単位行列{{mvar|I}}は全ての作用素と可換なので、
:<math>[ \hat{A}',\hat{B}']
=[ \hat{A}-\langle \hat{A} \rangle_\psi I, \hat{B}-\langle \hat{B} \rangle_\psi I]
=[\hat{A},\hat{B}]</math>

よってロバートソンの不等式が証明された。
|drop=yes}}

=== {{math|''L''{{sup|2}}({{mathbf|R}}{{sup|''d''}})}} における位置と運動量に関する不確定性原理 ===
{{mvar|d}}次元空間{{math|'''R'''{{sup|''d''}}}}上の[[Lp空間|自乗可積分関数全体の空間]]<math>L^2(\mathbf{R}^d)</math>における{{mvar|j}}番目の位置作用素と運動量作用素
:<math>\begin{align}
\hat{Q}_j\psi(x)&=x_j\psi(x) \\
\hat{P}_j\psi(x)&=-i\hbar \frac{\partial}{\partial x_j}\psi(x)
\end{align}</math>

に関しては、{{mvar|ψ}}の定義域に関する条件を弱めることができる事が知られている。

{{math theorem|定理|
状態空間が<math>\mathcal{H}=L^2(\mathbf{R}^d)</math>であるとき、
: <math>\psi\in\mathrm{Dom}(\hat{Q}_j)\cap\mathrm{Dom}(\hat{P}_j)</math>
であれば、以下が成立する[[不確定性原理#H13|<sup>H13</sup>]]{{Rp|page=246,248}}：
: <math>(\Delta_{\psi} \hat{Q}_j)^2 ( \Delta_{\psi} \hat{P}_j)^2 \ge \frac{\hbar}{2} </math>
}}
なお、
: <math>\mathrm{Dom}(\hat{Q}_j)=\Bigg\{\psi\in L^2(\mathbf{R}^d) \Bigg| \int_{\mathbf{R}^d}x_j{}^2\psi(x){}^2\mathrm{d}x  <\infty \Bigg\}</math>

: <math> \mathrm{Dom}(\hat{P}_j)=\{\psi\in L^2(\mathbf{R}^d) \mid \psi (x)</math>の偏微分<math>{\partial \psi\over \partial x_j}(x)</math>が定義可能<math>\}</math>
である。ここで「偏微分可能」は通常の意味の偏微分が可能である事を含むのはもちろん、[[弱微分]]の意味での偏微分が可能であるものも許容する。

証明は引用文献[[不確定性原理#H13|H13]]のp246~248を参照されたい。

== 反例 ==

1次元空間<math> \mathbf{R}</math>上の自乗可積分関数に対する通常の位置作用素<math>\hat{Q}</math>、運動量作用素<math>\hat{P}</math>と区別するため、{{math|[−1, 1]}}上の自乗可積分関数に対する位置作用素と運動量作用素をそれぞれ<math>\hat{Q}'</math>、<math>\hat{P}'</math>と書くことにする。すなわち
{{Equation box 1
|indent=:
|equation=<math>\begin{align}
\hat{Q}' \psi(x)&=x_j\psi(x) \\
\hat{P}' \psi(x)&=-i\hbar \frac{\mathrm{d}}{\mathrm{d} x}\psi(x)
\end{align}</math>
|cellpadding = 6
|border = 1
|border colour = black
|background colour=white}}
である事は通常の<math>\hat{Q}</math>、<math>\hat{P}</math>と変わらないが、<math>\hat{Q}</math>、<math>\hat{P}</math>の場合と違い、{{mvar|ψ}}は{{math|'''R'''}}全体で定義された関数ではなく、区間{{math|[−1, 1]}}でのみ定義された関数である。このとき次が成立する：
{{math theorem|定理|　
: <math>\psi_0(x):={1\over \sqrt{2}}\mathrm{exp}(i\pi x)</math>
とすると、
: <math>\Delta_{\psi_0}\hat{P}'\Delta_{\psi_0}\hat{Q}'=0 </math> 
}}
{{math proof|
:<math>\|\psi_0\|^2= \frac12 \int_{[-1,1]} \overline{\mathrm{exp}(i\pi x)} \mathrm{exp}(i\pi x) \mathrm{d}x
=\frac12 \int_{[-1,1]} \mathrm{d}x =1</math>

: <math>\hat{P}'\psi_0(x):=-i\hbar{\mathrm{d}\over\mathrm{d} x}\mathrm{exp}(i\pi x) = \hbar\pi\psi_0(x) </math>
より{{mvar|ψ{{sub|0}}}}は<math>\hat{P}'</math>の長さ1の固有関数であるので、<math>\Delta_{\psi_0}\hat{P}'</math>は0になる：
: <math>\Delta_{\psi_0}\hat{P}'=\|\hat{P}'\psi_0-\langle\psi_0, \hat{P}'\psi_0 \rangle \psi_0\|</math><math>=\|i\pi \psi_0-i\pi \langle\psi_0, \psi_0 \rangle \psi_0\|=0</math> 
一方明らかに
: <math>\Delta_{\psi_0}\hat{Q}'<\infty</math>
なので、 
: <math>\Delta_{\psi_0}\hat{P}'\Delta_{\psi_0}\hat{Q}'=0 </math> 
|drop=yes}}
一方、以下も示すことができる：
{{math theorem|定理|
{{mvar|ψ}}が可微分であれば、
: <math>[\hat{Q}',\hat{P}']\psi =-i \hbar \psi</math>
|}}
{{math proof|
{{mvar|ψ}}が可微分であれば、
:<math>\begin{align}
\hat{P}'\hat{Q}'\psi 
&= -i\hbar {\mathrm{d}\over \mathrm{d}x}(x\psi(x))
= -i\hbar\psi(x) -i\hbar x{\mathrm{d}\over \mathrm{d}x}(\psi(x)) \\
\hat{Q}'\hat{P}'\psi &= -i\hbar x {\mathrm{d}\over \mathrm{d}x}\psi(x)
\end{align} </math>

より、
: <math>[\hat{Q}',\hat{P}']\psi =-i \hbar \psi</math>
|drop=yes}}
よって不確定性原理が成り立っていない。

なおこの反例は引用文献[[不確定性原理#H13|H13p]]245~246によった。

===どの条件に反するか===
上記の作用素が不確定性原理を満たさないのは、ロバートソンの不等式が成立するための定義域に関する条件を満たしていないからである。

このことを見るため、まず<math>\hat{P}'</math>の定義域を見る。（詳細は略すが、<math>\hat{Q}'</math>の定義域は通常通り<math>\mathrm{Dom}(\hat{Q}')= L^2([-1,1])</math>としてよい）。

==== <math>\hat{P}'</math>の定義域 ====

<math>\hat{P}'</math>がオブザーバブルであるには対称性
:<math>\langle \psi,\hat{P}'\chi\rangle = \langle \hat{P}'\psi, \chi\rangle</math>
を満たす必要があった。
{{mvar|ψ}}、{{mvar|χ}}が周期性<math>\psi(-1)=\psi(1)</math>、<math>\chi(-1)=\chi(1)</math>を満たせば<math>\hat{P}'</math>が対称性を満たす事を容易に示せる。
{{math proof|
: <math>\langle \psi,\hat{P}'\chi\rangle - \langle \hat{P}'\psi, \chi\rangle = \int_{[-1,1]} \overline{- i\hbar { \mathrm{d}\psi \over \mathrm{d} x}(x)}\chi(x) \mathrm{d}x - \int_{[-1,1]} \overline{\psi(x)}\cdot -i\hbar \frac{\mathrm{d}\chi}{ \mathrm{d} x}(x)\chi(x) \mathrm{d}x =\int_{[-1,1]}i\hbar \frac{ \mathrm{d}}{\mathrm{d} x}(\psi (x)\chi(x))\mathrm{d}x=0
</math>
|drop=yes}}
よって
: <math>\mathrm{Dom}(\hat{P}')= \{\psi \mid\psi(-1)=\psi(1) </math>を満たす{{math|[−1, 1]}}区間上の可微分関数<math>\}</math>
としてよい。（なお、<math>\hat{P}'</math>の自己共役性を示すには、「可微分」を弱微分の意味に解釈する必要があるが、本項の範囲を超えるので詳細は省略する）。


==== ロバートソンの不等式の条件を満たさない事 ====
ロバートソンの不等式が成り立つためには、
: <math>\hat{Q}\psi\in\mathrm{Dom}(\hat{P}')</math>、
でなければならなかった。しかし上述した{{mvar|ψ{{sub|0}}}}は
: <math>\hat{Q}\psi_0(x)= {x\over \sqrt{2}}\mathrm{exp}(i\pi x)</math>
は
: <math>\hat{Q}\psi_0(-1) =1\neq -1 =\hat{Q}\psi_0(1)</math>
であるので、<math>\mathrm{Dom}(\hat{P}')</math>の周期性の条件を満たさない。よって
: <math>\hat{Q}\psi_0\notin \mathrm{Dom}(\hat{P}')</math>
であり、ロバートソンの不等式の条件が満たされない。

==小澤の関係式==
[[小澤正直]]は、（当初のハイゼンベルクの思考実験では混同されており、ボーアが指摘している）測定限界や測定することによる対象の擾乱や測定誤差と、量子自体の性質（不確定性関係）による量子ゆらぎを厳密に区別した式（'''小澤の不等式'''）を提案した。式の形は、ハイゼンベルクの式に補正項を付け加えた形になる。さらに、その式に従えば（従来のハイゼンベルクの式に従って信じられていた）「ハイゼンベルクの不確定性原理による測定の限界」を超えて、量子に対する精度の良い測定が可能であると、2003年1月に発表した<ref name="Ozawa20032" />（この結果につながった論争は、1980年代に、[[重力波 (相対論)#重力波の検出実験|重力波検出装置]]の可能性と限界を巡って始まったものである）。オブサーバブル <math>\mathcal{O}</math> の測定の誤差（すなわち精度）を <math>\epsilon_{\mathcal{O}}</math>、測定過程による撹乱を <math>\eta_{\mathcal{O}}</math>、量子ゆらぎを <math>\sigma_{\mathcal{O}}</math> とすると以下の不等式が成り立つ<ref name="Ozawa20032" />。{{Equation box 1|border

|indent=:|equation=<math> \epsilon_A \eta_B + \epsilon_A \sigma_B + \sigma_A \eta_B \ge \left| \frac{1}{2} \langle [\hat{A},\hat{B}] \rangle \right|</math>|cellpadding=6|border colour=#0073CF|background colour=#F5FFFA}} 
位置と運動量の測定の関係を小澤の不等式に当てはめると、
: <math> \epsilon_Q \eta_P + \epsilon_Q \sigma_P + \sigma_Q \eta_P \ge \frac{\hbar}{2}</math>
となる。この改良された不等式から見ると、1927年に発表されたハイゼンベルクの不確定性原理は上式の第1項についてのみ述べていたということになる。

小澤の不等式が示す測定誤差（左辺の第1項）の下限は、ハイゼンベルクの不等式が示していた測定誤差下限よりも第2項、第3項の分だけ小さい。このことは、ハイゼンベルクの不等式が示した限界よりも精度の良い測定ができる可能性を示唆しており、実際にそのような小澤の不等式を実証する実験結果が2012年に発表された<ref>{{Citation|title=Experimental demonstration of a universally valid error-disturbance uncertainty relation in spin-measurements|year=2012|last=Erhart|first=Jacqueline|coauthors=Stephan Sponar, Georg Sulyok, Gerald Badurek, Masanao Ozawa, Yuji Hasegawa|journal=Nature Physics|volume=8|issue=3|pages=185–189|arxiv=1201.1833|bibcode=2012NatPh...8..185E|doi=10.1038/nphys2194}}</ref>。この実験では原子炉から出る[[中性子]]の[[スピン角運動量|スピン]]角度を2台の装置によってはかり、ハイゼンベルクの不等式の限界を超えて精度よく測定することに成功したと発表された<ref>{{Cite news|title=物理の根幹、新たな数式　名大教授の予測を実証|newspaper=[[asahi.com]]|date=2012年1月16日|url=http://www.asahi.com/science/update/0116/TKY201201150398.html|archiveurl=https://web.archive.org/web/20120118050703/http://www.asahi.com/science/update/0116/TKY201201150398.html|archivedate=2012年1月18日|deadlinkdate=2017年9月}}</ref>。

また位置のゆらぎが十分に大きければ、位置を正確に測定したときの運動量の擾乱を限りなく小さくすることが原理的には可能である<ref name="Ozawa20032" />。

2つの物理量を同時に測定するときの小澤の不等式は
{{Equation box 1|border

|indent=:|equation=<math> \epsilon_A \epsilon_B + \epsilon_A \sigma_B + \sigma_A \epsilon_B \ge \left| \frac{1}{2} \langle [\hat{A},\hat{B}] \rangle \right|</math>|cellpadding=6|border colour=#0073CF|background colour=#F5FFFA}}

位置と運動量を同時測定する場合は
: <math> \epsilon_Q \epsilon_P + \epsilon_Q \sigma_P + \sigma_Q \epsilon_P \ge \frac{\hbar}{2}</math>
これより位置のゆらぎが十分に大きければ、位置と運動量を同時に正確に測定することが原理的には可能である（2粒子の[[アインシュタイン＝ポドルスキー＝ローゼンのパラドックス|EPR状態]]がその例）<ref>小澤正直「[https://www.math.cm.is.nagoya-u.ac.jp/~ozawa/Kagaku_201207_Ozawa.pdf 不確定性原理の新しい姿]」『科学』2012年7月号、岩波書店</ref>。

==時間とエネルギーの不確定性関係==
時間とエネルギーに関しては、観測量の分散に対するロバートソン不等式を論じることは一般にできない。それはエネルギー固有値が連続でかつ上限および下限を持たない量子系でなければ、ハミルトニアン {{Math|{{Hat|''H''}}}} に正準共役な時間演算子 {{Math|{{Hat|''T''}}}} は定義できないためである。もし考えている量子系においてエルミートな {{Math|{{Hat|''T''}}}} が存在して
: <math>[\hat{H},\hat{T}]=i\hbar</math>
を満たすならば、任意の実数 {{Mvar|k}} に対して
: <math>\hat{U}(k) = \exp (-ik \hat{T} / \hbar) </math>
というユニタリ変換が存在する。これをあるエネルギー固有値 {{Mvar|E}} に対応する固有状態 {{Math|{{Ket|''E''}}}} に作用させると、得られる状態は
: <math>\hat{H}\hat{U}(k)|E\rangle =(E+k)\hat{U}(k)|E\rangle</math>
という関係を満たすため、エネルギー固有値が {{Math|''E'' + ''k''}} のエネルギー固有状態を得たことになる。しかし {{Mvar|k}} は負の無限大から正の無限大の間の任意の実数値をとれるため、エネルギー固有値も連続的となり下限も上限もなくなる。安定した基底状態をもつ量子系ではエネルギー固有値は下限をもつため、エルミートな時間演算子は存在しないことが証明される。従って安定な基底状態をもつ通常の量子系では、時間とエネルギーに関するロバートソン不等式は意味を持たない。同様に、時間とエネルギーに関しては小澤の不等式も意味を持たない。

なお未知の時間パラメータ<math>t</math>に依存する量子状態 {{Math|{{Ket|''&psi;''(''t'')}}}} を量子測定して、その測定結果から {{Mvar|t}} の値を推定する場合には、その推定誤差 {{Mvar|&delta;t}} とハミルトニアンの標準偏差との間に不等式 <math>\delta t \sqrt{\langle (\Delta \hat{H})^2 \rangle} \geq \hbar / 2</math> が成立することは知られている。しかしこれはロバートソン不等式や小澤の不等式ではなく、[[量子推定理論]]の[[クラメール・ラオ不等式]]からの帰結である。

ハミルトニアン {{Math|{{Hat|''H''}}}} によって時間発展した状態が初期状態に比べて有意に変化するには、<math>t \sim \hbar / \sqrt{\langle (\Delta \hat{H})^2 \rangle}</math>以上の経過時間が必要である。この関係を時間とエネルギーの不確定性関係の一種とみなす場合もある<ref>清水明「新版 量子論の基礎」（サイエンス社）</ref>。しかしエネルギーの標準偏差<math>\sqrt{\langle(\Delta \hat{H})^2 \rangle}</math>と、状態差が生まれるための経過時間 {{Mvar|t}} との積の下限は {{Math|''ħ'' / 2}} という普遍的な値を持たず、使用する状態差の指標等の詳細に依存する。

一方、エネルギーの測定誤差とエネルギーの測定にかかる時間との間には原理的な不確定性関係は存在しない。1930年の[[ソルヴェイ会議]]での[[アルベルト・アインシュタイン|アインシュタイン]]との不確定性原理の論争において、[[ニールス・ボーア|ボーア]]が測定時間とエネルギーの誤差の不確定性関係を破る[[光子箱の思考実験]]を論破したと言われているが、この時のボーアの議論は正確ではない。例えば重力場を電場に、光子を電子に置き換えることによって、光子箱と同様のエネルギー測定の思考実験が作れる<ref>H. J. Treder,"The Einstein-Bohr Box  Experiment" published in ''Perspective in Quantum Theory'', Yourgrau and van der Mehwe (eds), MIT press (1970) pp.&nbsp;17–24.</ref>。しかしこの場合は[[一般相対性理論]]を必要とせず、[[重力ポテンシャル]]と時間の遅れの関係式も不必要となるため、ボーアが考えた測定時間とエネルギーの測定誤差の不確定性関係は成立しないことが示される。他の物理量と同様に、エネルギーは任意の時刻で正確に測定できる。例えば一定外部磁場 {{Mvar|'''B'''}} 中の[[スピン角運動量|スピン]] {{Mvar|'''S'''}} が持つエネルギー {{Math|'''''H''''' &prop; '''''B'''''&middot;'''''S'''''}} の精密測定は、スピンの磁場方向成分の精密測定で実現できる。スピンの特定方向成分の[[理想測定]]はその測定時間に原理的制約を持たないため、いくらでも短い測定時間の間に磁場方向のスピンの精密測定はできる。従ってそのエネルギーも測定時間に関係なく精密測定ができる。

時間とエネルギーの不確定性関係のために短時間ではエネルギー保存則が破れるという説も流布しているが、それに根拠はない。[[フェルミの黄金律]]等の摂動論において議論されている有限時間でのエネルギー保存則の破れは、相互作用項を無視した自由ハミルトニアン {{Math|{{Hat|''H''}}<sub>o</sub>}} のみに対する議論にすぎない。相互作用があると {{Math|{{Hat|''H''}}<sub>o</sub>}} は時間的に保存しないが、相互作用項  {{Math|{{Hat|''V''}}}}  まで取り入れた全ハミルトニアン {{Math|{{Hat|''H''}}<sub>o</sub> + {{Hat|''V''}}}} 自体は任意の時刻で保存しており、エネルギー保存則は量子力学でも破れることはない。場の量子論では、エネルギー運動量テンソル演算子 {{Math|{{Hat|''T''}}<sup>''&mu;&nu;''</sup>}} を用いて
: <math>\partial_{\mu}\hat{T}^{\mu0}=0</math>
という局所的表現でエネルギー保存則は与えられる。他の量子系と同様に、短時間でもエネルギー保存則が破れることはない。[[ファインマンダイアグラム]]を用いた摂動論において、仮想粒子が実粒子の間を媒介して力を伝達する事象をエネルギー保存則の破れで簡易に説明する場合があるが、厳密に言うとその破れは相互作用項を無視した自由ハミルトニアンの保存則の破れを指す。場の量子論においても相互作用項まで取り入れたエネルギー保存則は破れることはない。

== 歴史 ==
1927年に[[ヴェルナー・ハイゼンベルク]]は、ある粒子の位置をより正確に決定する程、その運動量を正確に知ることができなくなり、逆もまた同様である、と述べた<ref name="Heisenberg_19272">{{Citation|title={{lang|de|Über den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik}}|year=1927|postscript=.|last=Heisenberg|first=W.|journal=[[Zeitschrift für Physik]]|volume=43|issue=3–4|pages=172–198|bibcode=1927ZPhy...43..172H|doi=10.1007/BF01397280}}. Annotated pre-publication proof sheet of [http://osulibrary.oregonstate.edu/specialcollections/coll/pauling/bond/papers/corr155.1.html Über den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik], March 23, 1927.</ref>。（小澤正直によれば、「ハイゼンベルクは、標準偏差の関係(3)と誤差の関係(1)を混同していたのではなく、測定直後の状態が関係(3)をみたすことから、誤差の関係(1)が帰結すると主張したのであるが、その推論は不十分であった」<ref>{{Cite book|title=数理科学2012年9月号|date=2012年9月|year=2012|publisher=サイエンス社}}</ref>）

位置の[[標準偏差]] {{Math|''σ''<sub>''x''</sub>}} と運動量の標準偏差 {{Math|''σ''<sub>''p''</sub>}} を結び付ける不等式は1927年に[[アール・ヘッセ・ケナード]]によって<ref name="Kennard2">{{Citation|title={{lang|de|Zur Quantenmechanik einfacher Bewegungstypen}}|year=1927|postscript=.|last=Kennard|first=E. H.|journal=Zeitschrift für Physik|volume=44|issue=4–5|pages=326|bibcode=1927ZPhy...44..326K|doi=10.1007/BF01391200}}</ref>、1928年に[[ヘルマン・ワイル]]によって<ref name="Weyl19282">{{Citation|title=Gruppentheorie und Quantenmechanik|year=1928|last=Weyl|first=H.|location=Leipzig|publisher=Hirzel}}</ref>導出された。

==引用==
{{Reflist}}

== 文献 ==

===引用文献===
* [H13] {{Cite book|ref=H13|author=Brian C.Hall|title=Quantum Theory for Mathematicians|series=Graduate Texts in Mathematics 267|date=2013-07-01|publisher=Springer}}

===その他関連書籍===
* {{Cite book|和書|author=石井茂|authorlink=石井茂 (編集者)|year=2006|month=1|title=ハイゼンベルクの顕微鏡　不確定性原理は超えられるか|publisher=日経BP社|isbn=4-8222-8233-3|url=http://ec.nikkeibp.co.jp/item/books/P82330.html|ref=石井2006}}

* {{Cite book|和書|author=鈴木坦|authorlink=鈴木坦|year=1948|title=不確定性原理　現代物理学の言葉|series=京大理学普及講座 4|publisher=富書店|ref=鈴木1948}}

* {{Cite book|和書|author=立澤一哉|authorlink=立澤一哉|editor=数学書房編集部|editor-link=数学書房|year=2009|month=6|title=この定理が美しい|chapter=思いがけぬ活用法不確定性原理とその応用|publisher=数学書房|isbn=978-4-903342-10-8|ref=数学書房編集部編2009}}

* {{Cite book|和書|author=都筑卓司|authorlink=都筑卓司|year=1970|month=5|title=不確定性原理　運命への挑戦|series=[[ブルーバックス]] B-155|publisher=講談社|isbn=4-06-117755-9|url=https://bookclub.kodansha.co.jp/product?item=0000128783|ref=都筑1970}}

** {{Cite book|和書|author=都筑卓司|year=2002|month=9|title=不確定性原理　運命への挑戦|edition=新装版|series=ブルーバックス B-1385|publisher=講談社|isbn=4-06-257385-7|url=https://bookclub.kodansha.co.jp/product?item=0000194346|ref=都筑2002}}

* {{Cite book|1=和書|author=並木美喜雄|authorlink=並木美喜雄|year=1982|month=5|title=不確定性原理　量子力学を語る|series=物理学one point 18|publisher=共立出版|isbn=4-320-03172-5|url=http://www.kyoritsu-pub.co.jp/bookhtml/0409/001075.html|ref=並木1982|archiveurl=https://web.archive.org/web/20060813134128/http://www.kyoritsu-pub.co.jp/bookhtml/0409/001075.html|archivedate=2006年8月13日|deadlinkdate=2017年9月}}

* {{Cite book|1=和書|first=ニック|last=ハーバート|authorlink=ニック・ハーバート|others=[[はやしはじめ]]訳|year=1990|month=11|title=量子と実在　不確定性原理からベルの定理へ|publisher=白揚社|isbn=4-8269-0045-7|url=http://www.hakuyo-sha.co.jp/cgi-bin/search.cgi?mode=detail&mode2=search&id=246|ref=ハーバート著はやし訳1990|archiveurl=https://web.archive.org/web/20160304102456/http://www.hakuyo-sha.co.jp/cgi-bin/search.cgi?mode=detail&mode2=search&id=246|archivedate=2016年3月4日|deadlinkdate=2017年9月}}

* {{Cite book|和書|first=ヴェルナー|last=ハイゼンベルク|authorlink=ヴェルナー・ハイゼンベルク|editor=J・R・ニューマンほか|editor-link=J・R・ニューマン|others=[[林雄一郎]]訳編|year=1970|title=自然のなかの数学|chapter=不確定性原理|series=科学技術選書|publisher=東京図書|ref=ニューマンほか編林訳編1970}}

* {{Cite book|和書|author=原康夫|authorlink=原康夫|year=1985|month=1|title=量子の不思議　不確定性原理の世界|series=[[中公新書]]|publisher=中央公論社|isbn=4-12-100751-4|url=http://www.chuko.co.jp/shinsho/1985/01/100751.html|ref=原1985}}

* {{Cite book|和書|author=古澤明|authorlink=古澤明|year=2011|month=2|title=量子もつれとは何か　「不確定性原理」と複数の量子を扱う量子力学|series=ブルーバックス B-1715|publisher=講談社|isbn=978-4-06-257715-1|url=https://bookclub.kodansha.co.jp/product?item=0000194676|ref=古澤2011}}

* {{Cite book|1=和書|author=宮下精二|authorlink=宮下精二|year=2006|month=10|title=量子スピン系　不確定性原理と秩序|series=岩波講座 物理の世界 物質科学の展開 7|publisher=岩波書店|isbn=4-00-011130-2|url=http://www.iwanami.co.jp/.BOOKS/01/2/0111300.html|ref=宮下2006|archiveurl=https://web.archive.org/web/20090525070920/http://www.iwanami.co.jp/.BOOKS/01/2/0111300.html|archivedate=2009年5月25日|deadlinkdate=2017年9月}}

* {{Cite book|和書|author=伏見康治|authorlink=伏見康治|title=確率論及統計論|url= http://ebsa.ism.ac.jp/ebooks/ebook/204|year=1942|publisher=[[河出書房]]|isbn=9784874720127|ref=harv}}

==関連項目==
* [[観察者効果]]
* [[確率]]
* [[フーリエ変換#不確定性関係]]
** [[短時間フーリエ変換#STFTの問題点である不確定性原理]]
* [[量子力学]]
** [[量子測定理論]]
** [[量子トンネル効果]]
** [[量子力学の数学的基礎]] 

==外部リンク==
{{SEP|qt-uncertainty|The Uncertainty Principle}}

* [http://daarb.narod.ru/tcpr-eng.html The certainty principle] –確定性原理 {{en icon}}
* {{Kotobank}}

{{量子力学}}

{{Normdaten}}
{{DEFAULTSORT:ふかくていせいけんり}}
[[Category:量子力学]]
[[Category:測定]]
[[Category:原理]]
[[Category:ヴェルナー・ハイゼンベルク]]