Es esencial que "U" sea simplemente conexo para que la función "f" sea globalmente invertible (si únicamente se exige la condición de que la derivada sea biyectiva en cualquier punto).