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

第二篇 集合论 第四章 集合及其运算 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）。有限集合中元素的个数称为基数（cardinality）（无穷集合的基数概念将在以后重新严格定义）。集合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)} 概括公理规定了集合元素的确定性,以及集合的描述法表示的理论依据，它还规定了空集的存在性。 正规公理：不存在集合A1，A2, A3，…，使得 … ?A3 ? A2 ?A1 正规公理的一个自然推论是：对任何集合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。即空集是任意集合的子集。 定理4.5 空集是唯一的。 定理 4.6 设 A 为一有限集合，?A? ? n，那么 A的子集个数为2n。 习题解答 练习4.1 l、证明：如果A?｛｛b｝｝，那么b?A。 证 由于A为集合｛｛b｝｝的元素，而集合｛｛b｝｝中只有一个元素｛b｝，所以A=｛b｝； 又因为b?｛b｝，所以b?A。 2、用描述法规定下列集合： （1）A ＝｛1，3，5｝ （2）B = {2，3，5，7，11，13，17，…，89，97} （3）C＝｛｛0｝，｛1｝，｛2｝，｛3｝，…，｛9｝｝ （4）全集 U 解 （1）A ＝ （2）B =，：为小于100的质数 （3）C＝ （4）U＝ 为任意一元谓词公式 3、对任意对象a，b,c，d，证明： {{a},{a,b}}＝{{c},{c，d}} 当且仅当 a = c且b = d 证 设a = c且b = d，则显然{{a},{a,b}}＝{{c},{c，d}}； 设{{a},{a,b}}＝{{c},{c，d}}，则有{a}＝{c}，{a,b}＝{c，d}或者{a}＝{c，d}，{a,b}＝ {c}。前一种情况有a＝c且b＝d；后一种情况有a＝c＝d且a＝b＝c，所以有a＝c且b＝d。 命题得证。 4、指出下列集合序列的排列规律，并依此规律再写出两个后续集