反函数定理

定理的表述

对单变量函数 f:R → R，反函数定理说明如果 f 在点 a 连续可导且其导数不为零，那么存在一个包含 a 的开区间 U 使得 f 在 U 上是一个单射。其反函数 f⁻¹ 在 b=f(a) 处连续可导，反函数在 b 处的导数为 （公式略）。

然而该条件并不是必需的，函数 f(x)=x³ 在 a=0 处导数值为零，但存在反函数 （公式略）。然后这种情况下 f⁻¹ 在 b=f(a) 处不可导，否则由链式法则可得 1=(f∘ f⁻¹)'(b)=f'(a)(f⁻¹)'(b)，代表 f'(a) 将不等于零。

对多变量函数，该定理说明如果从 R ⁿ 的一个开集U到 R ⁿ 的连续可微函数F的全微分在点p可逆（也就是说，F在点p的雅可比行列式不为零），那么F在点p的附近具有反函数。也就是说，在F(p)的某个邻域内，F的反函数存在。而且，反函数F -1也是连续可微的。在无穷维的情况中，需要弗雷歇导数在p附近具有有界的反函数。

最后，定理说明： J_(F⁻¹)(F(p))=[J_(F)(p)]⁻¹

其中 [· ]⁻¹ 表示逆矩阵，而 J_(G)(q) 是函数G在点q的雅可比矩阵。

这个公式还可以从链式法则推出。链式法则说明，如果G和H是两个函数，分别在H(p)和p具有全导数，那么： J_(G∘ H)(p)=J_(G)(H(p))· J_(H)(p).

设G为F，H为F -1， G∘ H 就是恒等函数，其雅可比矩阵也是单位矩阵。在这个特殊的情况中，上面的公式可以对 J_(F⁻¹)(F(p)) 求解。注意链式法则假设了函数H的全导数存在，而反函数定理则证明了F−1在点p具有全导数。

F的反函数存在，等于是说方程组yi = Fj(x1,...,xn)可以对x1，......，xn求解，如果我们把x和y分别限制在p和F(p)的足够小的邻域内。

例子

考虑从 R ² 到 R ² 的向量值函数，定义为： （公式略）

那么雅可比矩阵为： （公式略）

其行列式为： det J_(F)(x,y)=e^(2x)cos ²y+e^(2x)sin ²y=e^(2x).

由于行列式 e^(2x) e2x处处不为零，根据反函数定理， R ² 中的任意点p都存在个邻域，使得在这个邻域内F具有反函数。

方法和证明

作为一个重要的结果，反函数定理已经有许多证明。在教科书中最常见的证明依靠了压缩映射原理，又称为巴拿赫不动点定理。（这个定理还可以用于证明常微分方程的存在性和唯一性）。由于这个定理在无穷维（巴拿赫空间）的情形也适用，因此它可以用来证明反函数定理的无穷维形式（参见下面的“推广”）。

另外一个证明（只在有限维有效）用到了紧集上的函数的极值定理。

还有一个证明用到了牛顿法，它的好处是提供了定理的一个有效的形式。也就是说，给定函数的导数的特定界限，就可以估计函数可逆的邻域的大小。

推广

流形

反函数定理可以推广到可微流形之间的可微映射。在这个情形中，定理说明对于可微映射F: M → N，如果F的导数

• (dF)p: TpM → TF(p)N
• 在M内的某个点p是线性同构，那么存在p的一个开邻域U，使得：
• F|U: U → F(U)

是微分同胚。注意这意味着M和N的维数必须相同。

如果F的导数在M内的所有点p都是同构，那么映射F就是局部微分同胚。

巴拿赫空间

反函数定理还可以推广到巴拿赫空间之间的可微映射。设X和Y为巴拿赫空间，U是X内的原点的一个开邻域。设F: U → Y连续可微，并假设F在点0的导数(dF)0: X → Y是从X到Y的有界线性同构。那么在Y内存在F(0)的一个开邻域V，以及一个连续可微的映射G: V → X，使得对于V内的所有y，都有F(G(y)) = y。而且，G(y)是方程F(x) = y的唯一足够小的解x。

在函数是X和Y之间的双射的简单情况中，函数具有连续的反函数。这可以从开映射定理立即推出。

巴拿赫流形

在巴拿赫流形的反函数定理中，可以把上面的两个推广结合起来。

常秩定理

反函数定理（以及隐函数定理）可以视为常秩定理的特殊情况，它说明在某个点局部常秩的光滑映射可以化为该点附近的特定的正规形式。当F的导数在点p可逆时，它在p的邻域也可逆，因此导数的秩是常数，故可以使用常秩定理。