第03章集合代数.pptVIP

第三章 集合代数 集合论是现代数学的基础。德国数学家康托尔（G.Cantor）被誉为集合论的创始人。 集合论在计算机科学、人工智能领域、逻辑学及语言学等方面都有着重要的应用，对于从事计算机科学的工作者来说，集合论是不可缺少的理论知识，熟悉和掌握它是十分必要的。 第三章 集合代数 3.1 集合的概念和表示法 3.2 集合的运算 3.3 包含排斥原理 3.4 集合的笛卡尔积与无序积 3.1 集合的概念与表示法 一、集合与元素 1、集合的描述定义 所谓集合，是指某些可辨别的不同对象的全体，将用大写字母A，B，X，Y，···表示之。 组成集合的对象称为集合的元素或成员，将用小写字母a，b，x，y ···表示之。 a是A的元素或a属于A，记作a?A； a不是A的元素或a不属于A，记作a?A，或者?(a?A)。 2、集合的表示：表示一个特定集合，基本上有两种方法： 枚举法：列出集合的所有元素，元素之间用逗号分开，再用花括号括起。如： A={ a, e, i, o, u } 表明集合A是由字母 a, e, i ,o和u为元素构成的。 集合的元素是彼此不同的。 如：{1，1，2，2，3}＝{1，2，3} 集合的元素是无序的。 如：{1，2，3}＝{3，1，2} 元素和集合之间的关系是隶属关系，属于记作?，不属于记作?。 如：A＝{a，{b，c}，d，{{d}}} 这里 a∈A，{b，c}∈A，d∈A，{{d}}∈A， 但 b?A，{d}?A。 可以用一种树形图来表示这种隶属关系，该图分层构成，每个层上的结点都表示一个集合，它的儿子就是它的元素。 上例中集合 A＝{a，{b，c}，d，{{d}}} 的树形图如图所示。 集合的元素一旦给定，这一集合便完全确立。这一事实被形式地叙述为外延公理。 外延公理：两集合A和B相等，当且仅当它们有相同的元素。 若A与B相等，记为：A=B； 否则，记为：A?B。 外延公理可形式表为： A=B ? (?x)(x?A?x?B) 或者 A=B ? (?x)(x?A?x?B)∧(?x)(x?B?x?A) 顺便指出，在应用外延公理证明集合A与B相等时，只需考察： 对于任意元素x，应有：x?A?x?B 成立即可。这就是说，证明两集合相等时可按此法行事。 二、集合之间的关系 子集是描述一个集合与另一个集合之间的关系，其定义如下: 定义3.1.1 设A和B是任意两个集合，如果集合A的每个元素，都是集合B中的一个元素，则称A是B的子集，或称A被包含于B中，或者说 B包含A，并记为A?B。 集合包含的符号化表示： A?B ? (?x)(x?A?x?B) 表明：要证明A?B，只需对任意元素x，有下式 x?A?x?B 成立即可。 如果A?B且B?A，则称A与B相等，记作A＝B。 若集合B不包含集合A，记为A ? B。 定义3.1.2 设A和B是两个集合，若A?B且A?B，则称A是B的真子集，记为A?B，也称B真包含A。该定义也可表为 A?B ? (A?B∧A?B) 如果A不是B的真子集，则记作A?B。 定义3.1.3 如果一个集合包含了所要讨论的每一个集合，则称该集合为全集，记为 E。它可形式地表为 E = {x|P(x)∨?P(x)} 其中：P(x)为任何谓词公式。 显然，全集E即是第二章中的全总个体域。于是，每个元素 x 都属于全集 E，即命题(?x)(x?E)为真。 由定义易知，对任意集合A，都有A?E。 在实际应用中，常常把某个适当大的集合看成全集 E。 全集是有相对性的。 定义3.1.4 不含任何元素的集合，称为空集，记作?，它可形式地表为： ?={ x|P(x)∧?P(x) } 其中：P(x)为任何谓词公式。 由定义可知，对任何集合A，有??A。这是因为任意元素x，公式x???x?A总是为真。 注意： ?与{?}是不同的。{?}是以?为元素的集合，而?没有任何元素，能用?构成集合的无限序列： (1) ?，{?}，{{?}}，··· 该序列除第一项外，每项均以前一项为元素的集合。 (2) ?，{?}，{?，{?}}，··· 该序列除第一项外，每项均以前面各项为元素的集合。它即是冯·诺依曼在1924年使用空集?给出自然数的集合表示： 0:=?，1:={?}，2:={ ?,{?}}，··· 定理3.1.1 空集是一切集合的子集。 推论 空集是唯一的。 定理3.1.2 (ⅰ) 对任一集合A，有A?A。 (ⅱ) 若A?B且B?C，则A?C。 三、集合的基数