陶哲轩实分析-第17章 多元微分学

17.1 线性变换

习题
17.1.1 略
17.1.2 根据提示，略
17.1.3 习题17.1.2说明$L_{AB}$是线性变换，但是需要证明相等。相等证明根据矩阵的结合性。$ABx=A(Bx)$
17.1.4 用柯西不等式
$||Tx||=|\sum_i(\sum_j a_{ij}x_j)^2|^{\frac 12}\le |\sum_i(\sum_j a_{ij}^2)(\sum_jx_j^2)|^{\frac 12}=(\sum_i\sum_j a_{ij}^2)^{\frac 12}(\sum_jx_j^2)^{\frac 12}$

17.2 多元微分学中的导数

习题
17.2.1 简单，略
17.2.2 反证法，假设存在$L_1\ne L_2，L_1v\ne L_2v$，令$x=x_0+tv$，那么$\lim_{t\to \infty}\frac{L_1tv-L_2tv}{tv}=0$，根据定义17.1.6，就是$\lim_{t\to \infty}\frac{L_1v-L_2v}{v}=0$，矛盾。

17.3 偏导数和方向导数

习题
17.3.1
要证明引理17.3.5，需要证明

$$\lim_{t\to 0}\frac {f(x_0+tv)-f(x_0)-f'(x_0)v^Tt}{t}=0$$ 由于f在 $x_0$可微，所以

limt→0||f(x0+tv)−f