论文部分内容阅读
本文主要对Quantale子结构及其重要性质作了详细的分析和研究。通过描述Quantale的核、余核及同余关系,分别刻画了其商、子Quantale和同余类内部的本质联系,考虑了一些有特殊意义的Quantale,并获得了一系列有意义的结果。全文的内容共分五章。
在第一章中,首先回顾了Quantale理论的发展,说明了Quantale理论在三个方面的应用及本文所研究的主要问题。
在第二章中,首先对Quantale的重要性质和基本运算作了简要回顾,对后续章节所需的重要结果(未加证明)作了引用,并补充了一些Quantale的新的运算性质。其次对Locale的全体反序映射Ant(L,L)构成的Quantale作了详细的论证和说明;同时讨论了Prequantale的一些主要性质。
在第三章中,核映射由于其特别重要的作用和地位首先被讨论,其良好的性质使得研究Quantale的商变得更加方便。本章中构造了许多有意义的核映射,讨论它们对应的商,丰富了核映射的理论;对一些特别经典的核映射实例进行了较详细的说明和讨论;其次Quantale的子结构是本章研究的主要问题,余核映射许多新性质的发现,为研究其对应的子Quantale提供了有力的理论支持。构成余核映射的重要条件的获得,使得研究子Quantale更加方便。同时我们从另一方面等价地描述了S-素元,作了一定意义上的探讨。许多有实质意义的余核映射和子Quantale被构造出来。
在第四章中,Quantale中同余关系的确立从另一个侧面描述了Quantale的内部结构。首先我们引入了同余与半同余的等价条件,例举同余关系的各种情形。其次从同余的角度考察了单纯的Quantale。
在第五章中,首先讨论了Girard quantale的基本性质。证明了Girard quantale构成完备的Boolean代数的充分必要条件;对任意的Girard quantale的商Q<,j>,确定了其对应的核映射形式。对Girard quantale的任意子Quantale,获得了Q<,g>能构成新的Girard quantale的条件。其次对逻辑中的某种运算,从代数的角度进行了分析与说明,获得了一些较好的运算结果。最后重点研究了对合Quantale的代数结构及其子Quantale,并在其上定义了性质良好的伪正交补。