首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 78 毫秒
1.
本文给出了一个反例说明超连续domain L在Scott连续闭包算子c下的像c(L)不一定是超连续domain,证明了若超连续domain L上的Scott连续投射p有上伴随或有下伴随,则p(L)是超连续domain;若超代数domain L上的Scott连续闭包算子c有上伴随或有下伴随,则c(L)是超代数domain.  相似文献   

2.
对拟连续domain引入了关于基的性质MF,证明了对拟连续domain P,任两个Scott紧上集的交是Scott紧当且仅当P关于某一(任一)基具有性质MF.  相似文献   

3.
拟连续Domain与广义完全分配格   总被引:4,自引:0,他引:4  
杨金波  罗懋康 《数学进展》2007,36(4):399-406
本文证明了(1)在合适的态射下,拟连续domain范畴与广义完全分配范畴等价;(2)对有界完备的拟连续domain P,(P,σ(P))为极大极限空间.  相似文献   

4.
证明了:(1)具有性质M的dcpo为拟连续domain当且仅当其上的下拓扑开集格在集合包含序下为连续格;(2)对于dcpo L,L为拟连续domain当且仅当ΣL的Hoare空间为局部强紧空间.  相似文献   

5.
拟连续Domain及其子范畴间的伴随关系   总被引:2,自引:0,他引:2  
寇辉  罗懋康 《数学年刊A辑》2002,23(5):633-642
基于Snyth幂Domain的构造,本文证明了连续半格范畴CSL(分别地,有界完备连续Domain范畴CBD)是拟连续Domain范畴QCONT(分别地,Coherent拟连续Domain范畴QCCOH)的反射子范畴反例表明,连续Domain范畴CONT作为范畴QCONT的真子范畴并非其反射子范畴.所有结果均被进一步推广到拟代数Domain范畴。  相似文献   

6.
拟连续Domain及其子范畴间的伴随关系   总被引:1,自引:0,他引:1  
基于Smyth幂 Domain的构造,本文证明了连续半格范畴 CSL(分别地,有界完备连续Domain范畴CBD)是拟连续Domain范畴QCONT(分别地,Coherent拟连续 Domain范畴QCCOH)的反射子范畴.反例表明,连续 Domain范畴CONT作为范畴 QCONT的真子范畴并非其反射子范畴.所有结果均被进一步推广到拟代数Domain范畴.  相似文献   

7.
拟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.  相似文献   

8.
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))为严格完全正则序空间.  相似文献   

9.
对一般子集系统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))为严格完全正则序空间。  相似文献   

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

11.
连续Domain的遗传性及其不变性   总被引:1,自引:0,他引:1  
引入Domain子空间的概念,得到Scott开集和闭集都是Domain的子空间。证明连续Domain或代数Domain对开子空间和闭子空间都是可遗传的。证明连续Domain或代数Domain在保Waybelow序的Scott连续映射下保持不变。  相似文献   

12.
定义相容Domain的子Domain与子空间等概念,得到Scott开集和Scott闭集都是相容Domain的子Domain与子空间的结论,证明了相容连续Domain或相容代数Domain对开子空间和闭子空间都是可遗传的。  相似文献   

13.
首先给出相客定向极小集的概念,讨论它的性质及与相客连续Domain的关系;其次蛤出相客连续Domain基的概念,得到它的等价刻画.最后,引入了相客连续Domain上的序同态,同时研究了它的性质,并得出相应的扩张定理.  相似文献   

14.
在定向完备偏序集(即dcpo)上引入了拟基的概念,给出了拟基的若干刻画并在此基础上定义了拟连续Domain的权。探讨了拟连续Domain的权与该拟连续Domain上赋予内蕴拓扑时的拓扑空间的权之间的关系。  相似文献   

15.
文中引进了区域上的Triebel-Lizorkin空间,以及原子和分子的概念,为了更好的理解这些空间,我们得到了这类Triebel-Lizorkin空间的原子分解和分子分解.这些结论是调和分析中函数空间分解理论的补充和完善.  相似文献   

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

17.
一类Domain范畴及其笛卡儿闭子范畴   总被引:4,自引:2,他引:2  
张奇业  樊磊  郑崇友 《数学学报》2001,44(5):823-828
本文给出一类新的 Domain范畴 AlgD■(即以代数 Domain为对象,保逼近序的Scott连续函数为态射的范畴)及其满子范畴AlgD■(即以有底(最小元)的代数Domain为对象,保逼近序的Scott连续函数为态射的范畴),并且讨论它们的极大的笛卡儿闭的满子范畴.  相似文献   

18.
in this paper, we characterize the automorphism groups of Toeplitz algebras oncertain strongly pseudoconvex domains of Cn, and obtain a generalized BDF theorem for aspecial kind of essential normal operator tupies.  相似文献   

19.
连续偏序集及其Smyth幂的几个等权定理   总被引:2,自引:1,他引:1  
推广连续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的权。  相似文献   

20.
典型域上R—W多项式及内函数的存在性   总被引:1,自引:1,他引:0  
该文给出了多复变四类典型域(m,n),(n),(2k),(3)及(n)上的R-W型多项式,并证明了这些区域上内函数的存在性.  相似文献   

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

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