连续Domain的遗传性及其不变性  

Heredity and Invariance of Continuous Domains

作　　者：刘妮[1] 赵彬[1] 

机构地区：[1]陕西师范大学数学与信息科学学院,陕西西安710062

出　　处：《模糊系统与数学》2007年第4期22-26,共5页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(10471083)

摘　　要：引入Domain子空间的概念,得到Scott开集和闭集都是Domain的子空间。证明连续Domain或代数Domain对开子空间和闭子空间都是可遗传的。证明连续Domain或代数Domain在保Waybelow序的Scott连续映射下保持不变。Firstly, the concepts of sub-dcpo and sub-space of a domain are given and both Scott open sets and Scott closed sets are proved to be sub-spaces. Then continuous domains or algebraic domains are hereditary for Scott open subsets and Scott closed subsets. Finally, it is proved that the image of continuous domain or algebraic domain under the waybelow-preserving Scott continuous maps is still continuous or algebraic.

关 键 词：连续DOMAIN 代数DOMAIN SCOTT拓扑 Domain子空间 

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