离散数x学v08.pptVIP

定理8.2 设 f：A→B，g：B→C。 （1）如果 f：A→B， g：B→C都是满射的， 则f?g：A→C 也是满射的。 （2）如果 f：A→B， g：B→C都是单射的，则f?g：A→C也 是单射的。 （3）如果 f：A→B， g：B→C都是双射的，则f?g：A→C也 是双射的。 分析 说明 函数的复合运算的性质 该定理说明函数的复合能够保持函数单射、满射、双射的性质。 定理8.2的证明 (1)如果f：A→B，g：B→C都是满射的，则f?g：A→C也 是满射的。 证明： 任取c∈C， 由g：B→C的满射性，所以 ?b∈B使得g(b)=c。 对于这个b，由f：A→B的满射性，所以?a∈A使得f(a)=b。 由合成定理有 f?g(a) ＝ g(f(a))＝g(b)＝c 所以，f?g：A→C是满射的。 定理8.2的证明 (2)如果f：A→B，g：B→C都是单射的，则f?g：A→C也是 单射的。 证明：假设存在x1, x2∈A使得 f?g(x1)＝f?g(x2)，由合成定理有 g(f(x1))=g(f(x2)) 因为g：B→C是单射的，故f(x1)＝f(x2)。 又由于f：A→B也是单射的，所以x1＝x2。 所以，fog：A→C是单射的。 (3)如果f：A→B， g：B→C都是