第3章节9等价关系及相容关系.pptVIP

3.9 等价关系与相容关系 3.9.1 集合的划分与覆盖 3.9.2 等价关系与等价类 3.9.3 相容关系 第三章 集合与关系 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3.9.1 集合的划分与覆盖 （1）  ( 2 ) ，当i≠j时 则满足（1）称S是集合A的一个覆盖， 每一个 称为这个覆盖的一个分块。 满足（1） （2）称S是集合A的一个划分， 每一个 称为这个划分的一个分块。 显然，A的划分是A的覆盖，但A的覆盖未必是个划分。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例 1 设A={2，3，4，8，9，10，15}  定义A的如下子集： 则　根据题意 {2，4，8，10} {3，9，15} {10，15} 是A的一个覆盖， 可成为A的一个划分。 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，e，f}，指出下列哪些是A的划分（在相应括号内填入“1”），哪些是A的覆盖（在相应括号内填入“2”），哪些既不是划分，也不是覆盖（在相应括号内填入“0”） S1={ {a，b } ，{c，d } ，{a ，e，f } } （ ）　 S2={ {c，e } ，{c，d，f } ，{b } } （ ） S3={ {a ，b ， c，d } ，{e, f } } （ ） S4={ {a ,c，e } ，{b，c } } （ ） 2 0 1,2 0 S5={ {a}, {b}, {c}, {d}, {e}, {f }, } （ ） S6={ {a ,b ，c，d, e，f } } （ ） 1,2 1,2 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 说明:(1)若S是A的划分,则S也一定是A的覆盖. (2) 任意给定集合A的划分或覆盖不是唯一的. (3) 给定了集合A的划分或覆盖,则A便唯一确定. (4) 覆盖中各子集可重叠,划分则不然. (5) 以非空集A为元素的集合S={A}称为A的最小划分. (6) 称为A的最大划分. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例3 n个元素的集合A，有多少种不同的方法划分成为两块？ 解 A有 个不同的子集，且这 个不同的子集中，两两互补，除 和U互补，但不能构成A的划分外，其余的每对集合均构成将A分成两块的一个划分，因此A有 种方法分成两块。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 1. 等价关系的定义 定义3.9.2 集合A上的关系ρ，如果它是自反的，对称的，且可传递的，则称ρ是A上的等价关系。 例如 数的相等关系是任何数集上的等价关