搜索到37篇“ LAWSON拓扑“的相关文章
- 伪Lawson拓扑、伪e-拓扑与辅助基
- 2024年
- 本文在具有辅助关系的偏序集上引入伪Lawson拓扑概念,进一步讨论了抽象基特别是具有辅助关系的偏序集上伪Lawson拓扑、伪e-拓扑等多种内蕴拓扑的性质,如分离性、紧性和sober性,并将上述内蕴拓扑用于研究辅助基。
- 毛徐新徐罗山
- 偏序集中的下收敛与Lawson拓扑被引量：2
- 2012年
- 在偏序集中引入下极限的概念,利用下极限定义下收敛,讨论下收敛类所生成拓扑的若干性质,利用下收敛(类)刻画连续偏序集的Lawson拓扑以及交连续偏序集的连续性.
- 李高林徐罗山
- 关键词：偏序集下极限LAWSON拓扑
- 半连续格上的半Scott拓扑与半Lawson拓扑被引量：21
- 2008年
- 在完备格上引入了半Scott拓扑与半Lawson拓扑,讨论了半连续格和强连续格上半Scott拓扑与半Lawson拓扑的一些基本性质。
- 毕含宇徐晓泉
- 关键词：半连续格
- 连续dcpo上lawson拓扑的紧性
- 2005年
- 由于dcpo上赋予lawson拓扑后相对于scott拓扑会用更好的性质(由于lawson拓扑细于scott拓扑)。因此人们对lawson拓扑及lawson开集都很关注。本文主要讨论了连续dcpo上lawson拓扑紧性的问题。指出即使连续dcpoD是凝聚的,也不能保证D是lawson紧的,同时给出了一些lawson拓扑紧的例子。
- 王诗云王莉
- 关键词：LAWSON拓扑
- 广义连续完备半格、广义连续上半格上的Lawson拓扑
- 本文主要研究了完备半格上Lawson拓扑的一些性质，证明了在完备半格上Hausdorff分离性，单调Hausdorff分离性，正规性以及单调正规性是等价的。并且在上半格上这个结论也成立，在强广义连续完备半格上给出了连续性...
- 倪乾峰
- 关键词：LAWSON拓扑
- 文献传递
- FHaus拓扑范畴的超单态与dcpo上lawson拓扑的紧性
- 用范畴语言刻划不同类型的子对象是范畴论的一个重要内容.各种单态(monomorphism)就是由此被引入和定义的,而这些单态在不同的拓扑空间范畴中又表现出不同的性质.该文主要讨论FHaus拓扑范畴的超单态(extrema...
- 王诗云
- 关键词：LAWSON拓扑
- 文献传递
- Z-拟连续domain上的Scott拓扑和Lawson拓扑被引量：38
- 2003年
- 对一般子集系统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))为严格完全正则序空间。
- 徐晓泉刘应明
- ScottDomain上的稳定映射与Lawson拓扑被引量：2
- 1999年
- 研究了 Ｓｃｏｔｔ Ｄｏｍ ａｉｎ 上稳定映射的性质及 Ｓｃｏｔｔ Ｄｏｍ ａｉｎ 上稳定映射与下拓扑之间的联系，给出了 Ｓｃｏｔｔ Ｄｏｍ ａｉｎ 上稳定映射的特征定理，得到了 Ｓｃｏｔｔ Ｄｏｍ ａｉｎ上的稳定映射与 Ｌａｗ ｓｏｎ
- 赵彬
- 关键词：偏序SCOTTDOMAINLAWSON拓扑
- S^(*)-收敛和局部强紧空间
- 2024年
- 定向空间是定向完备偏序集的拓扑推广,局部强紧空间可以刻画为拟连续的定向空间.本文给出了关于局部强紧空间的一个拓扑版的Scott收敛定理.通过引入S^(*)-收敛的概念并定义有限逼近空间,本文得到以下主要结果:(i)定向空间X是局部强紧的当且仅当S_(X)^(*)-收敛是可拓扑化的;(ii)对任意T0空间X,S_(X)^(*)-收敛是可拓扑化的当且仅当X是有限逼近空间;(iii)若定向空间X上的Lawson拓扑是紧的,则X是赋予Scott拓扑的定向完备偏序集.
- 陈俣旭寇辉
- 关键词：LAWSON拓扑
- 定向完备偏序集上的Scott拓扑性质
- Domain理论是由图灵奖获得者Dana Scott创立的,旨在利用序结构为计算机函数式程序语言提供合适的指称语义模型.序与拓扑的相互交融是domain理论的特色之一.其中,定向完备偏序集带有Scott拓扑(我们也称其为...
- 苗化磷
- 关键词：单调收敛性可数性完备格SCOTT拓扑LAWSON拓扑
相关作者
- 徐罗山
- 作品数：76被引量：288H指数：11
- 供职机构：扬州大学数学科学学院
- 研究主题：SCOTT拓扑 偏序集 连续偏序集 拓扑 主理想
- 阮小军
- 作品数：19被引量：55H指数：5
- 供职机构：南昌大学理学院数学系
- 研究主题：Z SCOTT拓扑 极小集 LAWSON拓扑 互联网
- 赵彬
- 作品数：121被引量：264H指数：11
- 供职机构：陕西师范大学
- 研究主题：QUANTALE 核映射 完备格 滤子 SCOTT拓扑
- 李高林
- 作品数：17被引量：42H指数：4
- 供职机构：盐城师范学院数学科学学院
- 研究主题：SCOTT拓扑 LAWSON拓扑 LOCALE 分离性 拓扑系统
- 寇辉
- 作品数：31被引量：87H指数：7
- 供职机构：四川大学数学学院
- 研究主题：DOMAIN 拟连续DOMAIN 函数空间 连续DOMAIN 连续性
