离散数学二元关系与函数.ppt
《离散数学二元关系与函数.ppt》由会员分享,可在线阅读,更多相关《离散数学二元关系与函数.ppt(36页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、关于离散数学二元关系和函数第一张,PPT共三十六页,创作于2022年6月 在高等数学中,函数是在实数集合上进行讨论的,在高等数学中,函数是在实数集合上进行讨论的,其定义域是连续的。其定义域是连续的。本章把函数概念予以推广本章把函数概念予以推广 定义域为一般的集合,支持离散应用。定义域为一般的集合,支持离散应用。把函数看作是一种特殊的关系:单值二元关系。把函数看作是一种特殊的关系:单值二元关系。4.6函数的定义与性质第二张,PPT共三十六页,创作于2022年6月函数定义函数定义定义设F 为二元关系,若xdomF 都存在唯一的yranF 使xFy 成立,则称F 为函数.对于函数F,如果有xFy,则
2、记作y=F(x),并称y 为F 在x 的函数值.例1F1=,F2=,F1是函数,F2不是函数4.6函数的定义与性质第三张,PPT共三十六页,创作于2022年6月函数与关系的区别函数与关系的区别从从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处处的的值值是是惟惟一一的的,即即(f(x)=y)f(x)=y)(f(x
3、)=z)(f(x)=z)(y=z)(y=z),;但但(xRy)(xRy)(xRz)(xRz)得不到得不到y=zy=z4.6函数的定义与性质第四张,PPT共三十六页,创作于2022年6月例例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=(1,9),(3,10),(2,6),(4,9)(2)f=
4、(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,不,不满满足像的惟一性。足像的惟一性。4.6函数的定义与性质第五张
5、,PPT共三十六页,创作于2022年6月函数相等函数相等定义设F,G为函数,则F=G FGGF一般使用下面两个条件:(1)domF=domG(2)xdomF=domG 都有F(x)=G(x)实例函数F(x)=(x21)/(x+1),G(x)=x1不相等,因为domFdomG.4.6函数的定义与性质第六张,PPT共三十六页,创作于2022年6月从从A A到到B 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也是从N 到N 的函数4.6函数的定义与性质第七
6、张,PPT共三十六页,创作于2022年6月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函数的定义与性质第八张,PPT共三十六页,创作于2022年6月实例实例例2设A=1,2,3,B=a,b,求BA.解BA=f0,f1,f7,其中f0=,f1=,f2=,,f3=,f4=,,f5=,f6=,f7=,4.6函数的定义与性质第九张,PPT共三十六页,创作于2022年6月函数的像函数的像定义设函数f:AB,A1A.A1在f 下的像:f(
7、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函数的定义与性质第十张,PPT共三十六页,创作于2022年6月函数的性质函数的性质定义设f:AB,(1)若ranf=B,则称f:AB是满射的.(2)若任意x1,x2A而且不相等,都有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函数
8、的定义与性质第十一张,PPT共三十六页,创作于2022年6月注意:注意:由单射的定义可知,设由单射的定义可知,设X X和和Y Y是有限集合,是有限集合,若存在单射函数若存在单射函数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函数的定义与性质第十二张,PPT共三十六页,创作于2022年6月实例
9、实例例4判断下面函数是否为单射,满射,双射的,为什么?(1)f:RR,f(x)=x2+2x1(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+为正实数集.4.6函数的定义与性质第十三张,PPT共三十六页,创作于2022年6月解(1)f:RR,f(x)=x2+2x1在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
10、:RR,f(x)=2x+1满射、单射、双射,因为它是单调的并且ranf=R.(5)f:R+R+,f(x)=(x2+1)/x有极小值f(1)=2.该函数既不单射也不满射.实例(续)实例(续)4.6函数的定义与性质第十四张,PPT共三十六页,创作于2022年6月构造从构造从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)=f2,f(3)=f3,f(1,
11、2)=f4,f(1,3)=f5,f(2,3)=f6,f(1,2,3)=f74.6函数的定义与性质第十五张,PPT共三十六页,创作于2022年6月实数区间之间构造双射构造方法:直线方程例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函数的定义与性质第十六张,PPT共三十六页,创作于2022年6月构造从构造从A A到到B B的双射函数(续)的双射函数(续)A 与自然数集合之间构造双射方法:将A中元素排成有序图形,然后从第一个元素开始按照次序与自然数对应例7A=Z,B=N,构造双射
12、f:AB将Z中元素以下列顺序排列并与N中元素对应:Z:0112233N:0123456则这种对应所表示的函数是:4.6函数的定义与性质第十七张,PPT共三十六页,创作于2022年6月常函数、恒等函数、单调函数常函数、恒等函数、单调函数 1.设f:AB,若存在cB 使得xA 都有f(x)=c,则称f:AB是常函数.2.称A 上的恒等关系IA为A 上的恒等函数,对所有的xA 都有IA(x)=x.3.设f:RR,如果对任意的x1,x2R,x1x2,就有f(x1)f(x2),则称f 为单调递增的;如果对任意的x1,x2A,x1x2,就有f(x1)f(x2),则称f 为严格单调递增的.类似可以定义单调递
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 二元关系 函数
限制150内