离散数学[]-.pptVIP

例4.5 下列关系都是整数集Z上的关系,分别求出它们的定义域和值域, (1)R1＝{x,y｜x,y∈Z∧x≤y}； (2)R2＝{x,y｜x,y∈Z∧x2+y2=1}； (3)R3＝{x,y｜x,y∈Z∧y＝2x}； (4)R4＝{x,y｜x,y∈Z∧? x?＝? y?=3}。 解 (1) domR1＝ranR1＝Z. (2) R2＝{0,1 ,0,－1,1,0,－1,0} domR2＝ranR2＝{0,1,－1}. (3) domR3＝Z ranR3＝{2z|z∈Z},即偶数集 (4) domR4＝ranR4＝{-3,3}. * 从A到B的某些关系R的图解方法(不是R的关系图) 1.用封闭的曲线表示R的定义域(或集合A)和值域(或集合B). 2.从x到y画一个箭头,如果x,y∈R * * 逆、右复合 定义4.9 设F,G为任意的关系,A为集合,则 (1)F的逆记作F-1 F-1＝{x,y|yFx}. (2)F与G的合成记作F?G, F?G,＝{x,y｜?z(xFz∧zGy)} * 例4.6 设F,G是N上的关系,其定义为 F＝{x,y｜x,y∈N∧y＝x2 } G＝{x,y｜x,y∈N∧y＝x＋1}。 解：1) 2)对任何的x∈N有 则 所以 * 由这个例子不难看出,合成运算不是可 交换的,即对任何关系F,G,一般说来 F?G≠G?F. * 关系的基本运算的主要性质 定理4.1 设F,G,H是任意的关系,则有 (3)(F?G) ?H＝F? (G?H) (4) 怎样证明? * 定理4.2 设F,G,H为任意的关系,则有 (1)F? (G?H)=F?G?F?H (2) (G?H)?F=G?F ? H?F (3) F? (G?H)? F?G?F?H (4) (G?H)?F ? G?F ? H?F 怎样证明? * 定义4.10 设R为A上的关系,n为自然数,则R的n次幂规定如下： * R0=IA R1=R0?R=R ? R0 * 在有穷集A上给定了关系R和自然数n,求Rn的方法: 1.集合运算:依据定义 2.关系矩阵:用关系矩阵M表示关系R,计算M·M,在两个矩阵相乘时,第i行第j列的元素rij满足下式(i,j=1,2,3,4) rij = ri1 · r1j + ri2 · r2j + ri3 · r3j + ri4 · r4j 这里的加法+是逻辑加,即 0+0=0,0+1=1,1+0=1,1+1=1 3.关系图:对R的关系图G中的任何一个结点x,考虑从x出发的长为n的路径,如果路径的终点是y,则在Rn的关系图中有一条从x到y的有向边. * 定理4.3 设R为A上的关系,m,n是自然数,则下面的等式成立. * * 4.3 关系的性质 设R是A上的关系,R的性质主要有以下5种： 自反性、 反自反性、 对称性、 反对称性 传递性。 * * 判断下列关系的性质 集合A上的全域关系: 自反的、对称的和传递的 恒等关系 自反的、对称的和传递的. 整除关系 自反的、反对称的和传递的 小于等于关系 自反的、反对称的和传递的 幂集上的包含关系 自反的、反对称的和传递的 * 设A为非空集合: 1.A上的关系可以是①自反的, ②反自反的,或者③既不是自反的也不是反自反的. 例如:Q={1,2,3},令 A={1,1,2,2,3,3,1,2} IQ ? R B={2,3,3,2} IQ?R=? C={1,1,2,2} IQ?R≠?且IQ?R * 2. A上的关系可以是①对称的, ②反对称的,或者③既是对称的又是反对称的, ④既不是对称的也不是反对称的. 例如:Q={1,2,3},令 A={1,2,2,1,3,3} R-1=R B={1,2,1,3} R ?R-1 ? IQ C={1,1} R ? IQ D= {1,2,2,1,1,3} R?R ?R是什么关系? * 例4.9 试判断图4.5中关系的性质。 * 设R1,R2是A上的关系,如果经过某种运算后仍保持原来的性质,则在相对应的格内划√,否则划×。 * 例：设R1,R2为A上的对称关系,证明R1∩R2也是A上的对称关系。 证明：对于任意的x,y x,y? R1∩R2 ? x,y ? R1 ?x,y ? R2 ? y,x ? R1 ?y,x ?R2 ? y,x? R1? R2 所以, R1?R2在A上是对