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。
本网站所收集内容来自网友分享仅供参考，实际请以各学校实际公布信息为主！内容侵权及错误投诉：1553292129@qq.com
CopyRight © 2020-2025 优校网[www.youxiaow.com]版权所有 All Rights Reserved. 浙ICP备2024058711号