离散数学导论(盘) 作者 王元元 张桂芸 第五章演示文稿.ppt

第五章 关 系 5.2 关系 5.2.4 关系特性闭包 设R为集合A上的任一二元关系，那么 （1）rs(R)＝sr(R) （2）rt(R)＝tr(R) （3）st(R) ? ts(R) 定理5.18 第五章 关 系 5.2 关系 5.2.4 关系特性闭包 设R为A上二元关系?A?=n，那么 定理5.19 t(Ｒ)= ?Ri i=1 n 第五章 关 系 5.2 关系 *5.2.5 特殊关系运算 设R为一n元关系，P为一n元谓词公式， 那么关系R在P上的限定，表示为R[P]，确定为 R[P]={x1,…,xn?x1,…,xn?R∧P(x1,…,xn)} 限定运算（restriction） 第五章 关 系 5.2 关系 *5.2.5 特殊关系运算 设R为一n元关系，A为{1,2,…,n}上的一个k 元素序列i1,…,ik。以下记 x1,…,xn 为 x, pi(x) = xi (i=1,2,…,n)。那么关系R在A上的投影， 表示为R[A]，确定为 R[A]={pi1(x),…,pik(x) ? x?R} 投影运算（projection） 第五章 关 系 5.2 关系 *5.2.5 特殊关系运算 设R为一n元关系，S为一m元关系，那么R和S 依据条件P的连接，记为R[P]S，确定为 R[P]S={x1,…,xn,y1,…,ym?x?R∧y?S∧P(x1,…,xn,y1,…,ym )} 连接运算（joint） 第五章 关 系 5.2 关系 *5.2.5 特殊关系运算 设R为一n元关系，S为一m元关系，m≤n, 那么， R除以S的商，记为R?S，确定为 R?S={t?{t}*S?R} 除运算（quotient） 第五章 关 系 5.3 等价关系 5.3.1 等价关系 称集合A上关系R是等价关系（equivalent relation）， 如果R为A上的自反、对称、传递的二元关系。 定义5.11 第五章 关 系 5.3 等价关系 5.3.1 等价关系 设R为集合A上的等价关系。对每一a?A， a的等价类（equivalent class），记为[a]R （或简单地记为[a]），指下列集合 [a]R=｛x ? x?A∧xRa｝ a称为[a]R的代表元素。 定义5.12 第五章 关 系 5.3 等价关系 5.3.1 等价关系 设R是集合A上的等价关系，那么，对任意a , b?A， aRb 当且仅当[a]R=[b]R 定理5.20 设R是集合A上的等价关系，那么对任意a，b?A，或者[a]R=[b]R或者[a]R∩[b]R = ?。 定理5.21 v 第五章 关 系 5.3 等价关系 5.3.2 划分与等价关系 当集合A的子集族π满足下列条件时称为A的划分（partitions）： （l）对任意B?π, B ? ?。 （2）∪π＝A。 （3）对任意B，B?π，B ? B时，B∩B= ?。 约定A = ? 时只有划分?，称π中元素为划分的单元。 定义5.13 第五章 关 系 5.3 等价关系 5.3.2 划分与等价关系 设R为集合A上的等价关系，那么R对应 的A划分是{[x]R ?x?A}。 定理5.22 第五章 关 系 5.3 等价关系 5.3.2 划分与等价关系 设π是集合A的一个划分，则如下定义的关系R为A上的等价关系： R =｛x,y? ?B(B?π∧x?B∧y?B)｝ 或者 定理5.23 ? R = B?B ( = {B?B ? B?π}) ? B?π 称R为π对应的等价关系。 第五章 关 系 5.3 等价关系 5.3.2 划分与等价关系 设π是集合A的划分，R是A上等价关系， 那么，对应π的等价关系为R， 当且仅当R对应的划分为π。 定理5.24 第五章 关 系 5.3 等价关系 5.3.2 划分与等价关系 设π1，π2为集合的两个划分。称π1细于π2， 如果π1的每一单元都包含于π2的某个单元。 π1细于π2表示为π1≤π2。π1≤π2且π1?π2， 则表示为