| 局部dcpo和相容dcpo的交连续性再讨论 |
| |
| 引用本文： | 杨利群,张滦云.局部dcpo和相容dcpo的交连续性再讨论[J].淮海工学院学报,2008,17(3). |
| |
| 作者姓名： | 杨利群 张滦云 |
| |
| 作者单位： | 淮海工学院理学院,江苏连云港222005 |
| |
| 基金项目： | 淮海工学院校科研和教改项目 |
| |
| 摘 要： | 在局部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拓扑 交连续性 |
Local Directed Complete Posets and Consistent Directed Complete Posets:Meet-continuity Revisited |
| |
| YANG Li-qun,ZHANG Luan-yun.Local Directed Complete Posets and Consistent Directed Complete Posets:Meet-continuity Revisited[J].Journal of Huaihai Institute of Technology:Natural Sciences Edition,2008,17(3). |
| |
| Authors: | YANG Li-qun ZHANG Luan-yun |
| |
| Affiliation: | School of Science;Huaihai Institute of Technology;Lianyungang 222005;China |
| |
| Abstract: | In this paper,the properties of meet-continuity in local directed complete posets(DCPO) and consistent directed complete posets are revisited and some relevant conclusions are enriched and developed,basing on the concepts of meet-continuity in local directed complete posets and consistent directed complete posets.The main results are Theorem 1 about the meet-continuity in local directed complete posets and some propositions about meet-continuity in consistent directed complete posets.It proves some equivale... |
| |
| Keywords: | local directed complete posets consistent directed complete posets consistent Scott topology consistent Lawson topology meet-continuity |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
