定义
设为 维光滑流形， 为 的开集，为光滑映射。若在 有极大阶，则存在 的邻域 ，使得限制 为微 分同胚。
简介
反函数定理说明如果从 的一个开集到 的连续可微函数 的全导数在点 可逆（也就是说， 在点 的雅可比行列式不为 零)，那么在点的附近具有反函数。也就是说，在 的某个邻域内， 的反函数存在。而且，反函数 也是连续可微的。在 无穷维的情况中，需要弗雷歇导数在附近具有有界的反函数。
最后，定理说明:
这个么式还可以从链式法则推出。链式法则说明，如果和是两个函数，分别在 和 具有全导数，那么:
设 为 为， 就是恒等函数，其雅可比矩阵也是单位矩阵。在这个特殊的情况中，上面的公式可以对求解。注意链式法则假设了函数 的全导数存在，而反函数定理则证明了 在点 具有导数。
的反函数存在，等于是说方程组 可以对 求解，如果我们把 分别限制在 和 的足够小的邻域内。
应用例子
考虑从 到 的向量值函数，定义为:
那么雅可比矩阵为:
其行列式为:
行列式 处处不为零。根据反函数定埋，对于中的每一个非零点 ，都存在 的一个邻域，在这个邻域内具有反函数。
证明
反函数定理有许多证明。在教科书中最常见的证明依靠了压缩映射原理，又称为巴拿赫不动点定理。（这个定理还可以用于证明常微分方程的存在性）。由于这个定理在无穷维（巴拿赫空间）的情形也适用，因此它可以用来证明反函数定理的无穷维形式。
另外一个证明（只在有限维有效）用到了紧集上的函数的极值定理。
还有一个证明用到了牛顿法，它的好处是提供了定理的一个有效的形式。也就是说，给定函数的导数的特定界限，就可估计函数可逆的邻域的大小。
定理推广
流形
反函数定理可以推广到可微流形之间的可微映射。在这个情形中，定理说明对于可微映射 ，如果 的导数 在内的某个点 是线性同构，那么存在 的一个开邻域 ，使得: 是微分同胚。注意这意味着M和 N的维数必须相同。
如果的导数在内的所有点都是同构，那么映射就是局部微分同胚。
巴拿赫空间
反函数定理还可以推广到巴拿赫空间之间的可微映射。
设 为巴拿赫空间，是内的原点的一个开邻域。设 连续可微，并假设在点0的导数 是从 到的有界线性同构。那么在 内存在 的一个开邻域 ，以及一个连续可微的映射 : ，使得对于内的所有 ，都有 而且, 是方程 的足够小的解
在函数是 之间的双射的简单情况中，函数具有连续的反函数。这可以从开映射定理立即推出。
巴拿赫流形
在巴拿赫流形的反函数定理中，可以把上面的两个推广结合起来。
常秩定理
反函数定理（以及隐函数定理）可以视为常秩定理的特殊情况，它说明在某个点局部常秩的光滑映射可以化为该点附近的特定的正规形式。 当的导数在点可逆时，它在的邻域也可逆，因此导数的秩是常数，故可以使用常秩定理。
