交连续、拟连续及超连续dcpo的研究

来源 :扬州大学 | 被引量 : 0次 | 上传用户:lnfssg
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文对交连续dcpo、拟连续dcpo及超连续dcpo的性质进行了深入的研究,利用内蕴拓扑和代数学的技巧作为工具探讨了交连续dcpo、拟连续dcpo以及超连续dcpo在某种意义下的遗传性和不变性,并研究了它们之间的关系,主要结果如下: 1.证明了交连续dcpo对于Scott开集和Scott闭集均为可遗传的,并给出反例说明交连续dcpo对于主滤子不可遗传;证明了在交连续dcpo上添加最大元,去掉或添加最小元后仍为交连续的;证明了交连续dcpo的收缩核仍然是交连续的:给出了dcpo交连续当且仅当每一主理想交连续这一结论的直接证明;构造反例说明了所有主滤子交连续的dcpo本身不一定是交连续的,由此说明了dcpo的交连续性与其主滤子的交连续性之间一般没有必然的蕴涵关系。 2.证明了拟连续dcpo对于Scott开集和Scott闭集都是可遗传的;证明了拟连续dcpo的收缩核仍为拟连续的;给出了dcpo成为拟连续dcpo的两个充分条件,并举例说明了利用该条件判断dcpo拟连续性的优越性,还构造了反例说明了它们不是必要条件。 3.说明了超连续(代数)dcpo必为连续(代数)dcpo,并构造了相应的反例说明连续(代数)dcpo未必是超连续(代数)dcpo;证明了超连续(代数)dcpo对于Scott开集是可遗传的:证明了超连续dcpo的有限积保持超连续性;另外还证明了超连续dcpo的子空间仍然是超连续的dcpo。 4.利用dcpo L上内蕴拓扑的分离性、紧性等研究了交连续dcpo、拟连续dcpo、超连续dcpo之间的关系,证明了超连续dcpo为交连续的且区间拓扑是T2的,证明了对于完备格而言,超连续等价于交连续且区间拓扑是T2的。
其他文献
矩阵的求根同题已经成为矩阵研究领域的热点之一,同时,在实际工程应用中,如何方便快速地判断矩阵A是否存在平方根矩阵以及求解平方根矩阵具有重要的现实意义.本文主要讨论的是矩
细胞神经网络理论提出以来,其研究和应用得到了迅速发展.因其在联想记忆,优化计算,自动控制等领域中的巨大应用,细胞神经网络稳定定性分析引起了很多专家学者的注意,并己获得
正是在历经一千五百多次实验之后爱迪生的坚持,使得夜晚的世界有了那么璀璨的光明;正是因为一次又一次冒着生命危险的飞行试验的坚持,莱特兄弟给这个世界的人们带来了翱翔蓝
等距曲线也称为平行或位差曲线,它是基曲线沿法向距离为d的点的轨迹.其在工程中得到广泛的使用,是近二十年来CAD/CAM的研究热点之一.除了一些特殊曲线外,有理曲线的等距曲线
学位
本文主要就Lagrange反演公式、Faa di Bruno公式和Riordan群各自理论形成、内容方法以及彼此之间的联系和区别所做的一个综述. 第一章总结了Riordan群的各种主要定义以及
本文主要针对几类发展方程(诸如非线性Schr¨odinger方程、Benjamin-Bona-Mahony(BBM)方程、非定常不可压缩Navier-Stokes方程、Cahn-Hilliard(CH)方程以及对流占优扩散方程)
学位
本文我们主要运用矩阵广义逆和矩阵秩的方法,去研究四元数体上的若干具有重要意义的矩阵方程和方程组解中实矩阵的表达式及其极秩,并且利用极秩的性质给出了矩阵方程和方程组有
本文主要研究一个与3×3矩阵谱问题相关的孤子方程的Darboux变换.文章从孤子方程的Lax对出发通过规范变换构造出了孤子方程的一阶Darboux变换.接着,本文以平凡解u=0,u=0,w=0为种