论文部分内容阅读
作为研究量子力学的两个重要的代数系统,正交模格与Quantale虽然具有一些相同的性质,但又有所不同.1991年,Roman和Rumbos构造了一个对象类包含Quantale的新范畴—Quantic格范畴,并且还指出对任意的正交模格L,a,b∈L,令a&b(?)(a∨b(?))∧b,则L关于这一运算构成Quantic格.因此,对Quantic格的讨论既有助于了解正交模格的内部结构,同时又在一定程度上丰富了Quantale理论的内容.本文主要内容安排如下：第一章预备知识.介绍了本文将要用到的Quantic格理论和模糊集理论中的基本概念和结论.第二章Quantic格中的素元与S-素元.首先,讨论了Quantic格与Quantale以及Quantic格与分配格的关系.给出了左侧Quantic格Q构成交换Quantale的充要条件是对任意的a,b,c∈Q,a→(b→c)=b→(a→c).其次,讨论了Quantic格中素元的性质,得到了素元的等价刻画.最后,给出了Quantic格中S-素元的概念,证明了S-素元在满足一定条件的映射f下的像是f(S)-素元.第三章Quantic格的理想与模糊理想.首先,将Quantic格中序与＆运算结合在一起,给出了Quantic格中理想及其扩张的概念.证明了Quantic格的理想和素理想在Quantic格同态下的原像仍是理想和素理想.其次,引入了模糊幂集Quantic格的概念,得到了一个Quantic格是可换的,则与其对应的模糊幂集Quantic格也是可换Quantic格的结论.最后,给出了Quantic格中模糊理想及其扩张的概念,对它们的相关性质进行了研究.第四章Quantic格中的上粗理想.首先,利用粗糙集理论的方法,给出了Quantic格中上近似和下近似的定义,‘讨论了它们的若干性质.其次,给出了Quantic格的上粗子Quantic格和上粗理想的概念.证明了子Quantic格一定是上粗子Quantic格,得到了理想是上粗理想的条件.最后,讨论了Quantic格同态和上粗理想之间的联系,证明了上粗子Quantic格和上粗理想在Quantic格满同态下的原像仍是上粗子Quantic格和上粗理想.