数学分析(二十三)-向量函数微分学02：向量函数的微分02【可微函数的性质】

二、可微函数的性质
如定义 4 那样,下列定理中的集合 $D\subset {\mathbf{R}}^n$ 均设为开集.
定理 23. 12 设 $f,g:D\to {\mathbf{R}}^m$ 是两个在
$x_0\in D$ 可微的函数, $c$ 是任意实数. 则 $cf$ 与 $f\pm g$ 在
$x_0$ 也可微, 且有
$$(cf{)}^{\prime }\left(x_0\right)=c{f}^{\prime }\left(x_0\right),(f\pm g{)}^{\prime }\left(x_0\right)=f^{\prime }\left(x_0\right)\pm g^{\prime }\left(x_0\right).$$
证明留作练习.
定理 23.13 设 $f:D\to {\mathbf{R}}^m$ 在
${\mathbf{x}}_0\in D$ 可微; $D^{\prime }\subset {\mathbf{R}}^m$
亦为开集,
$\mathbf{f}(D)\subset D^{\prime };g:D^{\prime }\to {\mathbf{R}}^{\prime }$在
${\mathbf{y}}_0=\mathbf{f}\left({\mathbf{x}}_0\right)$ 可微.
则复合函数
$\mathbf{h}=\mathbf{g}\circ \mathbf{f}:D\to {\mathbf{R}}^{\prime }$
在 ${\mathbf{x}}_0$ 可微, 且
$$h^{\prime }\left(x_0\right)=(g\circ f{)}^{\prime }\left(x_0\right)=g^{\prime }\left(y_0\right)f^{\prime }\left(x_0\right).$$
证 由定理 23.11 关于可微的充要条件, 存在矩阵函数
$\mathbf{F}:D\to {\mathbf{R}}^{\mathrm{mn}}$ 在
${\mathbf{x}}_0$ 连续, $\mathbf{G}$ :
$D^{\prime }\to {\mathbf{R}}^{\prime \prime \prime }$ 在
${\mathbf{y}}_0$ 连续, 且满足
$$\begin{array}{l}f(x)-f\left(x_0\right)=F(x)\left(x-x_0\right),x\in D,\\ g(y)-g\left(y_0\right)=G(y)\left(y-y_0\right),y\in D^{\prime }.\end{array}$$

于是就有
$$\begin{array}{rl}\mathbf{h}(\mathbf{x})-\mathbf{h}\left({\mathbf{x}}_0\right)& =\mathbf{g}(\mathbf{f}(\mathbf{x}))-\mathbf{g}\left(\mathbf{f}\left({\mathbf{x}}_0\right)\right)\\ & =\mathbf{G}(\mathbf{f}(\mathbf{x}))\left[\mathbf{f}(\mathbf{x})-\mathbf{f}\left({\mathbf{x}}_0\right)\right]\\ & =\mathbf{G}(\mathbf{f}(\mathbf{x}))\mathbf{F}(\mathbf{x})\left(\mathbf{x}-{\mathbf{x}}_0\right)\\ & =\mathbf{H}(\mathbf{x})\left(\mathbf{x}-{\mathbf{x}}_0\right),\end{array}$$
其中
$\mathbf{H}(\mathbf{x})=$