偏序集上一致连续性的等价刻画与性质

将一致小于关系移植到一般偏序集上,同时引入了上界小于关系,定义了偏序集的一致连续性和上界连续性.给出了一致连续偏序集的等价刻画,探讨了一致连续偏序集所具有的性质.主要结果有:(1)证明了偏序集上的一致连续性,上界连续性与s-超连续性均等价;(2)在交半格条件下,偏序集的一致连续性等价于它的每一主理想一致连续;(3)在并半格条件下,偏序集的一致连续性蕴含连续性,反之不成立;(4)一致完备的一致连续偏序集均是连续bc-dcpo,且每个主理想均为完全分配格;(5)在一致完备的条件下,一致连续性对主滤子,对闭区间,对Scott S-集以及对一致连续投射像均是可遗传的.文中也构造了若干实用的反例.     

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

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

可数S_2-拟连续偏序集

作为广义可数逼近偏序集与S2-拟连续偏序集的共同推广,引入了可数S2-拟连续偏序集的概念并讨论了它的一些性质.本文的主要结果:(1)可数S2-拟连续偏序集上的可数way below关系满足插入性质;(2)可数S2-拟连续偏序集关于其上的弱σ-Scott拓扑为局部紧致的可数sober空间;(3)偏序集P为可数S2-连续偏序集当且仅当P为可数S2-交连续的可数S2-拟连续偏序集.     

可数S_2-拟连续偏序集北大核心CSCD

作为广义可数逼近偏序集与S2-拟连续偏序集的共同推广,引入了可数S2-拟连续偏序集的概念并讨论了它的一些性质.本文的主要结果:(1)可数S2-拟连续偏序集上的可数way below关系满足插入性质;(2)可数S2-拟连续偏序集关于其上的弱σ-Scott拓扑为局部紧致的可数sober空间;(3)偏序集P为可数S2-连续偏序集当且仅当P为可数S2-交连续的可数S2-拟连续偏序集.     

交C-连续偏序集

利用偏序集上的半拓扑结构,引入了交C-连续偏序集概念,探讨了交C-连续偏序集的性质、刻画及与C-连续偏序集、拟C-连续偏序集等之间的关系.主要结果有:(1)交C-连续的格一定是分配格;(2)有界完备偏序集(简记为bc-poset)L是交C-连续的当且仅当对任意x∈L及非空Scott闭集S,当∨S存在时有x∧∨S=∨{x∧s:s∈S};(3)完备格是完备Heyting代数当且仅当它是交连续且交C-连续的;(4)有界完备偏序集是C-连续的当且仅当它是交C-连续且拟C-连续的;(5)获得了反例说明分配的完备格可以不是交C-连续格,交C-连续格也可以不是交连续格.     

交连续dcpo的遗传性和不变性

讨论了交连续dcpo的遗传性和不变性,证明了如下结论:(1)交连续dcpo对于开子空间和闭子空间都是可遗传的;(2)交连续dcpo在加最大元和去最小元运算下保持交连续性;(3)交连续dcpo的收缩核为交连续dcpo.另外,给出了交连续的主理想刻画的一个直接证明;构造了反例说明交连续dcpo对于主滤子是不可遗传的;也构造了反例说明所有主滤子都交连续的一个dcpo,自身不必是交连续的.     

Scott闭集格的C-代数性及其应用

引入了拟C-连续偏序集的概念,利用拟C-连续性证明了dcpo L是拟连续的当且仅当L上的Scott闭集格是拟连续格.证明了满足性质M的dcpo上的Scott闭集格都是C-代数格,从而给出了具有同构Scott闭集格的两dcpo同构的新的充分条件.     

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

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

FS-偏序集和连续L-偏序集

引入了FS-偏序集和连续L-偏序集概念,探讨了FS-偏序集和连续L-偏序集的性质.主要结果有(1)每一FS-偏序集都是有限上集生成的,因而是Scott紧的;(2)证明了FS-偏序集(连续L-偏序集)的定向完备化是FS-偏序集(连续L-偏序集);(3)一个偏序集是一个FS-Domain当且仅当它为Lawson紧的FS-偏序集;(4)FS-偏序集(连续L-偏序集)去掉部分极大元后还是FS-偏序集(连续L-偏序集).     

