离散数学课件08函数-.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《离散数学课件08函数-.ppt》由用户(晟晟文业)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 课件 08 函数
- 资源描述:
-
1、第8章 函数离离 散散 数数 学学中国地质大学本科生课程中国地质大学本科生课程本章说明本章说明q本章的主要内容本章的主要内容 函数的定义函数的定义 函数的性质函数的性质 函数的逆函数的逆 函数的合成函数的合成 q本章与后续各章的关系本章与后续各章的关系是代数系统的基础是代数系统的基础 8.1 8.1 函数的定义与性质函数的定义与性质8.2 8.2 函数的复合与反函数函数的复合与反函数8.3 8.3 一个电话系统的描述实例一个电话系统的描述实例 本章小结本章小结 习题习题 作业作业本章内容本章内容8.1 8.1 函数的定义与性质函数的定义与性质定义定义8.1 8.1 设设F F为二元关系,若为二
2、元关系,若 xdomdom F F,都存在都存在唯一的唯一的yranran F 使使xF Fy成立,则称成立,则称F F为为函数函数(function)(或称作或称作映射映射(mapping)。对于函数对于函数F F,如果有如果有 xF Fy,则记作则记作yF(F(x),并称并称y为为F F在在x的的值值。举例举例 判断下列关系是否为函数判断下列关系是否为函数F F1 1x,F F2 2x,是函数是函数不是函数不是函数说说明明q 函数是特殊的二元关系。函数是特殊的二元关系。q 函数的定义域为函数的定义域为domdom F F,而不是它的真子集。而不是它的真子集。q 一个一个x x只能对应唯一的
3、只能对应唯一的y y。定义定义8.2 8.2 设设 F,G F,G 为函数,则为函数,则 F FG G F F GGGG F F由定义可知,两个函数由定义可知,两个函数F F和和G G相等相等,一定满足下面两个条件:一定满足下面两个条件:(1 1)dom dom F Fdomdom G G(2 2)xdom dom F Fdomdom G G,都有都有 F(F(x)G(G(x)例如例如 函数函数F(F(x)(x2 2 1)/(1)/(x+1)+1),G(G(x)x 1 1不相等不相等,因为因为domdom F F x|xRRx-1-1 domdom G GR R显然,显然,domdom F F
4、domdom G G,所以两个函数不相等。所以两个函数不相等。函数相等函数相等定义定义8.38.3 设设A,BA,B为集合,如果为集合,如果 f 为函数,为函数,domdom fA A,ran ran f B B,则称则称 f 为为从从A A到到B B的函数的函数,记作,记作 f:ABAB。例如:例如:f:NNNN,f(x)2x2x是从是从N N到到N N的函数,的函数,g:NNNN,g(x)2 2也是从也是从N N到到N N的函数。的函数。定义定义8.4 8.4 所有从所有从A A到到B B的函数的集合记作的函数的集合记作B BA A,读作读作“B B上上A”A”,符号化表示为符号化表示为
5、B BA A f|f:AB AB。从从A A到到B B的函数的函数例例8.28.2 设设A A1,2,31,2,3,B Ba,ba,b,求求B BA A。解答解答 BA f0,f1,f2,f3,f4,f5,f6,f7。其中其中 f 0,f 1,f 2,f 3,f 4,f 5,f 6,f 7,例例8.28.2说说明明q 若若|A|A|m,|B|B|n,且且m,n00,则则|B BA A|nm。q 当当A A或或B B至少有一个集合是空集时:至少有一个集合是空集时:A A且且B B,则,则B BA A 。A A且且BB,则,则B BA AB B 。AA且且B B,则则B BA AA A。定义定义8
6、.58.5 设函数设函数f:ABAB,A A1 1 A A,B B1 1 B B。(1 1)令令f(A(A1 1)f(x)|)|xAA1 1,称称 f(A(A1 1)为为A A1 1在在f 下的像下的像(image)。特别地,当特别地,当A A1 1A A时,称时,称 f(A)(A)为函数的像为函数的像。(2 2)令令f 1 1(B(B1 1)x|xAAf(x)B)B1 1,称称f 1 1(B(B1 1)为为B B1 1在在 f 下的下的完完全原像全原像(preimage)。说说明明函数的像和完全原像函数的像和完全原像q 注意区别函数的值和像两个不同的概念。注意区别函数的值和像两个不同的概念。
7、函数值函数值f(x)B)B,而函数的像而函数的像f(A(A1 1)B B。讨论讨论q 设设 B B1 1 B B,显然显然B B1 1在在 f 下的原像下的原像 f-1-1(B(B1 1)是是A A的子集。的子集。q 设设 A A1 1 A A,那么那么 f(A A1 1)B B。f(A A1 1)的完全原像就是的完全原像就是 f-1-1(f(A A1 1)。一般来说,一般来说,f-1-1(f(A A1 1)A A1 1,但是但是A A1 1 f-1-1(f(A A1 1)。q 例如函数例如函数 f:1,2,30,1:1,2,30,1,满足满足f(1)(1)f(2)(2)0 0,f(3)(3)
8、1 1令令A A1 111,那么那么f-1-1(f(A A1 1)f-1-1(f(1)1)f-1-1(0)(0)1,21,2这时,这时,A A1 1是是f-1-1(f(A A1 1)的真子集。的真子集。例例8.38.3 设设f:NN:NN,且且 令令A A0,10,1,B B22,求求f(A)(A)和和 f 1 1(B)(B)。/2()1xxf xxx若 为偶数若 为奇数解答解答 f(A)f(0,1)f(0),f(1)0,2 f 1(B)f 1(2)1,4(因为因为 f(1)2,f(4)2)例例8.38.3定义定义8.68.6 设设f:AB,(1 1)若若ran fB,则称则称f:AB是是满射
9、满射(surjection)的的。(2 2)若若 yran f 都存在都存在唯一的唯一的xA使得使得f(x)y,则称则称 f:AB是是单射单射(injection)的的。(3 3)若若f 既是满射又是单射的既是满射又是单射的,则称则称f:AB是是双射双射(bijection)的的(一一映像一一映像(one-to-one mapping)。说说明明满射、入射、双射满射、入射、双射q 如果如果f:A:AB B是满射的,则对于任意的是满射的,则对于任意的yB B,都存在都存在xA A,使得使得f(x)y。q 如果如果f:A:AB B是单射的,则对于是单射的,则对于x1 1、x2 2 A A且且x1
10、1x2 2,一定一定 有有f(x1 1)f(x2 2)。换句话说,如果对于换句话说,如果对于x1 1、x2 2 A A有有f(x1 1)f(x2 2),则一定有则一定有x1 1x2 2。不同类型的对应关系的示例不同类型的对应关系的示例abc1234abc1234abc1234dabc1234dabc123d单射单射不是函数不是函数双射双射函数函数满射满射例例8.48.4 判断下面函数是否为单射、满射、双射的,为什么判断下面函数是否为单射、满射、双射的,为什么?(1)f:RR,f(x)=-x2+2x-1(2)f:Z+R,f(x)=ln x,Z+为正整数集为正整数集(3)f:RZ,f(x)=x (
11、4)f:RR,f(x)=2x+1(5)f:R+R+,f(x)=(x2+1)/x,其中其中R+为正实数集。为正实数集。例例8.48.4(1)f 在在x=1取得极大值取得极大值0。既不是单射也不是满射的既不是单射也不是满射的。(2)f 是单调上升的,是单射的,但不满射是单调上升的,是单射的,但不满射。ran f=ln1,ln2,。(3)f 是满射的,是满射的,但不是单射的,例如但不是单射的,例如f(1.5)=f(1.2)=1。(4)f 是满射、单射、双射的,因为它是单调函数并且是满射、单射、双射的,因为它是单调函数并且ran f=R。(5)f 有极小值有极小值f(1)=2。该函数既不是单射的,也不
12、是满射的该函数既不是单射的,也不是满射的。分析分析实数集合上函数性质的判断方法实数集合上函数性质的判断方法例例8.58.5例例8.58.5 对于以下各题给定的对于以下各题给定的A,B和和 f,判断是否构成函数判断是否构成函数f:AB。如果是,说明如果是,说明 f:AB:AB是否为单射、满射和双射的,是否为单射、满射和双射的,并根据要求进行计算。并根据要求进行计算。(1)(1)A1,2,3,4,51,2,3,4,5,B6,7,8,9,106,7,8,9,10,f,能构成能构成f:AB,f 不是单射的,因为不是单射的,因为f(3)(3)f(5)(5)9,9,f 不是满射的,因为不是满射的,因为7
13、7 ran fran f。(2)2)A1,2,3,4,51,2,3,4,5,B6,7,8,9,106,7,8,9,10,f,不能构成不能构成f:AB,因为因为 1,7f 且且 1,9f。例例8.58.5(3)(3)A1,2,3,4,51,2,3,4,5,B6,7,8,9,106,7,8,9,10,f,不能构成不能构成f:AB,因为因为domdom f1,2,3,41,2,3,4A。(4)(4)ABR R,f(x)x x能构成能构成f:AB,且且 f 是双射的是双射的。(5)(5)ABR R+,f(x)x/(xx/(x2 2+1)+1)(xRxR+)能构成能构成f:AB,但但 f 既不是单射的也
14、不是满射的。既不是单射的也不是满射的。因为该函数在因为该函数在 x1 取得极大值取得极大值 f(1)1/2,函数不是单调函数不是单调的,且的,且ran f RR+。例例8.58.5(6)(6)ABRR R,f()令令L|x,yRRyx+1+1,计算计算 f(L)。能构成能构成 f:AB,且且 f 是双射的是双射的。f(L)|+1)|xRR|+1,-1|xRRR R-1-1(7)(7)ANN,BN,f()|x|x2 2-y-y2 2|计算计算f(N(N0),0),f-1-1(0)(0)。能构成能构成f:AB,但但 f 既不是单射也不是满射的。既不是单射也不是满射的。因为因为f()()f()()0
15、 0,且且2 2 ran ran f。f(N(N0)0)n2 2-0-02 2|nNN n2 2|nNNf-1-1(0)(0)|nNN 例例8.68.6例例8.68.6 对于给定的集合对于给定的集合A A和和B B构造构造双射双射函数函数 f:AB:AB。(1 1)A AP P(1,2,3)(1,2,3),B,B0,10,11,2,31,2,3(2 2)A A0,10,1,B,B1/4,1/21/4,1/2(3 3)A AZ,BZ,BN N(4 4)A A /2,3/2,3/2/2,B,B 1,11,1例例8.68.6的解答的解答(1)AP(1,2,3),B0,11,2,3 A,1,2,3,1
16、,2,1,3,2,3,1,2,3。Bf0,f1,f7,其中其中f0,f1,f2,f3,f4,f5,f6,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例例8.68.6的解答的解答(2)A0,10,1,B1/4,1/21/4,1/2 令令f:AB,f(x)(x+1)/4。(3)AZ,BN 将将Z中元素以下列顺序排列并与中元素以下列顺序排列并与N N中元素对应:中元素对应:Z:0 1 1 22 33 N:0 12 3 4 5 6 则这种对应所表示的函数是:则这种对应所表示的函数是:20Z,()2
17、10 xxfN f xxx:(4)A=/2,3/2,B=1,1 令令f:AB,f(x)sin x。常用函数常用函数常常函数和恒等函数函数和恒等函数q 设设f:AB,如果存在如果存在cB,使得对所有的使得对所有的xA都有都有f(x)c,则称则称f:AB是是常函数常函数。q 设设f:AB,对所有的对所有的xA都有都有IA(x)x,称称IA为为A上的上的恒恒等函数等函数。常用函数常用函数单调递增函数单调递增函数q 设设,为偏序集为偏序集,f:AB,如果对任意的如果对任意的x1,x2A,x1x2,就有就有f(x1)f(x2),则称则称f为为单调递增单调递增的的;如果对任意的如果对任意的x1,x2A,x
18、1x2,就有就有f(x1)f(x2),则称则称f为为严格严格单调递增单调递增的的。q 类似的也可以定义单调递减和严格单调递减的函数类似的也可以定义单调递减和严格单调递减的函数。q 举例举例:f:RR,f(x)x+1是严格单调递增的。是严格单调递增的。偏序集偏序集 ,R 为包含关系为包含关系,为一为一般的小于等于关系。般的小于等于关系。令令f:P(a,b)0,1,f()f(a)f(b)0,f(a,b)=1,f是单调递增的是单调递增的,但不是严格单调递增的但不是严格单调递增的。常用函数常用函数特特征函数征函数q 设设A为集合,对于任意的为集合,对于任意的A A,A 的的特征函数特征函数 A :A0
19、,1定义为定义为1,aA 0,aA A A (a)q 举例举例:A的每一个子集的每一个子集A 都对应于一个特征函数,不同的子集都对应于一个特征函数,不同的子集对应于不同的特征函数。对应于不同的特征函数。例如例如Aa,b,c,则有则有 ,,a,a,b,常用函数常用函数自自然映射然映射q 设设R是是A上的等价关系,上的等价关系,令令 g:AA/R g(a)=a,aA 称称g是从是从A到商集到商集A/R的的自然映射自然映射。q 给定集合给定集合A和和A上的等价关系上的等价关系R,就可以确定一个自然映射就可以确定一个自然映射g:AA/R。例如例如A1,2,3,R,IA g(1)g(2)1,2,g(3)
20、3 不同的等价关系确定不同的自然映射,其中恒等关系所确定不同的等价关系确定不同的自然映射,其中恒等关系所确定的自然映射是的自然映射是双射,双射,而其他的自然映射一般来说只是满射。而其他的自然映射一般来说只是满射。定定义在自然数集合上的计数函数义在自然数集合上的计数函数q 对于给定规模为对于给定规模为n的输入,计算算法所做基本运算的次数,的输入,计算算法所做基本运算的次数,将这个次数表示为输入规模的函数。将这个次数表示为输入规模的函数。排序和检索问题的基本运算是比较。排序和检索问题的基本运算是比较。矩阵乘法的基本运算是元素的相乘。矩阵乘法的基本运算是元素的相乘。q 估计算法在最坏情况下所做基本运
21、算的次数记为估计算法在最坏情况下所做基本运算的次数记为W(W(n)。q 估计算法在平均情况下所做基本运算的次数记为估计算法在平均情况下所做基本运算的次数记为A(A(n)。q 设设f是定义在自然数集合上的函数,当是定义在自然数集合上的函数,当n变得很大时,变得很大时,函数值函数值f(n)的增长取决于函数的阶的增长取决于函数的阶。阶越高的函数,算法的复杂度。阶越高的函数,算法的复杂度就越高,同时意味着算法的效率越低。就越高,同时意味着算法的效率越低。q 算法分析的主要工作就是估计复杂度函数的阶算法分析的主要工作就是估计复杂度函数的阶。阶可以是:。阶可以是:n,n2 2,n3 3,nlog log
22、n,loglog n,2 2n 定定义在自然数集合上的计数函数义在自然数集合上的计数函数q 若存在正数若存在正数c和和n0 0,使得对一切使得对一切nn0 0,有有00f(n)cg(n),记作记作 f(n)O(g(n)。q 若存在正数若存在正数c和和n0 0,使得对一切使得对一切nn0 0,有有00cg(n)f(n),记作记作 f(n)(g(n)。q 若若f(n)O(g(n)且且 f(n)(g(n),则则f(n)(g(n)。q 例如例如 f(n)1/2 1/2 n2 2-3-3n,则则 f(n)(n2 2)g(n)6 6n3 3,则则 g(n)(n3 3)构造从构造从A A到到B B的双射函数
23、的双射函数有穷集之间的构造有穷集之间的构造例例1 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=,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实数区间之间构造双射实数区间之间构造双射构造方法:直线方程构造方法:直线方程例例2 A=0,1 B=1/4,1/2构造双射构造双射 f:AB构造从构造从A A到到B B的双射函数的双射函数(
24、续续)解解 令令 f:0,11/4,1/2 f(x)=(x+1)/4 A与自然数集合之间构造双射与自然数集合之间构造双射方法:将方法:将A中元素排成有序图形,然后从第一个元素开始中元素排成有序图形,然后从第一个元素开始 按照次序与自然数对应按照次序与自然数对应构造从构造从A A到到B B的双射函数的双射函数(续续)01202)(,NZ:xxxxxff例例3 A=Z,B=N,构造双射,构造双射 f:AB将将Z中元素以下列顺序排列并与中元素以下列顺序排列并与N中元素对应:中元素对应:Z:0 11 22 33 N:0 1 2 3 4 5 6 则这种对应所表示的函数是:则这种对应所表示的函数是:8.2
25、 8.2 函数的复合与反函数函数的复合与反函数q 函数的复合就是关系的右复合函数的复合就是关系的右复合,一切和关系右复合有关,一切和关系右复合有关的定理都适用于函数的复合。的定理都适用于函数的复合。本节重点考虑在复合中特本节重点考虑在复合中特有的性质。有的性质。定理定理8.1(8.1(复合函数基本定理复合函数基本定理)定理定理8.18.1 设设F,G是函数是函数,则则F G 也是函数,且满足也是函数,且满足(1)dom (F G)x|xdom FF(x)dom G(2)xdom(F G),有有F G(x)G(F(x)证明证明:先证明先证明F G是函数是函数。因为因为F、G是关系是关系,所以所以
展开阅读全文