离散数学-合.pptVIP

. 武汉大学国际软件学院唐存琛 刘峰 第4章 关系 4.0 集合及相关概念 4.1 关系的定义及其表示 4.2 关系运算 4.3 关系的性质 4.4 等价关系与偏序关系 4.0 集合及其运算 集合及其表示法 包含(子集)与相等 空集与全集 集合运算(?,?, - , ~ , ?) 基本集合恒等式 包含与相等的证明方法 集合的概念 集合是数学中最基本的概念,没有严格的定义 理解成某些个体组成的整体, 常用大写字母A,B,C等表示 元素:集合中的个体，通常用小写字母a,b,c等表示 集合的概念（续） x?A(x属于A): x是A的元素 x?A(x不属于A): x不是A的元素 无穷集:元素个数无限的集合 有穷集(有限集):元素个数有限的集合. |A|:A中元素个数 k元集:k个元素的集合, k ? 0 集合的表示法 列举法: 列出集合中的全体元素，元素之间用逗号分开，然后用花括号括起来。 如 A={ a, b, c, d }, N={0,1,2,…} 描述法：用谓词P(x)表示x具有性质P，用 { x | P(x) }表示具有性质P的所有元素组成的集合。 如N={ x | x是自然数 } 说明: (1) 集合中的元素各不相同. 如, {1,2,3}={1,1,2,3} (2) 集合中的元素没有次序. 如, {1,2,3}={3,1,2}={1,3,1,2,2} (3) 有时两种方法都适用, 可根据需要选用. 常用集合 N：自然数集 Z： 整数集 Z+：正整数集 Q： 有理数集 P： 素数集 包含与相等 包含(子集) A ? B ? ?x (x?A ? x?B) 不包含 A ? B ? ?x (x?A ? x?B) 相等 A = B ? A ? B ? B ? A 不相等 A ? B ? A ? B ? B ? A 真包含(真子集) A ? B ? A ? B ? A ? B 包含与相等(续) 例如： A={1,2,3}, B={ x | x?R?|x|?1 }, C={ x | x?R?x2=1 }, D={-1,1}, 有： C ? B, C ? B, C ? A, A ? B, B ? A, C = D 空集与全集 空集?: 不含任何元素的集合 例如, {x | x20?x?R}=? 定理1.1 空集是任何集合的子集 证 用归谬法. 假设不然, 则存在集合A, 使得? ? A, 即存在x, x??且x?A, 矛盾. 推论 空集是惟一的. 证 假设存在?1和?2，则?1??2 且?2??1，因此?1=?2 全集E:限定所讨论的集合都是E的子集. 相对性 集合运算 并 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= { x | x?A } 例如 设E={0,1, … ,9}, A={0,1,2,3}, B={1,3,5,7,9}, 则 A?B ={0,1,2,3,5,7,9}, A?B ={1,3}, A?B ={0,2}, A?B ={0,2,5,7,9}, ?A ={4,5,6,7,8,9}, ?B ={0,2,4,6,8} 说明:1. 只使用圆括号 2. 运算顺序: 优先级别为(1)括号, (2)?和幂集, (3)其他. 同级别的按从左到右运算 实例 例4 设E={ x | x是北京某大学学生}, A,B,C,D是E的子集, A= { x | x是北京人}, B= { x | x是走读生}, C= { x | x是数学系学生}, D= { x | x是喜欢听音乐的学生}. 试描述下列各集合中学生的特征: 文氏图表示 基本集合恒等式 1. 幂等律 A?A=A, A?A=A 2. 交换律 A?B=B?A, A?B=B?A 3. 结合律 (A?B)?C=A?(B?C) (A?B)?C=A?(B?C) 4. 分配律 A?(B?C)=(A?B)?(A?C) A?(B?C)=(A?