Prof. Taubes write some notes on the Inverse Function Theorem a few years ago, outlining a proof of the result. His proof is in the general setting of Banach spaces but it should be straightforward to see how to specialise the proof to open subsets of some Euclidean space.
February 3
Local Immersion Theorem - an outline of the proof of the Local Immersion Theorem given in class. Please note that this version has a slight modification to the one handed out during class.
Here is the giant diagram we are constructing in the proof of the Local Immersion Theorem. You should use this diagram as a visual aid when working through the proof. Note that the diagram is a slight modification of the one handed out in class.