论文部分内容阅读
近年来,偏序集与格论在拓扑学、组合数学、模糊数学、粗糙集理论以及理论计算机科学中都得到了广泛的应用,它们之间有着密切的联系。本文主要在偏序集与格论的基础上,研究拓扑空间和形式概念分析及其概念格中的的偏序结构的相关问题。本文主要研究内容如下: 内容一预序型和空间及其特殊化序。以预序集为指标集,定义了拓扑空间族的预序型和空间,证明了预序型和空间的特殊化序等同于各拓扑空间的特殊化序集的不交并的字典序。 内容二偏序型形式背景及其概念格。在形式背景的基础上,定义了偏序型形式背景,证明了偏序型形式背景及其概念格的一些基本结论。 内容三双Dedekind-MacNeille完备化。研究了偏序型形式背景双Dedekind-MacNeille完备化,证明了当二元关系满足一定条件时,主理想和主滤子经过内涵算子和外延算子复合运算后保持不变,以及对象集和属性集与各自对应的完备格之间的映射并稠密,且前者保存在交,后者保存在并。