离散数学集合概要.ppt

Zhengjin ,CSU 第二章 集 合（set) 集合的概念在现代数学中是一个非常重要的概念。本节主要介绍集合及其表示、集合的运算，序偶，集合的笛卡尔乘积。 个体和集合之间的关系 集合不能精确定义，只能直观描述： 一个集合就是若干事物的全体。 组成集合的每个事物叫做这个集合的元素。 小写拉丁字母表示个体：a、b、c、d… 大写拉丁字母表示集合：A、B、C、D… 个体与集合之间的关系：属于关系。 对于某个个体 a 和某个集合 A 而言，a 只有两种可能 1）a属于A，记为 a?A，同时称 a 是 A 中的元素。 2）a 不属于 A，记为 a?A ，称 a 不是 A 中的元素。 个体a属于A或者a不属于A，二者居其一且只居其一。 (3)谓词表示法 {x︱p(x)} p表示x所满足的性质 例如： {x︱x2=1}={1，-1} {y︱y是开区间(a，b)上的连续函数 } （4）归纳定义法 用归纳法定义一个非空集合A时，包括以下三步： 1)基本项（保证A不空) 已知某些元素属于A 2)归纳项（生成规则） 给出一组规则，从A中的元素出发，依据这些规则所获得的元素，仍然都是A中的元素。（这是构造A的关键步骤） 3）极小化（通常省略） 如果集合S也满足（1）和（2），且S?A，则S=A。这一点保证集合A的唯一性。 例1 如果论域是整数集I，那么能被3整除的正整数集合S用归纳法可定义如下： （1）（基础）3?S， （2）（归纳）如果x?S和y?S，则x+y?S ? 集合的特殊情况 1、不含任何元素的集合称为空集，记为φ 2、含讨论问题所需全部元素的集合称为全集，记为∪ 3、 称含有有限个元素的集合为有限集合 4、 含有无限个元素的的集合称为无限集合或无限集 5、 集合A中元素的个数（或基数或集合的势）记为:|A| 提醒:一个集合也可以是别的集合的元素，如： {a， b， {a，b}} {a，b， φ，{{a，b}}} 集合与集合之间的关系 设A，B是两个集合 1）若对于A中的每个元素x，都有x属于B， 则称A包含在B中，记为:A ? B。同时称A是B的子集。 2）若A中的每个元素都属于B，且B中的每个元素都属于A，则称A等于B，记为A=B。 (A=B 当且仅当A?B 且 B?A） 3)集合的包含关系具有传递性:即 若A ? B且B ? C，则A ? C 子集的两种特殊情况（平凡子集）： 1）空集是任一集合的子集。 2）任何集合都是它自己的子集。 集合上的运算 定义2 设A，B是两个集合 1）A∩B = { x︱x?A∧x?B }，称A∩B为A与B的交集，称∩为集合交运算。 2）A∪B = { x︱x?A∨x?B }，称A∪B为A与B的并集，称∪为集合并运算。 3) A–B= { x︱x?A ∧ x ? B }， 称A–B为A与B的差集 例 1 设 A={1，2，3，4，5}，B={2，5，7}，则 A ∪ B={1，2，3，4，5，7} A ∩ B={2，5} A–B={1，3，4} 定理1 设U是全集，A，B，C是U的三个子集 1）A∩A=A， A∪A=A 2）A∩U=A， A∪U=U 3）A∩? = ? ， A∪? =A 4）A∩B= B∩A， A∪B= B∪A 5）(A∩B) ∩C = A∩ (B∩C)， (A∪B) ∪C = A∪ (B∪C) 6）A∩(B ∪C) = (A∩B) ∪(A∩C) A∪(B ∩C) = (A∪B) ∩(A∪C) 定理2 设A，B，C为三个集合，则 1）A ? A∪B， A∩B ? A； 2）若 A ? C 且 B ? C，则 A∪B ? C； 3）若 C ? A 且 C ? B，则 C ? A∩B 。 4) A-B ? A 5) A- ?=A 6) A∩(B-C)= (A∩B)-( A∩C) ； 定理3 设A，B为两个集合，则下面三式等价。 1）A ? B 2）A∪B = B 3) A∩B=A 图形表示： 集合上的补运算(一元运算） 设U是全 集，A是U的子集。 ~A={ x ? x?U ∧ x?A }=U-A 称~A 是A关于U的补集，称 ~ 为补运算。 例2 设U={a，b