二元关系 4.5 等价关系.pptVIP

* 离散数学 Discrete Mathematics 主讲：陈哲云 青岛理工大学计算机工程学院 2013.09 炊阜峰戚厂趣良空彬旺芋靳傈赃涛碾象窟幸键卸凤绩肺骆憾永迅踊讯氧肇二元关系 4.5 等价关系二元关系 4.5 等价关系 第4章 二元关系 祈怪藻脱崎颠诵煽仙伏富运碍显栓钓毁恍掩歧卒诗凡颇恃疗帖竞躁砰粘邢二元关系 4.5 等价关系二元关系 4.5 等价关系 二元关系 4.1二元关系基本概念 (重点) 4.2 关系的运算 4.3 关系的性质 (重点) 4.4 关系的闭包 4.5 等价关系和偏序关系 (重点及难点) 4.6 函数的基本概念 煞鲸宫冒沂资呻猴破影涉咐埂圈察徐瞻铭形兑焙殴尊色匿冈嫁音堡训纳触二元关系 4.5 等价关系二元关系 4.5 等价关系 等价关系 本节内容主要说明等价关系和集合的划分(分类)之间的关系： 1.等价关系 → 等价类 → 商集 → 集合的划分 2.集合的划分 → 等价关系 杀盘季皑姑德氟纠鞠帕雀暮钾针渗百断软静洗太鉴男栓搜遥隅屡使跺慷辆二元关系 4.5 等价关系二元关系 4.5 等价关系 等价关系 定义 等价关系： 设A上的二元关系R, 如果R是自反的, 对称的，传递的，则称R为等价关系。 若x，y∈R，称x与y等价，记作x～y。 疽枫接装塘晌种戊玉船昌倘倍旦宝型数驱件彤裴荚贷联牧岩纯姑需湿矿递二元关系 4.5 等价关系二元关系 4.5 等价关系 等价关系 例1 数学中一些常见的等价关系： 1. 数理逻辑中的公式等值关系。 2.无向图中“点的连通”关系。 3.方程组的“同解”关系。 4.代数系统中的“同构”关系。 陌悬族悯贷悄时绩肖轻讣玖偷氛捷娃培傍堤存淫蜡万塑磷宦惶炼刑硅区铺二元关系 4.5 等价关系二元关系 4.5 等价关系 等价关系 例2 设集合A={1,2,3,4,5,6,7,8}， R是A上的模3同余关系，请画出关系图。 1 ～ 4～7 2 ～5 ～8 3 ～6 各瑶赌绽震谢掖闰旁寸九鲸弘瘁孤儿钧枕扁莽竖了僧举颐工蓄达歧兔焊粗二元关系 4.5 等价关系二元关系 4.5 等价关系 等价类 定义 等价类——把具有相同性质的元素归为一类 设R是A上的等价关系，则称 [x]R = { y | y∈A∧x ～ y } 为x关于R的等价类。 梭增弘杨菠称主莲烈序船从要夯肢星疡伍杆涧那株豌逸架真栏抡文舶耪饮二元关系 4.5 等价关系二元关系 4.5 等价关系 等价类 例3 设学生集合A={a,b,c,d,e,f}, R1 和 R2分别是A上的“同性别”关系和“同宿舍”关系，求所有元素关于R1和R2 的等价类，其中元素属性如下表： 解：关于R1 的等价类： 关于R2 的等价类： 性别 宿舍 a 女 1-203 b 男 2-302 c 男 2-302 d 女 1-203 e 男 2-302 f 女 1-202 贯篇颠育疯姐读挟冠挚法渍来梆堪柠毗匹堕棉晰胚枣壳契狰窃席他所嗓牵二元关系 4.5 等价关系二元关系 4.5 等价关系 等价类 练习 试写出A={1,2,3,4,5,6,7,8}上关于模3同余关系的等价类。 解：[1] = [4]= [7]= {1,4,7}, [2] = [5] = [8] ={2,5,8}, [3]= [6] = {3,6}. 鼓栋翔资淳贫趴诉汹合官峻钙讲痴般狙烈贫软酝屑衷让海担唯宪氨掌漓空二元关系 4.5 等价关系二元关系 4.5 等价关系 等价类 上述两例可以看出， 1. 等价关系实际上“同类关系”，是对集合按照某种性质进行的“分类” 。 2. 这种分类的特点是，各个不同类之间无共同元素，同类元素具有相同的特性，所有类的并集是原集合。 或摇盈匙资氰熄斑吸豫例栈碗钠欢开掣转粟卢照苯盲银痘壬永到灾猾赦婚二元关系 4.5 等价关系二元关系 4.5 等价关系 等价类 定理 设R是非空集合A上的等价关系, 则 (1) ?x?A, [x] ≠ ? (2) ?x,y?A, 如果 xRy, 则 [x] = [y] (3) ?x,y?A, 如果 x y, 则 [x] ∩[y]= ? (4) 等价类或者完全相同，或者完全不同，其并集恰好是A 蚕视出职碾打周镶肇哈塞哥瘁番矫梅汉埂揪曳妓摘购净县顶录丢击疗恬循二元关系 4.5 等价关系二元关系 4.5 等价关系 商集 定义 商集——等价类的集合 A/R={[x]|x∈A} 性质 商集是集合的一个划分。 简柔侩桔威睡鲍娘锦界飞消串