第2章关系.ppt

第*页 同理, (a, d) ? R, d盖住a; (a, e) ? R, e不盖住a; (b, c) ? R, c盖住b; (b, e) ? R, e不盖住b; (c, e) ? R, e盖住c; (d, e) ? R, e盖住d. 取为偏序的理由: 线外的元素不可比较大小, 即没有偏序关系. 第*页 3. 偏序集中的特殊元素 设(A, ≤)是偏序集, ? ? S ? A. (1) greatest element and least element S的最大元b: S的最小元b: 第*页 S = {a, b, c} S = {d, e, f} S = {c, d} 第*页 存在性? 唯一性? Theorem 若S存在最大(小)元, 则唯一. Hint A的最大元(若存在)通常记为1, A的最小元(若存在)通常记为0. 第*页 借助于非空集合S的最小元素的概念,可以给出良序(well order)关系的定义. Def 2-27 (A, ≤)偏序集, A的任意非空子集均存在最小元,则称?是良序. (N, ≤)是良序集? (Z, ≤)? S = {-1, -2, -3, …}. 第*页 Theorem2-28 良序 ? 线性序, 但反过来不成立. (Z, ?)? (Remark 任意集合均可良序化!) 第*页 (2) maximal element and minimal element b是S的极大元素是指S中没有比b更大的元素. b是S的极小元素是指S中没有比b更小的元素. 存在性? (R, ≤), S = R? 唯一性? {a, b, c, d, e, f}? 第*页 S = {a, b, c} S = {d, e, f} S = {c, d} 第*页 Remark 区别 (1)最大与极大. (2)最小与极小. 在偏序集中, 任意有限的非空子集都存在极小元. 若A是有限集, 利用这个结论可以在集合A上定义一个与“≤”一致的线性序, 进而将A进行拓扑排序. 第*页 (3) upper bound and lower bound A中元素a是S上(下)界是指a在S中每一个元素的上(下)方. 在上面的Hasse图中, a在b的上方? NO. 于是S = {a, b, c, d, e, f}的上界和下界均不存在. 存在性与唯一性? 在上例中: S = {c, d}? 第*页 S = {a, b, c} S = {d, e, f} S = {c, d} 第*页 (4)least upper bound and greatest lower bound S的上确界(lub(S)) sup(S): 最小上界. S的下确界(glb(S)) inf (S): 最大下界. 第*页 S = {a, b, c} S = {d, e, f} S = {c, d} 第*页 下例说明, 即使子集S的上(下)界存在,子集S的上(下)确界也不一定存在. S = {d, e}? S = {a, b}? 若存在, 则唯一. 第*页 例2-67 (P(X), ?): Proof (1) (2) Remark Chapter 5 中常提到. 第*页 例2-68 (Z+, |), 第*页 小结与作业 偏序集的Hasse图 偏序集中的特殊元素 习题2.7 2, 8 作业 离散数学 第2章复习小结 第*页 1、关系的概念 离散数学研究离散对象, 主要研究对象之间的联系即关系. n个对象之间的关系就是n元关系, 借助于集合可对n元关系建立数学模型. 第*页 设A和B是集合, 若R ? A?B, 则称R为A到B的2元关系. 集合A上的2元关系R是指R ? A?A. 若|A| = m, |B| = n, 则A到B的关系共有2mn个. Corollary 若|A| = m, 则A上的关系共有2mm = 2m2个. 第*页 深入理解: (1) 整数集Z上整除关系“|”. (2) 模m同余关系, 理解模m同余关系“?m” 的性质和三个重要定理, 能进行简单的同余线性方程和同余线性方程组的求解. 第*页 关系R中所有序偶第一坐标构成的集合为R的定义域dom R, 所有序偶第二坐标构成的集合为R的值域ran R. 熟练A到B的关系和A上的关系R的关系图GR表示方法, 能写出关系的关系矩阵MR. 了解函数的关系定义. 实际上, 关系是函数的推广. 第*页 2、关系的运算 关系是集合, 所以关系可进行集合运算. 第*页 设R ? A?B, 则 设A, B, C是集合, 若R ? A?B, S ? B?C, 则 Rn? 熟练掌握关系的