离散数学课件3解析.ppt

＠Copyright：张捷 第三章 集合与关系(Sets Relations) 小结: 本节介绍了关系的闭包的概念及其求法。重点掌握关系的传递闭包的求法。 作业：P127 （1），（2）a * 离散数学(Discrete Mathematics) 第三章 集合与关系 （Sets and Relations) 3.6 关系的闭包运算(Closure Operations) 3.7 集合的划分与覆盖(Partition Cover of Sets) 3.8 等价关系(Equivalent Relations) 3.9 相容关系(Compatibility　Relations) 3.10 序关系(Ordered Relations) 3.1 集合及其运算(Sets Operations with sets) 3.2 序偶与笛卡尔积(Ordered Pairs Cartesian Product) 3.3 关系 (Relations) 3.4 关系的性质(The Propeties of Relations) 3.5 复合关系与逆关系(Compound Relations Inverse Relations) 3.7 集合的划分与覆盖(Partition Cover of Sets) 3.7.1 集合的划分 (Partition of Sets) 3.7.2 集合的覆盖(Cover of Sets) 3.7.3 全集的划分 (The Partition of the Universal Set U) 第三章 集合与关系(Sets Relations) 3.7 集合的划分与覆盖 （1） ，当i≠j时  ( 2 ) 例 1 设A={1，2，3，4} 则 S1={{1}，{2}，{3，4}} , S2={{2，3}，{1，4}}, S3={{1}，{2}，{3}，{4}} 都是A的划分. 则称S是集合A的一个划分，每一个 称为这个划分的一个分块。 3.7.1 集合的划分 (Partition of Sets) 定义3.7.1 设有非空集合A，S={A1,A2,…,Am}，其中 ，且 （i=1，2，…，m），若 例 2 设A={2，3，4，8，9，10，15}  定义A的如下子集： 试问 是否A的一个划分。 解　根据题意 {2，4，8，10} {3，9，15} {10，15} 不是A的划分， 可成为A的一个划分。 3.7.2 集合的覆盖(Cover of Sets) 定义3.7.2 设有非空集合A， ,其中  且 （i=1，2，…，m），若 ，则称S是集合A的一个覆盖。 例如 例2中 是A的划分，也是A的覆盖。 是A的覆盖，但不是A的划分。 例3 设A={a，b，c，d，e，f}，指出下列哪些是A的划分（在相应括号内填入“1”），哪些是A的覆盖（在相应括号内填入“2”），哪些既不是划分，也不是覆盖（在相应括号内填入“0”） S1={ {a，b } ，{c，d } ，{a，e，f } } （ ）　 S2={ {c，e } ，{c，d，f } ，{b } } （ ） S3={ {a，b，c，d } ，{e，f } } （ ） S4={ {a，c，e } ，{ b，c } } （ ） 2 0 1,2 0 S5={ {a}, {b}, {c}, {d}, {e}, {f}, } （ ） S6={ {a， b， c，d,e ，f } } （ ） 1 1 说明:(1)若S是A的划分,则S也一定是A的覆盖. (2) 任意给定集合A的划分或覆盖不是唯一的. (3) 给定了集合A的划分或覆盖,则A便唯一确定. (4) 覆盖中各子集可重叠,划分则不然. (5) 以非空集A为元素的集合S={A}称为A的最小划分. (6)