关于概率幂domain的一个注记  

A note on probabilistic powerdomain

作　　者：赵浩然[1] 寇辉[1] 

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

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

基　　金：国家自然科学基金(10871137)

摘　　要：概率幂domain是domain理论中一类非常重要的幂domain.1989年,Jones和Plotkin证明了连续domain的概率幂domain连续.本文证明了若D是拟连续domain或SL-domain,则D的概率幂domain连续当且仅当D连续.Probabilistic powerdomain is a kind of important powerdomain in domain theory. Jones and Plotkin prove that the probabilistic powerdomain of a continuous domain is continuous in 1989. In this paper the authors prove that if the probabilistic powerdomain of a quasicontinuous domain or a SL-domain is continuous, then the quasicontinuous domain or SL-domain is continuous.

关 键 词：概率幂domain 拟连续DOMAIN 交连续 连续DOMAIN 

分 类 号：O153.5[理学—数学]