量子論理
- 英語版記事を日本語へ機械翻訳したバージョン(Google翻訳)。
- 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。
- 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。
- 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。
- 翻訳後、
{{翻訳告知|en|Quantum logic|...}}をノートに追加することもできます。 - Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。
量子論理(りょうしろんり、quantum logic)とは、量子論において見られる現象と相似するような形式論理の体系で、分配律が成り立たない無限多値の論理である[1] 。ギャレット・バーコフとジョン・フォン・ノイマンの1936年の論文[2] に始まり、1960年代に直交モジュラー束(orthomodular lattice)の研究と並行して多くの研究成果が出された[3] 。
概要
[編集 ]フォン・ノイマンの『量子力学の数学的基礎』により、量子力学のいわゆる「波束の収縮」は、可分複素ヒルベルト空間の線形部分空間への射影と形式化された。そこで、論理における命題を量子力学における観測に対応させる、すなわち、命題を射影と同一視することを考えてみる。
古典力学では、観測可能な物理量は状態の関数であり、状態により一意的に決まる。しかし量子力学では、物理量(オブザーバブル)の決定には相互作用が必ずともなう。特に不確定性原理によりトレードオフの関係にあるものがあり、これは論理において古典論理の一部の法則に従わないものとなることを意味する。
(古典)命題論理がブール束に従う論理であるのに対して、量子論理はヒルベルト空間の閉部分空間の成す直交モジュラー束に従う論理である。H をヒルベルト空間、L(H) を H の閉部分空間全体の集合とする。L(H) に集合の包含関係で順序を入れると、L(H) は完備な直交モジュラー束を成す。具体的には共通部分の成す部分線型空間が∧、和集合の張る部分空間の閉包が∨、直交補空間が¬に対応する。古典論理と大きく異なるのは分配律、すなわち
- p ∧ (q ∨ r) = (p ∧ q) ∨ (p ∧ r)
(p、q、r は命題を表す) が必ずしも成り立たない点である。例えば一直線上を動く粒子を考え、次のようにおく。
- p = "粒子は右へ動いている"
- q = "粒子は原点の左にある"
- r = "粒子は原点の右にある"
すると命題"q ∨ r"は恒に真だから、p が真ならば
- p ∧ (q ∨ r) = 真
一方、p が真ならば不確定性原理により位置と運動量は同時には確定できないから、2つの命題"p ∧ q"と"p ∧ r"はいずれも偽である。ゆえに
- (p ∧ q) ∨ (p ∧ r) = 偽
となって、分配律は成り立たないことになる。
脚注
[編集 ]参考文献
[編集 ]- 前田 周一郎『束論と量子論理』槙書店、1980年。
- G. Birkhoff and J. von Neumann (1936), The Logic of Quantum Mechanics , http://www.fulviofrisone.com/attachments/article/451/the%20logic%20of%20quantum%20mechanics%201936.pdf
- 小出 昭一郎『量子力学(I)』(改訂版)裳華房、1990年。
- David Bohm (1951). Quantum theory (Dover版(1989) ed.). Dover Publications
- 広重 徹『物理学史II』培風館、1967年。ISBN 4563024066。
- 竹内 外史『線形代数と量子力学』裳華房、1981年。ISBN 4-7853-1126-6。
外部リンク
[編集 ]- Quantum Logic and Probability Theory (英語) - スタンフォード哲学百科事典「量子論理」の項目。
この項目は、物理学に関連した書きかけの項目 です。この項目を加筆・訂正などしてくださる協力者を求めています(プロジェクト:物理学/Portal:物理学)。
この項目は、数理論理学に関連した書きかけの項目 です。この項目を加筆・訂正などしてくださる協力者を求めています。
| 分野 |
| ||
|---|---|---|---|
| トピック | |||
