r03集合a教程.ppt

* 离 散 数 学 主讲 鱼亮 lyu@xidian.edu.cn 西安电子科技大学计算机学院 * 集合的基本概念 集合上的运算 归纳证明 有限集的计数（容斥原理） 集合的笛卡儿乘积 集合 * 2.1集合的概念与表示 集合（set） ：若干个具有共同性质的事物的全体，又称为类、族、或搜集。通常用大写英文字母表示。 组成集合的每个事物叫做这个集合的元素（element）或成员（member）。通常用小写字母表示。 如果a是集合A的一个元素，则记为 读作“a属于A”，或“a在A中” 如果a不是集合A中的一个元素，则记为 读作“a不属于A”，或“a不在A中” 任一元素，对于某一集合而言，或属于该集合，或不属于该集合。集合的元素也可以是一个集合。 * 集合的概念与表示 集合的表示方法 列举法：把集合中元素一一列举出来，有时可以使用省略号。如1到50的整数，表示为{1,2,...,50} 描述法：用谓词描述出集合元素的公共特征来表示这个集合。一般的 S={ a | P(a) }表示a属于S当且仅当P(a)为真。 则上面集合表示为 Z表示整数集合。 归纳定义法 1）基础条款； 2）归纳条款； 3）极小性条款 * 集合的概念与表示 单元素集合：仅含有一个元素的集合。 注意区分a和{a}。 有限集合：含有有限个元素的集合。有限集合的元素个 数称为该集合的基数或势。集合A的基数记为|A|。 无限集合：不是有限集合的集合称为无限集合或无穷集。 * 集合的概念与表示 （集合的外延性公理）两个集合A和B相等，即A＝B，当且仅当它们有相同的成员。用逻辑符号表达： 如果两个集合相等，和它们的表达方式无关。因此： 列举法中，元素次序无关紧要。 相同元素不能算作不同个体。 集合表示不唯一。 罗素悖论 * 集合的概念与表示 设A和B是集合，如果A的每一元素是B的一个元素，那么A是B的子集（subset），记作A ? B，读作“B包含A”或“A包含于B中”。用逻辑符号表示为： 设A和B是集合，如果A ? B，但A和B不相等，那么称A是B的真子集（proper subset），记作A ? B，读作“B真包含A”或“A真包含于B中”。用逻辑符号表示为： 注意区分： * 集合的概念与表示 在一定范围内，如果所有集合都为某一集合 的子集，则称该集合为全集（universal set），通常用U表示。 没有元素的集合称为空集（empty set）或零集，通常用Φ表示。 几条性质： 对任意集合A有A ?U。 设A和B是集合，A＝B当且仅当A ?B且B ?A。 对于集合A，恒有A ? A。 设A、B、C是集合，如果A?B且B?C，则A ? C。 对于任意集合A有Φ?A。 对于每个非空集合A，它的两个平凡子集为A和Φ。 空集是唯一的。 * 集合的概念与表示 幂集（power set）：设A是一个集合，A的所有子集的集合称为A的幂集，记为ρ(A)。即 一个给定集合的幂集是唯一的。 子集的二进制表示。 如果A是有限集，则ρ(A)的元素个数也是有限的。即如果|A|=n，则| ρ(A) |=2n。 * 2.2 集合的基本运算 设A、B是集合 并(union)： 交(intersection)： B相对于A的补(complement of B with respect to A)： * 集合上的运算 文氏图（Venn diagram） U A A U A B U A B U A B * 性质：设A、B、C是集合 * 性质：设A、B、C是集合 * 集合上的运算 A的补(complement of A)：设U是全集，而A是U的子集，则A的补（绝对补）： 性质： (3) （补的唯一性）如果B等于A的补，当且仅当 U A * 集合上的运算 性质： * 集合上的运算 命题逻辑中的析取、合取、否定、条件、T和F等分别与集合论中的并、交、补、包含、U和Φ有对应关系。如 * 集合上的运算 环和（对称差）（symmetric difference）： 性质： U A B * 集合上的运算 环积： 性质： U A B * 例1 分别用集合相等的充要条件、公式等价推演的方法， 证明(A-B)?(B-A)=(A?B)-(A?B)。 证一： 根据集合相等的充要条件是两集合互为子集。即证任意x使得 x∈[(A-B)?(B-A)]? x∈[(A?B)-(A?B)] x∈[(A?B)-(A?B)]? x∈[(A-B)?(B-A)] 任取x∈[(A-B)?(B-A)]，则必有x∈(A-B)或x∈(B-A)成立。 （i）若x∈(A-B)，则x∈A且x?B，故有x∈A?B且x