In mathematics, specifically differential calculus, the inverse function theorem gives a sufficient condition for a function to be invertible in a neighborhood of a point in its domain: namely, that its derivative is continuous and non-zero at the point. The theorem also gives a formula for the derivative of the inverse function. In multivariable calculus, this theorem can be generalized to any continuously differentiable, vector-valued function whose Jacobian determinant is nonzero at a point in its domain, giving a formula for the Jacobian matrix of the inverse. There are also versions of the inverse function theorem for holomorphic functions, for differentiable maps between manifolds, for differentiable functions between Banach spaces, and so forth. The theorem was first established by Picard and Goursat using an iterative scheme: the basic idea is to prove a fixed point theorem using the contraction mapping theorem.

Statements

For functions of a single variable, the theorem states that if f is a continuously differentiable function with nonzero derivative at the point a; then f is injective (or bijective onto the image) in a neighborhood of a, the inverse is continuously differentiable near b=f(a), and the derivative of the inverse function at b is the reciprocal of the derivative of f at a: It can happen that a function f may be injective near a point a while f'(a) = 0. An example is. In fact, for such a function, the inverse cannot be differentiable at b = f(a), since if f^{-1} were differentiable at b, then, by the chain rule,, which implies f'(a) \ne 0. (The situation is different for holomorphic functions; see below.) For functions of more than one variable, the theorem states that if f is a continuously differentiable function from an open subset A of into \R^n, and the derivative f'(a) is invertible at a point a (that is, the determinant of the Jacobian matrix of f at a is non-zero), then there exist neighborhoods U of a in A and V of b = f(a) such that and f : U \to V is bijective. Writing, this means that the system of n equations has a unique solution for in terms of when. Note that the theorem does not say f is bijective onto the image where f' is invertible but that it is locally bijective where f' is invertible. Moreover, the theorem says that the inverse function is continuously differentiable, and its derivative at b=f(a) is the inverse map of f'(a); i.e., In other words, if are the Jacobian matrices representing, this means: The hard part of the theorem is the existence and differentiability of f^{-1}. Assuming this, the inverse derivative formula follows from the chain rule applied to. (Indeed, ) Since taking the inverse is infinitely differentiable, the formula for the derivative of the inverse shows that if f is continuously k times differentiable, with invertible derivative at the point a, then the inverse is also continuously k times differentiable. Here k is a positive integer or \infty. There are two variants of the inverse function theorem. Given a continuously differentiable map, the first is and the second is In the first case (when f'(a) is surjective), the point b = f(a) is called a regular value. Since, the first case is equivalent to saying b = f(a) is not in the image of critical points a (a critical point is a point a such that the kernel of f'(a) is nonzero). The statement in the first case is a special case of the submersion theorem. These variants are restatements of the inverse functions theorem. Indeed, in the first case when f'(a) is surjective, we can find an (injective) linear map T such that. Define so that we have: Thus, by the inverse function theorem, f \circ h has inverse near 0; i.e., near b. The second case (f'(a) is injective) is seen in the similar way.

Example

Consider the vector-valued function defined by: The Jacobian matrix of it at (x, y) is: with the determinant: The determinant e^{2x}! is nonzero everywhere. Thus the theorem guarantees that, for every point p in, there exists a neighborhood about p over which F is invertible. This does not mean F is invertible over its entire domain: in this case F is not even injective since it is periodic:.

Counter-example

If one drops the assumption that the derivative is continuous, the function no longer need be invertible. For example and f(0)= 0 has discontinuous derivative and f'!(0) = 1, which vanishes arbitrarily close to x=0. These critical points are local max/min points of f, so f is not one-to-one (and not invertible) on any interval containing x=0. Intuitively, the slope f'!(0)=1 does not propagate to nearby points, where the slopes are governed by a weak but rapid oscillation.

Methods of proof

As an important result, the inverse function theorem has been given numerous proofs. The proof most commonly seen in textbooks relies on the contraction mapping principle, also known as the Banach fixed-point theorem (which can also be used as the key step in the proof of existence and uniqueness of solutions to ordinary differential equations). Since the fixed point theorem applies in infinite-dimensional (Banach space) settings, this proof generalizes immediately to the infinite-dimensional version of the inverse function theorem (see Generalizations below). An alternate proof in finite dimensions hinges on the extreme value theorem for functions on a compact set. This approach has an advantage that the proof generalizes to a situation where there is no Cauchy completeness (see ). Yet another proof uses Newton's method, which has the advantage of providing an effective version of the theorem: bounds on the derivative of the function imply an estimate of the size of the neighborhood on which the function is invertible.

Proof for Single-Variable Functions

