Isbell拓扑相关论文
随着理论计算机科学的快速发展和数学基础学科的不断完善,一个新的研究领域Domain理论孕育而生且得到了蓬勃有效的发展.目前仍处于......
Domain理论是D.Scott在60年代末提出来的,它是函数式程序语言的指称语义模型.序结构和拓扑结构是Domain理论中两个重要的数学结构,......
随着计算机科学的飞速发展，有关计算机科学的数学基础研究越来越受到人们的重视，已成为数学与计算机科学研究者共同感兴趣的领域. ......
函数空间是Domain理论中的基本结构，讨论在函数空间上Isbell拓扑和Scott拓扑何时一致问题是研究函数空间拓扑结构的重要方面。刘应......
借助于Dcpo上的Scott拓扑,引进Scott吸收Dcpo的概念,并证明了函数空间上Scott拓扑与Isbell拓扑一致的必要条件是该函数空间的值域D......
本文从函数空间的Isbell拓扑以及ω-连续性两方面给出了紧连续L-domain的刻画定理.其主要结果是:连续L-domain是Lawson紧的当且仅......
本文证明了：对ｃｏｒｅ ｃｏｍｐａｃｔ空间Ｘ和具有最小元的有界完备连续ＤＣＰＯＬ，「Ｘ→Ｌ」ｈ ｒ Ｉｓｂｅｌｌ拓扑与Ｓｃｏｔｔ拓扑重合，并且构造两个反例说明：若Ｌ不具有最小元，或Ｌ具有最小元但不满......
