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

第四章 二元关系和函数 本章主要内容: 集合的笛卡尔积与二元关系 关系的运算 关系的性质 关系的闭包 等价关系和偏序关系 函数的定义和性质 函数的复合和反函数 4.1 集合的笛卡儿积与二元关系 定义4.1 由两个元素x和y(允许x=y)按一定的顺序排列成的二元组叫做一个有序对(也称序偶),记作x,y ,其中x是它的第一元素,y是它的第二元素。 平面直角坐标系中点的坐标就是有序对,例如,1,－1 ,2,0,(1,1), (－1,1) ,…都代表坐标系中不同的点。 定义4.2 一个有序n元组(n≥3)是一个有序对,其中第一个元素是一个有序n－1元组,一个有序n元组记作x1,x2,…, xn,即 x1,x2,…, xn＝ x1,x2,…, xn-1, xn 例如,空间直角坐标系中点的坐标 1,－1,3,2,4.5,0等 都是有序3元组。 n维空间中点的坐标或n维向量都是有序n元组。 二元关系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的关系图。 设A＝{x1,x2,···,xn},R是A上的关系, 则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是任意的关系,则有 (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?