偏序集和连偏序集上的scott拓扑.pdfVIP

摘 要 本文研究偏序集和连续偏序集上的Scott拓扑，主要内容如下： 第二章利用S．极限的方式在任意偏序集上定义了Scott拓扑，这推广 了文[1】中利用＆极限在定向完备偏序集上定义的Scott拓扑，并给出了 任意偏序集或连续偏序集上的Scott拓扑的一些性质．同时给出了连续偏 序集的一个刻画定理，即文【2】中的拓扑收敛恰好是Scott拓扑收敛．最 后给出了偏序集之间的Scott连续函数的若干刻画，表明了偏序集之间的 Scott连续函数具有类似于dcpo之间的Scott连续函数的许多良好性质． 第三章考察了偏序集范畴的Cartesian闭性。证明了以偏序集为对 闭的．这也表明文[3】(Semigroup 和5．8是错误的，即文[3】中的一个主要结论：B-偏序集(FS-偏序集) 范畴是Cartesian闭的是错误的．作为推论，指出相容定向完备偏序集 带最小元的相容连续L一偏序集范畴CCLP上和连续的6c一偏序集范 畴CBCP是偏序集范畴POSET的Cartesian闭的满二产范畴． 第四章的第一节给出了连续拟序集的连续偏序集反射；第二节应用定 向完备化给出了连续偏序集的Domain反射，从而得到了连续拟序集的 Domain反射．相应地，也可以得到代数拟序集