离散集合论讲解.pptVIP

离散数学 第二部分 集合论 主要内容 集合 基本概念 运算 有穷集合的计数 基本证明方法 二元关系 定义, 运算, 性质, 闭包运算, 特殊的二元关系 函数 定义, 性质, 复合函数与反函数, 集合的基数 第六章 集合代数 集合代数是研究集合运算和集合关系的基本性质的学科, 它是关于集合论运算如交集, 并集, 补集, 和集合论关系如等于, 包含等的代数. 集合的基本概念 属于, 包含, 幂集, 空集, 文氏图等 集合的基本运算 并, 交, 补, 差等 集合恒等式 集合运算的算律, 恒等式的证明方法 §1 集合的基本概念 集合: 不能精确定义由离散个体构成的整体称为集合(一些对象的整体就构成集合), 称这些个体(对象)为元素或成员 用大写英文字母A,B,C,…表示集合 用小写英文字母a,b,c,…表示元素 集合元素隶属关系的表示 a∈A: 表示a是A的元素, 读作”a属于A” a?A: 表示a不是A的元素，读作“a不属于A” 集合元素的性质 无序性: 元素列出的顺序无关 相异性: 集合的每个元素只出现一次 确定性: 对任何元素和集合都能确定这个元素 是否为该集合的元素 任意性: 集合的元素也可以是集合 罗素悖论 S = { x | x?x } S∈S ? S∈S ? S?S S?S ? S∈S 公理化集合论 集合的表示 列举法 列出集合中的全体元素, 元素之间用逗号分开, 然后用花括号括起来 A={0,1,2,…,8,9}, B={a,b,c,…,x,y,z} C={1, {2}, {3,{4}} } 描述法 谓词P(x): x具有性质P , 用{x|P(x)}表示具有性质 P 的集合 记A={x|P(x)}, 则 x∈A ? P(x) P1(x): x是英文字母 A={x|P1(x)}={x| x是英文字母} ={a,b,c,…,x,y,z} P2(x): x是十进制数字 B={x|P2(x)}= {x|x是十进制数字}={0,1,2,…,8,9} 特征函数法 特征函数法 集合A的特征函数是χA (x): χA (x) = 1, 若x∈A = 0, 若x?A 设全集为R, 则闭区间[2,5]的特征函数是什么? 集合之间的关系 子集、相等、真子集 空集、全集 幂集、n元集、有限集 集族 子集 B是A的子集 (B包含于A, A包含B): B?A ??x(x∈B→x∈A) B不是A的子集: B?A ??x(x∈B∧x?A) 证 ??x(x∈B→x∈A) ??x?(x∈B →x∈A) ??x(x∈B∧?x∈A) ??x(x∈B∧x?A) 包含(?)的性质 A?A 证明: A?A ??x(x∈A→x∈A) ?1 # 若A?B,且A≠B,则 B?A 证明: A≠B ??(A=B) ??(A?B∧B?A) (定义) ??(A?B) ∨?(B?A) (德?摩根律) A?B (已知) ∴?B?A (即B?A) (析取三段论) # 若A?B,且B?C, 则A?C 证明: A?B ??x(x∈A→x∈B) ?x, x∈A ? x∈B (A?B) ? x∈C (B?C) ∴?x(x∈A→x∈C), 即A?C. # 相等 相等: A=B ? A?B ∧ B?A ??x(x∈A?x∈B) 证明 A=B ? A?B∧B?A (=定义) ??x(x∈A→x∈B)∧?x(x∈B→x∈A) (?定义) ??x((x∈A→x∈B)∧(x∈B→x∈A)) (量词分配) ??x(x∈A?x∈B) (?等值式) 真子集 A是B的真子集 (A真包含于B, B真包含A): A?B ? A?B ∧ A≠B A?B ??(A?B ∧ A≠B) (?定义) ??(A?B) ∨ (A=B) (德?摩根律) ??x(x∈A∧x?B) ∨ (A=B) (?定义) 真包含(?)的性质 A?A 证明: A ? A? A?A ∧ A≠A ? 1∧0 ? 0. # 若A?B,则 B?A 证明: (反证) 设B?A, 则 A?B ? A?B ∧ A≠B ? A?B (化简) B?A ? B?A ∧ B≠A ? B?A 所以 A?B ∧ B?A ? A=B (=定义) 但是 A?B ? A?B ∧ A≠B ? A≠B (化简) 矛盾! # 若A?B,且B?C, 则A?C 证明: