The map is differentiable at when there exists a linear map such thatThe increments are taken sufficiently small to stay in the open domain; is the derivative. This is a joint approximation in all directions, not just the existence of coordinate partial derivatives.
At with , choose . If , neither coordinate changes sign, andThus the remainder in the differentiability definition is identically zero throughout that neighborhood. Consequentlywhich proves the requested differentiability directly.
Articles by others on the same topic
There are currently no matching articles.