Content deleted Content added
Robodoc.at (talk | contribs) m de: |
links |
||
Line 1:
In [[mathematics]], the '''inverse function theorem''' gives sufficient conditions for a [[vector-valued function]] to be [[invertible]] on an [[open region]] containing a point in its ___domain. The theorem can be generalized to maps defined on [[manifold|manifolds]], and on infinite dimensional [[Banach space]]s.
The theorem states that if the [[total derivative]] of a function ''F'' : '''R'''<sup>''n''</sup> → '''R'''<sup>''n''</sup> is invertible at a point ''p'' (i.e., the [[Jacobian determinant]] of ''F'' at ''p'' is nonzero), and ''F'' is [[continuously differentiable]] near ''p'', then it is an invertible function near ''p''. That is, an [[inverse function]] to ''F'' exists in some [[neighbourhood (mathematics)|neighborhood]] of ''F''(''p''). In the infinite dimensional case it is required that the [[Frechet derivative]] have a [[bounded linear map|bounded]] inverse near ''p''.
| |||