[哲学]离散数学第一章.ppt

离散数学讲义 数学教研室李家林制作 离散数学绪论 §1.9 集合的标准形式 一.最小集的标准形式 定义: 设A1,A2,… Ar 是全集U的子集,形如 的集合称为由A1,A2,… Ar所产生的最小集,其中每个 为Ai 或Ai′ (注意每个 中Ai 或Ai′至少出现且只 出现一个). 例如由A.B.C产生的最小集为: A ∩B ∩C A ∩ B∩C ′ A ∩ B′∩C A ∩B′∩C ′ A′∩ B∩C A′∩ B ∩C′ A′∩B′∩C A′∩B′∩′ 由乘法原理及定义知:由A1,A2,… Ar所产生的最小集 共有2r个.仔细观察下列两图. A′∩B′∩C′ A′∩B′∩C A∩B′∩C′ A′∩B∩C′ A∩B∩C A′∩B∩C A∩B∩C′ A∩B′∩C A′∩B′∩C′ A′∩B′∩C A∩B′∩C′ A′∩B∩C′ A∩B∩C = A′∩B∩C = A∩B∩C′ A∩B′∩C=φ 定理1: 由A1,A2,… Ar 所产生的非空最小集的集合构成 U的一个分划. 证明: 只证 1). (其中Si是由A1,A2,… Ar 所产生的最小集i=1,2,……2r) 2).Si∩Sj=φ i≠j 证: 1)只证 U∈∪ Si 并集符号上的上下标省略.任 意u ∈ U, 则u∈A1或u∈A1′…… u ∈Ai或 u∈Ai′. 所以必有 u∈ 是某个Sjo ，所以U 1)成立. 2).反证法: 设u∈U u∈S1∩S2 S1 , .S2是A1,A2,… Ar 所产生的两个不同的最小集,则必存在一个i0(1≤ i0≤r) 使u∈Ai0, 同时u∈Ai0′(S1 与S2中对应因子至少有一个 不同), 但这与Ai0∩Ai0′=φ矛盾,所以Si∩Sj=φ i≠j 所以由A1,A2,… Ar 所产生的非空最小集的集合构成 U的一个分划.证毕 为了讨论方便,我们用 表示最小集 ,其中 如A1∩A2∩A3 ′∩A4=M1101 A1′∩A2′∩A3∩A4=M0011 ,显然 表最 小集是唯一的. 关于最小集的成员表 对于任一最小集 = 的 成员表中,由 定义可知:当且仅当 时u∈ ,故在最小集 中,对应所标记 的列中有且只有一个1,其余均为0.(观察成员表) 因为成员表的前r列A1,A2,… Ar 中取0,1值,恒为 对 应Ai′与Ai,故每一行对应一个最小集. A1,A2,… Ar 中取 0,1值对应δ1δ2δ3……δr,相应的最小集 在 行δ1δ2δ3……δr取值为1,其余行为0,如表 A B C A′ A′∩B ′∩C A′∩ B∩C A∩B∪ C′A∩B∩C S =M001 =M011 =M110 =M111 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 1 0