《离散数学》二元关系和函数.ppt
《《离散数学》二元关系和函数.ppt》由会员分享,可在线阅读,更多相关《《离散数学》二元关系和函数.ppt(35页珍藏版)》请在三一办公上搜索。
1、第4章 二元关系和函数,Relation,在高等数学中,函数是在实数集合上进行讨论的,其定义域是连续的。本章把函数概念予以推广 定义域为一般的集合,支持离散应用。把函数看作是一种特殊的关系:单值二元关系。,4.6函数的定义与性质,函数定义,定义 设 F 为二元关系,若 xdomF 都存在唯一的yranF 使 xFy 成立,则称 F 为函数.对于函数F,如果有 xFy,则记作 y=F(x),并称 y 为 F 在 x 的函数值.例1 F1=,F2=,F1是函数,F2不是函数,4.6函数的定义与性质,函数与关系的区别,从A到B的函数f与一般从A到B的二元关系R有如下区别:A的每一元素都必须是f的序偶
2、的第一坐标,即dom(f)=A;但dom(R)R若f(x)=y,则函数f在x处的值是惟一的,即(f(x)=y)(f(x)=z)(y=z),;但(xRy)(xRz)得不到y=z,4.6函数的定义与性质,例1 设A=1,2,3,4,5,B=6,7,8,9,10,分别确定下列各式中的f是否为由A到B的函数。(1)f=(1,8),(3,9),(4,10),(2,6),(5,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)解(1)能构成函数,因为符合函数的定义条件。(2)不能构成函数,因为A中的元素5没有像,
3、不满足像的存在性。(3)不能构成函数,因为A中的元素1有两个像7和9,不满足像的惟一性。,4.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函数的定义与性质,从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也是从
4、N 到 N 的函数,4.6函数的定义与性质,B上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函数的定义与性质,实例,例2 设 A=1,2,3,B=a,b,求BA.解 BA=f0,f1,f7,其中 f0=,f1=,f2=,,f3=,f4=,,f5=,f6=,f7=,4.6函数的定义与性质,函数的像,定义 设函数 f:AB,A1A.A1 在 f 下的像:f(A1)=f(x)|xA1 函数的像 f(A)=ranf 注意:函数值
5、f(x)B,而像 f(A1)B.例3 设 f:NN,且 令A=0,1,B=2,那么有 f(A)=f(0,1)=f(0),f(1)=0,2,4.6函数的定义与性质,函数的性质,定义 设 f:AB,(1)若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=x2,4.6函数的定义与性质,注意:由单射的定义可知,设X和Y是有限集合,若存在单射函数f:XY,则|
6、X|Y|。由满射的定义可知,设X和Y是有限集合,若存在满射函数f:XY,则|X|Y|。由双射的定义可知,设X和Y是有限集合,若存在双射函数f:XY,则|X|=|Y|。,4.6函数的定义与性质,实例,例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函数的定义与性质,解(1)f:RR,f(x)=x2+2x1 在x=1取得极大值0.既不单射也不满射.(2)f:Z+R,f(x
7、)=lnx 单调上升,是单射.但不满射,ranf=ln1,ln2,.(3)f:RZ,f(x)=x 满射,但不单射,例如 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.该函数既不单射也不满射.,实例(续),4.6函数的定义与性质,构造从A到B的双射函数,有穷集之间的构造例5 A=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=,
8、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)=f7,4.6函数的定义与性质,实数区间之间构造双射构造方法:直线方程例6 A=0,1 B=1/4,1/2构造双射 f:AB,构造从A到B的双射函数(续),解 令 f:0,11/4,1/2 f(x)=(x+1)/4,4.6函数的定义与性质,构造从A到B的双射函数(续),A 与自然数集合之间构造双射方法:将A中元素排成有序图形,然后从第一个元素开始 按照次序与自然数对应例7 A=Z,B=N,构造双射 f:AB将Z中元素以下列顺序排列并
9、与N中元素对应:Z:011 2233 N:0 1 2 3 4 5 6 则这种对应所表示的函数是:,4.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,x1 x2,就有 f(x1)f(x2),则称 f 为 严 格单调递增 的.类似可以定义单调递减 和严格单调递减 的函数.,4.6函数
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 二元关系 函数

链接地址:https://www.31ppt.com/p-4952893.html