【摘 要】
:
Quantale是由C. J. Mulvey于1986年提出的,其目的在于给研究非交换C*-代数提供新的格式刻画,并给量子力学提供新的数学模型.由于Quantale理论提供了研究非可换结构的一种有力的手段,使得它有着广泛的应用空间,特别是它在非交换的拓扑,线性逻辑和C*-代数等理论中的应用.由于Quantale可以看作是Frame的一般化,因此,其自身的内在结构也有丰富的研究内容.本文对Quant
论文部分内容阅读
Quantale是由C. J. Mulvey于1986年提出的,其目的在于给研究非交换C*-代数提供新的格式刻画,并给量子力学提供新的数学模型.由于Quantale理论提供了研究非可换结构的一种有力的手段,使得它有着广泛的应用空间,特别是它在非交换的拓扑,线性逻辑和C*-代数等理论中的应用.由于Quantale可以看作是Frame的一般化,因此,其自身的内在结构也有丰富的研究内容.本文对Quantale上的模糊结构作了进一步的研究.其主要内容如下:第一章预备知识.本章给出了将要用到的Quantale理论和模糊数学理论的基本概念和结论.第二章Quantale中的素模糊理想.首先给出了Quantale中模糊理想的一些性质和结论.其次,引入了Quantale中序模糊点的概念,利用序模糊点刻画Quantale中的模糊理想.最后,给出了Quantale素模糊理想及其性质.第三章Quantale中的弱素模糊理想及完全素模糊理想.首先,在Quantale中引入弱素模糊理想,完全素模糊理想,弱完全素模糊理想和完全半素模糊理想的概念.其次,讨论了这几类素模糊理想之间的关系,并且利用截集刻画了Quantale中的弱素模糊理想,弱完全素模糊理想和完全半素模糊理想.最后,给出了Quantale中模糊根的概念,证明了Quantale中的任意完全半素模糊理想的模糊根可以表示成包含它的所有弱完全素模糊理想的交.第四章Girard Quantale中的模糊关联滤子.首先给出了Girard Quantale的一些基本性质.其次,给出Girard Quantale中模糊滤子的定义,得到了Girard Quantale中模糊滤子的一些性质.最后,在Girard Quantale中引入模糊关联滤子的概念.给出了Girard Quantale中模糊关联滤子的若干等价刻画,探讨了模糊关联滤子与模糊布尔滤子之间的关系.
其他文献
由于自然和人为原因,全球环境发生了重大的变化,尤其是CO2等温室气体增多引起的气候变化,加剧某些地区的洪涝和干旱灾害,对水文循环等产生了重要影响。在水资源短缺和洪涝灾害频发的渭河下游地区,进行水文水资源对气候变化和人类活动的响应研究,对区域水资源的合理利用及可持续发展具有重要意义。本文基于渭南,华阴1959-2009年的气温、降水量资料,华县1978-2009年的蒸发量资料、1956-2009年的
非自伴算子代数理论产生于20世纪60年代,随着这一理论的迅速发展,它已成为算子代数中一个重要的研究领域.而套代数是这领域中最重要的一类代数.本文在已有结论基础上主要研究了套代数上的中心化子,全可导点以及非线性高阶Lie导子.具体内容如下:第一章主要介绍了本文中要用到的一些符号,概念(例如,三角代数,套代数,中心化子,全可导点,高阶导子等)以及后面要用到的一些已知结论和定理.第二章主要对套代数上的中
算子代数理论产生于20世纪30年代,随着这一理论的迅速发展,现在这一理论已成为现代数学中的一个热门分支.它与量子力学,非交换几何,线性系统,控制理论,数论以及其他一些重要数学分支都有着出人意料的联系和互相渗透.为了进一步加深对算子代数的认识和理解,近年来,越来越多的人们关注算子代数上一些映射的刻画问题,其中就包括线性保持,中心化子,导子问题等,并发现了许多新颖的证明方法,并不断提出新思路,如可交换
物理学、化学和生物学等自然学科中大量的数学模型可以归纳为反应扩散方程,通过研究反应扩散方程,可以科学地解释和预测自然现象,从而为问题的解决提供合理的途径,进而推动自然科学的发展;另外,反应扩散方程的研究对数学也提出了许多挑战性的问题,因此正引起越来越多的数学家、物理学家、化学家、生物学家和工程师的重视.本文主要讨论了两类反应扩散方程的解的性质,一类是具有功能反应的捕食-食饵模型一类是具有扩散项的S
求解一个或一些大型稀疏矩阵的线性方程组的算法问题,一直为数值工作者所研究.迭代法则是解决此类线性方程组解的一个重要方法.因此迭代格式的收敛性和收敛速度正逐渐成为解决各类线性方程组的核心.而迭代格式的选择则直接影响到各种线性方程组的结果好坏.尤其近年来更是成为许多人关注的焦点.从而可以看出,迭代法研究的科学价值和实际意义非同一般.一般来说,迭代的收敛性与系数矩阵的性质密切相关,如M阵,相容次序阵等.
本文研究了M-矩阵及最小特征值的性质,进而对矩阵的Hadamard积和Fan积的特征值进行了估计并与已有结论做比较,还讨论了非负矩阵谱半径的一些简单性质.全文共分为四章,各章主要内容如下:第一章,主要介绍了本文用到的一些符号,定义以及本文用到的一些结论和定理.第一节我们主要介绍M-矩阵,矩阵的Fan积,矩阵的Hadamard积,随机矩阵,谱半径等概念;第二节主要介绍了一些熟知的定理.第二章,第二节
本文研究了自伴算子空间上保持某种特征不变的映射,即自伴算子空间上保持Jordan积范数的双射和保持可逆的可加映射.我们的研究证明这样的映射为自伴算子空间上的同构或反同构的常数倍.全文共分三章,各章主要内容如下:第一章主要介绍了本文中要用到的一些定义和定理.第二章刻画了维数大于等于2的复Hilbert空间上的自伴算子空间上保持Jordan积范数的双射,即设Φ是自伴算子空间上的双射且对于任意的自伴算子
本文由既相互独立又有着潜在联系的两部分组成,即,区间值三角模的左连续与直觉模糊离散事件系统这两个部分。自Atanassov定义了一种新的模糊集—直觉模糊集以来,通过众多学者的努力,直觉模糊集理论得到了快速的发展,并且伴随着出现了许多的研究方法。另一方面,Zadeh提出的模糊集理论可以用来研究和处理大量的基于模糊概念的系统,其中一个对象是否属于一个给定的集合已经不再用简单的”是”或”非”来界定,而是
量子力学基本理论自从20世纪20年代形成以来,量子纠缠就一直受到人们的广泛关注。由于量子纠缠是量子理论不同于经典理论的最显著的特性之一,是整个量子信息传递过程和量子计算的基础,它反应的是对多个量子体系内各个子体系之间所存在的一种非经典的高度关联(不可区分)特性。通过研究最简单的两粒子体系之间的量子纠缠特性,使得量子远程定位、时钟同步和光纤通信成为可能。但是目前随着科学技术的发展,军事、导航、交通等
自Domain理论产生以来,大量关于Domain理论的新概念及应用相继被给出.作为连续Domain和广义连续格的推广,G.Gierz, J.D.Lawson和A.Stralka等人于1983年引入了拟连续Domain的概念.而作为拟连续Domain和Z-连续Domain的公共推广,拟Z-连续Domain的概念被提出.同样,从局部化的思路出发,连续局部定向完备偏序集被定义.这些新观点的提出极大地丰富