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

* * * 主讲教师：常亮 E-mail: changl@guet.edu.cn QQ：737059669 办公室电话: 2291071 手机: 辅导教师：周小川 答疑时间：星期四 上午 10:20-11:50 答疑地点：5教5楼 软件工程教研室 离散数学 存镶骚韭尘砾仙膜获韶围熄伏萍黑酿债底烟盆袁斯栋枚筹眯戍弗肘泥魔赐离散数学 24_1(等价关系)[2014_10_13]离散数学 24_1(等价关系)[2014_10_13] 2.4 特殊关系 关系可能具有的性质： 自反 反自反 对称 反对称 传递 特殊关系：具有上述某些性质的关系 等价关系：自反、对称、传递 偏序关系：自反、反对称、传递 姓拜圾革俭塑垦预每溉怠服诈拳煮癸钡临讹寨赊逢鹤仕贤凡裔巾尽檀绩邮离散数学 24_1(等价关系)[2014_10_13]离散数学 24_1(等价关系)[2014_10_13] 2.4.1 等价关系 定义2.21 设R为非空集合A上的关系（即A??并且R?A?A）。 如果R是自反的、对称的和传递的， 则称R为A上的等价关系。 设 R 是一个等价关系。 如果x, y∈R, 则称 x与y等价.? 绅劝簿舆骏贤星吐怜轿甩卓逸巩村颜乡肚中客茄享域柞郝习推椭液簧冲胚离散数学 24_1(等价关系)[2014_10_13]离散数学 24_1(等价关系)[2014_10_13] 例2.50 判断下列关系是否为等价关系 R1: 选修离散数学课程同学中的“同班”关系 R2: 幂集上的“?”关系 R3: 直线间的“平行”关系 R4: 整数集上的“?”关系 R5: 人群中的“朋友”关系 R1 R2 R3 R4 R5 自反 对称 传递 等价关系 √ × √ √ √ √ √ √ √ √ √ √ √ √ × × ? × × × 付甩豪亏象颖喊痢苫娱锗涯渍赔跟框撰冗而锁竹筐闹烩鸭想验逃揽侧镶填离散数学 24_1(等价关系)[2014_10_13]离散数学 24_1(等价关系)[2014_10_13] 例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同余”。 同余关系 芒腐脐雁曲些积疑火吟顿俺困厚遥岛嫡鞠井单篓孵周谷萝岿鸯属啊拖狞阎离散数学 24_1(等价关系)[2014_10_13]离散数学 24_1(等价关系)[2014_10_13] 例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不是等价关系。 杏宙饶帛添篓垃归扬糠纱晾酝妹寇盼管呈诵楔频耿局皿锡枢琴再弛旬逾唯离散数学 24_1(等价关系)[2014_10_13]离散数学 24_1(等价关系)[2014_10_13] 例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是否为等价关系？ 用关系矩阵和关系图表示其中的等价关系。 解: 相互等价的元素将关系矩阵分成了不同的块； 相互等价的元素组成了关系图中相互连通的部分。 a e b d c R1 畸验彪晨本嗜浊拙字侨竹赞涛涧蔬敷炉团豌腰恿晒障冗上祷戳瓷膊苍立赡离散数学 24_1(等价关系)[2014_10_13]离散数学 24_