Teorema de la Función Implícita

Aserción local que garantiza que, cerca de un punto donde un sistema de ecuaciones diferenciables F(x,y)=0 tiene un jacobiano no degenerado respecto a y, existe una aplicación diferenciable y = g(x) que resuelve el sistema en una vecindad de ese punto.

Resultado local que garantiza, bajo diferenciabilidad y la condición de jacobiano no singular respecto de ciertas variables, la posibilidad de resolver F(x,y)=0 para y como una función diferenciable y=g(x) cerca de un punto base.