吉林大学离散数学课后习题答案.pdfVIP

第一章 集合论基础 §1.1 基本要求 1. 掌握集合、子集、超集、空集、幂集、集合族的概念。懂得两个集合间相等和包含关系 的定义和性质，能够利用定义证明两个集合相等。熟悉常用的集合表示方法。 2. 掌握集合的基本运算：并、交、余、差、直乘积、对称差的定义以及集合运算满足的基 本算律，能够利用它们来证明更复杂的集合等式。 3. 掌握关系、二元关系、空关系、全域关系、相等关系、逆关系的概念以及关系的性质： 自反性、对称性、反对称性、传递性。会做关系的乘积。了解关系的闭包运算：自反闭 包、对称闭包、传递闭包。 4. 掌握等价关系、等价类、商集的概念，了解等价关系和划分的内在联系。 5. 掌握部分序关系、部分序集、全序关系、全序集的概念以及部分序集中的特殊元素：最 大元、最小元、极大元、极小元、上确界、小确界的定义。能画出有限部分序集的Hasse 图，并根据图讨论部分序集的某些性质。 6. 掌握映射、映像、1- 1 映射等概念，会做映射的乘积。了解可数集合的概念，掌握可数 集合的判定方法。 7. 了解关系在数据库中的应用（数据的增、删、改）以及划分在计算机中的应用。 §1.2 主要解题方法 1.2.1 证明集合的包含关系 方法一. 用定义来证明集合的包含关系是最常用也是最基本的一种方法。要证明 A B ，首先任取x A ，再演绎地证出x B 成立。由于我们选择的元素x 是属于A 的任何 一个，而非特指的一个，故知给出的演绎证明对A 中含有的每一个元素都成立。当A 是无 限集时，因为我们不能对x A ，逐一地证明x B 成立，所以证明时的假设“x 是任取的” 就特别重要。 例1.2.1 设A ，B ，C，D 是任意四个非空集合，若A C，B D ，则A×B C×D 。 证明：任取(x，y) A×B ，往证(x，y)  C×D 。 由(x，y) A×B 知，x A ，且y B 。又由A C，B D 知，x C，且y D ，因此， (x，y)  C×D 。故，A×B C×D 。 方法二. 还有一种证明集合包含关系的方法，基于集合的交和并运算的两个基本性质 A B  AB=A  AB=B 以及一些已经证出的集合等式。现在我们就用此方法将上例再证一次。 由下面例1.2.2 证明的结论有（A×B ） （C×D ）= （AC ）× （BD ），若A C，B D ， 则AC=A ，BD=B ，因此，（A×B ） （C×D ）=A×B 。因此，A×B C×D 。 1 1.2.2 证明集合的相等 方法一. 若A ，B 是有限集，要证明集合A=B 当然可以通过逐一比较两集合所有元素 均一一对应相等即可，但当 A ，B 是无限集时，一般通过证明集合包含关系的方法证得 A B ，B A 即可。 例1.2.2 设A ，B ，C，D 是任意四个集合，求证（A×B） （C×D ）= （AC ）× （BD ）。  证明：首先证明（A×B ） （C×D ） （AC ）× （BD ）。任取（x,y ） （A×B ）  （C×D ），则（x,y ） （A×B ），且（x,y ） （C×D ），故 x A ，y B ，x C，y D ， 即       x AC，y BD ，因此，（x,y ） （AC ）× （BD ）。    由于以上证明的每一步都是等价的，所以上述论证反方向进行也是成立的。故可证得  （AC ）× （BD ） （A×B ） （C×D ）。 因此，（A×B ）