Paper 1, Section II, E
Part IB, 2020
State what it means for a function to be differentiable at a point , and define its derivative
Let be the vector space of real-valued matrices, and let be given by . Show that is differentiable at any , and calculate its derivative.
State the inverse function theorem for a function . In the case when and , prove the existence of a continuous local inverse function in a neighbourhood of 0 . [The rest of the proof of the inverse function theorem is not expected.]
Show that there exists a positive such that there is a continuously differentiable function such that . Is it possible to find a continuously differentiable inverse to on the whole of ? Justify your answer.