专栏:离散数学必刷题
本章需要掌握的重要知识:
1.集合的概念和表示法
2.集合的运算
3.包含排斥原理
4.序偶与笛卡尔积
5.关系及其表示
6.关系的性质
7.复合关系和逆关系
8.关系的闭包运算
9.集合的划分和覆盖
10.等价关系与等价类
11.相容关系
12.序关系
如上的知识总结和题型都会在如下的复习巩固的22种题型中逐一带着大家进行复习巩固!
看完这22种题型,下面还为大家准备了基础选择题、计算题、证明题,再更进一步查缺补漏,万无一失 ୧꒰•̀ᴗ•́꒱୨
复习巩固之 22题
【题型一】
对于(d):
⚠️注意:
- 不含任何元素的集合称为空集,记作∅ 。
- ∅ ∈ { ∅ } 但是 ∅ ≠ { ∅ } 。
【题型二】
(1)
(2)
(3) 没有
⚠️注意: 如果有限集A有n个元素,其幂集有个元素,即
而第二题要求子集元素为奇数,只需要求
【题型三】 集合的交、并、补 和 对称差
【1】设任意两个集合A和B,由A和B的所有共同元素组成的集合,称为A和B的交集,记为A∩B。
【2】设任意两个集合A和B,所有属于A或属于B的元素组成的集合,称为A和B的并集,记作A∪B。
【3】设A、B是任意两个集合,所有属于A而不属于B的元素组成的集合称为B对A的补集,或相对补 (或A和B差集),记作 A-B。
【4】设A、B是任意两个集合,集合A和B的对称差,其元素或属于A,或属于B,但不能既属于A又属于B,记作 A⨁ B。
【5】设E为全集,任一集合A关于E的补,称为A的绝对补,记作 ~A。
先不看题,把这几个定理和公式回忆一下:
【必记】可类比上一章的等价式
【必记】重要的定理
【题型三】
【题型四】
【题型五】
【题型六】 集合A = B相等的证明方法?
法一:A = B的充要条件是 A⊆B , B⊆A.(常用)
法二:利用谓词公式证明:A=B⇔(∀x)(x∈A↔x∈B)
法三:利用集合成员表(略)
下文的题型八会用到
【题型六】包含排斥原理
【例题】假设在10名青年中有5名是工人,7名是学生,其中兼具工人和学生双重身份的青年有3名,问有几名既不是工人又不是学生。
三个集合的包含排斥原理:对于三个集合A1,A2和A3,其元素个数分别为|A1|、|A2|、|A3|。则
【题型七】 序偶与笛卡尔积
序偶:两个具有固定次序的客体组成一个序偶(有序2元组),记作<x,y>,其中x是它的第一元素,y是它的第二元素。
笛卡尔积:设A和B是任意两个集合,由A中元素作第一元素,B中元素作第二元素构成序偶,所有这样序偶的集合称集合A和B的笛卡尔积或直积。记作A×B 。即:
【例题】
【题型七】笛卡尔积的性质
笛卡尔积关于交、并满足分配律:
两个容易考的定理:
【题型八】熟悉证明流程
【题型九】关系的一些重要知识
前域、值域
X到Y的关系
X到Y的特殊关系
⚠️注意:若Z和S是集合X到Y的两个关系,则Z和S的并、交、补、差仍是X到Y的关系。
【题型十】 序偶集合、关系矩阵、关系图怎么画?
【1】画出p1和p2的序偶集合:
【2】画出关系矩阵
【3】画出关系图
当然如果是一个集合上的二元关系,就不必要这样画,可以这样画:
【题型11】 集合 X上的二元关系R的一些特殊性质。
书上P110的定义自己去看看,特别是P113通过关系矩阵和关系图可以看出此性质。
解:
- R是可传递和反对称的
- S是自反的、对称的和可传递的
- T是反对称的
- 空关系是自反的、对称的和可传递的
- 全关系是自反的、对称的和可传递的
【题型12】 复合关系
⚠️注意:R与S能进行复合的必要条件是R的值域所属集合Y与S前域所属集合Y是同一个集合。
补充:
【题型13】 逆关系
(补充)几个重要的定理:
1、
2、
3、
【题型14】熟悉证明题的流程!
【题型15】 关系的闭包运算
所谓闭包是指,对于给定的关系R和一种性质P, 则把包含R并且满足性质P的最小关系称为R对于P的闭包 。
看不懂,没关系,只要记住下面这几个计算公式就🆗了
补充1:
当集合元素较多的情况,可以采用 Warshall 法求其传递闭包哦,在书上P124
补充2:
【题型16】
【题型17】
1、集合的划分和覆盖
若是划分则必是覆盖,其逆不成立。
2、交叉划分
其交叉划分亦是原集合的一种划分
3、加细
任何两种划分的交叉划分,都是原来各划分的一种加细
【例题】熟悉证明流程
【题型18】等价关系
【例题】
法一:可以通过关系矩阵证明:
法二:通过关系图证明
下面两道题,都是严格根据定义进行证明,大家要熟悉证明流程!
【题型19】
【题型20】 等价类的相关知识
商集
【题型21】 相容关系及其表示
还有就是为了简化图形,我们今后对相容关系图、相容关系矩阵进行了如下简化:
- 不画自回路
- 用单线代替来回弧线
相容类
最大相容类
等价关系和相容关系的对比:
【例题】
【例题】
【题型22】序关系的相关知识
长话短说,你熟悉如下知识点嘛?
偏序关系:
盖住关系:
言简意赅就是,把x == y ; 若满足<x,z> 和 <z,y>,同时存在<x,y>, 则去除<x,y>
哈斯图
链和反链
可以再去看看141页举例。
全序关系
极大元、极小元
极大元和极小元可能不唯一
最大元、最小元
B的最大元必为极大元,B的最小元必为极小元
最大元或最小元可能不存在
上界、下界
上确界、下确界
良序集合
详细证明见P145。
基础选择题
基础计算题
基础证明题
结尾
相信我,刷完这些题,你第三章必定学的巴巴实实的!!