DM-专题2：关系的与关系的运算技术总结.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 模 3 等价关系的关系图 等价关系的实例 * 等价类定义 定义2.16 设R为非空集合A上的等价关系, ?x∈A，令  [x]R = {y | y∈A∧xRy} 称[x]R 为x关于R的等价类, 简称为x的等价类, 简记为[x]或 实例 A={1, 2, … , 8}上模3等价关系的等价类： [1] = [4] = [7] = {1, 4, 7} [2] = [5] = [8] = {2, 5, 8} [3] = [6] = {3, 6} * 等价类的性质 定理2.14 设R是非空集合A上的等价关系, 则 (1) ?x?A, [x]是A的非空子集 (2) ?x,y?A, 如果 xRy, 则 [x] = [y] (3) ?x,y?A, 如果 x y, 则 [x]与[y]不交 (4) ∪{[x] | x?A}=A 例 设集合A={1,2,3,4}上的等价关系 R={1,1,1,2,2,1, 2,2,3,3,3,4, 4,3,4,4} 试画出R的等价关系图，并求出A中各元素的R等价类。 * 商集与划分 定义2.17 设 R 为非空集合A上的等价关系, 以 R 的所有等价 类作为元素的集合称为A关于R的商集, 记做A/R,  A/R = {[x]R | x∈A} 实例 设 A={1,2,…,8}，A关于模3等价关系R的商集为 A/R = {{1,4,7}, {2,5,8}, {3,6}} A关于恒等关系和全域关系的商集为： A/IA = {{1}, {2}, …, {8}}， A/EA = {{1,2,…,8}} 定义2.18 设A为非空集合, 若A的子集族π(π ? P(A))满足: (1) ? ?π (2) ?x?y(x,y?π∧x≠y→x∩y=?) (3) ∪π = A 则称π是A的一个划分, 称π中的元素为A的划分块. * 划分实例 例10 设 A＝{ a, b, c, d }, 给定 ?1, ?2, ?3, ?4, ?5, ?6如下： ?1={{ a, b, c },{ d }} ?2={{ a, b}, { c }, { d }} ?3={{ a }, { a, b, c, d }} ?4={{ a, b}, { c }} ?5={?,{ a, b }, { c, d }} ?6={{ a, { a }}, { b, c, d }} 则 ?1和 ?2是A的划分, 其他都不是A的划分. 商集与划分 * 偏序关系 主要内容 偏序关系 偏序关系的定义 偏序关系的实例 偏序集与哈斯图 偏序集中的特殊元素及其性质 极大元、极小元、最大元、最小元 上界、下界、最小上界、最大下界 * 定义与实例 定义2.19 偏序关系：非空集合A上的自反、反对称和传递的关系， 记作?. 设?为偏序关系, 如果 x, y ∈?, 则记作 x ? y, 读作 x“小于或等于”y. 实例 集合A上的恒等关系 IA是 A上的偏序关系. 实数集上小于或等于关系, 整除关系和包含关系也是相应集合上的偏序关系. 例 设集合A={1,2,3}上的二元关系 R={1,1,1,2,1,3, 2,2,3,3,2,3} 试画出R的关系图来验证R是偏序关系。 * 覆盖与偏序集 定义2.20 x,y∈A, 如果 x?y 且不存在 z∈A 使得 x?z?y, 则称 y 覆盖x. 例如{1,2,4,6}集合上整除关系, 2覆盖1, 4和6覆盖2, 4不覆盖1. 定义2.21 集合A和A上的偏序关系?一起叫做偏序集, 记作 A,?. 实例: Z,≤, P(A),R? * 哈斯图 哈斯图:对于给定的偏序集A, ? ，可以先利用偏序关系求出所有的覆盖关系元素对，然后根据此画出一个简化的偏序关系图，这种简化的关系图称为哈斯图。 特点： (1) 每个结点没有环 (2) 两个连通的结点之间的序关系通过结点位置的高低表 示，位置低的元素的顺序在前 (3) 具有覆盖关系的两个结点之间连边 * 实例 例12 偏序集{1,2,3,4,5,6,7,8,9}, R整除和P({a,b,c}),R?的 哈斯图. * 例13 已知偏序集A,R的哈斯图如下图所示, 试求出集合A 和关系