离散数学_第三篇_二元关系_第8章_函数.pptVIP

第三篇 二元关系 第8章 函数 8.0 内容提要 8.1 本章学习要求 8.2函数 8.2.1函数的定义 定义8.2.1 设f是集合A到B的关系，如果对每个x∈A，都存在惟一的y∈B，使得x,y∈f，则称关系f为A到B的函数(Function)(或映射(Mapping)、变换(Transform))，记为f:A→B。 A为函数f的定义域，记为domf=A； f(A)为函数f的值域，记为ranf。 函数定义的示意图见图8.2.1。 结论 （1）x,y∈f?y=f(x)； （2）x,y∈f∧x,z∈f?y=z； （3）|f|=|A|； （4）f(x)表示一个变值，f代表一个集合，因此f≠f(x)。 如果关系f具备下列两种情况之一，那么f就不是函数： （1）存在元素a∈A，在B中没有象； （2）存在元素a∈A，有两个及两个以上的象。 例8.2.1 设A={1,2,3,4},B={a,b,c,d}，试判断下列关系哪些是函数。如果是函数，请写出它的值域。 （1）f1={1,a,2,a,3,d,4,c}； （2）f2={1,a,2,a,2,d,4,c}； （3）f3={1,a,2,b,3,d,4,c}； （4）f4={2,b,3,d,4,c}。 例8.2.1 解 （1）在f1中，因为A中每个元素都有唯一的象和它对应，所以f1是函数。其值域是A中每个元素的象的集合，即ranf1={a,c,d}； （2）在f2中，因为元素2有两个不同的象a和d，与象的唯一性矛盾，所以f2不是函数； （3）在f3中，因为A中每个元素都有唯一的象和它对应，所以f3是函数。其值域是A中每个元素的象的集合，即ranf3={a,b,c,d}； （4）在f4中，因为元素1没有象，所以f4不是函数。 例8.2.2 设P是接受一个整数作为输入并产生一个整数作为输出的计算机程序。令A=B=Z，则由P确定的关系fp定义如下： 如果m,n∈fp当且仅当输入m时，由程序P所产生的输出是n。 请判断fp是否为一函数。 例8.2.2 解 显然，fp是一个函数。因为，任意一个特殊的输入对应唯一的输出。 可用任意一个可能的输入集合A对应输出集合B而推广到一般情形的程序。所以，通常把函数看做输入－输出的关系。 例8.2.3 设A={a,b},B={1,2}，请分别写出A到B的不同关系和不同函数。 解 因为|A|=2,|B|=2，所以|A×B|=|A|×|B|=4，即A×B={a,1,a,2，b,1,b,2}，此时从A到B的不同的关系有24=16个。 例8.2.3 解（续） 分别如下： 函数与关系的差别 函数是一种特殊的关系，它与一般关系比较具备如下差别： 8.2.2函数的类型 定义8.2.2 设f是从A到B的函数， 对任意x1,x2∈A，如果x1≠x2，有f(x1)≠f(x2)， 则称f为从A到B的单射（不同的x对应不同的y)； 如果ranf＝B，则称f为从A到B的满射； 若f是满射且是单射，则称f为从A到B的双射。 若A＝B，则称f为A上的函数；当A上的函数f是双射时，称f为一个变换。 将定义8.2.2的描述数学化为 （1）f:A→B是单射当且仅当对x1,x2∈A，若x1≠x2，则f(x1)≠f(x2)； （2）f:A→B是满射当且仅当对y∈B，一定存在x∈B，使得f(x)=y； （3）f:A→B是双射当且仅当f既是单射，又是满射； （4）f:A→B是变换当且仅当f是双射且A=B。 例8.2.4 确定下列函数的类型。 （1）设A={1,2,3,4,5},B={a,b,c,d}。f:A→B定义为：{1,a,2,c,3,b,4,a,5,d}； （2）设A={1,2,3},B={a,b,c,d}。f:A→B定义为：f={1,a,2,c,3,b}； （3）设A={1,2,3},B={1,2,3}。f:A→B定义为f={1,2,2,3,3,1}； 例8.2.4 解 （1）因为对任意y∈B，都存在x∈B，使得x,y∈f，所以f是满射函数； （2）因为A中不同的元素对应不同的象，所以f是单射函数； （3）因为f既是单射函数，又是满射函数，所以f是双射函数。又因为A=B，所以f还是变换。 结论 设A，B为有限集合，f是从A到B的函数，则： f是单射的必要条件为|A|≤|B|； f是满射的必要条件为|B|≤|A|； f是双射的必要条件为|A|＝|B|。 定理8.2.1 设A，B是有限集合，且|A|=|B|，f是A到B的函数，则f是单射当且仅当f是满射。 证明必要性(?)： 设f是单射。显然，f是A到f(A)的满射，故f是A到f(A)的双射，因此|A|=|f(A)|。由|f(A)|=|B|，且f(A)?B，得f(A)=B，故f是A到B的满射。 定理8.2.1（续） 充分性(?)： 设f是满射。任取x1