完备格上的s-拓扑

来源 :南京师范大学 | 被引量 : 0次 | 上传用户:CDCBB
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文在完备格上引入—个新的拓扑S-拓扑。进一步讨论了S-拓扑的一些性质以及S-拓扑与Scott拓扑和Lawson拓扑之间的联系和区别,在此基础上证明连续格L上的S-拓扑是—个单调的Hausdorff零维正规空间,它是局部紧的sober空间但不是紧空间。由于S-拓扑与Scoot拓扑和Lawson拓扑一样,也不具有对称性,那么自然地同时满足性质(S)和它的对偶性质(Sop)的所有子集族被定义为交S-拓扑。研究了S-连续函数和交S-连续函数的特征,同时利用S-拓扑和交S-拓扑给出了连续格的一些等价刻画。最后介绍了有关S-拓扑,Scott拓扑和Lawson拓扑的一些范畴性质。
其他文献
包险研究的主要问题包括保险费率的厘订、保险基金的运用、偿付能力的监管和新险种的开发等等。很多学者在这些方面已经作出了大量的研究,建立了一些有意义的数学模型并推导
在非光滑优化中,函数的二阶导数及二阶展开对于最优性条件的研究以及设计具有高阶收敛性的算法都是不可缺少的工具.因此,非光滑函数的二阶性质与展开的理论和应用方面的研究
  本文研究了k≥6,()k∈K,的3-BD有限生成集,得到如下结论:()v≥6,v∈B3(K6,1),其中K6={6,7,…,41,45,46,47,51,52,53,83,84}{22,26}。  利用上述3-BD的有限生成集,我们研究了区组长度为6,λ=2
设Mm为单位球Sn(n=m+p)中m维无脐点子流形,在Sn的Moebius变换群下,Mm的四个基本量,一个对称正定形式g称为Moebius度量,法从上一个部分B称为Moebius第二基本形式,1-形式φ称为Moebi
本文考虑了一类变量与控制不分离的常微分系统在缺乏Cesari条件下的最优控制问题。利用相应最优松弛控制的存在性和最大值原理证明了某些条件下原问题最优控制的存在性。然后
迁移理论是非平衡态统计力学在运动论层次上的数学表达。在光子迁移理论中,通常考虑以下三种类型的问题: 1.根据各种截面、入射光子流和星际云层的表面形状对光子密度作出
随着现代信息技术的发展,在日常的商业运作中积累大量关于时间序列的数据,这些数据中蕴含了大量的商业信息,需要我们进行挖掘.孤立点的挖掘是其重要的一个内容.在传统的观念中,孤
本文内容概述如下:第一,研究状态、控制输入均含有时变时滞,且互联项也含有时变时滞的不确定组合系统的状态反馈鲁棒分散控制问题.第二,研究结构复杂的时变时滞不确定组合系
本文主要利用主单边理想或者极大本质单边理想是拟理想,或者主左(右)理想是弱右(左)理想的条件,研究了一些特殊环(如GP-V-( GP-V5-),,弱正则环和广义正则环)的强正则性,得到
学位