离散数学第四章(第3讲)课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《离散数学第四章(第3讲)课件.ppt》由用户(三亚风情)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 第四 课件
- 资源描述:
-
1、4 关系的运算关系的运算关系的复合关系的复合定义定义:设 YX(R关系),关系),ZY(S关系),关系),于是可获得:于是可获得:ZX(R S)的关系,称的关系,称 R S为为R和和S的复合关系,并规定为:的复合关系,并规定为:),(|,SzyRyxYyyZzXxzxSR),(|,SzyRyxYyyZzXxzxSR例:设例:设A=1,2,3,4,5,R,S均为均为AA的关系,且的关系,且R=S=则则 R S=S R=讨论:讨论:(1)RS SR,因此因此“”是不可交换的。是不可交换的。(2)RS为新的二元关系,且为新的二元关系,且RS为X Z Z上的二元关系。上的二元关系。定理定理:设 WZY
2、XRRR321则有:则有:321321321)()(RRRRRRRRR即即:关系的复合运算满足结合律关系的复合运算满足结合律.定义定义给定集合给定集合X,R是是X中的二元关系,设中的二元关系,设 Nn于是于是R的的n次幂次幂)(nR可以定义成:可以定义成:RRRnn)1()(,Ra bb cc a,cbaX 例:例:多个相同的二元关系多个相同的二元关系R 复合复合(3)(2),xRRRa ab bc cI (2),RR Ra cb ac b 复合运算的矩阵表示:复合运算的矩阵表示:设有三个集合:设有三个集合:ZYXzzzZyyyYxxxXSRpnm,212121nmikRaM而而|X|=m,|
3、Y|=n,|Z|=p,则关系矩阵:,则关系矩阵:pnkjSbMpmijSRcMSRSRMMM)(1kjiknkijbac例:设例:设X=1,2,3,R,S均是均是X中的二元关系,中的二元关系,R=,S=0 1 00 1 01 0 0MR=0 1 10 0 11 0 0MS=(0 0)(1 0)(0 1)=00 0 10 0 10 1 1MRS=2逆关系逆关系 定义定义:设设X,Y是二个集合,若是二个集合,若R是是XY的关系,从的关系,从YX的的关系,称为关系,称为R的逆关系,用的逆关系,用,|,RyxxyR表示,或用表示,或用 cR表示。表示。例:例:X=0,1,2,R=110100001,1
4、00001011RRMMR=2逆关系逆关系 讨论定义:讨论定义:(1)只要将)只要将R中每一个序偶中的元素全部调换位置,就可得到中每一个序偶中的元素全部调换位置,就可得到R的的逆关系逆关系。(2)R的关系矩阵为的关系矩阵为 RM的转置矩阵;的转置矩阵;(3)在)在R的关系图中,只要把所有箭头改换方向就可得到的关系图中,只要把所有箭头改换方向就可得到的关系图。(自回路箭头改变与否无关)的关系图。(自回路箭头改变与否无关)R定理定理设 ZYXSR,则可有:,则可有:RSSR RSSR同样 xRSzxRyySz)(xSRzzSRxySzxRy)()(证明:对于任一证明:对于任一 ZzYyXx,来讲,
5、若有来讲,若有 R SSR同理可证同理可证SRR SR一定是对称的一定是对称的 定理定理:设设R是集合是集合X中的二元关系,当且仅当中的二元关系,当且仅当RR则则R才是对称的。才是对称的。证明:充分性:证明:充分性:R是对称的是对称的 RR对于任一对于任一 RbaRabRba,RR必要性:必要性:RRR是对称的,是对称的,RR对任一对任一 RabRbaRba,定理:给定集合定理:给定集合X,Y,YXSRRR,21,于是可有:,于是可有:RR)1(SRSR)2(SRSR)3(XYYX)4()6(2121)5(RRRR3.闭包运算闭包运算定义定义:给定集合:给定集合X,R是是X中的二元关系,若有另
展开阅读全文