Teorema de la función inversa local

Sea Ω un abierto de ℝ𝑛 y 𝑓: Ω ⟶ ℝ𝑛 una función diferenciable. Suponiendo que 𝒟𝑓 es continua

en el punto 𝒶 ∈ Ω y que |𝒥𝑓(𝒶)| ≠ 0.Entonces existe 𝒰 de ℝ𝑛 , con 𝒶 ∈ 𝒰 ⊂ Ω para el que se
verifica:

𝒾) 𝑓 es inyectiva en 𝒰.

𝒾𝒾)𝒱 = 𝑓(𝒰) es un abierto de ℝ𝑛

𝒾𝒾𝒾) |𝒥𝑓(𝑥)| ≠ 0 ∀𝑥 ∈ 𝒰

𝒾𝓋) Denotando 𝜑 a la restricción de 𝑓 a 𝒰, se tiene que 𝜑−1 es diferenciable con

𝒟𝜑−1 (𝑓(𝑥)) = 𝒟𝑓(𝑥)−1 ∀𝑥 ∈ 𝒰 .

Demostración:

Sea Ω0 = {𝑧 ∈ ℝ𝑛 : 𝑧 + 𝑎 ∈ Ω} un abierto de ℝ𝑛 , como imagen inversa de Ω por una traslación,

y verifica que 0 ∈ Ω0 . Como por hipótesis |𝒥𝑓(𝒶)| ≠ 0, tenemos que 𝑇 = 𝒟𝑓(𝑎) es biyectiva y
usaremos su inversa. Consideremos entonces la función 𝑓0 : Ω0 ⟶ ℝ𝑛 definida por: 𝑓0 (𝑧) =
𝑇 −1 (𝑓(𝑧 + 𝑎) − 𝑓(𝑎)) ∀𝑧 ∈ Ω0 … … … … . (0)

que verifica 𝑓0 (0) = 0 . La regla de la cadena nos dice que 𝑓0 es diferenciable con 𝒟𝑓0 (𝑧) =
𝑇 −1 ∘ 𝒟𝑓(𝑧 + 𝑎)∀𝑧 ∈ Ω … … … … … … . (1)

en particular 𝒟𝑓0 (0) = 𝑇 −1 ∘ 𝑇 = 𝐼𝑑 . También deducimos que 𝒟𝑓0 es continua en el origen,

pues para 𝑧 ∈ 𝒰0 , se tiene

∥ 𝒟𝑓0 (𝑧) − 𝒟𝑓0 (0) ∥=∥ 𝑇 −1 ∘ (𝒟𝑓(𝑧 + 𝑎) − 𝑇 ∥

≤∥ 𝑇 −1 ∥ 𝒟𝑓(𝑧 + 𝑎) − 𝒟𝑓(𝑎) ∥
Basta tener en cuenta que 𝒟𝑓 es continua en 𝒶. En resumen, 𝑓0 verifica las hipótesis del
teorema. Por tanto existe 𝒰0 abierto de ℝ𝑛 , con 0 ∈ 𝒰0 ⊂ Ω0 , tal que 𝑓0 es inyectiva en 𝒰0 , el
conjunto 𝒱0 = 𝑓0 (𝒰0 ) es abierto, |𝒥𝑓0 (𝑧)| ≠ 0 ∀𝑧 ∈ 𝒰0 y, si 𝜑0 es la restricción de 𝑓0 a 𝒰0 , se
tiene que 𝜑0−1 es diferenciable con

𝒟𝜑0−1 (𝑓0 (𝑧)) = 𝒟𝑓0 (𝑧)−1 ∀𝑧 ∈ 𝒰0 … … … . (2)

Si llamamos 𝑓 en términos de 𝑓0 ⟹ sea 𝒰 = {𝑧 + 𝑎, 𝑧 ∈ 𝒰0 } que es un abierto de ℝ𝑛 con 𝑎 ∈

𝒰 ⊂Ω.

De (0) 𝑓(𝑥) = 𝑇(𝑓0 (𝑥 − 𝑎)) + 𝑓(𝑎) ∀𝑥 ∈ Ω … … … … (3)

De (1) 𝒟𝑓(𝑥) = 𝑇 ∘ 𝒟𝑓0 (𝑥 − 𝑎) ∀𝑥 ∈ Ω … … … … . (4)

Se comprueba que:

𝒾) Si 𝑓(𝑥1 ) = 𝑓(𝑥2 ) con 𝑥1 , 𝑥2 ∈ 𝒰, de (3) se tiene que 𝑇(𝑓0 (𝑥1 − 𝑎)) = 𝑇(𝑓0 (𝑥2 − 𝑎)) como
𝑇 es biyectiva, entonces 𝑓0 (𝑥1 − 𝑎) = 𝑓0 (𝑥2 − 𝑎). Como 𝑥1 − 𝑎, 𝑥2 − 𝑎 ∈ 𝒰0 y 𝑓0 es inyectivo
en 𝒰0 ⟹ 𝑥1 = 𝑥2 , asi f es inyectiva en 𝒰.

