定義
![關於函式的複合運算](/img/1/1e5/wZwpmLyMTO2IDMxgTN2IDN0UTMyITNykTO0EDMwAjMwUzL4UzL3UzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/8/497/wZwpmLyYjN3EjMxcjMzATN1UTM1QDN5MjM5ADMwAjMwUzL3IzLzQzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/8/778/wZwpmL2MzN5UzM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/9/ce6/wZwpmLyATN5UjM4QTOwADN0UTMyITNykTO0EDMwAjMwUzL0kzL1AzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/d/9a9/wZwpmL0gjM3cTNzkTMzATN1UTM1QDN5MjM5ADMwAjMwUzL5EzL1czLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/f/e60/wZwpmLxITMwMzMxcjMzATN1UTM1QDN5MjM5ADMwAjMwUzL3IzLyQzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
設有定義在由集合A到集合B的函式 和定義在集合B到集合C上的函式 ,則 和 的複合函式是一個由集合A到集合C的函式,記為 (或記為 )。
![關於函式的複合運算](/img/b/9ff/wZwpmL3MzN4IjM3IDO0YzM1UTM1QDN5MjM5ADMwAjMwUzLygzLygzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/4/a4a/wZwpmLwUTN0AjNyEjMzATN1UTM1QDN5MjM5ADMwAjMwUzLxIzL3QzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/6/d39/wZwpmLyQTMzETN4AjMzATN1UTM1QDN5MjM5ADMwAjMwUzLwIzL1MzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/b/9ff/wZwpmL3MzN4IjM3IDO0YzM1UTM1QDN5MjM5ADMwAjMwUzLygzLygzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/8/778/wZwpmL2MzN5UzM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/7/b31/wZwpmLwQDO0EzN2QjMzATN1UTM1QDN5MjM5ADMwAjMwUzL0IzL0YzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/9/ce6/wZwpmLyATN5UjM4QTOwADN0UTMyITNykTO0EDMwAjMwUzL0kzL1AzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/2/e11/wZwpmL2czNwATM4ADMwADN0UTMyITNykTO0EDMwAjMwUzLwAzLyMzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/0/3d3/wZwpmL1cjN1MTMyIzMzATN1UTM1QDN5MjM5ADMwAjMwUzLyMzLzYzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
對於任意一個元素 ,有 ,也就是說,如果 是 在函式 作用下的像,並且 是元素b在函式 作用下的像,那么集合C中的元素c就是 在複合函式 作用下的像 。
複合函式的定義域與值域
![關於函式的複合運算](/img/8/778/wZwpmL2MzN5UzM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/8/778/wZwpmL2MzN5UzM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/0/591/wZwpmLxUTMyITN1MjMzATN1UTM1QDN5MjM5ADMwAjMwUzLzIzL0QzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/1/1e5/wZwpmLyMTO2IDMxgTN2IDN0UTMyITNykTO0EDMwAjMwUzL4UzL3UzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/7/553/wZwpmL3MjN5ITM4kTMzATN1UTM1QDN5MjM5ADMwAjMwUzL5EzL1UzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/0/591/wZwpmLxUTMyITN1MjMzATN1UTM1QDN5MjM5ADMwAjMwUzLzIzL0QzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/0/3d3/wZwpmL1cjN1MTMyIzMzATN1UTM1QDN5MjM5ADMwAjMwUzLyMzLzYzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/0/3d3/wZwpmL1cjN1MTMyIzMzATN1UTM1QDN5MjM5ADMwAjMwUzLyMzLzYzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/b/360/wZwpmLyIDNycjM0EjMzATN1UTM1QDN5MjM5ADMwAjMwUzLxIzLxQzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/0/3d3/wZwpmL1cjN1MTMyIzMzATN1UTM1QDN5MjM5ADMwAjMwUzLyMzLzYzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/b/360/wZwpmLyIDNycjM0EjMzATN1UTM1QDN5MjM5ADMwAjMwUzLxIzLxQzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
在上述複合函式的定義中,要求函式 的值域包與函式g的定義域相等。實際上,對該條件可以適當放寬,即只要求函式 的值域 是函式g的定義域的子集就可以了。也就是說.若有函式 和函式 ,並且有f(A)是集合C的子集,則同樣可以定義一個由集合A到集合D的複合函式g·f。但是,如果 不是集合C的子集,那么,複合函式 就沒有意義了。因此,在上述定義的條件下,儘管複合函式 有意義,但是 不一定有意義,即使 與 都有意義,二者也不一定相等。
![關於函式的複合運算](/img/1/07d/wZwpmLxQTNwgTO0UzMzATN1UTM1QDN5MjM5ADMwAjMwUzL1MzL0czLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/a/d4e/wZwpmL0ETO2YDM5UzMzATN1UTM1QDN5MjM5ADMwAjMwUzL1MzL3IzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/f/b4d/wZwpmLyQzN5czM2UjMzATN1UTM1QDN5MjM5ADMwAjMwUzL1IzL3UzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/1/1e5/wZwpmLyMTO2IDMxgTN2IDN0UTMyITNykTO0EDMwAjMwUzL4UzL3UzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/a/71c/wZwpmL1UjM1MTN3EjMzATN1UTM1QDN5MjM5ADMwAjMwUzLxIzL1UzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/0/81c/wZwpmL2QTO3ETO4MzMzATN1UTM1QDN5MjM5ADMwAjMwUzLzMzL0QzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/0/3d3/wZwpmL1cjN1MTMyIzMzATN1UTM1QDN5MjM5ADMwAjMwUzLyMzLzYzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
例1 設集合 ,集合 ,集合 ,定義在集合A到集合B上的函式 , ,定義在集合B到集合C上的函式 ,求複合函式 。
![關於函式的複合運算](/img/c/2e4/wZwpmL0AjN3MDO5QDNzATN1UTM1QDN5MjM5ADMwAjMwUzL0QzLzQzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
根據複合函式的定義不難求出
![關於函式的複合運算](/img/1/07d/wZwpmLxQTNwgTO0UzMzATN1UTM1QDN5MjM5ADMwAjMwUzL1MzL0czLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/8/778/wZwpmL2MzN5UzM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/9/ce6/wZwpmLyATN5UjM4QTOwADN0UTMyITNykTO0EDMwAjMwUzL0kzL1AzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
例2設集合 ,並且在由集合A到A自身上定義兩個函式 和函式 :
![關於函式的複合運算](/img/1/633/wZwpmLwgTOyEzM2YjMzATN1UTM1QDN5MjM5ADMwAjMwUzL2IzL3UzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/b/2a4/wZwpmL2YTN1cDN4AzMzATN1UTM1QDN5MjM5ADMwAjMwUzLwMzLxIzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
求複合函式 。
解:根據複合函式的定義有:
![關於函式的複合運算](/img/7/d34/wZwpmLyMDO3MjM0YjMzATN1UTM1QDN5MjM5ADMwAjMwUzL2IzLxAzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/1/1e5/wZwpmLyMTO2IDMxgTN2IDN0UTMyITNykTO0EDMwAjMwUzL4UzL3UzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/9/934/wZwpmL0QDOyYzN4MjMzATN1UTM1QDN5MjM5ADMwAjMwUzLzIzLyMzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/e/d58/wZwpmL1YTMzIzMxAjMzATN1UTM1QDN5MjM5ADMwAjMwUzLwIzLyIzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/1/e26/wZwpmL0MDM3MTOwYjMzATN1UTM1QDN5MjM5ADMwAjMwUzL2IzL1UzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/a/eee/wZwpmL2EDOyADOzkTMzATN1UTM1QDN5MjM5ADMwAjMwUzL5EzLwIzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
由於函式的複合運算是關係的複合運算的一種特殊情形,因此關係的複合運算中成立的性質,對於函式的複合運算也是成立的。例如,對於任意一個函式,有。又例如,設有三個函式,根據定義不難看出,這些函式可以構成複合函式,進而可以構成複合函式,可以看出,這兩個複合函式都是由集合A到集合D的函式。又由於關係的複合運算滿足結合律,因此,函式的複合運算也滿足結合律,因此,可以得出以下定理 。
相關定理
![關於函式的複合運算](/img/e/d58/wZwpmL1YTMzIzMxAjMzATN1UTM1QDN5MjM5ADMwAjMwUzLwIzLyIzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/2/7b4/wZwpmL1czM0MjM0QzMzATN1UTM1QDN5MjM5ADMwAjMwUzL0MzL3AzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
定理1 設對於任意給定的三個函式 ,則有 。
![關於函式的複合運算](/img/d/e63/wZwpmLxgjN1YjN0EzMzATN1UTM1QDN5MjM5ADMwAjMwUzLxMzL0QzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/d/5eb/wZwpmLzMDM2gzMzkjMzATN1UTM1QDN5MjM5ADMwAjMwUzL5IzLxYzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/8/778/wZwpmL2MzN5UzM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/f/30d/wZwpmL3cTOwgDOyYjMzATN1UTM1QDN5MjM5ADMwAjMwUzL2IzLxYzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/b/6e7/wZwpmL3IjM2UzM3kTMzATN1UTM1QDN5MjM5ADMwAjMwUzL5EzL0MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/8/778/wZwpmL2MzN5UzM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/5/60a/wZwpmLyETMxYDO1QjMzATN1UTM1QDN5MjM5ADMwAjMwUzL0IzLzIzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/d/b20/wZwpmL0IjMygjN1cjMzATN1UTM1QDN5MjM5ADMwAjMwUzL3IzLxMzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/2/878/wZwpmL2QDO0gzNzIjMzATN1UTM1QDN5MjM5ADMwAjMwUzLyIzLwgzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/d/5eb/wZwpmLzMDM2gzMzkjMzATN1UTM1QDN5MjM5ADMwAjMwUzL5IzLxYzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/8/778/wZwpmL2MzN5UzM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
定義 設有定義在集合A到A自身的函式 ,且 ,則稱函式 為 冪等函式。例如,定義在正整數集的冪集上的函式 ,將其定義為 ,則根據函式 的定義,對於任意一個 為S中所有的素數組成的集合,記為 。而又由於 ,所以 ,因此這裡定義的函式 是一個冪等函式。
![關於函式的複合運算](/img/8/778/wZwpmL2MzN5UzM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/3/8be/wZwpmL2IjMyIDN4gjMzATN1UTM1QDN5MjM5ADMwAjMwUzL4IzLxUzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
如果函式 是冪等函式,那么對於所有的正整數n≥1,都有 。
![關於函式的複合運算](/img/1/1e5/wZwpmLyMTO2IDMxgTN2IDN0UTMyITNykTO0EDMwAjMwUzL4UzL3UzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/8/497/wZwpmLyYjN3EjMxcjMzATN1UTM1QDN5MjM5ADMwAjMwUzL3IzLzQzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
定理 設有函式 和函式 ,那么:
![關於函式的複合運算](/img/8/778/wZwpmL2MzN5UzM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/9/ce6/wZwpmLyATN5UjM4QTOwADN0UTMyITNykTO0EDMwAjMwUzL0kzL1AzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/7/fae/wZwpmL0MDM4UzN3MzMzATN1UTM1QDN5MjM5ADMwAjMwUzLzMzL3QzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
(1) 如果 和 都是單射函式,則複合函式 也是單射函式;
![關於函式的複合運算](/img/8/778/wZwpmL2MzN5UzM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/9/ce6/wZwpmLyATN5UjM4QTOwADN0UTMyITNykTO0EDMwAjMwUzL0kzL1AzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/7/fae/wZwpmL0MDM4UzN3MzMzATN1UTM1QDN5MjM5ADMwAjMwUzLzMzL3QzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
(2) 如果 和 都是滿射函式,則複合函式 也是滿射函式;
![關於函式的複合運算](/img/8/778/wZwpmL2MzN5UzM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/9/ce6/wZwpmLyATN5UjM4QTOwADN0UTMyITNykTO0EDMwAjMwUzL0kzL1AzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/7/fae/wZwpmL0MDM4UzN3MzMzATN1UTM1QDN5MjM5ADMwAjMwUzLzMzL3QzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
(3) 如果 和 都是雙射函式,則複合函式 也是雙射函式。
![關於函式的複合運算](/img/1/1e5/wZwpmLyMTO2IDMxgTN2IDN0UTMyITNykTO0EDMwAjMwUzL4UzL3UzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/8/497/wZwpmLyYjN3EjMxcjMzATN1UTM1QDN5MjM5ADMwAjMwUzL3IzLzQzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
定理 設有函式 和函式 ,那么:
![關於函式的複合運算](/img/7/fae/wZwpmL0MDM4UzN3MzMzATN1UTM1QDN5MjM5ADMwAjMwUzLzMzL3QzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/8/778/wZwpmL2MzN5UzM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
(1) 如果複合函式 是單射函式,則函式 是單射函式;
![關於函式的複合運算](/img/7/fae/wZwpmL0MDM4UzN3MzMzATN1UTM1QDN5MjM5ADMwAjMwUzLzMzL3QzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
(2) 如果複合函式 是滿射函式,則函式g是滿射函式;
![關於函式的複合運算](/img/7/fae/wZwpmL0MDM4UzN3MzMzATN1UTM1QDN5MjM5ADMwAjMwUzLzMzL3QzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![關於函式的複合運算](/img/8/778/wZwpmL2MzN5UzM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
(3) 如果複合函式 是雙射函式,則函式 是雙射函式,函式g是滿射函式 。