CAPTULO I

DEFINICIONES Y TEOREMAS BSICOS

I.1. DEFINICIN
Sea X un conjunto no vaco y : T X X una aplicacin. Un punto x X e se llama

punto fijo de T si ( ) T x x = i.e. x se mantiene fijo por T .

Para cada aplicacin : T X X , podemos definir el conjunto de puntos fijos como


{ }
( ) : ( ) fix T x X x T x = e = .

Ntese que el concepto de punto fijo es muy general, ya que no se requiere siquiera que X

tenga alguna estructura, tan slo se requiere un conjunto diferente del vaco.

I.1.1. EJEMPLOS

I.1.1.1.- La funcin : f 1 1 definida por
2
( ) f x x = tiene dos puntos fijos 0 y 1.

I.1.1.2.- Definimos la funcin : g 1 1 por ( ) g x x a = + ; para todo ae1 con 0 a = y

todo xe1 llamada traslacin. Es claro que una traslacin no tiene puntos fijos.

I.1.1.3.- La rotacin del plano tiene slo un punto fijo, el centro de rotacin.

I.1.1.4.- Sea la funcin : t 1 1 1 1 definida por ( , ) ( , 0) x y x t = para cualquiera

( , ) x y e 1 1 llamada proyeccin. Recordemos que cualquier nmero real x es

identificado como un par ordenado ( , 0) x en el plano. Es obvio que la proyeccin

tiene infinitos puntos fijos.

I.1.1.5.- Sea
{ } { }
: 0 0 h 1 1 definida por
1
( ) h x x
x
= + para todo
{ }
0 xe 1 .
Aqu tambin es claro que h no tiene puntos fijos.

I.2. DEFINICIN

Sean ( , )
X
X d y ( , )
Y
Y d espacios mtricos. Decimos que una aplicacin : T X Y

es una contraccin si existe un nmero real o con 0 1 o s < tal que, para todo , x y X e

( , ) ( , )
Y X
d Tx Ty d x y o s .

Decimos que o es la constante de contraccin de T .

Geomtricamente, esto significa que cualesquiera que sean los puntos x e y estos
tienen imgenes cercanas a estos puntos x e y ; ms precisamente, la razn
( , )
( , )
Y
X
d Tx Ty
d x y
no
excede a la constante o que es estrictamente menor que 1.

-2-
Cuando Y X = , decimos que T es una contraccin en X .

I.2.1. EJEMPLOS

I.2.1.1.- Sea : T 1 1 definida por


3
( ) 1 T x x = + , xe1.
Encontrar la solucin de

( ) T x x =

es equivalente a encontrar las races de la ecuacin


3
1 0 x x = , xe1.

Afirmacin: T es una contraccin en el subconjunto
| |
1, 2 X = porque 1 o < .

En efecto, observemos que para , x y X e tenemos por el teorema del valor

medio que existe
| |
1, 2 ce tal que

( ) ( ) ( )( ) T x T y T c x y ' = (I.2.1.1.A)
Aqu,

( )
2
3
1
( )
3 1
T x
x
' =
+
;
como

1 2 c < <

entonces


( )
2
3 3 3
1
4 9
< <
3 3 3
c +
,

por consiguiente

( )
3
2
3
1 1
<
3 4
3 1 c +
,
de donde


3
1
( )< =0.2100
3 4
T c ' .

Luego en (1.2.1.1.A) tomando el valor absoluto en ambos miembros y reemplazando

la desigualdad anterior tenemos

( ) ( ) T x T y x y o s ; , x y X e .

Entonces T es una contraccin en X con constante de contraccin 0.21 1 o = < .

-3-
I.2.1.2.- Sea : f 1 1 definido por
( )
2
x
f x sen
| |
=
|
\ .
, xe1.

Afirmacin: f es una contraccin en 1.

En efecto, para cualesquiera , x y e1 tenemos

( ) ( )
2 2
x y
f x f y sen sen
| | | |
=
| |
\ . \ .



1 1
2 cos
2 2 2 2 2 2
x y x y
sen
( (
| | | |
= +
| |
( (
\ . \ .



2 cos 2
4 4 4
x y x y x y
sen sen
+
| | | | | |
s s
| | |
\ . \ . \ .



1
2
4 2
x y
x y

s =

i.e. ( ) ( ) f x f y x y o s ; , x y e1.

Por lo tanto, f es una contraccin en 1 con constante de contraccin
1
2
o = .

I.2.1.3.- Sea
| | | |
: , , T a b a b una funcin diferenciable en
| |
, a b tal que

( ) 1 T x k ' s < ,

para algn k e1. Entonces por el teorema del valor medio tenemos, que para

cualesquiera
| |
, , x y a b e existe
| |
, c a b e tal que

( )( ) Tx Ty T c x y ' = ,

entonces

( ) Tx Ty T c x y k x y ' = s .

Por lo tanto, T es una contraccin en
| |
, a b .
I.2.1.4.- Sea
m
U c 1 abierto y convexo. Si :
n
f U 1 es una aplicacin diferenciable tal

que
( ) 1 f x o ' s <

para una cierta constante o y todo x U e , por la desigualdad del valor medio se


-4-
cumple para cualesquiera , x y U e que

( ) ( ) f x f y x y o s

entonces f es una contraccin.

I.2.1.5.- Para campos vectoriales que parten de
n
1 y llegan a
m
1 se prueba una versin del

teorema del valor medio, el cual a su vez nos permite enunciar:

Sean ,
n
a be1 con a b = tales que el segmento
| |
,
n
a b A c c 1 , A abierto.

Si :
m
f A1 es un campo vectorial con derivadas parciales
j i
D f continuas en

A, entonces

| |
2
2 2
,
( ) ( ) sup ( ) : ,
j i
i j
f b f a b a D f x x a b


( s e
`


)
_


Observemos que f es lipschitziana, pero si exigimos que


| |
2
,
( ) : , 1
j i
i j
D f x x a b


( e <
`


)
_
,

tendremos que f es una contraccin.

I.2.2. NOTACIONES

I.2.2.1.- Tx denotar la imagen de x va T i.e. ( ) Tx T x = .

I.2.2.2.- Sea : T X X una aplicacin,
n
T denotar la composicin de T consigo misma

n veces ( o la n-sima iterada de T ) i.e.
n
n veces
T T T T

=
_
. Observemos que

1 n n
T T T

= .

I.2.3. OBSERVACIONES

I.2.3.1.- Si T es una contraccin, resulta ser uniformemente continua.

I.2.3.2.- Si 0 o = tenemos que T es la funcin constante.

I.2.3.3.- En el caso que la aplicacin T no sea una contraccin, pero para cualesquiera

, x y X e satisface la desigualdad

( , ) ( , )
Y X
d Tx Ty d x y < ,

decimos que T es no expansiva.



-5-
I.2.3.4.- El Teorema del Punto Fijo de Banach (T.P.F.B.) enunciado ms adelante es un

teorema de existencia y unicidad para puntos fijos de aplicaciones contractivas, y

tambin da un procedimiento constructivo para obtener aproximaciones cada vez

mejores del punto fijo ( solucin prctica del problema ). Este procedimiento es

llamado iteracin, una definicin ms precisa de iteracin es la siguiente.

I.3. DEFINICIN
Iteracin, es un mtodo tal que dada : T X X una aplicacin, elegimos un punto

arbitrario
0
x en X y determinamos sucesivamente
1 2 3
, , ,... x x x de la forma
1 n n
x Tx
+
= , con

0,1, 2,... n = ; es decir,


1 0 2 1 1
, ,......,
n n
x Tx x Tx x Tx
+
= = = .
.
Los procedimientos de iteracin son usados a menudo en muchas ramas de la matemtica

aplicada, y las pruebas de convergencia y de estimaciones de error son comnmente obtenidas

aplicando el T.P.F.B.

I.4. TEOREMA (TEOREMA DEL PUNTO FIJO DE BANACH (T.P.F.B.))

Sea ( , ) X X d = un espacio mtrico completo. Supongamos que : T X X es una

contraccin en X . Entonces
i).- Existe un nico
_
x X e punto fijo de T .
ii).- Cualquiera sea
0
x X e , la sucesin iterada
1 n n
x Tx

= ; 1, 2,... n = converge a
_
x .

Demostracin:

Construiremos una sucesin ( )
1
n
n
x
>
y mostraremos que es de Cauchy, esta resulta ser
convergente en el espacio completo X , probaremos entonces que su lmite
_
x es un punto

fijo de T y que T no tiene ms puntos fijos.

EXISTENCIA

Para
0
x X e arbitrario explicitamos los elementos de la sucesin iterada ( )
1
n
n
x
>
definida

por
1 n n
x Tx

= ; 1, 2,... n =


1 0
x Tx = ,
2
2 1 0 0
( ) x Tx T Tx T x = = = , y en general
0
n
n
x T x = , 1, 2,... n =

Claramente esta es una sucesin de imgenes de
0
x bajo repetidas aplicaciones de T .

Vamos a demostrar que ( )
1
n
n
x
>
es una sucesin de Cauchy en X .

-6-
Para 1 m> , tenemos


( ) ( )
1 1 1 1 2
( , ) ( , ) , ,
m m m m m m m m
d x x d Tx Tx d x x d Tx Tx o o
+
= s =

( ) ( ) ( )
2 2 3
1 2 2 3 2 3
, , ,
m m m m m m
d x x d Tx Tx d x x o o o

s = s
.
( )
0 1
,
m
d x x o s

i.e. ( )
1 0 1
( , ) ,
m
m m
d x x d x x o
+
s , m
+
eZ . (I.4.A)

Por otro lado para 1 m n > > tenemos


( ) ( ) ( )
1 1 2 1
( , ) , , ,
n m n n n n m m
d x x d x x d x x d x x
+ + +
s + + +

(Usando repetidas veces la relacin (I.4.A)).

( ) ( ) ( )
1 1
0 1 0 1 0 1
, , ,
n n m
d x x d x x d x x o o o
+
s + + +


( ) ( )
1
0 1
1 ,
n m n
d x x o o o

= + + +

( )
0 1
1
,
1
m n
n
d x x
o
o
o

Como 0 1 o s < tenemos 1 1
m n
o

< , luego


0 1
( , ) ( , )
1
n
n m
d x x d x x
o
o
s

(I.4.B)
Adems
lim 0
n
n
o

=

pues 0 1 o s < , por lo tanto de (I.4.B) obtenemos


,
lim ( , ) 0
n m
n m
d x x

=

luego, la sucesin ( )
1
n
n
x
>
es de Cauchy en X . Como X es completo, ( )
1
n
n
x
>
converge a
un punto de X , digamos que
_
x X e es tal que
_
n
x x .
Vamos a demostrar que
_
x es un punto fijo de T . En efecto, tenemos


_ _ _ _
( , ) , ,
n n
d T x x d T x x d x x
| | | |
s +
| |
\ . \ .
,
pero como
1 n n
x Tx

= , tenemos

_ _ _ _
1
( , ) , ,
n n
d T x x d x x d x x o

| | | |
s +
| |
\ . \ .
.

-7-
Observemos que cada trmino del segundo miembro de la desigualdad anterior tiende a 0,

esto implica que Tx x = .

UNICIDAD
Supongamos que exista
_
y X e otro punto fijo de T con
_ _
x y = .
i.e. tenemos
_ _
T x x = ,
_ _
y T y = con
_ _
x y = en X , entonces


_ _ _ _ _ _
0 , , , d x y d T x T y d x y o
| | | | | |
< = s
| | |
\ . \ . \ .

de donde resulta que 1 o > , lo que es una contradiccin.

El aporte ms importante a destacar del T.P.F.B., es que nos da explcitamente un esquema

iterativo para encontrar una solucin aproximada de un determinado problema. Si esta aproxi-

macin se compara con la solucin exacta, da origen a la aparicin de error, el cual deseamos

que sea el menor posible.

I.4.1. COROLARIO (ESTIMACIN DE LA COTA DE ERROR)

Bajo las condiciones del T.P.F.B. y siguiendo las notaciones usadas, se cumplen


_
0 1
( , ) ( , )
1
n
n
d x x d x x
o
o
s

(I.4.1.A)


_
1
( , ) ( , )
1
n n n
d x x d x x
o
o

(I.4.1.B)

Demostracin:

La desigualdad (I.4.1.A) se sigue de (I.4.B) manteniendo fijo n y haciendo m.

Para deducir (I.4.1.B), tomamos 1 n = y reemplazando
0
x por
0
y y
1
x por
1
y , obtenemos

de (I.4.1.A)

_
1 0 1
( , ) ( , )
1
d y x d y y
o
o
s

Haciendo
0 1 n
y x

= , tenemos

1 0 1 n n
y Ty Tx x

= = = ,

obteniendo finalmente (I.4.1.B).
Cada una de estas desigualdades nos permiten hallar los errores al aproximarnos a
_
x

usando ( )
1
n
n
x
>
. Llamaremos a la desigualdad (1.4.1.A) estimacin previa, y a (1.4.1.B)

estimacin posterior. Haremos uso de este corolario en el captulo 2, seccin II.1.3.


-8-
La cota de error previa (I.4.1.A) puede ser usada en el inicio de los clculos para estimar

el nmero de pasos necesarios para obtener una exactitud dada; (I.4.1.B) puede ser usada en la

etapa intermedia o al final del clculo. Es menos exacta que (I.4.1.A) y puede ser mejorada.

El T.P.F.B. se puede extender al caso en que alguna potencia de T sea contractiva en X .

I.4.2. COROLARIO

Sean ( , ) X d un espacio mtrico completo y : T X X una aplicacin tal que para

algn entero 1 m> , la aplicacin
m
T es una contraccin en X . Entonces T tiene un nico

punto fijo y, para todo
0
x X e , la sucesin
( )
0
n
n
T x
eN
converge al punto fijo.
Demostracin:

Si 1 m= , nuestro enunciado es el T.P.F.B. ya probado.
Si 1 m> . Sea
_
y el punto fijo de
m
T cuya existencia viene del T.P.F.B., probaremos que

_
y es punto fijo de T .

_ _ _ _
( , ) ( ( ), )
m m
d T y y d T T y T y =


_ _
( ( ), )
m m
d T T y T y =


_ _
( , ) d T y y | s

donde | es la constante de contraccin de
m
T . Luego obtenemos que

_ _
( , ) 0 d T y y =
pues 1 | < . Por lo tanto
_ _
T y y = .
Recprocamente, si
_
y es un punto fijo de T

_ _ _
1 1
( )
m m m
T y T T y T y

= =
_ _
2 2
( )
m m
T T y T y

= =
_ _
T y y = = =
entonces
_
y es un punto fijo de
m
T .

En resumen, tenemos bajo las condiciones de este corolario, lo siguiente:

_
y es un punto fijo de T si y slo si
_
y es un punto fijo de
m
T

Como
m
T es contractiva en X y ( , ) X d es completo, por el T.P.F.B. tem i) sabemos que
un existe un nico punto fijo
_
y de
m
T que por tanto es el nico punto fijo de T .

Adems dado
0
x X e arbitrario, tenemos por el T.P.F.B. tem ii) para la contraccin
m
T que

-9-

_
0 0
( )
m k mk
T x T x y =

cuando k , y de aqu para todo r con 1 1 r m s s tenemos

( )
_
0 0 0
n mk r mk r
T x T x T T x y
+
= =
i.e. Hemos probado que
_
0
n
T x y cuando n .

Desde el punto de vista de la matemtica aplicada, en las aplicaciones prcticas la

situacin no es an completamente satisfactoria porque frecuentemente ocurre que la

aplicacin T no es una contraccin en el espacio entero X , pero su restriccin T|
Y
a

un subconjunto cerrado Y del espacio mtrico completo X satisface la definicin de

contraccin. En este caso si podemos asegurar que ( ) T Y Y c entonces aplicamos el

T.P.F.B. a la aplicacin T| :
Y
Y Y , teniendo en cuenta que Y tambin es un espacio

mtrico completo.

I.4.3. TEOREMA (CONTRACCIN EN UNA BOLA)
Sea ( , ) X d un espacio mtrico completo y
_
0
( , ) Y B x r = ,
0
x X e . Supongamos que

: T X X y para todo , x y X e se satisface las siguientes condiciones

1).- Existe 0 1 o s < tal que ( , ) ( , ) d Tx Ty d x y o s .

2).-
0 0
( , ) (1 ) d x Tx r o s .
Entonces para
0
x Y e la sucesin iterada
0
n
n
x T x = ; neN, converge a un punto
_
x Y e .
Este
_
x es un punto fijo de T y es el nico punto fijo de T en Y .

