Given a smooth function f:R^n->R^n, if the Jacobian is invertible at 0, then there is a neighborhood U containing 0 such that f:U->f(U) is a diffeomorphism. That is, there is a smooth inverse f^(-1) :f(U)->U.

diffeomorphism | implicit function theorem | Jacobian