版权归原作者所有,如有侵权,请联系我们

[科普中国]-关于函数的复合运算

科学百科
原创
科学百科为用户提供权威科普内容,打造知识科普阵地
收藏

复合函数是按一定次序把有限个函数合成得到的函数,对两个函数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。

本词条内容贡献者为:

尚华娟 - 副教授 - 上海财经大学