3.II.13F
Let be a function, and a point of . Prove that if the partial derivatives of exist in some open disc around and are continuous at , then is differentiable at .
Now let denote the vector space of all real matrices, and let be the function assigning to each matrix its determinant. Show that is differentiable at the identity matrix , and that is the linear map . Deduce that is differentiable at any invertible matrix , and that is the linear map
Show also that if is a matrix with , then is invertible. Deduce that is twice differentiable at , and find as a bilinear map .
[You may assume that the norm on is complete, and that it satisfies the inequality for any two matrices and
Typos? Please submit corrections to this page on GitHub.