摘要
本文从函数空间的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.
出处
《数学进展》
CSCD
北大核心
2003年第6期683-688,共6页
Advances in Mathematics（China）
基金
国家自然科学基金(No.10201023)
数学天元基金(No.TY10126022)
973计划(No.2002cb312200)资助
