Análisis Real II

Semana 15. Funciones implicitas

Vladimiro Contreras Tito

Universidad Nacional Federico Villarreal

Facultad de Ciencias Naturales y Matemática
Departamento de Matemática

Abril 2022

V. Contreras T. 1/9 2022 1/9

 Función implicita

Función implicita

El objetivo de la función implicita es precisar condiciones tales que,

dada una ecuación

f ((x1 , x2 , ...xn ), (y1 , y2 , ..., yn )) = 0 (1)

se puede asociar a cada punto X = (x1 , x2 , ...xn ) de un cierto conjunto

X ⊂ Rn , un único punto y = (y1 , y2 , ..., ym ) de otro conjunto Y ⊂ Rm
de manera que el par (x, y) verifique la ecuación (1). De esta forma
queda definida una aplicación

Y = φ(X)

con los pares de valores que son soluciones de la ecuación anterior. En

estas condiciones la aplicación φ se dice que está definida
implicitamente por la ecuación (1).

V. Contreras T. 2/9 2022 2/9

 Función implicita

Teorema 10.1 (Teorema de la función implı́cita).

Sean A un abierto de Rn+m y f : A → Rm una aplicación de clase C k
(k ≥ 1) en A, y (a, b) un punto de A tal que f (a, b) = 0. Se supone
además que  
∂fi
det (a, b) ̸= 0 (2)
∂xn+j 1≤i , j≤m

entonces existen un abierto U de Rn , con a ∈ U y otro abierto V de

Rm , con b ∈ V tales que para cada X ∈ U existe un único φ(X) ∈ V
con f (X, φ(X)) = 0; además, la función φ : U → V ası́ definida es una
función de clase C k en U .

V. Contreras T. 3/9 2022 3/9

 Función implicita

Observación 10.1.
El teorema anterior admite una fórmula más general en el sentido
siguiente: “Si la matriz jacobiana de la aplicación f en el punto
c ∈ Rn+m tienen rango máximo (igual a m) esto es, existen
1 ≤ j1 < j2 < .... < jm ≤ m + n tales que el menor correspondiente
a las derivadas parciales respecto de las variables xj1 , xj2 , ..., xjm
tienen determinante no nulo, entonces estas m variables quedan
determinadas implicitamente en función de los n restantes en un
entorno de dicho punto”.
La unicidad enunciada en el teorema de la función implı́cita, junto
con la condición f (a, b) = 0, implica en particular, que φ(a) = b.

V. Contreras T. 4/9 2022 4/9

 Función implicita

Observación 10.2.
Aún sin conocer explicitamente a la aplicación φ, es posible
calcular sus derivadas parciales sucesivas en el punto a, lo cual se
reduce a resolver una serie de sistemas lineales cuya compatibilidad
vienen garantizada por el hecho de que el determinante jacobiano
respecto de las últimas variables no sea nulo.

V. Contreras T. 5/9 2022 5/9

 Función implicita

Teorema de rango

Los teoremas de rango van encaminados en el mismo sentido que el de

las funciones implicitas. Su análogo algebraico es el de la triangulación
de matrices no cuadradas, y al igual que las anteriores tienen caracter
local.
Definición 10.1.
Sean A un abierto de Rn y f : A → Rm , a un punto de A y f una
aplicación de clase C 1 . Se dice que f es una inmersión en a si f ′ (a)
es una aplicación inyectiva de Rn en Rm (nótese que debe ser n ≤ m).
Se dice que f es una submersión en el punto a si f ′ (a) es
suryectiva(en este caso debe ser n ≥ m)

V. Contreras T. 6/9 2022 6/9

 Función implicita

Teorema 10.2 (Teorema de inmersión).

Sean A un abierto de Rn y f : A → Rm de clase C k , tal que f es una
inmersión en un punto xo ∈ A. Entonces existen un entorno abierto V
de f (xo ) en Rm , un entorno abierto U de xo en Rn , con f (U ) ⊂ V , y
un difeomorfismo φ de clase C k de V en φ(V ) tales que la restricción
φ ◦ f a U es la inyección canónica de Rn en Rn × {0}m−n . Es decir,

(φ ◦ f )(x1 , x2 , ..., xn ) = (x1 , x2 , ....xn , 0, ...., 0)

V. Contreras T. 7/9 2022 7/9

 Función implicita

Teorema 10.3 (Teorema de submersión).

Sean A un abierto de Rn y f : A → Rm de clase C k , que es una
submersión en un punto xo ∈ A. Existen entonces un entorno abierto
U de xo en Rn , y un difeomorfismo φ de clase C k de U en φ(U )
(conjunto abierto de Rn ), tales que, si π denota la proyección canónica
de Rn sobre Rm , la restricción de f a U es π ◦ φ. Es decir

f ◦ φ−1 (x1 , x2 , ..., xm , ..., xn ) = (x1 , x2 , ....xm )

V. Contreras T. 8/9 2022 8/9

 Función implicita

Teorema 10.4 (Teorema del rango constante).

Sean A un abierto de Rn y f : A → Rm de clase C k y tal que el rango
de f ′ (x) es r en cada punto x en un entorno de xo ∈ A. Existen
entonces un entorno abierto U de xo , un entorno abierto V de f (xo ) y
difeomorfismos de clase C k .

φ → φ(U ) ⊂ Rn , ψ : V → ψ(V ) ⊂ Rm
tales que cada X = (x1 , x2 , ..., xm , ..., xn ) ∈ φ(U ) se tiene que

φ ◦ f ◦ φ−1 (x1 , x2 , ..., xr , ..., xn ) = (x1 , x2 , ...xr , 0, 0, ...0)

V. Contreras T. 9/9 2022 9/9