反函數定理

設M與N為n為光滑流形，U為M的開集，為光滑映射。若f在有極大階，則存在p的鄰域V，使得限制為微分同胚。

大致地說，C1函數F在點p可逆，如果它的雅可比矩陣JF(p)是可逆的。

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

最後，定理說明：

其中表示逆矩陣，而JG(q)是函數G在點q的雅可比矩陣。

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

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

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

考慮從到的向量值函數，定義為：

那麼雅可比矩陣為：

其行列式為：

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

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

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

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

反函數定理可以推廣到可微流形之間的可微映射。在這個情形中，定理說明對於可微映射F:M→N，如果F的導數在M內的某個點p是線性同構，那麼存在p的一個開鄰域U，使得：是微分同胚。注意這意味著M和N的維數必須相同。

如果F的導數在M內的所有點p都是同構，那麼映射F就是局部微分同胚。

反函數定理還可以推廣到巴拿赫空間之間的可微映射。設X和Y為巴拿赫空間，U是X內的原點的一個開鄰域。設連續可微，並假設F在點0的導數是從X到Y的有界線性同構。那麼在Y內存在F(0)的一個開鄰域V，以及一個連續可微的映射，使得對於V內的所有y，都有。而且，G(y)是方程的唯一足夠小的解x。

在函數是X和Y之間的雙射的簡單情況中，函數具有連續的反函數。這可以從開映射定理立即推出。

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

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