反函數定理

設M與N為n維光滑流形，U為M的開集，f:U→N為光滑映射。若f在p∈U有極大階，則存在p的鄰域V，使得限制f:V→f(V)為微分同胚。 ^[6] 

反函數定理説明如果從Rⁿ的一個開集U到Rⁿ的連續可微函數F的全導數在點p可逆（也就是説，F在點p的雅可比行列式不為零），那麼F在點p的附近具有反函數。也就是説，在F(p)的某個鄰域內，F的反函數存在。而且，反函數F^-1也是連續可微的。在無窮維的情況中，需要弗雷歇導數在p附近具有有界的反函數。

最後，定理説明：

這個公式還可以從鏈式法則推出。鏈式法則説明，如果G和H是兩個函數，分別在H(p)和p具有全導數，那麼：

J(G∘H)(P)=JG(H(P))*Jh(P)

設G為F，H為F^-1，(G∘H)就是恆等函數，其雅可比矩陣也是單位矩陣。在這個特殊的情況中，上面的公式可以對Jf^-1(F(p))求解。注意鏈式法則假設了函數H的全導數存在，而反函數定理則證明了F^-1在點p具有全導數。

F的反函數存在，等於是説方程組y_i = Fj(x₁,...,x_n)可以對x₁,...,x_n求解，如果我們把x和y分別限制在p和F(p)的足夠小的鄰域內。

考慮從R²到R²的向量值函數 ^[1]  ，定義為：

那麼雅可比矩陣為：

其行列式為：

行列式e^2x處處不為零。根據反函數定理，對於R²中的每一個非零點p，都存在p的一個鄰域，在這個鄰域內F具有反函數。

反函數定理有許多證明。在教科書中最常見的證明依靠了壓縮映射原理，又稱為巴拿赫不動點定理。（這個定理還可以用於證明常微分方程的存在性）。由於這個定理在無窮維（巴拿赫空間）的情形也適用，因此它可以用來證明反函數定理的無窮維形式。

另外一個證明（只在有限維有效）用到了緊集上的函數的極值定理。 ^[2] 

還有一個證明用到了牛頓法，它的好處是提供了定理的一個有效的形式。也就是説，給定函數的導數的特定界限，就可估計函數可逆的鄰域的大小。 ^[3] 

反函數定理可以推廣到可微流形之間的可微映射。在這個情形中，定理説明對於可微映射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)₀ : 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之間的雙射的簡單情況中，函數具有連續的反函數。這可以從開映射定理立即推出。

在巴拿赫流形的反函數定理中，可以把上面的兩個推廣結合起來。 ^[4] 

反函數定理（以及隱函數定理）可以視為常秩定理的特殊情況，它説明在某個點局部常秩的光滑映射可以化為該點附近的特定的正規形式。 ^[5]  當F的導數在點p可逆時，它在p的鄰域也可逆，因此導數的秩是常數，故可以使用常秩定理。