复合函数是按一定次序把有限个函数合成得到的函数,对两个函数f:A→B,g:B→C,由h(x)=g(f(x))(x∈A)确定的函数h称为f与g的复合函数,记为g°f,这样,g°f是A到C的函数,(g°f)(x)=g(f(x)),它的值域是g(f(A)),记号“°”表示两个函数的复合,它是二元运算.这个运算不满足交换律,即一般来说g°f≠f°g,但它满足结合律:对f:A→B,g:B→C,h:C→D,有h°(g°f)=(h°g)°f,于是可以定义h°g°f=h°(g°f)=(h°g)°f,一般地,对n+1个满足Bi⊆Ai+1(i=1,2,…,n)的函数fi:Ai→Bi(i=1,2,…,n+1)可以定义n重复合函数fn+1°fn°…°f1,任给两个函数f:A→B,g:C→D,当且仅当f(A)⊆C时可以得到复合函数g°f:A→D;当且仅当g(C)⊆A时可以得到f°g:C→B,当函数用变量表示为t=f(x),y=g(t),且f的值域含于g的定义域时,称t为复合函数y=g(f(x))的中间变量,函数的复合是研究函数的一种工具,一方面它提供了构造各式各样的新函数的方法;另一方面,为研究复杂的函数,常将它们看成一些简单函数的复合(求函数的导数时常这样做)1。
定义设有定义在由集合A到集合B的函数 和定义在集合B到集合C上的函数 ,则 和 的复合函数是一个由集合A到集合C的函数,记为 (或记为 )。
对于任意一个元素 ,有 ,也就是说,如果 是 在函数 作用下的像,并且 是元素b在函数 作用下的像,那么集合C中的元素c就是 在复合函数 作用下的像2。
复合函数的定义域与值域在上述复合函数的定义中,要求函数 的值域包与函数g的定义域相等。实际上,对该条件可以适当放宽,即只要求函数 的值域 是函数g的定义域的子集就可以了。也就是说.若有函数 和函数 ,并且有f(A)是集合C的子集,则同样可以定义一个由集合A到集合D的复合函数g·f。但是,如果 不是集合C的子集,那么,复合函数 就没有意义了。因此,在上述定义的条件下,尽管复合函数 有意义,但是 不一定有意义,即使 与 都有意义,二者也不一定相等。
例1 设集合 ,集合 ,集合 ,定义在集合A到集合B上的函数 , ,定义在集合B到集合C上的函数 ,求复合函数 。
根据复合函数的定义不难求出
例2设集合 ,并且在由集合A到A自身上定义两个函数 和函数 :
求复合函数 。
**解:**根据复合函数的定义有:
由于函数的复合运算是关系的复合运算的一种特殊情形,因此关系的复合运算中成立的性质,对于函数的复合运算也是成立的。例如,对于任意一个函数,有。又例如,设有三个函数,根据定义不难看出,这些函数可以构成复合函数,进而可以构成复合函数,可以看出,这两个复合函数都是由集合A到集合D的函数。又由于关系的复合运算满足结合律,因此,函数的复合运算也满足结合律,因此,可以得出以下定理2。
相关定理定理1 设对于任意给定的三个函数 ,则有 。
定义 设有定义在集合A到A自身的函数 ,且 ,则称函数 为幂等函数。例如,定义在正整数集的幂集上的函数 ,将其定义为 ,则根据函数 的定义,对于任意一个 为S中所有的素数组成的集合,记为 。而又由于 ,所以 ,因此这里定义的函数 是一个幂等函数。
如果函数 是幂等函数,那么对于所有的正整数n≥1,都有 。
定理 设有函数 和函数 ,那么:
(1) 如果 和 都是单射函数,则复合函数 也是单射函数;
(2) 如果 和 都是满射函数,则复合函数 也是满射函数;
(3) 如果 和 都是双射函数,则复合函数 也是双射函数。
定理 设有函数 和函数 ,那么:
(1) 如果复合函数 是单射函数,则函数 是单射函数;
(2) 如果复合函数 是满射函数,则函数g是满射函数;
(3) 如果复合函数 是双射函数,则函数 是双射函数,函数g是满射函数2。
本词条内容贡献者为:
尚华娟 - 副教授 - 上海财经大学