𝒾𝒾) Como 𝒱0 = 𝑓0 (𝒰0 ) es abierto y 𝑇 es homeomorfismo, tenemos que 𝒲0 = 𝑇(𝒱0 ) es abierto.

De (3), 𝒱 = {𝑣 ∈ ℝ𝑛 : 𝑣 − 𝑓(𝑎) ∈ 𝒲0 } luego 𝒱 es abierto por ser imagen inversa del abierto
𝒲0 por una traslación.
𝒾𝒾𝒾) Para 𝑥 ∈ 𝒰 se tiene 𝑥 − 𝑎 ∈ 𝒰0 , luego |𝒥𝑓(𝑥 − 𝒶)| ≠ 0, es decir 𝒟𝑓0 (𝑥 − 𝑎) es biyectiva.

Como 𝑇 es biyectiva, de (4) 𝒟𝑓(𝑥) es biyectiva ⟹ |𝒥𝑓(𝑥)| ≠ 0.

𝒾𝓋) Si 𝜑 es la restricción de 𝑓 a 𝒰 encontramos que 𝜑 −1 y 𝜑0−1 . Para 𝑦 ∈ 𝒱 se tiene que

𝑦 − 𝑓(𝑎) ∈ 𝒲0 = 𝑇0 , 𝑇 −1 (𝑦 − 𝑓(𝑎)) ∈ 𝒱0 lo que permite tomar 𝑥 = (𝜑0−1 ∘ 𝑇 −1 )(𝑦 −

𝑓(𝑎)) + 𝑎 ∈ 𝒰, de (3) 𝑓(𝑥) = 𝑦

⟹ 𝜑−1 (𝑦) = (𝜑0−1 ∘ 𝑇 −1 )(𝑦 − 𝑓(𝑎)) + 𝑎 ∀𝑦 ∈ 𝒱

𝜑−1 es composición de funciones diferenciales.

Con la regla de la cadena 𝜑−1 es diferenciable con

𝒟𝜑 −1 (𝑦) = 𝒟𝜑0−1 (𝑇 −1 (𝑦 − 𝑓(𝑎)) ∘ 𝑇 −1 ∀𝑦 ∈ 𝒱

Finalmente para 𝑥 ∈ 𝒰, apliamos la igualdad anterior con 𝑦 = 𝑓(𝑥) ∈ 𝒱

⟹ 𝑇 −1 (𝑦 − 𝑓(𝑎) = 𝑓0 (𝑥 − 𝑎) donde 𝑧 = 𝑥 − 𝑎 ∈ 𝒰0 aplicando (2) y luego (1)

𝒟𝜑−1 (𝑓(𝑥)) = 𝒟𝜑0−1 (𝑓0 (𝑥 − 𝑎)) ∘ 𝑇 −1 = 𝒟𝑓0 (𝑥 − 𝑎)−1 ∘ 𝑇 −1

(𝒟𝑇 −1 ∘ 𝒟𝑓(𝑥))−1 ∘ 𝑇 −1 = 𝒟𝑓(𝑥)−1 ∘ 𝑇 ∘ 𝑇 −1 = 𝒟𝑓(𝑥)−1

∀𝑥 ∈ 𝒰 ⟹ se cumple 𝒾𝓋)