● 摘要
Domain 理论具有理论计算机科学与纯粹数学的双重研究背景, 它是计算机程序设计语言指称语义学研究的数学基础, 它与拓扑、逻辑、代数、范畴等学科有密切的联系. Domain 理论将逼近与收敛的思想高度抽象化, 其中序与拓扑的相互结合、相互作用是这一理论的基本特征. 量化Domain 在过去的三十年里经历了快速的发展, 形成了Domain理论一个新的分支. 它研究除了能提供定性信息还能提供定量信息的计算模型, 比如能反映收敛的速度或程序的复杂度. 目前量化Domain 的研究已产生了众多不同的方法. 其中, Ω-范畴作为研究量化Domain 的一种方法受到了许多学者的关注.
Ω-范畴是包含偏序集与广义度量空间的一类特殊的enriched 范畴. 本文将对Ω-范畴相关结构及其在量化Domain 理论中的应用展开研究. 主要内容包含三个方面: 一是将Ω-范畴与代数相结合, 研究带有相容的Ω-范畴结构的代数结构; 二是针对Ω-范畴研究中存在的问题, 对Ω-范畴内在结构进行研究; 三是研究Ω-范畴在量化Domain 中的应用. 具体内容安排如下:
第一章预备知识. 本章介绍全文所需的预备知识, 包括Domain 理论中的基本概念、Ω-范畴中的有关概念与结论以及模糊Domain 的概念.
第二章Ω-序代数结构. 本章将Ω-范畴与代数结构相结合, 考虑带有相容的Ω-范畴结构的代数结构. 文中首先引入Ω-序半群的概念, 给出大量的例子, 并在其中引入同态与理想等基本概念. 其次, 基于Ω-伴随引入Ω-剩余序半群的概念, 给出几个例子并讨论它的相关性质. 最后, 在Ω-序代数结构与带有模糊等于关系的代数结构构成的范畴之间建立了伴随关系.
第三章Ω-范畴中的几种基本结构. 本章从三个方面对Ω-范畴研究中存在的问题与相关结构展开研究. 第一节在L-完备格上引入L-完备格同余的概念, 建立了它与L-闭包算子之间的关系; 定义了L-完备格同余的商, 并证明了一个L-完备格满同态的像同构于由该同态所诱导的同余的商. 第二节是对Ω-范畴上反变Galois 联络的研究, 得到了Ω-范畴、Ω-范畴的张量积关于反变Galois 联络的表示, 并给出了反变Galois 联络关于多值关系的表示. 第三节是对基于Ω-范畴的多值拓扑的研究, 本节在强L-拓扑范畴与L-frame 范畴间建立了Stone 型对偶.
第四章模糊Domain 范畴的乘积. 本章首先对L-偏序集中的几种完备性的关系进行研究, 证明了一个L-偏序集是完备的当且仅当它是有限并完备且定向并完备的. 在第二节讨论了模糊Domain 与分明Domain 的关系, 给出了从模糊Domain 诱导分明Domain, 以及由分明Domain 构造模糊Domain 的方法与条件. 第三节首先给出了模糊Domain 的乘积中的模糊双小于关系的具体形式, 进而证明了含最小元的cotensor 完备的模糊Domain范畴和模糊连续格范畴有乘积.
第五章(代数) 模糊连续格范畴的Cartesian 闭性. 本章针对Domain 理论研究中的一个核心问题, 即寻找模糊Domain 范畴的Cartesian 闭子范畴进行研究. 主要证明了模糊连续格范畴与代数模糊连续格范畴是Cartesian 闭的. 本章首先回顾模糊Domain 在几类模糊Scott 连续的投射算子下的像的性质, 主要证明了模糊Domain 在模糊Scott 连续的投射下的像仍是模糊Domain. 进而研究模糊Domain 的映射空间的连续性, 基于第四章关于模糊连续格范畴乘积的结果, 证明了模糊连续格的映射空间仍是模糊连续格, 从而证明了模糊连续格范畴是Cartesian 闭的. 然后我们简要介绍了代数模糊Domain 的有关概念与性质, 讨论了代数模糊连续格的乘积与映射空间, 并进一步证明了代数模糊连续格范畴也是Cartesian 闭的.