量子逻辑中一个形式化的状态-性质对偶关系（英文）

发布时间：2017-12-22 04:22

  本文关键词：量子逻辑中一个形式化的状态-性质对偶关系（英文）　出处：《逻辑学研究》2017年02期 　论文类型：期刊论文

  更多相关文章： 对偶关系 连续同态 量子系统 量子物理 frames morphism 代数结构 可测试性 态射 satisfying

【摘要】：本文展示了量子物理中一个状态一性质对偶关系的形式化。在性质方面,Piron证明了Piron格(最初被称为不可分解的命题系统)刻画了量子系统的可测试性质所组成的结构。在状态方面,我们定义量子Kripke框架来刻画量子系统的状态在非正交关系之下所组成的结构。而且,我们定义了Piron格之间的线性态射,并把Piron格所组成的类组织成一个范畴。我们也定义了量子Kripke框架之间的连续同态,并把量子Kripke框架所组成的类组织成一个范畴。最后,我们证明了在范畴论的意义上Piron格所组成的范畴和量子Kripke框架所组成的范畴是对偶的,这样我们就用数学的语言描述了量子物理里面一个直观上的状态—性质对偶关系。这个形式化的对偶关系在代数结构和关系结构之间建立了联系,这将会有助于研究关于量子物理的逻辑。
【作者单位】： 中山大学逻辑与认知研究所;
【基金】：funded by China Scholarship Council(CSC) supported by NSSFC Grant 14ZDB015
【分类号】：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

【相似文献】

中国期刊全文数据库 前2条

1 曹恕;从A—B效应到A—C效应[J];大学物理;1993年10期

2 ;[J];;年期

，

本文编号：1318423