[离散数学讲义第五章二元关系.pptVIP

例12 设A={a,b,c}，求出A上所有的等价关系。 解 先求出A上有多少个不同的分划。 分成一个分划块的分划 分成两个分划块的分划 分成三个分划块的分划 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 因此，A上有5个不同的分划，如下图所示 a b c a b c b a c c a b a c b 记与分划 相对应的等价关系为 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 练习2-5 1. 下列是集合A={1,2,3,4}上的关系，判断哪些是等价关系，若是，则在其后的括号中填入“Y”，否则填入“N”。 （1） （ ） （2） （ ） （3） （ ） （4） （ ） （5） （ ） N N N Y Y Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2. 设A={a,b,c,d}，对A上的下一等价关系写出其导出的等价分划。 （1） { } 3. 设A={a,b,c,d}，对A的下一分划，写出其相对应的等价关系。 （1） {  } (a,a),(b,b),(c,c),(d,d),(b,c),(c,b),(d,b),(b,d),(c,d),(d,c) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 考虑下面两个问题： 1、设S是关于相容关系R的一个极大相容类，问：S的子集是否是关于R的相容类？ 2、从偏序关系的角度考察极大相容类 3、所以求极大相容类的总体思路是以基本相容类为基础，通过不断 （3）若ρ1和ρ2是对称的，则ρ1·ρ2也是对称的； （4）若ρ1和ρ2是反对称的，则ρ1·ρ2也是反对称的； （5）若ρ1和ρ2是可传递的，则ρ1·ρ2也是可传递的； 　　　　　　　例如 ，设集合A=｛1,2,3｝， ρ1=｛（1,2），（2, 1）｝ ,ρ2=｛（1,3），(3,1)｝， 显然 ρ1和ρ2都是对称的， 　　　　　例如设 A =｛1,2,3｝,ρ1={(1,2),(3，3）｝, ρ2 ={(2,3）,(3，1）｝显然ρ1和ρ2都是反对称的， 　　　　　例如设 A =｛1,2,3},ρ1={(1,2),(2,3）,(1,3）}, ρ2 =｛（2，3），（3，1），（2，1）｝， 　　　显然ρ1和ρ2都可传递的. 但ρ1·ρ2=｛（2,3）｝不是对称的。 但ρ1·ρ2={(1,3）,(2,1）,(1,1)} 不是可传递的。 但ρ1·ρ2 =｛（1, 3），(3,1)｝不是反对称的。 证明（3）否 . (4) 否 . （5）否 . Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 4 .有人说，集合A上的关系　 ，如果是对称的且可 　　传递，则它也是自反的。其理由是，从 对称性 传递性 例 设 A＝｛1,2