Differentiability at means there is a linear map such thatThis is the Fréchet derivative definition; the same linear approximation must work in every direction, not merely along coordinate axes.
The chain rule says that if is differentiable at and is differentiable at , then is differentiable at andFor its proof, put , , and . Since a linear map between these finite-dimensional normed spaces is bounded, . Differentiability of gives with . ThereforeIf , take ; otherwise . This proves the required full linear approximation.
For the Euclidean norm, at every the ordinary one-coordinate differentiation givesAt the origin its difference quotient in direction is , whose right and left limits are and . Thus none of its coordinate partial derivatives exists at the origin.
Articles by others on the same topic
There are currently no matching articles.