模糊偏序集上理想完备的幂等性

主要讨论模糊偏序集上理想完备性的本质.并得到以下结论:模糊偏序集的理想完备是幂等的当且仅当理想完备上的广义Scott拓扑与Alexandroff拓扑是一致的.     

L-拟序集上的广义Alexandroff拓扑与广义超度量空间上的广义Alexandroff拓扑

证明[10]中定义的L-拟序集上的广义Alexandroff拓扑是[2]中定义的广义超度量空间上的广义Alexandroff拓扑的推广，并且广义超度量空间中有关广义Alexandroff拓扑的许多性质都可以推广到L-拟序集中。     

L-拟序集上的广义Alexandroff拓扑

在一类特殊的 L -拟序集上定义广义 Alexandroff拓扑 ,限制到通常的拟序集上就是 Alexandroff拓扑 ,并且该拓扑可以由其上的一族 Alexandroff拓扑取并得到。还证明任意一个拓扑空间的拓扑都可以表示为某个 L-拟序集上的广义 Alexandroff拓扑。     

L-Fuzzy Domain上的广义Scott拓扑

本文研究了L-fuzzy domain上的广义Scott拓扑,利用[1]中引入的L-fuzzy domain.获得了其上的广义Scott拓扑,它是Domain上Scott拓扑的推广,证明了一个L-fuzzy单调映射是L-fuzzy Scott连续映射当且仅当它关于L-fuzzy domain上的广义Scott拓扑连续.     

伪Scott拓扑与伪Scott开滤子

讨论抽象基(特别是偏序集带辅助序)上的伪Scott拓扑与伪Scott开滤子集的一些基本性质, 推广了Domain理论中一些熟知的结论,证明了抽象基上的伪Scott拓扑是完全分配格;若在偏序集P上赋予辅助关系＜, 则其上伪Scott开滤子之集是连续domain.     

一类基于分层量化的Domain上的广义Alexander拓扑

文献[8]提出了一类基于分层量化的偏序集结构(以下简称R-偏序集).此结构是sfe[5]的非对称推广,也是拟度量空间(quasi-metric spaces,qms)[3]和广义超度量空间(generalized ultrametric spaces,gums)[4]的一种特殊情形.本文定义了其上的广义Alexande...     

偏序集的内蕴拓扑连通性

从序与拓扑的交叉考虑,进一步研究偏序集在多种内蕴拓扑下的连通性和局部连通性.主要结果有:(1)一个偏序集是序连通的当且仅当它赋予Alexandrov拓扑是连通的,也当且仅当它赋予Scott拓扑是连通的;(2)每一偏序集赋予Alexandrov拓扑是局部连通的,每一偏序集赋予Scott拓扑是局部连通的;(3)如果拓扑空间的特殊化偏序集序连通,则该拓扑空间是连通的;(4)构造反例说明了存在偏序集赋予下拓扑后是连通空间,但该偏序集本身不是序连通的.     

偏序集中网和滤子的Scott收敛及其Scott拓扑

本文的目的是在偏序集上直接定义和研究网和滤子的Scott收敛理论,指出其相互之间的协调性,及其它们的导出拓扑与Scott拓扑的一致性.     

偏序集的内蕴拓扑连通性北大核心

从序与拓扑的交叉考虑,进一步研究偏序集在多种内蕴拓扑下的连通性和局部连通性.主要结果有:(1)一个偏序集是序连通的当且仅当它赋予Alexandrov拓扑是连通的,也当且仅当它赋予Scott拓扑是连通的;(2)每一偏序集赋予Alexandrov拓扑是局部连通的,每一偏序集赋予Scott拓扑是局部连通的;(3)如果拓扑空间的特殊化偏序集序连通,则该拓扑空间是连通的;(4)构造反例说明了存在偏序集赋予下拓扑后是连通空间,但该偏序集本身不是序连通的.     

群的一个Domain结构

群可以通过在其上赋予循环群拓扑构造群的Domain模型，从而实现群的可计算性。群上的循环群偏序集及其对偶都是连续的偏序集，这个连续偏序集是代数Domain的充分必要条件是群的单位元是代数元。如果在pseudo-有限的群G及其循环群偏序集的对偶￡^op[G]上分别赋予循环群拓扑和Scott拓扑，那么恒同函数是连续的。     

半群上的拓扑、偏序和相关Domain

