等价关系的一个判别法

在讨论有限集合上等价关系表示问题的基础上,建立了有限集的幂集到二次型的单映射,得到了等价关系的初等变换判别法和二次型判别法,并得到判断一个关系是否为等价关系的新算法。从计算的复杂程度上来说,优于已有的判别法。     

有限集几种重要等价类数目的计算

集合的元素间等价关系和集合的分类是现代数学中的基本概念。这两个概念既抽象又重要,初学者往往感到困难 ,而对等价类数目的计算,更难以掌握。计算等价类数目一般除了应用等价的定义、定理,性质以外无一定的规律可循,碰到具体问题要具体分析。本文举例讨论有限集几种重要等价类数目的计算。它在数学和实际中都有重要的应用。 　　设 R是集合 A上的等价关系,对于任一个 a∈ A可以构作一个 A的子集 [a]R,叫做 a对于 R的等价类,即〖 a]R={b|b∈ A且 a R b}。显然 [a]R是 A内所有与 a有等价关系 R的元素所构成的集合,这些 A的子…     

三元等价关系的构造方法

给出了在有限集上构造三元等价关系的方法,揭示了三元等价关系的实质。     

信息系统上的优势关系与保序关系

经典的Pawlak粗集理论建立在由等价关系对对象集划分的基础上,本文研究由优势关系代替等价关系引起的一系列结果.优势关系生成对象集上的覆盖;保序关系生成对象集幂集上的划分.并得到了优势约简与保序约简之间的关系.     

有限集上的划分与置换

有限集的划分计数问题可通过第二类Stirling数给出解答．在本文中，考虑到有限集的一个划分与置换群Sn中对应的一些置换分解为不相交循环的乘积两者之间是有联系的，本文通过它们之间的联系，得到了第二类Stirling数的一个表达式，从而得到了有限集划分计数问题的又一个表示式．     

基于等价关系的信息熵及概率分配函数

Pawlak在1982年提出的粗糙(Rough)集是基于等价关系的理论, 粗糙集的发展推动了人们对等价关系的研究.等价关系上的信息熵具有最为简单、规范的性质.本文研究基于等价关系上的信息熵及概率分配函数,讨论基于等价关系上的信息熵的基本性质,为等价关系的信息熵的各种应用提供理论基础,比如等价关系的信息熵在信息系统的约简方面可能发挥重要作用.文章主要从两方面进行论证:①等价关系的粗细对信息熵的影响,这点通过8个命题来说明;②等价关系与证据理论之间的联系.证据理论主要是通过概率分配函数、信任函数及似然函数来表述,从某种意义上说粗集理论继承和发展了证据理论.另外,本文的讨论均在有限论域U={u1,u2,...,u|U|} 上进行,用具体的例子来说明抽象的数学命题,使之更容易理解.     

划分与传递闭包

证明了集合的任意两个划分的和导出的等价关系是这两个划分导出的等价关系的并集的传递闭包,任意两个划分的积导出的等价关系是这两个划分导出的等价关系的交集.     

强理想及其在有限偏序集上的应用

在偏序集上引入强集和强理想的概念,进而从另一个角度给出有限偏序集上元素之间的一种等价关系:连通关系,从而将有限偏序集分为连通和非连通两类.此外,在不交并偏序集上给出分支、可分分支和不可分分支等概念,并在有限偏序集上探讨强理想、非连通偏序集和不交并偏序集之间的关系.     

等价关系在陪集教学中的应用探讨

探讨离散数学课程的教学教法.对于其中代数结构部分的陪集一节,应用已经熟知的等价关系和划分的概念,通过引例导出由子群定义的等价关系--陪集关系,进而得到群的划分--陪集,再研究陪集的性质.将课程的前后概念串联起来,是一种比较易于理解,实际教学效果良好的讲授方法.     

偏好与无差异集的一些结果

对一般的关系定义了3种等价关系，并就一般的情形讨论了由一已知关系所诱导出的几种等价关系的联系，以及在几种偏好集中该等价关系与无差异集的联系．     

粗糙集理论的扩展模型研究

在传统的粗糙集模型和相容粗糙集模型基础上，通过松弛对象之间的不可分辨和相容性条件，给出了一种新的基于和谐关系的粗糙集模型．在新的模型中，α-和谐关系在论域里导出一个嵌套的等价关系序列．分析了α在不同的取值区间时，和谐关系的粗糙性与信息熵间的关系．给出一个具体的实例对新的模型加以解释说明．     

