离散数学及其应用02　集合论.ppt

第 3 章 集合与关系－＞ 3.9 集合的划分与等价关系 定义3.9.2定义3.9.2 对于非空集合S，若有集合族?={S1,S2,…,Sn}使得 ?是集合S的一个覆盖； ⑵Si∩Sj=?(i≠j;1≤i,j≤n)； 则称?是集合S的一个划分。?中的元素Si称为其划分块或分类。例 设A＝{a, b, c, d}, 给定? 1, ? 2, ? 3, ? 4, ? 5, ? 6如下： 1={{a, b, c},{d}}， ? 2={{a, b},{c},{d}} 3={{a},{a, b, c, d}}， ? 4={{a, b},{c}} ? 5={?,{a, b},{c, d}}， ? 6={{a,{a}},{b, c, d}} 则? 1和? 2是A的划分, 其他都不是A的划分. 第 3 章 集合与关系－＞ 3.9 集合的划分与等价关系 在非空集合S的所有划分中，以S中的每一个元素作为一个集合组成的集合族，是S的一个划分，称之为集合S的最大划分；以集合S作为某个集合中的所有元素得到的集合，是S的一个划分，称之为集合S的最小划分。 定义3.9.3 设?1={A1,A2,…,Am} ， ?2={B1,B2,…,Bn} 是非空集合S的两个划分， ⑴若对任意Bi ??2 ，存在一个Aj ??1 ，使得 Bi ?Aj ，则称 ?2是?1 的细分。 ⑵若 ?2是?1的细分，