半连续dcpo
Semicontinuous dcpos作者机构:扬州大学数学科学学院江苏扬州225002 盐城师范学院数学科学学院江苏盐城224002
出 版 物:《扬州大学学报(自然科学版)》 (Journal of Yangzhou University:Natural Science Edition)
年 卷 期:2012年第15卷第2期
页 面:1-5页
学科分类:07[理学] 070104[理学-应用数学] 0701[理学-数学]
基 金:国家自然科学基金资助项目(61074129 61103018 11101352) 江苏省自然科学基金资助项目(BK2010313 BK2011442) 国家重点实验室开放课题(SKLSDE-2011KF-08) 盐城师范学院资助项目(11YCKL001)
主 题:半素集 半连续dcpo 半Scott拓扑 半连续映射
摘 要:作为半连续格的推广,引入半素集和半连续dcpo的概念,并讨论半连续dcpo的性质,在半连续dcpo中得到类似于半连续格的一些主要结果.同时研究了dcpo的内蕴拓扑——半Scott拓扑、半Lawson拓扑,证明了上集U半Lawson开当且仅当U为半Scott开,下集U半Lawson闭当且仅当U为半Scott闭.最后研究了半连续映射,证明了若保序映射f半连续,则f关于半Scott拓扑是连续映射.