中介公理集合论框架下的粗糙集

利用中介公理集合论来讨论粗糙集。首先给出中介化算子的公理化定义,讨论它的一些重要性质;其次给出与等价关系相对应的中介化算子的构造性定义,并指出它满足上述公理;再由中介化算子出发,构造出相应的等价关系。最后讨论中介化算子与等价关系之间的联系,证明两者是相互惟一确定的,用等价关系将集合改造成粗糙集与用相应的中介化算子将集合化为中介集,这两者是等效的。本文将粗糙集纳入中介公理系统理论框架之下,为研究粗糙集奠定了坚实的数学理论基础。     

基于模糊相似矩阵的分类方法

粗糙集理论是一种处理不确定性问题的有力工具，它假定知识是一种对对象进行分类的能力，分类是推理、学习与决策中的关键问题，传统粗糙集所基于的是不分明关系，这往往使得分类过细，因而笔者探讨一种基于模糊相似矩阵的分类方式，把传统的等价关系弱化为模糊等价关系，从而可得到更具表达力的粗糙集模型。     

基于二元关系闭包运算构造商集的一种方法

本文通过对二元关系闭包运算的研究,给出与二元关系R结构相近的一个等价关系的划分,从而构造相应的商集,该方法简便、实用、高效,易于操作。     

基于粗糙集理论的有限自动机最小化方法改进

有限自动机放在粗糙集的范畴中来研究,它的各个状态对应粗糙集论域中的每个对象,每个输入符号为一个等价关系。从粗糙集的角度,利用对论域进行知识划分的方法,每次产生新的等价类,直到每个等价类都不能划分为止,从而得到最小化的有限自动机。与已有的研究方法不同,该方法以粗糙集理论为工具,为有限自动机最小化方法研究提供了新的思路。     

粗集理论中的相容关系

粗集通常是由等价关系来定义的,相容关系是对标准粗集理论拓广的一种方法,文中主要讨论相容关系的计数问题和代数结构问题。     

二元关系的传递性的计算机检测法

讨论了如何利用计算机对有限集合上的二元关系的传递性质进行检测，同时对自反性与反自反性，对称性与对反对称性亦进行了讨论，并给出了具体算法，使之能检测有限集合上的二元关系是否是相容关系，等价关系，偏序关系，全序关系。     

非确定型有穷自动机的极小化

利用自动机状态集上的等价关系对自动机的状态集进行极小化, 从而得到与原自动机功能等价的极小化自动机. 通过两台确定型有穷自动机（DFA）的连接, 构造一台非确定型有穷自动机（NFA）. 利用这两台确定型有穷自动机状态集上的等价关系, 可以构造这台非确定型有穷自动机状态集上的等价关系, 从而对这台非确定型有穷自动机进行极小化. 结果表明这台非确定型有穷自动机的极小化自动机的状态复杂 度, 不大于对那两台确定型有穷自动机的极小化自动机进行连接得到的非确定型有穷自动机的状态复杂度; 并且自动机在等价关系基础上进行极小化时不改变识别语言.     

有限集上可传递二元关系的矩阵判别方法

用关系矩阵研究二元关系及其性质的方法既简洁又高效。在有关二元关系的自反、反自反、对称、反对称以及可传递的研究中,前四种性质已有了关系矩阵判别方法。一般认为有限集上可传递二元关系的特征较为复杂,故不容易从其关系矩阵中直接判别。文章对可传递关系进行了相应的讨论,并在此基础上给出了有限集合上可传递二元关系的矩阵判别方法。     

商集与商集的基本运算

R是A上等价关系，R的所有等价类构成了等价关系R的商集A／R，商集A／R是集合A的划分。商集是关系代数中的一个重要概念，在计算机科学和技术、信息科学和信息工程中都有广泛的应用。但是人们对商集的运算规律和运算结果的研究甚少。本文定义了等价关系的商集的两个基本运算，即商集的加法与乘法。根据商集的结构和性质，给出了商集乘法运算结果的两种表达方式。一种是用等价类通过某种运算构成的集合表示，另一种是用某些等价关系的商集表示。商集的加法运算是一个较复杂问题，加法的运算结果也较难表示。为了准确简洁地表示加法的运算结果，文中引进了不相交并集族的概念，同时也给出了加法运算结果的两种表达方式，一种是用不相交并集族表示，另一种是用某些等价关系的商集表示。