离散数学教材(胡海涛版)第4章.pptVIP

这个定理必须在有限集情况下才能成立，在无限集上不一定有效，如f: Z→Z，这里f(x)=2x，在这种情况下整数映射到偶数，显然这是一个入射，但不是满射。 另外，还有两个特殊而又重要的函数——常函数和恒等函数。 定义4.4 （1）设f: X→Y，如果存在c?Y，使得对所有的x?X都有f(x)=c，即f(X)=c，则称f: X→Y是常函数。 （2）任意集合X上的恒等关系Ix为一函数，常称为恒等函数，因为对任意x?X都有Ix(x)=x，即 Ix={x, x|x?X}。 对任意x1≠x2，有Ix(x1)≠Ix(x2)，故Ix是入射；且 ，Ix是满射。所以，Ix是双射。 因为函数是一种特殊的关系，所以和关系一样也有复合运算。 4.2.1 复合函数 定义4.5 设函数f: X→Y，g: W→Z，若f(X)?W，则 g f={x,z|x?X?z?Z?(?y)(y?Y?y=f(x)?z=g(y))} 称g在函数f的左边可复合。 对于函数的复合，有下面的定理： 因为函数是一种特殊的关系，所以和关系一样也有复合运算。 定理4.2 设f: X→Y，g: W→Z，g在函数f的左边可复合，即f(X)?W，则g f是一个X→Z函数。 证明：(1) 对于任意x?X，因为f为函数，故必有惟一的序偶x, y，使y=f(x)成立，而f(x)?f(X)即f(x)?W，又因为g是函数，故必有惟一序偶y, z，使z=g(y)成立，根据复合定义，x, z?g f，即X中每个x对应Z中某个z。 (2) 假定g f中包含序偶x, z1和x, z2，这样在Y中必存在y1和y2，使得在f中有x, y1和x, y2，在g中有y1, z1和y2, z2。因为f是一个函数，故y1= y2；又因为 是一个函数，故z1= z2，即每个x?X只能有惟一的x, z?g f。 由(1)、(2)可知g f是一个函数。 在定义4.5中，当W=Y时，则函数 g f={x, z|x?X?z?Z?(?y)(y?Y?y=f(x)?z=g(y))} 称为函数f与g的复合函数，或称g f为g对f的左复合。 注意：在定义4.5中，假定ran f?dom g，如果不满足这个条件，则定义g f为空。 根据复合函数的定义，显然有g f(x)=g(f(x))。 例4.4 设X={1, 2, 3, 4}, Y={1, 2, 3, 4, 5}, Z={1, 2, 3}。 f: X→Y, f={1, 2, 2, 1, 3, 3, 4, 5} g: Y→Z, g={1, 1, 2, 2, 3, 3, 4, 3, 5, 2} 求g f。 解： g f={1, 2, 2, 1, 3, 3, 4, 2} 例4.5 设f，g均为实函数，f(x)=2x+1，g(x)=x2+1。求f g，g f，f f，g g。 解： f g(x)=2(x2+1)+1=2x2+3 g f(x)=(2x+1)2+1=4x2+4x+2 f f(x)=2(2x+1)+1=4x+3 g g(x)=(x2+1)2+1=x4+2x2+2 所以 f g={x, 2x2+3|x?R} g f={x, 4x2+4x+2|x?R} f f={x, 4x+3|x?R} g g={x, x4+2x2+2|x?R} 定理4.3 设g f是一个复合函数。 （1）若f和g是满射，则g f是满射。 （2）若f和g是入射，则g f是入射。 （3）若f和g是双射，则g f是双射。 证明：给定集合X，Y，Z，f: X→Y，g: Y→Z， （1）?z?Z，因为g是满射，故?y?Y，使得g(y)=z；又因为f是满射，故?x?X，使得f(x)=y，所以，g f(x)=g(f(x))=g(y)=z 即?z?Z，?x?X，使得g f(x)=z。因此，Rg f=Z，g f是满射。 （2）对?x1, x2?X，x1≠x2，因为f是入射，故f(x1)≠f(x2)；又因为g是入射，故g(f(x1))≠g(f(x2))，于是 x1≠x2?g f(x1)≠g f(x2) 所以，g f是入射。 （3）因为f和g是双射，根据（1）和（2），g f为满射和入射，即g f是双射。 定理4.4 设g f是一个复合函数。 （1）若g f是满射，则g是满射。 （2）若g f是入射，则f是入射。 （3）若g f是双射，则g是满射，f是入射。 证明：设f: X→Y，g: Y→Z，g f: X→Z。 （1） 因为g f是满射，则Rg f=Z，?z?Z，?x?X，使g f(x)=z，故?y?Y 使得y=f(x)，z=g(y)，可见，Rg=Z，所以g是满射。 （2）设x1, x2?X且x1≠x2。因为g f是入射，故g f(x1)≠g f(x2)，即g(f(x1))≠g(f(x2)