The Implicit Function Theorem
A specific solution of this equation is a point in D, and the collection of all such solution points forms an object in D.
There is an incredible variety of objects that can arise in this way, making a conclusive study of them next to impossible. However, in most situations which we encounter these level sets will turn out to be manifolds, and manifolds can be studied effectively with the tools of calculus. The foundation for such an study is provided by the implicit function theorem, formulated below. As a preparation, we discuss consequences of the relationship between the domain dimension n and the target dimension m of the function f.
General information about level sets In most cases, we already get information about a level set of a function by comparing the number of variables (i.e. the dimension of D) to the number of equations in our system (i.e. the dimension m of the target space):
The general implicit function theorem Let us now turn to the general situation where f takes values in an m-dimensional space. This means that we now have m equations in n unknowns.
The inverse function theorem The general implicit function theorem has a special case which is frequently useful: If the dimensions of the domain and the target space are equal, then it gives the following:
Move on to extrema.