离散数学-集合(10.13版).pptVIP

第二章 集 合 ;2.1 集合论的基本概念 ; 组成集合的每个事物叫做这个集合的元素或成员。 通常用大写字母A, B, C, …代表集合; 用小写字母a, b, c, …代表元素。 如果a是集合A的一个元素, 则记为  a∈A 读做“a属于A”, 或说“a在A中”。 ; 如果a不是集合A的一个元素, 则记为  a A 读做“a不属于A”, 或说“a不在A中”。 ; 任一元素, 对某一集合而言, 或属于该集合, 或不属于该集合, 二者必居其一, 不可兼得。; 仅含有一个元素的集合称为单元素集合。 应把单元素集合与这个元素区别开来。例如{A}与A不同, {A}表示仅以A为元素的集合, 而A对{A}而言仅是一个元素, 当然这个元素也可以是一个集合, 如A={1,2}。 称含有有限个元素的集合为有限集合。称不是有限集合的集合为无限集合或无穷集。有限集合的元素个数称为该集合的基数或势。第五章将给出有限集、无限集、基数等概念的更精致的陈述。集合A的基数记为|A|, 例如 若 A={a, b}, 则 |A|=2, 又|{A}|=1 ; 外延公理 两个集合A和B相等, 即A=B, 当且仅当它们有相同的成员(也就是, A的每一元素是B的一个元素而B的每一元素也是A的一个元素)。 ; 用逻辑符号表达是: ; 外延公理断言: 如果两个集合有相同的元素, 那么不管集合是如何表示的, 它们都相等。因此, (1) 列举法中, 元素的次序是无关紧要的。例如{x,y,z}与{z,x,y}相等。 (2) 元素的重复出现无足轻重。例如, {x,y,x}、 {x,y}、 {x,x,x,y}是相同的集合。 (3) 集合的表示不是唯一的。例如, {x|x2-3x+2=0}、 {x|x∈I∧1≤x≤2} 和{1, 2}均表示同一集合。 ;2.1.2 罗素悖论 ; 这样, 我们导致了一个类似于谎言悖论的矛盾: 既非S∈S也非SS是真。 一个“集合”, 诸如S, 它能导致矛盾的称为非良定的。 罗素悖论起因于不受限制的定义集合的方法, 特别, 集合可以是自己的元素的概念值得怀疑。康脱以后创立的许多公理化集合论都直接地或间接地限制集合成为它自己的元素, 因而避免了罗素悖论。 公理化集合论用某个方法避免了罗素悖论, 但怎能确信没有其它悖论潜伏在这些形式结构中呢? 回答是悲观的, 业已证明, 应用现今有效的数学技术, 没有方法能证明新的悖论不会产生。 ; 2.1.3 集合间的包含关系 定义2.1-1 设A和B是集合, 如果A的每一元素是B的一个元素, 那么A是B的子集合, 记为AB, 读做“B包含A”或“A包含于B中。 用逻辑符表示为: ; 定义2.1-2 如果AB且A≠B, 那么称A是B的真子集,记作AB , 读作“B真包含A”。 ; ;推论 2.1-2 对任何集合A, 恒有AA。 ;定义 2.1-3 没有元素的集合叫空集或零集, 记为 。 定理 2.1-4 对任意集合A有 。; 定理 2.1-5 空集是唯一的。 证 设和 都是空集, 由定理2.1-4得 和 , 根据定理2.1-2得 。 注意与{}不同, 后者是以空集为元素的一个集合, 前者没有元素。 能用空集构造不同集合的无限序列。在序列  中, 每一集合除第一个外都确实有一元素, 即序列中前面的集合。 在序列  中, 如果我们从0开始计算, 则第i项有i个元素。 这一序列的每一集合, 以序列中在它之前的所有集合作为它的元素。 ;2.2 集合上的运算 ;例 1 设A={a,b,c,d)和B={b,c,e}, 那么 A∪B={a, b, c, d, e} A∩B={b, c} ; A-B={a, d} ; B-A={e} ; 定理 2.2-2 对任意集合A、B和C有: ; (a) A∪(B∩C)=(A∪B)∩(A∪C) ; (b) A∩(B∪C)=(A∩B)∪(A∩C)