离散数学第三章第四节资料.ppt

第3-4讲 等价关系 1. 集合覆盖与划分 2. 等价关系 3. 等价类 4. 商集 5. 等价关系、商集 及划分之间的关系 6. 第3-4讲 作业 1、集合覆盖与划分（1） 在集合研究中，有时要将集合分为若干子集来讨论。如下左图所示集合A就被分成三个非空子集B1、B2、B3。A中的所有元素至少属于其中的某个分块（子集），这些分块（子集）的全体构成的集合{B1，B2，B3}叫做A的一个覆盖。当A中的所有元素属于且仅属于其中的某个分块（子集）时，这些分块（子集）的全体构成的集合叫做A的一个划分（如下右图所示）。 1、集合覆盖与划分（2） 定义1 给定非空集合A，令?={Ai|1?i?m} Ai??， Ai?A， A1?A2?...? Am=A，则称集合?为A的一个覆盖。如果Ai?Aj=?(i?j)，则称集合?为A的一个划分， Ai称为划分?的块。 1、集合覆盖与划分（3） 1、集合覆盖与划分（4） 1、集合覆盖与划分（5） 2、等价关系（1） 定义4 设R为非空集合A上的二元关系，如果R是自反的、对称的和传递的，则称R为上的等价关系。 2、等价关系（2） 例1 设A＝{1,2,3,4,5,6,7}，Z为整数集合，A上的关系R定义为： R={x,y|x,y?A?(x-y)/3?Z}说明R是等价关系。 2、等价关系（3） 设Z为整数集合，R为Z上的关系，K为正整数，令 R={x,y|x,y?Z?(x-y)/K?Z} 称R为模K同余关系。一般记作 R={x,y|x,y?Z?x≡y(modK)} 并称x与y模K相等。容易证明，R是等价关系。 3、等价类（1） 定义5 设R为非空集合A上的等价关系，?a?A，令 [a]R={ x |x?A?aRx } 称[a]R为a关于R的等价类。简称为a的等价类，简记为[a]。 3、等价类（2） 定理3 设R为非空集合A上的等价关系，?a,b ?A, aRb当且仅当[a]R=[b]R。 4、商集 定义6 设R为非空集合A上的等价关系，集合{[x]R|x?A}称为A关于R的商集，记作A/R。 5、等价关系、商集及划分之间的关系（1） 定理4 集合A上的等价关系R确定A的一个划分，这个划分就是商集A／R。 5、等价关系、商集及划分之间的关系（2） 定理5 A的一个划分π={A1，A2，…，Ak}，确定A上的一个等价关系： R={ x,y|x,y?A ? x与y在π的同一划分块中} = A1?A1 ? A2?A2 ?…? Ak?Ak。 5、等价关系、商集及划分之间的关系（3） 例2：设A={a,b,c,d,e}，A的一个划分π={{a,b},{c},{d,e}}，试写出划分π所确定的A上的等价关系。 5、等价关系、商集及划分之间的关系（4） 例3：给出A={1，2，3}上的所有等价关系。 5、等价关系、商集及划分之间的关系（5） 定理6 设R1和R2是非空集合A上的两个等价关系，R1=R2当且仅当A/R1= A/R2 。 第3-4讲 作业 P130 1 P134 3，5 * * B2?B3?? Ai ? Aj=?(i?j) 例如 设A={a,b,c}，令 ?1={{a,b},{b,c}}， ?2={{a},{a,b},{a,c}}， ?3={{a},{b,c}}， ?4={{a,b,c}}， ?5={{a},{b},{c}}，?6={{a},{a,b}} 则?1、 ?2、 ?3、?4、 ?5都是A的一个覆盖；其中?3、?4、 ?5是A的划分。 ?6既不是覆盖，更不是划分。 常以划分具有块的多少来衡量划分的“大小”，因此，任一集合的最小划分就是由该集合全部元素构成的唯一分块组成的集合，如上例中的?4就是A的最小划分， 而?5就是A的最大划分。 例如,设A={a,b,c},?1={{a,b},{c}},?2={{a},{b},{c}}， 则?2是?1的加细或?2细分?1。 定义3 若{A1, A2,…, Ar}与{B1, B2,…, Bs}是同一集合的两种划分，则所有Ai?Bj??组成的集合称为原来两种划分的交叉划分。 定义2 若?1={A1, A2,…, Ar}与?2={B1, B2,…, Bs}是同一集合的两种划分，且对所有Bj均有Ai，使得Bj?Ai，则称?2是?1的加细，或?2细分?1。 例如，设S是某年级全体学生的集合，令?1={A1,A2,A3}，其中A1、A2、A3分别表示一班、二班和三班学生的集合；?2={B1, B2}，其中B1、B2分别表示本年级全