离散数学第五版第四章(耿素云屈婉玲张立昂编著).ppt

4.4关系的闭包 三、关系闭包的性质（2） r(R1)? r(R2)； s(R1)? s(R2); t(R1)? t(R2); 设R1和R2是非空集合A上的关系，且R1?R2，则 PPT课件 4.4关系的闭包 三、关系闭包的性质(3) ； ； 。 设R是非空集合A上的关系，则 PPT课件 4.4关系的闭包 三、关系闭包的性质(4) r(s(R))=s(r(R))。 r(t(R))=t(r(R))。 s(t(R))?t(s(R))。 设R是非空集合A上的关系，则 PPT课件 第四章 二元关系和函数 4.1 迪卡尔乘积与二元关系 4.2 二元运算 4.3 关系的性质 4.4 关系的闭包 4.5 等价关系和偏序关系 4.6 函数的定义与性质 4.7 函数的复合与反函数 PPT课件 4.5等价关系与偏序关系 一、等价关系的定义 设R为非空集合A上的关系，如果R是自反的、对称的、 传递的，则称R为A上的等价关系。对任何x,y?A，如果 x,y?等价关系R，则记作x?y。 PPT课件 4.5等价关系与偏序关系 例4：A={1,2,3,?,8},R={x,y|x,y?A ? x?y(mod 3)}, 其中x?y(mod 3)的含义就是x-y可以被3整除。求证：R 是否为等价关系？ 5 8 2 4 7 1 6 3 对任何正整数n可以定义整数集合Z上模n的等价关系： R={x,y|x,y?Z ? x?y(mod n)} PPT课件 4.5等价关系与偏序关系 例5: 在一群人的集合上，年龄相等的关系、朋友关系。 动物是按种属分类的，“具有相同种属”的关系。 集合上的恒等关系。 在同一平面上，三角形之间的相似关系。 在同一平面上，直线间的平行关系。 PPT课件 4.5等价关系与偏序关系 二、等价类的定义 设R是非空集合A上的等价关系，对任意的x?A，令 [x]R={y|y?A ? xRy}, 则称[x]R为x关于R的等价类，简称为x的等价类，简记为[x]。 集合A={1,2,3,?,8},R={x,y|x,y?A ? x?y(mod 3)}中的 等价类有：[1]=[4]=[7]={1,4,7} [2]=[5]=[8]={2,5,8} [3]=[6]={3,6} PPT课件 4.5等价关系与偏序关系 三、等价关系、等价类的性质 [x]??，且[x]?A; 若xRy，则[x]=[y]; 若x，y?R，则[x]?[y]=?; ; PPT课件 4.5等价关系与偏序关系 四、商集的定义 设R是非空集合A上的等价关系，以R的不交的等价类为元素的 集合叫做A在R下的商集，记作A/R，即 A/R={[x]R|x?A}。 集合A={1,2,3,?,8},R={x,y|x,y?A ? x?y(mod 3)}，则 A在R下的商集是： A/R=｛{1,4,7}，{2,5,8}，{3,6}} PPT课件 4.2 关系的运算 关系的定义域、值域、域（定义4.8） 一、关系的基本运算 设R是二元关系。 R中所有有序对的第一元素构成的集合称为R的定义 域，记作domR，形式化表示为： domR={x|?y(x,y?R)} R中所有有序对的第二元素构成的集合称为R的值 域，记作ranR，形式化表示为： ranR={y|?x(x,y?R)} PPT课件 4.2 关系的运算 R的定义域和值域的并集称为R的域，记作fldR，形式化 表示为： fldR=domR ? ranR 例1：设R={1,2,1,3,2,4,4,3}，则 domR={1,2,4} ranR={2,3,4} fldR={1,2,3,4} PPT课件 4.2 关系的运算 例2：下列关系都是整数集Z上的关系，分别求出它们的 定义域和值域。 (1)R1={x,y|x,y?Z ? x=y} (2)R2={x,y|x,y?Z ? x*x+y*y=1} (3)R3={x,y|x,y?Z ? y=2x} (4)R4={x,y|x,y?Z ? |x|=|y|=3} PPT课件 4.2 关系的运算 关系的逆运算（定义4.9） 设R为二元关系，R的逆关系，简称R的逆，记作 ，其中 关系的合成运算（定义4.9） 设F，G为二元关系，F和G的合成记作F?G，其中 F?G={x,y|?z(xGz ? zFy)} PPT课件 4.2 关系的运算 例3：设F={3,3,6,2}，G={2,3}，则 F?G={2,3} ={3,3,2,6} G?F={6,3} 例4：设F={x,y|x,y?N ? y=x*x}， G={x,y