离散数学王元元习题解答(5).pdfVIP

第二篇 集合论 第四章 集合及其运算 4.1 集合的基本概念 容提要 4.1.1 集合及其元素 集合 是 一些确定的、作为整体识别的、 互相区别的对象的总体。 组成集合的对象称为集合的 成员 或 元素 （member ）。通常用一对“ { } ”把集合的元素 括起来，表示一个集合。 元素对于集合的隶属关系是集合论的另一基本概念。 即当对象 a 是集合 A 的元素 时，称 元素 a 属于 集合 A ，记为 a∈A 当对象 a 不是集合 A 的 元素 时，称 a 不属于 A ，记为 (a ∈A) 或 a A 对任何对象 a 和任何集合 A ，或者 a A 或者 a A , 两者恰居其一。这正是集合对其元素的 “确定性”要求。 定义 4 ．1 空集和只含有有限多个元素的集合称为有限集（ finite sets ），否则称为无限 集（ infinite sets ）。有限 集合中 元素 的个数称为基数（ cardinalit y ）（无穷集合的基数概念将在 以后 重新 严格定义） 。集合 A 的基数表示为 A 。 4.1.2 外延公理、概括公理和正规公理 集合论依赖于三大基本原理： 外延公理 （extensionality axiom ）、概括公理 （comprehension axiom ）和正规公理（ regularity axiom ）。它们从根本上规定了集合概念的意义。 外延公理 ：两个集合 A 和 B 相等当且仅当它们具有相同的元素。即对任意集合 A ，B, A=B x(x A x B) 外延公理事实上刻划了集合的下列特性：集合 元素 的“相异性” 、“无序性”，及集合表 示形式的不唯一性。 概括公理 : 对任意个体域， 任一谓词公式都确定一个以该域中的对象为元素的集合。 即 对给定个体域 U ，对任意谓词公式 P(x) ，存在集合 S，使得 S＝{x x U ∧P(x)} 概括公理规定了集合 元素 的确定性 , 以及集合的描述法表示的理论依据，它还规定了空 集的存在性。 正规公理 ：不存在集合 A 1 2 3 ，A , A ，…，使得 … A 3 A2 A 1 正规公理的一个自然推论是：对任何集合 A ，{A} A （否则有… A A A ）。从而规定 了集合 {A} 与 A 的不同层次性 , 因而正规公理也就规定了集合不能是自己的 元素 。 4.1.3 子集合 定义 4.2 集合 A 称为集合 B 的子集合 （或子集， subsets），如果 A 的每一个元素都是 B 的元素，即 x(x A x B) A 是 B 的子集，表示为 A B （或B A ），读作“ A 包含于 B ”（或“B 包含 A ”）。 定理 4.1 对任意集合 A ，B ，A ＝B 当且仅当 A B 且 B A 。 定理 4.2 对任意集合 A ，A U 。 定理 4.3 设 A ，B ，C 为任意集合，若 A B,B C ，则 A C 。 定理 4.4 对任何集合 A ， A 。即空集是任意集合