【摘 要】
:
Quantale是由Mulvey于1986年在研究非交换C*-代数的谱时首先提出的,其背景是给量子力学提供新的数学模型.1990年Rosenthal关于Quantale理论研究专著的出版,在很大意义上促进
论文部分内容阅读
Quantale是由Mulvey于1986年在研究非交换C*-代数的谱时首先提出的,其背景是给量子力学提供新的数学模型.1990年Rosenthal关于Quantale理论研究专著的出版,在很大意义上促进了Quantale的迅速发展.由于融序结构和代数结构于一体的特殊构造,Quantale对数学其他分支之间的交叉渗透、交叉发展起到关键作用.20世纪60年代末,Scott创立的Domain理论涵括了丰富的内容与结构,这使其成为理论计算机科学与数学领域研究者共同感兴趣的学科.作为Quantale及Domain中交连续半格的共同推广,本文引入了连续定向完备序半群的概念,并进一步研究了连续定向完备序半群的范畴性质及序半群的定向完备化.基于上述考虑,本文主要内容安排如下:第一部分研究了连续定向完备序半群及其范畴性质.首先,引入了连续定向完备序半群的概念.其次,给出了连续定向完备序半群的若干等价刻画.最后,证明了范畴CDOSG(以全体连续定向完备序半群为对象,以保定向并的序半群同态为态射)是有限完备的,其满子范畴CCDOSG(以全体交换的连续定向完备序半群为对象)也是有限完备的且对函数空间封闭,为研究范畴CDOSG的笛卡尔闭性做了准备。第二部分研究了序半群的定向完备化.首先,引入了序半群定向完备化的概念.其次,证明了序半群的序理想之集和理想之集都是连续定向完备序半群,进而序半群的序理想之集和负序半群的理想之集是它们的定向完备化.最后,得到了序半群范畴的几个满子范畴的反射子范畴。
其他文献
研究多维分布时需要考虑其相关性问题,用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和,特征和等的均值问题及其单个上界的估计在解析数论研究中占有十分重要的地位.国内外许多学者都对此问题进行
Quantale是由Mulvey于1986年在研究非交换C*-代数的谱时首先引入的,其背景是给量子力学提供新的数学模型Quantale已被广泛地应用于非交换C*-代数、线性逻辑、环的理想理论和