量子論理とは? わかりやすく解説

Weblio 辞書 > 同じ種類の言葉 > 人文 > 論理 > 論理 > 量子論理の意味・解説 

量子論理

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/06/01 02:39 UTC 版)

量子論理(りょうしろんり、quantum logic)とは、量子論において見られる現象と相似するような形式論理の体系で、分配律が成り立たない無限多値の論理である[1]。ギャレット・バーコフとジョン・フォン・ノイマンの1936年の論文[2]に始まり、1960年代に直交モジュラー束(orthomodular lattice)の研究と並行して多くの研究成果が出された[3]

概要

フォン・ノイマンの『量子力学の数学的基礎』により、量子力学のいわゆる「波束の収縮」は、可分複素ヒルベルト空間の線形部分空間への射影と形式化された。そこで、論理における命題を量子力学における観測に対応させる、すなわち、命題を射影と同一視することを考えてみる。

古典力学では、観測可能な物理量は状態の関数であり、状態により一意的に決まる。しかし量子力学では、物理量(オブザーバブル)の決定には相互作用が必ずともなう。特に不確定性原理によりトレードオフの関係にあるものがあり、これは論理において古典論理の一部の法則に従わないものとなることを意味する。

(古典)命題論理ブール束に従う論理であるのに対して、量子論理はヒルベルト空間の閉部分空間の成す直交モジュラー束に従う論理である。H をヒルベルト空間、L(H)H の閉部分空間全体の集合とする。L(H) に集合の包含関係で順序を入れると、L(H)完備な直交モジュラー束を成す。具体的には共通部分の成す部分線型空間が∧、和集合の張る部分空間閉包が∨、直交補空間が¬に対応する。古典論理と大きく異なるのは分配律、すなわち

p ∧ (qr) = (pq) ∨ (pr)

pqr は命題を表す) が必ずしも成り立たない点である。例えば一直線上を動く粒子を考え、次のようにおく。

p = "粒子は右へ動いている"
q = "粒子は原点の左にある"
r = "粒子は原点の右にある"

すると命題"qr"は恒に真だから、p が真ならば

p ∧ (qr) = 真

一方、p が真ならば不確定性原理により位置運動量は同時には確定できないから、2つの命題"pq"と"pr"はいずれも偽である。ゆえに

(pq) ∨ (pr) = 偽

となって、分配律は成り立たないことになる。

脚注

  1. ^ 前田(1980) p.103
  2. ^ バーコフ、ノイマン(1936)
  3. ^ 前田(1980) p.128

参考文献

外部リンク





量子論理と同じ種類の言葉


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「量子論理」の関連用語

量子論理のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



量子論理のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの量子論理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS