TEOREMA DE LA PERTURBACION DE LA IDENTIDAD

Sea

, una contraccin definida en el abierto

. La aplicacin

, dada
por () (), es un homeomorfismo de U sobre el conjunto abierto ()

. Por
otra parte, si

se tiene ()

Demostracin:
Sea una aplicacin

se denomina una contraccin, si , , se tiene

|() ()| | | , para normas adecuadas en

para cualquier .
Para cualquier , tenemos
|() ()| | () ()| | () ()| | | |() ()|
Por definicin de contraccin |() ()| | | | | ( )| |
Por lo tanto tenemos |() ()| ( )| |, de aqu partimos para demostrar que es
inyectiva. Si f(x)= f(y) entonces ( )| |, como (1- ) entonces
( )| | ( )| | | | . Tambin se cumple la
sobreyectividad.
De ah resulta que es una biyeccin de U sobre () y que la aplicacin inversa

()
cumple la condicin de Lipschitz |

()

()| | |, com ( ). Por ser

aplicacin Lipschitziana es continua. Como f es una biyeccin continua y su inversa tambin,
entonces f es un homeomorfismo de U sobre f(U).
Probaremos que ()

es abierto, sea (). Tenemos () () para un

. Demostraremos que es un punto interior del conjunto f(U), o sea, que para todo punto
y suficientemente prximo de b, la ecuacin () (), posee una solucin .
Lo resolveremos por medio de puntos fijos, sea tal que y consideremos la
aplicacin

, dada por () (). Entonces () () .

Como y es constante, es una contraccin.
Tenamos que |() ()| ( )| | |() ()| ( )| |
|() ()| | () ()| | ()| | () |
|() ()| |() | ( )| | |() | ( )| | | |
|() | ( )
|() | ( )
Por el Lema anterior, existe un punto fijo para ya que |() | ( ). Como
() () , vemos que

tiene un punto fijo en (o sea existe

tal que () ) a condicin que tomemos | | ( ). Esto significa que,
poniendo ( ), tenemos ( ) ( ) (), luego (), y como
() es arbitrario, el conjunto () es abierto.
Finalmente, si

entonces, para todo tenemos donde

() ( ) (). Si tomamos, para cada ,

( ) veremos entonces que

() (), donde

()

()

, o sea, ()

COLORARIO: (Perturbacin de un isomorfismo). Sea
U c

abierto y
: f U

una
aplicacin de la forma
( ) ( ) f x T x x = +
, donde
: T

es una transformacin lineal

invertible y
:U

satisface
( ) ( ) x y x y s
, con
1
1 T

<
. Entonces
f
es
un homeomorfismo de
U
sobre un conjunto abierto
( ) f U c

. Si

entonces
( ) f U =

.
En efecto, en este caso la aplicacin
1
: T U

, cumple
| |
1 1 1
( ) ( ) ( ) ( ) ( ) ( ) x y T x y T x y T x y

= s s
Como
1
1 T

< , vemos que

1
T

= , es una contraccin. Siendo

( )( )
1
( ) T f x x x

= + ,
siguiendo del teorema anterior que
1
T f

es un homeomorfismo de U sobre un abierto

1
( ) T f U

, donde f es un homeomorfismo de U sobre un abierto ( ) f U . Si

entonces por el teorema

( )( )
1
T f U

, donde ( ) f U T =

.
LEMA: (Diferenciabilidad del homeomorfismo inverso). Sea un homeomorfismo entre
los abiertos,

. Si f es diferenciable en el punto y la derivada

()

es un isomorfismo entonces el homeomorfismo inverso

es diferenciable en el punto
b=f (a). Si f es fuertemente diferenciable en el punto a entonces

es fuertemente
diferenciable en el punto b.
Demostracin: Escribimos

. Como el nico candidato posible para la derivada de g en el

punto b es

()

escribimos
( ) ()

()

() ()
Y tratamos de mostrar que

()|| .
Escribimos:
( ) ().
Entonces ( ) () () ( ) () (( ))
. Como y son continuas, si y solamente si . La diferenciabilidad de en el
punto proporciona
( ) ()

() () donde

()
||
(**)
En la ecuacin (*), sustituimos el primer miembro por v, y en el segundo sustituimos
( ) () por el segundo miembro de (**). Resulta

()

(( ) ()) ()

()

() () ) ()

()

() ()
De donde:
()

()

()
Y
()
||

()

()
||

||
||

Cuando , se tiene tambin , como vimos, luego

()
||

Por otra parte, por el teorema 3 (tem 1), el cociente
||
||

||
|()()|
est acotado en las
proximidades de v=0. Como la transformacin lineal

()

es continua y se anula en el origen,

se sigue de la expresin:
()
||

()

()
||

||
||

Que

()
||
, donde

es diferenciable en el punto b=f(a). En cuanto a la

diferenciabilidad fuerte, si pusiramos ( ) () y ( ) () resultar,
como arriba, que
() ()

()

() ()
Como toda transformacin lineal es Lipschitziana, la diferenciabilidad fuerte de g en el punto b
resulta inmediatamente de la diferenciabilidad fuerte de f en el punto a, por el teorema 5.