Demostracin:

Es suficiente probar que ( ) T Y Y c .
En efecto, sea
_
0
( , ) x Y B x r e = entonces


0
( , ) d x x r s .

Por otro lado, sabemos que


0 0 0 0
( , ) ( , ) ( , ) d Tx x d Tx Tx d Tx x s +


0
( , ) (1 ) d x x r o o s +

r r r r o o s + = .
i.e.
0
( , ) d Tx x r s lo que implica que
_
0
( , ) Tx B x r Y e = y por lo tanto ( ) T Y Y c .

-10-

i.e. tenemos T| :
Y
Y Y es una contraccin, ( , ) Y d es completo, entonces por el T.P.F.B.
T tiene un nico punto fijo
_
x Y e .

I.4.4. TEOREMA

Sea X un espacio mtrico completo y A un espacio topolgico. Para todo eA, sea

: T X X

tal que

1).- ( ) T
eA
es una familia de contracciones localmente uniformes i.e. para todo
0
eA,

existe una vecindad
0
A de
0
y una constante
0
0 1 c
A
s < tal que


0
( , ) ( , ) d T x T y c d x y
A
s ; , x y X e ,
0
eA .

2).- La funcin T x X

eA e es continua para todo x X e .

Entonces, si para cada eA, x

denota el punto fijo de T

