矛盾律排中律零律同一律.PPTVIP

第二部分 集合论 历史 　 集合论作为数学中最富创造性的伟大成果之一，是在19世纪末由德国的数学家康托尔（1845-1918）创立起来的。但是，它萌发、孕育的历史却源远流长，至少可以追溯到两千多年前。 作用 　　 按现代数学观点，数学各分支的研究对象或者本身就是带有某种特定结构的集合如群、环、拓扑空间，或者是可以通过集合来定义的（如自然数、实数、函数）。从这个意义上说，集合论可以说是整个现代数学的基础。 第六章 集合代数 主要内容 集合的基本概念 属于、包含 幂集、空集 文氏图等 集合的基本运算 并、交、补、差等 集合恒等式 集合运算的算律、恒等式的证明方法 6.1 集合的基本概念 1. 集合定义 集合没有精确的数学定义 理解：直观的说，把一些事物汇集到一起组成一个整体， 就叫做集合，而这些事物就是这个集合的元素或成 员。 或者由离散个体构成的整体称为集合，称这些个体 为集合的元素。集合通常用大写字母来标记。 例：图书馆的藏书、全国的211高校、自然数的全体、直线上的点、26个英文字母等等。 常见的数集：N, Z, Q, R, C 等分别表示自然数、整数、有 理数、实数、复数集合 集合表示法 元素与集合 集合与集合 同一层次集合与集合之间的关系： ?, ?, =, ?, ?, ? 定义6.1 A ? B ? ?x ( x?A ? x?B ) 子集 A ? B ? ?x ( x?A ? x?B ) 定义6.2 A = B ? A ? B ? B ? A 相等 定义6.3 A ? B ? A ? B ? A ? B 真子集 注意区别? 和 ? 的层次关系 A={ a, {b} }和{a},{b}的关系： {a} ? A； {b} ? A 空集、全集和幂集 定义6.4 空集 ? ：不含有任何元素的集合. ?={x | x ? x} 实例： { x | x?R ? x2+1=0 } 定理6.1 空集是任何集合的子集。 证 对于任意集合A，由子集的定义有 ??A ? ?x (x???x?A) ?T (恒真命题) 推论 ?是惟一的 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} 叫做B对A的相对补，也叫A与B的差 定义6.8 对称差 A?B = (A?B)?(B?A) 等价定义： A?B = (A?B)?(A?B) 定义6.9 绝对补 ?A = E?A = {x | x?E ? x?A} = {x | x?A} = 文氏图 几点说明 并和交运算可以推广到有穷个集合上，即 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 广义运算 1. 集合的广义并与广义交 定义6.10 广义并 ?A = { x | ?z ( z?A ? x?z )} ??=? 广义交 ?A = { x | ?z ( z?A ? x?z )} A非空 实例 ?{{1}, {1,2}, {1,2,3}}={1}?{1,2}?{1,2,3}={1,2,3} ?{{1}, {1,2}, {1,2,3}}={1}?{1,2}?{1,2,