Regular analytic transformations of
Existence of loops for non-injective regular analytic transformations of the real plane is shown. As an application, a criterion for injectivity of a regular analytic transformation of in terms of the Jacobian and the first and second order partial derivatives is obtained. This criterion is new even in the special case of polynomial transformations.