基于传递二元关系的Scott拓扑

文件类型:研究论文

作者

1埃及阿西乌特大学数学科学学院,71516

2埃及新谷大学理学院数学系

摘要

在偏序集的研究中,诸如Scott-topology之类的拓扑被证明是最重要的。为了在更一般的定量域设置中具有类似拓扑的工具,我们引入了一种在具有传递二元关系的集合上构造Scottopoly的方法,我们称之为t-set。作为这个结果的应用,有一个Scott-拓扑与由其特化预序关系诱导的任何拓扑相关联。研究了该拓扑与原始拓扑之间的一些关系。

关键词


[1] S.Abramsky和A.Jung,领域理论,收录于S.Abram sky、D.M.Gabbay和T.S.E.Maibaum(编辑),《计算机科学中的逻辑手册》,3,克拉伦登出版社,1994年,第1-168页。
[2] G.Bancerek,《路-流关系》,形式化数学,6(1)(1997),169-176。(1997).
[3] G.Birkho,《晶格理论》(第三版)。《普罗维登斯:美国数学学会》,哥伦比亚出版社,1967年。
[4] M.Bonsange,F.van Breugal和J.Rutten,广义度量空间的Alexandro和Scott拓扑,在:关于一般拓扑及其应用的论文,Andima S.et al.,Southern Main大学第十一届夏季会议,纽约科学院年鉴,806(1996),49-68。
[5] R.Engelking,《一般拓扑》,波兰科学出版社,华沙,1977年。
[6] G.K.Gierz、K.H.Ho mann、K.Keimel、J.D.Lawson、M.W.Mislove和D.S.Scott,《连续格纲要》,施普林格-弗拉格出版社,柏林,1980年。
[7] J.Goubault-Larrecq,非豪斯多拓扑和域理论,《新数学专著》,第22卷,剑桥大学出版社,剑桥,2013年。
[8] R.Heckmann,电力领域建设(Potenzbereich-Konstruktionen),博士论文,萨尔兰德大学,1999年12月。
[9] J.L.Kelly,《一般拓扑学》,Van Nostrand,纽约,1955年。
[10] R.Kummetz,《带投影的部分有序集及其拓扑》,德累斯顿理工大学博士论文,2000年。
[11] K.G.Larsen,G.Winskel,《使用信息系统有效地求解递归区域方程》。收录:G.Kahn、D.B.MacQueen和G.Plotkin(编辑)数据类型语义。SDT 1984年。计算机科学课堂讲稿,第173卷。施普林格,柏林,海德堡,1984年。
[12] S.Lipschutz,Schaum的一般拓扑学理论和问题提纲,纽约:McGraw-Hill INT,1965年。
[13] J.Nino-Salcedo,《关于连续偏序集及其应用》,杜兰大学博士论文,1981年。
[14] O.R.Sayed,S.A.Abd El-Baki和N.H.Saye德,传递二元关系集的一些性质和连续性,亚洲数学,5(2)(2021),49-59。
[15] S.Vickers,连续偏序集的信息系统,理论计算机科学,114(1993),201-299。
[16] P.Waszkiewicz,定量连续域,博士论文,伯明翰大学,Edgbaston,B15 2TT,英国伯明翰,2002年5月。
[17] B.Windels,《Scott方法结构:定量域理论Scott拓扑的扩展》,匈牙利科学院学报,88(1-2)(2000),35-44。
[18] 岳月丽,姚伟,何翁健,斯科特闭集在凸结构中的应用,拓扑及其应用,314(2022),108093。
[19] D.Zhao和W.K.Ho,《关于不可约集定义的拓扑》,《程序设计中的逻辑和代数方法杂志》,84(2015),185-195。
[20] 邹总,李启强,何文凯,通过近似算子得到的域,计算机科学中的逻辑方法,14(2:6)(2018),1{17。