Let f:R2→R be a function, and (x0,y0) a point of R2. Prove that if the partial derivatives of f exist in some open disc around (x0,y0) and are continuous at (x0,y0), then f is differentiable at (x0,y0).
Now let X denote the vector space of all (n×n) real matrices, and let f:X→R be the function assigning to each matrix its determinant. Show that f is differentiable at the identity matrix I, and that Df∣I is the linear map H↦trH. Deduce that f is differentiable at any invertible matrix A, and that Df∣A is the linear map H↦detAtr(A−1H).
Show also that if K is a matrix with ∥K∥<1, then (I+K) is invertible. Deduce that f is twice differentiable at I, and find D2f∣∣∣I as a bilinear map X×X→R.
[You may assume that the norm ∥−∥ on X is complete, and that it satisfies the inequality ∥AB∥⩽∥A∥⋅∥B∥ for any two matrices A and B.]