在$x_0$处全导数可逆的函数$f:\mathbf{R^n}\to\mathbf{R^n}$的一个性质
2012-10-12 17:33
246 查看
设$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||}$是单位向量,无论该单位向量是什么方向,它经过固定的可逆映射的作用后,它的模总会大于一个给定的正实数(为什么?).因此矛盾.可见假设错误.即命题成立.
相关文章推荐
- 在$x_0$处全导数可逆的函数$f:\mathbf{R^n}\to\mathbf{R^n}$的一个性质
- 一天一个CRT函数 __toascii tolower toupper
- 9.10 为了让程序清单9.8中的 to_binary()函数更通用,编写一个to_base_n()函数接收两个参数。。。。。。。
- 实现一个函数stringToInt,实现把字符串转换成整数这个功能
- 请编写一个JavaScript 函数toRGB,它的作用是转换CSS中常用的颜色编码
- 解决两个Fragment间调用addToBackStack()函数,按返回键直接退出的问题(即无法切换回上一个Fragment)
- sap系统中跳出对话框的一个函数-'POPUP_TO_CONFIRM'
- 一个没有了解透的简单函数: BoolToStr
- 为下面的函数原型编写函数定义: int ascii_to_integer(char *str); 这个字符串参数必须包含一个或者多个数字,函数应该把这些数字字符转换为整数并返回这个整数。如果字符串参数
- int ascii_to_integer(char *str); 这个字符串参数必须包含一个或者多个数字,函数应该把这些数字字符转换为整数并返回这个整数。
- 一个DataSet to Excel的函数
- 【C语言】为下面的函数原型编写函数定义: int ascii_to_integer(char *str); 这个字符串参数必须包含一个或者多个数字,函数应该把这些数字字符转换为整数并返回这个整数。
- ALSM_EXCEL_TO_INTERNAL_TABLE上载Excel文件的一个函数
- 一个函数与其导数的图象绘制
- 利用python闭包性质写只用函数来写一个类
- 关于hook设置函数如何支持多核CPU的一个说明
- 设计程序,单击【随机数】按钮,使用Math对象的random函数产生一个0-100之间(含0-100)的随机整数,并在对话框中显示,如下图。单击【计算】按钮,计算该随机数的平方、平方根和自然对数,保留两位小数,并在对话框中显示,如下图。
- 函数名function是一个数据类型,可以赋值
- SQL函数 将一个字段分隔成一个表的函数【搜藏】
- 写一个函数返回参数二进制中1的个数