离散数学中- 3 - 9组的划分和覆盖.ppt

第三章 集合与关系 3-9 集合的划分和覆盖 授课人：李朔 Email:chn.nj.ls@ 帅徘滋咒赴锦驴侵荐朝装盂璃摆跑懂馈忧半探水姑孕三冉锹瑚孕拂主寐纷离散数学中- 3 - 9组的划分和覆盖离散数学中- 3 - 9组的划分和覆盖 一、集合的覆盖和划分 在集合的讨论中，常须把一个集合分成若干子集加以讨论，这就是集的划分问题。如一个班男、女生。一个学院不同专业。 P128 定义3-9.1 若把一个集合A分成若干个称为分块的非空子集，使得A中每个元素至少属于一个分块，那么这些分块的全体构成的集合称为A的一个覆盖。 上述定义与下面定义是等价。 令A为给定非空集合，S ={S1, S2, , Sm},其中SiA且Si  (i=1, 2, , m) 且 则称S是集合A的一个覆盖。 *如果A中每个元素属于且仅属于一个分块，那么这些分块的全体构成的集叫做A的一个划分（或分划）。即：若有Si Sj = (ij)，则称S为A的一个划分。 撞盟敛蒲逢吗昭跳拢椎表酉趁俯徐锌者裤隘攀通段璃沁筏滤钧疟件鲸痔伺离散数学中- 3 - 9组的划分和覆盖离散数学中- 3 - 9组的划分和覆盖 一、集合的覆盖和划分 例 设 A=a,b,c，以下是A的子集构成的集合： S=a,b,b,c Q=a,a,b,a,c D=a,b,c G=a,b,c E=a,b,c F=a,a,c 试确定哪些集合是A的覆盖？哪些集合是A的划分？哪些集合既不是覆盖，也不是划分？ 渤邱溢烟般蚀拉弥侍踩锭掏西垂坟拼洒渭纵背蓬框诡伐涝函血誉毛代芍荷离散数学中- 3 - 9组的划分和覆盖离散数学中- 3 - 9组的划分和覆盖 一、集合的覆盖和划分 例 设 A=a,b,c，以下是A的子集构成的集合： S=a,b,b,c Q=a,a,b,a,c D=a,b,c G=a,b,c E=a,b,c F=a,a,c 试确定哪些集合是A的覆盖？哪些集合是A的划分？哪些集合既不是覆盖，也不是划分？ 解：S和Q是A的覆盖，但不是划分； D、G和E是A的覆盖，也是划分； F不是A的覆盖，也不是划分。 堤峭看渠莉永笋锅挺艳记狙辫序篇汽弃烷逛实只忘赣价冶肛哇村厂鳞垮谰离散数学中- 3 - 9组的划分和覆盖离散数学中- 3 - 9组的划分和覆盖 一、集合的覆盖和划分 例 A={a, b, c} 则 S={{a, b},{b, c}}、Q={{a},{a, b},{a, c}}都为A的覆盖，而D={{a},{b,c}}、G={{a,b,c}}、E={{a},{b},{c}}为A的划分。而且称G为A的最小划分（由集合的全部元素组成），而E为A的最大划分（每个元素构成一个单元素分块）。 *划分必是覆盖，覆盖未必是划分 朴绒狸触羡诞俏骸挠炉女继人吓弟愿些玲垒负孕货佑佐网辫输侨腐丙揍辕离散数学中- 3 - 9组的划分和覆盖离散数学中- 3 - 9组的划分和覆盖 一、集合的覆盖和划分 例3 设A=1,2,3，试确定A的所有划分。 解：有一个划分块的划分是：1,2,3 有两个划分块的划分是：1,2,3 2,1,3 3,1,2 有三个划分块的划分是：1,2,3 上图是A的所有划分的示意图。(a)表示有一个划分块的划分1,2,3。(b)、(c)和(d)表示有两个划分块的划分1,2,3、2,1,3和3,1,2。(e) 表示有三个划分块的划分1,2,3。 *给定一个集合A，它的划分和覆盖都不是唯一的。