We want to prove the following: ''Let be an open set with a continuously differentiable function defined on D, and suppose that. Then there exists an open interval I with x_0 \in I such that f maps I bijectively onto the open interval J = f(I), and such that the inverse function is continuously differentiable, and for any y \in J, if x \in I is such that f(x) = y, then .'' We may without loss of generality assume that f'(x_0) > 0. Given that D is an open set and f' is continuous at x_0, there exists r > 0 such that and In particular, This shows that f is strictly increasing for all. Let \delta > 0 be such that \delta < r. Then. By the intermediate value theorem, we find that f maps the interval bijectively onto. Denote by and. Then f: I \to J is a bijection and the inverse exists. The fact that is differentiable follows from the differentiability of f. In particular, the result follows from the fact that if f: I \to \R is a strictly monotonic and continuous function that is differentiable at x_0 \in I with, then is differentiable with , where (a standard result in analysis). This completes the proof.

A proof using successive approximation

To prove existence, it can be assumed after an affine transformation that f(0)=0 and, so that a=b=0. By the mean value theorem for vector-valued functions, for a differentiable function,. Setting, it follows that Now choose \delta>0 so that for. Suppose that and define x_n inductively by x_0=0 and. The assumptions show that if then In particular implies x=x^\prime. In the inductive scheme and. Thus (x_n) is a Cauchy sequence tending to x. By construction f(x)=y as required. To check that g=f^{-1} is C1, write so that . By the inequalities above, so that. On the other hand if, then |A-I|<1/2. Using the geometric series for B=I-A, it follows that. But then tends to 0 as k and h tend to 0, proving that g is C1 with. The proof above is presented for a finite-dimensional space, but applies equally well for Banach spaces. If an invertible function f is Ck with k>1, then so too is its inverse. This follows by induction using the fact that the map F(A)=A^{-1} on operators is Ck for any k (in the finite-dimensional case this is an elementary fact because the inverse of a matrix is given as the adjugate matrix divided by its determinant). The method of proof here can be found in the books of Henri Cartan, Jean Dieudonné, Serge Lang, Roger Godement and Lars Hörmander.

A proof using the contraction mapping principle

Here is a proof based on the contraction mapping theorem. Specifically, following T. Tao, it uses the following consequence of the contraction mapping theorem. Basically, the lemma says that a small perturbation of the identity map by a contraction map is injective and preserves a ball in some sense. Assuming the lemma for a moment, we prove the theorem first. As in the above proof, it is enough to prove the special case when and f'(0) = I. Let g = f - I. The mean value inequality applied to says: Since and g' is continuous, we can find an r > 0 such that for all x, y in B(0, r). Then the early lemma says that f = g + I is injective on B(0, r) and. Then is bijective and thus has an inverse. Next, we show the inverse f^{-1} is continuously differentiable (this part of the argument is the same as that in the previous proof). This time, let g = f^{-1} denote the inverse of f and A = f'(x). For x = g(y), we write or. Now, by the early estimate, we have and so. Writing | \cdot | for the operator norm, As k \to 0, we have h \to 0 and |h|/|k| is bounded. Hence, g is differentiable at y with the derivative. Also, g' is the same as the composition where ; so g' is continuous. It remains to show the lemma. First, we have: which is to say This proves the first part. Next, we show. The idea is to note that this is equivalent to, given a point y in, find a fixed point of the map where 0 < r' < r such that and the bar means a closed ball. To find a fixed point, we use the contraction mapping theorem and checking that F is a well-defined strict-contraction mapping is straightforward. Finally, we have: since As might be clear, this proof is not substantially different from the previous one, as the proof of the contraction mapping theorem is by successive approximation.

Applications

Implicit function theorem

The inverse function theorem can be used to solve a system of equations i.e., expressing as functions of, provided the Jacobian matrix is invertible. The implicit function theorem allows to solve a more general system of equations: for y in terms of x. Though more general, the theorem is actually a consequence of the inverse function theorem. First, the precise statement of the implicit function theorem is as follows: To see this, consider the map. By the inverse function theorem, has the inverse G for some neighborhoods U, V, W. We then have: implying and Thus has the required property. \square

Giving a manifold structure

In differential geometry, the inverse function theorem is used to show that the pre-image of a regular value under a smooth map is a manifold. Indeed, let be such a smooth map from an open subset of (since the result is local, there is no loss of generality with considering such a map). Fix a point a in f^{-1}(b) and then, by permuting the coordinates on, assume the matrix has rank r. Then the map is such that F'(a) has rank n. Hence, by the inverse function theorem, we find the smooth inverse G of F defined in a neighborhood V \times W of. We then have which implies That is, after the change of coordinates by G, f is a coordinate projection (this fact is known as the submersion theorem). Moreover, since is bijective, the map is bijective with the smooth inverse. That is to say, g gives a local parametrization of f^{-1}(b) around a. Hence, f^{-1}(b) is a manifold. \square (Note the proof is quite similar to the proof of the implicit function theorem and, in fact, the implicit function theorem can be also used instead.) More generally, the theorem shows that if a smooth map f : P \to E is transversal to a submanifold M \subset E, then the pre-image is a submanifold.

Global version