偏序集的内蕴拓扑连通性

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

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

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

S-超连续偏序集的几个特征

本文在偏序集上引入Scott S-集、S-基、弱逼近元等概念,得到S-超连续偏序集的几个新的刻画。证明了偏序集是S-超连续的当且仅当任不同两点可由主滤子与Scott S-集分离当且仅当它有S-基。证明了有界完备偏序集(简记为bc-poset)L是S-超连续的当且仅当任不同两点可由Scott S-余滤子集分离当且仅当完全双小于关系■具有插值性质,且L中不同点决定的完全双小于下集也不同。     

C_Z-偏序集

我们将强Z-连续偏序集推广到了CZ-偏序集,并讨论了CZ-偏序集和强Z-连续偏序集之间的关系。同时我们定义了CZ-偏序集上的CZ-连续映射,得到CZ-偏序集在该映射下的像集仍是CZ-偏序集。最后,我们讨论了CZ-偏序集上的基及其相关性质。     

Z-连通连续偏序集的遗传性及不变性

本文引入了Z_c-子空间的概念,证明了Z_c-连续(代数)偏序集对Z_c-闭集是可遗传的,并给出例子说明Z_c-连续偏序集的Z_c-Scott开集通常不是Z_c-连续的。最后我们证明了在特殊的连通集系统下,Z_c-连续(代数)性在既保局部基又保Z_c-集并的映射下保持不变,且Z_c-连续(代数)偏序集的收缩仍是Z_c-连续(代数)偏序集。     

H-代数偏序集

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

连续偏序集及其Smyth幂的几个等权定理

推广连续D om a in的权的概念到连续偏序集上,探讨连续偏序集的权、相应内蕴拓扑的权、定向完备化的权以及Sm yth幂D om a in的权间的关系。得到了几个等权定理:(1)连续偏序集的权与其上Scott拓扑、L aw son拓扑的权相等;(2)连续偏序集的权与其定向完备化的权相等;(3)无穷连续D om a in的权与其Sm yth幂D om a in的权相等;(4)有限D om a in的权小于或等于它的Sm yth幂D om a in的权。     

Rudin性质与拟Z-连续Domain

对一般子集系统 Z,引入了 Rudin性质,给出了它的映射式刻划,作为拟连续偏序集和Z-连续偏序集的公共推广,引入了拟Z-连续Domain的概念,讨论了拟Z-连续Domain的基本性质,特别地,给出了 Rudin性质及其映射式刻划在拟 Z-连续Domain方面的若干应用,将关于拟连续偏序集的主要结果推广至了拟 Z-连续 Domain情形。     

Rudin性质与拟Z-连续Domain

对一般子集系统Z,引入了Rudin性质,给出了它的映射式刻划.作为拟连续偏序集和Z-连续偏序集的公共推广,引入了拟Z-连续Domain的概念,讨论了拟Z-连续Domain的基本性质,特别地,给出了Rudin性质及其映射式刻划在拟Z-连续Domain方面的若干应用,将关于拟连续偏序集的主要结果推广至了拟Z-连续Domain情形.     

偏序集的φ-(交)连续性及其主理想刻画

证明φ-完备偏序集是（强）P连续的当且仅当该偏序集的任一主理想是（强）φ-连续的。在φ-完备偏序集中利用φ-S集族生成f-Scott拓扑，并由此引入φ-交连续偏序集概念。证明φ-完备偏序集是P交连续的当且仅当该偏序集的任一主理想是φ-交连续的。     

分层偏序集上的广义Scott拓扑与不可约拓扑

分层偏序集指的是一个偏序集,且具有其交为已知偏序的按包含递减的偏序族[10]。本文仿照[1]的思路,在分层偏序集上定义了不可约拓扑,讨论了该拓扑的基本性质,特别是限制到偏序集上即得Scott拓扑。不同于一般偏序集上的Scott拓扑恰为Alexandroff拓扑的不可约拓扑,本文通过例子表明分层偏序集上的广义Scott拓扑并非广义Alexandroff拓扑的不可约拓扑。