离散数学重点（第二部分）

二.集合论

离散数学的知识只包括本人根据自身前提情况认为有必要一看的内容

---

1. 幂集：设A为集合，A的全体子集构成的集合叫做A的幂集，记作p(A)
幂集的大小：设|A|=n，则|p(A)|=2ⁿ

2. 绝对补集：设E为全集，则称A对E的相对补集为A的绝对补集，记为～A
～A = E-A

3. 运算
A - B = {x| x∈A ∧ x∉B}
A ⊕ B = (A-B) ∪ (B-A)

4. 二元关系：一个集合为Ø，或它的元素都为有序对，称这个集合为二元关系。
对二元关系R，若<x,y> ∈ R，则记为：x R y

特殊的二元关系：

• Ø 【空关系】
• Eᴀ = A×A 【全域关系】
• Iᴀ = {<x,x> | x∈A} 【恒等关系】

5. 关系矩阵
设A = {x1, x2, …, xn}。R是A上的二元关系。
令rij = xi R xj ? 1 : 0
(rij)就是关系R的关系矩阵

6. 关系R的domR、ranR、fldR

• 定义域domR = {x | ∃y(<x,y>∈R) }
• 值域ranR = {y | ∃y(<x,y>∈R) }
• 域fldR = domR ∪ ranR

7. 关系的逆运算
关系F的逆：F⁻¹ = {<x,y> | yFx}

8. 关系的（右）合成
关系F和关系G的合成：F○G = {<x,y> | ∃t(<x,t>∈F ∧ <t,y>∈G) }

9. 关系的限制
关系F在集合A上的限制（把集合缩小到A）：F〡A = {<x,y> | xRy ∧ x∈A}

10. 关系的像
集合A在关系F下的像：F[A] = ran(F|A)

11. 关系的性质

概念	自反性	反自反性	对称性	反对称性	传递性
定义	∀x∈A，有<x,y>∈R	∀x∈A，有<x,y>∉R	若<x,y>∈R，则<y,x>∈R	若<x,y>∈R，且x≠y则<y,x>∉R	若<x,y>∈R,且<y,z>∈R，则<x,z>∈R
关系矩阵特点	主对角线元素全为1	主对角线元素全为0	矩阵为对称矩阵	若rij=1且i≠j，则rji=0	无
关系图特点	图中每个顶点都有环	图中每个顶点无环	两个顶点若有边，则一定是相反的两条边	两个顶点若有边，则一定是一条边	若存在a到b的边，存在b到c的边，则存在a到c的边

12. 关系的闭包

闭包：设R是非空集合A上的关系，R的**自反闭包（对称闭包、传递闭包）**是A上的关系R’，且R1满足以下条件：

• R‘是自反的（对称的、传递的）
• R ⊆ R‘
• 对A上任何包含有R的自反（对称、传递）关系R’’,都有R‘⊆R‘‘

总结就是R上添加最少的有序对直到满足性质
自反闭包记作r®,对称闭包记作s®,传递闭包记作t®

13. 等价关系：关系是自反的、对称的、传递的。
设关系R为集合A上的等价关系。对任何x，y∈R，如果<x,y>∈R，记作x～y

• 等价类
  设关系R为集合A上的等价关系。对任意x∈A，令[x] = {y| y∈A ∧ xRy}，[x]为x等价类
  A上互相等价的元素构成了A的若干个子集，叫做等价类
• 商集
  设关系R为集合A上的等价关系。以R的所有等价类作为元素的集合称为A关于R的商集，记作A/R，A/R = {[x] | x∈A}
• 划分
  设A是一个非空集合，如果存在一些非空的子集，满足这些子集之间两两不交、所有的子集的并为A。称这些子集是A的一个划分。每个子集称为划分块。

14. 偏序关系：自反的、反对称的、传递的
R是A上的偏序关系，记作≤。若<x,y> ∈ ≤，则记作x≤y。

偏序集：一个集合A与A上的偏序关系R一起称为偏序集，记作<A,R>

全序关系：偏序关系+任何两个元素都可比

盖住：如果x≤y且x≠y，且不存在z∈A（z≠x，z≠y），使x≤z≤y，称y盖住x

哈斯图：表示出所有的盖住关系

例子：如A={1,2,3,4,6,8,12}，R使A上的整除关系。
整除关系是偏序关系,则哈斯图如下：

• 最大元：无
• 最小元：1
• 极大元：8，12
• 极小元：1

设B={2,3,6} ⊆ A

• B的上界：6，12
• B的下界：1
• B的最小上界：6
• B的最大下界：1

注意如果集合是{4,6},则最小上界、最大下界不存在。

15. 设A，B是集合。如果函数f满足domf=A，ranf⊆B，称f为从A到B的函数，记作A → B

16. 函数的性质
设f：A → B

• ranf=B，则f是满射的
• A，B集合中的元素一一对应，则f是单射的
• f既是单射又是满射，称f是双射的

17. 函数的复合：设F、G为函数，则F°G也是函数，且

• dom(F°G) = {x | x∈domG ∧ G(x)∈domF}
• 对任意的x∈dom(F°G)，有F°G(x) = F(G(x))

18. 函数的逆：就是关系的逆，所以函数的逆不一定是函数
逆函数存在定理：设f:A → B双射，则f⁻¹是函数，且是B到A的双射函数