Rafael Almeida Silva

Teorema da Funo Inversa

MINEIROS GOIS
2015

CENTRO UNIVERSITRIO DE MINEIROS (UNIFIMES)

Teorema da Funo Inversa

Breno Csar
Denise Assis Feitosa
Gustavo Vilela Nias
Joo Carlito Balz de Sousa
Rafael Almeida Silva
Rafael Damascena Silva

Trabalho apresentada ao Curso de

Engenharia Civil, oferecido pela
Unidade Bsica das Exatas, mantido
pelo
Centro
Universitrio
de
Mineiros, como requisito parcial para
obteno do Ttulo de Bacharel em
Engenharia Civil, sob a orientao
do Prof. Maxlei Vinicius Candido de
Freitas.

MINEIROS GOIS
2013

RESUMO

O teorema da funo inversa um importante resultado da anlise real. Admite

diversas verses, todas estabelecem basicamente a existncia local de
uma funo inversa para uma aplicao continuamente diferenvel.

Definio
Teorema da funo Inversa um importante resultado que trata da
possibilidade de inverter uma funo, mesmo que localmente. O teorema
tambm fala das propriedades de diferenciabilidade da inversa. O Teorema da
Funo Inversa diz basicamente que se

invertvel, ento

invertvel

numa vizinhana de
Derivada da Funo Inversa
Se F uma funo definida sobre um intervalo I e F derivvel com
F' ( x ) 0 , x I , ento F invertvel neste intervalo, sua funo inversa

derivvel e

1' ( y )

1
F (x) .
'

Suponha que F e sua inversa

F1

sejam derivveis, usando a Regra da

Cadeia podemos encontrar a derivada de

F1 . Sabemos que F o

F1 = id,

1
isto , F( F (y)) = y.
1

F
Logo, derivando implicitamente e usando a Regra da cadeia, F( F1 ( y ) .
(y) = 1.
1
1
1
F1 '( y )= ' 1
=
F
(
y
)
Assim, se F(
no for nulo, (
F ( F ( y ) ) F '( x )
Ou seja, se y = F(x) e sua inversa x=

F1 ( y ) so derivveis, temos

dx 1
dy
=
, se 0
dy dx
dx
dy

Demonstrao

Para a demonstrao do Teorema de funo inversa vamos precisar do

seguinte teorema sobre ponto fixo. o teorema do ponto fixo de Banach ou o
principio da contrao. Sejam (M, d) e (N, d1) dois espaos mtricos. Uma
aplicao f : M => N dita uma contrao de existe 0

K < 1 tal que

d 1 ( f ( x ) . f ( y ) ) kd ( x , y ) , x , y M .
fcil ver que toda contrao uniformemente continua.
Sejam (M, d) um espao mtrico completo e f : M => M uma contrao.
Ento. f possui um nico ponto fixo em M. Alm disso, dado
sequencia definida por

convergente e

x 1=f ( x o ) , x n+1=f ( x n ) , n=1,2

lim n= x n=a

xo

uma sequancia

ponto fixo de f.

Demostrao: se a sequencia ( x n definida acima converge para

a M . Ento como f continua temos
f ( a )=f ( lim x n )=lim f ( x n )=lim x n +1=a
Provando que a ponto fixo de f.
Se f tem dois ponto fixos a e b, ento temos.
d ( a , b )=d ( f ( a ) , f ( b ) ) kd (a , b)
O que absurdo a menos que a = b. Logo , a = b.
Basta

provar

que

d ( x1 , x2 ) kd ( x o , x 1 )
que para n, p

sequencia

e que em geral
temos.

( x n+ p1 , x n + p )
( x n , x n+1 ) + +d
( x n , x n+ p ) d
d

N. Segue que para n, p

N temos:

( xn )

converge.

Notemos

d ( x n+1 , x n ) k n d ( x 1 , x o ) , n N ,

que
Segue

d.( x n , xn + p
[ kn

k n +1 + ... +

k
1k

n
d ( , x n+1 ) + ....+ d( x n+ p1, x n+ p

k n + p1 ]d( x 0 ,

x1 )

d ( x 0, x 1, .
k

Como lim

= 0 segue que a sequencia de Cauchy e portanto

convergente, o que completa a prova do teorema.

Exemplo:
Dada a funo F:

Rm R n

g1 , , gn : R R de classe
Mostre que se
todo x

contnua, suponha eu existam n funes

C

g1 F sejam de classe

tais que

dg1 ( F ( x ) ) , dgn ( F ( x ) )

so linearmente independentes para o

R, ento a funo F de classe

Este problema uma aplicao do Teorema da Funo Inversa (TFI)1. Na

soluo, usamos a continuidade da funo F para garantir que a inversa, por F,
n
m
de um aberto de R um aberto e, R . Alm disso, usamos o fato de os
dg1 ( F ( x ) ) , , dgn (F ( x ))

vetores

formarem um conjunto L.I. para que nos

assegurar que o Jacobiano de uma funo, a ser definida, diferente de zero

[onde o Jacobiano de uma funo G em x dado por JG(x) = detG(x)].
Soluo:
n

Considere

funo

R R dada por g ( y )=( g 1 ( y ) , , g n ( y ) ) ,

classe

( g1 , , gn )

g=

para todo y

Rn . Ento g de

C1 , pois so suas funes coordenadas. Agora escrevendo h(x) =

g(F(x)) = ( g1 (F(x)), ...,

gn (F(x))) tem-se h de classe

cada hi=g i F de classe

Dado que

, uma vez que

C1 ( por hiptese ! ) .

J g ( F ( x ) ) 0 . Logo, pelo TFI a restrio glF( Rm ) um

difeomorfismo local de classe

C1 , ou

n
seja, existe um aberto V de F( R

contendo x tal que g: V

que a funo

g1 : g(V)

g(V) um difeomorfismo

V de classe

Considerando aberto U -

g1

h=

g1

, o que implica

C1 .

(V) [F continuo em V aberto] e sabendo

que a composta de funes de classe

funo

ainda uma funo

F=F

C1 .

, ento a