资源描述：
《量子逻辑内蕴拓扑》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、博士学位论文量子逻辑的内蕴拓扑THEINTRINSICTOPOLOGYOFQUANTUMLOGICS雷强哈尔滨工业大学2008年4月国内图书分类号：O177国际图书分类号：517.98理学博士学位论文量子逻辑的内蕴拓扑博士研究生：雷强导师：李容录教授申请学位：学科、专业：所在单位：理学博士基础数学数学系答辩日期：2008年4月授予学位单位：哈尔滨工业大学ClassifiedIndex:O177U.D.C.:517.98DissertationfortheDoctoralDegreeinScienceTHEINT
2、RINSICTOPOLOGYOFQUANTUMLOGICSCandidate:Supervisor:AcademicDegreeAppliedfor:Specialty:Affiliation:DateofDefence:Degree-Conferring-Institution:LeiQiangProfessorLiRongluDoctorofScienceFundamentalMathematicsDepartmentofMathematicsApril,2008HarbinInstituteofTechnology摘
3、要摘要量子力学和相对论是二十世纪两项最伟大的科学成就.它们的创立和发展不仅导致了一系列重大技术发明,而且使得人们对客观世界的运动规律有了基本正确的革命性的理解.自上世纪九十年代以来,与量子理论相关联的量子计算机、量子信息、量子通讯等理论和技术更是得到了迅猛发展.然而要最终实现有价值的量子计算、量子通讯等,不仅在实用化中存在着巨大困难,而且有的困难甚至是原理性的.从一般原则上讲,这些困难的根源是量子力学的测量问题.经典的冯·诺伊曼测量理论是将每个测量看做一个Hilbert空间上的正交投影算子,从而将研究测量问题转化为研究Hi
4、lbert空间上的正交投影算子格.但此格仅能描述可精确测量的量子现象.1994年,Foulis等人引进了用于描述不可精确测量现象的数学结构,即效应代数,这是量子理论的数学公理化问题的一个重大进展.众所周知,自从扎德创立不确定性数学即模糊数学以来,其思想和方法在计算机、人工智能、控制论等领域得到了重要应用.具有不精确性的效应代数理论有可能将模糊数学与量子理论统一起来.鉴于拓扑理论在计算机科学、逻辑推理、Domain理论中的基础性和核心性作用,本文研究了效应代数的几类典型内蕴拓扑的若干性质及运算连续性问题,主要工作包括如下几方
5、面:1.在格效应代数中,关于效应代数运算⊕和在区间拓扑下的一元连续性已经得到证明,而⊕和的二元连续性及格运算∧和∨的连续性是否成立仍未知.我们给出例子说明在区间拓扑下效应代数运算⊕的二元连续性不成立,格运算的一元连续性也不成立.本文通过对网在区间拓扑下收敛的刻划,证明了在格效应代数框架下⊕和满足二元连续性的必要条件是其上的区间拓扑是Hausdorff拓扑.同时,给出了效应代数运算和格运算满足二元连续性的充分条件.在第二章的最后,证明了标度效应代数上区间拓扑是Hausdorff拓扑,运算⊕和关于区间拓扑是二元连续的.
6、2.在效应代数E中,网的序收敛与序拓扑收敛是两个不同概念,当两者一致且E序-连续时,该效应代数称为是序-拓扑的.本文得到,在完备的原子格效应代数E中,下面条件等价:(1)E序-连续,(2)E是序-拓扑的,(3)E是完全序不连通的拓扑格,(4)E是代数的.该结论不但从代数观点,更从拓扑角度说明了原子的格效应代数的性质比一般格效应代数要好得多.此结–I–哈尔滨工业大学理学博士学位论文果将Erne等人的工作从正交模格提升到格效应代数上.同时,本文改进了标度效应代数在序拓扑意义下的一个基本矩阵定理,扩大了该定理的应用范围.关于格效
7、应代数运算在序拓扑下的一元连续性已经得到证明,而二元连续性是否成立还没有结论.本文给出了在完备的序-连续格效应代数上,运算⊕满足二元连续性的必要条件是其上的序拓扑是Hausdorff拓扑,并举例说明了即使在完备的布尔代数上,⊕在序拓扑下也不满足二元连续性.同时,给出了一系列使得运算⊕和满足二元连续性的充分条件.标准算子效应代数是效应代数的典型代表,在量子力学中有重要应用,效应代数一词正是来源于此.标准算子效应代数上的弱算子拓扑和强算子拓扑都是及其重要的拓扑,研究它们和内蕴拓扑的关系是一个有趣的重要内容.本章最后研究了标准
8、算子效应代数上的区间拓扑、序拓扑、弱算子拓扑及强算子拓扑之间的关系,得到如下结果:设WOT和SOT分别是标准算子效应代数E(H)上的相对弱算子拓扑和相对强算子拓扑,τi和τo分别是E(H)上的区间拓扑和序拓扑,则τi≤WOT≤SOT≤τo.3.Frink理想拓扑是偏序集理论中一类重要的内蕴拓扑.特别地,
