离散数学-4-1 函数及概念revised.ppt

第四章 函数 4-1 函数的概念 授课人：李朔 Email:chn.nj.ls@ 函数是一个基本的数学概念，在通常的函数定义中，y=f(x)是在实数集合上讨论，我们这里把函数概念予以推广，把函数看作是一种特殊的二元关系。 可以把函数看作输入输出关系，它把一个集合（输入集合）的元素变成另一个集合（输出集合）的元素。 例如，计算机中的程序，可以把一定范围内的任一组数据（输入数据）变化成另一组数据（输出数据），它就是一个函数。 一．函数 函数也称作映射，它是一种特殊的二元关系，以前讨论的集合和关系的有关运算和性质对函数完全适用。 定义4.1.1 设X, Y为两个集，f为X到Y的一个关系。若对于每一个x?X，有唯一的y?Y，使得x, y?f，称关系f为函数，记作 f: X?Y 或 假如x,y?f，则x称为自变元，y称为在f作用下x的象，x,y?f 也可记作 y=f(x) 由所有x?X的象构成的象集合称为函数的值域ran f，即 ran f=f(X)={f(x)|x?X}?Y 一．函数 函数的定义可以知道它与关系有别于以下两点。 a. 函数定义域是X，而不是X的某个真子集。即任意x?X都有象y?Y存在（象存在性）。 b.一个x?X只能对应于唯一的一个y。即如果f(x)=y且f(x)=z，则y=z。 （象唯一性） *通常把函数f看成一个映射规则，它把X的每一个元素变换为Y的一个元素，因而从X到Y的函数也叫从X到Y的映射。 一．函数 f的前域即为定义域，记domf =X f的值域：ranf ? Y,有时也记为Rf(= {y|(? x)((x∈ X) ∧ (y=f(x)) 集合Y称为f的共域，ranf也称为函数的象集合。 例如：X={x1,x2,x3},Y={y1,y2} f1 = {x1, y1, x2, y1, x3, y2}是函数， 而f2 = {x1, y1, x1, y2, x2, y1, x3, y2}不是函数。 例1 设X={1，5，p，张明}，Y={2，q，7，9，G}，f={1，2，5，q，p，7，张明，G} 即：f(1)=2，f(5)=q，f(p)=7，f(张明)=G， 故：dom f=X,Rf={2，q，7，G} 例2 设A是房子的集合，B是不同颜色油漆的集合，那么，油漆房子的一种颜色的分配方案是A到B的一个函数， 即f：A→B 其中dom f=A,ran f ? B。 例3：判定下列关系哪个能构成函数 1）f = {x1, x2? x1, x2?N, 且x1+x210} 2）f = {y1, y2? y1, y2?R, 且y22= y1 } 3）f = {x1, x2? x1, x2?N, x2为小于x1素数个数} 答案： 1）因为x1不能取定义域中所有的值，且x1对应很多x2，故这个关系不能构成函数。（违反象存在性与象唯一性） 2）因为一个y1对应两个y2，故也不是函数。（违反象唯一性） 3）可以构成函数。 一．函数 函数是序偶的集合，但X?Y的子集并不能都为函数。 例：X={a, b, c}, Y={0, 1}而X?Y有26个不同子集，但其中仅有23个可以构成函数，即： f0 = {a, 0, b, 0, c, 0} f1 = {a, 0, b, 0, c, 1} f2 ={a, 0, b, 1, c, 0} f3 = {a, 0, b, 1, c, 1} f4 = {a, 1, b, 0, c, 0} f5 = {a, 1, b, 0, c, 1} f6 = {a, 1, b, 1, c, 0} f7 = {a, 1, b, 1, c, 1} 一．函数 因为函数是序偶的集合，故两个函数相等可用集合相等的概念予以定义 P148 定义4-1.2 设函数f: A?B，g: A?B，如果A=C，B=D，且对于所有x?A和x?C有f(x)=g(x)，则称函数f和g相等，记作f=g。 下面讨论函数的几类特殊情况： 定义4-1.3 设f: X?Y，如果ranf =Y，即Y中每个元都是X中一个或多个元素的象点，则f称为满射（或到上映射）。 例如，A={a,b,c,d},B={1,2,3},如果f ：A→B为 f (a)=1，f (b)=1，f (c)=3，f (d)=2 则f 是满射的。 一．函数 定义4-1.4 设f: X?Y，若对于任何x1, x2?X, x1 ?x2，都有f (x1) ? f (x2)，则称f为入射（单射或一对一映射）。（即X中没有两个元素有相同的象） 该定义等价于：若有f (x1) = f (x2)，则x1= x2 例如，函数f ：{a,b}→{2,4,6}为 f (a)=2，f (b