[集合关系论.pptVIP

3．集合的基数或势 含有有限个元素的集合称有限集合，否则称为无限集。有 限集合的元素个数称为该集合的基数或势，记为?A ?。 例：A = {a,b},则?A ?=2, ?{A}?=1; B ={a,a,b}, ?B ?=2。 4 ．集合相等公理 外延公理：集合A，B相等，iff ?x(x?A?x?B)∧?x(x?B?x?A) [即当且仅当A与B有相同的元素] 故 ①列举法中，元素的次序无关紧要，即{x,y,z}与{z,x,y}相等。 ②元素的重复出现无关紧要，即{x,y,x},{y,x},{x,x,x,x,y}相等。 ③集合的表示不唯一，如{x?x2=1}与{-1,1}表示相同的集合。 二、集合间的包含关系 1． 子集与真子集 定义1(3-1.1)：设A和B是集合，若?x(x?A?x?B),那么A是B的子集， 记为A?B。读作‘B包含A’或‘A是B的子集’，又称“B是A的扩集”。 定义2(3-1.2)：若A?B，且A?B，称A是B的真子集，记A?B。读“B 真包含A”。即A?B??x(x?A?x?B)∧?x(x?A∧x?B)。 2． 全集 我们讨论的元素和集合是限于某一论述区域中，此论述区域称 为全集U。虽然有时这个论述区域未明晰给出。 定理1：任意集合A?U。 证：∵?x(x?A ?xU)为真，∴定理1正确。 ＃ 定理2(3-1.1 )： A=B等价于A ?B∧B? A 。 证：∵ A = B ??x(x?A?x?B)∧?x(x?B?x?A)? A? B∧B? A， ∴定理2正确。 ＃ 推论： A? A （∵ A=A ，∴ A? A ） 定理3：若A?B，且B?C，则A?C。 证：∵A?B??x(x?A?x?B) B?C??x(x?B?x?C) ∴?x(x?A?x?B)∧?x(x?B?x?C)??x(x?A?x?C) 即定理3正确。 ＃ 3. 空集 定义3(3-1.3)：没有元素的集合称为空集，记为?。 定理4(3-1.2)：对任意集合A，??A。 证：∵?x(x???x?A)永真， ∴??A。 ＃ 定理5：空集是唯一的。 证：设有二个空集，?，?`， 则???`，?`??， ∴?=?`。 ＃ 注：?与{?}不同，前者没有元素，后者是以空集为一 个元素的集合。 定义4(3-1.5) 给定集合A，由集合A的所有子集为元素 组成 的集合，称为集合A的幂集,记为ρ(A) 。 举例： 例1：试用空集构造幂集合。 解：?，{?}，{?，{?}}，{?，{?}，{?，{?}}}，…… 其中第i个集合有i-1个元素，序列中每一集合以它之前的所 有集合作为它的元素。 例2：试求出集合{p,q}的幂集。 解：?，{p},{q},{p,q}是{p,q}的子集， ∴{?，{p},{q},{p,q}}是{p,q}的幂集。 返回 一、??并交差运算 1． 基本概念（设A和B为集合） 定义1(3-2.1) A和B的并： A∪B={x?x?A∨x?B} 定义2(3-2.2) A和B的交： A∩B={x?x?A∧x?B} 定义3(3-2.3) A和B的差： A-B={x?x?A∧x?B} 2. 基本性质 定理1：a)A∪B=B∪A b) A∩B= B∩A c)(A∪B)∪C=A∪(B∪C) d)(