离散数学PPT电子教案-第01章 集合论.ppt

第一篇 预备知识 第一章 集合论 1.0 内容提要 1.1 本章学习要求 1.2 集合 一、集合的概念 二、集合的记法 通常用带(不带)标号的大写字母 A、B、C、...、A1、 B1 、C1 、...、X、Y、Z、...表示 集合； 通常用带（不带）标号的小写字母 a、b、c、...、a1、 b1 、c1 、...、x、y、z、...表示 元素。 固定的符号 1.2.1 集合的表示方法 集合是由它包含的元素完全确定的，为了表示一个集合，通常有： 枚举法 (显示法) 叙述法（隐式法） 归纳法 递归指定 文氏图 1、枚举法（显示法） --列出集合中全部元素或部分元素的方法叫枚举法 2、叙述法（隐式法） 例1.2.2 （1）A = {x|x是“discrete mathematics”中的所有字母}； （2）Z = {x|x是一个整数}； （3）S = {x|x是整数，并且x2＋1 = 0}； （4）Q+ = {x|x是一个正有理数}。 2、叙述法（隐式法） 通过刻画集合中元素所具备的某种特性来表示集合的方法称为叙述法（隐式法） 一般表示方法：P＝{x|P(x)} 适用场景： 一个集合含有很多或无穷多个元素； 一个集合的元素之间有容易刻画的共同特征 1.2.2 集合与元素的关系 元素与集合之间的“属于关系”是“明确”的。 对某个集合A和元素a来说， a属于集合A，记为a?A 或者 a不属于集合A，记为a?A 两者必居其一且仅居其一。 罗素悖论 例 在一个很僻静的孤岛上，住着一些人家，岛上只有一位理发师，该理发师专给那些并且只给那些自己不刮脸的人刮脸。那么，谁给这位理发师刮脸？ 1.2.3 集合与集合的关系 1、互异性－ 集合中的元素都是不同的，凡是相同的元 素，均视为同一个元素； {1,1,2}={1,2} 2、确定性－ 能够明确加以“区分的”对象； 3、无序性－ 集合中的元素是没有顺序的。 {2,1}={1,2} ? 例1.2.6 设A = {BASIC, PASCAL, ADA}， B = {ADA, BASIC, PASCAL}， 请判断A和B的关系。 解: 根据集合元素的无序性和外延性原理可得， A = B。 三、包含和真包含关系 定义1.2.1 设A,B是任意两个集合，如果 B的每个元素都是A的元素，则称B是A的子集合，简称子集， 这时也称 A包含B，或B被A包含，记作 A?B 或 B?A。 称“?”或“?”为包含关系。 如果B不被A所包含，则记作B?A 。 例1.2.7 设A = {BASIC, PASCAL, ADA}， B = {ADA, BASIC, PASCAL}， 请判断A和B之间的包含关系。 解 根据集合间包含关系的定义知，A?B 且A?B 。 真包含关系 定义1.2.2 设A,B是任意两个集合，如果 B?A 并且 A≠B 则称B是A的真子集，记作 B?A， 称“?”为真包含关系 。 如果B不是A的真子集，则记作 B?A。 例1.2.9 设A = {a}是一个集合，B = {{a}, {{a}}}，试问 {A}∈B和{A}?B 同时成立吗？ ∵ {A} = {{a}}，{{a}}∈B ∴ {A}∈B成立； ∵ {A} = {{a}}，{a}∈B ∴ {A}?B成立。 解： {A}∈B和A?B同时成立。 1.2.4 几个特殊集合 定义1.2.3 不含任何元素的集合叫做空集，记作Φ。 空集可以符号化为 Φ = {x|x≠x}。 2、全集 定义1.2.4 在一个相对固定的范围内，包含此范围内所有元素的集合，称为全集或论集，用 U 或 E 表示。 用文氏图描述如下: 例1.2.12 （1）在立体几何中，全集是由空间的全体点组成； （2）在我国的人口普查中，全集是由我国所有人组成。 m元子集 定义1.2.6? 如果一个集合A含有n个元素，则称集合A为n元集，称A的含有m个(0≤m≤n)元素的子集为A的m元子集。 幂集 定义1.2.7 设A为任意集合，把A的所有不同子集 构成的集合叫做A的幂集，记为P(A)或2A ， 其符号化表示为 P(A)＝{ x | x?A }。 例1.2.15 计算下列幂集 （1）P(Φ)；（2）P({Φ})；（3）P({ a, {b,c} })。 解? （1）P(Φ) = {Φ}； （2）P({Φ}) =