论文部分内容阅读
文献[22]给出连续相容dcpo的概念并对它的定向完备化进行了研究。本文在上述定义的基础上引入了基和权的概念并且给出了连续相容dcpo是Lawson紧的充要条件,最后考察了连续相容dcpo范畴,具体来说, 第一章,介绍连续相容dcpo产生的背景、研究概况,同时介绍了后面各部分要用到的一些主要定义、定理和有关的记号。 第二章,证明了交连续相容dcpo对Scott开集和闭集具有遗传性,并且交连续相容dcpo的收缩核也是交连续相容dcpo,最后给出交连续相容dcpo的等价刻画。 第三章,首先给出连续相容dcpo的一些性质并且考虑它的Cartesi-an积。其次定义了连续相容dcpo的基和权并且讨论了连续相容dcpo上的Scott拓扑与Lawson拓扑它们权重之间的关系,并且给出了连续相容dcpo是Lawson紧的充要条件。最后证明了定向完备连续偏序集范畴是连续相容dcpo范畴的满的反射子范畴。