原创作者: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相似度高
//那么最大相容类就是每篇论文之间都有重复的,但是不一定每篇重复的一样
//还有朋友关系也可以认为是相容关系