3-9 集合的划分和覆盖 定义3-9.1 覆盖cover :若把一个集合 A 分成若干个叫做分块的非空子集,使得A 中每个元素至少属于一个分块,这些分块 的全体叫做A 的一个覆盖。 即:设A 为非空集合,S=S 1 ,S 2 ,S m , 其中S i A ,S i (i=1,2, ,m) 且S 1 S 2 S m A , 则集合S 称作集合A 的覆盖。例: 判断以下集合是否为集合A 的覆盖 ? 其中A= a,b,c,d,e,f (1 )S 1 = , a,b,c,d,f (2 )S 2 = a,b,c,d,f,g (3 )S 3 = a,b,c,d,f (4 )S 4 = a,b,c,d,e,e,f 不是 不是 不是 是定义3-9.2 划分partition :给定集 合A 的一个覆盖S ,若A 中的每个元素属 于且仅属于S 的一个分块,则S 称作是A 的一个划分。 即:若S 是集合A 的覆盖, 且满足S i S j = , (这里ij ), 则称S 是A 的划分。是 例: 判断以下集合是否为集合A 的划 分? 其中A= a,b,c,d,e,f (1 )S 1 = , a,b,c,d,