Content deleted Content added
Sullivan.t.j (talk | contribs) Added Banach space case and ref, re-organized the article a little, used cite templates for existing refs. |
|||
Line 63:
===Banach spaces===
The inverse function theorem can also be generalized to differentiable maps between [[Banach space]]s. Let ''X'' and ''Y'' be Banach spaces and ''U'' an open neighbourhood of the origin in ''X''. Let ''F'' : ''U'' → ''Y'' be continuously differentiable and assume that the derivative (d''F'')<sub>0</sub> : ''X'' → ''Y'' of ''F'' at 0 is a [[bounded linear map|bounded]] linear isomorphism of ''X'' onto ''Y''. Then there exists an open neighbourhood ''V'' of ''F''(0) in ''Y'' and a continuously differentiable map ''G'' : ''V'' → ''X'' such that ''F''(''G''(''y'')) = ''y'' for all ''y'' in ''V''. Moreover, ''G''(''y'') is the only sufficiently small solution ''x'' of the equation ''F''(''x'') = ''y''. The first Banach space version of the inverse function theorem has been proved by Lawrence Graves in 1950.
==References==
| |||