论文部分内容阅读
由于dcpo上赋予lawson拓扑后相对于s cot t拓扑会用更好的性质(由于lawson拓扑细于s cot t拓扑)。因此人们对lawson拓扑及lawson开集都很关注。本文主要讨论了连续dcpo上lawson拓扑紧性的问题。指出即使连续dcpo D是凝聚的，也不能保证D是lawson紧的，同时给出了一些lawson拓扑紧的例子。