## The Inverse Function Theorem

Recall the inverse function theorem from multivariable calculus: if is a map defined on an open region , and if the Jacobian of has maximal rank at a point then there is some neighborhood of so that the restriction is a diffeomorphism. This is slightly different than how we stated it before, but it’s a pretty straightforward translation.

Anyway, this generalizes immediately to more general manifolds. We know that the proper generalization of the Jacobian is the derivative of a smooth map , where is an open region of an -manifold and is another -manifold. If the derivative has maximal rank at , then there is some neighborhood of for which is a diffeomorphism.

Well, this is actually pretty simple to prove. Just take coordinates at and at . We can restrict the domain of to assume that is entirely contained in the coordinate patch. Then we can set up the function .

Since has maximal rank, so does the matrix of with respect to the bases of coordinate vectors and , which is exactly the Jacobian of . Thus the original inverse function theorem applies to show that there is some on which is a diffeomorphism. Since the coordinate maps and are diffeomorphisms we can write for some , and conclude that is a diffeomorphism, as asserted.

[…] but its proof, as well. And we can even extend to a different, related statement, all using the inverse function theorem for […]

Pingback by The Implicit Function Theorem « The Unapologetic Mathematician | April 15, 2011 |

[…] is the identity transformation on . The inverse function theorem now tells us that there is a chart around with , which will then satisfy our […]

Pingback by Building Charts from Vector Fields « The Unapologetic Mathematician | June 22, 2011 |

[…] key is the inverse function theorem: the Jacobian of must have maximal rank at , so there’s some around on which is a […]

Pingback by Calculating the Degree of a Proper Map « The Unapologetic Mathematician | December 10, 2011 |