A map is differentiable at when there is a linear map such that
The linear map is the Frechet derivative of at .
The multivariable chain rule states that if is differentiable at and is differentiable at , then
Indeed, 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

Articles by others on the same topic (0)

There are currently no matching articles.