Quantic格与Quantale中若干问题与研究.pdf

王顺钦 摘要；为了给量子力学建立新的数学模型， C．J．Mulvey在1986年研究非可 换p一代数的谱理论时，首次提出用一种非可换的二元运算来代替拓扑空间开 提出的作为理论计算机科学逻辑支持系统的线性逻辑与Quantale理论之间的密切 关系，从此， Quantale理论的研究受到了国内外众多学者的关注．在短短的二十 年中有关Quantale理论的大量新的观点及应用不断被揭示．本文一方面在这些成 果的基础上运用Frame理论的研究思想对Quantale理论的—些代数性质和拓扑特 征作了进一步的研究，从而丰富了Quantale理论的内容．另一方面，本文从范畴 论的角度讨论了作为量子逻辑支持系统的Quantic格的内部结构和范畴性质，这在 一定程度上推广了Quantale理论．本文的主要内容安排如下， 第一章预备知识．本章给出了与本文有关的格论、拓扑学、Quantale理论和 范畴论方面的一些概念和结果． 第二章Quantale中的滤子．本章首先在双边Quaatale中定义了滤子的概念， 特征．得到了Quantale上的滤子空间满足而分离性的充要条件．其次，本章给出 子之间的关系，找到了Quantale态射与模糊滤子之间的内在联系． 第三章Quantale连通性．本章把Frame理论中的连通和局部连通的定义推广 了Quantale连通的充要条件．证明了与Frame理论中有关连通性的经典命题相对 应的结论在Quantale理论中仍然成立． 第四章Girard Quantale中的内部结构， Quantale．本章首先研究了Girard 讨论了该结构中各种运算之间的关系，给出了GirardQuantale的若干等价刻画． 其次，本章对GirardQuantale中的循环对偶元作了系统的研究，给出了Girard Quantale中循环对偶元不唯一的实例．得到了GirardQuantale中循环对偶元唯一 的充分条件．证明了一个GirardQuantale中的循环对偶元之集与满足一定条件的 一元算子之集是一对应的． 第五章Quantic格范畴． 一种推广，它在量子逻辑的研究中有着重要的作用．本章首先讨论了Quantie格的 余和Quantic格核映射的定义．证明了一个Quantic格上的全体核映射之集．全体 同余关系之集和全体商对象之集是一一对应的．其次，本章从范畴论的角度研究了 Quantic格范畴的若干性质．证明了Quantic格范畴有等子、余等子等结论．得到 了Quantic格范畴中的极限结构，从而说明了Quantic格范畴是完备范畴． 关键词· Quantale，Quantic格，滤子，连通Quantale，核映射，范畴． Ⅱ ResearchonSome in Lattices QuestionsQuantic and Quantales WangShunqin vtmore introduced in re- Abstract：Quantalesinitially byC．J．Mulvey1986，by theintersectioninthelattice setsof placing operation of atopologicalspace open a withnon-commutative theintentof anewmath- binary operation．withoffering ematicalmodelfor