拟连续domain的网式刻画  

A characterization of quasi-continuous domains by nets

作　　者：陈秋燕[1] 寇辉[1] 

机构地区：[1]四川大学数学学院,成都610064

出　　处：《四川大学学报（自然科学版）》2014年第3期433-435,共3页Journal of Sichuan University(Natural Science Edition)

摘　　要：本文在定向完备偏序集上引入网的广义S收敛的概念,并给出了拟连续domain的如下网式刻画:定向完备偏序集是拟连续的当且仅当广义S收敛关于Scott拓扑是拓扑的.该结果推广了Domain理论中关于连续domain的类似刻画.In this paper, the authors introduce a definition and give a characterization of quasi-continuous domains as f and only if the generalized S -convergence is topological wi generalized S -convergence of nets on dcpos ows：A dcpo is a quasi-continuous domain if the Scott topology.

关 键 词：广义S收敛 拟连续 拓扑收敛 

分 类 号：O159[理学—数学]