离散数学-二元关系和函数.ppt
《离散数学-二元关系和函数.ppt》由会员分享,可在线阅读,更多相关《离散数学-二元关系和函数.ppt(30页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、4.6 函数的定义与性质函数的定义与性质n函数的定义函数的定义函数定义函数定义从从A到到B的函数的函数函数的像函数的像n函数的性质函数的性质函数的单射、满射、双射性函数的单射、满射、双射性构造双射函数构造双射函数n应用实例:问题描述应用实例:问题描述1函数定义函数定义定义定义设设F 为二元关系为二元关系,若若 xdomF 都存在都存在唯一的唯一的yranF 使使xFy 成立成立,则称则称F 为为函数函数.对于函数对于函数F,如果有如果有xFy,则记作则记作y=F(x),并称并称y 为为F 在在x 的的值值.例例1F1=,F2=,F1是函数是函数,F2不是函数不是函数2函数相等函数相等定义定义设
2、设F,G为函数为函数,则则F=G F GG F如果两个函数如果两个函数F 和和G 相等相等,一定满足下面两个条件:一定满足下面两个条件:(1)domF=domG(2)xdomF=domG 都有都有F(x)=G(x)实例实例函数函数F(x)=(x2 1)/(x+1),G(x)=x 1不相等不相等,因为因为domF domG.3从从 A 到到B 的函数的函数定义定义设设A,B为集合为集合,如果如果f 为函数为函数domf=A ranf B,则称则称f 为为从从A到到B的函数的函数,记作记作f:AB.实例实例f:NN,f(x)=2x 是从是从N 到到N 的函数的函数 g:NN,g(x)=2也是从也是
3、从N 到到N 的函数的函数4B上上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=.5实例实例例例2设设A=1,2,3,B=a,b,求求BA.解解BA=f0,f1,f7,其中其中f0=,f1=,f2=,,f3=,f4=,,f5=,f6=,f7=,6函数的像函数的像定义定义设函数设函数f:AB,A1 A.A1在在f 下的像下的像:f(A1)=f(x)|xA1函数的像函数的像f(A)注意:函数值
4、注意:函数值f(x)B,而像而像f(A1)B.例例3 设设 f:NN,且且 令令A=0,1,B=2,那么有那么有f(A)=f(0,1)=f(0),f(1)=0,27函数的性质函数的性质定义定义设设f:AB,(1)若)若ranf=B,则称则称f:AB是是满射满射的的.(2)若)若 yranf 都存在唯一的都存在唯一的xA使得使得f(x)=y,则称则称f:AB是是单射单射的的.(3)若)若f:AB既是满射又是单射的既是满射又是单射的,则称则称f:AB是是双射双射的的f满射意味着:满射意味着:y B,都存在都存在x A使得使得 f(x)=y.f 单射意味着:单射意味着:f(x1)=f(x2)x1=x
5、28实例实例例例4判断下面函数是否为单射判断下面函数是否为单射,满射满射,双射的双射的,为什么为什么?(1)f:RR,f(x)=x2+2x 1(2)f:Z+R,f(x)=lnx,Z+为正整数集为正整数集(3)f:RZ,f(x)=x(4)f:RR,f(x)=2x+1(5)f:R+R+,f(x)=(x2+1)/x,其中其中R+为正实数集为正实数集.9解解(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
6、 满射满射,但不单射但不单射,例如例如f(1.5)=f(1.2)=1.(4)f:RR,f(x)=2x+1满射、单射、双射满射、单射、双射,因为它是单调的并且因为它是单调的并且ranf=R.(5)f:R+R+,f(x)=(x2+1)/x有极小值有极小值f(1)=2.该函数既不单射也不满射该函数既不单射也不满射.实例(续)实例(续)10构造从构造从A到到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=,
7、f7=,.令令f:AB,f()=f0,f(1)=f1,f(2)=f2,f(3)=f3,f(1,2)=f4,f(1,3)=f5,f(2,3)=f6,f(1,2,3)=f711实数区间之间构造双射实数区间之间构造双射构造方法:直线方程构造方法:直线方程例例6A=0,1B=1/4,1/2构造双射构造双射f:AB构造从构造从A到到B的双射函数(续)的双射函数(续)解解令令f:0,11/4,1/2 f(x)=(x+1)/412构造从构造从A到到B的双射函数(续)的双射函数(续)A A 与自然数集合之间构造双射与自然数集合之间构造双射方法:将方法:将A中元素排成有序图形,然后从第一个元素开始中元素排成有序
8、图形,然后从第一个元素开始按照次序与自然数对应按照次序与自然数对应例例7A=Z,B=N,构造双射,构造双射f:AB将将Z中元素以下列顺序排列并与中元素以下列顺序排列并与N中元素对应:中元素对应:Z:0 11 22 33N:0123456则这种对应所表示的函数是:则这种对应所表示的函数是:13常函数、恒等函数、单调函数常函数、恒等函数、单调函数 1.设设f:AB,若存在若存在cB 使得使得 xA 都有都有f(x)=c,则称则称f:AB是是常函数常函数.2.称称A 上的恒等关系上的恒等关系IA为为A 上的上的恒等函数恒等函数,对所有对所有的的xA 都有都有IA(x)=x.3.设设f:RR,如果对任
9、意的,如果对任意的x1,x2R,x1x2,就就有有f(x1)f(x2),则称则称f 为为单调递增单调递增的;如果对任的;如果对任意意的的x1,x2A,x1x2,就有就有f(x1)f(x2),则称则称f 为为严严格单调递增格单调递增的的.类似可以定义类似可以定义单调递减单调递减和和严格单调递减严格单调递减的函数的函数.14集合的特征函数集合的特征函数4.设设A 为集合为集合,A A,A的的特征函数特征函数 A:A0,1定义为定义为实例实例集合:集合:X=A,B,C,D,E,F,G,H,子集:子集:T=A,C,F,G,HT 的特征函数的特征函数 T:xABCDEFGH T(x)1010011115
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 二元关系 函数
限制150内