Domain理论及其Rough集理论若干相关问题的研究.pdfVIP

摘 要 Domain理论及Rough集理论若干相关问题研究 基础数学专业 研究生雷银彬 指导教师刘应明院士罗懋康教授 随着计算机科学的飞速发展，有关计算机科学的数学基础研究越来越受到 人们的关注和重视，已成为数学和计算机科学研究者共同感兴趣的领域．产生 两个重要交叉领域．它们独立发展，但从共同的数学基础来看，二者均基于数 学中三大基本结构之一的序结构理论，同时与拓扑，代数、范畴、逻辑等学科 有着密切的联系． 它们的提出都有较强的计算机背景，但同时也是数学发展的需要．其中， Domain理论建立的初衷是为高级程序设计语言的指称语义学提供数学基础， 序和拓扑的相互结合、相互作用是其基本特征，正因如此，Domain理论成为计 算机科学家和数学家共同关心的领域．事实上，除了在计算机科学方面作为形 式语义学的数学基础或数学框架。赋予或解释语句语义，以及应用于人工智能 (AI)中知识表示及推理(KRR)、数据分析等方面之外，在若干数学分支如动力 境便从序与拓扑交融的角度为某些拓扑空间提供了一种计算模型．另一方面， 力的数学工具，但其理论基础，依然建立在数学中的经典分支如集合论、拓扑、 逻辑、代数、序结构理论之上．经过二十多年的发展，Rough集方法已被广泛 应用于AI和认知科学中，尤其是在数据分析．知识表示、知识发现、机器学 习、决策分析、专家系统、模式识别等领域． 对象和特点，但它们的研究都是在序结构的框架下进行的，在某些方面相互渗 面的共同数学基础特别是序结构方面进行讨论．文中我们运用拓扑、序结构、 代数、范畴及逻辑的理论和方法，在Domain方面，研究了两类最受关注的拓 的收缩、相关范畴和Domain方程等问题，在Rough集方面，研究了近似算子 的内在联系． 具体而言，我们作了如下工作； 首先，我们对Domain理论中与此相关的3个公开问题进行讨论 Prob- lemsinTopology》中提出的两个关于对偶拓扑的公开问题组成；哪些拓扑它 们同时也是对偶拓扑?如果对一个拓扑连续取对偶，作用有限次后所产生的拓 扑之中有互为对偶的吗?对该问题，我们讨论了两类经典的拓扑即Hausdorff 对f反复取对偶，连同7-本身至多产生3个不同的拓扑：r，『d和7-dd，由 此，我们对所有Hausdorff空间做了一个分类，即三个严格递增的类，然后刻 空间(X，r)恰为Hausdorffk一空间．此外，我们研究了对偶拓扑与原拓扑 之间的关系，为解决公开问题提供了一些可行的思路．另一方面，对Scott拓 我们给出了仃(D)4=“(D)的刻画及其成立的一个较广泛的充分条件，研究了 的一个内在刻画，并借助于若干具体的例子讨论了a(D)与盯(D)出之间的关 的重要情形下作了部分回答． 第二、三个公开问题都相关于有限偏序集的Cartesian积 对于三元真值dcpoT及任一基数KⅣ，函数空间[T‘一T1不是T“的收 缩．我们知道Scott曾于1976年证明了具有可数基的连续格恰为2“的一个收 缩以及更一般地，任一连续格恰为2的某个积的收缩【97】；随后，Plotkin于 1978年证明了具有可数基的coherentdomain(即两两相容的子集必有上确界 的domain)恰为T“的收缩．然而，该结果若要推广至不可数情形，则有难以 逾越的障碍，这正是Plotkin提出上述猜想的原因．文中我们构造性地证明了 该猜想．这个结果不仅给出了T‘这个基本生成结构在拓扑与序结构理论方面 的一个重要性质，而且，在计算机科学中的形式语义学方面，它指出了这样一 个事实：对Ku，T‘不能作为任何程序设计语言的指称语义模型；其意义在 于：对于形式语义学中包涵较连续格更为广泛的基本生成结构T‘，澄清了由 其生成的coherentdomain作为指称语义模型在理论上的界限．． 类似地，作为对形式语义学数学模型的考虑，基于Scott的前述结论，Mis- 为一般的拓扑空间在积和收缩的作用下产生的最小封闭类具有什么性质?具 体地，若选择一族有限而空间作为生成空间，会产生什么样的空间类?它是 Cartesian 集，因此，该公开问题中的有限乃空间可直接换为有限偏序集．对该问题，我 们具体讨论了生成的空间含T的任何一族有限偏序集(具有最小