En la rama de la matemática denominada análisis matemático, el teorema de la función inversa proporciona las condiciones suficientes para que una aplicación (función) sea invertible localmente en un entorno de un punto p en términos de su derivada en dicho punto.