【离散数学】集合论

有关集合的概念

n元集：有n个元素的集合
|A|：集合A中元素个数，其值等于n(也称为集合的基)
0元集：空集
集合的表示方法：列举法、叙述法、venn图
两个集合相等的外延性原理：当且仅当他们有相同的成员
集合的元素还可以是一个集合
集合A和集合B相等的充要条件为互为子集

集合的运算

交集、并集、补集、相对 补集、绝对补、对称差
几个集合恒等式的记忆
集合恒等式的证明：逻辑演算法，集合演算法

包含排斥原理

类似于加法原理；对A∪B一类进行展开

序偶和笛卡尔积

<a,b>这类形式称为序偶，a为第一元素，b为第二元素
若a来自集合A，b来自集合B，则所有这样的序偶的集合称为A和B的
笛卡尔积，记作AXB；
笛卡尔积满足分配律（掌握它的证明）

关系

在序偶的集合中，确立一个二元关系R
R实际上也是一个集合，满足集合的基本运算
三个特殊关系：空关系、全关系、恒等关系
dom域、ram域、FLDR
关系具有：自反性、对称性、传递性、反对称性、反自反性
自反性：MR中斜对角线均为1，结点具有自回路
对称性：对称矩阵；a、b间有弧线，必成对
传递性：任意两节点若通过一条以上弧连接起来，则必存在一条a、b间的弧
反