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。
CopyRight © 2020-2024 优校网[www.youxiaow.com]版权所有 All Rights Reserved. ICP备案号:浙ICP备2024058711号