论文部分内容阅读
讨论了交连续dcpo的遗传性和不变性，证明了如下结论：（1）交连续dcpo对于开子空间和闭子空间都是可遗传的；（2）交连续dcpo在加最大元和去最小元运算下保持交连续性；（3）交连续dcpo的收缩核为交连续dcpo。另外，给出了交连续的主理想刻画的一个直接证明；构造了反例说明交连续dcpo对于主滤子是不可遗传的；也构造了反例说明所有主滤子都交连续的一个dcpo，自身不必是交连续的。