共查询到20条相似文献,搜索用时 31 毫秒
1.
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))为严格完全正则序空间. 相似文献
2.
3.
对一般子集系统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))为严格完全正则序空间。 相似文献
4.
5.
6.
半连续格上的半Scott拓扑与半Lawson拓扑 总被引:4,自引:4,他引:0
在完备格上引入了半Scott拓扑与半Lawson拓扑,讨论了半连续格和强连续格上半Scott拓扑与半Lawson拓扑的一些基本性质。 相似文献
7.
8.
9.
Z-连续格的函数空间 总被引:1,自引:1,他引:0
若 Z为并完备的子集系统 ,且 IZ( L)关于集合的包含关系构成完备格 ,则 :( 1 ) Z-连续格的函数空间仍为 Z-连续的 ;( 2 )对于 Z-连续格范畴 ZL ,定义了一函子 F:ZL× ZL→ ZL. 相似文献
10.
拟Z-连续domain和Z-交连续domain 总被引:11,自引:0,他引:11
对一般子集系统Z,引入了Rudin性质、拟Z-连续domain及Z-交连续 domain的概念,讨论了它们的基本性质.特别是Z-连续性、拟Z-连续性、 Z-交连 续性和Z-Lawson拓扑之T2性之间的相互关系. 证明了当子集系统Z满足一定条件 时,拟Z-连续domain P上的Z-way below关系Z具有插入性质, P上的Z-Lawson 拓扑λZ(P)是T2的,且P可用Z-Lawson同态嵌入到某方体之中.文中给出了一个 domain P,其上的Lawson拓扑λ(P)是T2的,但P不是拟连续性domain. 相似文献
11.
提出了软泛代数概念,将已有的软群、软环等概念统一纳入这一框架中,从整体上研究了软泛代数的序结构性质,证明了固定指标集和T-代数后,相应的软T-代数全体以点式序形成代数格.引入了Scott连续软泛代数概念,证明了从代数紧拓扑空间到给定T-代数的Scott连续软T-代数的全体以点式序形成代数格. 相似文献
13.
关于连续Domain权的进一步结果 总被引:8,自引:4,他引:4
在连续格理论的基础上探索连续Domain的权与相应Scott拓扑空间的权之间的关系,并进一步讨论其与相应的Lawson拓扑空间的权之间的关系,最后给出在连续Domain中W(P)=W(∑P)=W(AP)的结论。 相似文献
15.
郑崇友、樊磊、崔宏斌著的((Fra与连续格》一书(以下简称《格》)已由首都师范大学出版社出版.《格》是我国第一部系统论述Frame理论和连续格理论的学术专著,是适合于格与拓扑方向研究生和高年级本科生使用的好教材.1《格》提供了广义空间理论的一个要览按Bourbaki... 相似文献
16.
超连续格(超连续完备半格)可以由函数空间刻画,并且超连续格(超连续完备半格)在Scott连续函数空间下是封闭的,进而其相应的范畴均是Cartesian闭范畴. 相似文献
17.
超连续格(超连续完备半格)可以由函数空间刻画,并且超连续格(超连续完备半格)在Scott连续函数空间下是封闭的,进而其相应的范畴均是Cartesian闭范畴. 相似文献
19.
ψ—连续格的刻划与完全分配格的拓扑表示定理 总被引:2,自引:0,他引:2
本文在完备格中引入ψ-S集的概念,并在讨论ψ-S集族性质的基础上给出-ψ-连续格的一族拓扑及格论刻划,用局部超紧的Sober空间范畴给出完全分配格的拓扑表示定理。 相似文献