Skip to content
Counterexample

Is this true?

AC1A C^{1} map with everywhere non-zero Jacobian is injective

No — it is false.

The counterexample

f(x,y) = (eˣ cos y, eˣ sin y) on R2\mathbb{R}^{2}

Why it fails

The Jacobian determinant is e2xe^{2x} ≠ 0, but f(x,y)=f(x,y+2π)f(x, y) = f(x, y + 2\pi). Invertibility is only local.

Go deeper· Explained in full in Inverse and implicit function theorems· Asked in CSIR NET December 2025· From Functions of Several Variables › Inverse and implicit function theorems, extrema

Published . Found a mistake? Tell us — corrections are the fastest thing we act on.

ShareWhatsAppTelegram