第四章 二元关系和函数.pptVIP

4.1 集合的笛卡儿积与二元关系 4.2 关系的运算 4.3 关系的性质 4.4 关系的闭包 4.5 等价关系和偏序关系 4.6 函数的定义和性质 4.7 函数的复合和反函数 二元关系(Binary Relation) 所谓二元关系就是在集合中两个元素之间的某种相关性. 例如,甲、乙、丙三个人进行乒乓球比赛,如果任何两个人之间都要赛一场,那么共要赛三场。假设三场比赛的结果是乙胜甲、甲胜丙、乙胜丙,这个结果可以记作 {乙,甲,甲,丙,乙,丙},其中x,y表示x胜y。它表示了集合{甲,乙,丙}中元素之间的一种胜负关系. 常用的关系 例如: 设A为实数集R的某个子集,则A上的小于等于关系定义为 LA＝{x,y｜x,y∈A∧x≤y｝ 设B为正整数集Z＋的某个子集,则B上的整除关系定义为 DB＝{x,y｜x,y∈B∧x?y}. 例如: A={4,0.5,-1},B={1,2,3,6},则 LA＝{-1,-1,-1,0.5,-1,4, 0.5,0.5,0.5,4,4,4} DB＝{1,1,1,2,1,3,1,6,2,2, 2,6,3,3,3,6,6,6}. 设V是顶点的集合,E是有向边的集合,令 V＝A＝{x1,x2,···,xn},如果xiRxj,则有向边xi,xj∈E.那么 G＝V,E就是R的关系图。 4.2 关系的运算 关系R的定义域,值域和域 关系F的逆 关系F与G的合成 关系F在集合A上的限制 集合A在关系F下的象 关系R的n次幂 定义4.8 关系R的定义域 domR,值域ranR和域fldR分别是 domR＝{x | ?y(x,y∈R)} ranR＝{y | ?x(x,y∈R)} fldR＝domR∪ranR。 domR就是R的所有有序对的第一个元素构成的集合,ranR就是R的所有有序对的第二个元素构成的集合. 【例】实数集R上的关系 S={x,y|x,y∈R∧x2+y2=1}, domS=ranS=fldS=[-1,1]. 例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(xGz∧zFy)} (3)F在A上的限制记作 F A F A＝{x,y|xFy∧x∈A}. (4)A在F下的象记作F[A], F[A]＝ran (F A) 关系的基本运算的主要性质 定理4.1 设F,G,H是任意的关系,则有 （1）(F-1)-1＝F； （2）domF-1＝ranF， ranF-1＝domF； （3）(F?G)?H＝F?(G?H)； （4）(F?G)-1＝G-1?F-1. 定理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次幂规定如下：（1）R0={x,x|x∈A}；（2）Rn= Rn-1?R, n≥1. 例4.8 设A={a,b,c,d},R={a,b,b,a,b,c,c,d},求R0、 R1、 R2、 R3、 R4、 R5.解 在有穷集A上给定了关系R和自然数n,求Rn的方法: 1.集合运算:依据定义运算 2.关系