For , all component functions are continuously differentiable and the Jacobian matrix isAt 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 isThe inverse function theorem therefore supplies neighbourhoods on which has a continuously differentiable, hence differentiable, inverse. Concretely, if , the local inverse is the restriction ofwhich is continuously differentiable near the image whenever .
Articles by others on the same topic
There are currently no matching articles.