For a differentiable map , the Jacobian matrix at represents the Fréchet derivative in the chosen coordinate bases:Rows correspond to output components and columns to input directions. The Jacobian matrix may be rectangular; only for does its Jacobian determinant exist.
For ,The inverse function theorem therefore gives local invertibility away from the origin. The map is still globally two-to-one on the punctured plane because . Under composition the chain rule becomes the matrix multiplication identity .
New to topics? Read the docs here!