共查询到18条相似文献,搜索用时 125 毫秒
1.
定义相容Domain的子Domain与子空间等概念,得到Scott开集和Scott闭集都是相容Domain的子Domain与子空间的结论,证明了相容连续Domain或相容代数Domain对开子空间和闭子空间都是可遗传的。 相似文献
2.
何卫民 《纯粹数学与应用数学》2010,26(2):211-214
引入了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
基于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.
本文研究了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.
12.
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.
Marcel Erné 《Applied Categorical Structures》2016,24(5):471-496
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,自身不必是交连续的. 相似文献