关于紧连续L-domain的一个刻画定理  

A Characterizing Theorem of Compact Continuous L-domains

作　　者：寇辉[1] 

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

出　　处：《数学进展》2003年第6期683-688,共6页Advances in Mathematics（China）

基　　金：国家自然科学基金(No.10201023);数学天元基金(No.TY10126022);973计划(No.2002cb312200)资助

摘　　要：本文从函数空间的Isbell拓扑以及ω-连续性两方面给出了紧连续L-domain的刻画定理。其主要结果是:连续L-domain是Lawson紧的当且仅当函数空间[L→L]的Scott拓扑与Isbell拓扑一致。In this note, we characterize compact continuous L-domains through the Isbell topology and ω-continuity of function spaces. The main result is that a continuous L-domains L is (Lawson) compact if and only if the Isbell topology and the Scott topology on [L→L] agree.

关 键 词：ω-连续性 函数空间 SCOTT拓扑 Isbell拓扑 DOMAIN理论 偏序集 

分 类 号：O189.2[理学—数学] O153.1[理学—基础数学]