偏序集和持续偏序集上的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反射．相应地，也可以得到代数拟序集的Domain反射． 第五章的第一节在偏序集上引入了双Scott拓扑的定义，讨论了双 Scott拓扑的重要性质；第二节弓l入了广义单调收敛空间的定义，讨论了广 义单调收敛空间及其上的特殊化序之间的关系；最后一节在偏序集上引 入了下极限拓扑的定义，并讨论了Lawson拓扑和下极限拓扑之间的关系． 畴：下极限拓扑 Abstract the 011 andcontinuous Inthis Scott thesis，weinvestigatetopologyposers contentofthisthesisareas posets．The followings： In definetheScott on meansof arbitraryposetby chapter2，we topology ofS-limit theScott definedona means extends topology dcpoby S-limit，which ona a showthattheScott defined or continuous in(1】．We topology poset poset ona has similar tothoseoftheScott defineddcpo many properties topology continuous toacharacterizationtheoremfor oradomain．Thisleads posets thatthe