离散数学与 第四章：二元关系和函数.pptVIP

二元关系和函数;*;*;*;*;*;*;*; 如x,y∈R, 可记作 xRy；如果x,y?R, 则记作xR y 实例：R1={1,2,a,b}, R2= ? , R3={1,2,3,4}，R4={x,y|x∈N∧y ∈Z} R1,R2,R4是二元关系；R3不是二元关系。;*;*;*;*;*;*; 练习;*;§4.2 关系的运算;*;*;*;*;*;Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.;*;*;*;*;当图中没有回路时：;*;*;Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.;Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.;Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.;§4.3 关系的性质;例1： A={1,2,3}, R1={1,1,2,2} R2={1,1,2,2,3,3} R3={1,1 ,2,2,3,3,2,3 } R4={1,1,1,2,2,3} R5={1,2,2,3};对称性：若x, y ? R，则y, x ? R ;例2：;;例3：;练习：;;;１．逻辑运算方法：设R是A上的任一关系，则;２．矩阵形式：(M为R的关系矩阵);３．关系图法：;例4.10 设A={a,b,c,d}，A上的关系;={a, b, b, a, b, c,c, d, c, b, d, c};2.矩阵运算： ;3.关系图方法： ;Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.;;相容关系： R是集A上的关系，且R是自反的，对称的;;等价类的性质：R是非空集合，对任意的x，y?A，下面的结论成立：;集A在等价关系R下的商集：设R为非空集A上的等价关系，A在R下的商集记作A/R， A/R={[x]R | x?A}.(集合的集合）;集A的划分：令?=A/R， ?满足以下性质：;;例4.5.2 设A={1,2,3}，求出A上所有的等价关系：;设对应于划分?i 的等价关系 Ri，i = 1,2,…5，则有;;例4.5.3 设A={1,2,3}，求出A上的大于等于关系：;;相关概念：;盖住：如果x≤y，且不存在z使x ≤z ≤y (不是间接的), 则称y能盖住x。;例4.5.4 设A={1,2,3,4}，求出A上的整除关系：;偏序集的哈斯图;哈斯图实例;;Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.;(2) 若?y?A，使得? (?x)(x?A?y?x)，则称y是A的极大元 (没有比我大的);(3) 如果?y?A，使得(?x)(x?A?y?x)为真，则y是A的最小元 (比谁都小 );例子：;上图：极小元为{a,b,c,g};极大元为{a,f,h} 没有最小元也没有最大元。;(6) 若?y?A，使得(?x)(x?B? y?x)为真，则称y是B的下界（比B中每一个都小）;对以下哈斯图，令B = { 2，3，6 }, 则B的上界为{6,12}; B的下界为{1}; B的上确界为{6};下确界为{1}. ;考虑下图中的偏序集.令B = { b, c, d }, 则B的下界和最大下界都不存在, 上界有d和f, 最小上界为d.;Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.;小结与学习要求：;作