离散数学二元关系和函数精选课件.ppt
《离散数学二元关系和函数精选课件.ppt》由会员分享,可在线阅读,更多相关《离散数学二元关系和函数精选课件.ppt(36页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、关于离散数学二元关系和函数第一页,本课件共有36页 在高等数学中,函数是在实数集合上进行讨论的,在高等数学中,函数是在实数集合上进行讨论的,其定义域是连续的。其定义域是连续的。本章把函数概念予以推广本章把函数概念予以推广 定义域为一般的集合,支持离散应用。定义域为一般的集合,支持离散应用。把函数看作是一种特殊的关系:单值二元关系。把函数看作是一种特殊的关系:单值二元关系。4.6函函数数的的定定义义与与性性质质第二页,本课件共有36页函数定义函数定义定义定义设设F 为二元关系为二元关系,若若 xdomF 都存在唯一的都存在唯一的yranF 使使xFy 成立成立,则称则称F 为函数为函数.对于函数
2、对于函数F,如果有如果有xFy,则记作则记作y=F(x),并称并称y 为为F 在在x 的函数值的函数值.例例1F1=,F2=,F1是函数是函数,F2不是函数不是函数4.6函函数数的的定定义义与与性性质质第三页,本课件共有36页函数与关系的区别函数与关系的区别从从A A到到B B的函数的函数f f与一般从与一般从A A到到B B的二元关系的二元关系R R有如有如下区别:下区别:A A的每一元素都必须是的每一元素都必须是f f的序偶的第一坐的序偶的第一坐标,即标,即dom(f)=Adom(f)=A;但;但dom(R)dom(R)R R若若f(x)=yf(x)=y,则则函函数数f f在在x x处处的
3、的值值是是惟惟一一的的,即即(f(x)=y)f(x)=y)(f(x)=z)(f(x)=z)(y=z)(y=z),;但但(xRy)(xRy)(xRz)(xRz)得不到得不到y=zy=z4.6函函数数的的定定义义与与性性质质第四页,本课件共有36页例例1 1 设设A=1,2,3,4,5A=1,2,3,4,5,B=6,7,8,9,10B=6,7,8,9,10,分别确,分别确定下列各式中的定下列各式中的f f是否为由是否为由A A到到B B的函数。的函数。(1)f=(1,8),(3,9),(4,10),(2,6),(5,9)(1)f=(1,8),(3,9),(4,10),(2,6),(5,9)(2)f
4、=(1,9),(3,10),(2,6),(4,9)(2)f=(1,9),(3,10),(2,6),(4,9)(3)f=(1,7),(2,6),(4,5),(1,9),(5,10),(3,9)(3)f=(1,7),(2,6),(4,5),(1,9),(5,10),(3,9)解解(1 1)能构成函数,因)能构成函数,因为为符合函数的定符合函数的定义义条件。条件。(2 2)不不能能构构成成函函数数,因因为为A A中中的的元元素素5 5没没有有像像,不不满满足像的存在性。足像的存在性。(3 3)不能构成函数,因)不能构成函数,因为为A A中的元素中的元素1 1有两个像有两个像7 7和和9 9,不,不满
5、满足像的惟一性。足像的惟一性。4.6函函数数的的定定义义与与性性质质第五页,本课件共有36页函数相等函数相等定义定义设设F,G为函数为函数,则则F=G F GG F一般使用下面两个条件一般使用下面两个条件:(1)domF=domG(2)xdomF=domG 都有都有F(x)=G(x)实例实例函数函数F(x)=(x2 1)/(x+1),G(x)=x 1不相等不相等,因为因为domF domG.4.6函函数数的的定定义义与与性性质质第六页,本课件共有36页从从A A到到B B的函数的函数定义定义设设A,B为集合为集合,如果如果f 为函数为函数domf=A ranf B,则称则称f 为为从从A到到B
6、的函数的函数,记作记作f:AB.实例实例f:NN,f(x)=2x 是从是从N 到到N 的函数的函数 g:NN,g(x)=2也是从也是从N 到到N 的函数的函数4.6函函数数的的定定义义与与性性质质第七页,本课件共有36页B B上上A A定义定义所有从所有从A 到到B 的函数的集合记作的函数的集合记作BA,读作读作“B上上A”,符号化表示为,符号化表示为BA=f|f:AB 计数计数:|A|=m,|B|=n,且且m,n0,|BA|=nm.A=,则则BA=B=.A且且B=,则则BA=A=.4.6函函数数的的定定义义与与性性质质第八页,本课件共有36页实例实例例例2设设A=1,2,3,B=a,b,求求
7、BA.解解BA=f0,f1,f7,其中其中f0=,f1=,f2=,,f3=,f4=,,f5=,f6=,f7=,4.6函函数数的的定定义义与与性性质质第九页,本课件共有36页函数的像函数的像定义定义设函数设函数f:AB,A1 A.A1在在f 下的像下的像:f(A1)=f(x)|xA1函数的像函数的像f(A)=ranf 注意:注意:函数值函数值f(x)B,而像而像f(A1)B.例例3 设设 f:NN,且且 令令A=0,1,B=2,那么有那么有f(A)=f(0,1)=f(0),f(1)=0,24.6函函数数的的定定义义与与性性质质第十页,本课件共有36页函数的性质函数的性质定义定义设设f:AB,(1
8、)若)若ranf=B,则称则称f:AB是是满射满射的的.(2)若)若任意任意x1,x2 A而且不相等,都有而且不相等,都有f(x1)与与f(x2)不相等不相等,则称则称f:AB是是单射单射的的.(3)若)若f:AB既是满射又是单射的既是满射又是单射的,则称则称f:AB是是双射双射的的f满射意味着:满射意味着:y B,都存在都存在x使得使得 f(x)=y.f 单射意味着:单射意味着:f(x1)=f(x2)x1=x24.6函函数数的的定定义义与与性性质质第十一页,本课件共有36页注意:注意:由单射的定义可知,设由单射的定义可知,设X X和和Y Y是有限是有限集合,若存在单射函数集合,若存在单射函数
9、f:XYf:XY,则则|X|Y|X|Y|。由满射的定义可知,设由满射的定义可知,设X X和和Y Y是有限集是有限集合,若存在满射函数合,若存在满射函数f:XYf:XY,则则|X|Y|X|Y|。由由双双射射的的定定义义可可知知,设设X X和和Y Y是是有有限限集集合合,若若存存在在双双射射函函数数f:XYf:XY,则则|X|=|Y|X|=|Y|。4.6函函数数的的定定义义与与性性质质第十二页,本课件共有36页实例实例例例4判断下面函数是否为单射判断下面函数是否为单射,满射满射,双射的双射的,为什么为什么?(1)f:RR,f(x)=x2+2x 1(2)f:Z+R,f(x)=lnx,Z+为正整数集为
10、正整数集(3)f:RZ,f(x)=x(4)f:RR,f(x)=2x+1(5)f:R+R+,f(x)=(x2+1)/x,其中其中R+为正实数集为正实数集.4.6函函数数的的定定义义与与性性质质第十三页,本课件共有36页解解(1)f:RR,f(x)=x2+2x 1在在x=1取得极大值取得极大值0.既不单射也不满射既不单射也不满射.(2)f:Z+R,f(x)=lnx单调上升单调上升,是单射是单射.但不满射但不满射,ranf=ln1,ln2,.(3)f:RZ,f(x)=x 满射满射,但不单射但不单射,例如例如f(1.5)=f(1.2)=1.(4)f:RR,f(x)=2x+1满射、单射、双射满射、单射、
11、双射,因为它是单调的并且因为它是单调的并且ranf=R.(5)f:R+R+,f(x)=(x2+1)/x有极小值有极小值f(1)=2.该函数既不单射也不满射该函数既不单射也不满射.实例(续)实例(续)4.6函函数数的的定定义义与与性性质质第十四页,本课件共有36页构造从构造从A A到到B B的双射函数的双射函数有穷集之间的构造有穷集之间的构造例例5A=P(1,2,3),B=0,11,2,3解解 A=,1,2,3,1,2,1,3,2,3,1,2,3.B=f0,f1,f7,其中其中f0=,f1=,f2=,f3=,f4=,f5=,f6=,f7=,.令令f:AB,f()=f0,f(1)=f1,f(2)=
12、f2,f(3)=f3,f(1,2)=f4,f(1,3)=f5,f(2,3)=f6,f(1,2,3)=f74.6函函数数的的定定义义与与性性质质第十五页,本课件共有36页实数区间之间构造双射实数区间之间构造双射构造方法:直线方程构造方法:直线方程例例6A=0,1B=1/4,1/2构造双射构造双射f:AB构造从构造从A A到到B B的双射函数(续)的双射函数(续)解解令令f:0,11/4,1/2 f(x)=(x+1)/44.6函函数数的的定定义义与与性性质质第十六页,本课件共有36页构造从构造从A A到到B B的双射函数(续)的双射函数(续)A A 与自然数集合之间构造双射与自然数集合之间构造双射
13、方法:将方法:将A中元素排成有序图形,然后从第一个元素开始中元素排成有序图形,然后从第一个元素开始按照次序与自然数对应按照次序与自然数对应例例7A=Z,B=N,构造双射,构造双射f:AB将将Z中元素以下列顺序排列并与中元素以下列顺序排列并与N中元素对应:中元素对应:Z:0 11 22 33N:0123456则这种对应所表示的函数是则这种对应所表示的函数是:4.6函函数数的的定定义义与与性性质质第十七页,本课件共有36页常函数、恒等函数、单调函数常函数、恒等函数、单调函数 1.设设f:AB,若存在若存在cB 使得使得 xA 都有都有f(x)=c,则称则称f:AB是是常函数常函数.2.称称A 上的
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 二元关系 函数 精选 课件
限制150内