共查询到20条相似文献,搜索用时 31 毫秒
1.
引入了拟C-连续偏序集的概念,利用拟C-连续性证明了dcpo L是拟连续的当且仅当L上的Scott闭集格是拟连续格.证明了满足性质M的dcpo上的Scott闭集格都是C-代数格,从而给出了具有同构Scott闭集格的两dcpo同构的新的充分条件. 相似文献
2.
3.
4.
利用偏序集上的半拓扑结构,引入了交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-连续格也可以不是交连续格. 相似文献
5.
利用cut算子,在偏序集上引入网的下极限收敛概念,讨论了它的一些性质,特别地,对任意包含于σ2-拓扑的序相容拓扑τ,证明了一偏序集是τ-连续的当且仅当S-收敛是拓扑的当且仅当它是交τ-连续的且下极限收敛是拓扑的. 相似文献
6.
将一致小于关系移植到一般偏序集上,同时引入了上界小于关系,定义了偏序集的一致连续性和上界连续性.给出了一致连续偏序集的等价刻画,探讨了一致连续偏序集所具有的性质.主要结果有:(1)证明了偏序集上的一致连续性,上界连续性与s-超连续性均等价;(2)在交半格条件下,偏序集的一致连续性等价于它的每一主理想一致连续;(3)在并半格条件下,偏序集的一致连续性蕴含连续性,反之不成立;(4)一致完备的一致连续偏序集均是连续bc-dcpo,且每个主理想均为完全分配格;(5)在一致完备的条件下,一致连续性对主滤子,对闭区间,对Scott S-集以及对一致连续投射像均是可遗传的.文中也构造了若干实用的反例. 相似文献
7.
讨论抽象基(特别是偏序集带辅助序)上的伪Scott拓扑与伪Scott开滤子集的一些基本性质, 推广了Domain理论中一些熟知的结论,证明了抽象基上的伪Scott拓扑是完全分配格;若在偏序集P上赋予辅助关系<, 则其上伪Scott开滤子之集是连续domain. 相似文献
8.
对拟连续domain引入了关于基的性质MF,证明了对拟连续domain P,任两个Scott紧上集的交是Scott紧当且仅当P关于某一(任一)基具有性质MF. 相似文献
9.
证明φ-完备偏序集是(强)P连续的当且仅当该偏序集的任一主理想是(强)φ-连续的。在φ-完备偏序集中利用φ-S集族生成f-Scott拓扑,并由此引入φ-交连续偏序集概念。证明φ-完备偏序集是P交连续的当且仅当该偏序集的任一主理想是φ-交连续的。 相似文献
10.
引入了FS-偏序集和连续L-偏序集概念,探讨了FS-偏序集和连续L-偏序集的性质.主要结果有(1)每一FS-偏序集都是有限上集生成的,因而是Scott紧的;(2)证明了FS-偏序集(连续L-偏序集)的定向完备化是FS-偏序集(连续L-偏序集);(3)一个偏序集是一个FS-Domain当且仅当它为Lawson紧的FS-偏序集;(4)FS-偏序集(连续L-偏序集)去掉部分极大元后还是FS-偏序集(连续L-偏序集). 相似文献
11.
12.
主要讨论模糊偏序集上理想完备性的本质.并得到以下结论:模糊偏序集的理想完备是幂等的当且仅当理想完备上的广义Scott拓扑与Alexandroff拓扑是一致的. 相似文献
13.
对一般子集系统Z,引入了Z-拟连续domain的概念,证明了Z-完备偏序集P是Z-拟连续的当且仅当P上的Z-Scott拓扑σ_z(P)在集包含序下是超连续格;Z-拟连续domain P上的Z-Scott拓扑σ_z(P)是Sober的当且仅当σ_z(P)具有Rudin性质,P赋予Z-Lawson拓扑λ_z(P)是pospace;且若P上的Z-Lawson开上集是Z-Scott开的,Z-Lawson开下集是下拓扑开的,则(P,λ_z(P))为严格完全正则序空间。 相似文献
14.
Z-拟连续domain上的Scott拓扑和Lawson拓扑 总被引:16,自引:0,他引:16
对一般子集系统Z,引入了Z-拟连续domain的概念,证明了Z-完备偏序集P是Z-拟连续的当且仅当P上的Z-Scott拓扑σZ(P)在集包含序下是超连续格;Z-拟连续domain P上的Z-Scott拓扑σZ(P)是Sober的当且仅当σZ(P)具有Rudin性质,P贼予Z-Lawson拓扑λZ(P)是pospace,且若P上的Z-Lawson开上集是Z-Scott开的,Z-Lawson开下集是下拓扑开的,则(P,λZ(P))为严格完全正则序空间. 相似文献
15.
《高校应用数学学报(A辑)》2020,(1)
从序与拓扑的交叉考虑,进一步研究偏序集在多种内蕴拓扑下的连通性和局部连通性.主要结果有:(1)一个偏序集是序连通的当且仅当它赋予Alexandrov拓扑是连通的,也当且仅当它赋予Scott拓扑是连通的;(2)每一偏序集赋予Alexandrov拓扑是局部连通的,每一偏序集赋予Scott拓扑是局部连通的;(3)如果拓扑空间的特殊化偏序集序连通,则该拓扑空间是连通的;(4)构造反例说明了存在偏序集赋予下拓扑后是连通空间,但该偏序集本身不是序连通的. 相似文献
16.
从序与拓扑的交叉考虑,进一步研究偏序集在多种内蕴拓扑下的连通性和局部连通性.主要结果有:(1)一个偏序集是序连通的当且仅当它赋予Alexandrov拓扑是连通的,也当且仅当它赋予Scott拓扑是连通的;(2)每一偏序集赋予Alexandrov拓扑是局部连通的,每一偏序集赋予Scott拓扑是局部连通的;(3)如果拓扑空间的特殊化偏序集序连通,则该拓扑空间是连通的;(4)构造反例说明了存在偏序集赋予下拓扑后是连通空间,但该偏序集本身不是序连通的. 相似文献
17.
18.
Domain函数空间上Isbell拓扑与Scott拓扑何时相同 总被引:3,自引:0,他引:3
本文证明了,若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提出的一个公开问题的一个部分回答. 相似文献
19.