随着计算机科学的飞速发展，有关计算机科学的数学基础研究越来越受到人们的关注和重视，已成为数学和计算机科学研究者共同感兴趣的领域。产生于上个世纪70年代初的Domain理论和80年代初的Rough集理论正是这样两个重要交叉领域．它们独立发展，但从共同的数学基础来看，二者均基于数学中三大基本结构之一的序结构理论，同时与拓扑、代数、范畴、逻辑等学科有着密切的联系。 它们的提出都有较强的计算机背景，但同时也是数学发展的需要．其中，Domain理论建立的初衷是为高级程序设计语言的指称语义学提供数学基础，序和拓扑的相互结合、相互作用是其基本特征，正因如此，Domain理论成为计算机科学家和数学家共同关心的领域．事实上，除了在计算机科学方面作为形式语义学的数学基础或数学框架、赋予或解释语句语义，以及应用于人工智能(AI)中知识表示及推理(KRR)、数据分析等方面之外，在若干数学分支如动力系统、分形、拓扑等方面，Domain也是一种重要的数学结构；例如，Domain环境便从序与拓扑交融的角度为某些拓扑空间提供了一种计算模型．另一方面，Rough集理论创立的目的是为处理含糊不清(vague)的概念或数据提供一个有力的数学工具，但其理论基础，依然建立在数学中的经典分支如集合论、拓扑、逻辑、代数、序结构理论之上．经过二十多年的发展，Rough集方法已被广泛应用于AI和认知科学中，尤其是在数据分析、知识表示、知识发现、机器学习、决策分析、专家系统、模式识别等领域。 作为两个数学分支， Domain理论与Rough集理论有着各自不同的研究对象和特点，但它们的研究都是在序结构的框架下进行的，在某些方面相互渗透和相互影响．本文的主旨也就是对Domain理论与Rough集理论在这些方面的共同数学基础特别是序结构方面进行讨论．文中我们运用拓扑、序结构、代数、范畴及逻辑的理论和方法，在Domain方面，研究了两类最受关注的拓扑(Hausdorff拓扑、Scott拓扑)的对偶拓扑、有限偏序集的Cartesian积、积的收缩、相关范畴和Domain方程等问题，在Rough集方面，研究了近似算子的刻画及相关范畴问题，最后建立了Domain理论与Rough集理论之间深入的内在联系．具体而言，我们作了如下工作：首先，我们对Domain理论中与此相关的3个公开问题进行讨论。 第一个公开问题事实上由Mislove和Lawson在拓扑学名著《Open Prob— lems in Topology》中提出的两个关于对偶拓扑的公开问题组成：哪些拓扑它们同时也是对偶拓扑?如果对一个拓扑连续取对偶，作用有限次后所产生的拓扑之中有互为对偶的吗?对该问题，我们讨论了两类经典的拓扑即Hausdorff拓扑与Scott拓扑的相关问题。对任意Ha，usdorff空间(X，T)，有T=T，对T反复取对偶，连同T本身至多产生3个不同的拓扑：T、T和T

，由此，我们对所有Hausdorff空间做了一个分类，即三个严格递增的类，然后刻画了满足T=T

的Hausdorff空间。事实上，满足T=T

的Hausdorff空间(X，T)恰为Hausdorff k-空间．此外，我们研究了对偶拓扑与原拓扑之间的关系，为解决公开问题提供了一些可行的思路．另一方面，对Scott拓扑，我们的研究对象是定向完备偏序集(dcpo)D，其上Scott拓扑记为σ(D)，我们给出了σ(D)=ω(D)的刻画及其成立的一个较广泛的充分条件，研究了σ(D)=ω(D)与Scott紧集、强紧集之间的关系．此外，我们证明了对任何dcpoD有σ(D)

σ(D)，进而对应于Hausdorff拓扑情形给出了σ(D)=σ(D)

的一个内在刻画，并借助于若干具体的例子讨论了σ(D)与σ(D)

