关于交连续相容dcpo和连续相容dcpo的研究

来源 :南京师范大学 | 被引量 : 0次 | 上传用户:sherpa
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
文献[22]给出连续相容dcpo的概念并对它的定向完备化进行了研究。本文在上述定义的基础上引入了基和权的概念并且给出了连续相容dcpo是Lawson紧的充要条件,最后考察了连续相容dcpo范畴,具体来说,  第一章,介绍连续相容dcpo产生的背景、研究概况,同时介绍了后面各部分要用到的一些主要定义、定理和有关的记号。  第二章,证明了交连续相容dcpo对Scott开集和闭集具有遗传性,并且交连续相容dcpo的收缩核也是交连续相容dcpo,最后给出交连续相容dcpo的等价刻画。  第三章,首先给出连续相容dcpo的一些性质并且考虑它的Cartesi-an积。其次定义了连续相容dcpo的基和权并且讨论了连续相容dcpo上的Scott拓扑与Lawson拓扑它们权重之间的关系,并且给出了连续相容dcpo是Lawson紧的充要条件。最后证明了定向完备连续偏序集范畴是连续相容dcpo范畴的满的反射子范畴。
其他文献
在这篇文章中,我们主要研究索赔时间间隔服从Erlang(2)分布的SparreAndersen风险模型下,破产时与破产时总索赔数量的联合分布。首先定义了带有索赔次数的期望折现罚金函数,运用
本文分为三章,主要研究了乘积Laguerre超群上的广义小波和Weyl变换及其对于余弦合成信号的特征提取与其阈值去噪。  第一章借助于小波变换定义了乘积Laguerre超群上的广义小
约束矩阵方程问题是指在满足约束条件下的矩阵集合中求解矩阵方程的问题.该问题广泛应用于结构设计、生物学、分子光谱学、振动理论、有限元等领域,已成为数值代数领域中最热
分枝过程是一种用来描述物种的繁衍过程的数学模型,该模型在种群繁衍、粒子裂变、流行病传播等领域均有着的应用.确定环境分枝过程主要研究粒子的灭绝、爆炸、收敛等问题,但
本文研究了两类分数阶p-Laplacian方程弱解的存在性,分别在次临界与临界的情形下建立了方程弱解的存在性定理.  类型一:考虑了次临界情形的分数阶p-Laplacian方程(-△)spu+V
本文考虑的图G是有限,简单(无环,无重边),无向图.如果图G=(V,E)能被嵌入到一个平面使得边仅在端点处相交,称它是可平面的.可平面图在平面内的一个嵌入叫平面图.设G=(V,E)是顶点集为