离散数学第3章函数.ppt
《离散数学第3章函数.ppt》由会员分享,可在线阅读,更多相关《离散数学第3章函数.ppt(38页珍藏版)》请在三一办公上搜索。
1、1,离散数学,西安交通大学电子与信息工程学院计算机系,2,离散数学,第三章 函数 1.函数的基本概念 2.函数的复合,3,离散数学,第三章 函数(function)1.函数基本概念 定义1.函数(映射(map)、变换(transformation)函数是后者唯一的关系。即 f是由X到Y的函数,记为f:XY f XY(xX)(yY)(zY)(x,y)f(x,z)f y=z)。注:函数概念主要是限制了关系概念中的一对多;但允许多对一;,f,4,离散数学,5,离散数学,6,离散数学,与函数概念关联着的一些概念(1)若(x,y)f,则函数惯用的记法是y=f(x);称x为自变量,称y为因变量。(2)此定
2、义可容纳多值函数 f:XY,f(x)=y1,y2,yk 其修改为 f:X2Y,f(x)=y1,y2,yk2Y。(3)定义域(domain):称f的前域为f的定义域。即 D(f)=x:xX(yY)(x,y)f)=x:xX(yY)(y=f(x)(4)值域(range):称f的后域为f的值域。即 R(f)=y:yY(xX)(x,y)f)=y:yY(xX)(y=f(x)。,7,离散数学,(5)象(image):子集A X的象定义为 f(A)=y:yY(xA)(x,y)f)=y:yY(xA)(y=f(x)。,f,8,离散数学,(6)逆象(inverse image):子集BY的逆象定义为 f-1(B)=
3、x:xX(yB)(x,y)f)=x:xX(yB)(y=f(x);特别地,单元素yY的逆象是 f-1(y)=x:xX(x,y)f=x:xXf(x)=y。,9,离散数学,(7)全函数(full function):处处有定义的函数。即 D(f)=X(或者f-1(Y)=X)今后,在本课程中,除非有特别声明,我们一概研究全函数。(8)偏函数(partial function):部分有定义的函数。即 D(f)X(或者f-1(Y)X)。,10,离散数学,例1.截痕函数(cross function):f:X2XY,f(x)=xY。例2.计算机是一个函数。即 计算机:输入空间输出空间;编译是一个函数。即 编
4、译:源程序目标程序。,11,离散数学,例3.绝对值函数(absolute value function)f=(x,|x|):xR(这里R是实数集)或者 f:RR+0,f(x)=|x|(这里R+=x:xRx0是正实数集),于是 D(f)=R,R(f)=R+0;绝对值函数可以拆成两个函数的并。即 f=f1 f 2,这里 f1=(x,x):xR x0,D(f1)=R+0,R(f1)=R+0;f2=(x,-x):xR x0,D(f2)=R-,R(f2)=R+;(这里R-=x:xRx 0是负实数集),于是;,12,离散数学,D(f)=D(f1)D(f2)=R,R(f)=R(f1)R(f2)=R+0;绝对
5、值函数也可采用下面分段定义的形式。即。例4.后继函数(successor function)后继函数也称为Peano函数。设(X,)是一全序集,并且每个元素的后继存在,即(xX)(yX)(x+=y),则关系 P=(x,y):xXyXx+=y是一函数,即所谓的后继函数。记作,13,离散数学,s:XX,对任何xX s(x)=x+=x+1这里加1表示后继,并非都是普通的算术加1。例如,若就是普通的小于等于全序,则当X=I(整数集)时,s(-6)=-6+1=-5,s(1)=1+1=2,相当于普通算术的加1;当X=E(偶整数集)时,s(-6)=-6+1=-4,s(2)=2+1=4,相当于普通算术的加2;
6、当X=n:n I3n(3倍数整数集)时,s(-3)=-3+1=0,s(9)=9+1=12,相当于普通算术的加3。例5.第一章2定义2定义的集合的并运算是一函数。即 f(2X 2X)2X,f=(x,y),z):x,y,z 2X z=x y,14,离散数学,这里(x,y)是前者,z是后者;或者 f:2X 2X 2X,f(x,y)=z=x y,这里(x,y)是自变量,z是因变量;因此 f=。例6.函数未必都有统一的表达式。不象连续函数那样大多都有统一的表达式,离散函数大多都没有统一的表达式。一种定义离散函数的方式是采用下面的分段定义形式。即 f:N N。,15,离散数学,例7.函数未必都很复杂。一些
7、简单的函数可以逐点来定义。g:1,2,3 A,B,C g(1)=A,g(2)=C,g(3)=C其函数映射可用图形表示如下:例8.投影函数(projection function)uni:X1 X2 Xn Xi uni(x1,x2,xn)=xi(i=1,2,n),16,离散数学,定义2.函数的相等 函数的相等是逐点相等。即 设f,g是由X到Y的两个函数,f,g:XY,则 f=g(xX)(f(x)=g(x)。定义3.运算(operation)对于任何自然数n1,n元运算f是一个从n维叉积Xn到X的函数。即 f:Xn X。一般说来,运算具有以下两个特点:(1)定义较一般函数特殊;(2)易可操作性;特
8、别地,一元运算f:XX;二元运算f:X XX。,17,离散数学,例9.集合的补运算:2X 2X是一元运算;集合的交,并运算,:2X 2X 2X是二元运算。关于运算,我们主要考虑其封闭性。n元运算f的封闭性:对于任何n个元素x1,x2,xn,x1,x2,xnX f(x1,x2,xn)X,或者(x1,x2,xn)Xn f(x1,x2,xn)X。,18,离散数学,例10.集合的特征函数:对于任何集合AX,我们定义A的特征函数 A:X0,1 如下 A(x)=于是我们有 A(x)=1-A(x)AB(x)=A(x).B(x)AB(x)=A(x)+B(x)-AB(x)AB(xX)(A(x)B(x)A=B(x
9、X)(A(x)=B(x)A=(xX)(A(x)=0)A=X(xX)(A(x)=1)。,19,离散数学,例11.单位函数或幺函数(identity function):幺函数即是幺关系。用函数的记法,即是IX:XX 对任何xX,IX(x)=x。显然D(IX)=R(IX)=X。,20,离散数学,定义4.单射满射双射(injection,surjection,bijection)设 f 是从X到Y的函数,即 f:XY。则我们称(1)f是单射(内射)函数(x1X)(x2X)(x1 x2 f(x1)f(x2)(x1X)(x2X)(f(x1)=f(x2)x1=x2);(2)f是满射函数(yY)(xX)(f
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 函数

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