3-9-12集合划分覆盖等价和序关系.pptVIP

3-9 集合的划分和覆盖;例:判断以下集合是否为集合A的覆盖？ 其中A={ a,b,c,d,e,f} （1）S1= {?, {a,b},{c,d},{f}} （2）S2= {{a,b},{c,d},{f,g}} （3）S3= {{a,b},{c,d},{f} } （4）S4= { {a,b},{c,d,e},{e,f} };定义3-9.2[划分partition] ：给定集合A的一个覆盖S，若A中的每个元素属于且仅属于S的一个分块，则S称作是A的一个划分。 即：若S是集合A的覆盖， 且满足Si∩Sj=?， （这里i≠j）， 则称S是A的划分。;是;定义3-9.3[交叉划分]：若{A1,A2, …,Ar}与{B1,B2, …,Bs}是同一集合A的两种划分，则其中所有Ai∩Bj组成的非空集合，称为原来两种划分的交叉划分。 定义3-9.4[加细]：给定X集合的任意两个划分{A1,A2, …,Ar}和{B1,B2, …,Bs}，若对于每一个Aj，均有Bk使Aj ? Bk，则称{A1,A2, …,Ar}为{B1,B2, …,Bs}的加细。;定理3-9.1:设{A1,A2, …,Ar}与{B1,B2, …,Bs}是同一集合X的两种划分，则其交叉划分仍是原集合的一种划分。 证明见书129页。;定理3-9.2: 任何两种划分的交叉划分，都是原来各划分的一种加细。 证明见书130页。;3-10 等价关系与等价类;3-10.2 等价类;定理3-10.1 设R是非空集合A上的等价关系，对于任意a, b?A，有aRb iff [a]R =[b]R。 证明：假设[a]R =[b]R，因为a? [a]R ， 故a? [b]R ，即aRb。 若aRb，设c?[a]R ?aRc ? cRa ? cRb ? c?[b]R ，即[a]R ?[b]R 同理，若c?[b]R ?bRc ? cRb ? cRa ? c?[a]R ，即[a]R ?[b]R 由此证得若aRb，则[a]R =[b]R;定义3-10.3[商集]：设R是非空集合A上的等价关系，关于R的全体不同的等价类为元素的集合 {[a]R| a?A} 称为A关于R的商集，记为A/R。 例2：仍以书131页例题2为例（给出一个集合和等价关系，求商集）。;定理3-10.2：非空集合A上的等价关系R，决定了A的一个划分，该划分就是商集A/R。 定理的证明见书133页上，在此省略。;定理3-10.3：集合A的一个划分确定A的元素间的一个等价关系。 定理的证明见书133页下，在此省略。 例：包含三个元素的集合，可以有多少种不同的划分，就有多少种等价关系。 5种。 看P134 例题4;定理3-10.4：设R1和R2为非空集合A上的等价关系，则R1=R2当且仅当A/R1=A/R2。 定理的证明见书134页中，在此省略。;本次课小结及要求;作业（3-10）;3-11 相容关系;例1：设X={216，2234，379，648，545}，R是X中的二元关系。 R={x,y|x?X，y?X，x和y有相同的数字}，试说明R是一个相容关系，并写出R的关系矩阵，画出关系图。 解：令X中的元素分别为x1~x5，则 R={x1,x1,x1,x2,x1,x4,x2,x1,x2,x2,x2,x3,x2,x4,x2,x5,x3,x2,x3,x3,x4,x1,x4,x2,x4,x4,x4,x5,x5,x2,x5,x4,x5,x5;关系矩阵如下： 1 1 0 1 0 1 1 1 1 1 MR= 0 1 1 0 0 1 1 0 1 1 0 1 0 1 1 转化后如下： X2 1 X3 0 1 X4 1 1 0 X5 0 1 0 1 x1 x2 x3 x4;定义3-11.2[相容类]: 设r是集合A上的相容关系，若C?A ，如果对于C中任意两个元素a1，a2有a1 r a2，称C是由相容关系r产生的相容类。 上例中的相容类有： {x1,x2},{x1,x4},{x2,x4},{x2,x4,x5},{x2,x3}等。;定义3-11.3 [最大相容类]：设r是集合A上的相容关系，不能真包含在任何其它相容类中的相容类，称作最大相容类。记作Cr。在相容关系图中，最大完全多边形的顶点集合，就是最大相容类。此外，一个孤立结点，以及不是完全多边形的两个结点的连线，也是最大相容类。 例2：见P137 例1。;定理3-11.1：设r是有限集合A上的相容关系，C是一个相容类，那