Paper 1, Section II, E

Analysis and Topology
Part IB, 2020

State what it means for a function f:RmRrf: \mathbb{R}^{m} \rightarrow \mathbb{R}^{r} to be differentiable at a point xRmx \in \mathbb{R}^{m}, and define its derivative f(x).f^{\prime}(x) .

Let Mn\mathcal{M}_{n} be the vector space of n×nn \times n real-valued matrices, and let p:MnMnp: \mathcal{M}_{n} \rightarrow \mathcal{M}_{n} be given by p(A)=A33AIp(A)=A^{3}-3 A-I. Show that pp is differentiable at any AMnA \in \mathcal{M}_{n}, and calculate its derivative.

State the inverse function theorem for a function ff. In the case when f(0)=0f(0)=0 and f(0)=If^{\prime}(0)=I, 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 ϵ\epsilon such that there is a continuously differentiable function q:Dϵ(I)Mnq: D_{\epsilon}(I) \rightarrow \mathcal{M}_{n} such that pq=idDϵ(I)p \circ q=\left.\mathrm{id}\right|_{D_{\epsilon}(I)}. Is it possible to find a continuously differentiable inverse to pp on the whole of Mn\mathcal{M}_{n} ? Justify your answer.