之间的关系．这些结果对上述公开问题在．Hausdorff拓扑与Scott拓扑这两类最受关注的重要情形下作了部分回答． 第二、三个公开问题都相关于有限偏序集的Cartesian积．其中，第二个公开问题是Plotkin于1978年在文[90]中提出的如下猜想：对于三元真值dcpo T及任一基数k>ω，函数空间[T→T]不是T的收缩．我们知道Scott曾于1976年证明了具有可数基的连续格恰为2<ω>的一个收缩以及更一般地，任一连续格恰为2的某个积的收缩[97]；随后，Plotkin于1978年证明了具有可数基的coherent domain(即两两相容的子集必有上确界的domain)恰为T<ω>的收缩．然而，该结果若要推广至不可数情形，则有难以逾越的障碍，这正是Plotkin提出上述猜想的原因．文中我们构造性地证明了该猜想．这个结果不仅给出了T这个基本生成结构在拓扑与序结构理论方面的一个重要性质，而且，在计算机科学中的形式语义学方面，它指出了这样一个事实：对k>ω，T不能作为任何程序设计语言的指称语义模型；其意义在于：对于形式语义学中包涵较连续格更为广泛的基本生成结构T，澄清了由其生成的colaerent domain作为指称语义模型在理论上的界限． 类似地，作为对形式语义学数学模型的考虑，基于Scott的前述结论，Mis—love和Lawson在[55]中更进一步提出如下公开问题即本文的第三个问题：更为一般的拓扑空间在积和收缩的作用下产生的最小封闭类具有什么性质?具体地，若选择一族有限T<,0>空间作为生成空间，会产生什么样的空间类?它是Cartesian Closed的吗?事实上，有限T<,0>空间恰为赋Scott拓扑的有限偏序集，因此，该公开问题中的有限T<,0>空间可直接换为有限偏序集．对该问题，我们具体讨论了生成的空间含T的任何一族有限偏序集(具有最小元)F，F在积和收缩的作用下产生的最小封闭类不是Cartesian Closed的，从而说明了： 在由任何一族非平凡有限偏序集作为生成空间在积和收缩的作用下产生的最小封闭类中，(1)连续格范畴是其最小的关于任意积和收缩封闭的Cartesian Closed满子范畴，(2)若生成空间中每一个对象均为有限L—domain，则连续格范畴是其唯一的关于任意积和收缩封闭的Cartesian Closed满子范畴。 综上，我们澄清了Domain理论中关于对偶拓扑、有限偏序集所生成的空间及相关范畴的一些疑问。 本文另一工作是研究Rough集理论中与序结构相关的2个问题．正如前面所提到的， Rough集理论与Domain理论一样具有知识表示及推理、数据分析等功能，而其中所用到的核心概念是近似算子(approxinlation operator)。首先，我们从整体角度刻画该理论中的近似算子，然后，进一步从范畴角度考虑所有近似空间。 对一个近似空间(U,R)，由于上、下近似算子从整体看是对偶的，所以我们主要讨论了上近似算子在R为各种可能关系情形下的刻画．这些刻画表明了Rough集理论与序结构理论之间的密切联系，同时我们得到了该算子的一些重要而新颖的性质．另一方面，基于前述刻画及应用之需，我们建立了近似空间与完备原子布尔格、素代数格之间的联系，从不同知识间关系的角度，定义了近似空间范畴AS<,E>用范畴的语言(构造)解释了对信息系统的不同处理。比如，pullback可用来解释两个或两个以上源信息系统的融合；pushout可用来解释两个或两个以上源信息系统的共有的背景知识．在Rough集理论中引入范畴打破了原有的对知识处理的单一的方式，从范畴层次对已有的相关或不相关的知识进行处理。以上对近似算子的刻画以及引入范畴理论为Rough集的研究提供了一个新的途径。 最后，我们从Domain理论与Rough集理论共有的知识表示及推理功能的角度，借助于形式概念分析的方法，在概念格这个共同的基点上，通过模态算子◇和□构成的Galois联络以及引入逼近结构，在两个理论之间建立了深入的内在联系。具体而言，我们通过Galois联络讨论了Rough集理论中已有的两种概念格结构，并将其推广至无穷情形，得出在Rough集框架下的完备格的概念格表示，由此说明了：Rough集框架下的概念格与标准的概念格具有同等的表达力．然后，从逻辑的角度，我们讨论了Rough概念格与信息系统(由Scott定义)之间的联系，证明了对任何形式上下文(U，V,|=)，当属性集V有限时，其面向对象的Rough概念恰和相应导出信息系统的状态一致。一般地，对无限情形，我们在Rough概念格中引入逼近结构，定义了Rough可逼近概念，得到任何形式上下文的Rough可逼近概念和相应导出信息系统的状态一致，然后构造了Rough集框架下的Domain结构，并给出完备代数格的Rough可逼近概念格表示。以上结果不仅建立了Domain理论和Rough集理论之间深人的内在联系，而且也表明了Domain中蕴含非经典逻辑结构。