首页 | 官方网站   微博 | 高级检索  
相似文献
 共查询到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.
Z-半连续格     
作为连续格和半连续格的公共推广,引入了广义理想子系统Z、Z-半连续格及强Z-连续格的概念,讨论了它们的基本性质和Z-半连续格的函数空间的结构,给出了强Z-连续格到方体的嵌入,证明了当子系统Z满足一定条件时,Z-半连续格范畴SCLZ是笛卡儿闭的。  相似文献   

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.
在模糊完备格上定义了模糊beneath关系、模糊beneath紧元,并引入了模糊C-连续格和模糊C-代数格的概念,证明了它们分别是分明C-连续格和C-代数格的一种推广。讨论了模糊C-连续格上模糊beneath关系的性质,并利用模糊Galois伴随给出了模糊C-连续格的一个等价刻画。  相似文献   

8.
基于超连续格的内蕴式刻画,引入HC-偏序集的概念,讨论了HC-偏序集的一些性质.类似地,作为超代数格的推广,引入了HA-偏序集并讨论其相关性质.  相似文献   

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  
徐晓泉  罗懋康  黄艳 《数学学报》2005,48(2):221-234
对一般子集系统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-代数的全体以点式序形成代数格.  相似文献   

12.
本文对定向极小集作了进一步的研究,得到一系列重要性质,文章最后给出连续格为完全分配格的一个充分条件.  相似文献   

13.
关于连续Domain权的进一步结果   总被引:8,自引:4,他引:4  
在连续格理论的基础上探索连续Domain的权与相应Scott拓扑空间的权之间的关系,并进一步讨论其与相应的Lawson拓扑空间的权之间的关系,最后给出在连续Domain中W(P)=W(∑P)=W(AP)的结论。  相似文献   

14.
给出以保任意交和定向并为态射的拟连续格范畴的逆极限,讨论函子保广义拟连续格逆极限的条件。  相似文献   

15.
郑崇友、樊磊、崔宏斌著的((Fra与连续格》一书(以下简称《格》)已由首都师范大学出版社出版.《格》是我国第一部系统论述Frame理论和连续格理论的学术专著,是适合于格与拓扑方向研究生和高年级本科生使用的好教材.1《格》提供了广义空间理论的一个要览按Bourbaki...  相似文献   

16.
超连续格(超连续完备半格)可以由函数空间刻画,并且超连续格(超连续完备半格)在Scott连续函数空间下是封闭的,进而其相应的范畴均是Cartesian闭范畴.  相似文献   

17.
超连续格(超连续完备半格)可以由函数空间刻画,并且超连续格(超连续完备半格)在Scott连续函数空间下是封闭的,进而其相应的范畴均是Cartesian闭范畴.  相似文献   

18.
刘龙章 《工科数学》1997,13(3):7-10
本文对定向极小集作了进一步的研究,得到一系列重要性质,文章最后给出连续格为完全分配格的一个充分条件。  相似文献   

19.
ψ—连续格的刻划与完全分配格的拓扑表示定理   总被引:2,自引:0,他引:2  
李雷  吴从Xing 《数学学报》1997,40(6):875-880
本文在完备格中引入ψ-S集的概念,并在讨论ψ-S集族性质的基础上给出-ψ-连续格的一族拓扑及格论刻划,用局部超紧的Sober空间范畴给出完全分配格的拓扑表示定理。  相似文献   

20.
广义Smooth格   总被引:1,自引:1,他引:0  
作为由Weng所引入的smooth格和scott紧生成格的推广,引入了广义smooth 格和广义smooth代数格,讨论了它们的一些基本性质,证明了完备格L是广义完全分配格当且仅当L是广义smooth格和广义连续格.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号