第二部分 第六章 集合论详解.pptVIP

第二部分 集合论Set Theory 第六章 集合代数 Set Algebra 第七章 二元关系 Binary Relation 第八章 函数 Function 第六章 集合代数 6.1 集合的基本概念 6.2 集合的运算 6.3 有穷集合的计数 6.4 集合恒等式 一些确定的、能区分的对象的全体是集合。 集合通常用大写的英文字母表示。 组成集合的对象叫做集合的元素。 元素常用小写的英文字母表示。 集合的例子 元素与集合的“隶属”关系 对集合的进一步理解 集合的表示 集合的表示 有限集与基数 集合之间的包含关系 定义6.1 设 A，B 是任意的集合，如果 B 的每一元素都是 A 的元素时，则称 B 是 A 的子集，也称 B 包含在 A 内或 A 包含 B . 记为 B?A 当 B 不是 A 的子集时，记为 B?A B?A 符号化表示为： B?A ? ?x(x?B→x?A) 集合之间的相等关系 定义6.2 设 A，B 是集合，如果 A?B 且 B?A，则称 A 与 B 相等。 记为 A=B 如果A与B不相等，记为 A≠B 集合相等的符号化表示： A=B ? A?B ∧ B?A 真子集 定义6.3 设A，B是集合，如果 B?A 且 A≠B，则称 B 是 A 的真子集。 记为 B?A 如果B不是A的真子集，记为 B?A 真子集的符号化表示为： B?A ? B?A ∧ B≠A ? ?x(x?B→x?A) ∧ ?x(x?A∧x?B) 空集—小而无内 定义6.4 不包含任何元素的集合叫空集。 记为 Φ |Φ|=0 定理6.1 空集是任意集合的子集。 证明： Φ?A ?(?x)( x?Φ→x?A) 推论 空集是惟一的。 幂集—子集的集合 定义6.5 设 A 是集合，A 的所有子集构成的集合称为 A 的幂集，记为 P(A)，即 P(A) =?x|x?A? 【例6.1】 设 A=?a,b,c?， Φ是空集， 试求 P(A)，P(P(Φ)). 幂集的基数 定理 设 A 为有限集合，则 |P(A)|=2|A| 定义6.6 在一个具体问题中，如果所涉及的集合都是某个集合的子集，则称这个集合为全集（大而无外），记为 E. 全集是相对的，不同的问题有不同的全集。即使是同一问题也可以取不同的全集。 练习 96-97页 习题六 3 8 练习 请用集合的语言描述： 指令 程序 软件 软件是程序与文档的集合 程序是指令的集合 机器语言是机器指令的集合 集合的另一种表示法是文氏图（Venn Diagram）。 集合的文氏图画法如下： 用矩形表示全集E，在矩形中画一 些圆表示其它集合，不同的圆代表不同的集合。 如果没有特别说明，任何两个圆彼此相交。 并运算 定义6.7 设 A，B 是任意的集合，由 A 中的元素或 B 中的元素组成的集合，称为 A 和 B 的并集，记为A∪B . A∪B=?x |x?A ∨ x?B? 从并集的定义可以得到： A?A∪B，B?A∪B 交运算 定义6.7 设A，B是集合，由A与B的公共元素组成的集合，称为A和B的交集，记为 A∩B . A∩B=?x |x?A ∧ x?B? 从交集的定义可以得到： A∩B?A，A∩B?B 如果A与B无公共元素，即 A∩B=Φ，则称A和B是互不相交的。 补运算——相对补 定义6.7 设 A，B 是集合，属于 A 的而不属于 B的元素组成的集合，称为 B 对于 A 的补集，也叫 B 对于 A 的相对补集。记为 A-B . A-B=?x |x?A ∧ x?B? 例如，令C=?a?，D= ?a,b?，则 C-D = ?a?-?a,b? = Φ C-C = Φ 补运算——绝对补 定义6.9 设 A 是集合，A 对于全集 E 的相对补集，称为 A 的绝对补集，记为 ～A . ～A=E-A=?x |x?E∧x?A? =?x | x?A ? 例如，令全集 E=?1,2,3,4?， A= ?1,2,3?，则 ～A=?1,2,3,4?-?1,2,3?=?4? 对称差 定义6.8 A、B 是集合,由属于 A