chap4可数集与不可数集.pptVIP

* 离散数学 * 集合论总结 集合； 关系； 映射； 可数集与不可数集。 集合论的主要内容有： * 离散数学 * 集合 基本概念： 集合、子集、幂集。 集合之间的关系： (真)含于(? / ?)，相等(＝)。 集合的基本运算： 并(∪)、交(∩)、差(－)和对称差(?)。 笛卡尔直积： n个集合的笛卡尔直积是它们的 n元有序组的集合。它仍然是个集合。 集合的表示： 列举法和描述法。 * 离散数学 * 关系 关系的概念： A到B的二元关系R是笛卡尔直积A×B的子集。 关系仍然是集合。 关系的表示： 仍然可以采用集合的表示方法。 若A、B是有限集合，或者说R是有限集上的关系，则R的表示还可以采用： 关系矩阵 和 关系图。 * 离散数学 * 关系的性质 自反性： ?x ?A ? xRx。 反自反性： ?x ?A ? ? (xRx)。 对称性： ?x ，y?A， 若xRy ? yRx。 反对称性：?x ，y?A， 若xRy且yRx ? x = y 。 传递性： ?x ，y，z?A， 若xRy且yRz ? xRz 。 令R是定义在集合A上的关系。 * 离散数学 * 关系的运算 关系是集合，可具有集合的各种运算。 复合运算：R·S = {?x，z? | ?y?B：xRy 且ySz}，其中，R，S分别为A到B和B到C的关系。 逆关系：R-1 = {?y，x? | ?x，y? ?R}。 注意复合运算的逆： (R·S) –1 = S-1·R-1。 在一个集合A上的关系的幂运算： R0 ={?x，x? | x ?A }, Rk = Rk-1·R 。 * 离散数学 * 关系的闭包 某关系的具有某种性质的闭包是：包含该关系的最小的有此性质的关系。 依据关系的性质有：r(R)、 s(R)和t(R)，即自反闭包、对称闭包和传递闭包。 r(R) = R∪R0。 s(R) = R∪R-1。 ∞ t(R) =∪Ri。 i=1 * 离散数学 * 用关系矩阵实现关系的运算 MR·S = MR · MS。 MR0为R0的关系矩阵。 显然R-1的关系矩阵就是MRT。 显然的Rk关系矩阵是MRk = MRk-1· MR。 R的自反闭包为MR∪MR0。 R的对称闭包为MR∪MRT。 n R的传递闭包为 ∪ MRk。 k=1 令R、S为有限集上的关系，关系矩阵为MR 和 MS： * 离散数学 * 等价、划分和商集 集合A上的等价关系是具有自反性、对称性和传递性的关系。 集合A的划分是将A中所有元素分成若干非空的两两互不相交的集合。 集合A上的等价关系R可将A中的元素划分成等价类。这些等价类的集合称为A关于R的商集，记为A/R。 集合A上的关系R是等价关系当且仅当A/R是一个划分。所以A上的等价关系和A的划分是一一对应的。 * 离散数学 * 序关系 集合A上的序关系≤是具有自反性、反对称性和传递性的关系。称?A， ≤ ?为偏序集 任何两个元素均有序关系的偏序集为全序集。 极大(极小)元，最大(最小)元，上/下(确)界。 有限集上的序关系可用Hasse图表示。 任何非空子集均有最小元的偏序集为良序集。良序集一定是全序集，但反之不然。 * 离散数学 * 映射 映射是每个象源都对应唯一映象的二元关系。 满射、单射和双射。 等势有限集之间的单射即满射，也就是双射。 映射的逆不一定还是映射。只有双射才存在逆映射。 映射的复合运算(乘法)仍是映射。乘法只满足结合律，不满足交换律。 * 离散数学 * 有限与无限 集合A、B间若存在双射，则A，B等势，A～B。 与确定数目n个元素构成的集合Nn等势的集合是有限集，否则是无限集。 任何有限集均不能与其真子集等势(抽屉原理)。 存在无限集，自然数集合就是无限集。 无限集可以与其真子集等势。 * 离散数学 * 基数 基数是集合中元素的数量，记为|A|。 若A～B，则|A| = |B|。 若存在A到B的单射，则|A|≤|B|。 若|A|≤|B|且|A|≠|B|，则|A|＜|B|。 基数之间的＝是等价关系，而≤是偏序关系