书签 分享 收藏 举报 版权申诉 / 62
上传文档赚钱

类型离散数学二元关系与运算-课件.ppt(62页)

  • 上传人(卖家):ziliao2023
  • 文档编号:7718865
  • 上传时间:2024-08-07
  • 格式:PPT
  • 页数:62
  • 大小:402KB
  • 【下载声明】
    1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
    2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
    3. 本页资料《离散数学二元关系与运算-课件.ppt(62页)》由用户(ziliao2023)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
    4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
    5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
    配套讲稿:

    如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。

    特殊限制:

    部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。

    关 键  词:
    离散数学 二元关系 运算 课件
    资源描述:

    1、1:由两个元素:由两个元素x和和y按一定顺序按一定顺序排成二元组,记作:排成二元组,记作:。如:平面直角坐标系中点的坐标一、二元关系的概念精品资料 你怎么称呼老师?如果老师最后没有总结一节课的重点的难点,你是否会认为老师的教学方法需要改进?你所经历的课堂,是讲座式还是讨论式?教师的教鞭“不怕太阳晒,也不怕那风雨狂,只怕先生骂我笨,没有学问无颜见爹娘”“太阳当空照,花儿对我笑,小鸟说早早早”(1)当x y时,(2)=,当且仅当x=u,y=v(1)、(2)说明有序组区别于集合n元有序组:由由n个元素个元素x1,x2,xn,按,按一定顺序排成的一定顺序排成的n元组,记作:元组,记作:(x1,x2,x

    2、n)。2.一种新的集合运算一种新的集合运算 积运算积运算:设A、B为两集合,用A中元素为第一元素,B中元素作为第二元素构成的二元有序组的全体叫做A和B的笛卡儿积。记作:A B符号化:A B=|xA y B例例4.1 设A=a,b,B=0,1,2,求A B,B A解:解:根据笛卡儿积的定义知A B=,B A=,一般地:如果|A|=m,|B|=n,则|A B|=|B A|=m n,(1)若A,B中有一个空集,则笛卡儿积是空集,即:B=A =(2)当AB,且A,B都不是空集时,有ABBA(3)当A,B,C都不是空集时,有(A B)C A(B C)因为(A B)C中的元素,z,而A(B C)中的元素为

    3、 x,。(4)A(BC)=(A B)(A C)(对的分配律)(BC)A=(B A)(C A)A(BC)=(A B)(A C)(BC)A=(B A)(C A)我们证明:A(BC)=(A B)(A C)(?)(?)(?)要证明两个集合相等,通常有两种方法:一是证两个集合相互包含;二是利用已有的集合运算的性质(算律和已证明过的公式),仿照代数恒等式的证明方法,一步步从左(右)边推出右(左)边,或从左、右边分别推出同一个集合式子。一般说来,最基本的集合相等关系要用第一种证法,比较复杂的集合相等关系用第二种方法更好,但第二种方法的使用取决于我们对算律和常用公式的熟练程度。证明:证明:用第一种方法对于任意

    4、的 A (BC)xA y(BC)xA(yB yC)(xA yB)(xA yC)A B A C(A B)(A C)A(BC)=(A B)(A C)例例4.2 设A=1,2,求P(A)A解:解:P(A)A=,1,2,1,2=,n阶笛卡儿积:=(x1,x2,xn)|x1A1 x2A2 xnAnA1 A2 An1,2,二元关系:二元关系:如果一个集合的元素都是二元有如果一个集合的元素都是二元有序组,则这个集合称为一个二元序组,则这个集合称为一个二元关系,记作:关系,记作:R。如果 R ,记作 x R y如果 R ,记作 x R y3、二元关系的数学定义、二元关系的数学定义从从A到到B的二元关系:的二元

    5、关系:设设A,B为集合,为集合,A B的任的任何子集所定义的二元关系叫做从何子集所定义的二元关系叫做从A到到B的二元关系。的二元关系。若A=B,叫做 A上的二元关系;若|A|n,则|A A|n2。2n2就是说,A上有 个不同的二元关系,其中包括空关系、全域关系UA和恒等关系IA。2n2A A的所有子集有 个。例例4.3 设A=a,b,写出P(A)上的包含关系R:解:解:P(A)=,a,ba,bR=,1.关系矩阵:设A=x1,x2,xn),R是A上的关系,rij=1 若xi R xj0 若xi R xj(i,j=1,2,n)则 (rij)nxn=是R的关系矩阵令:nnnnnnrrrrrrrrr2

    6、12222111211二、二元关系的表示方法2.关系图:以E=|xiA xjA xiRxj为有向边集组成的有向图G=以V=A=x1,x2,xn 为顶点集,例例4.4 设A=1,2,3,4,R=,是A上的关系,试写出R的关系矩阵并画出关系图:解:解:关系矩阵:0 0 1 10 0 0 00 1 0 01 1 0 0关系图:134 2关系关系R的定义域:的定义域:domR=x|(y)R(即即R中有序组的第一个元中有序组的第一个元素构成的集合素构成的集合)关系关系R的值域:的值域:ranR=y|(x)R(即即R中有序组的第二个元中有序组的第二个元素构成的集合素构成的集合)一、关系的定义域与值域例例4

    7、.5 下列关系都是整数集Z上的关系,分别求出它们的定义域和值域:(1)R1=|x,y Z xy(2)R2=|x,y Z x2+y2=1(3)R3=|x,y Z y=2x(4)R4=|x,y Z|x|=|y|=3 解:解:domR1=ranR1=Z解:解:R2=,domR2=(?)ranR2=(?)(1)R1=|x,y Z xy(2)R2=|x,y Z x2+y2=1,解:解:domR3=Z,ranR3=偶数 解:解:domR4=ranR4=(?)(3)R3=|x,y Z y=2x(4)R4=|x,y Z|x|=|y|=3 二、关系的常用运算F是任意关系,F的逆F1=|yFx F、G是任意两个关

    8、系,F与G的合成记作:F G=|(z)(xGz zFy)关系F在集A上的限制,记作:F|A=|xFy xA集A在关系F下的象FA=ran(F|A)(1)逆:(2)合成:(3)限制:(4)象:例例4.6 设F,G是N上的关系,其定义为:F=|x,yN y=x2G=|x,yN y=x+1求 G1,F G,G F,F|1,2,F1,2解:解:由定义知:G1=|y,xN y=x+1列出G1 中的元素就是G1=,为了求F G,可以先直观表示如下:对任何xNx x+1=G即 y=(x+1)2因此 F G=|x,yN y=(x+1)2 同理可求 G F=|(?)(自己做!)发现 F G G FF|1,2=,

    9、F 1,2=ran(F|1,2)=1,4F Z Z2=y关系运算的性质:关系运算的性质:设F、G、H、为任意关系,则有:(1)(F1)1=F(2)domF1=ranF,ranF1=domF(3)(F G)H=F (G H)(4)(F G)1=G1 F1(5)F (GH)=F GF H (对的分配律)(6)F (GH)F GF H (对的半分配律)(7)(GH)F=G FH F(8)(GH)F G FH F(?)(?)任取 (F G)1 F G(z)(G F)(z)(G1 F1)G1 F1(4)(F G)1=G1 F1的证明:任取F (GH)(z)(GH)F)(z)(GH)F)(注意对括号的顺序

    10、)(z)(G F(H F)F GF H F (GH)=F GF H(5)F (GH)=F GF H的证明:R的关系矩阵:主对角线元素全是1R的关系图:每个顶点都有环自反性:x A 有R (R是A上的关系)关系矩阵:主对角线元素全是0关系图:每个顶点都没有环反自反性:x A R对称性:若 R,则 R 关系矩阵:对称阵关 系 图:如果两个顶点之间有边,一定是一对方向相反的边。反对称性:反对称性:若 R且xy,则 R 关系矩阵:如果rij=1,且 i j,则rji=0 关系图:如果两个顶点之间有边,一定是只有一条有向边。传递性:传递性:若 R且 R,则 R 关系图:如果顶点xi到xj有边,xj到xk

    11、有边,则从xi到xk有边例例4.7 设A=1,2,10,对于A上的关系R=|(xy)/3II为整数集,问R有哪些性质?解:解:逐条性质加以验证R=|(xy)/3I 任取A中元素x,由于(xx)/3=0,所以R是自反的自反的;又设A中任意两个元素x,y,如果 xRy,即xy可被3整除,则yx也一定可被3整除,即yRx,从而R是对称的对称的;如果A中三 个元素x,y,z满足xRy,yRz,则x y,yz被3整除,由于xz=(xy)+(yz),所以xz被3整除,从而xRz即R具有传递性传递性。闭包:设RAA,自反闭包 记作 r(R)对称闭包 记作 s(R)传递闭包 记作 t(R)由A求r(R),s(

    12、R),t(R)的过程叫闭包运算。那么,包含R而使之具有自反性质的最小关系,称之为R的自反闭包自反闭包;包含R而使之具有对称性质(传递性质)的最小关系,称之为R的对称(传递传递)闭包闭包。一、定义幂运算:设RAA,kN,约定(1)R0=IA=|xA(2)R1=R(3)Rk+1=Rk R显然 Rm Rn=Rm+n (Rm)n=Rmn二、计算方法为了有效地计算关系R的各种闭包,先引进关系的幂运算概念。闭包运算的方法:闭包运算的方法:设R是A上的任一关系,则(1)r(R)=RIA(2)s(R)=RR(3)t(R)=RR2R3 Rn矩阵形式矩阵形式:(M为R的关系矩阵)(1)Mr=M+E(2)Ms=M+

    13、M (M 是M的转置)(3)Mt=M+M2+M3其中“+”均表示“逻辑加”例例4.8 设A=a,b,c,d,A上的关系求 r(R),s(R)和 t(R)解:解:r(R)=RIA=,R=,=R,三、实例s(R)=RR=,t(R)=RR2R3=R,而R2=R RR3=R2 RR4=R3 R=,=,=,实际上,看到当k 4时,已有R4 RR2R3故 t(R)=RR2R3=,四、闭包运算的性质设A是有限集且|A|=n,R A A,则:ikiRRtnk1)()1(,使有)()()2(RsrRrs)()()3(RtrRrt)()()4(RtsRst 等价关系:集A上的关系R是自反的,对称的和传递的。等价类

    14、:R是集A上的等价关系,对于任一aA,aR=x|aRx,xA被称为a的等价类。即A中所有和a有R关系的元素的集合。一、等价关系及用途等价类的性质:等价类的性质:R是非空集合,对任意的x,yA,下面的结论成立:(1)x且x A (等价类为A的子集)(2)若xRy,则x=y(3)若xRy,则xy=AxAx)4(集A在等价关系R下的商集:设R为非空集A上的等价关系,以R的不交的等价类为元素的集合叫做A在R下的商集,记作A/R.即:A/R=xR|x A集A的划分:设A是非空集合,(1)(2)中任意两个元素不交(3)中所有元素的并集为A则 为A的划分。如果存在一个A的子集族,P(A)满足以下条件:由等价

    15、类的性质和商集的定义可知,商集A/R是A的划分,称之为由R诱导的划分。反过来,给定A的任一划分,则A被分割成若干个划分块。若定义A上的二元关系R:x,yA且x,y属 的同一块,则xRy,那么R是A上的等价关系,称之为由 诱导的等价关系。集A上的等价关系与划分是一一对应的。例例4.9 设A=1,2,3,求出A上所有的等价关系:解:解:先求A的各种划分:只有1个划分块的划分1,具有两个划分块的划分2,3,和4,具有3个划分块5。1=A2=1,2,3,4=3,1,2,3=2,1,3,5=1,2,3设对应于划分i 的等价关系 Ri,i=1,2,5,则有R5=,R1=,R2=,R3=,R4=,偏序关系:

    16、偏序关系:集集A上的关系上的关系R是自反的,反是自反的,反对称的和传递的,记作对称的和传递的,记作“”,且称且称A,)为偏序集。为偏序集。二、偏序关系及用途例例4.10 设A=2,4,6,8,A上关系R是通常意义下的小于或等于关系,试写出R并验证它是偏序关系。解:解:R=,(1)自反性:(2)反对称性:(3)传递性:,均属于R对任意的R,必有xy,当xy时,yx,从而R对任意的R,R,由于 xy yz,所以xz,从而R。例例4.11 设C=a,b,a,b,,C上关系T是集合的“包含于”,试写出T,并验证它是偏序关系。解:解:同例4.10类似,自己做!(1)用小圆圈表示偏序集的元素(称为结点);

    17、(2)按每个元素在偏序中的次序从底向上列结点位置;(3)对于偏序集中任意两个元素x和y,如果xy且不存在另一个元素a,使xa ay,则在x与y两结点之间划上一杠,即“|”(x在下,y在上)全序关系:设是偏序集,(x)(y)(xA yA(xy yx)成立,则称A,)为全序集,这时的偏序关系叫全序关系。全序集A,)中全部元素可以排序,它的哈斯图为一条直线。如果设是偏序集,B A(1)如果yB,使得(x)(xByx)为真,则y是B的最小元(“小于”B中所有元)(2)如果yB,使得(x)(xB xy)为真,则y是B的最大元(“大于”B中所有元)(4)若yB,使得 (x)(xB xy),则称y是B的极大

    18、元(B中没有比y大的其他元)(5)若yA,使得(x)(xB xy)为真,则称y是B的上界(3)若yB,使得 (x)(xB xy),则称y是B的极小元(B中找不到x小于y)(6)若yA,使得(x)(xB yx)为真,则称y是B的下界(7)令C=y|y为B的上界,则称C的最小元为B的上确界或最小上界(8)令D=y|y为B的下界,则D的最大元为B的下确界或最大下界12 84610例例4.12 画出和的哈斯图,并指出其中的特殊元。解:解:(1)的哈斯图如下:92513711由图可知1为最小元,没有最大元;7,8,9,10,11,12均为极大元,极小元为1;1为1,2,12的下界,也是下确界;1,2,12中没有上确界或上界。(2)的哈斯图如下:P(a,b,c)=,a,b,c,a,b,a,c,b,c,a,b,ca,b,ca,ca,bb,ccab由图可知:为P(a,b,c)的最小元,a,b,c为它的最大元;同时,a,b,c也分别为它们的极小元和极大元、下确界和上确界。abcde例例4.13 已知偏序集的哈斯图如下:hgf 试写出对应的A和A上的偏序关系R,并指出A中的特殊元。,解:解:A=a,b,c,d,e,f,g,h 直接由哈斯图可知:A中没有最小元和最大元;e,g和h均为A的极大元,a,b,f 和h均为A的极小元;没有上确界和下确界。R=,abcdehgf,小结与学习要求:小结与学习要求:

    展开阅读全文
    提示  163文库所有资源均是用户自行上传分享,仅供网友学习交流,未经上传用户书面授权,请勿作他用。
    关于本文
    本文标题:离散数学二元关系与运算-课件.ppt(62页)
    链接地址:https://www.163wenku.com/p-7718865.html

    Copyright@ 2017-2037 Www.163WenKu.Com  网站版权所有  |  资源地图   
    IPC备案号:蜀ICP备2021032737号  | 川公网安备 51099002000191号


    侵权投诉QQ:3464097650  资料上传QQ:3464097650
       


    【声明】本站为“文档C2C交易模式”,即用户上传的文档直接卖给(下载)用户,本站只是网络空间服务平台,本站所有原创文档下载所得归上传人所有,如您发现上传作品侵犯了您的版权,请立刻联系我们并提供证据,我们将在3个工作日内予以改正。

    163文库