The Inverse Function Theorem (Preliminaries)
Point of Post: In this post we give motivation for the inverse function theorem.
In this post we discuss one of the most fundamental analytic-geometric facts in all of multivariable analysis–the inverse function theorem. The theorem really has its humble roots back in single variable analysis with an observation about regular points (points where the derivative is non-zero) of continuously differentiable functions. Namely, it is a common theorem that if is continuously differentiable and for some then there exists some neighborhood containing for which is bijective and it’s inverse is continuously differentiable and moreover that . There, the theorem was easy to prove (see any basic analysis textbook for a proof). So, since we are doing multivariable analysis an obvious question is “does this result extend to maps ?” Well, the first problem in answering this question is formulating exactly what this ‘theorem’ would say in higher dimensions. Let’s rephrase this theorem in a language a little more amenable to total derivatives. We begin with that means. In particular, (using the notation used above) we see that since we have that if and only if . Thus, it seems that the natural extension would be we want to consider , with open, with some distinguished point such that is an isomorphism. In particular we should make the concession that we would like to only consider maps (with the above notation) where . From this, we can see that we have a visually similar condition that takes to (recalling that we are only considering maps ) the condition . It’s pretty intuitive that we should replace continuously differentiable with (in the multivariable sense). Lastly, we see that seems naturally translatable to or, in the more common form, . Thus, we can finally create a single-variable to multivariable dictionary for this theorem
1. Spivak, Michael. Calculus on Manifolds; a Modern Approach to Classical Theorems of Advanced Calculus. New York: W.A. Benjamin, 1965. Print.
2. Apostol, Tom M. Mathematical Analysis. Reading, MA: Addison-Wesley Pub., 1974. Print.