离散数学及其应用-傅彦-第7章 特殊关系.pptVIP

第三篇 二元关系 第7章 特殊关系 7.0 内容提要 7.1本章学习要求 判定下列关系具有哪些性质 1、在全体中国人所组成的集合上定义的“同姓”关系； 2、对任何非空集合A，A上的全关系； 3、三角形的“相似关系”、“全等关系”； 4、直线的“平行关系”； 5、“朋友”关系； 7.2 等价关系 定义7.2.1设R是定义在非空集合A上的关系，如果R是自反的、对称的、传递的，则称R为A上的等价关系。 例7.2.1 例7.2.2 例7.2.2 解 例7.2.2 解 (续) 1、对?x∈A，有(x-x)被12所整除，所以x,x∈R，即R是自反的。 2、对?x,y∈A,若x,y∈R,有(x-y)被12整除，则(y-x)＝-(x-y)被12整除,所以,y,x∈R,即R是对称的。 3、对?x,y,z∈A,若x,y∈R且y,z∈R,有(x-y)被12所整除且(y-z)被12所整除,所以(x-z)＝(x-y)＋(y-z)被12所整除,所以,x,z∈R,即R是传递的. 由1,2,3知R是等价关系。■ 从例7.2.2可以看出 关系R将集合A分成了如下的12个子集： {1, 13}, {2,14}, {3,15}, {4,16}, {5,17}, {6, 18}, {7,19}, {8,20}, {9,21}, {10,22}, {11,23}, {12,24}。 例7.2.3 证明 (1)