En matemáticas, un difeomorfismo local es una aplicación diferenciable "f" : "M" → "N" entre variedades diferenciables tal que, para cada punto "p" de "M", existe un entorno abierto "U" de "p" tal que "f"("U") es abierto en "N" y "f"| : "U" → "f"("U") (restricción de "f" a "U") es un difeomorfismo.