Content deleted Content added
TakuyaMurata (talk | contribs) over a real closed field |
TakuyaMurata (talk | contribs) |
||
Line 218:
=== Over a real closed field ===
The inverse function theorem also holds over a [[real closed field]] ''k'' (or more generally an [[O-minimal structure]]).<ref>Theorem 2.11. in {{cite book |doi=10.1017/CBO9780511525919|title=Tame Topology and O-minimal Structures. London Mathematical Society lecture note series, no. 248|year=1998 |last1=Dries |first1=L. P. D. van den |authorlink = Lou van den Dries|isbn=9780521598385|publisher=Cambridge University Press|___location=Cambridge, New York, and Oakleigh, Victoria }}</ref> Precisely, the theorem holds for a semialgebraic (or definable) map between open subsets of <math>k^n</math> that is continuously differentiable.
The usual proof of the IFT uses Banach's fixed point theorem, which relies on the Cauchy completeness. That part of the argument is replaced by the use of the [[extreme value theorem]] which does not need completenes.
==See also==
| |||