函数空间连续性及紧性的一些讨论

来源 :四川大学 | 被引量 : 0次 | 上传用户:liwulai11111
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在Domain理论中,函数空间的研究是重要而基本的。Achim Jung证明了若D,E是有最小元并且具有性质m的DCPO,那么[D→E]连续蕴涵D是Lawson紧的或者E是L-domain。刘应明,梁基华证明了对一个DCPO D,D是连续L-domain当且仅当对所有核紧空间X,[X→D]是连续L-domain。但是对于D不是L-domain,关于函数空间[X→D]的连续性及紧性却讨论甚少。 本文中,我们考虑了一个有趣的例子M1。它是一个典型的非双有限domain也非L-domain的连续DCPO,我们证明对所有稳定空间X,[X→M1]是连续DCPO。并且其上的Scott拓扑和Isbell拓扑是一致的。同时对于函数空间的Lawson紧性,我们举例说明了存在稳定空间到M1的函数空间不是Lawson紧的。也举例说明了存在稳定空间到双有限domain的函数空间不是Lawson紧的。又进一步通过这两个例子证明了若L是一个具有最小元的连续DCPO,对任意的稳定空间X,[X→L]是连续Lawson紧的,则L是一个L-domain。
其他文献
随着社会主义新农村建设全面开展,农民精神文明建设日益成为农村地区发展的重点,公共文化服务体系建设在农村地区发展中受到越来越多的关注。活跃在农村基层的农村舞蹈队、文
以鲜魔芋球茎为研究材料,在分析魔芋不同部位的多酚氧化酶活性的基础上,通过魔芋片厚度和漂烫时间2个单因素试验及其正交试验,探讨了最佳的蒸汽漂烫灭酶工艺参数。研究结果表
目的:论文通过对芳竭丸的提取工艺和制剂成型工艺进行研究,最终确定其制备工艺;进行稳定性试验研究,探讨芳竭丸的稳定性,并初步确定芳竭丸的有效期;研究芳竭丸的急性毒性和长
新世纪之前,新疆连环画经历了从兴起到衰落的过程,进入新世纪以来,随着连环画出版数量的增多,以及架上连环画的良好发展势头,新世纪新疆的连环画发展再一次迎来了春天。此时连环画的表现形式呈现出丰富的面貌,连环画的创作取材与当地人民生活息息相关,同时在艺术表现上注重与大众审美相结合以及艺术美的表现。本文主要采取点面结合,由浅入深,由概况描述到重点探析的手法,对新世纪新疆连环画发展态势进行多方位、多方面的探
数字媒体艺术作为现代技术与传统艺术的有机结合,拓展了艺术的表现力和空间,在继承中国传统民族文化的基础上,发展取得了很大的成就。与此同时,数字媒体艺术仍存在着文化背景
根据循环水过滤系统的功能要求和现场条件,简要说明了液位计的选型方法。介绍了循环水过滤系统选用的几种液位计的测量原理、安装要求及优缺点,包括投入式液位计、超声波液位
为减小超声波振子外接负载时其谐振频率漂移的幅度,使用机电等效电路法和COMSOL Multiphysics5.3有限元仿真软件设计制造了一种基于性能可调阶梯型变幅杆的超声波振子。对该
随着经济全球化的发展,各国相互之间的投资贸易越来越多。党的十七大以来,中国上市企业纷纷响应党的“走出去”战略,进一步扩大中国在国际中的地位,跨国并购事件更加频繁。具体表现为跨国并购的上市公司越来越多,涉及的并购金额越来越大。根据Wind资讯统计,仅2017年就有163家上市公司进行了跨国并购,涉及金额超过19239.5万元。在跨国并购的大趋势下,探究如何提高上市公司跨国并购绩效显得十分必要。高管在
植物在其原本并不分布的地区,初次萌发、生长并且产生可育后代的繁衍过程就叫做拓殖。本文的研究地点位于松嫩草原的腰井子牧场,此前对生物结皮的研究大多集中在荒漠生态系统
养蚕技术关系着广大蚕农的养蚕效益,关系着蚕桑产业的健康发展.文章就如何强化养蚕技术,提高蚕农效益,做了分析和总结.