离散数学PPT电子教案-第08章_函数.ppt
《离散数学PPT电子教案-第08章_函数.ppt》由会员分享,可在线阅读,更多相关《离散数学PPT电子教案-第08章_函数.ppt(38页珍藏版)》请在三一办公上搜索。
1、离 散 数 学,2023年2月10日星期五,2023/2/10,第三篇 二元关系,第8章 函数,2023/2/10,8.0 内容提要,2023/2/10,8.1 本章学习要求,2023/2/10,8.2 函数,函数也叫映射、变换或对应。函数是数学的一个基本概念。这里将高等数学中函数的概念推广,将函数看作是一种特殊的二元关系。函数的概念在日常生活和计算机科学中非常重要。如各种高级程序语言中使用了大量的函数。实际上,计算机的任何输出都可看成是某些输入的函数。,2023/2/10,8.2.1函数的定义,定义8.2.1 设f是集合A到B的关系,如果对每个xA,都存在惟一的yB,使得f,则称关系f为A到
2、B的函数(或映射、变换),记为f:AB。A为函数f的定义域,记为domf=A;f(A)为函数f的值域,记为ranf。函数定义的示意图见图8.2.1。,特殊二元关系,2023/2/10,结论,(1)f y=f(x);(2)f f y=z;(3)|f|=|A|;(4)f(x)表示一个变值,f代表一个集合,因此ff(x).(5)如果关系f具备下列两种情况之一,那么f就不是函数:存在元素aA,在B中没有象;存在元素aA,有两个及两个以上的象。,2023/2/10,例8.2.1,设A=1,2,3,4,B=a,b,c,d,试判断下列关系哪些是函数。如果是函数,请写出它的值域。(1)f1=,;(2)f2=,
3、;(3)f3=,;(4)f4=,。答案:ranf1=a,c,d;ranf3=a,b,c,d;,2023/2/10,例8.2.3,设A=a,b,B=1,2,请分别写出A到B的不同关系和不同函数。解 因为|A|=2,|B|=2,所以|AB|=|A|B|=4,即AB=,,此时从A到B的不同的关系有24=16个(略)。从A到B的不同的函数仅有2*2=4个。分别如下:f1=,f2=,f3=,f4=,。一般地,从A到B的不同的函数有|B|A|个。,2023/2/10,练习:P236 1,1.下列关系中哪些能构成函数?(1)|(x,yN)(x+y=10);(2)|(x,yR)(y=x2);(3)|(x,yR
4、)(y2=x).答:(2)能构成函数.,2023/2/10,定义8.2.2 设f是从A到B的函数,对任意x1,x2A,如果x1x2,有f(x1)f(x2),则称f为从A到B的单射(不同的x对应不同的y);如果ranfB,则称f为从A到B的满射;若f是满射且是单射,则称f为从A到B的双射。若AB,则称f为A上的函数;当A上的函数f是双射时,称f为一个变换。,8.2.2函数的类型,2023/2/10,将定义8.2.2的描述数学化为,(1)f:AB是单射 当且仅当 对x1,x2A,若x1x2,则f(x1)f(x2);(2)f:AB是满射当且仅当 对yB,一定存在xB,使得f(x)=y;(3)f:AB
5、是双射当且仅当 f既是单射,又是满射;(4)f:AB是变换当且仅当 f是双射且A=B。,2023/2/10,例8.2.4,确定下列函数的类型。(1)设A=1,2,3,4,5,B=a,b,c,d。f:AB定义为:f=,;(2)设A=1,2,3,B=a,b,c,d。f:AB定义为:f=,;(3)设A=1,2,3,B=1,2,3。f:AB定义为:f=,;,2023/2/10,设A,B为有限集合,f是从A到B的函数,则:f是单射的必要条件为|A|B|;f是满射的必要条件为|B|A|;f是双射的必要条件为|A|B|。,结论,A B,2023/2/10,定理8.2.1 设A,B是有限集合,且|A|=|B|
6、.,若f是A到B的函数,则f是单射当且仅当f是满射。证明必要性():设f是单射,则f是A到f(A)的双射,因此|A|=|f(A)|。由|f(A)|=|B|且f(A)B,得f(A)=B,故f是A到B的满射。充分性():设f是满射。假设f不是单射,则存在x1,x2A,x1x2,有 f(x1)=f(x2).由于f是A到B的满射,所以f也是A-x1到B的满射,故|A-x1|B|,即|A|-1|B|,这与|A|=|B|矛盾。因此f是A到B的单射。,2023/2/10,例8.2.6,设A=B=R(实数集)。试判断下列函数的类型。(1)f1=|xR;(2)f2=|xR;(3)f3=|xR;解(1)f1仅是一
7、般函数;(2)f2是双射函数;(3)f3是单射函数。,2023/2/10,设R是集合A上的一个等价关系,g:AA/R称为A对商集A/R的典型映射(自然映射),其定义为g(a)aR,aA.显然,自然映射是一个满射。,典型(自然)映射,2023/2/10,设是偏序集,对任意aA,令:f(a)x|(xA)(xa)证明:f:AP(A)是一个单射函数,并且 f 保持与的偏序关系,即:对任意a,bA,若ab,则f(a)f(b)。,例8.2.8,证明:1)f是映射。任取aA,由于f(a)x|(xA)(xa)A,所以f(a)P(A),即f是从A到P(A)的映射。,2023/2/10,2)f是单射。对任意a,b
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 PPT 电子 教案 08 函数
链接地址:https://www.31ppt.com/p-2308714.html