第7章 二元关系.ppt

离散数学P75 第三组 其他常用推理定律 (1) ?xA(x)??xB(x) ? ?x(A(x)?B(x)) (2) ?x(A(x)?B(x))??xA(x)??xB(x) (3) ?x(A(x)?B(x)) ? ?xA(x)??xB(x) (4) ?x(A(x)?B(x)) ? ?xA(x)??xB(x) P67 (4) 量词分配等值式 ① ?x(A(x)?B(x)) ? ?xA(x)??xB(x) ② ?x(A(x)?B(x)) ? ?xA(x)??xB(x) 注意：?对?，?对?无分配律 自反扩展 (1) 若 ?x(x∈A→x,x?R), 则称 R 在 A 上是自反的. 设 A={1,2,3}, R1, R2, R3是A上的关系, 其中 R1＝{1,1,2,2} R2＝{1,1,2,2,3,3,1,2} R3＝{1,3} R2 自反 ，R3 不是自反，R1不是自反. 扩展： R1*＝{1,1,2,2,3,3} R2＝{1,1,2,2,3,3,1,2} R3*＝{1,3,1,1,2,2,3,3} 对称扩展 (2) 若?x?y( x,y∈A∧x,y∈R→y,x∈R), 则称 R 为 A上对 称的关系. 设： A＝{1,2,3}, R1, R2, R3和R4都是A上的关系, 其中 R1＝{1,1,2,2}，R2＝{1,1,1,2,2,1} R3＝{1,2,1,3}，R4＝{1,2,2,1,1,3} R1：对称； R2：对称；R3：不对称； R4：不对称 扩展： R3*＝{1,2,1,3,2,1,3,1}， R4*＝{1,2,2,1,1,3,3,1} 第七章 主要内容 主要内容 有序对与笛卡儿积的定义与性质 二元关系、从A到B的关系、A上的关系 关系的表示法：关系表达式、关系矩阵、关系图 关系的运算：定义域、值域、域、逆、合成、限制、像、幂 关系运算的性质: A上关系的自反、反自反、对称、反对称、传递的性质 * 例11 给出 A＝{1,2,3}上所有的等价关系 实例 1 2 3 ?1 1 2 3 ?5 1 2 3 ?2 1 2 3 ?4 1 2 3 ?3 ?1对应 EA, ?5 对应 IA, ?2, ?3 和 ?4分别对应 R2, R3和 R4.? R2={2,3,3,2}∪IA R3={1,3,3,1}∪IA R4={1,2,2,1}∪IA 解 先做出A的划分, 从左到右分别记作 ?1, ?2, ?3, ?4, ?5. * 7.7 偏序关系 主要内容 偏序关系 偏序关系的定义 偏序关系的实例 偏序集与哈斯图 偏序集中的特殊元素及其性质 极大元、极小元、最大元、最小元 上界、下界、最小上界、最大下界 * 定义与实例 定义7.19 偏序关系：非空集合A上的自反、反对称和传递的关系， 记作?. 设?为偏序关系, 如果 x, y ∈?, 则记作 x ? y, 读作 x“小于或等于”y. 实例 集合A上的恒等关系 IA是 A上的偏序关系. 小于或等于关系, 整除关系和包含关系也是相应集合上的偏 序关系. 注：若?x?y( x,y∈A∧x,y∈R∧y,x∈R→x=y), 则称 R 为 A上的反对称关系. * 相关概念 定义7.20 设 R 为非空集合A上的偏序关系, (1) x, y∈A, x与y可比 ? x ? y∨y ? x (2) 任取元素 x 和 y, 可能有下述几种情况发生： x ? y (或 y ? x), x＝y, x与y不是可比的 定义7.21 R 为非空集合A上的偏序关系, (1) ?x,y∈A, x与y都是可比的，则称R为全序（或线序） 实例：数集上的小于或等于关系是全序关系,整除关系不是正 整数集合上的全序关系 定义7.22 x,y∈A, 如果 x?y 且不存在 z∈A 使得 x?z?y, 则称 y覆盖x. 例如{1,2,4,6}集合上整除关系, 2覆盖1, 4和6覆盖2, 4不覆盖1. * 偏序集与哈斯图 定义7.23 集合A和A上的偏序关系?一起叫做偏序集, 记作 A,?. 实例: 整数集合和小于等于关系，Z,≤, 幂集和包含关系，P(A),R? 哈斯图: 利用偏序关系的自反、反对称、传递性进行简化的 关系