《离散数学等价关系与偏序关系.pptVIP

主要内容： 等价关系 偏序关系 集合与图论 * 第9节 等价关系与偏序关系 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定义1 集合X上的二元关系R称为等价关系，如果R同时具有以下三个性质： 例1：集合X上的恒等关系是不是X上的等价关系？ 1. R是自反的，即?x?X，xRx; 2. R是对称的，即如果xRy，则yRx; 3. R是传递的，即如果xRy，yRz，则xRz。 是X上的等价关系。 1 等价关系 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 等价关系实例 例2：考虑整数集Z上的模n同余关系。 例4：设f:X?Y，Ker(f)={(x,y)?x,y?X，且f(x)=f(y)}。 Ker(f)是X上的等价关系。 例3：实数集上的“”、“”、“≧”、“≦”是不是R上的等价关系？ 实数集上的“”、“”、“≧”、“≦”都不是R上的等价关系。 是等价关系。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例5：设 A={1, 2, …, 8}, 如下定义 A上的关系R： R={(x,y)| x,y?A∧x≡y (mod 3)} R 的关系图如下： 等价关系的关系图 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定义2 设R是X上的一个等价关系，x?X，X的子集Ex={y?y?X且xRy}称为x关于R的等价类，或简记为x的等价类。 x的等价类常记为[x]，即[x]={y?y?X且xRy}。 例5：设 A={1, 2, …, 8}, 如下定义 A上的关系R： R={(x,y)| x,y?A∧x≡y (mod 3)} 等价类的定义 A={ 1, 2, … , 8 }上模 3 等价关系的等价类： [1]=[4]=[7]={1,4,7} [2]=[5]=[8]={2,5,8} [3]=[6]={3,6} Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 等价类的性质 (3) ?x, y?X, 如果(x, y)?R, 则 [x]∩[y]=?。 定理1 设R是非空集合X上的等价关系, 则 (1) ?x?X, [x]≠? 。 (2) ?x, y?X, 如果(x, y)?R, 则 [x]=[y]。 (4) ，即所有等价类的并集就是X。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定义3 设X为非空集合，X的若干个子集形成的集族?称为X的一个划分，如果?具有性质： 集合的划分 如果?是X的一个划分，则当???=k时， ?被称为X的一个k-划分。 (2) ?x,y??，若x?y，则x∩y=?; (1) ???； (3) 。 称? 中的元素为X的划分块。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例6：设A＝{a, b, c, d}, 给定? 1, ? 2, ? 3, ? 4, ? 5, ? 6如下： ? 1={{a, b, c},{d}}， ? 2={{a, b},{c}