For , all component functions are continuously differentiable and the Jacobian matrix is
At a point , the first component cannot be differentiable: along the first coordinate axis its difference quotient contains , which is unbounded as . Therefore is continuously differentiable exactly at the points with .
At a point with , the determinant of the derivative is
The inverse function theorem therefore supplies neighbourhoods on which has a continuously differentiable, hence differentiable, inverse. Concretely, if , the local inverse is the restriction of
which is continuously differentiable near the image whenever .

Articles by others on the same topic (0)

There are currently no matching articles.