The inverse function theorem is a local result; it applies to each point. A priori, the theorem thus only shows the function f is locally bijective (or locally diffeomorphic of some class). The next topological lemma can be used to upgrade local injectivity to injectivity that is global to some extent. Proof: First assume X is compact. If the conclusion of the theorem is false, we can find two sequences x_i \ne y_i such that and x_i, y_i each converge to some points x, y in A. Since f is injective on A, x = y. Now, if i is large enough, x_i, y_i are in a neighborhood of x = y where f is injective; thus, x_i = y_i, a contradiction. In general, consider the set. It is disjoint from S \times S for any subset S \subset X where f is injective. Let be an increasing sequence of compact subsets with union X and with X_i contained in the interior of X_{i+1}. Then, by the first part of the proof, for each i, we can find a neighborhood U_i of A \cap X_i such that. Then has the required property. \square (See also for an alternative approach.) The lemma implies the following (a sort of) global version of the inverse function theorem: Note that if A is a point, then the above is the usual inverse function theorem.

Holomorphic inverse function theorem

There is a version of the inverse function theorem for holomorphic maps. The theorem follows from the usual inverse function theorem. Indeed, let denote the Jacobian matrix of f in variables x_i, y_i and J(f) for that in. Then we have, which is nonzero by assumption. Hence, by the usual inverse function theorem, f is injective near 0 with continuously differentiable inverse. By chain rule, with w = f(z), where the left-hand side and the first term on the right vanish since and f_k are holomorphic. Thus, for each k. \square Similarly, there is the implicit function theorem for holomorphic functions. As already noted earlier, it can happen that an injective smooth function has the inverse that is not smooth (e.g., f(x) = x^3 in a real variable). This is not the case for holomorphic functions because of:

Formulations for manifolds

The inverse function theorem can be rephrased in terms of differentiable maps between differentiable manifolds. In this context the theorem states that for a differentiable map F: M \to N (of class C^1), if the differential of F, is a linear isomorphism at a point p in M then there exists an open neighborhood U of p such that is a diffeomorphism. Note that this implies that the connected components of M and N containing p and F(p) have the same dimension, as is already directly implied from the assumption that dFp is an isomorphism. If the derivative of F is an isomorphism at all points p in M then the map F is a local diffeomorphism.

Generalizations

Banach spaces

The inverse function theorem can also be generalized to differentiable maps between Banach spaces X and Y. Let U be an open neighbourhood of the origin in X and a continuously differentiable function, and assume that the Fréchet derivative of F at 0 is a bounded linear isomorphism of X onto Y. Then there exists an open neighbourhood V of F(0)! in Y and a continuously differentiable map such that F(G(y)) = y for all y in V. Moreover, G(y)! is the only sufficiently small solution x of the equation F(x) = y!. There is also the inverse function theorem for Banach manifolds.

Constant rank theorem

The inverse function theorem (and the implicit function theorem) can be seen as a special case of the constant rank theorem, which states that a smooth map with constant rank near a point can be put in a particular normal form near that point. Specifically, if F:M\to N has constant rank near a point p\in M!, then there are open neighborhoods U of p and V of F(p)! and there are diffeomorphisms and such that and such that the derivative is equal to. That is, F "looks like" its derivative near p. The set of points p\in M such that the rank is constant in a neighborhood of p is an open dense subset of M; this is a consequence of semicontinuity of the rank function. Thus the constant rank theorem applies to a generic point of the domain. When the derivative of F is injective (resp. surjective) at a point p, it is also injective (resp. surjective) in a neighborhood of p, and hence the rank of F is constant on that neighborhood, and the constant rank theorem applies.

Polynomial functions

If it is true, the Jacobian conjecture would be a variant of the inverse function theorem for polynomials. It states that if a vector-valued polynomial function has a Jacobian determinant that is an invertible polynomial (that is a nonzero constant), then it has an inverse that is also a polynomial function. It is unknown whether this is true or false, even in the case of two variables. This is a major open problem in the theory of polynomials.

Selections

When with m\leq n, f is k times continuously differentiable, and the Jacobian at a point is of rank m, the inverse of f may not be unique. However, there exists a local selection function s such that f(s(y)) = y for all y in a neighborhood of, , s is k times continuously differentiable in this neighborhood, and ( is the Moore–Penrose pseudoinverse of A).

Over a real closed field

The inverse function theorem also holds over a real closed field k (or an O-minimal structure). Precisely, the theorem holds for a semialgebraic (or definable) map between open subsets of k^n that is continuously differentiable. The usual proof of the IFT uses Banach's fixed point theorem, which relies on the Cauchy completeness. That part of the argument is replaced by the use of the extreme value theorem, which does not need completeness. Explicitly, in, the Cauchy completeness is used only to establish the inclusion. Here, we shall directly show instead (which is enough). Given a point y in B(0, r/4), consider the function defined on a neighborhood of. If P'(x) = 0, then and so f(x) = y, since f'(x) is invertible. Now, by the extreme value theorem, P admits a minimal at some point x_0 on the closed ball, which can be shown to lie in B(0, r) using. Since P'(x_0) = 0, f(x_0) = y, which proves the claimed inclusion. \square