设R为非空集合上的关系如果R是自反.pptVIP

* 定义7.15 设R为非空集合上的关系。如果R是自反的、对称的和传递的，则称R为A上的等价关系。设R是一个等价关系，若x，y∈R，称x等价于y，记做x～y。 例7.16 设A={1,2,…,8}，如下定义A上的关系R：R={x，y|x，y∈A∧x≡y(mod 3)}其中x≡y(mod 3)叫做x与y模3相等，即x除以3的余数与y除以3的余数相等。 解 :不难验证R为A上的等价关系，因为x∈A，有x≡x(mod 3)x，y∈A，若x≡y(mod 3)，则有y≡x(mod 3)x，y，z∈A，若x≡y(mod 3)，y≡z(mod 3)，则有x≡z(mod 3) 。 该关系的关系图如图7.5所示 : 不难看出，上述关系图被分为三个互不相连通的部分。每部分中的数两两都有关系，不同部分中的数则没有关系。每一部分中的所有的顶点构成一个等价类。 定义7.16 设R为非空集合A上的等价关系，令x∈A[x]R={y|y∈A∧xRy}称[x]R为x关于R的等价类，简称为x的等价类，简记为[x]。 从以上定义可以知道，x的等价类是A中所有与x等价的元素构成的集合。例7.16中的等价类是：[1]=[4]=[7]={1,4,7}[2]=[5]=[8]={2,5,8}[3]=[6]={3,6} 。 定理7.1