二元关系和函数.ppt

二元关系 1 集合的笛卡儿积 2二元关系 3 关系的性质 4 等价关系和等价划分 5相容关系与最大相容 6偏序关系 7格与概念格 1 集合的笛卡儿积和二元关系 有序对 笛卡儿积 二元关系 二元关系的表示 有序对 定义 由两个客体 x 和 y，按照一定的顺序组成的 二元组称为有序对，记作x,y 实例：点的直角坐标(3,?4) 有序对性质 有序性 x,y?y,x （当x? y时） x,y 与 u,v 相等的充分必要条件是 x,y=u,v ? x=u ? y=v 有序 n 元组 定义 一个有序 n (n?3) 元组 x1, x2, …, xn 是一个 有序对，其中第一个元素是一个有序 n-1元组，即 x1, x2, …, xn = x1, x2, …, xn-1, xn 当 n=1时, x 形式上可以看成有序 1 元组. 实例 n 维向量是有序 n元组. 笛卡儿积 二元关系的定义 关系的表示 从A到B的关系与A上的关系 实例 例如 A = {1, 2, 3}, B ={a, b}, 则 LA={1,1,1,2,1,3,2,2,2,3,3,3} DA={1,1,1,2,1,3,2,2,3,3} A上关系的性质 2 等价关系与偏序关系 等价关系的定义 等价类及其性质 商集与集合的划分 等价关系与划分的一一对应 相容关系 偏序关系 偏序集与哈斯图 偏序集中的特定元素 “商”和除法有关，比如把一块蛋糕平均分成四份，从 两种不同的角度看这件事： 从算术角度看：1用4除,每份1/4,这就是“商”,于是: 1=1/4+1/4+1/4+1/4 从集合角度看： 集合A用模3同余关系R划分，得到三个等价类，所以 A {{1,4,7},{2,5,８},{3,6}}={[1]R,[2]R,[3]R}----商集 思考： 设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} } 问哪些是A的划分, 哪些不是 A 的划分？ 偏序关系 相关概念 偏序集与哈斯图 哈斯图实例 哈斯图实例（续） 偏序集的特定元素 偏序集的特定元素(续) 实例 偏序集的特殊子集 定义4.30 设A,?为偏序集, B?A. (1) 如果?x,y?B，x与y都是可比的，则称B是A中的一条 链，B中的元素个数称为链的长度； (2) 如果?x,y?B，x?y，x与y都是不可比的，则称B是A 中的一条反链，B中的元素个数称为反链的长度. 实例：在偏序集{1,2,…,9},|中，{1,2,4,8}是长为4的 链，{1,4}是长为2的链，{2,3}是长为2的反链. 对于单元 集{2}，它的长度是1，既是链也是反链. 分解为反链 算法4.2 偏序集反链分解算法 输入：偏序集A 输出：A中的反链B1, B2, … 1．i?1 2．Bi?A 的所有极大元的集合（显然Bi是一条反链） 3．令A?A?Bi 4．if A?? 5． i?i+1 6． 转2 拓扑排序 算法4.3 拓扑排序 输入：偏序集A 输出：A中元素的排序 1. i?1 2. 从A中选择一个极小元 ai 作为最小元 3．A?A?{ai} 4．if A?? 5． i?i+1 6． 转2 实例 答案： π1和π2 是A的划分, 其他都不是 A 的划分. 由此可知，如果R是A上的等价关系，则商集A/R就是A上的 一个划分，等价类就是块。 定理：集合A上的一个划分能确定一个A上的等价关系，反之 确定了A上的一个等价关系也能确定A上的一个划分。 例如A ={a ,b ,c , d ,e} , A={{a}，{b,c,d,e}} 那么它所确定的等价关系的表格表示如图所示： a b c d e √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ √ e b a d c 又如A ={a ,b ,c , d ,e} , R为A上的等价关系， 其表格表示如图所示： 则由R确定的划分为A={{a,b}, {c}, {d,e}}。 a b c