6离散数学高等教育配套课件屈婉玲耿素云张立昂ch6.pptxVIP

1 主要内容 集合的基本概念 属于、包含 幂集、空集 文氏图等 集合的基本运算 并、交、补、差等 集合恒等式 集合运算的算律、恒等式的证明方法 第二部分 集合论 第六章 集合代数 2 6.1 集合的基本概念 1. 集合定义 集合没有精确的数学定义 理解：由离散个体构成的整体称为集合，称这些个体为集 合的元素 常见的数集：N, Z, Q, R, C 等分别表示自然数、整数、有 理数、实数、复数集合 2. 集合表示法 枚举法----通过列出全体元素来表示集合 谓词表示法----通过谓词概括集合元素的性质 实例： 枚举法 自然数集合 N={0,1,2,3,…} 谓词法 S={ x | x是实数，x21=0} 3 元素与集合 1. 集合的元素具有的性质 无序性：元素列出的顺序无关 相异性：集合的每个元素只计 数一次 确定性：对任何元素和集合都 能确定这个元素是否 为该集合的元素 任意性：集合的元素也可以是 集合 2．元素与集合的关系 隶属关系：或者 3．集合的树型层次结构 d A , a A 4 集合与集合 集合与集合之间的关系：, =, ⊈, , ,  定义6.1 A  B  x ( xA  xB ) 定义6.2 A = B  A  B  B  A 定义6.3 A  B  A  B  A  B A ⊈ B  x ( xA  xB ) 思考： 和  的定义 注意  和  是不同层次的问题 5 空集、全集和幂集 1．定义6.4 空集  ：不含有任何元素的集合 实例： { x | xR  x2+1=0 } 定理6.1 空集是任何集合的子集。 证 对于任意集合A， A  x (xxA) T (恒真命题) 推论 是惟一的 3. 定义6.6 全集 E：包含了所有集合的集合 全集具有相对性：与问题有关，不存在绝对的全集 2. 定义6.5 幂集：P(A)={ x | x  A } 实例：P()={}, P({})={,{}} 计数：如果 |A|=n，则 |P(A)|=2n. 6 6.2 集合的运算 初级运算 集合的基本运算有 定义6.7 并 AB = {x | xA  xB} 交 AB = {x | xA  xB} 相对补 AB = {x | xA  xB} 定义6.8 对称差 AB = (AB)(BA) 定义6.9 绝对补 A = EA 7 文氏图 集合运算的表示 A B A B A B A B A B AB AB A–B AB ~A 8 几点说明 并和交运算可以推广到有穷个集合上，即 A1  A2  …  An = { x | xA1 xA2  … xAn} A1  A2  …  An = { x | xA1  xA2  …  xAn} A  B  AB =  AB =   AB = A 9 广义运算 1. 集合的广义并与广义交 定义6.10 广义并 A = { x | z ( zA  xz )} 广义交  A= { x | z ( zA  xz )} 实例 {{1}, {1,2}, {1,2,3}}={1,2,3} {{1}, {1,2}, {1,2,3}}={1} {{a}}={a}， {{a}}={a} {a}=a， {a}=a 10 关于广义运算的说明 2. 广义运算的性质 (1) =，