电子科技大学离散数学第8章函数课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《电子科技大学离散数学第8章函数课件.ppt》由用户(三亚风情)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 电子科技大学 离散数学 函数 课件
- 资源描述:
-
1、离离 散散 数数 学学20222022年年8 8月月1515日星期一日星期一电子科技大学电子科技大学67-67-2 22022-8-152022-8-15第第8 8章章 函数函数函数的复合运算函数的复合运算3函数的逆运算函数的逆运算4函数的概念函数的概念1特殊函数特殊函数2函数的运算定理函数的运算定理5内内容容提提要要67-67-3 32022-8-152022-8-158.1 8.1 本章学习要求本章学习要求重点掌握重点掌握一般掌握一般掌握了解了解11 1 函数的概念函数的概念2 2 单射、满射单射、满射和双射函数的和双射函数的概念概念3 3 函数的复合函数的复合运算和逆运算运算和逆运算31
2、 1 置换的计算置换的计算21 1 单射、满射单射、满射和双射函数的和双射函数的证明证明2 2 置换的定义置换的定义 67-67-4 42022-8-152022-8-158.2 8.2 函数函数 函数也叫函数也叫映射、变换或对应映射、变换或对应。函数是数学的一个基本概念。这里将高等数学函数是数学的一个基本概念。这里将高等数学中连续函数的概念推广到对离散量的讨论,即将中连续函数的概念推广到对离散量的讨论,即将函函数看作是一种特殊的二元关系数看作是一种特殊的二元关系。函数的概念在日常生活和计算机科学中非常重函数的概念在日常生活和计算机科学中非常重要要。如各种高级程序语言中使用了大量的函数。实。如
3、各种高级程序语言中使用了大量的函数。实际上,际上,计算机的任何输出都可看成是某些输入的函计算机的任何输出都可看成是某些输入的函数。数。67-67-5 52022-8-152022-8-158.2.18.2.1函数的定义函数的定义设设f f是集合是集合A A到到B B的关系,如果对每个的关系,如果对每个xAxA,都存在惟一的,都存在惟一的yByB,使得,使得 ff,则称关,则称关系系f f为为A A到到B B的的函数函数(Function)(Function)(或或映射映射(Mapping)(Mapping)、变换变换(Transform)(Transform),记为记为f:ABf:AB。A A
4、为函数为函数f f的的定义域定义域,记为,记为domfdomf=A=A;f(A)f(A)为函数为函数f f的的值域值域,记为,记为ranfranf。当当 ff时,通常记为时,通常记为y=f(x)y=f(x),这时称,这时称x x为为函数函数f f的的自变量自变量,y y为为x x在在f f下的下的函数值函数值(或或象象),也也称称x x为为y y在在f f下的下的原象原象 。67-67-6 62022-8-152022-8-15结论结论如果关系如果关系f f是函数,那么是函数,那么1.1.f f y=f(x)y=f(x);2.2.f f f f y=zy=z;3.3.|f|=|A|f|=|A|
5、;4.4.f(x)f(x)表示一个变值,表示一个变值,f f代表一个集合,因此代表一个集合,因此ff(x)ff(x)。如果关系如果关系f f具备下列两种情况之一,那么具备下列两种情况之一,那么f f就不是函数:就不是函数:1.1.存在元素存在元素aAaA,在,在B B中没有象;中没有象;2.2.存在元素存在元素aAaA,有两个及两个以上的象。,有两个及两个以上的象。67-67-7 72022-8-152022-8-15例例8.2.18.2.1设设A=1,2,3,4A=1,2,3,4,B=a,b,c,dB=a,b,c,d,试判断下列关系哪试判断下列关系哪些是函数。些是函数。如果是函数,请写出它的
6、值域。如果是函数,请写出它的值域。(1 1)f f1 1,其中其中A A1,2,3,B1,2,3,Ba,b,ca,b,c;(2 2)f f2 2,其中其中A Aa,b,c,Ba,b,c,Bb,cb,c;(3 3)f f3 3|y|yx x1,x,yR,1,x,yR,其中其中A AB BR R(4 4)f f4 4|y|yx x1,x,yZ1,x,yZ,其中其中A AB BZ Z67-67-8 82022-8-152022-8-15例例8.2.1 8.2.1 解解(1 1)在在f f1 1中中,因为元素因为元素1 1有两个元素有两个元素a,ba,b与它对应与它对应,所所以以f f1 1不是不是A
7、 A到到B B函数;函数;(2 2)在)在f f2 2中中,每个元素都有惟一的象和它对应每个元素都有惟一的象和它对应,所以所以f f2 2是是A A到到B B函数。函数。RanfRanf2 2b,cb,c;(3 3)在)在f f3 3中中,因为每个元素都有惟一的象和它对应因为每个元素都有惟一的象和它对应,所以所以f f3 3是是A A到到B B函数函数,且且ranfranf3 3R R;(4 4)在)在f f4 4中中,因为每个元素都有惟一的象和它对应因为每个元素都有惟一的象和它对应,所以所以f f4 4是是A A到到B B函数函数,且且ranfranf4 42,3,4,2,3,4,。67-6
8、7-9 92022-8-152022-8-15例例8.2.28.2.2设设P P是接受一个整数作为输入并产生一个整数作为是接受一个整数作为输入并产生一个整数作为输出的计算机程序。令输出的计算机程序。令A=B=ZA=B=Z,则由,则由P P确定的关系确定的关系f fp p定义如下:定义如下:如果如果ffp p当且仅当输入当且仅当输入m m时,由程序时,由程序P P所产生所产生的输出是的输出是n n。请判断请判断f fp p是否为函数。是否为函数。67-67-10102022-8-152022-8-15例例8.2.2 8.2.2 解解显然,显然,f fp p是一个函数。因为,任意一个特殊的输入是一
9、个函数。因为,任意一个特殊的输入对应唯一的输出。对应唯一的输出。可用任意一个可能的输入集合可用任意一个可能的输入集合A A对应输出集合对应输出集合B B而推而推广到一般情形的程序。所以,通常把广到一般情形的程序。所以,通常把函数看做输入函数看做输入输出的关系。输出的关系。67-67-11112022-8-152022-8-15例例8.2.38.2.3设设A=a,bA=a,b,B=1,2B=1,2,请分别写出,请分别写出A A到到B B的的不同关系不同关系和和不同函数不同函数。因为因为|A|=2|A|=2,|B|=2|B|=2,所以,所以|A|AB|=|A|B|=|A|B|=4|B|=4,即即A
10、 AB=,B=,,,,此时从此时从A A到到B B的不同的关系有的不同的关系有2 24 4=16=16个。个。67-67-12122022-8-152022-8-15A A到到B B不同的关系不同的关系R R0 0=;R R1 1=;R R2 2=;R R3 3=;R R4 4=;R R5 5=,=,;R R6 6=,=,;R R7 7=,=,;R R8 8=,=,;R R9 9=,=,;R R1010=,=,;R R1111=,=,;R R1212=,=,;R R1313=,=,;R R1414=,=,;R R1515=,=,。67-67-13132022-8-152022-8-15A A到
11、到B B不同的函数不同的函数 f f1 1=,f=,f2 2=,=,,f f3 3=,f=,f4 4=,=,。67-67-14142022-8-152022-8-15函数与关系的差别函数与关系的差别函数是一种函数是一种特殊的关系特殊的关系,它与一般关系比较具备如,它与一般关系比较具备如下下差别:差别:1.1.从从A A到到B B的不同的关系有的不同的关系有2 2|A|A|B|B|个;但从个;但从A A到到B B的的不同的函数却仅有不同的函数却仅有|B|B|A|A|个。个。(个数差别个数差别)2.2.关系的第一个元素可以相同;函数的第一元素关系的第一个元素可以相同;函数的第一元素一定是互不相同的
12、。一定是互不相同的。(集合元素的第一个元素存在差别集合元素的第一个元素存在差别)3.3.每一个函数的基数都为每一个函数的基数都为|A|A|个个(|f|=|A|)(|f|=|A|),但关,但关系的基数却为从零一直到系的基数却为从零一直到|A|A|B|B|。(集合基数的差别集合基数的差别)67-67-15152022-8-152022-8-15 设设f f是从是从A A到到B B的函数,的函数,对任意对任意x x1 1,x,x2 2AA,如果,如果x x1 1xx2 2,有,有f(xf(x1 1)f(x)f(x2 2),则称则称f f为从为从A A到到B B的的单射单射(不同的(不同的x x对应不
13、同的对应不同的y)y);如果如果ranfranfB B,则称,则称f f为为从从A A到到B B的的满射满射;若若f f是是满射且是单射满射且是单射,则称,则称f f为从为从A A到到B B的的双射双射。若若A AB B,则称,则称f f为为A A上的函数上的函数;当;当A A上的函数上的函数f f是双射是双射时,称时,称f f为一个为一个变换变换。8.2.28.2.2函数的类型函数的类型67-67-16162022-8-152022-8-15将定义将定义8.2.28.2.2的描述数学化为的描述数学化为1.1.f:ABf:AB是单射是单射当且仅当对任意当且仅当对任意x x1 1,x,x2 2A
14、A,若若x x1 1xx2 2,则,则f(xf(x1 1)f(x)f(x2 2);2.2.f:ABf:AB是满射当且仅当对任意是满射当且仅当对任意yByB,一定存在,一定存在xBxB,使得,使得f(x)=yf(x)=y;3.3.f:ABf:AB是双射当且仅当是双射当且仅当f f既是单射,又是满射;既是单射,又是满射;4.4.f:ABf:AB是变换当且仅当是变换当且仅当f f是双射且是双射且A=BA=B。67-67-17172022-8-152022-8-15例例8.2.48.2.4确定下列函数的类型。确定下列函数的类型。1.1.设设A=1,2,3,4,5A=1,2,3,4,5,B=a,b,c,
15、dB=a,b,c,d。f:ABf:AB定义定义为:为:,;2.2.设设A=1,2,3A=1,2,3,B=a,b,c,dB=a,b,c,d。f:ABf:AB定义为:定义为:f=,f=,;3.3.设设A=1,2,3A=1,2,3,B=1,2,3B=1,2,3。f:ABf:AB定义为定义为f=,f=,;67-67-18182022-8-152022-8-15例例8.2.4 8.2.4 解解1.1.因为对任意因为对任意yByB,都存在,都存在xBxB,使得,使得ff,所以所以f f是满射函数是满射函数;2.2.因为因为A A中不同的元素对应不同的象,所以中不同的元素对应不同的象,所以f f是单是单射函
16、数;射函数;3.3.因为因为f f既是单射函数,又是满射函数,所以既是单射函数,又是满射函数,所以f f是是双射函数双射函数。又因为。又因为A=BA=B,所以,所以f f还是变换还是变换。67-67-19192022-8-152022-8-15设设A A,B B为为有限集合有限集合,f f是从是从A A到到B B的函数,则:的函数,则:1.1.f f是单射的必要条件为是单射的必要条件为|A|B|A|B|;2.2.f f是满射的必要条件为是满射的必要条件为|B|A|B|A|;3.3.f f是双射的必要条件为是双射的必要条件为|A|A|B|B|。结论结论A BA A1 12 23 34 45 56
17、 6a ab bc cd de eB Bf f3 3A A1 12 23 34 45 5e ea ab bc cd df fB Bf f4 4A A1 12 23 34 45 56 6a ab bc cd de eB Bf f5 5A A1 12 23 34 45 5a ab bc cd de eB Bf f6 667-67-20202022-8-152022-8-15定理定理8.2.18.2.1设设A A,B B是有限集合,且是有限集合,且|A|=|B|A|=|B|,f f是是A A到到B B的函数,的函数,则则f f是单射当且仅当是单射当且仅当f f是满射。是满射。证明证明 必要性必要性(
18、):设设f f是单射是单射。显然,显然,f f是是A A到到f(A)f(A)的满射,的满射,故故f f是是A A到到f(A)f(A)的双射,的双射,因此因此|A|=|f(A)|A|=|f(A)|。由由|f(A)|=|B|f(A)|=|B|,且,且f(A)f(A)B B,得得f(A)=Bf(A)=B,故故f f是是A A到到B B的满射。的满射。67-67-21212022-8-152022-8-15定理定理8.2.18.2.1(续)(续)充分性充分性():设设f f是满射。是满射。任取任取x x1 1,x,x2 2AA,x x1 1xx2 2,假设,假设f(xf(x1 1)=f(x)=f(x2
19、 2),由于由于f f是是A A到到B B的满射,的满射,所以所以f f也是也是A-xA-x1 1 到到B B的满射,的满射,故故|A-x|A-x1 1|B|B|,即即|A|-1|B|A|-1|B|,这与这与|A|=|B|A|=|B|矛盾。矛盾。因此因此f(xf(x1 1)f(x)f(x2 2),故故f f是是A A到到B B的单射。的单射。67-67-22222022-8-152022-8-15例例8.2.58.2.5设设X=0,1,2,X=0,1,2,,Y=1,1/2,1/3,Y=1,1/2,1/3,,f:Xf:XY Y的定义如下:的定义如下:1.1.f f1 1=,=,2.2.f f2
20、2=,=,3.3.f f3 3=,=,n,1,。试判断它们的类型。试判断它们的类型。67-67-23232022-8-152022-8-15例例8.2.5 8.2.5 解解1.1.由已知得,由已知得,根据函数根据函数f f1 1(n)(n)的表达式和单射函数的定义知,的表达式和单射函数的定义知,f f1 1是是单射函数;但是,单射函数;但是,Y Y中元素中元素1 1没有原象,没有原象,所以所以f f1 1不不是满射函数;是满射函数;2.2.由已知得,由已知得,显然显然f f2 2是满射函数。但是,是满射函数。但是,X X中元素中元素0 0和和1 1有相同的象有相同的象1 1,所以,所以f f2
21、 2不是单射函数不是单射函数;1 1f(n)=,n=0,1,2,f(n)=,n=0,1,2,n+2n+21,0,11,0,1f(n)=f(n)=1 1,n=2,3,n=2,3,n n67-67-24242022-8-152022-8-15例例8.2.5 8.2.5 解解3.3.由已知得,由已知得,显然显然,f f是双射函数。是双射函数。1 1f(n)=,n=0,1,2,f(n)=,n=0,1,2,n+1n+167-67-25252022-8-152022-8-15例例8.2.68.2.6设设A=B=R(A=B=R(实数集实数集)。试判断下列函数的类型。试判断下列函数的类型。(1 1)f f1
22、1=x,x=|xR|xR;(2 2)f f2 2=|xR=|xR;(3 3)f f3 3=x,e=|xR|xR;(1 1)f f1 1仅是一般函数;仅是一般函数;(2 2)f f2 2是双射函数;是双射函数;(3 3)f f3 3是单射函数。是单射函数。67-67-26262022-8-152022-8-15典型典型(自然自然)映射映射。设。设R R是集合是集合A A上的一个等价关系,上的一个等价关系,g g:AA/RAA/R称为称为A A对商集对商集A/RA/R的的典型典型(自然自然)映射映射,其定义为其定义为g(a)g(a)aaR R,a aA.A.证明:典型映射是一个满射。证明:典型映射
23、是一个满射。例例8.2.78.2.7分析:由等价类的定义,对任意分析:由等价类的定义,对任意aaR RA/RA/R,aaaaR R,即,即任意任意A/RA/R中的元素都有原象,中的元素都有原象,所以典型所以典型映射是满射。映射是满射。证明过程留给读者。证明过程留给读者。67-67-27272022-8-152022-8-15设设是偏序集,是偏序集,对任意对任意aAaA,令:,令:f(a)f(a)x|(xA)(xa)x|(xA)(xa)f f是一个从是一个从A A到到P P(A)A)的一个的一个单射函数单射函数,并且,并且f f保持保持 A,与与P(的的偏序关系偏序关系,即:对任意,即:对任意a
24、,bAa,bA,若,若abab,则,则f(a)f(a)f(b)f(b)。例例8.2.8 8.2.8 1)1)f f是映射是映射。任取任取aAaA,由于,由于f(a)f(a)x|(xA)(xa)x|(xA)(xa)A A,所以所以f(a)f(a)P P(A)(A),即即f f是从是从A A到到P(P(A)A)的映射的映射。67-67-28282022-8-152022-8-152)2)f f是是单单射射。对任意对任意a,ba,bAA,ab ab 若若a,ba,b存在偏序存在偏序关系,关系,不妨设不妨设abab(或或baba),由于由于“”是反对称是反对称的,所以的,所以ba(ba(或或abab)
25、,从而,从而b b f(a)f(a)x|(xA)xax|(xA)xa(或(或a a f(b)f(b),而而“”是自反的,所以是自反的,所以bb(bb(或或aaaa),即,即bf(b)bf(b)(或或af(a)af(a),所以,所以f(a)f(b)f(a)f(b)。若若a,ba,b不存在偏序关系,不存在偏序关系,则有:则有:abab,从而,从而a a f(b)f(b)x|(xA)xbx|(xA)xb,而而“”是自反的,所以是自反的,所以aaaa,即,即af(a)af(a),即,即f(a)f(b)f(a)f(b)。例例8.2.88.2.8(续续)67-67-29292022-8-152022-8-
展开阅读全文