离散数学电子教材(共30页).doc
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_05.gif)
《离散数学电子教材(共30页).doc》由会员分享,可在线阅读,更多相关《离散数学电子教材(共30页).doc(30页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、精选优质文档-倾情为你奉上第4章 映射(函数)映射(函数)是一个基本的数学概念,它是一个特殊的二元关系,我们可以把映射看作输入输出关系,它把一个集合(输入集合)的元素变成另一个集合(输出集合)的元素。例如,计算机中的程序可以把一定范围内的任一组数据变化成另一组数据,它就是一个映射。映射的概念经常出现在开关理论、自动机理论和可计算理论等领域中,在计算机科学中有着广泛的应用。4.1 映射(函数)的概念考虑下面几个由图 4-1所示的集合到集合的关系。图 4-1在这个关系中, 后个关系,与,不同, 它们都有下面两个特点: (1) 其定义域为;(2) 中任一元素对应唯一一个中的元素。 我们称具有这样两个
2、特征的关系为映射(函数)。定义4.1.1 设是两个任意的集合,而是到的一个关系,若对每一个,都存在一个唯一的,使得,则称关系为到的映射(Mapping),记作 或若,则称为自变量(Independent Variable),称为映射在处的值(或像(Image),亦可记作,的值域ran,有时也记为,即或记为集合称为的共域,亦称为映射的像集合。对于,称为的像(Image of ),定义为 显然,,。映射是到的特殊的二元关系,其特殊性在于:(1)dom,即关系的前域是本身,而不是的真子集。(2) 若,则映射在处的值是唯一的,即例4.1.1 设,且有,求 dom、和。解 dom ran 例4.1.2
3、判别下列关系中哪个构成映射。(1)(2)(3)(4)(5)为小于的素数个数(6)(7)(8)解 (1)构成映射。(2),即值不唯一,故不构成映射。(3)因为不能取定义域中所有的值,且对应很多,故不构成映射。(4)因为不能取定义域中所有的值,故不构成映射。(5)构成映射。(6)构成映射。(7)因为对,值不唯一,故不构成映射。(8)因为对,值不唯一,故不构成映射。例4.1.3 下列集合中,哪些是映射?并求映射的定义域和值域。(1)(2)(3)(4)解 (1)是映射。dom,(2)是映射。dom ,(3)不是映射。(4)是映射。dom ,请注意区别的像和的像两个不同的概念。的像,而像。关于像有下列性
4、质:定理4.1.1 设为到映射,对任意,有(1);(2);(3)。证明 (1)对任一, 因此,。(2)、(3)的证明请读者完成。注意:(2)、(3)中的“”不能用“=”代替。下面我们举例说明。 例4.1.4 设,如图 4-2所示。那么, 图 4-2 例4.1.4图由于映射归结为关系,因而映射的表示及运算可归结为集合的表示及运算,映射的相等的概念、包含概念,也便归结为关系相等的概念及包含概念。定义4.1.2 设,如果,且对于所有,有,则称映射和相等,记作。如果,且对于所有,有,则称映射包含于,记作。事实上,当不强调映射是定义在哪个集合上的时候,由于映射是序偶的集合(特殊的关系),所以f = g的
5、充分必要条件是且。从映射的定义可以知道的子集并不能都成为到的映射。例如,设, ,有个可能的子集,但其中只有个子集为从到的映射:,同理可知,从到可定义个不同的映射:,一般地,设和都为有限集,分别有和个不同元素,由于从到任意一个映射的定义域是,在这些映射中每一个恰有个序偶。另外任何元素,可以有的个元素中的任何一个作为它的像,故共有个不同的映射。在上例中,故从到有个不同的映射,从到有个不同的映射。今后我们用符号表示从到的所有映射的集合,甚至当和是无限集时,也用这个符号,即则有。特别地表示集合上映射的全体。习题4.11指出下列各关系是否为到的函数:(1),(2)(实数集), (3),(4)设,。2设,
6、求证:(1)为到的函数当且仅当。(2)为到的函数当且仅当。3设为一函数,计算,。4设,为:,求,。4.2 特殊映射定义4.2.1 设,(1)如果ran,即的每一个元素都是中一个或多个元素的像,则称这个映射为满射(Surjection)(或到上映射)。(2)如果对于任意,若,则有,则称这个映射为入射(Injection)(或单射)。(3)若既是满射又是入射,则称是双射(Bijection)。 双射也称为11对应(One To One Mapping)。由定义不难看出,如果是满射,则对于任意,必存在,使得成立;如果是入射,则中没有两个不同元素有相同的像,即对于任意,。图 4-3说明了这三类映射之间
7、的关系。注意,既非单射又非满射的函数是大量存在的。 图 4-3例4.2.1 (1)设,如果定义为则是满射的。(2)定义为,则这个函数是入射,但不是满射。(3)令表示实数的闭区间,即,定义为:则这个映射是双射。例4.2.2 在图4-4中,、是满射,、是入射,是双射。 图4-4例4.2.3 设是自然数集,下列映射哪些是满射、入射、双射。(1),。(2),。(3),(4),(5),(6),。(7),解:(1)入射。(2)一般映射(既非满射,也非入射)。(3)一般映射(既非满射,也非入射)。(4)满射。(5)不是映射,无定义。(6)一般映射(既非满射,也非入射)。(7)不是映射,无定义。定理4.2.1
8、 令和为有限集,若和的元素个数相同,即,则是入射的,当且仅当它是一个满射。证明 (1)若是入射,则。从的定义我们有,而,因为是有限的,故,因此,是一个满射。(2)若是一个满射,则,于是。因为和是有限的,所以,是一个入射。 这个定理必须在有限集情况下才能成立,在无限集上不一定有效,如,这里,在这种情况下整数映射到偶数,显然这是一个入射,但不是满射。另外,还有两个特殊而又重要的映射常映射和恒等映射。定义4.2.2 (1)设,如果存在,使得对所有的都有,即,则称是常映射。(2)任意集合上的恒等关系为一映射,常称为恒等映射,因为对任意都有,即 。对任意,有,故是入射;且,是满射。所以,是双射。习题4.
9、21设分别表示正整数集、整数集、实数集、复数集,试指出下列映射中哪些是单射、满射、双射,并写出定义域和值域。(1) 为。(2) 为。(3) 为。(4) 为。(5) 为。(6) 为(其中为一常数)。2下列关系中哪些能构成映射?。(1),其中为自然数集。(2),其中为实数集。(3) ,其中为实数集。3下列集合能定义成映射吗?如能,试求出它们的定义域及值域。(1)。(2)。(3)。(4)4设映射,这里,(1)定义了何种关系?(2) 的值域是什么?(3)有多少与具有同样定义域和陪域的不同映射?。(4)设的映射且,问可能是单射吗?可能是双射吗?(5)证明存在一个从到的单射,其中为任意集合。(6)设与均是
10、有限集且有个元素,有个元素,说明下列断言为真时,和必须成立的关系:1) 存在从到的单射。2) 存在从到的满射。3) 存在从到的双射。4.3 复合映射和逆映射4.3.1 复合映射因为映射是一种特殊的关系,所以和关系一样也有复合运算。定义4.3.1 设映射,若,则称在映射的左边可复合。对于映射的复合我们有下面的定理:定理4.3.1 设,在映射的左边可复合,即,则是一个映射。证明 (1) 对于任意,因为为映射,故必有唯一的序偶,使成立,而即,又因为是映射,故必有唯一序偶,使成立,根据复合定义,即中每个对应中某个。(2) 假定中包含序偶和,这样在中必存在和,使得在中有和,在中有和。因为是一个映射,故;
11、又因为是一个映射,故,即每个只能有唯一的。由(1)、(2)可知是一个映射。在定义4.3.1中,当时,则映射称为映射与映射的复合映射,或称为对的左复合。注意:在定义4.3.1中,假定random,如果不满足这个条件,则定义为空。根据复合映射的定义,显然有。例4.3.1 设。, ,求。解 例4.3.2 设,均为实函数,。求,。解 所以 定理4.3.2 设是一个复合映射。(1)若和是满射,则是满射。(2)若和是入射,则是入射。(3)若和是双射,则是双射。证明 给定集合,(1),因为是满射,故,使得;又因为是满射,故,使得,所以,即,使得。因此,是满射。(2)对,因为是入射,故;又因为是入射,故,于是
12、所以,是入射。(3)因为和是双射,根据(1)和(2),为满射和入射,即是双射。定理4.3.3 设是一个复合映射。(1)若是满射,则是满射。(2)若是入射,则是入射。(3)若是双射,则是满射,是入射。证明 设 ,。(1) 因为是满射,则,使,故使得,可见,所以是满射。(2)设且。因为是入射,故 ,即,因为是一个映射,则,即所以,是入射。 (3)是双射,则是满射且是入射。是满射,由(1)可知是满射;是入射,由(2)可知是入射。由于映射的复合仍然是一个映射,故可求三个以上映射的复合。例4.3.3 设为实数集合,对,有, 求,与。解: , 所以有一般地,有如下定理。定理4.3.4 设有函数,和,则有证
13、明 这可由关系的复合的可结合性得出,这里我们直接由映射相等的定义证明。 首先和都是到的函数。另外对任一, 有 由元素的任意性,有 由此可见,映射的复合运算满足结合律,因此多个映射复合时可去掉括号,对3个映射的复合即有。若有,则 仍为到的映射,简记为,一般地 简记为。显然注意:映射的复合运算不满足交换律。例4.3.4 (1)设,则,。所以 。映射的复合运算还有如下明显的性质:定理4.3.5 设映射,则 。 证明 对,有 ,则 所以, 当时,有 4.3.2 逆映射在关系的定义中曾提到,从到的关系,其逆关系是到的关系,但是,对于映射就不能用简单的交换序偶的元素而得到逆映射,这是因为若有映射,但的值域
14、可能只是的一个真子集,即,此时,dom ,这不符合映射对定义域的要求。此外,若的映射是多对一的,即有,其逆关系将有,这就违反了映射值唯一性的要求。为此,有如下定理:定理4.3.6 设是一个双射,那么是的双射。证明 设 ,因为是满射,故对每一,必存在,所以,即的前域为。又因为是入射,对每一个恰有一个,使,即仅有一个,使,对应唯一的,故是映射。因为ran dom ,所以,是满射。又设时,有,令,则,故,即,与假设矛盾。所以,即是单射。因此,是一个双射。定义4.3.2 设是一双射,称的双射为的逆映射,记作。例如,设。若为:,则有,。若 , 则的逆关系 就不是一个函数。再如,则。函数的逆具有下面一些重
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 电子 教材 30
![提示](https://www.taowenge.com/images/bang_tan.gif)
限制150内