《离散数学函数》PPT课件.ppt
《《离散数学函数》PPT课件.ppt》由会员分享,可在线阅读,更多相关《《离散数学函数》PPT课件.ppt(20页珍藏版)》请在三一办公上搜索。
1、5-1 函数的基本概念,一.概念定义:X与Y集合,f是从X到Y的关系,如果任何xX,都存在唯一yY,使得f,则称f是从X到Y的函数,(变换、映射),记作f:X Y,或X Y.如果f:XX是函数,也称f是X上的函数.下面给出A=1,2,3上几个关系,哪些是A到A的函数?,下面哪些是R到R的函数?f=|x,yRy=g=|x,yRx2+y2=4 h=|x,yRy=x2 r=|x,yRy=lgx v=|x,yRy=,2.定义域、值域和陪域(共域),设f:XY,f的定义域(domain),记作dom f,或Df 即 Df=dom f=x|xXy(yYf)=X f的值域(range):记作ran f,或R
2、f 即或f(X)Rf=ran f=f(X)=y|yYx(xXf)f的陪域(codomain):即是Y(称之为f的陪域)。,二.函数的表示方法 有 枚举法、关系图、关系矩阵、谓词描述法。三.从X到Y的函数的集合YX:YX=f|f:XY YX:它是由所有的从X到Y函数构成的集合例 X=1,2,3 Y=a,b 求所有从X到Y函数结论:若X、Y是有限集合,且|X|=m,|Y|=n,则|YX|=|Y|X|=nm。从X到Y的关系=|P(X Y)|=2nm.规定:从到的函数只有f=。从到Y的函数只有f=。若X,则从X到的函数不存在。,四.特殊函数,1.常值函数:函数f:XY,如果y0Y,使得对xX,有f(x
3、)=y0,即ran f=y0,称f是常值函数。2.恒等函数:恒等关系IX是X到X函数,即IX:XX,称之为恒等函数。显然对于xX,有 IX(x)=x。五.两个函数相等 设有两个函数f:AB g:AB,f=g 当且仅当 对任何xA,有f(x)=g(x)。,六.函数的类型 例子:,一对一,一对一,函数的类型1.满射的:f:XY是函数,如果 ran f=Y,则称f 是满射的。2.入射的:f:XY是函数,如果对于任何x1,x2X,如果 x1x2 有f(x1)f(x2),(或者若f(x1)=f(x2),则x1=x2),则称f 是入射的,也称f 是单射的,也称f 是一对一的。3.双射的:f:XY是函数,如
4、果 f 既是满射的,又是入射的,则称 f 是双射的,也称f 是一一对应的。特别地:Y是单射;:是双射。思考题:如果 f:XX是入射的函数,则必是满射的,所以 f 也是双射的。此命题在什么条件下成立吗?,5-2 函数的复合,关系的复合:设R是从X到Y的关系,S是从Y到Z的关系,则R和S的复合关系记作R S。定义为:R S=|xXzZy(yY RS),函数的复合,定义:设 f:XY,g:WZ是函数,若f(X)W,则 g f=|xXzZy(yY fg)称为g在f的左边可复合。,定理:两个函数的复合是一个函数。,证明:设 f:XY,g:WZ是函数,且f(X)W。(1)对任意的xX,因为f是函数,故存在
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学函数 离散数学 函数 PPT 课件
![提示](https://www.31ppt.com/images/bang_tan.gif)
链接地址:https://www.31ppt.com/p-5563734.html