It is proved in this paper that if L is a bicomplete continuous DCPO, then the Isbell and Scott topologies agree on function spaces [X →L] for all RW-spaces X iff L is an L-Domain with a least element.
本文证明了,若L是一个双完备的连续DCPO,则对所有的RW-空间X,函数空间[X→L]上的Isbell拓扑和Scott拓扑相同当且仅当L是有最小元的L-Domain。
本站部份资料来自网络或由网友提供,如有问题请速与我们联系,我们将立即处理!
版权所有©四级英语单词 网站地图 陇ICP备2023000160号-4
免责声明:本站非营利性站点,以方便网友为主,仅供学习。