, tenemos que la aplicacin

x X

eA e es continua.

Demostracin:

Sea
0
eA y
0
A como en 1), entonces por hiptesis 2) para cada x X e , tenemos


0
T x T x

. (I.4.4.A)
Luego, consideremos

0 0 0
( , ) ( , ) d x x d T x T x

=


0 0 0 0
( , ) ( , ) d T x T x d T x T x

s +


0 0 0 0 0
( , ) ( , ) c d x x d T x T x
A
s +

i.e.
0 0 0 0
0
1
( , ) ( , )
1
d x x d T x T x
c

A
s

el segundo miembro, tomando
0
x x

= en (I.4.4.A), converge a 0.

Finalmente, tenemos
0
x x

siempre que
0
.

I.4.5. OBSERVACIN

Cuando
0
A = A en el teorema I.4.4, decimos que ( ) T
eA
es una familia uniforme de

contracciones o que la aplicacin

: ( , ) ( , ) ( ) T x T x T x X

eA = e ,

es una contraccin uniforme.

-11-
I.4.6. EJEMPLOS

I.4.6.1.- El teorema de la Aplicacin Contractante (T.A.C. T.P.F.B.) no se satisface si T es

no expansiva.

En efecto, como un contra ejemplo sencillo, consideremos
| |
1, X = + c 1

con la distancia usual

( , ) d x y x y = , , x y X e .

Como X es un subconjunto cerrado de 1, resulta un espacio mtrico completo.

Definamos la aplicacin : T X X por


1
Tx x
x
= + , x X e .

Verifiquemos que T es no expansiva.

En efecto, por el teorema del valor medio existe
| |
1, ce + tal que

( ) Tx Ty T c x y ' = . (I.4.6.1.A)

Tenemos

