函数的合成

函数的合成

定理1：设$f:X\to Y,g:Y\to Z$，则$f$与$g$的合成关系$g\circ f$是从$X$到$Z$的函数，并且对一切$x\in X,g\circ f\left(x\right)=g\left(f\left(x\right)\right)$

证明：有关系的合成可知，$f\circ g\subseteq X\times Z$。而对于任意的$x\in X$，由于$f$是函数，所以存在唯一的$y\in Y$，使$y=f\left(x\right)$;

同样由于$g$是函数，存在唯一的$z\in Z$,使$z=g\left(y\right)$

即对任意的$x\in X$，存在唯一的$z\in Z$，使得$⟨x,z⟩\in X\times Z$，故$g\circ f$是从$X$到$Z$的函数，并且
$$z=g\left(y\right)=g\left(f\left(x\right)\right)$$

定理2：设$f:X\to Y,g:Y\to Z,h:Z\to W$,则$h\circ \left(g\circ f\right)=\left(h\circ g\right)\circ f$

(一般地，函数的合成是不可交换的)

定理3：设$f:X\to Y,g:Y\to Z$，则

（1）若$f$和$g$是满射，则$g\circ f$是满射

（2）若$f$和$g$是单射，则$g\circ f$是单射

（3）若$f$和$g$是双射，则$g\circ f$是双射

证明：

（1）对于任意的$z\in Z$，由于$g$是满射，所以$y\in Y$，使得$z=g\left(y\right)$。

又由于$f$是满射，所以有$x\in X$，使得$y=f\left(x\right)$。因此有$x\in X$，使得$z=g\left(y\right)=g\left(f\left(x\right)\right)=g\circ f\left(x\right)$，故$g\circ f$是满射

（2）对于任意的$x_1,x_2\in X$。若$g\circ f\left(x_1\right)=g\circ f\left(x_2\right)$，即$g\left(f\left(x_1\right)\right)=g\left(f\left(x_2\right)\right)$

由于$g$是单射，所以$f\left(x_1\right)=f\left(x_2\right)$，又由于$f$是单射，所以$x_1=x_2$，故$g\circ f$是单射

（3）由(1)、(2)显然

定理4：设$f:X\to Y,g:Y\to Z$，则

（1）若$g\circ f$是满射，则$g$是满射
（2）若$g\circ f$是单射，则$f$是单射

（3）若$g\circ f$是双射，则$g$是满射，且$f$是单射

证明：

（1）对于任意的$z\in Z$，由于$g\circ f$是满射，所以存在$x\in X$，使得$z=g\circ f\left(x\right)$，即$z=g\left(f\left(x\right)\right)$,因此有$y=f\left(x\right)\in Y$，使得$z=g\left(y\right)$，故$g$是满射
（2）对于任意的$x_1,x_2\in X$，若$f\left(x_1\right)=f\left(x_2\right)$，由于$g$是函数，所以
$$g\left(f\left(x_1\right)\right)=g\left(f\left(x_2\right)\right)$$
即$g\circ f\left(x_1\right)=g\circ f\left(x_2\right)$，由于$g\circ f$是单射，所以有$x_1=x_2$，故$f$是单射

（3）由(1),(2)显然

课后习题

2.设$f:A\to A$，存在正整数$n$使得$f^n=1_A$。证明：$f$是双射函数

证明：
$f^n=f^{n-1}\circ f=f\circ f^{n-1}=1_A$
因为$1_A$双射，所以$f$双射

5.设$h\in A^A$.证明：$\forall f\forall g\left(f\in A^A\wedge g\in A^A\wedge f\circ h=g\circ h\to f=g\right)$当且仅当$h$是满射

证明：

充分性：设$h$满射
$\forall x\in A,\exists z\in A$,使得$h\left(z\right)=x$
进而,$\forall x$，
$$f\left(x\right)=f\left(h\left(z\right)\right)=g\left(h\left(z\right)\right)=g\left(x\right)$$

必要性：$\forall f\forall g\left(f\in A^A\wedge g\in A^A\wedge f\circ g=g\circ h\to f=g\right)$
当$\left|A\right|=1$时显然成立
当$\left|A\right|>1$时，假设$h$不是满射
则存在$a\in A$，使得$\forall x\in A,h\left(x\right)\ne a$

设$b_1,b_2\in A,b_1\ne b_2$
构造函数$f,g\in A^A$
f ( x ) = b 1 ( x ∈ A ) g ( x ) = { b 1 , x ∈ A \ { a } b 2 , x = a f\left(x\right)=b_1\left(x\in A\right)\\ g\left(x\right)=\begin{cases} b_1, &x\in A\backslash\left\{a\right\}\\ b_2, &x=a \end{cases} f(x)=b1​(x∈A)g(x)={b1​,b2​,​x∈A\{a}x=a​

可以得到$f\circ h=g\circ h$，但是$f\ne g$，矛盾
因此$h$满射

6.设$h\in A^A$，证明:$\forall f\forall g\left(f\in A^A\wedge g\in A^A\wedge h\circ f=h\circ g\to f=g\right)$当且仅当$h$是单射

证明：
充分性：$h$是单射
$\forall x\in A$
$$h\left(f\left(x\right)\right)=g\left(f\left(x\right)\right)\Rightarrow f\left(x\right)=g\left(x\right)\Rightarrow f=g$$
必要性：$\forall f\forall g\left(f\in A^A\wedge g\in A^A\wedge h\circ f=h\circ g\to f=g\right)$
当$\left|A\right|=1$时显然成立
当$\left|A\right|>1$时，假设$h$不是单射，则$\exists a,b\in A,a\ne b,h\left(a\right)=h\left(b\right)$

构造函数$f,g\in A^A$
$$\begin{gathered} f\left(x\right)=a \\ g\left(x\right)=b \end{gathered}$$
则对于$\forall x\in A$，有
$$h\left(f\left(x\right)\right)=h\left(a\right)=h\left(b\right)=h\left(g\left(x\right)\right)$$
因此$h\circ f=h\circ g$，但是$f\ne g$，矛盾
因此$h$是单射

7.设集合$A\ne \varnothing ,f,g\in A^A$. 若$\widetilde{g\circ f}$是函数，则$f$和$g$均是单射吗？为什么？
证明：
$f$和$g$均是单射

若$\left|A\right|=1$，显然成立
若$\left|A\right|>1$，

因为$\widetilde{g\circ f}$是函数, 故$f$是单射，$g$是满射

假设$g$不是单射，则$\exists c,d\in A,c\ne d,g\left(c\right)=g\left(d\right)$
由于$f$单射，$g$满射，因此$\exists a_1,b_a$，使得$f\left(a_1\right)=c,f\left(b_1\right)=d$
（因为是$A\to A$，所以$f$双射，所以一定存在）

$a_1\ne b_1$（否则$c=d$）
但是
$$g\left(f\left(a_1\right)\right)=g\left(f\left(b_1\right)\right)$$
由$g\circ f$双射，$a_1=b_1$矛盾
因此$g$单射

参考：
离散数学（刘玉珍）