《陶哲轩实分析》引理17.2.4证明_导数的唯一性
设$E$是$\mathbf{R}^n$的子集合,$f:E\to \mathbf{R}^m$是函数,$x_0\in E$是$E$的内点,并设$L_1:\mathbf{R}^n\to\mathbf{R}^m$和 $L_2:\mathbf{R}^n\to\mathbf{R}^m$都是线性变换.假设$f$在$x_0$处可微,有导数$L_1$,也有导数$L_2$,则$L_1=L_2$.
证明:
引理:
(线性逼近)见 http://www.cnblogs.com/yeluqing/archive/2012/09/13/2682715.html
根据引理,
\begin{equation}\label{eq:1}
f(x)=f(x_0)+L_1(x-x_0)+\epsilon_1(x)||x-x_0||
\end{equation}
且
\begin{equation}\label{eq:2}
f(x)=f(x_0)+L_2(x-x_0)+\epsilon_2(x)||x-x_0||
\end{equation}
其中,当$x\to x_0$时,$\epsilon_1(x)\to 0,\epsilon_2(x)\to
0$.\ref{eq:1}-\ref{eq:2}可得
\begin{equation}
L_1(x-x_0)-L_2(x-x_0)=(\epsilon_2(x)-\epsilon_1(x))||x-x_0||
\end{equation}
即
\begin{equation}\label{eq:4}
\lim_{x\to x_0}\frac{L_1(x-x_0)-L_2(x-x_0)}{||x-x_0||}=0
\end{equation}
现在,令$x-x_0=h=(h_1,\cdots,h_n)$,且线性映射$L_1$对应的矩阵为
\begin{equation}
\begin{pmatrix}
p_{11}&\cdots&p_{1n}\\
\vdots&\cdots&\vdots\\
p_{m1}&\cdots&p_{mn}\\
\end{pmatrix}
\end{equation}
线性映射$L_2$对应的矩阵为
\begin{equation}
\begin{pmatrix}
q_{11}&\cdots&q_{1n}\\
\vdots&\cdots&\vdots\\
p_{m1}&\cdots&p_{mn}\\
\end{pmatrix}
\end{equation}
则\ref{eq:4}式变为
\begin{equation}
\lim_{h\to 0}\frac{\begin{pmatrix}
p_{11}-q_{11}&\cdots&p_{1n}-q_{1n}\\
\vdots&\cdots&\vdots\\
p_{m1}-q_{m1}&\cdots&p_{mn}-q_{mn}\\
\end{pmatrix}\begin{pmatrix}
h_1\\
\vdots\\
h_n\\
\end{pmatrix}}{\sqrt{h_1^2+\cdots+h_n^2}}=0
\end{equation}
即
\begin{equation}\label{eq:8}
\lim_{h\to 0}\frac{\begin{pmatrix}
(p_{11}-q_{11})h_1+\cdots+(p_{1n}-q_{1n})h_n\\
\vdots\\
(p_{m1}-q_{m1})h_1+\cdots+(p_{mn}-q_{mn})h_n\\
\end{pmatrix}}{\sqrt{h_1^2+\cdots+h_n^2}}=0
\end{equation}
易得,我们总可以想办法,使得$h_1,h_2,\cdots,h_n$这$n$个数中,有一个数不为0,而其余的数都为0,同时让$h\to 0$.
如果$L_1\neq L_2$,即存在$1\leq i\leq m$,$1\leq j\leq n$,使得$p_{ij}-q_{ij}\neq 0$,则我们让$h_j\neq 0$,而让 $h_1,\cdots,h_{j-1},h_{j+1},\cdots,h_n$都为0,则\ref{eq:8}变为
\begin{equation}
\lim_{h\to 0}\frac{\begin{pmatrix}
*\\
\vdots\\
(p_{ij}-q_{ij})h_j\\
\vdots\\
*\\
\end{pmatrix}}{|h_j|}=0
\end{equation}
而我们知道,
\begin{equation}
\lim_{h_j\to 0}\frac{(p_{ij}-q_{ij})h_j}{|h_j|}\neq 0
\end{equation}
这样就导出了矛盾.由此可见,$L_1\neq L_2$的假设是错误的,可见$L_1=L_2$.
转载于:https://www.cnblogs.com/yeluqing/archive/2012/09/14/3828292.html
《陶哲轩实分析》引理17.2.4证明_导数的唯一性相关推荐
- 陶哲轩实分析定理17.3.8(三)
本文继承了这篇博文. 为了证明$f$在$x_0$处可微,我们只用证明,存在线性映射$T$,使得 \begin{equation} \lim_{x'\to x_0;x'\neq x_0}\frac{f( ...
- 陶哲轩实分析习题17.1.2
陶哲轩实分析习题17.1.2 转载于:https://www.cnblogs.com/yeluqing/archive/2012/09/10/3828300.html
- 陶哲轩实分析 引理8.2.7 注
容易证明下面的结论(怎么证?): 陶哲轩实分析 引理 8.2.7:设$(a_n)_{n=0}^{\infty}$是实数级数.它是条件收敛的,不是绝对收敛的.定义 $$A_+=\{n\in\mathbb ...
- 陶哲轩实分析 命题 8.2.6 证明
设$X$是任意的集合(可以是不可数的),并设$f:X\to \mathbb{R}$和$g:X\to\mathbb{R}$是函数.使得$\sum_{x\in X}f(x)$和$\sum_{x\in X} ...
- 陶哲轩实分析引理10.4.1:反函数定理
设$f:X\to Y$是可逆函数,反函数为$f^{-1}:Y\to X$.设$x_0\in X,y_0\in Y$,且$y_0=f(x_0)$(它蕴含$x_0=f^{-1}(y_0)$).如果$f$在 ...
- 陶哲轩实分析引理 11.1.4
设$X$是实直线的子集合,那么下述两命题是逻辑等价的. (a)$X$是有界的并且是连通的. (b)$X$是有界区间. 证明:当$X$是空集时,两个命题显然是逻辑等价的. 当$X$是非空集合时, (a) ...
- 陶哲轩实分析例17.2.3
设$f:\mathbf{R}^2\to\mathbf{R}^2$是映射$f(x,y)=(x^2,y^2)$.设$x_0$是点$x_0:=(1,2)$.并设$L:\mathbf{R}^2\to\math ...
- 陶哲轩实分析 命题7.2.5 证明
设$\displaystyle\sum_{n=m}^{\infty}a_n$是实数的形式级数.则$\displaystyle\sum_{n=m}^{\infty}a_n$收敛当且仅当对于每个实数$\v ...
- 陶哲轩实分析命题10.1.7
设$X$是$\mathbf{R}$的子集合,$x_0$是$X$的极限点,设$f:X\to\mathbf{R}$是函数,并设$L$是实数,则下述命题在逻辑上等价: (a):$f$在$x_0$处在$X$上 ...
最新文章
- 浅谈Horizon DaaS平台 - 崛起的桌面云平台
- TreeMap源码分析
- 实验15:通过注解分别创建Dao、Service、Controller★
- 从Ecipse中导出程序至apk
- Python 自动生成环境依赖包 requirements
- ui分离的进程 如何查找窗口句柄_如何使用 Linux screen
- 魔兽模型【说明/使用方法】
- windows11中windows安全中心打不开的解决办法
- 为服务器选择固态硬盘的一个优点和缺点
- vue 仿网易云音乐项目
- onload和DOMContentLoaded事件
- 悬浮动画切换重叠处触发来回闪烁问题
- 如何高效学习python
- Debian安装docker全流程
- 光电二极管放大电路的应用
- 洗车店小程序开发设计(微信同城预约洗车源码搭建费用)
- SpringBoot微架构-李兴华-专题视频课程
- 浅谈JVM(六):方法调用过程
- 新基建、新动能5G车路协同白皮书
- 小狼毫 Rime 输入方案 设置