-
题名局部dcpo和相容dcpo的交连续性再讨论
- 1
-
-
作者
杨利群
张滦云
-
机构
淮海工学院理学院
-
出处
《淮海工学院学报（自然科学版）》
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
[理学—基础数学]
-
-
题名局部dcpo和相容dcpo的交连续性
被引量：4
- 2
-
-
作者
徐爱军
王戈平
-
机构
徐州师范大学数学系
-
出处
《徐州师范大学学报（自然科学版）》
CAS
2005年第2期35-39,共5页
-
基金
国家自然科学基金资助项目(10371079)
-
文摘
在局部dcpo和相容dcpo中引入了交连续的概念,并证明了它们在半格情况下等价.本文的主要结果是定理1,定理2,定理3.
-
关键词
相容
局部
连续性
定理
等价
半格
-
Keywords
local directed complete poset
Lawson topology
meet continuity
-
分类号
O157.5
[理学—数学]
O171
[理学—基础数学]
-
-
题名局部dcpo上的S-极限
被引量：1
- 3
-
-
作者
李玉清
康筱锋
-
机构
西安工业学院数理系
-
出处
《西安理工大学学报》
CAS
2005年第2期216-218,共3页
-
文摘
在局部dcpo上引入了S极限的概念,并利用S极限来刻划Scott拓扑和连续的局部dcpo。其主要结果:证明了U是Scott开集当且仅当U∈O(S);D是连续的局部dcpo当且仅当,S收敛是关于Scott拓扑的拓扑收敛。
-
关键词
局部定向完备集
SCOTT拓扑
S-极限
-
Keywords
local directed complete poset
Scott topology
S-limit
-
分类号
O153.1
[理学—数学]
O189.2
[理学—基础数学]
-
