Analysis MOC

Inverse function theorem

Let be open, be differentiable, and . Then if the total derivative is non-singular, there exist open neighbourhoods of in and of in such that

is a diffeomorphism, #m/thm/anal i.e. is locally a diffeomorphism at .

The constructive proof relates to Newton's method.

Corollary

The above theorem is easily extended to a differentiable map between differentiable manifolds . If the Tangent map is a Linear isomorphism, then is a local diffeomorphism, as one expects from the Linearization dogma.

#state/develop | #lang/en | #SemBr