本文關(guān)鍵詞：量子邏輯中一個(gè)形式化的狀態(tài)-性質(zhì)對(duì)偶關(guān)系（英文）　出處：《邏輯學(xué)研究》2017年02期 　論文類型：期刊論文

  更多相關(guān)文章： 對(duì)偶關(guān)系 連續(xù)同態(tài) 量子系統(tǒng) 量子物理 frames morphism 代數(shù)結(jié)構(gòu) 可測(cè)試性 態(tài)射 satisfying

【摘要】：本文展示了量子物理中一個(gè)狀態(tài)一性質(zhì)對(duì)偶關(guān)系的形式化。在性質(zhì)方面,Piron證明了Piron格(最初被稱為不可分解的命題系統(tǒng))刻畫了量子系統(tǒng)的可測(cè)試性質(zhì)所組成的結(jié)構(gòu)。在狀態(tài)方面,我們定義量子Kripke框架來(lái)刻畫量子系統(tǒng)的狀態(tài)在非正交關(guān)系之下所組成的結(jié)構(gòu)。而且,我們定義了Piron格之間的線性態(tài)射,并把Piron格所組成的類組織成一個(gè)范疇。我們也定義了量子Kripke框架之間的連續(xù)同態(tài),并把量子Kripke框架所組成的類組織成一個(gè)范疇。最后,我們證明了在范疇論的意義上Piron格所組成的范疇和量子Kripke框架所組成的范疇是對(duì)偶的,這樣我們就用數(shù)學(xué)的語(yǔ)言描述了量子物理里面一個(gè)直觀上的狀態(tài)—性質(zhì)對(duì)偶關(guān)系。這個(gè)形式化的對(duì)偶關(guān)系在代數(shù)結(jié)構(gòu)和關(guān)系結(jié)構(gòu)之間建立了聯(lián)系,這將會(huì)有助于研究關(guān)于量子物理的邏輯。
【作者單位】： 中山大學(xué)邏輯與認(rèn)知研究所;
【基金】：funded by China Scholarship Council(CSC) supported by NSSFC Grant 14ZDB015
【分類號(hào)】：O413
【正文快照】： 1 IntroductionStates and properties are two important theoretical notions in physics.Roughlyspeaking,for a physical system,a state is a complete specification,and a property isa feature that can be tested by experiments.Intuitively,states and properties

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前2條

1 曹恕;從A—B效應(yīng)到A—C效應(yīng)[J];大學(xué)物理;1993年10期

2 ;[J];;年期

，

本文編號(hào)：1318423