离散数学集合的笛卡儿积与二元关系.ppt

*定义域、值域和域domR={x|?y(x,y?R)}ranR={y|?x(x,y?R)}fldR=domR?ranR例1R={1,2,1,3,2,4,4,3},则domR={1,2,4}ranR={2,3,4}fldR={1,2,3,4}关系的基本运算定义#2022*关系的基本运算定义（续）定义设F、G为任意的关系，A为集合，则逆与合成F?1={y,x|x,y?F}F°G=|x,y|?z(x,z?G?z,y?F)}例2R={1,2,2,3,1,4,2,2}S={1,1,1,3,2,3,3,2,3,3}R?1={2,1,3,2,4,1,2,2}S°R={1,3,2,2,2,3}R°S={1,2,1,4,3,2,3,3}*合成运算的图示方法利用图示（不是关系图）方法求合成R°S={1,2,1,4,3,2,3,3}S°R={1,3,2,2,2,3}R°SS°R*定义F在A上的限制F?A={x,y|xFy?x?A}A在F下的像F[A]=ran(F?A)实例R={1,2,2,3,1,4,2,2}R?{1}={1,2,1,4}R[{1}]={2,4}R??=?R[{1,2}]={2,3,4}注意：F?A?F,F[A]?ranF限制与像#2022*例.设F、G是N上的关系，其定义为F={x,y︱x,y?N?y=x2}G={x,y︱x,y?N?y=x+1}求G?1、F°G、G°F、F?{1,2}、F[{1,2}]解：G?1={y,x︱y,x?N?y=x+1}G?1={1,02,13,2,…x+1,x,…}对任何x?N有y=z2=(x+1)2，所以F°G={x,y︱x,y?N?y=(x+1)2}G°F={x,y︱x,y?N?y=x2+1}F?{1,2}={1,1,2,4}F[{1,2}]=ran(F?{1,2})={1,4}*例.设F={a,{a},{a},{a,{a}}},求F°F、F?{a}、F[{a}]解：F°F={a,{a,{a}}}F?{a}={a,{a}}A={a}F[A]=ran(F?A)=ran{a,{a}}={{a}}*第4章二元关系与函数集合的笛卡儿积与二元关系关系的运算关系的性质关系的闭包等价关系和偏序关系函数的定义和性质函数的复合和反函数*4.1集合的笛卡儿积和二元关系有序对笛卡儿积及其性质二元关系的定义二元关系的表示*有序对定义由两个元素x和y，按照一定的顺序组成的二元组称为有序对，记作x,y实例：平面直角坐标系中点的坐标3,?4有序对性质1）有序性x,y?y,x（当x?y时）2）x,y与u,v相等的充分必要条件是x,y=u,v?x=u?y=v例12,x+5=3y?4,y，求x,y.解3y?4=2,x+5=y?y=2,x=?3*有序n元组定义一个有序n(n?3)元组x1,x2,…,xn是一个有序对，其中第一个元素是一个有序n-1元组，即x1,x2,…,xn=x1,x2,…,xn-1,xn实例：空间直角坐标系中的坐标3，5，－6n维向量是有序n元组.当n=1时,x形式上可以看成有序1元组.*定义设A,B为集合，用A中元素为第一个元素，B中元素为第二个元素，构成有序对.所有这样的有序对组成的集合叫做A与B的笛卡儿积记作A?B，即A?B={x,y|x?A?y?B}例2A={1,