离散数学2_4_1(等价关系)[2014_10_13].pptVIP

* * * * * * * 主讲教师：常亮 E-mail: changl@guet.edu.cn QQ：9 办公室电话: 手机: 辅导教师：周小川 答疑时间：星期四 上午 10:20-11:50 答疑地点：5教5楼 软件工程教研室 离散数学 2.4 特殊关系 关系可能具有的性质： 自反 反自反 对称 反对称 传递 特殊关系：具有上述某些性质的关系 等价关系：自反、对称、传递 偏序关系：自反、反对称、传递 2.4.1 等价关系 定义2.21 设R为非空集合A上的关系（即A??并且R?A?A）。如果R是自反的、对称的和传递的，则称R为A上的等价关系。 设 R 是一个等价关系。如果x, y∈R,则称 x与y等价.? 例2.50 判断下列关系是否为等价关系 R1: 选修离散数学课程同学中的“同班”关系 R2: 幂集上的“?”关系 R3: 直线间的“平行”关系 R4: 整数集上的“?”关系 R5: 人群中的“朋友”关系 自反 对称 传递 等价关系 R1 R2 R3 R4 R5 √ × √ √ √ √ √ √ √ √ √ √ √ √ × × ? × × × 例2.52 给定一个正整数n ，考虑整数集合Z上的整除关系R={ x, y | x?Z，y?Z，(x?y)被n整除}。 证明R是Z上的等价关系。 证明: （1）…… 因此，R是自反的。 （2）…… 因此，R是对称的。 （3）…… 因此，R是传递的。 综上，关系R为Z上的等价关系。证毕。x ? y(mod n) ：x-y可以被 n整除，“x和y模n同余”。 同余关系 例2.53 设集合A ={a, b, c, d, e}上的关系 R1={a, a, a, b, b, a, b, b, c, c, d, d,d, e, e, d, e, e} 和 R2 = {a, b, b, a, b, b, c, c, d, d, d, e}， 判断R1和R2是否为等价关系？ 用关系矩阵和关系图表示其中的等价关系。 解: R1具有自反性、对称性和传递性，是等价关系。R2不是等价关系。 例2.53 (续) 设集合A ={a, b, c, d, e}上的关系 R1={a, a, a, b, b, a, b, b, c, c, d, d,d, e, e, d, e, e} 和 R2 = {a, b, b, a, b, b, c, c, d, d, d, e}， 判断R1和R2是否为等价关系？ 用关系矩阵和关系图表示其中的等价关系。 解:相互等价的元素将关系矩阵分成了不同的块； 相互等价的元素组成了关系图中相互连通的部分。ae bdcR1 等价类 定义2.22 设R是非空集合A上的等价关系， 对于任意x?A，称集合[x]R = {y | y?A且x,y?R} 为x关于R的等价类， 或称为由x生成的一个R的等价类； 并称其中的x为[x]R的生成元或代表元。 即，[x]R表示由所有与x关于R等价的元素组成的集合。 例2.54 设R是集合A={1, 2, 3, 4, 5, 6, 7, 8}上的模3同余关系， 用关系图表示该关系？并求R的所有等价类。 解: 集合A={1, 2, 3, 4, 5, 6, 7, 8}上的模3同余关系为 R = {1, 1, 1, 4, 1, 7, 2, 2, 2, 5, 2, 8, 3, 3, 3, 6, 4, 1, 4, 4, 4, 7, 5, 2, 5, 5, 5, 8, 6, 3, 6, 6, 7, 1, 7, 4, 7, 7, 8, 2, 8, 5, 8, 8} 可以得到关系R的关系图如图所示。关于R的等价类如下 [1]R =[4]R =[7]R = {1, 4, 7} [2]R =[5]R =[8]R = {2, 5, 8} [3]R =[6]R = {3, 6}1 472 58R36 等价类的性质 定理2.19 设R为非空集合A上的等价关系，则： (1) 对于任意x∈A，[x]R 是A的非空子集. (2) 对于任意x, y∈A，如果 x,y?R, 则 [x]R = [y]R. (3) 对于任意x, y∈A，如果 x,y?R, 则 [x]R?[y]R= ?. (4) ∪x?A [x]R = A. 商集 定义2.23 设R是非空集合A上的等价关系； 将由R的所有等价类构成的集合称为A关于R的商集, 记A/R。A/R = { [x]R | x?A }例2.25: 令R是集合A={ 1, 2, 3 , 4 , 5 , 6 ,7,8}上的模3同余关系； A关于R的商集为：A/R = {[1]R, [2]R, [3]R} = {{1,4,7}, {2,5,8}, {3,6}} A关