离散数学三集合论.pptVIP

集合论 集合论部分 第3章 集合的基本概念和运算 第4章 二元关系和函数 第3章 集合的基本概念和运算 3.1 集合的基本概念 3.2 集合的基本运算 3.3 集合中元素的计数 3.1 集合的基本概念 集合的定义与表示 集合与元素 集合之间的关系 空集 全集 幂集 集合定义与表示 集合与元素 元素与集合的关系：隶属关系 属于?，不属于 ? 实例 A={ x | x?R?x2-1=0 }, A={-1,1} 1?A, 2?A 注意：对于任何集合 A 和元素 x (可以是集合)， x?A和 x?A 两者成立其一，且仅成立其一. 隶属关系的层次结构 例 3.1 A={ a, {b,c}, d, {{d}} } {b,c}?A b?A {{d}}?A {d}?A d?A 集合之间的关系 包含（子集） 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 ? B ? A ? B 不真包含 A ? B 思考： ? 和 ? 的定义 注意 ? 和 ? 是不同层次的问题 空集与全集 空集 ? 不含任何元素的集合 实例 {x | x2+1=0?x?R} 就是空集 定理 空集是任何集合的子集 ??A ? ?x (x???x?A) ?T 推论 空集是惟一的. 证 假设存在?1和?2，则?1??2 且?1??2，因此?1=?2 全集 E 相对性 在给定问题中，全集包含任何集合，即?A (A?E ) 幂集 定义 P(A) = { x | x?A } 实例 P(?) = {?}， P({?}) = {?,{?}} P({1,{2,3}})={?,{1},{{2,3}},{1,{2,3}}} 计数 如果 |A| = n，则 |P(A)| = 2n 3.2 集合的基本运算 集合基本运算的定义 ? ? ? ? ? 文氏图（John Venn） 例题 集合运算的算律 集合包含或恒等式的证明 集合基本运算的定义 并 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 文氏图表示 关于运算的说明 运算顺序： ?和幂集优先，其他由括号确定 并和交运算可以推广到有穷个集合上，即 A1?A2?…An= {x | x?A1?x?A2?…?x?An} A1?A2?…An= {x | x?A1?x?A2?…?x?An} 某些重要结果 ??A?B?A A?B ? A?B=?（后面证明） A?B=? ? A?B=A F:一年级大学生的集合 S：二年级大学生的集合 R：计算机系学生的集合 M：数学系学生的集合 T：选修离散数学的学生的集合 L：爱好文学学生的集合 P：爱好体育运动学生的集合 集合运算的算律 集合运算的算律（续） 集合包含或相等的证明方法 证明 X?Y 命题演算法 包含传递法 等价条件法 反证法 并交运算法 证明 X=Y 命题演算法 等式代入法 反证法 运算法 命题演算法证 X?Y 例3 证明A?B ? P(A)?P(B) 任取x x?P(A) ? x?A ? x?B ? x?P(B) 任取x x?A ? {x}?A ? {x}?P(A) ? {x}?P(B) ? {x}?B ? x?B 包含传递法证 X?Y 利用包含的等价条件证 X?Y 反证法证 X?Y 利用已知包含式并交运算 命题演算法证明X=Y 例8 证明 A?(A?B)=A （吸收律） 证 任取x, x?A?(A?B) ? x?A