首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到18条相似文献,搜索用时 218 毫秒
1.
定义相容Domain的子Domain与子空间等概念,得到Scott开集和Scott闭集都是相容Domain的子Domain与子空间的结论,证明了相容连续Domain或相容代数Domain对开子空间和闭子空间都是可遗传的。  相似文献   

2.
引入了Scott相容连续映射与商相容Domain等概念,研究了Scott相容连续映射保局部基与保waybelow序及保局部基与保紧元之间的关系,证明了相容连续Domain或相容代数Domain在保局部基的Scott相容连续满映射下保持不变.  相似文献   

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

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

5.
群的一个Domain结构   总被引:1,自引:1,他引:0  
群可以通过在其上赋予循环群拓扑构造群的Domain模型,从而实现群的可计算性。群上的循环群偏序集及其对偶都是连续的偏序集,这个连续偏序集是代数Domain的充分必要条件是群的单位元是代数元。如果在pseudo-有限的群G及其循环群偏序集的对偶£^op[G]上分别赋予循环群拓扑和Scott拓扑,那么恒同函数是连续的。  相似文献   

6.
本文主要讨论了Domain函数空间上Isbell拓扑和Scott拓扑的一致性.利用Domain函数空间给出了一个例子: Scott拓扑有开滤子基的非连续的DCPO.  相似文献   

7.
FS-相容Domain的定向完备化及相关范畴性质   总被引:3,自引:1,他引:2  
引入FS-相容Domain概念,研究FS-相容Domain的性质,主要结果有:(1)FS-相容Domain的收缩核与连续函数空间还是FS-相容Domain;(2)FS-相容Domain是有限生成上集,从而是Scott紧的;(3)FS-相容Domain的定向完备化是FS-Domaln;(4)有最大元的FS-Domain去掉最大元后是FS-相容Domain;(5)证明了以Scott连续映射为态射,FS-相容Domain为对象的范畴FS-CDOM是笛卡儿闭范畴并以FS-Domain范畴FS-DOM作为满的反射子范畴。  相似文献   

8.
寇辉  刘应明 《数学年刊A辑》2000,21(5):579-584
本文研究了Domain理论中投射空间的性质.其主要结果是若连续cpoD的投射空间是连续的,则D必是代数Domain.进一步,若连续cpoD具有性质m,则其投射空间是连续cpo当且仅当D是代数Domain并且所有由紧元构成的序稠链是单点集.  相似文献   

9.
引入了相容半连续Domain、相容强连续Domain的概念,给出了一系列性质,讨论了相容半连续Domain、相容强连续Domain与相容连续Domain间的关系.引入了相容半Scott拓扑,并讨论了其相关性质.  相似文献   

10.
本文构造了两个例子:(1)利用康托三分集构造了一个非连续的DCPO,这个非连续DCPO关于所有Scott开滤子为子基生成的拓扑是核紧的,T0的,且以Scott开滤子为基,从而回答了[2]提出的一个问题;(2)利用Domain函数空间给出一个非连续的DCPO,其上的Scott拓扑有开滤子基,这个例子比[3]中给出的更直观.  相似文献   

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

12.
连续信息基     
D.Scott在20世纪60年代引入了domain理论,并给出了两种等价形式——信息系统和邻域系。在型论(typetheory)基础上,G.Sambin提出了形式拓扑(Formal topology)理论,并证明了一元形式拓扑与代数Scott domain等价,从而推出代数信息基的概念,同时作为信息系统与邻域系的推广。本文从信息基的观点出发,提出了连续信息基的概念,证明了它与连续Scott domain的等价性。  相似文献   

13.
对于CONT的任意一个笛卡儿闭的满子范畴C,构造CONT的两个新的满子范畴R-C(以C对象的收缩为对象的范畴)和B-C(以C扩张序列的双极限为对象的范畴),并证明了它们都是笛卡儿闭范畴。由于R-C和B-C都包含C为其满子范畴,利用上述结果可得CONT的极大笛卡儿闭子范畴必对收缩和双极限封闭。本文还从范畴笛卡儿闭性的角度给出了Domain理论中一个公开问题的等价描述。  相似文献   

14.
In this paper, consistent algebraic L-domains are considered. One algebraic and two topological characterization theorems for their directed completions are given. It is proved that eliminating a set of maximal elements with empty interior from an algebraic L-domain results a consistent algebraic L-domain whose directed completion is just the given algebraic L-domain up to isomorphism. It is also proved that the category CALDOM of consistent algebraic L-domains and Scott continuous maps is Cartesian closed and has the category ALDOM of algebraic L-domains and Scott continuous maps as a full reflective subcategory. Received January 8, 2005; accepted in final form June 15, 2005.  相似文献   

15.
连续偏序集及其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的权。  相似文献   

16.
A basic tool in domain theory and point-free topology are (Scott) open filters in a partially ordered set. A systematic investigation of that concept shows that central notions and facts like Lawson’s famous self-duality of the category of continuous domains may be established without invoking any choice principles, if only continuous domains are replaced by so-called δ-domains, which coincide with the former in the presence of dependent choices. Many of the conclusions remain valid for the more flexible notion of ζ-domains, comprising important variants such as algebraic or hypercontinuous domains.  相似文献   

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

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

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

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