《离散数学 》课件第5章 函数.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《《离散数学 》课件第5章 函数.ppt》由用户(momomo)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 离散数学 课件第5章 函数 离散数学 课件
- 资源描述:
-
1、第第5章章 函数(函数(Functions)5.1 函数的基本概念函数的基本概念(The concept of function)5.2 特殊映射特殊映射(Special mappings)5.3 复合函数与逆函数复合函数与逆函数(Compositions of functions and Inverse functions)第第5章章 函数(函数(Functions)5.1 函数的基本概念函数的基本概念(The concept of function)函数概念是最基本的数学概念之一,也是函数概念是最基本的数学概念之一,也是最重要的数学工具。初中数学中函数定义为最重要的数学工具。初中数学中函数
2、定义为对自变量每一确定值都有一确定的值与之对应对自变量每一确定值都有一确定的值与之对应的因变量;高中数学中函数又被定义为两集的因变量;高中数学中函数又被定义为两集合元素之间的映射。合元素之间的映射。第第5章章 函数(函数(Functions)现在,我们要把后一个定义作进一步的深化,现在,我们要把后一个定义作进一步的深化,用一个特殊关系来具体规定这一映射,称这个特用一个特殊关系来具体规定这一映射,称这个特殊关系为函数,因为关系是一个集合,从而又将殊关系为函数,因为关系是一个集合,从而又将函数作为集合来研究。离散结构之间的函数关系函数作为集合来研究。离散结构之间的函数关系在计算机科学研究中也已显示
3、出极其重要的意义。在计算机科学研究中也已显示出极其重要的意义。我们在讨论函数的一般特征时,总把注意力集中我们在讨论函数的一般特征时,总把注意力集中在离散结构之间的函数关系上,但这并不意味着在离散结构之间的函数关系上,但这并不意味着这些讨论不适用于其它函数关系。这些讨论不适用于其它函数关系。第第5章章 函数(函数(Functions)考虑下面几个由图示表示的集合考虑下面几个由图示表示的集合A到集合到集合B的关系。的关系。在这个关系中,在这个关系中,后个关系后个关系3,4,5,6与与1,2不同,不同,它们都有下面两个特点:它们都有下面两个特点:(1)其定义域为其定义域为A;(2)A中任一元素中任一
4、元素a对应唯一一个对应唯一一个B中的元中的元素素b。第第5章章 函数(函数(Functions)几个关系的示图几个关系的示图第第5章章 函数(函数(Functions)几个关系的示图几个关系的示图第第5章章 函数(函数(Functions)几个关系的示图几个关系的示图第第5章章 函数(函数(Functions)定义定义5.1.1 设设X,Y为集合,如果为集合,如果f为为X到到Y的关的关系系(f XY),且对每一),且对每一xX,都有唯一的,都有唯一的 yY,使,使x,yf,称,称 f 为为X到到Y的函数的函数(functions),记为),记为 f:XY。当。当X=X1X2Xn时,称时,称f为
5、为n元函数。函数也元函数。函数也称映射(称映射(mapping)。)。第第5章章 函数(函数(Functions)换言之,函数是特殊的关系,它满足换言之,函数是特殊的关系,它满足(1)函数的定义域是)函数的定义域是X,而不能是,而不能是X的某个真子集的某个真子集 (即即dom(f)=X)。(2)若)若x,yf,x,yf,则,则yy(单值(单值 性)。性)。第第5章章 函数(函数(Functions)第第5章章 函数(函数(Functions)由于函数的第二个特性,人们常把由于函数的第二个特性,人们常把x,yf 或或 xfy 这两种关系表示形式,在这两种关系表示形式,在 f 为函数时改为函数时改
6、为为y=f(x)。这时称。这时称x为自变量,为自变量,y为函数在为函数在x处的处的值;也称值;也称y为为x在在 f 作用下的像作用下的像(image of x under f),x为为y的原像。一个自变量只能有唯一的像,的原像。一个自变量只能有唯一的像,但不同的自变量允许有共同的像。但不同的自变量允许有共同的像。注意,函数注意,函数的上述表示形式不适用于一般关系。(因为一的上述表示形式不适用于一般关系。(因为一般关系不具有单值性。)般关系不具有单值性。)第第5章章 函数(函数(Functions)【例例1】设设A=a,b,B=1,2,3,判断下列集合是,判断下列集合是否是否是A到到B的函数。的
7、函数。F1=a,1,b,2,F2=a,1,b,1,F3=a,1,a,2,F4=a,3 解解:F1,F2是函数,是函数,F3,F4不是函数,但若不强调是不是函数,但若不强调是A到到B的函数,则的函数,则F4是函数,其定义域为是函数,其定义域为a。第第5章章 函数(函数(Functions)【例例2】下列关系中哪些能构成函数?下列关系中哪些能构成函数?(1)x,y|x,y N,x+y10(2)x,y|x,y N,x+y=10(3)x,y|x,y R,|x|=y(4)x,y|x,y R,x=|y|(5)x,y|x,y R,|x|=|y|解解:只有(只有(3)能构成函数。)能构成函数。第第5章章 函数
8、(函数(Functions)对于函数对于函数 f:XY,f 的前域的前域dom(f)=X就是函数就是函数 y=f(x)的定义域的定义域,有时也记为有时也记为 D f ,f 的值域的值域ran(f)Y,有时也记为有时也记为R f ,即即 R f=Y称为称为 f 的共域的共域,ran(f)=R f 也称为也称为 f 的像集合的像集合,dom(f)=X=D f 也称为也称为 f 的原像集。对于的原像集。对于)()(xfyXxxy第第5章章 函数(函数(Functions)A X,称,称f(A)为为A的像(的像(image of A),定义为),定义为 f(A)=显然显然,f()=,f(x)=f(x)
9、(xA)。)()(xfyAxxy 第第5章章 函数(函数(Functions)由于函数归结为关系,因而函数的由于函数归结为关系,因而函数的表示及运算可归结为集合的表示及运算,表示及运算可归结为集合的表示及运算,函数的相等的概念、包含概念,也便归函数的相等的概念、包含概念,也便归结为关系相等的概念及包含概念。结为关系相等的概念及包含概念。第第5章章 函数(函数(Functions)定义定义5.1.2 设设 f:AB,g:CD,如果,如果A=C,BD,且对每一,且对每一xA,有,有 f(x)g(x),称函数,称函数 f 等于等于g,记为记为 f=g。如果。如果 A C,BD,且对每一,且对每一xA
10、,有,有 f(x)g(x),称函数,称函数 f 包含于包含于g,记为,记为f g。第第5章章 函数(函数(Functions)事实上,当不强调函数是定义在哪个集合上事实上,当不强调函数是定义在哪个集合上的时候,由于函数是序偶的集合(特殊的关的时候,由于函数是序偶的集合(特殊的关系),所以系),所以f=g的充分必要条件是的充分必要条件是f g且且 g f。第第5章章 函数(函数(Functions)【例例3】设设A=a,b,B=1,2,3。由。由AB能生成多少个不同的函数?由能生成多少个不同的函数?由BA能生成多少个不同的函数?能生成多少个不同的函数?解解:设设 fi:AB(i=1,2,,9),
11、gi:BA(i=1,2,,8)第第5章章 函数(函数(Functions)f1=a,1,b,1 g1=1,a,2,a,3,a f2=a,1,b,2 g2=1,a,2,a,3,b f3=a,1,b,3 g3=1,a,2,b,3,a f4=a,2,b,1 g4=1,a,2,b,3,b f5=a,2,b,2 g5=1,b,2,a,3,a f6=a,2,b,3 g6=1,a,2,a,3,b f7=a,3,b,1 g7=1,b,2,a,3,b f8=a,3,b,2 g8=1,b,2,b,3,b f9=a,3,b,3第第5章章 函数(函数(Functions)定理定理5.1.1 设设|A|=m,|B|=n
12、,那么,那么f|f:AB的的基数为基数为 nm,即共有,即共有nm个个A到到B的函数。的函数。证明证明 设设A=a1,a2,am,B=b1,b2,bn,那么每一,那么每一个个f:AB由一张如下的表来规定由一张如下的表来规定:aa1a2amf(a)bi1bi2bim第第5章章 函数(函数(Functions)其中其中b i1,b i2,b im为取自为取自b1,b2,bn的允许元素重复的排列,这种排列的允许元素重复的排列,这种排列总数为总数为n m个。因此,上述形式的表恰有个。因此,上述形式的表恰有n m张,张,恰对应全部恰对应全部n m个个A到到B的函数。的函数。第第5章章 函数(函数(Fun
13、ctions)由于上述缘故,当由于上述缘故,当A,B是有穷集合时,我是有穷集合时,我们以们以B A记所有记所有A到到B的全体函数的集合:的全体函数的集合:B A=f|f:AB 则则|B A|=|B|A|。特别地特别地AA表示表示A上函数的全体。目前在上函数的全体。目前在计算机科学中,也用计算机科学中,也用AB替代替代B A。第第5章章 函数(函数(Functions)例例3中,中,B A=f1,f2,f9,|B A|=9,A B=g1,g2,g8,|A B|=8。该定理当该定理当X或或Y中至少有一个集合是空集时,中至少有一个集合是空集时,可分成下面两种情况:可分成下面两种情况:(1)当当X 时
14、,时,X到到Y的空关系为一函数,的空关系为一函数,称为空函数,即称为空函数,即YX=。(2)当当X 且且Y=时,时,X到到Y的空关系不是的空关系不是一个函数,即一个函数,即YX=X=。第第5章章 函数(函数(Functions)小结小结:本结介绍了函数的概念。重点掌握本节本结介绍了函数的概念。重点掌握本节定义的函数与以往函数及一般关系的不同之处。定义的函数与以往函数及一般关系的不同之处。第第5章章 函数(函数(Functions)定义定义5.2.1 给定函数给定函数 f:XY,(1)如果函数如果函数 f 的值域的值域 Ran f=Y,即,即Y的每一个的每一个元素都有原像元素都有原像,则称则称
15、f:XY为为满射函数满射函数(surjection),满射函数也称映上的函数。满射函数也称映上的函数。(2)对于任意对于任意 x1,x2X,若若 x1x2则有则有f(x1)f(x2),或者当或者当 f(x1)=f(x2)时必有时必有x1=x2,则称则称 f 为为单射函数单射函数(injection),单射函数也称一对一的单射函数也称一对一的函数。函数。5.2 特殊映射特殊映射(Special Mappings)第第5章章 函数(函数(Functions)(3)f:XY。如果它既是满射,又是单射,。如果它既是满射,又是单射,则称则称 f 为双射函数(为双射函数(bijection),双射函数也称
16、一双射函数也称一一对应。一对应。由定义不难看出,如果由定义不难看出,如果 f:XY是满射,则是满射,则对于任意的对于任意的yY,都存在都存在xX,使得使得y=f(x);如果如果 f:XY是单射的,则对于任意的是单射的,则对于任意的y Ran f,都存在唯一的都存在唯一的 xX,使得使得y=f(x)。图图5.2.1说明了这三类函数之间的关系。注意,说明了这三类函数之间的关系。注意,既非单射又非满射的函数是大量存在的。既非单射又非满射的函数是大量存在的。第第5章章 函数(函数(Functions)图图 5.2.1 既非单射又非满射单射双射满射YX第第5章章 函数(函数(Functions)【例例1
17、】对于给定的对于给定的 f 和集合和集合A,请判断,请判断 f 性质性质 (类型类型);并求;并求A在在 f 下的像下的像f(A)。(1)f:R R,f(x)=x,A=8 (2)f:NNN,f(x)=x,x+1,A=2,5 (3)f:ZN,f(x)=|x|,A=-1,2 (4)f:S R,,S=0,+),A=0,7)(5)f:0,1a,b,a b,f(x)=(b-a)x+a,A=0,1/2)1()1f xx第第5章章 函数(函数(Functions)解解:(1)f是双射,是双射,f(A)=f(8)=8 (2)f是单射,是单射,f(A)=f(2,5)=2,3,5,6 (3)f是满射,是满射,f(
18、A)=f(-1,2)=1,2 (4)f是单射,是单射,f(A)=f(0,7)=(1/8,1 (5)f是双射,是双射,f(A)=f(0,1/2)=a,(a+b)/2)第第5章章 函数(函数(Functions)定理定理5.2.1 设设A,B是有穷集合,是有穷集合,|A|=|B|,则,则f:AB是单射的充分必要条件是是单射的充分必要条件是 f 是满射。是满射。证明证明 先证必要性。先证必要性。设设f是单射,则是单射,则|A|=|f(A)|=|B|。因为。因为 f(A)B,而,而B是有穷集合,所以是有穷集合,所以f(A)=B,故,故f是满射。是满射。第第5章章 函数(函数(Functions)再证充
19、分性。再证充分性。设设f是满射,则是满射,则f(A)=B,从而从而|f(A)|=|B|。反设。反设 f 不是单射,则必存在不是单射,则必存在x1,x2A,x1x2且且 f(x1)=f(x2).又因为又因为A是有穷集合,于是是有穷集合,于是|f(A)|A|-1|B|。与。与|f(A)|=|B|矛盾。所以矛盾。所以f是是单射。单射。第第5章章 函数(函数(Functions)说明说明:(1)设)设 f:XY,如果存在如果存在cY,使得对所有的,使得对所有的xX都有都有f(x)=c,则称,则称f:XY是常函数。是常函数。(2)任意集合)任意集合A上的恒等关系上的恒等关系IA为一函数,常为一函数,常称
20、为恒等函数,因为对任意称为恒等函数,因为对任意xA都有都有IA(x)=x。注意注意:定理定理5.2.1 只对只对X和和Y 是有限集合的情形成立是有限集合的情形成立,在无限集合上不一定有效。在无限集合上不一定有效。例如例如:f:ZZ,f(x)=2x.则则 f 是单射是单射,但不是满射但不是满射.第第5章章 函数(函数(Functions)(3)设设A为集合,对于任意的为集合,对于任意的AA,A的的特征函数特征函数 :A0,1 定义为定义为10AaAaAAAx(4)设设R是是A上的等价关系,令上的等价关系,令 g:AA/R aA,g(a)=,其中其中 是由是由a生成的等价类,生成的等价类,则称则称
展开阅读全文