-
题名Z-相容连续Domain及其相关性质
- 1
-
-
作者
李冠宇
卢涛
-
机构
淮北师范大学数学科学学院
-
出处
《佳木斯大学学报（自然科学版）》
CAS
2017年第3期500-502,526,共4页
-
基金
国家自然科学基金资助项目(11171156))
安徽省高校自然科学研究重点项目(KJ2015A064)
-
文摘
对一般子集系统Z,引入了Z-相容连续Domain的概念.在Z-相容连续Domain中引入Z-相容基和局部Z-相容基,利用Z-相容基和局部Z-相容基来刻画Z-相容连续Domain.并且给出了Z-相容连续Domain上的Z-相容Scott拓扑和Z-相容Lawson拓扑,讨论了它们之间的关系.
-
关键词
Z-相容连续Domain
Z-相容基
局部Z-相容基
Z-相容Scott拓扑
Z-相容lawson拓扑
-
Keywords
Z -consistently continuous domain
Z -consistently basis
local Z -consistently basis
Z -consistently Scott topology
Z. consistently lawson topology
-
分类号
O189
[理学—数学]
-
-
题名Z-相容连续Domain及其相关性质
- 2
-
-
作者
赵京
卢涛
-
机构
淮北师范大学数学科学学院
-
出处
《绵阳师范学院学报》
2017年第5期18-21,共4页
-
基金
国家自然科学基金资助项目(11171156)
安徽省高校自然科学研究重点项目(KJ2015A064)
-
文摘
对一般子集系统Z,引入了Z-相容连续Domain的概念.在Z-相容连续Domain中引入Z-相容基和局部Z-相容基,利用Z-相容基和局部Z-相容基来刻画Z-相容连续Domain.并且给出了Z-相容连续Domain上的Z-相容Scott拓扑和Z-相容Lawson拓扑,讨论了它们之间的关系.
-
关键词
Z-相容连续Domain
Z-相容基
局部Z-相容基
Z-相容Scott拓扑
Z-相容lawson拓扑
-
Keywords
Z - consistence continuous domain, Z - consistence base, local Z - consistence base, Z - consis- tence Scott topology, Z -consistence lawson topology
-
分类号
O189
[理学—数学]
-
-
题名局部dcpo和相容dcpo的交连续性再讨论
- 3
-
-
作者
杨利群
张滦云
-
机构
淮海工学院理学院
-
出处
《淮海工学院学报（自然科学版）》
CAS
2008年第3期7-10,共4页
-
基金
淮海工学院自然科学基金资助项目(Z2006013)
-
文摘
在局部dcpo和相容dcpo的交连续性的概念的基础上,对局部dopo和相容dcpo的交连续性作了进一步的探讨,丰富并扩展了有关性质和结论.主要结果是局部dcpo的交连续性定理1和关于相容dcpo交连续性的几个命题.证明了半格(或格)上局部dcpo的交连续性的几个等价条件,且证明了若半格L是交连续的相容dcpo,σ(L)是连续格,则ΛL是Hausdorff空间当且仅当{(x,y)∈L×L:x≤y}是ΛL×ΛL中闭集等.
-
关键词
局部dcpo
相容dcpo
相容Scott拓扑
相容lawson拓扑
交连续性
-
Keywords
local directed complete posets
consistent directed complete posets
consistent Scott topology
consistent lawson topology
meet-continuity
-
分类号
O189.1
[理学—数学]
O153.1
[理学—基础数学]
-
-
题名相容完备格上的保序映射
- 4
-
-
作者
王娣
卢涛
-
机构
淮北师范大学数学科学学院
-
出处
《江苏师范大学学报（自然科学版）》
CAS
2016年第3期40-41,54,共3页
-
基金
国家自然科学基金资助项目(11171156)
安徽省高校自然科学研究重点项目(KJ2015A064)
-
文摘
基于相容半素理想给出了相容完备格的概念.在相容完备格上定义了相容半Lawson拓扑,研究了相容半Scott拓扑、相容半Lawson拓扑及相关的连续映射.
-
关键词
相容半素理想
相容完备格
相容半lawson拓扑
保序映射
-
Keywords
consistently semiprime ideal
consistently complete lattice
consistent semi-lawson topolopy
order-preserving mapping
-
分类号
O189.1
[理学—数学]
O153.1
[理学—基础数学]
-
