A map is differentiable at when there is a linear map such thatThe linear map is the Frechet derivative of at .
The multivariable chain rule states that if is differentiable at and is differentiable at , thenIndeed, write and , where and . Since ,and the last two terms are . This proves the formula.
For matrix inversion near the identity matrix,The last term is because inversion is bounded near . Therefore the inversion map is differentiable at and
For every invertible matrix ,The maps and are linear. Differentiate this identity at and use the chain rule and part (a):Thus . Given an arbitrary increment , set to obtain the derivative of matrix inversionThis also proves differentiability at every .
Articles by others on the same topic
There are currently no matching articles.