最新离散数学 函数精品ppt课件培训讲学_第1页
最新离散数学 函数精品ppt课件培训讲学_第2页
最新离散数学 函数精品ppt课件培训讲学_第3页
最新离散数学 函数精品ppt课件培训讲学_第4页
最新离散数学 函数精品ppt课件培训讲学_第5页
已阅读5页,还剩16页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、离散数学 函数下面下面哪些是哪些是R到到R的函数?的函数? f=|x,yRy= g=|x,yRx2+y2=4 h=|x,yRy= x2 r =|x,yRy=lgx v =|x,yRy= _ 1xx六六. . 函数的类型函数的类型 例子:例子:X1 Y。123ab。csX Y。123ab4。 。cgX1 Y1。123abd。chX Y。123ab4。 。cfRf=YRs=YRg YRh Y1一对一一对一一对一一对一函数的类型函数的类型1.满射的满射的:f:XY是函数,如果是函数,如果 ran f=Y,则称则称f 是是满射的满射的。2.入射的入射的:f:XY是函数,如果对于任何是函数,如果对于任何

2、x1,x2X, 如果如果 x1x2 有有f(x1)f(x2),(或者若或者若f(x1)=f(x2),则则x1=x2),则称则称f 是是入射的入射的,也称,也称f 是是单射的单射的,也称,也称f 是是一对一的一对一的。3.双射的双射的:f:XY是函数,如果是函数,如果 f 既是满射的,又是既是满射的,又是入射的,则称入射的,则称 f 是是双射的双射的,也称,也称f 是是一一对应的一一对应的。特别地:特别地:Y是单射;是单射; :是双射。是双射。 思考题思考题:如果:如果 f:XX是入射的函数,则必是满射的,所是入射的函数,则必是满射的,所以以 f 也是双射的。此命题在什么条件下成立吗?也是双射的

3、。此命题在什么条件下成立吗?5-2 5-2 函数的复合函数的复合 关系的复合:关系的复合: 设设R是从是从X到到Y的关系,的关系,S是从是从Y到到Z的关系,的关系,则则R和和S的复合关系记作的复合关系记作R S 。定义为:。定义为: R S =|x X z Zy(y Y R S)函数的复合函数的复合v定义:设定义:设 f:XY, g:WZ是函数是函数,若若f(X) W,则则 g f =|x X z Zy(y Y f g)称为称为g在在f的左边可复合。的左边可复合。定理:两个函数的复合是一个函数。定理:两个函数的复合是一个函数。v证明:设证明:设 f:XY, g:WZ是函数是函数,且且f(X)

4、W。v(1)对任意的)对任意的x X,因为,因为f是函数,故存在唯一是函数,故存在唯一的序偶的序偶,使得,使得y=f(x)成立成立,而而f(x) f(X) W,又因为又因为g是函数,故存在唯一的序偶是函数,故存在唯一的序偶,使,使得得z=g(y)成立,根据复合定义,成立,根据复合定义, g f,即即dom g f=X.v(2)假设)假设 g f且且 g f,由复合定,由复合定v义义存在存在y1 Y y2 Y,使得,使得v f g f g,由由于于f、g为函数,所以有,为函数,所以有,y1=y2,因而,因而z1=z2。由(由(1)、()、(2)得)得g f是是X到到Z的函数。的函数。函数的复合函

