# Inverse Function Theorem via Mean Value Equality

1. Nov 13, 2013

### bolbteppa

I know the mean value theorem for $\mathbb{R}^1$ expressed in terms of an equality doesn't strictly generalize to $\mathbb{R}^n$, as the example on page 2 of http://artsci.wustl.edu/~e511jn/InvFT.pdf [Broken] shows. The mean value inequality is used to prove the inverse function theorem, and (I think) because we're using the inequality form of the mean value theorem the proof's get quite complicated, requiring contraction mappings & Banach's fixed point theorem to alleviate the uncertainty introduced by the inequality. If we had some kind of mean value equality on $\mathbb{R}^n$ then the proof would be immensely simpler.

I found a really old book which apparently claims to prove some form of the mean value theorem in terms of equalities, & then goes on to give an extremely simple proof of the inverse function theorem on $\mathbb{R}^n$ almost exactly following the lines of the proof in the $\mathbb{R}^1$ case.

I don't know if the arguments are sound, I can't really follow the proof because the notation is old, & I don't know if the proof of the inverse function theorem is sound since no heavy machinery is invoked like the other proofs, so I'd like to post pictures of the proofs & get peoples input. I think this would be of interest to a lot of people so hopefully you guys can help me write out these proofs in detail & make up examples or counter-examples where necessary:

https://www.physicsforums.com/attachment.php?attachmentid=63894&stc=1&d=1384331357

https://www.physicsforums.com/attachment.php?attachmentid=63895&stc=1&d=1384331473

#### Attached Files:

File size:
24.8 KB
Views:
186
File size:
25.4 KB
Views:
202
File size:
31 KB
Views:
198
File size:
27.1 KB
Views:
225
File size:
25.6 KB
Views:
207
• ###### 0081.jpg
File size:
27.6 KB
Views:
203
Last edited by a moderator: May 6, 2017