[离散数学课件-谢美萍]第3章函数.pptVIP

第三章 函数 主要内容： 函数是数学中的最基本概念之一。在高等数学中，函数的定义域与值域都是在实数集上讨论的，即自变量与函数值都是实数的函数。本章将把函数的定义域与值域推广到离散的情况。值得注意的是，函数也是关系的一种特殊形式。本章主要介绍三个与函数相关的内容： 函数的基本概念 特殊函数? 复合函数与逆函数 3.1函数的基本概念 在离散数学中，任何对象，包括集合都可以做自变量或函数值，并且函数仅指单值函数，也没对两个集合的元素作任何特殊限制。 关系在现实世界和信息世界中的表示 定义3.1 设f是集合A到B的关系，如果对每个x?A，都存在唯一y?B，使得(x,y)?f，则称f关系为A到B的函数（或映射、变换），记为f :A?B。当(x,y)?f时，通常记为y=f(x)，这时称x为函数的自变量，称y为x在f下的函数值（或象）。 由函数的定义显然有： （1）dom(f)=A，称为函数f的定义域； （2）ran(f)?B，称为函数f的值域，B称为函数f的陪域， ran(f)也可记为f(A)，并称f(A)为A在f下的象； （3）(x,y)?f， (x,z)?f ?y=z； （4）|f|=|A|。 例3.1 设集合A={1,2,3}，集合B={a,b,c}，判断下列各式是否是函数？ (1) (2) (3) 例3.2 : （1）任意集合A上的恒等关系IA是一个函数，常称为恒等函数，并且IA(x)=x（对任意x?A）。 （2）自然数集合上的m倍关系是一个函数，若用f表示这一关系，那么f :N?N，可表示为：y= f(x)=mx。 函数的表示方法： （1）列表法：由于函数具有“单值性”，即对任一自变量有唯一确定的函数值，因此可将其序偶排列成一个表，将自变量与函数值一一对应起来。列表法一般适用于定义域为有限集合的情况。 （2）图表法：用笛卡尔平面上点的集合表示函数。与列表法一样，图表法一般适用于定义域有限的情况。 （3）解析法：用等式y=f(x)表示函数，这时可认为y=f(x)为函数的“命名式”，有别于“y是f在x处的值”。 y=f(x)具有双重意义，可依上下文加以区别。 定义3.2 设函数f:A?B与g:C?D，如果A=C，B=D，并且对任意的a?A或a?C ，都有f(a)=g(a)，则称函数f与g相等，记作f=g。 函数相等的条件： 定义3.3设A,B,C是3个非空集合，函数f:A?B，A?C，f在C-A上无定义，则称f是C到B的偏函数。 定义3.4设A,B,C是3个非空集合，函数f:A?B ；g:B ? C，如果C?A ，且对于所有的a?C，有f(a)=g(a)，则称g是f的限制，f是g的扩充。 如果g是A到B的偏函数，当对g无定义处规定一个值，即对g作一补充定义，即可构造出g的一个扩充。 例3.3 设Z是整数集，并定义函数f:Z?Z ，设f={(x,2x+1)|x?Z}，且N?Z为自然数集合，求f在Z上的限制。 解： 先写出f的集合表示形式如下： f={…,(-1,-1),(0,1),(1,3),…} 因此，f在自然数集N上的限制为： g={(0,1),(1,3),…} 定义3.5设A,B是非空集合，所有从A到B的函数记作BA，读作“B上A”，符号化表示为： BA ={f| f:A?B} 。 定理3.1设A,B是非空有限集合，则从A到B共有|B||A|个不同的函数。 证明 设|A|=n，|B|=m。函数是f从A到B的任一函数，并且f由A中的n个元素的取值唯一确定，对于A中的任一元素， f在该元素处的取值都有m种可能，因此从A到B可以定义m · m·…m= |B||A|个不同的函数。 例3.4 设集合A={1,2}，集合B={a,b,c}，则从A到B共有9个函数，分别表示如下： 定理3.2 设A,B,X,Y是非空集合，f:X?Y且 A?f(X)， B?f(X) ，则 （1） （2） 证明： （1） 先证明f(A∪B)?f(A)∪f(B)。 对任意的y∈f(A∪B)，存在x∈A∪B，使得 y=f(x) 即x∈A或x∈B时，有y=f(x)，因此f(x)∈f(A)或f(x)∈f(B)，当y∈f(A)∪f(B)时，则 f(A∪B)?f(A)∪f(B) 再证明f(A)∪f(B) ? f(A∪B)。 对任意的y∈f(A)∪f(B)，有y∈f(A)或y∈f(B)，因此在集合A，B中至少有一个集合里有一个x，使得 y=f(x) 即y=f(x)∈f(A∪B)，则 f(A)∪f(B) ? f(A∪B) 因此 f(A∪B)=f(A