在半群G上引入了半群拓扑O[G]和半群偏序≤G,研究了它们的性质和相互联系,得到如下主要结论:(1)拓扑空间(G,O[G])中开集均为偏序集(G,≤G)的下集;(2)拓扑空间(G,O[G])为T,的当且仅当O[G]是离散的,当且仅当G中任意元是幂等元;(3)在集合包含序下O[G]为代数的完全分配格;(4)若(G,O[G])是T0空间,则O[G]是偏序集(G,≤G)上的对偶Alexandrov拓扑;(5)半群G是伪有限的当且仅当偏序集(G,≤Gop)是代数Domain.     

可数S_2-拟连续偏序集上的收敛

本文引入了可数S_2-拟连续偏序集、GS*-收敛和弱可数Scott拓扑的概念,给出了可数S_2-拟连续偏序集的收敛刻画:偏序集P是可数S_2-拟连续的当且仅当GS*-收敛关于弱可数Scott拓扑是可拓扑化的。     

关于自然偏序集的自然连续性

在自然偏序集中引入自然way-below关系,定义自然偏序集的自然连续性.证明在自然连续的自然偏序集上,自然way-below关系具有插入性,自然Scott开集格是完全分配格.利用(&)*收敛刻画了自然偏序集上的自然way-below关系,自然Scott拓扑和自然连续性.     

Domain函数空间上Isbell拓扑与Scott拓扑何时相同

本文证明了,若L是一个双完备的连续DCPO,则对所有的RW-空间X,函数空间[X→L]上的Isbell拓扑和Scott拓扑相同当且仅当L是有最小元的L-Domain.而且还证明了,若X是核紧的局部连通空间,则对所有有最小元的连续L-DomainL,[X→L]上的Isbell拓扑和Scott拓扑相同当且仅当X是RW-空间.特别地,若X是连续DCPO,则对所有有最小元的连续L-DomainL,函数空间[X→L]上的Isbell拓扑和Scott拓扑相同当且仅当X是RW-空间.这也给出由Lawson和Mislove提出的一个公开问题的一个部分回答.     

H-代数偏序集

本文引入了H-代数偏序集的概念,讨论了它的一些基本性质.得到如下主要结果:(1)举例说明了代数偏序集未必是H-代数偏序集;(2)偏序集是H-代数偏序集当且仅当强紧元是它的强基;(3)偏序集是H-代数偏序集当且仅当它的局部Scott拓扑是强代数格.     

关于连续偏序集的一个刻画定理(英文)

本文给出了连续偏序集的一个刻画定理及相应的代数偏序集刻画定理.进一步得出连续偏序集P关于其Scott拓扑是局部紧的,而且OFilt(P)是一个domain.这推广了关于dcpo的对应结果.     

Z-连通连续偏序集的特征和浓度

引入了Z-连通连续偏序集的局部基和稠密子集的概念,给出了局部基的一些刻画,在此基础上定义了Z-连通连续偏序集的特征和浓度。证明了Z-连通连续偏序集的特征和浓度与Z-连通连续偏序集带上Scott拓扑时的拓扑空间的特征和浓度相等,它们分别小于Z-连通连续偏序集带上Lawson拓扑时拓扑空间的特征、浓度。     

偏序集上的测度拓扑和全测度

在偏序集上引入测度拓扑和全测度概念,研究其性质以及与其它内蕴拓扑间的众多关系。主要结果有:连续偏序集的测度拓扑实际上是由其上的任一全测度所决定且可由它的定向完备化上的测度拓扑和全测度分别限制得到;当连续偏序集还是D om a in时,其上的测度拓扑与μ拓扑一致;连续偏序集有可数基当且仅当其上的测度拓扑是可分的;一个网如果测度收敛则存在最终上确界;任一ω连续偏序集上都存在全测度。     

关于Scott开滤子拓扑核紧性的注记

本文构造了两个例子:(1)利用康托三分集构造了一个非连续的DCPO,这个非连续DCPO关于所有Scott开滤子为子基生成的拓扑是核紧的,T0的,且以Scott开滤子为基,从而回答了[2]提出的一个问题;(2)利用Domain函数空间给出一个非连续的DCPO,其上的Scott拓扑有开滤子基,这个例子比[3]中给出的更直观.     

抽象基上的伪e拓扑与伪ρ拓扑

在抽象基上引入了伪e拓扑和伪ρ拓扑,研究了这两种内蕴拓扑的性质以及与其它内蕴拓扑的关系。利用伪e拓扑与伪ρ拓扑得到具有辅助关系的偏序集的辅助基的若干等价刻画。证明了具有辅助关系的偏序集的辅助基恰是伪ρ拓扑的稠子集。