在$x_0$处全导数可逆的函数$f:\mathbf{R^n}\to\mathbf{R^n}$的一个性质

注:该文章宣布报废,因为结论是错误的.关键的错误证明已经用红字显示.我是看了matrix67的函数上某一点导数为正，该点邻域不一定形成单增区间才想起自己的错误的.

设$f:\mathbf{R}^n\to\mathbf{R}^n$在$x_0$处可微，且$f'(x_0):\mathbf{R}^n\to\mathbf{R}^n$是可逆线性映射,则存在$\mathbf{R}^n$中的某个包含$x_0$的开集$E$,使得当$f$限制在$E$上时，$f:E\to f(E)$是一个双射.

证明:由于
\begin{equation}
\label{eq:12.16.17}
\lim_{x\to x_0;x\neq x_0}\frac{f(x)-f(x_0)-f'(x_0)(x-x_0)}{||x-x_0||}=0
\end{equation}
假如不存在这样的开集$E$满足条件，即对于任意的开集$G$,都存在$x_1\in G$,且$x_1\neq x_0$,使得
\begin{equation}
\label{eq:12.17.14}
f(x_1)=f(x_0)
\end{equation}
则向量
\begin{equation}
\label{eq:12.17.15}
f'(x_0)\frac{x-x_0}{||x-x_0||}
\end{equation}会随着$x$趋于$x_0$而趋于零向量.而$\frac{x-x_0}{||x-x_0||}$是单位向量，无论该单位向量是什么方向，它经过固定的可逆映射的作用后，它的模总会大于一个给定的正实数(为什么?).因此矛盾.可见假设错误.即命题成立.

注1:根据线性逼近，可知，其实$f$在$x_0$附近的性状已经和线性映射$f'(x_0)$的性状很相近了，因此得出这样的结论也不是令人十分惊讶的.

转载于:https://www.cnblogs.com/yeluqing/archive/2012/10/12/3827908.html

在$x_0$处全导数可逆的函数$f:\mathbf{R^n}\to\mathbf{R^n}$的一个性质相关推荐

全微分/偏导数/方向导数/梯度/全导数
1.偏导数参考 :导数.偏导数.方向导数就是对某一变量求导,把其他变量作为常数 2.方向导数可以认为偏导数是特殊的方向导数,是在自变量方向上的方向导数. 任意方向导数为: 3.梯度参考: 导数 ...
若有以下定义和语句:double r=99， *p=r；*p=r；则以下正确的叙述是 A) 以下两处的*p含义相同，都说明给指针变量p赋值 B) 在“double r=99， *p=r；“中，
若有以下定义和语句:double r=99, *p=&r;p=r; 则以下正确的叙述是 A) 以下两处的p含义相同,都说明给指针变量p赋值 B) 在"double r=99, *p= ...
高等数学：第二章导数与微分（2）初等函数高级导数隐函数参数函数
§2.4 初等函数的求导问题基本初等函数的导数公式已经有了,而函数的四则运算法则.复合函数求导的锁链规则也推导出来了.因此,我们可以说:一切初等函数的求导问题业已完全解决了!剩下的就靠我们勤加练习 ...
一个效率更高的全半角字符串截取函数
[原创,转载请注明:[url]http://wfyang.blog.51cto.com[/url]] 现在流传的那几个字符串截取函数,一般都是对字符串进行循环判断,如果要截取的串比较长,效率就成了一个 ...
Microsoft SQL Server 全角转半角函数
先创建函数,函数如下 CREATE FUNCTION f_Convert( @str NVARCHAR(4000), --要转换的字符串 @flag bit --转换标志,0转换成半角,1转换成全角 ...
SQL转换全角和半角函数
SQL转换全角和半角函数 CREATE FUNCTION f_Convert( @str NVARCHAR(4000), --要转换的字符串 @flag bit --转换标志,0转换成半角,1转换成全 ...
sql select半角html全角,SQL转换全角和半角函数
SQL转换全角和半角函数 CREATE FUNCTION f_Convert( @str NVARCHAR(4000), --要转换的字符串 @flag bit --转换标志,0转换成半角,1转换成全 ...
sql文字转换全拼_取汉字全拼的SQL函数
/* 根据汉字获取全拼 1.生成所有读音临时表 2.根据Chinese_PRC_CS_AS_KS_WS 排序获取读音 */ CREATE function f_GetPinYin(@str varch ...
Android任意时刻、任意代码处全屏
public void toggleFullscreen(boolean fullScreen){//fullScreen为true时全屏,否则相反WindowManager.LayoutParams ...

在$x_0$处全导数可逆的函数$f:\mathbf{R^n}\to\mathbf{R^n}$的一个性质

在$x_0$处全导数可逆的函数$f:\mathbf{R^n}\to\mathbf{R^n}$的一个性质相关推荐

最新文章

热门文章