划分离散数学定义_《离散数学》学习记录 - 集合论

来源：北京大学《离散数学》公开课

2.1 有序对和卡氏积有序对：有顺序，类似于数组，可以用集合定义。

性质：有序对内元素对应相等卡氏积A×B：所有元素一个来自A集合，另一个来自B集合的有序对

性质：不满足交换律，不满足结合律，对并和交满足分配律，具有单调性(证明见北大教材p25)

2.2 二元关系A到B的二元关系定义：A×B的任一子集，即A×B幂集中的一个元素组成的集合(注意二元关系也是集合)

A到B的二元关系的总个数：|P(A×B)|

A上的特殊二元关系：空关系、恒等关系、全域关系、整除关系，大于小于关系，包含关系(只有包含关系定义在幂集P(A)上，见p26)

定义域、值域、域(由二元关系定义的集合)

关系的特殊情况：F是单根的、F是单值的(即F定义了一个函数)

二元关系的运算：逆F^-1：将关系集合中所有的有序对反向

逆序合成FoG：有公共中间元素的有序对的集合

限制F↑A：x属于A的关系集合

象F[A]：F↑A的值域，定义域为A的有序对集合对应的值域合成运算定理1：合成运算结合律(重要)

合成运算定理2：A与B合成运算的逆=B逆与A逆的合成运算

2.3 关系的表示和关系的性质关系矩阵(图的矩阵表示)

关系图

关系的性质自反性：每个点都有环

反自反性：每个点都没有环

对称性：任意两点间要么有两条边要么没边

反对称性：任意两点间都没有两条边

传递性：可走捷径(注意考虑有环的情况)

2.4 关系幂运算和关系闭包

(一)关系幂关系R的n次幂：R与自己合成n次后得到的关系集合。也可以理解为G(R)中长度为n的路径的起点和终点组成的有序对的集合

关系幂具有指数律：R^m * R^n = R^(m+n)，(R^m)^n=R^(mn)

(二)闭包R的闭包的定义：包含R，满足给定性质，最小的有序对集合(包含于任意一个)

闭包的种类：自反闭包：r(R)

对称闭包：s(R)

传递闭包：t(R)

3. 闭包运算的性质定理2.19：闭包运算有不动点

定理2.20：闭包运算有