离散数学中关于等价与相容的一些理解

原创作者：Daniel

时间：2017.10.27

等价关系在书中定义是：

#设X是任意集合，R是X中的二元关系。如果R是自反的、对称的和可传递的，则R是等价关系。#

实际上，关系R是不同划分标准的抽象。

划分标准需要满足的条件是：首先，自己可以分在一类；和自己有同样性质的可以分一起，并且这种性质还与顺序无关；

最后，这种性质还要具有传递性。

所以，就可以知道，等价关系实际上决定了集合的划分。

反观，在划分的任意一个类中取元素构成的二元关系<x, y>自然也满足等价关系的三个条件（这里取是可以重复取）。

相容关系在书中的定义是：

#给定集合A中的二元关系R，如果R是自反的、对称的，则称R是相容关系。#

最大相容类定义了一个集合的覆盖。

最大相容类

#设R是X上的相容关系。假定A包含于X，如果任何一个x属于A，都与其他

所有元素有相容关系，而X - A中不存在元素能与A中所有元素都有相容关系，则X的子集A称为最大相容类。#

相容实际上就是两个元素满足一种互逆的关系，不要求这种关系能够传递。

／／这里有个例子可以帮助理解相容关系：论文查重

／／重复实际上就是相容关系，因为A和B相似度高，那么也就是B和A相似度高

／／那么最大相容类就是每篇论文之间都有重复的，但是不一定每篇重复的一样

／／还有朋友关系也可以认为是相容关系