摘要
引入FS-相容Domain概念,研究FS-相容Domain的性质,主要结果有:(1)FS-相容Domain的收缩核与连续函数空间还是FS-相容Domain;(2)FS-相容Domain是有限生成上集,从而是Scott紧的;(3)FS-相容Domain的定向完备化是FS-Domain;(4)有最大元的FS-Domain去掉最大元后是FS-相容Domain;(5)证明了以Scott连续映射为态射,FS-相容Domain为对象的范畴FS-CDOM是笛卡儿闭范畴并以FS-Domain范畴FS-DOM作为满的反射子范畴。
The new concept of consistent FS-domains is introduced. Some basic properties of consistent FS-domains are given. The following are the main obtained results： （1） Retracts and continuous function spaces of consistent FS-domains are consistent FS-domains; （2） Consistent FS-domains are all finitely upper generated and Scott compact; （3） Directed completions of consistent FS-domains are FS-domains; （4） If L is an FS-domain with a top 1, then L／{1} is a consistent FS-domain; （5） The category FS-CDOM of consistent FS-domains and Scott continuous functions is Cartesian closed and has the category FS-DOM of FS-domains and Scott continuous functions as a full reflective subcategory.
出处
《模糊系统与数学》
CSCD
北大核心
2005年第3期82-87,共6页
Fuzzy Systems and Mathematics
基金
国家自然科学基金资助项目(10371106
10410638)
江苏省教育厅指导性计划资助项目(FK0310060)
