反函数定理

在数学中，反函数定理给出了向量值函数在含有定义域中一点的开区域内具有反函数的充分条件。该定理还说明了反函数的全导数存在，并给出了一个公式。反函数定理可以推广到定义在流形上、以及定义在无穷维巴拿赫空间（和巴拿赫流形）上的映射。大致地说，函数在点可逆，如果它的雅可比矩阵是可逆的。

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

最后，定理说明：

其中${\displaystyle -<!--\; -\; -->1}$在点的雅可比矩阵。

这个公式还可以从链式法则推出。链式法则说明，如果和是两个函数，分别在和具有全导数，那么：

设为，为 -1，${\displaystyle G\circ <!--\; \circ \; -->H}$的全导数存在，而反函数定理则证明了-1在点具有全导数。

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

考虑从R2到R2的向量值函数，定义为：

那么雅可比矩阵为：

其行列式为：

行列式e2x处处不为零。根据反函数定理，对于R2中的任意点，都存在的一个邻域，使得在这个邻域内具有反函数。

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

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

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

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

在内的某个点是线性同构，那么存在的一个开邻域，使得：

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

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

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

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

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

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