拟代数Domain性质和它Domain结构与研究.pdf

拟代数Domain性质及其它Domain结构的研究 梁晓荣 摘要 理论受到众多数学家和理论计算机科学家的关注． 1983年，作为连续Domain和 Domain的概念．本文从两方面讨论连续Domain理论中的几个问题．一方面，主 要研究了拟代数(连续)Domain的性质，并且对另一种Dom出n结构一超连续 质作了进一步研究．本文的主要内容如下： 第一章 预备知识．给出了本文将要用到的连续Dommn与范畴理论的基本 概念和结果． 第二章拟代数Dommn相关性质．本章首先从映射角度讨论了拟连续Domain 的性质，分别得到了它与Scott连续投射算子和伴随对之间的联系，并由此给出一 些相应的结果．接着从映射和拓扑角度给出了拟代数Dommn的性质，得到了拟代 数Domain的一些等价刻画。并且进一步讨论了它带有拓扑时的情形．最后引入了 超连续Domain的概念，并得到它的一个等价刻画，从而揭示了它与连续Domain 之间的关系． 第三章相容连续Domain上的序同态．本章首先给出了相容定向极小集的概 念，讨论了它的一些性质，并得到它与相容连续Domain的关系．其次，我们给出 了相容连续Domain基的概念，得到它的等价刻画．最后，引入了相容连续Domain