| Dcpo上的辅助序与拓扑 |
| |
| 引用本文： | 梁少辉.Dcpo上的辅助序与拓扑[J].宝鸡文理学院学报(自然科学版),2007,27(1):9-10. |
| |
| 作者姓名： | 梁少辉 |
| |
| 作者单位： | 陕西师范大学,数学与信息科学学院,陕西,西安,710062 |
| |
| 摘 要： | 目的讨论Dcpo上的辅助序与拓扑的关系。方法利用映射的复合。结果通过映射建立了Dcop上的辅助序与拓扑之间的联系。结论可以由Dcop上的一个逼近的辅助序通过映射构造出一个拓扑,反过来,通过一个拓扑也可以构造出一个辅助序,从而把辅助序和拓扑联系起来。
|
| 关 键 词： | 辅助序 理想 序相容拓扑 特殊序 |
| 文章编号： | 1007-1261（2007）01-0009-02 |
| 收稿时间： | 2006-05-15 |
| 修稿时间： | 2006-05-15 |
The auxiliary relation of Dcpo and topology |
| |
| LIANG Shao-hui.The auxiliary relation of Dcpo and topology[J].Journal of Baoji College of Arts and Science(Natural Science Edition),2007,27(1):9-10. |
| |
| Authors: | LIANG Shao-hui |
| |
| Abstract: | Aim To discuss an approximating auxiliary relation of Dcpo and topology.Method Approximating auxibiary relation of Dcpo is constructed by composition of mappings.Results An approximating auxiliary relation of Dcpo and topology is found through mappings.Conclusion A topology is generated by preceding the approximating auxiliary relation of Dcpo.Conversely,an auxiliary relation could be generated by a topology.The approximating auxiliary relation and topology are connected. |
| |
| Keywords: | auxiliary relation ideal order compatible topology specialization order |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
