【摘 要】
:
Quantale是由Mulvey于1986年在研究非交换C*-代数的谱时首先引入的,其背景是给量子力学提供新的数学模型Quantale已被广泛地应用于非交换C*-代数、线性逻辑、环的理想理论和
论文部分内容阅读
Quantale是由Mulvey于1986年在研究非交换C*-代数的谱时首先引入的,其背景是给量子力学提供新的数学模型Quantale已被广泛地应用于非交换C*-代数、线性逻辑、环的理想理论和理论计算机科学.为了描述理论计算机中的进程语义,Abramsky和Vickers提出了Quantale模的概念Quantale模作为Quantale的推广,近年来受到了许多专家学者的关注Solovyov在Quantale和Quantale模的基础上引入了Quantale代数(简称Q-代数)的概念.目前,Quantale代数已成功应用到多值拓扑的研究中,并引起了国内外众多学者的关注.有关Quantale代数的大量新的观点及应用不断被揭示.本文将进一步研究Quantale代数上的余核映射及代数理想.主要内容安排如下:第一章:预备知识.介绍了Quantale及Quantale代数中的基本概念和相关知识.第二章Quantale代数上的余核映射.首先,讨论了Quantale代数上的核映射的若干性质和Quantale代数商;其次,在Quantale代数中引入了Quantale代数余核映射的概念,并讨论了它的若干性质;最后,研究了Quantale代数余核映射到单位Quantale代数与Girard Quantale代数的扩张问题.第三章Quantale代数上的代数理想.首先引入了Quantale中理想的扩张的概念,讨论了其相关性质,通过理想的扩张构造了一个幂集Quantale上的同余;其次,在Quantale代数中研究了代数理想与同态之间的关系;最后,在Quantale代数中研究了代数理想与同余之间的关系以及Quantale代数乘积上的同余关系.
其他文献
设S是序幺半群.文献[14]中证明了所有强平坦的序左S-系是I-正则的当且仅当S是左PP且左半完全的序幺半群.本文第一部分证明了上述结论中的左半完全性可被更弱的性质(FP2)代替或
研究多维分布时需要考虑其相关性问题,用Copula函数来描述变量间的相关结构,不需要每次计算相同的边缘分布,且任意边缘分布都可以通过Copula函数构造联合分布。因此,许多国内
恢复和保育生态系统服务功能既是人类生存和现代文明的基础,也是实现可持续发展的前提。研究与探讨喀斯特石漠化地区不同土地覆被对生态系统服务功能的影响机制,可为我国西南
图G=(V,E)的边着色是一个映射c:E(G)→S,使得任意两条相邻的边e和f,满足c(e)≠ c(f).图的强边着色是图的边着色并且要求在图中和同一边相邻的两条边也要着不同的颜色.换而言之,在强边
图G的无圈k-边染色是指图G的一个正常边染色且不产生双色圈的k-边染色.图G的无圈边染色数χa’(G)是使得图G有一个无圈k-边染色的最小整数k.在1978年,Fiamcik提出了任意图的
对逻辑代数系统的研究是非经典数理逻辑的一个重要研究方向,为了进一步揭示弱MTL-代数的特性,本文从多个方面对其进行了再研究.首先,讨论了弱MTL-代数的性质,澄清了它与其它
本文研究下面的四阶非线性椭圆边值问题:其中△2是双调和算子,Ω为RN中的具有光滑边界的有界开区域,c∈R.在工程实际中,含有双调和算子的四阶椭圆问题△2u+c△u=f(x,u),z∈ΩQ
自动机理论是计算理论的数学模型,是可计算、算法描述和分析、计算复杂性理论等问题研究的基础.在自动机理论中,一个重要的研究课题是自动机与文法的等价性.在经典自动机理论
近红外荧光蛋白的最大激发和发射波长都处于组织成像"光学窗口"的范围内,使其在活体深层组织成像中得到广泛的应用。研究人员可以将该类蛋白标记上自己感兴趣的分子,从而可以
关于一些著名和式,如Dedekind和,Hardy和,Kloosterman和,Gauss和,特征和等的均值问题及其单个上界的估计在解析数论研究中占有十分重要的地位.国内外许多学者都对此问题进行