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 sea invertible localmente en un entorno de un punto p en términos de su derivada en dicho punto. Técnicamente es un teorema de existencia local de la función inversa. El teorema puede enunciarse para aplicaciones en Rn o se puede generalizar a variedades diferenciables o espacios de Banach.