2
1
( ) 1 T x
x
' = ,

como 1 c > entonces

2
1
0 1 1
c
< <
por lo tanto

( ) 1 T c ' < ,

luego reemplazando en (I.4.6.1.A) para cualesquiera , x y X e con x y = tenemos

( , ) ( , ) d Tx Ty d x y < ,

y sin embargo no existe punto fijo de T .

I.4.6.2.- Un ejemplo ms simple (cuyo dominio no es entretanto un subconjunto cerrado) es el

de la funcin
| | | |
: 0,1 0,1 g definida por


3
( )
4
x
g x = ,
| |
0,1 xe .

Tenemos
0 ( ) 1 g x ' < < ,

-12-
luego por el ejemplo I.2.1.4., g es no expansiva y no posee punto fijo en
| |
0,1 .

I.4.6.3.- Consideremos : f 1 1 dada por


( )
2
1
( ) 1
2
f x x x = + + , xe1.

Para todo xe1 tenemos que

0 ( ) 1 f x ' < < ,
pues


2
1
( ) 1
2
1
x
f x
x
| |
' = +
|
+
\ .
.

Pero como para todo xe1 se cumple que

( ) f x x > ,

entonces f no posee punto fijo (ver grfico I.5.1.3. pgina 27).

I.4.6.4.- Sea : f 1 1 una funcin satisfaciendo la condicin de Lipschitz

( ) ( ) f t f s L t s s ; , t s e1
con 0 1 L s < .
Entonces existe un nico
_
t e1 tal que
_ _
( ) f t t = y, para cualquier t e1, tenemos

_
( )
( )
n
f t t cuando n .

En efecto, basta observar que 1 es un espacio mtrico completo y que f es

una contraccin en 1, pues 0 1 L s < .

I.4.6.5.- Sea
n
F c 1 cerrado, : f F F satisfaciendo la condicin de Lipschitz

( ) ( ) f x f y L x y s ; , x y F e

con 0 1 L s < . Entonces existe un nico
_
x F e tal que
_ _
( ) f x x = .

En efecto, siendo ( , )
n
1 completo, un conjunto cerrado
n
F c 1 ser un

espacio mtrico completo.

I.4.6.6.- Sea
| |
: , T a b 1 una funcin diferenciable en
| |
, a b ; con , o |
+
e1 tales que


1
0 ( ) T x o
|
' < s < ;
| |
, x a b e .

-13-
Si ( ) 0 ( ) T a T b < < , entonces podemos usar el T.P.F.B. para hallar una solucin

aproximada de la ecuacin 0 Tx = , para todo
| |
, x a b e . Definiendo


1
T x x Tx | = (I.4.6.6.A)
tenemos que 0 Tx = si y slo si
1
T x x = . Luego, el problema se reduce a probar que


| | ( ) | |
1
, , T a b a b c

y que
1
T es una contraccin en
| |
, a b .

En efecto, tenemos


1
( ) ( ) T a a T a a | = > ,


1
( ) ( ) T b b T b b | = < .

Derivando ambos miembros de (I.4.6.6.A), obtenemos que


1
1 ( ) 0 T x T x |
' ' = >

entonces
1
T es creciente en
| |
, a b , luego
| |
1
( ) , T x a b e si
| |
, x a b e .

Y por lo tanto


| | | |
1
( , ) , T a b a b c .

Adems, como

1
( ) 1 ( ) 1 1 T x T x | |o
' ' = s <
es decir tenemos


1
( ) T x k
'
s ,
| |
, x a b e

donde 1 k |o = con 0 1 k < < .

Luego por el ejemplo I.2.1.3., tenemos que


| | | |
1
: , , T a b a b

es una contraccin en
| |
, a b . Luego por el T.P.F.B., existe un y slo un
| |
, x a b e

punto fijo de
1
T . An ms, dado un punto
| |
0
, x a b e tenemos que la sucesin

iterada ( )
n
n
x
eN
con
1 1 n n
x T x

= ; 1, 2, n = . es tal que
1
n
T x x .




-14-