5、数的复合一一. . 定义定义: f:XY, g:YZ是函数是函数,则定义则定义 g f =|x X z Zy(y Y f g)则称则称 g f 为为f与与g的复合函数的复合函数(左复合左复合).结论结论: g f(x)=g(f(x)二二. . 复合函数的计算复合函数的计算 计算方法同复合关系的计算计算方法同复合关系的计算. 例例 f:XY, g:YZX=1,2,3 Y=1,2,3,4, Z=1,2,3,4,5, f= ,g= , 则则gf用关系图复合用关系图复合:三三. .函数复合的性质函数复合的性质定理定理1(满足可结合性)。(满足可结合性)。 f:XY, g:YZ, h:ZW 是函数是函数

6、,则则 (h g) f=h (g f)。3。2。1。3。2。1。4X Y Z。3。2。1。4。5。3。2。1。3。2。1。4。5X Zg ffg定理定理2. f:XY, g:YZ是两个函数是两个函数, 则则 如果如果f和和g是是 满满射的,则射的,则 g f 也是也是满满射的;射的; 如果如果f和和g是是入入射的,则射的,则 g f 也是也是入入射的;射的; 如果如果f和和g是是双双射的,则射的,则 g f 也是也是双双射的。射的。证明证明: 设设f和和g是是满射的,因满射的,因g f :XZ,任取任取zZ, 因因g:YZ是是满射的,所以存在满射的,所以存在yY,使得使得z=g(y), 又因又

7、因f:XY是是满射的,所以存在满射的,所以存在xX,使得使得y=f(x), 于是有于是有z=g(y)=g(f(x)= g f (x), 所以所以 g f 是是满射的。满射的。 设设f和和g是是入射的,因入射的,因g f :XZ,任取任取x1, x2X, x1x2,因因f:XY是是入射的,入射的,f(x1)f(x2) , 而而 f(x1) ,f(x2)Y,因因g:YZ是是入射的,入射的,g(f(x1)g(f(x2) 即即g f (x1) g f (x2)所以所以g f 也是入射的。也是入射的。 定理定理3 如果如果 g f 是是满满射的,则射的,则g是是 满满射的;射的;如果如果g f 是是入入

8、射的,则射的,则 f 是是入入射的;射的; 如果如果 g f 是是双双射的,则射的,则f是是入入射的射的和和g是是 满满射的。射的。定理定理4 f:XY是函数是函数, 则则 f IX= f 且且 IY f=f 。5-3 5-3 逆函数逆函数R是是A到到B的关系,其逆关系的关系,其逆关系RC是是B到到A的的关系。关系。 RC=| R f:XY fC:YX, 是否是函数?是否是函数?。3。2。1。c。b。a。3。2。1。c。b。af:X YfC:Y X定理定理1 若若f是是XY的双射,则的双射,则fC是是YX的函数。的函数。v证明:证明:(1)对任意的)对任意的yY,由,由f是双射,得是双射,得f

9、是满是满射,所以射,所以ran f=Y 故故 dom fC=ran f=Y (2)对任意的)对任意的yY,若存在,若存在x1X, x2X使使 fC 且且 fC 则则 f 且且 f 由于由于f是单射,有是单射,有x1=x2。 由(由(1)、()、(2),), fC是是YX的函数。的函数。逆函数的定义逆函数的定义v定义:设定义:设f是是XY的双射函数,则称的双射函数,则称fC:YX为为f的逆函的逆函数,并记数,并记f-1。v定理:定理: f-1是是YX的双射函数。的双射函数。v证明:由于证明:由于ran f-1=dom f=X, 所以,所以, f-1是满射。是满射。 对任意对任意xX,若存在,若存

10、在y1, y2 Y,使得使得 f-1 且且 f-1 则则 f 且且 f,由于由于f是函数,所以是函数,所以y1= y2,即,即f-1是单射。是单射。因此,因此, f-1是双射。是双射。二二. .性质性质1.定理定理1 设设f:XY是双射的函数,则是双射的函数,则(f-1)-1= f 。 2.定理定理2 设设f:XY是双射的函数,则有是双射的函数,则有 f-1 f= IX 且且 f f-1 = IY 。证明证明:先证先证明明定义域、陪域相等。定义域、陪域相等。 因为因为 f:XY是双射的,是双射的,f-1:YX也是双射的也是双射的,所以所以 f-1 f :XX , IX:XX可见可见f-1 f

11、与与IX 具有相同的定义域和陪域。具有相同的定义域和陪域。 再证再证它们的对应规律相同:它们的对应规律相同: xX,因,因f:XY, y Y, 使得使得 y=f(x),又又f 可逆,故可逆,故 f-1(y)=x,于是,于是 f-1 f (x)=f-1(f(x)=f-1(y)=x= IX (x) 同理可证同理可证 f f-1 = IY 。 3.定理定理3 令令 f:XY, g:YX是两个函数是两个函数, 如果如果g f= IX 且且 f g = IY ,则则 g= f-1 。证明证明:证:证f和和g都可逆。因为都可逆。因为g f= IX , IX是双射的,是双射的,由关系复合性质由关系复合性质3得,得, f是是入入射的射的和和g是是 满满射的。射的。同理由同理由 f g = IY,得,得g是是入入射的射的和和f 是是 满满射的。所射的。所以以f和和g都可逆。都可逆。 显然显然f-1和和g具有相同的定义域和陪域。具有相同的定义域和陪域。X Y。123ab。cf。123Xf-1。123X。123XIX证明它们的对应规律相同。证明它们的对应规律相同。 任取任取y Y, f-1(y)= f-1 IY (y) = f-1 (f g) (y

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论