-
题名局部dcpo和相容dcpo的交连续性
被引量：4
- 1
-
-
作者
徐爱军
王戈平
-
机构
徐州师范大学数学系
-
出处
《徐州师范大学学报（自然科学版）》
CAS
2005年第2期35-39,共5页
-
基金
国家自然科学基金资助项目(10371079)
-
文摘
在局部dcpo和相容dcpo中引入了交连续的概念,并证明了它们在半格情况下等价.本文的主要结果是定理1,定理2,定理3.
-
关键词
相容
局部
连续性
定理
等价
半格
-
Keywords
local directed complete poset
Lawson topology
meet continuity
-
分类号
O157.5
[理学—数学]
O171
[理学—基础数学]
-
-
题名偏序集中下收敛的一个刻画
- 2
-
-
作者
李高林
-
机构
盐城师范学院数学科学学院
-
出处
《淮阴师范学院学报（自然科学版）》
CAS
2012年第1期1-3,共3页
-
基金
国家自然科学基金资助项目(61074129
61103018
+3 种基金
11101352)
国家重点实验室开放课题(SKLSDE-2011KF-08)
江苏省高校自然科学基金资助项目(BK2010313
BK2011442)
-
文摘
偏序集中的下收敛概念在刻画连续偏序集的Lawson拓扑和交连续偏序集的连续性方面有着重要的作用.本文给出了下收敛的一个等价刻画,利用该刻画说明了在用下收敛刻化偏序集的连续性时,交连续性的条件是必要的.
-
关键词
偏序集
下收敛
LAWSON拓扑
交连续
-
Keywords
posets
lower-convergence
lawson topology
meet-continuity
-
分类号
O153.1
[理学—数学]
O189.1
[理学—基础数学]
-
-
题名局部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
[理学—基础数学]
-
