离散数学关系的运算2015.pptVIP

* 基本运算定义 定义域、值域、域 逆、合成、限制、像 基本运算的性质 幂运算 定义 求法 性质 4.2 关系的运算 * 一、关系的基本运算定义 1、定义域、值域 和 域 定义 设R是二元关系，由（x,y）∈R 的所有x 组成的集合 称为 R的前域，记为domR。即domR = { x | ?y (x,y?R) }。 使（x,y）∈R 的所有y组成的集合称为R的值域，记为ranR。 即ranR = { y | ?x (x,y?R) }。称domR ? ranR为R的域，记 为fldR 。即fldR = domR ? ranR 。 解：根据题意R1 ={(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)} 故前域dom R1 ={1,2,3}, 值域 ran R1 ={2,3,4}， fldR ={1,2,3,4}。 例1 设A={1，2，3，4}， R1是A上的二元关系，当a,b∈ A， 且ab 时， (a,b) ∈ R1 , 求R和它的前域，值域和域。 * 2、逆与合成 R?1 = {y,x | x,y?R} R°S = |x,z | ? y (x,y?R?y,z?S) } 例2 已知 R={1,2, 1,4, 2,2，2,3, }，