×

广义连续闭包空间。一: 满足保存关闭操作。 (英语) Zbl 1477.06019号

摘要:我们研究了任意空间或有序集中收敛和连续的一般概念,极大地扩展了域理论中的拓扑概念,如Scott收敛、别名下(lim-inf)收敛和Scott拓扑。结果表明,收敛性——局部化、极限关系、前拓扑或拓扑的理论性质——分别对应于基本有序集的重要性质,这些基本有序集可简化为(满足)连续性以及经典情况下的类似性质。基本工具是截闭包算子和它们的各种有序理论或拓扑变体。我们将广义Scott收敛空间抽象地刻画为所谓的核决定收敛空间。这个统一的概念简化了序理论、拓扑和理论计算机科学的各个领域,并提供了新的见解。特别地,在收敛性、满足保持性和满足操作的连续性之间建立了一些密切的联系。

MSC公司:

06B35号 连续格和偏序集,应用
2012年2月6日 框架、区域设置
54天10分 下分离公理(\(T_0\)–\(T_3\)等)
54天30分 压实度
54D45号 局部紧性,\(\σ\)-紧性
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 安德拉迪,H。;Ho,W.K.,拓扑Scott收敛定理,Log。方法计算。科学。,第15条,第29页(2019年)·Zbl 1415.54001号
[2] Banaschewski,B.,局部Tychonoff定理的另一个观点,评论。数学。卡罗尔大学。,29, 647-656 (1988) ·Zbl 0667.54009号
[3] Bandelt,H.-J。;Erné,M.,(mathcal{M})-分配格的表示和嵌入,霍斯特。数学杂志。,10, 315-324 (1984) ·Zbl 0551.06014号
[4] Baranga,A.,Z连续偏序集,拓扑方面,Stud.Cercet。材料,49,3-16(1997)·Zbl 0883.06007号
[5] Čech,E.,拓扑空间(1966),约翰·威利父子公司:约翰·威利父子公司布拉格·兹伯利0141.39401
[6] Choquet,G.,Convergences,Ann.Univ.Grenoble,Sci。数学。物理。,23, 57-112 (1948) ·Zbl 0031.28101号
[7] Dolecki,S。;Mynard,F.,《拓扑收敛基础》(2016),《科学字:科学字新泽西——伦敦》·Zbl 1345.54001号
[8] Erné,M.,Verallgemeinerungen der Verbandtheorie II:《halbgeordneten Mengen und Hüllenräumen的理想》(1979),汉诺威大学,《习惯化论文》
[9] Erné,M.,连续格概念的完全不变扩展,(Banaschewski,B.;Hoffmann,R.-H.,连续格。连续格,数学讲义,第871卷(1981),Springer:Springer-Belin),45-60·兹伯利0467.06004
[10] Erné,M.,《偏序集上的Scott收敛和Scott拓扑II》,(Banaschewski,B.;Hoffmann,R.-H.,《连续格》,数学讲义,第871卷(1981),Springer:Springer Berlin),61-96(1979),汉诺威大学,扩展版:·Zbl 0482.54023号
[11] Erné,M.,Distributionvgesetze und Dedekind’sche Schnitte,Abh.Braunschw。威斯。Ges.、。,33, 117-145 (1982) ·Zbl 0526.06005
[12] Erné,M.,《收敛性和分配性:一项调查》,(Hoffmann,R.-E.,《连续格及其相关主题》,《连续格子及其相关主题,Mathematik Arbeitspapiere Bremen》,第27卷(1982年),第39-50页
[13] Erné,M.,关于格中分解的存在性,代数大学。,16, 338-343 (1983) ·Zbl 0516.06004号
[14] Erné,M.,《秩序和拓扑的ABC》(Herrlich,H.;Porst,H.-E.,《工作中的范畴理论》(1991),赫尔德曼:赫尔德曼-柏林),57-83·Zbl 0735.18005号
[15] Erné,M.,(mathcal{Z})-连续偏序集及其拓扑表现,应用。类别。结构。,7, 31-70 (1999) ·Zbl 0939.06005号
[16] Erné,M.,构造序理论,数学。日志。Q.,47,211-222(2001)·Zbl 0992.03059号
[17] Erné,M.,《佐证与伽罗瓦联系:起源、历史与发展》,(Denecke,K.;Erné),M.;Wismath,S.L.,《伽罗瓦连接与应用》(2004),Kluwer Acad。出版物:Kluwer学院。出版物。多德雷赫特),1-138·Zbl 1067.06003号
[18] Erné,M.,《近似和分布之间的极性》(Denecke,K.;Erné),M.;Wismath,S.L.,Galois Connections and Applications(2004),Kluwer Acad。出版物:Kluwer学院。出版物。多德雷赫特),173-210·Zbl 1061.06010号
[19] Erné,M.,Closure,(Mynard,F.;Pearl,E.,《超越拓扑》,《超越拓扑学》,当代数学,第486卷(2009),Amer。数学。Soc.:美国。数学。Soc.Providence,RI),163-238年·兹比尔1192.54001
[20] Erné,M.,无限分配律与局部连通性和紧致性的关系,拓扑。申请。,156, 2054-2069 (2009) ·Zbl 1190.54022号
[21] Erné,M.,补丁和网络空间,白杨。程序。,52, 139-166 (2018) ·Zbl 1400.54034号
[22] Erné,M.,《网络空间和全球网络空间:领域理论的拓扑方面》,Log。方法计算。科学。,第15条,第23页(2019年)·兹比尔1476.54030
[23] M.Erné,广义连续闭包空间II:预印本,汉诺威大学,2018。
[24] M.Erné,广义连续闭包空间III:\(mathcal{M}\)-拟连续性和\(mathcal{M{)-极限收敛,预印本,汉诺威大学,2018。
[25] M.Erné。;Gatzke,H.,偏序集和半格中的收敛性和连续性,(Hoffmann,R.-E.;Hofmann,K.H.,《连续格及其应用》,《纯数学和应用数学讲义》,第101卷(1985),马塞尔·德克尔:马塞尔·德克尔纽约),9-40·Zbl 0591.54029号
[26] M.Erné。;Pultr,A。;Sichler,J.,《封闭框架和腹板空间》(2000),查尔斯大学:布拉格查尔斯大学,KAM-DIMATIA 2000-501
[27] M.Erné。;Weck,S.,《格的阶收敛》,《落基山数学》。,10, 805-818 (1980) ·Zbl 0432.06008号
[28] Fischer,H.R.,Limesräume,数学。Ann.,137269-303(1959年)·Zbl 0086.08803号
[29] Frink,O.,《偏序集中的理想》,美国数学。周一。,61, 223-234 (1954) ·Zbl 0055.25901号
[30] Gierz,G。;霍夫曼,K.H。;Keimel,K。;劳森·J·D。;Mislove,M。;Scott,D.S.,《连续格与域》(2003),剑桥大学出版社:剑桥大学出版社·Zbl 1088.06001号
[31] Goubault-Larrecq,J.,《非豪斯道夫拓扑和域理论》,新数学。专著,第22卷(2013),剑桥大学出版社:剑桥大学出版社·兹比尔1280.54002
[32] Hausdorff,F.,Grundzüge der Mengenlehre(1978),切尔西出版社。公司:Chelsea Publ。柏林公司,以及·Zbl 0041.02002号
[33] 何,Q。;Xu,L.,强半连续晶格,电子。注释Theor。计算。科学。,333, 31-41 (2017) ·Zbl 1395.06001号
[34] Kent,D.C.,收敛函数及其相关拓扑,Fundam。数学。,54, 125-133 (1964) ·兹比尔0122.41301
[35] 肯特特区。;Richardson,G.D.,最小收敛空间,Trans。数学。《社会学杂志》,160,487-499(1971)·Zbl 0226.54002号
[36] Kou,H。;刘义明。;罗明凯,《论会议连续dcpos》,(张国强;劳森,J.;刘,Y.-M.;罗明凯,域理论、逻辑和计算,第二届国际域理论研讨会论文集。域理论、逻辑学和计算,论文集。第二届国内域理论研讨会,四川(2001),斯普林格),117-135
[37] Kowalsky,H.-J.,Limesräume und Komplettierung,数学。纳克里斯。,12, 301-340 (1954) ·Zbl 0056.41403号
[38] 科西奇,I。;Pultr,A.,空间性准则和非拓扑的拟拓扑,Houst。数学杂志。,15, 215-234 (1989) ·Zbl 0695.54002号
[39] Menon,V.G.,关于Z连续偏序集拓扑的注记,评论。数学。卡罗尔大学。,37, 821-824 (1996) ·Zbl 0888.06005号
[40] Nowak,D.,连续偏序集的推广,Trans。数学。《社会学杂志》,272645-667(1982)·Zbl 0504.06003号
[41] Picado,J。;Pultr,A.,《框架和地点》(2012年),Birkhäuser:Birkháuser Basel·Zbl 1231.06018号
[42] 斯蒂恩,洛杉矶。;Seebach,J.A.,《拓扑反例》(1970),霍尔特、莱茵哈特和温斯顿公司:霍尔特、雷茵哈特与温斯顿公司,纽约·Zbl 0211.54401号
[43] Weck,S.,偏序集上的Scott收敛和Scott拓扑I,(Banaschewski,B.;Hoffmann,R.-H.,连续格。连续格,数学讲义,第871卷(1981),Springer:Springer-Blin),372-383·兹比尔04825.4022
[44] Yao,W.,偏序集上的\(\mathcal{M}\)-Scott收敛和\(\mathcal{M}\)-Scott拓扑,Honam Math。J.,33,279-300(2011)·Zbl 1272.06016号
[45] Yihui,Z。;Bin,Z.,偏序集中的序收敛和lim-inf({}_{mathcal{M}})-收敛,J.Math。分析。申请。,325, 655-664 (2007) ·Zbl 1116.06007号
[46] Zhang,W.F。;Xu,X.Q.,(s_2)-拟连续偏序集,Theor。计算。科学。,574,78-85(2015)·Zbl 1315.06007号
[47] Zhang,W.F。;Xu,X.Q.,(s_1)-拟连续偏序集上的(sigma_1)拓扑和(lambda_1)拓扑学,Topol。申请。,204, 79-89 (2016) ·Zbl 1344.06008号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。