等价关系与划分ppt课件.pptx
《等价关系与划分ppt课件.pptx》由会员分享,可在线阅读,更多相关《等价关系与划分ppt课件.pptx(20页珍藏版)》请在三一办公上搜索。
1、1,等价关系是一类重要的关系。 定义7.15(等价关系) 设R非空集合上的关系,如果R是自反的、对称的和传递的,则称R为A上的等价关系。 设R是一个等价关系,若R,称x等价于y,记作xy。,例 设A=1,2,3,R1,R2,R3是A上的关系 R1=, R2=,, R3=,2,例 设A为某班学生的集合,讨论下列关系是否为等价关系。 R1=|x, yA x与y同年生 R2=|x, yA x与y同姓 R3=|x, yA x的年龄比y小,解:R1是等价关系; R2是等价关系; R3不是等价关系;,3,如tsr(R)必为一个等价关系 例 A=1,2,3,A上的关系R=, tsr(R)=,通过闭包运算将任
2、意的关系R构造成为一个等价关系,4,对R求三种闭包共有6种顺序,问每种顺序的运算结果是否一定为等价关系? 不一定。 由于对称闭包不一定保持关系的传递性,因此先求传递闭包后求对称闭包得到的关系不一定是等价关系 例 A=1,2,3,A上的关系R=, str(R)=IA, 显然str(R)不是等价关系,用闭包运算去构造等价关系时,传递闭包运算应该放在对称闭包运算的后面,5,例 设AN,R=|x, yAxy (mod 3) 为A上的关系,其中xy (mod 3)叫做x与y模3相等,其含义为x除以3的余数与y除以3的余数相等。证明R为A上的等价关系。 证明: xA,有xx (mod 3),即R,所以R是
3、自反的。 x,yA,若xy (mod 3),则有yx (mod 3)。所以R是对称的。 x,y,zA,若xy (mod 3),yz (mod 3),则有xz (mod 3)。所以R是传递的。 综上R为A上的等价关系。,6,例:已知A=P(X), CX, x, yA, R xyC。 证明R为A上的等价关系.证明:(1)xA,由于xx=C R, 所以R是自反的。(2)x,yA,RxyCyxCR, 所以R是对称的。(3)x,y,zA,若R,R, 则有xyC, yzC。 xz=(xy)(yz)C R. 所以R是传递的。 综上所证,R是A上的等价关系。,7,画出等价关系R=|x,yAxy(mod 3)的
4、关系图 ,其中A=1,2,8。,不难看出,上述关系图被分为三个分离(互不连通)的部分。每部分中的数两两都有关系(模3相等),位于不同部分中的数之间则没有关系。,称每一部分中的顶点构成了一个等价类。,8,定义7.16(等价类) 设R为非空集合上的等价关系,xA,令xR=y|yAxRy,称xR为x关于R的等价类,简称为x的等价类,简记为x。 说明: x的等价类是A中所有与x等价的元素构成的集合。,9,集合A=1,2,8上的等价关系 R=|x, yAxy(mod 3),等价类是: 1=4=7=1,4,7 2=5=8=2,5,8 3=6=3,6,10,将模3的等价关系加以推广,可以得到整数集合Z上的模
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 等价 关系 划分 ppt 课件
链接地址:https://www.31ppt.com/p-1361734.html