离散数学第1章(屈).pptVIP

参考教材 离散数学教程 耿素云 屈婉玲 王捍贫 北京大学出版社 2002年6月 离散数学及其应用（英文版 第5版） Kenneth H.Rosen 机械工业出版社 2006年7月 第1章 数学语言与证明方法 1.1 常用的数学符号 1.2 集合及其运算 1.3 证明方法概述 1.1 常用的数学符号 1.1.1 集合符号 1.1.2 运算符号 1.1.3 逻辑符号 1.2 集合及其运算 集合及其表示法 包含(子集)与相等 空集与全集 集合运算(?,?, ? , ~ , ?) 基本集合恒等式 包含与相等的证明方法 集合的概念 集合是数学中最基本的概念,没有严格的定义 理解成某些个体组成的整体, 常用A,B,C等表示 元素: 集合中的个体 x?A(x属于A): x是A的元素 x?A(x不属于A): x不是A的元素 无穷集: 元素个数无限的集合 有穷集(有限集): 元素个数有限的集合. |A|: 有穷集合A中的元素个数 k元集: k个元素的集合, k ? 0 集合的表示法 列举法 如 A={ a, b, c, d }, N={0,1,2,…} 描述法 { x | P(x) } 如N={ x | x是自然数 } 说明: (1) 集合中的元素各不相同. 如, {1,2,3}={1,1,2,3} (2) 集合中的元素没有次序. 如, {1,2,3}={3,1,2}={1,3,1,2,2} (3) 有时两种方法都适用, 可根据需要选用. 常用集合 自然数集N , 整数集Z , 正整数集Z+, 有理数集Q , 非零有理数集Q* , 实数集R , 非零实数集R*, 复数集C , 区间[a,b], (a,b)等 包含与相等 包含(子集) A ? B ? ?x (x?A ? x?B) 不包含 A ? B ? ?x (x?A ? x?B) 相等 A = B ? A ? B ? B ? A 不相等 A ? B ? A ? B ? B ? A 真包含(真子集) A ? B ? A ? B ? A ? B 例如, A={1,2,3}, B={ x | x?R ?|x|?1 }, C={ x | x?R ? x2=1 }, D={?1,1}, C ? B, C ? B, C ? A, A ? B, B ? A, C = D 性质 (1) A ? A (2) A ? B ? B ? C ? A ? C 空集与全集 空集?: 不含任何元素的集合 例如, { x | x20?x?R }=? 定理1.1 空集是任何集合的子集 证 用归谬法. 假设不然, 则存在集合A, 使得? ? A, 即存在x, x??且x?A, 矛盾. 推论 空集是惟一的. 证 假设存在?1和?2，则?1??2 且?2??1，因此?1=?2 全集E : 限定所讨论的集合都是E的子集. 相对性 幂集 幂集P(A) :A的所有子集组成的集合, 即 P(A) = { x | x ? A } 例如, 设A={a,b,c} A的0元子集: ? A的1元子集: {a}, {b}, {c} A的2元子集:{a,b},{a,c},{b,c} A的3元子集: {a,b,c} P(A) ={?, {a}, {b}, {c}, {a,b}, {a,c}, {b,c}, {a,b,c}} 集合运算 并 A?B = { x | x?A ? x?B } 交 A?B = { x | x?A ? x?B } 相对补 A?B = { x | x?A ? x?B } 对称差 A?B = (A?B)?(B?A) = (A?B)?(A?B) 绝对补 ?A = E?A= { x | x?A } 例如 设E={0,1, … ,9}, A={0,1,2,3}, B={1,3,5,7,9}, 则 A?B ={0,1,2,3,5,7,9}, A?B ={1,3}, A?B ={0,2}, A?B ={0,2,5,7,9}, ?A =