w

w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
1
Preliminares
En este captulo se dar un breve resmen de la teora de espacios mtricos.
Denicin 1.1 Se dice que una mtrica en un conjunto X = es una funcin
d : X X [0, +) que cumple con las siguientes propiedades
d
1
. d(x, y) 0 y d(x, y) = 0 x = y.
d
2
. d(x, y) = d(y, x).
d
3
. d(x, y) d(x, z) + d(z, y) (desigualdad triangular), x, y, z X.
El par (X, d) es llamado un espacio mtrico.
Ejemplo 1.2 : Sea X = y consideremos d : X X [0, +) denida por:
d(x, y) =
_
1, si x = y
0, si x = y
d es una mtrica sobre X llamada mtrica discreta. El par (X, d) es llamado espacio mtrico
discreto.
Ejemplo 1.3 : Sea X = R y consideremos d : X X [0, +) denida por:
d(x, y) =| x y |
Usando las propiedades del valor absoluto se demuestra que d es una mtrica sobre R llamada
mtrica usual de R, as el par (X, d) es un espacio mtrico.
Ejemplo 1.4 : Sea X = R
n
y d : X X [0, +) denida por :
d
p
(x, y) =
_
n

i=1
| x
i
y
i
|
p
_1
p
5
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
Usando la desigualdad de Hlder se demuestra que d
p
es una mtrica sobre R
n
y por lo tanto
(X, d
p
) es un espacio mtrico.
Si p = 1 entonces d
1
(x, y) =
n

i=1
| x
i
y
i
|, y as (R
n
, d
1
) es un espacio mtrico.
Si p = 2 obtenemos la llamada mtrica euclidiana
d
2
(x, y) =
_
n

i=1
| x
i
y
i
|
2
_1
2
y as (R
n
, d
2
) es un espacio mtrico.
Si p = denimos :
d

(x, y) = sup{| x
i
y
i
|: 1 i n}
y as, (R
n
, d

) es un espacio mtrico donde d

es llamada la mtrica del supremo.

Denicin 1.5 Sea (X, d) un espacio mtrico y sean a X y r > 0. Entonces:
i) denimos la bola abierta de centro a y radio r > 0 como sigue:
A = {x X : d(x, a) < r}.
Este conjunto lo denotaremos por B(a, r).
ii) denimos la bola cerrada de centro a y radio r > 0 como sigue:
B = {x X : d(x, a) r}.
Este conjunto lo denotaremos por B[a, r].
Ejemplo 1.6 : Sea X = R
n
, a R
n
, r > 0 y d
1
: X X [0, ), entonces:
B
d
1
(a, r) = {x R : d
1
(x, a) < r}
=
_
x R :
n

i=1
| x
i
a
i
|< r
_
.
Para n = 1 se tiene de la parte anterior :
B
d
1
(a, r) = {x R :| x a |< r}
= (a r, a + r).
De manera anloga tenemos que:
B
d
1
[a, r] = [a r, a + r].
6
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 1 Preliminares
Ejemplo 1.7 : Sea X = R
2
,a R
2
,r > 0 y d : X X [0, +) la mtrica euclidia dada por:
d(x, y) =
_
2

i=1
| x
i
y
i
|
2
_
1
2
Entonces tenemos que B
d
(a, r) coincide con el interior del crculo de centro a y radio r > 0.
Denicin 1.8 Sea (X, d) un espacio mtrico. Un subconjunto U X se dice abierto en X si
para cualquier x
0
U existe r = r(x
0
) > 0 tal que B(x
0
, r) U.
Propiedades
A
1
. X y son conjuntos abiertos.
A
2
. Sea I un conjunto de ndices. Si U
i
es abierto i I entonces U =

iI
U
i
es un conjunto
abierto.
A
3
. Sean U
1
y U
2
conjuntos abiertos, entonces U
1
U
2
es un conjunto abierto.
Ejemplo 1.9 : Sea X = R, y d la mtrica usual de R.
B
d
(a, r) = (a r, a + r) es un conjunto abierto de X
Ejemplo 1.10 : Sea X = R y d la mtrica discreta. Todo subconjunto A X es abierto.
Denicin 1.11 Sea (X, d) un espacio mtrico. Un subconjunto F X se dice cerrado si su
complemento U = X\F es abierto en X.
Propiedades
C
1
. X y son conjuntos cerrados.
C
2
. Sea I un conjunto de ndices. Si U
i
es cerrado i I entonces U =

iI
U
i
es un conjunto
cerrado.
C
3
. Sean U
1
y U
2
conjuntos cerrados, entonces U
1
U
2
es un conjunto cerrado.
Ejemplo 1.12 : Sea X = R, y d la mtrica usual de R.
B
d
[a, r] = [a r, a + r] es un conjunto cerrado de X
Ejemplo 1.13 : Sea X = R y d la mtrica discreta. Todo subconjunto A X es cerrado.
Denicin 1.14 Sea (X, d) un espacio mtrico. Diremos que una sucesin {x
n
} X converge a
un punto a X si
> 0 k N tal que d(x
n
, a) < n > k.
7
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
Este hecho lo denotaremos por lm
n
d(x
n
, a) = 0 o lm
n
x
n
= a.
Ejemplo 1.15 : Sea X = R y d la mtrica usual de R. Consideremos
x
n
=
1
n
.
Esta sucesin converge y el valor del lmite es 0.
Ejemplo 1.16 : Existen sucesiones que no son convergentes. En efecto sea (R, | |) y considere-
mos la sucesin
x
n
= (1)
n
.
Esta sucesin es no convergente.
Una sucesin que no converge se le llama Divergente.
Ejemplo 1.17 : Sea X = R y d la mtrica usual de R.Tomemos 0 < a < 1 y Consideremos
x
n
= a
n
.
El lmite de sta sucesin es 0.
Denicin 1.18 Se dice que una sucesin {x
n
} de un espacio mtrico (X, d) es acotada si existen
x
0
X y r > 0 tal que {x
n
} B(x
0
, r).
Ejemplo 1.19 : Sea (R, | |), la sucesin :
x
n
= cos(n)
pertenece al conjunto (1, 1), por lo tanto est acotada.
Ejemplo 1.20 : Sea (R, | |), la sucesin :
x
n
= (1)
n
pertenece al conjunto {1, 1}, por lo tanto est acotada.
Denicin 1.21 Una sucesin {x
n
} de un espacio (X, d) se dice montona creciente (decreciente)
si para todo n N se tiene que x
n
x
n+1
(x
n
x
n+1
).
Ejemplo 1.22 : Sea (R, | |) y consideremos f : R R una funcin dada por:
f(x) = e
x
.
Es claro que esta funcin es montona creciente por lo tanto, tenemos que la sucesin :
x
n
= e
n
es montona creciente.
8
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 1 Preliminares
Ejemplo 1.23 : Consideremos el espacio mtrico ([1, +), | |) y sea f : [1, +) R una
funcin dada por:
f(x) =
1
x
.
Es claro que esta funcin es decreciente en el dominio de denicin por lo tanto, la sucesin
denida por:
x
n
=
1
n
es montona decreciente.
Denicin 1.24 Sea {x
n
} una sucesin de un espacio mtrico (X, d).
Sean r
1
, r
2
, r
3
r
k
, con r
k
, k N tales que r
1
< r
2
< r
3
< r
k
< . Entonces se dice que
la sucesin {x
r
k
} es una subsucesin de {x
n
}.
Propiedades
S
1
. Si una sucesin es convergente entonces el lmite es nico.
S
2
. Sea {x
n
} una sucesin en (X, d). Si {x
n
} converge a x X entonces toda subsucesin {x
n
k
}
de {x
n
} converge a x.
S
3
. Toda sucesin convergente es acotada.
S
4
. Toda sucesin montona y acotada es convergente.
Ejemplo 1.25 : Sea X = R y d la mtrica usual de R. Consideremos la sucesin
x
n
= sen
_

2
+ n
_
.
Entonces, las sucesiones:
x
k
= sen
_
+ 4k
2
_
= 1
x
p
= sen
_
3 + 4p
2
_
= 1 k, p N
son subsucesiones de la sucesin {x
n
}. Es claro que {x
n
} no converge.
Ejemplo 1.26 : Sea X = R y d la mtrica usual de R. Consideremos la sucesin
x
n
= 1 + (1)
n
.
Entonces, las sucesiones:
x
2n
= 1 + (1)
2n
= 2
x
2n+1
= 1 + (1)
2n+1
= 0 n N
son subsucesiones de la sucesin {x
n
}, la cual no es convergente.
9
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
Denicin 1.27 Sea (X, d) un espacio mtrico y {x
n
} X una sucesin. Se dice que {x
n
} es
una sucesin de Cauchy si cumple con la siguiente condicin:
> 0 k N tal que n, m N con n, m > k se tiene que d(x
n
, x
m
) <
Este hecho lo denotaremos por:
lm
n,m
d(x
n
, x
m
) = 0
Propiedades

1
. Toda sucesin convergente es de Cauchy.

2
. Toda sucesin de Cauchy es acotada.

3
. Sea {x
n
} una sucesin de Cauchy en (X, d). Si {x
n
} posee una subsucesin que converge a
un punto x
0
X, entonces {x
n
} converge a x
0
.
Ejemplo 1.28 : Sea X = R y d la mtrica usual de R. Consideremos la sucesin
x
n
= n
1
n
.
{x
n
} converge a 1 por lo tanto esta sucesin es de Cauchy.
Ejemplo 1.29 : Sea (R, | |) y consideremos la sucesin
x
n
=
1
2
(1 + (1)
n
).
Esta sucesin es divergente por lo tanto no es de Cauchy.
Denicin 1.30 Sea (X, d) un espacio mtrico. Se dice que (X, d) es un espacio mtrico completo
si para cualquier sucesin {x
n
} X de Cauchy se tiene que {x
n
} converge en X.
Ejemplo 1.31 : (R, | |) y (R, d

) son espacios mtricos completos.

En lo que sigue daremos ejemplos de espacios mtricos que no son completos.
Ejemplo 1.32 : Sea X = (1, 1) y d la mtrica usual. Consideremos la sucesin:
x
n
= 1
1
n
Esta sucesin converge al punto x
0
= 1 (1, 1) por lo tanto, ((1, 1), | |) no es completo.
10
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 1 Preliminares
Ejemplo 1.33 : Consideremos en el espacio mtrico (Q, | |) de los nmeros racionales la suce-
sin dada por:
x
0
= 1,4
x
1
= 1,41
x
2
= 1,414
x
3
= 1,4142
x
4
= 1,41421
.
.
. =
.
.
. (1.1)
de nmeros con una cantidad nita de decimales (que converge en R a

2 Q). Esta sucesin es

de Cauchy, por lo tanto (Q, | |) no es un espacio mtrico completo.
Lema 1.34 Sean (X, d) un espacio mtrico, {x
n
} X una sucesin y a < 1 tal que:
d(x
n+1
, x
n
) ad(x
n
, x
n1
) n N.
Entonces {x
n
} es una sucesin de Cauchy.
Demostracin: En efecto, para todo n N se cumple:
d(x
n+1
, x
n
) ad(x
n
, x
n1
).
esto implica:
d(x
n+1
, x
n
) ad(x
n
, x
n1
) a
2
d(x
n1
, x
n2
) a
n
d(x
n(n1)
, x
n(n)
)
d(x
n+1
, x
n
) a
n
d(x
1
, x
0
).
Ahora, sean m, n N con m n es decir, existe h N tal que m = n + h. Entonces:
d(x
n
, x
n+h
) d(x
n
, x
n+1
) + d(x
n+1
, x
n+2
) + d(x
n+2
, x
n+3
) + + d(x
n+h1
, x
n+h
).
a
n
d(x
0
, x
1
) + a
n+1
d(x
0
, x
1
) + a
n+2
d(x
0
, x
1
) + + a
n+h1
d(x
0
, x
1
).
= a
n
d(x
0
, x
1
)(1 + a + a
2
+ a
3
+ + a
h1
).
=
a
n
1 a
(1 a
h
)d(x
0
, x
1
).
<
a
n
1 a
d(x
0
, x
1
) (1.2)
De (1.2),
lm
n
a
n
1 a
d(x
0
, x
1
) = 0
Por lo tanto se tiene que {x
n
} es una sucesin de Cauchy.

11
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
Denicin 1.35 Sea (X, d) un espacio mtrico y K X. Se dice que una coleccin C = {(C
i
)
iI
}
de conjuntos de X, es un cubrimiento de K, si K

iI
C
i
. Es decir, para cada x K existe i I
tal que x C
i
.
Si K

iI

C
i
con I

I, entonces se dice que la coleccin C

= {C
i
: i I

} es un subcubrimiento
de K. Si cada elemento de la coleccin C es un conjunto abierto, se dice entonces que C es un
cubrimiento abierto de K, del mismo modo, se dice que C

es un subcubrimiento abierto de K
Denicin 1.36 Sea (X, d) un espacio mtrico. Se dice que K X es un conjunto compacto si
todo cubrimiento abierto de K

iI
C
i
posee un subcubrimiento nito para K, es decir,
K C
i
1
C
i
2
C
i
3
C
i
n
.
Propiedades
K
1
. Todo conjunto compacto es acotado.
K
2
. Todo conjunto cerrado de un espacio compacto es compacto.
K
3
. Si (X, d) es un espacio compacto entonces X es completo.
K
4
. (X, d) es compacto si, y slo si toda sucesin de X posee una subsucesin convergente en X.
Ejemplo 1.37 :
Consideremos el espacio mtrico (R, | |), entonces todo subconjunto
K R tal que K = [a, b] es compacto.
Ejemplo 1.38 : Cualquier espacio X que contenga a un nmero nito de puntos claramente es
compacto.
Ejemplo 1.39 :
Consideremos el espacio mtrico (R, | |) y sea
K = {0}
_
1
n
: n Z
+
_
.
K es un conjunto es compacto.
Ejemplo 1.40 : El espacio mtrico (R, | |) no es compacto, pues el cubrimiento de R por con-
juntos abiertos
C = {(n, n) : n Z}
no posee ningn subcubrimiento nito que cubra a R.
Denicin 1.41 Sean (X, d) y (Y, ) espacios mtricos y T : X Y una funcin. Entonces T
es una funcin:

1
. Continua en x
0
X si
> 0 > 0, x X : d(x, x
0
) < (T(x), T(x
0
)) < .
12
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 1 Preliminares

2
. Continua en X si T es continua x X.
Ejemplo 1.42 i) Toda funcin constante es continua en (R, | |).
ii) La funcin identidad es continua en (R, | |).
iii) Sea F : R R una funcin en el espacio mtrico (R, | |) denida por:
F(x) =
_
1, si x < 0
1, si x 0
F no es continua en x = 0, por lo tanto F no es continua en todo R.
Denicin 1.43 Sean (X, d) y (Y, ) espacios mtricos y T : X Y una funcin. Se dice que T
es uniformemente continua (U.C) si:
> 0 > 0 tal que x, y X y d(x, y) < (T(x), T(y)) < .
i) Toda funcin constante es U.C en (R, | |).
ii) La funcin identidad es U.C en (R, | |).
Ejemplo 1.44 : La funcin f : (0, 1] R dada por:f(x) =
1
x
, es continua pero no U.C.
Propiedades
Sean (X, d) , (Y, ) espacios mtricos y f : X Y una funcin U.C, entonces:
i) Si {x
n
} es una sucesin de Cauchy entonces {f(x
n
)} es una sucesin de Cauchy.
ii) Para cualesquiera par de sucesiones {x
n
} y {y
n
} en X,
lm
n
d(x
n
, y
n
) = 0 lm
n
(f(x
n
), f(y
n
)) = 0.
iii) Toda funcin U.C es continua.
iv) Si (X, d) es compacto entonces toda funcin continua con dominio X es U.C.
Denicin 1.45 Sean (X, d) un espacio mtrico y T : X X una aplicacin. Se dice que
T : X X es secuencialmente convergente, si para toda sucesin {Y
n
} X tal que {T(Y
n
)}
converge, entonces {Y
n
} converge.
Denicin 1.46 Sean (X, d) un espacio mtrico y T : X X una aplicacin. Se dice que
T : X X es subsecuencialmente convergente, si para toda sucesin {Y
n
} X tal que {T(Y
n
)}
converge, entonces {Y
n
} posee una subsucesion convergente.
13
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
Observacin:
Toda aplicacin T : (X, d) (X, d), donde (X, d) es un espacio mtrico compacto es subsecuen-
cialmente convergente.
Ejemplo 1.47 Sea X = [0, 1] R con d la mtrica usual de R, denamos T : X X dada por:
T(x) =
_
x
2
, si 0 x
1
2
x
1
2
, si
1
2
< x 1
i) T no es una funcin continua
ii) ([0, 1], d) es un espacio mtrico compacto por lo tanto, de la observacin anterior se tiene
que T es una funcin subsecuencialmente convergente.
Ejemplo 1.48 Sea T : [0, +) R [0, +) una funcin denida por:
T(x) = e
x
.
Entonces
i) T es una funcin continua en [0, +)
ii) T no es una funcin subsecuencialmente convergente ya que, T(n) = e
n
0 pero (n)
[0, +) no posee una subsucesin convergente.
14
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
2
Las funciones contracciones y las T-contracciones
En este captulo se dar la teora de las funciones contracciones, es decir, sus deniciones, ejem-
plos, relaciones y propiedades. De manera anloga, se estudiarn las funciones T-contracciones.
2.0.1. Funciones Contracciones
Denicin 2.1 Sea (X, d) un espacio mtrico y S : X X una aplicacin arbitraria. Entonces:
C
1
.- Se dice que S es una Contraccin de Banach (B-Contraccin), si existe 0 a < 1 constante
tal que:
d(S(x), S(y)) ad(x, y), x, y X. (2.1)
Ejemplo 2.2 Sea X = [0, 1] R, con la mtrica usual de R. Denimos S : X X dada por:
S(x) =
x

2
entonces:
i) S es una aplicacin continua.
ii) S es una B-Contraccin, ya que:
d(S(x), S(y)) =

=
1

2
| x y |
=
1

2
d(x, y)

2
d(x, y).
As, tomando a =
1

2
se tiene que S es una B-contraccn.
15
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
C
2
.- Se dice que S es una aplicacin contrctil (E-contraccin), si para todo x, y X con x = y
se tiene:
d(S(x), S(y)) < d(x, y). (2.2)
Ejemplo 2.3 Sea X = [1, +) R, con la mtrica usual y S : X X una aplicacin denida
por:
S(x) =

x.
i) S es una aplicacin continua en X.
ii) S es una aplicacin contrctil, puesto que:
d(S(x), S(y)) = |

y | =
|

y ||

x +

y |
|

x +

y |
=
1

x +

y
| x y |

1
2
| x y |
< d(x, y).
C
3
.- Se dice que S es un Operador de Banach, si existe h (0, 1) constante tal
que:
d(S(x), S
2
(x)) hd(x, S(x)), x X. (2.3)
Ejemplo 2.4 Sea X = [1, +) R, con la mtrica usual y S : X X una aplicacin denida
por:
S(x) =
x
2
.
i) S es una aplicacin continua en X.
ii) S es un operador de Banach, ya que
d(S(x), S
2
(x)) =

x
2

x
4

=
1
2

x
x
2

1
2
d(x, S(x)).
As, tomando h =
1
2
se tiene (ii).
Lema 2.5 Toda funcin contraccin de Banach sobre un espacio mtrico satisface:
B-Contraccin E-Contraccin Lipchitz U.C Continuidad.
16
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 2 Las funciones contracciones y las T-contracciones
C
4
.- Se dice que S es una aplicacin del Tipo Kannan (K-contraccin), si existe b [0,
1
2
) tal
que:
d(S(x), S(y)) b[d(x, S(x)) + d(y, S(y))], x, y X.
Ejemplo 2.6 Sea S : R R una funcin dada por:
S(x) =
_
0, si x 2

1
2
, si x > 2
i) S no es una funcin continua en R.
ii) S es una funcin del tipo Kannan, ya que:
Sean x, y R, entonces:
ii
1
) Si x, y 2
d(S(x), S(y)) = 0 b[| x | + | y |] = b[d(x, S(x)) + d(y, S(y))], b
_
0,
1
2
_
.
ii
2
) Si x, y > 2, entonces:
d(S(x), S(y)) = 0 b
_

x +
1
2

y +
1
2

_
= b[d(x, S(x)) + d(y, S(y))], b
_
0,
1
2
_
.
ii
3
) Si x 2 y y > 2, entonces:
d(S(x), S(y)) =| 0
1
2
|=
1
2
.
d(x, S(x)) = | x | 0.
d(y, S(y)) =| y +
1
2
|
5
2
. Por lo tanto:
d(S(x), S(y))
1
2

5
4

1
2
[d(x, S(x)) + d(y, S(y))].
ii
4
) El caso en que x > 2 y y 2 es anlogo al anterior.
As, para terminar la justicacin tomemos b =
1
2
.
Observacin:
En este ejemplo es facil chequear que K-contraccin no implica continuidad.
C
5
.- Se dice que S es una aplicacin del Tipo Chatterjea (C-contraccin),
si existe c [0,
1
2
) tal que:
d(S(x), S(y)) c[d(x, S(y)) + d(y, S(x))], x, y X.
Ejemplo 2.7 Sea S : [0, 1] [0, 1] una funcin dada por:
S(x) =
_
x
2
, si 0 x < 1
0, si x = 1
17
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
1.- S es una funcin discontinua.
2.- S es una funcin C-contraccin.
Observacin:
En este ejemplo es facil chequear que C-contraccin no implica continuidad.
C
6
.- Se dice que S es un Operador de Zamrescu (Z-Operador), si existen a, b, c R con a (0, 1)
y b, c (0,
1
2
) tal que x, y X se cumple al menos una de las siguientes condiciones:
Z
1
. d(S(x), S(y)) ad(x, y).
Z
2
. d(S(x), S(y)) b[d(x, S(x)) + d(y, S(y))].
Z
3
. d(S(x), S(y)) c[d(x, S(y)) + d(y, S(x))].
Proposicin 2.8 Sea (X, d) un espacio mtrico y S : X X una contraccin de Kannan.
Entonces S satisface las siguientes propiedades:
i) Existe b [0,
1
2
) tal que:
d(S(x), S(y))
b
1 b
d(x, y) +
2b
1 b
d(x, S(x)). x, y X
y
d(S(x), S(y))
b
1 b
d(x, y) +
2b
1 b
d(y, S(y)). x, y X
ii) Existe b [0,
1
2
) tal que:
d(S(x), S(y))
b
1 b
d(x, y) +
2b
1 b
d(x, S(y)). x, y X
y
d(S(x), S(y))
b
1 b
d(x, y) +
2b
1 b
d(y, S(x)). x, y X
Demostracin: Sean x, y X. Como S es una contraccin de Kannan existe b [0,
1
2
) de
modo que S satisface la siguiente desigualdad:
d(S(x), S(y)) b[d(x, S(x)) + d(y, S(y))].
i) Usando desigualdad triangular se tiene:
d(S(x), S(y)) b[d(x, S(x)) + d(y, x) + d(x, S(x)) + d(S(x), S(y))]
2bd(x, S(x)) + bd(x, y) + bd(S(x), S(y))
(1 b)d(S(x), S(y)) bd(x, y) + 2bd(x, S(x))
d(S(x), S(y))
b
1 b
d(x, y) +
2b
1 b
d(x, S(x)).
18
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 2 Las funciones contracciones y las T-contracciones
Nuevamente por desigualdad triangular se tiene:
d(S(x), S(y)) b[d(x, y) + d(y, S(y)) + d(S(y), S(x)) + d(y, S(y))]
bd(x, y) + 2bd(y, S(y)) + bd(S(x), S(y))
(1 b)d(S(x), S(y)) bd(x, y) + 2bd(y, S(y))
d(S(x), S(y))
b
1 b
d(x, y) +
2b
1 b
d(y, S(y)).
ii) Usando desigualdad triangular se tiene:
d(S(x), S(y)) b[d(x, S(y)) + d(S(y), S(x)) + d(y, x) + d(x, S(y))]
bd(x, y) + 2d(x, S(y)) + bd(S(x), S(y))
(1 b)d(S(x), S(y)) bd(x, y) + 2bd(x, S(y))
d(S(x), S(y))
b
1 b
d(x, y) +
2b
1 b
d(x, S(y)).
Nuevamente usando desigualdad triangular se tiene:
d(S(x), S(y)) b[d(x, y) + d(y, S(x)) + d(y, S(x)) + d(S(x), S(y))]
bd(x, y) + 2bd(y, S(x)) + bd(S(x), S(y))
(1 b)d(S(x), S(y)) bd(x, y) + 2bd(y, S(x))
d(S(x), S(y))
b
1 b
d(x, y) +
2b
1 b
d(y, S(x)).

Proposicin 2.9 Sea (X, d) un espacio mtrico y S : X X una contraccin de Chatterjea.

Entonces S satisface las siguientes propiedades:
i) Existe c [0,
1
2
) tal que:
d(S(x), S(y))
c
1 c
d(x, y) +
2c
1 b
d(x, S(x)). x, y X
y
d(S(x), S(y))
c
1 c
d(x, y) +
2c
1 c
d(y, S(y)). x, y X
ii) Existe b [0,
1
2
) tal que:
d(S(x), S(y))
c
1 c
d(x, y) +
2c
1 c
d(x, S(y)). x, y X
y
d(S(x), S(y))
c
1 c
d(x, y) +
2c
1 c
d(y, S(x)). x, y X
19
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
Demostracin: Sean x, y X. Como S es una contraccin de Chatterjea existe c [0,
1
2
) de
modo que se satisface la siguiente desigualdad:
d(S(x), S(y)) c[d(y, S(x)) + d(x, S(y))].
i) Usando desigualdad triangular se tiene:
d(S(x), S(y)) c[d(y, x) + d(x, S(x)) + d(x, S(x)) + d(S(x), S(y))]
cd(x, y) + 2cd(x, S(x)) + cd(S(x), S(y))
(1 c)d(S(x), S(y)) cd(x, y) + 2cd(x, S(x))
d(S(x), S(y))
c
1 c
d(x, y) +
2c
1 c
d(x, S(x)).
Nuevamente por desigualdad triangular se tiene:
d(S(x), S(y)) c[d(x, y) + d(y, S(y)) + d(y, S(y)) + d(S(y), S(x))]
cd(x, y) + 2cd(y, S(y)) + cd(S(x), S(y))
(1 c)d(S(x), S(y)) cd(x, y) + 2cd(y, S(y))
d(S(x), S(y))
c
1 c
d(x, y) +
2c
1 c
d(y, S(y)).
ii) Usando desigualdad triangular se tiene:
d(S(x), S(y)) c[d(x, S(y)) + d(y, x) + d(x, S(y)) + d(S(y), S(x))]
cd(x, y) + 2cd(x, S(y)) + cd(S(x), S(y))
(1 c)d(S(x), S(y)) cd(x, y) + 2cd(x, S(y))
d(S(x), S(y))
c
1 c
d(x, y) +
2c
1 c
d(x, S(y)).
Nuevamente usando desigualdad triangular se tiene:
d(S(x), S(y)) c[d(x, y) + d(y, S(x)) + d(S(x), S(y)) + d(y, S(x))]
cd(x, y) + 2cd(y, S(x)) + cd(S(x), S(y))
(1 c)d(S(x), S(y)) cd(x, y) + 2cd(y, S(x))
d(S(x), S(y))
c
1 c
d(x, y) +
2c
1 c
d(y, S(x)).

20
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 2 Las funciones contracciones y las T-contracciones
Proposicin 2.10 Sea (X, d) un espacio mtrico y S : X X un operador de Zamrescu.
Entonces existe (0, 1) tal que x, y X se cumple:
i) d(S(x), S(y)) d(x, y) + 2d(x, S(x)).
ii) d(S(x), S(y)) d(x, y) + 2d(y, S(y)).
iii) d(S(x), S(y)) d(x, y) + 2d(x, S(y)).
iv) d(S(x), S(y)) d(x, y) + 2d(y, S(x)).
Demostracin: Sean x, y X. Entonces:
i) Si S satisface las condiciones Z
2
y Z
3
, usando las proposiciones (2.8)(i) y (2.9)(i) se cumplen
respectivamente las siguientes desigualdades:
d(S(x), S(y))
b
1 b
d(x, y) +
2b
1 b
d(x, S(x)).
d(S(x), S(y))
c
1 c
d(x, y) +
2c
1 c
d(x, S(x)).
Adems, si se satisface Z
1
entonces tomando = max
_
a,
b
1b
,
c
1c
_
se tiene que (0, 1) y
d(S(x), S(y)) d(x, y) + 2d(x, S(x)).
ii) Esta demostracin es anloga a (i).
iii) Si S satisface las condiciones Z
2
y Z
3
, usando las proposiciones (2.8)(ii) y (2.9)(ii) se
cumplen respectivamente las siguientes desigualdades:
d(S(x), S(y))
b
1 b
d(x, y) +
2b
1 b
d(x, S(y)).
d(S(x), S(y))
c
1 c
d(x, y) +
2c
1 c
d(x, S(y)).
Adems, si se satisface Z
1
entonces tomando = max
_
a,
b
1b
,
c
1c
_
se tiene que (0, 1) y
d(S(x), S(y)) d(x, y) + 2d(x, S(y)).
vi) Esta demostracin es anloga a (iii).

C
7
.- Se dice que S es una aplicacin Contraccin dbil o (, L)-Operador, si existe
(0, 1) y algn L 0 tal que:
d(S(x), S(y)) d(x, y) + Ld(y, S(x)), x, y X
21
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
2.1. Relaciones entre las funciones contracciones
A.- Para toda B-contraccin S se tiene que:
A
1
.- S es una aplicacin E-contrctil, ya que para x, y X con x = y, se cumple para algn
0 a < 1:
d(S(x), S(y)) ad(x, y) < d(x, y).
A
2
.- S es un operador de Banach, y se verica tomando y = S(x), para todo x X es decir:
d(S(x), S(y)) = d(S(x), S
2
(x)) ad(x, S(x)).
De A
1
y A
2
se tiene:
C
1
C
2

C
3
A
3
.- S no necesariamente es una K-contraccin ya que la funcin
S : [1, 1] [1, 1] dada por:
S(x) =
x
2
. (2.4)
Es una B-contraccin y se demuestra para x [1, 1] y y = x que S no es una
K-contraccin.
A
4
.- S no es una C-contraccin ya que la funcin S : [1, 1] [1, 1] dada por:
S(x) =
x
2
Es una B-contraccin y se demuestra para x = 1 y y = 1 que S no es una C-
contraccin.
De A
3
y A
4
se tiene:
C
1
C
4
y C
1
C
5
A
5
.- S es un operador de Zamrescu ya que, cumple con Z
1
.
A
6
.- S es un (, L)-Operador, tomando = a y L = 0.
De A
5
y A
6
se tiene:
C
1
C
6

C
7
B.- Para toda funcin Contrctil S se tiene que:
B
1
.- S no necesariamente es una B-contraccin pues:
Sea X = [1, +) con la mtrica usual de R. Denamos S : X X dada por:
S(x) = x +
1
x
.
22
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 2 Las funciones contracciones y las T-contracciones
B
1
1
.- S es una funcin continua en X.
B
1
2
.- S es una aplicacin E-contrctil, ya que:
d(S(x), S(y)) =

x +
1
x
y
1
y

x y +
1
x

1
y

x y
x y
xy

(x y)
_
1
1
xy
_

= | x y |

1
1
xy

. (2.5)
Armacin:

1
1
xy

< 1.
En efecto,
x, y 1
0 <
1
xy
1
0 >
1
xy
1
1 > 1
1
xy
0

1
1
xy

< 1. (2.6)
as, de (2.5) y (2.6) se obtiene:
| x y |

1
1
xy

< d(x, y)
por lo tanto
d(S(x), S(y)) < d(x, y).
Nota:
lm
x,y

1
1
xy

= 1, entonces para todo a < 1 existen x

0
, y
0
X tal que

1
1
x
0
y
0

> a.
23
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
B
1
3
.- S no es una contraccin de Banach ya que:
Si S es una contraccin de Banach, existe a < 1 tal que para todo x, y X
| x y |

1
1
xy

a | x y |

1
1
xy

a
Esta ltima desigualdad contradice la nota anterior, por lo tanto :
C
2
C
1
.
B
3
.- S no necesariamente es una K-contraccin ya que, la funcin S(x) =
x
2
, x [1, 1],
verica la condicin de B-contraccin y por (A
1
) es contrctil, ahora por (A
3
) S no es
K-contraccin.
B
4
.- S no necesariamente es una C-contraccin ya que, la funcin S(x) =
x
2
, x [1, 1]
es B-contraccin y por (A
1
) es contractil, luego por (A
4
) S no es C-contraccin.
De B
3
y B
4
se tiene que:
C
2
C
4
y C
2
C
5
.
Consideramos interesante plantearnos las siguientes interrogantes:
B
2
.- Ser cierto que toda aplicacin contrctil es un operador de Banach?
B
5
.- Ser cierto que toda aplicacin contrctil es un operador de Zamrescu?
B
6
.- Ser cierto que toda aplicacin contrctil es un (, L)-Operador?
C.- Para todo operador de Banach S se cumple que:
C
1
.- S no es una B-contraccin. ya que para S : R R dada por:
S(x) =
_
0, si x 2
1, si x > 2
Se tiene:
C
1
1
.- S no es una funcin continua en X.
C
1
2
.- S es un operador de Banach, ya que:
x 2 d(S(x), S
2
(x)) = 0 | x |= d(x, S(x)).
x > 2 d(S(x), S
2
(x)) = 1 <
1
3
|x + 1| =
1
3
d(x, S(x)).
As, tomando h =
1
3
se tiene que S es un operador de Banach.
C
1
3
.- S no es una B-contraccin ya que, S no es una aplicacin continua.
C
2
.- Por la parte (C
1
) se tiene que S no necesariamente es contrctil.
24
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 2 Las funciones contracciones y las T-contracciones
De las partes inmediatas anteriores se tiene que:
C
3
C
1
y C
3
C
2
.
C
3
.- S no necesariamente es K-contraccin ya que la funcin S(x) =
x
2
x [1, 1] es una
B-contraccin, luego por la parte (A
2
) S es un operador de Banach y por (B
3
) no es
una K-contraccin.
C
4
.- S no necesariamente verica la denicin de C-contraccin ya que la funcin
S(x) =
x
2
x [1, 1] es una B-contraccin y por lo tanto un operador de Banach
pero por (A
4
) no es C-contraccin.
De las partes inmediatas anteriores se tiene que:
C
3
C
4
y C
3
C
5
.
C
5
.- S no necesariamente es un Z-operador ya que para la funcin S : [0, 1] [0, 1] dada
por:
S(x) =
_
0, si 0 x
1
2
4
5
, si
1
2
< x 1
Se tiene que:
C
5
1
.- S es un operador de Banach.
C
5
2
.- S es una funcin discontinua por lo tanto, no es B-contraccin.
C
5
3
.- S no es una K-contraccin y se verica tomando x = 0 y y = 1.
C
5
4
.- S no es una C-contraccin y se verica tomando x =
1
2
y y =
1000
1999
.
De las partes anteriores se tiene que:
C
3
C
6
.
Consideramos interesante plantearnos la siguiente interrogante:
C
6
.- Ser cierto que un operador de Banach es un (, L)- Operador?
D.- Para toda funcin K-contraccin se tiene que:
D
1
.- S no neceariamente es una B-contraccin y se verica en el ejemplo (2.6), en el cual
la funcin es K-contraccin pero discontinua.
D
2
.- S no necesariamente es contrctil y se verica en (D
1
).
De D
1
y D
2
se tiene que:
C
4
C
1
y C
4
C
2
.
D
3
.- S es un operador de Banach y se verica tomando y = S(x) en la denicin de K-
contraccin. es decir:
C
4
C
3
.
25
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
D
4
.- S no necesariamente es una C-contraccin ya que la funcin S(x) =
x
2
x [1, 1] verica la condicin de Kannan y se demuestra para c =
5
12
, y = 1 y
x = 1 que S no es de Charttejea, es decir:
C
4
C
5
.
D
5
.- Es claro que toda aplicacin de Kannan es un Z-Operador.
D
6
.- S es un (, L)-Operador y se verica por la proposicin (2.8).
E.- Para toda aplicacin de Chatterjea S se tiene que:
E
1
.- S no necesariamente es una B-contraccin ya que para S : [0, 1] [0, 1] dada por:
S(x) =
_
x
2
, si 0 x < 1
0, si x = 1
Se tiene que:
E
1
1
.- S no es continua.
E
1
2
.- S es una C-contraccin.
E
1
3
.- Por (E
1
1
) S no es una B-contraccin.
E
2
.- Por la parte (E
1
1
) se tiene que S no necesariamente es contrctil.
De E
1
y E
2
tenemos:
C
5
C
1
y C
5
C
2
.
Consideramos interesante plantearnos la siguiente interrogante:
E
3
.- Ser cierto que una C-contraccin es un operador de Banach?
E
4
.- S no necesariamente es K-contraccin y se verica en la parte (E
1
) tomando x (0, 1)
y y = 0, es decir:
C
5
C
4
.
E
5
.- Es claro que S es un Z-Operador.
E
6
.- S es un (, L)-Operador y se verica usando la proposicin (2.9).
F.- Para todo operador de Zamrescu se tiene que:
F
1
.- S no necesariamente es una B-contraccin ya que para la funcin S : R R dada por:
S(x) =
_
0, si x 2

1
2
, si x > 2
Se tiene:
F
1
1
.- S es de Kannan.
F
1
2
.- De (F
1
1
) y (D
5
) se concluye que S es un Z-Operador.
F
1
3
.- S no es una B-contraccin ya que, es discontinua.
26
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 2 Las funciones contracciones y las T-contracciones
F
2
.- S no necesariamente es contrctil y se verica con la justicacin en (F
1
).
De F
1
y F
2
tenemos que:
C
6
C
1
y C
6
C
2
.
F
3
.- S es un operador de Banach y la justicacin esta ms adelante. (en G
3
).
F
4
.- S no necesariamente es una K-contraccin ya que, para la funcin
S : [0, 1] [0, 1] dada por:
S(x) =
_
x
2
, si 0 x < 1
0, si x = 1
F
4
1
.- De (E
1
) S es una C-contraccin.
F
4
2
.- De (E
6
) S es un Z-Operador.
F
4
3
.- De (E
4
) S no es K-contraccin.
F
5
.- S no necesariamente es una C-contraccin ya que existe una funcin (dada en D
4
) la
cual es una K-contraccn (por lo tanto es Z-Operador) pero no satisface la condicin
de Chatterjea.
De F
4
y F
5
tenemos:
C
6
C
4
y C
6
C
5
.
F
6
.- S es un (, L)-Operador y se verica usando la proposicin (2.10).
G.- Para todo (, L)-Operador se cumple que:
G
1
.- S no necesariamente es una B-contraccin ya que para S : R R dada por:
S(x) =
_
0, si x 2

1
2
, si x = 1
Se tiene que:
G
1
1
.- S no es continua.
G
1
2
.- S es de Kannan.
G
1
3
.- Por la parte (D
5
) S es un Z-Operador.
G
1
4
.- Por la parte (F
6
) S es un (, L)-Operador y por (G
1
1
) no es B-contraccin.
G
2
.- S no necesariamente es contrctil y se verica en la parte (G
1
).
De G
1
y G
2
tenemos:
C
7
C
1
y C
7
C
2
.
G
3
.- S es un operador de Banach y se verica tomando y = S(x) en la denicin dada en
C
7
.
G
4
.- S no necesariamente es una K-contraccin puesto que para la funcin dada en (E
1
) se
tiene que:
G
4
1
.- S es de Chatterjea.
G
4
2
.- Por (E
5
), S es un Z-Operador.
27
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
G
4
3
.- Por (F
6
), S es un (, L)-Operador.
G
4
4
.- Por (E
4
), S no es de Kannan.
G
5
.- S no nesariamente es una C-contraccin ya que para la funcin dada en (D
4
) se tiene:
G
5
1
.- S es una funcin de Kannan.
G
5
2
.- De (D
6
), S es (, L)- Operador.
G
5
3
.- De (D
4
), S no es C-contraccin.
De G
4
y G
5
tenemos que:
C
7
C
4
y C
7
C
5
.
Consideramos interesante plantearnos la siguiente interrogante:
G
6
.- Ser cierto que todo (, L)-Operador es un Z- Operador?
2.1.1. Funciones T-Contracciones
En el 2009, A. Beiranvand, S. Moradi, M.Omid, H.Pazandeh, introdujeron una nueva clase de
funciones contractivas C
T
1
y C
T
2
. De manera anloga J.Morales introdujo C
T
3
.
Denicin 2.11 Sea (X, d) un espacio mtrico y S : X X una aplicacin arbitraria. Entonces:
C
T
1
.- Se dice que aplicacin S es una T-Contraccin de Banach (TB-Contraccin), si existe
0 < 1 constante tal que:
d(TS(x), TS(y)) d(T(x), T(y)), x, y X. (2.7)
C
T
2
.- Se dice que S es una aplicacin T-contrctil (TE-contraccin), si para todo
T(x) = T(y) X
d(TS(x), TS(y)) < d(T(x), T(y)). (2.8)
C
T
3
.- Se dice que S es un T-Operador de Banach si existe h (0, 1) constante tal
que:
d(TS(x), TS
2
(x)) hd(T(x), TS(x)), x X. (2.9)
Observacin: Es claro que si tomamos T(x) = x x X en las desigualdades (2.7),(2.8) y
(2.9) obtenemos (2.1),(2.2) y (2.3) respectivamente.
Ejemplo 2.12 : Sea X = [1, +) R, con la mtrica inducida por R y T, S : X X dos
aplicacines denidas por:
T(x) = ln(x) + 1 y S(x) = 2

x.
i) S y T son funciones continuas en X.
28
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 2 Las funciones contracciones y las T-contracciones
ii) S no es una B-Contraccin, ya que:
d(S(x), S(y)) = | 2

x 2

y | = 2
|

y ||

x +

y |
|

x +

y |
=
2

x +

y
| x y |
| x y |
= d(x, y).
iii) S es TB-contraccin, puesto que:
d(TS(x), TS(y)) = | ln(2

x) + 1 ln(2

y) 1 |
=

ln(2) +
ln(x)
2
+ 1 ln(2) +
ln(y)
2
1

1
2
|ln(x) + 1 ln(y) 1|
=
1
2
d(T(x), T(y)).
En este ejemplo observamos que no necesariamente S es una B-Contraccin.
Ejemplo 2.13 : Sea X = [0, 3] R, con la mtrica inducida por R y T, S : X X dos
aplicaciones denidas por:
T(x) = x
2
y S(x) =
x
2

2
.
i) S y T son funciones continuas en X.
ii) S no es una aplicacin contrctil, ya que para x, y X tal que x =
2

2
y y =
3

2
tenemos:
d(S(x), S(y)) =

_
2

2
_
2

_
3

2
_
2

=
5
2

2
. (2.10)
d(x, y) =

=
1

2
. (2.11)
As, de (2.10) y (2.11) tenemos que d(S(x), S(y)) > d(x, y).
iii) S es una aplicacin T-Contrctil, ya que:
d(TS(x), TS(y)) =

x
2
2

y
2
2

=
1
2
|x
2
y
2
|
< |x
2
y
2
|
= d(Tx, Ty).
Esta ltima desigualdad demuestra lo que se quiere.
29
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
En este ejemplo es claro que no necesariamente S debe ser contrctil para que S sea TE-contraccin.
Ejemplo 2.14 : Sea X = [0, +) R, con la mtrica inducida por R y T, S : X X dos
aplicaciones denidas por:
T(x) = 1 +
1
x
y S(x) = 2x.
i) S y T son funciones continuas en X.
ii) S no es un operador de Banach, puesto que:
d(S(x), S
2
(x)) =| 2x 4x |= 2 | x | > | x |= d(x, S(x)).
iii) S es un T-operador de Banach, ya que:
d(TS(x), TS
2
(x)) =

_
1 +
1
2x
_

_
1 +
1
4x
_

=
1
2

_
1 +
1
x
_

_
1 +
1
2x
_

=
1
2
| T(x) TS(x) |

1
2
d(T(x), TS(x)).
A continuacin de manera anloga tenemos las siguientes deniciones:
C
T
4
.- Se dice que S es una T-contraccin de Kannan (TK-contraccin), si existe b [0,
1
2
) tal que:
d(TS(x), TS(y)) b[d(T(x), TS(x)) + d(T(y), TS(y))], x, y X. (2.12)
Ejemplo 2.15 Sea X = [1, 1] R, con la mtrica inducida por R y T, S : X X dos
aplicaciones denidas por:
T(x) = x
2
y S(x) =
x
2
.
Entonces:
i) S y T son funciones continuas.
ii) S no satisface la condicin de K-Contraccin y se verica en (2.4).
iii) S es una T Contraccin de Kannan ya que:
Sean x, y X y mostremos:
d(TS(x), TS(y)) b[d(Tx, TS(x)) + d(Ty, TS(y))].
En efecto,
d(TS(x), TS(y)) =

x
2
4

y
2
4

=
1
4
|x
2
y
2
|

1
3
3
4
[|x
2
| +|y
2
|]
=
1
3
_

x
2

x
2
4

y
2

y
2
4

_
d(TS(x), TS(y))
1
3
[d(Tx, TS(x)) + d(Ty, TSy)].
30
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 2 Las funciones contracciones y las T-contracciones
Esta ltima desigualdad demuestra lo que se quiere.
C
T
5
.- Se dice que S es una T-contraccin de Chatterjea (TC-contraccin), si existe c [0,
1
2
) tal
que:
d(TS(x), TS(y)) c[d(T(x), TS(y)) + d(T(y), TS(x))], x, y X. (2.13)
C
T
6
.- Se dice que S es un T-Operador de Zamrescu (TZ-Operador) si existen a [0, 1) b [0,
1
2
)
y c [0,
1
2
) tal que x, y X se cumple al menos una de las siguientes condiciones:
TZ
1
.- d(TS(x), TS(y)) ad(T(x), T(y)).
TZ
2
.- d(TS(x), TS(y)) b[d(T(x), TS(x)) + d(T(y), TS(y))].
TZ
3
.- d(TS(x), TS(y)) c[d(T(x), TS(y)) + d(T(y), TS(x))].
En las siguientes proposiciones se reeja una propiedad que cumplen las aplicaciones de T-Kannan,
T-Chatterjea y T-Zamrescu, respectivamente.
Proposicin 2.16 Sean (X, d) un espacio mtrico y S, T : X X dos funciones tales que, S
sea una T Contraccin de Kannan. Entonces TS satisface las siguientes propiedades:
i) Existe b [0,
1
2
) tal que
d(TS(x), TS(y))
b
1 b
d(T(x), T(y)) +
2b
1 b
d(T(x), TS(x)). x, y X
y
d(TS(x), TS(y))
b
1 b
d(T(x), T(y)) +
2b
1 b
d(T(y), TS(y)). x, y X
ii) Existe b [0,
1
2
) tal que
d(TS(x), TS(y))
b
1 b
d(T(x), T(y)) +
2b
1 b
d(T(x), TS(y)). x, y X
y
d(TS(x), TS(y))
b
1 b
d(T(x), T(y)) +
2b
1 b
d(T(y), TS(x)). x, y X
Demostracin: Sean x, y X. Como S es una T Contraccin de Kannan, existe b [0,
1
2
) tal
que TS satisface la siguiente desigualdad:
d(TS(x), TS(y)) b[d(T(x), TS(x)) + d(T(y), TS(y))].
i) Usando desigualdad triangular se tiene:
d(TS(x), TS(y)) b[d(T(x), TS(x)) + d(T(y), T(x)) + d(T(x), TS(x)) +
d(TS(x), TS(y))]
2bd(Tx, TS(x)) + bd(T(x), T(y)) + bd(TS(x), TS(y))
(1 b)d(TS(x), TS(y)) bd(T(x), T(y)) + 2bd(T(x), TS(x))
d(TS(x), TS(y))
b
1 b
d(T(x), T(y)) +
2b
1 b
d(T(x), TS(x)).
31
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
Nuevamente por desigualdad triangular se tiene:
d(TS(x), TS(y)) b[d(T(x), T(y)) + d(T(y), TS(y)) + d(TS(y), TS(x)) +
d(T(y), TS(y))]
bd(T(x), T(y)) + 2bd(T(y), TS(y)) + bd(TS(x), TS(y))
(1 b)d(TS(x), TS(y)) bd(T(x), T(y)) + 2bd(T(y), TS(y))
d(TS(x), TS(y))
b
1 b
d(T(x), T(y)) +
2b
1 b
d(T(y), TS(y)).
ii) Usando desigualdad triangular se tiene:
d(TS(x), TS(y)) b[d(T(x), TS(y)) + d(TS(y), TS(x)) + d(T(y), T(x)) +
d(Tx, TS(y))]
bd(T(x), T(y)) + 2d(T(x), TS(y)) + bd(TS(x), TS(y))
(1 b)d(TS(x), TS(y)) bd(T(x), T(y)) + 2bd(T(x), TS(y))
d(TS(x), TS(y))
b
1 b
d(T(x), T(y)) +
2b
1 b
d(T(x), TS(y)).
Nuevamente usando desigualdad triangular se tiene:
d(TS(x), TS(y)) b[d(T(x), T(y)) + d(T(y), TS(x)) + d(T(y), TS(x)) +
d(TS(x), TS(y))]
bd(T(x), T(y)) + 2bd(T(y), TS(x)) + bd(TS(x), TS(y))
(1 b)d(TS(x), TS(y)) bd(T(x), T(y)) + 2bd(T(y), TS(x))
d(TS(x), TS(y))
b
1 b
d(T(x), T(y)) +
2b
1 b
d(T(y), TS(x)).
Este resultado generaliza la proposicin (2.8), al considerar T(x) = x.
Proposicin 2.17 Sean (X, d) un espacio mtrico y S, T : X X dos funciones tales que, S
sea una T Contraccin de Chatterjea. Entonces TS satisface las siguientes propiedades:
i) Existe c [0,
1
2
) tal que:
d(TS(x), TS(y))
c
1 c
d(T(x), T(y)) +
2c
1 b
d(T(x), TS(x)). x, y X
y
d(TS(x), TS(y))
c
1 c
d(T(x), T(y)) +
2c
1 c
d(T(y), TS(y)). x, y X
ii) Existe b [0,
1
2
) tal que:
d(TS(x), TS(y))
c
1 c
d(T(x), T(y)) +
2c
1 c
d(T(x), TS(y)). x, y X
y
d(TS(x), TS(y))
c
1 c
d(T(x), T(y)) +
2c
1 c
d(T(y), TS(x)). x, y X
32
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 2 Las funciones contracciones y las T-contracciones
Demostracin: La demostracin es anloga a la que se di en la proposicin (2.16).
Proposicin 2.18 Sean (X, d) un espacio mtrico y S, T : X X dos funciones tales que, S
sea un T Operador de Zamrescu. Entonces existe (0, 1) tal que TS satisface lo siguiente
x, y X:
i) d(TS(x)TS(y)) d(T(x), T(y)) + 2d(T(x), TS(x)).
ii) d(TS(x), TS(y)) d(T(x), T(y)) + 2d(T(y), TS(y)).
iii) d(TS(x), TS(y)) d(T(x), T(y)) + 2d(T(x), TS(y)).
iv) d(TS(x), TS(y)) d(T(x), T(y)) + 2d(T(y), TS(x)).
Demostracin: Sean x, y X. Entonces
i) Si S satisface las condiciones TZ
2
y TZ
3
, usando las proposiciones (2.16)(i) y (2.17)(i) se
cumplen respectivamente las siguientes desigualdades:
d(TS(x), TS(y))
b
1 b
d(T(x), T(y)) +
2b
1 b
d(T(x), TS(x))
d(TS(x), TS(y))
c
1 c
d(T(x), T(y)) +
2c
1 c
d(T(x), TS(x)).
Adems, si se satisface TZ
1
entonces tomando = max
_
a,
b
1b
,
c
1c
_
se tiene que (0, 1)
y
d(TS(x), TS(y)) d(T(x), T(y)) + 2d(T(x), TS(x)).
ii) Esta demostracin es anloga a (i).
iii) Si S satisface las condiciones TZ
2
y TZ
3
, usando las proposiciones (2.16)(ii) y (2.17)(ii)
se cumplen respectivamente las siguientes desigualdades:
d(TS(x), TS(y))
b
1 b
d(T(x), T(y)) +
2b
1 b
d(T(x), TS(y))
d(TS(x), TS(y))
c
1 c
d(T(x), T(y)) +
2c
1 c
d(T(x), TS(y)).
Adems, si se satisface TZ
1
entonces tomando = max
_
a,
b
1b
,
c
1c
_
se tiene que (0, 1)
y
d(TS(x), TS(y)) d(T(x), T(y)) + 2d(T(x), TS(y)).
vi) Esta demostracin es anloga a (iii).

C
T
7
.- Se dice que S es una T-Contraccin dbil (T- (, L) Contraccin), si existe (0, 1) y algn
L 0 tal que:
d(TS(x), TS(y)) d(T(x), T(y)) + Ld(T(y), TS(x)), x, y X. (2.14)
33
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
Ejemplo 2.19 Sea X = [0, 1] R, con la mtrica inducida por R y T, S : X X dos aplica-
ciones denidas por:
S(x) =
_
x
2
, si 0 x < 1
0, si x = 1
T(x) =
_
0, si 0 x < 1
x
2
, si x = 1
i) S y T no son funciones continuas.
ii) TS(x) = 0 x [0, 1].
iii) Por la parte anterior se tiene que S satisface todas las deniciones de T-Contracciones que
conocemos.
Este ejemplo muestra que las condiciones de T-Contracciones no implican la continuidad de S y
T.
2.2. Algunas relaciones entre las funciones
T-Contracciones
A. Para toda TB-Contraccion S se tiene que:
A
1
. S es una aplicacin T-contrctil, ya que para x, y X con T(x) = T(y), existe 0
a < 1 tal que:
d(TS(x), TS(y)) ad(Tx, Ty) < d(Tx, Ty).
A
2
. S es un operador de Banach, ya que considerando y = S(x), para todo x X se tiene:
d(TS(x), TS(y)) = d(TS(x), TS
2
(x)) ad(Tx, TS(x)).
A
3
. S es una TZ contraccin, ya que satisface la condicin TZ
1
.
A
4
. S es una T-Contraccin dbil, y se verica al tomar = a y L = 0 en (2.14).
B. Para toda TK-Contraccin S se tiene:
B
1
. S es un T-Operador de Banach, y se verica tomando y = S(x) en (2.12).
B
2
. S es una TZ contraccin, ya que satisface la condicin TZ
2
.
C. Toda T-Contraccin dbil S es un T-Operador de Banach, y se verica tomando y = S(x)
en (2.14).
34
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
3
Resultados clsicos de la teora mtrica del punto jo
En este captulo se estudiarn los teoremas clsicos del punto jo en espacio mtricos para
aplicaciones con alguna propiedad contractiva y sus respectivas demostraciones.
En lo que sigue F
S
denotar el conjunto de puntos jos de la funcin S.
3.1. Teoremas del punto jo
3.1.1. Teorema del punto jo de Banach
Teorema 3.1 Sean (X, d) un espacio mtrico completo y S : X X una B-contraccin. Entonces
se tiene que:
i) Para todo x
0
X y x
n
= S
n
(x
0
), existe z X tal que lm
n
x
n
= z.
ii) F
S
= {z}
iii) d(x
n
, z)
a
n
1 a
d(x
0
, x
1
).
iv) d(x
n+1
, z)
a
1 a
d(x
n+1
, x
n
).
v) d(x
n+1
, z) ad(x
n
, z)
Demostracin: Esta demostracin ser constructiva.
(i) Sea x
0
X y consideremos la sucesin:
x
1
= S(x
0
) , x
2
= S(x
1
) , x
3
= S(x
2
) , x
4
= S(x
3
) , x
5
= S(x
4
) , . . . , x
n+1
= S(x
n
) (3.1)
35
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
Es decir, x
n
= S
n
(x
0
). Mostremos que {x
n
} es una sucesin de Cauchy.
Para ello, usando (3.1) y el hecho de que S es una B-contraccin se tiene:
d(x
1
, x
2
) = d(S(x
0
), S(x
1
)) ad(x
0
, x
1
).
d(x
2
, x
3
) = d(S(x
1
), S(x
2
)) ad(x
1
, x
2
) a
2
d(x
0
, x
1
).
d(x
3
, x
4
) = d(S(x
2
), S(x
3
)) ad(x
2
, x
3
) a
3
d(x
0
, x
1
).
d(x
4
, x
5
) = d(S(x
3
), S(x
4
)) ad(x
3
, x
4
) a
4
d(x
0
, x
1
).
As, de manera inductiva se tiene la siguiente desigualdad:
d(x
n
, x
n+1
) a
n
d(x
0
, x
1
), n N (3.2)
Ahora, sean m, n N y supongamos que m n 1 es decir, existe h N tal que m = n + h.
Entonces:
d(x
n
, x
n+h
) d(x
n
, x
n+1
) + d(x
n+1
, x
n+2
) + d(x
n+2
, x
n+3
) + + d(x
n+h1
, x
n+h
).
a
n
d(x
0
, x
1
) + a
n+1
d(x
0
, x
1
) + a
n+2
d(x
0
, x
1
) + + a
n+h1
d(x
0
, x
1
).
= a
n
d(x
0
, x
1
)(1 + a + a
2
+ a
3
+ + a
h1
).
=
a
n
1 a
(1 a
h
)d(x
0
, x
1
).
=
a
n
1 a
d(x
0
, x
1
). (3.3)
Como a < 1 entonces (3.3) converge a cero cuando n , esto implica que {x
n
} es una sucesin
de Cauchy.
En vista de que el espacio X es completo se tiene que existe z X tal que lm
n
x
n
= z.
(ii)Dado que S es una aplicacin continua entonces:
z = lm
n
x
n+1
= lm
n
S(x
n
) = S( lm
n
x
n
) = S(z).
Esto implica que z F
S
.
Unicidad:
supongamos que existe y X tal que S(y) = y. Entonces
d(z, y) = d(S(z), S(y)) ad(z, y) d(z, y) (1 a)d(z, y) = 0 d(z, y) = 0
As, z = y.
(iii) De (3.3) se tiene que:
d(x
n
, x
m
)
a
n
1 a
d(x
0
, x
1
). (3.4)
Luego, como lm
m
x
m
= z y la funcin d es continua, se deduce de (3.4):
d(x
n
, z)
a
n
1 a
d(x
0
, x
1
).
36
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 3 Resultados clsicos de la teora mtrica del punto jo
(iv) Para todo n N se tiene:
d(x
n+1
, x
n+2
) = d(S(x
n
), S(x
n+1
)) ad(x
n
, x
n+1
).
d(x
n+2
, x
n+3
) = d(S(x
n+1
), S(x
n+2
)) ad(x
n+1
, x
n+2
) a
2
d(x
n
, x
n+1
).
d(x
n+3
, x
n+4
) = d(S(x
n+2
), S(x
n+3
)) ad(x
n+2
, x
n+3
) a
3
d(x
n+1
, x
n+2
).
d(x
n+4
, x
n+5
) = d(S(x
n+3
), S(x
n+2
)) ad(x
n+3
, x
n+4
) a
4
d(x
n+2
, x
n+3
).
As, de manera inductiva se tiene que:
d(x
n+m
, x
n+m+1
) a
m
d(x
n
, x
n+1
) n N. (3.5)
Luego, para m 1 se tiene:
d(x
n+1
, x
n+m+1
) d(x
n+1
, x
n+2
) + d(x
n+2
, x
n+3
) + + d(x
n+m
, x
n+m+1
).
ad(x
n
, x
n+1
) + a
2
d(x
n
, x
n+1
) + a
3
d(x
n
, x
n+1
) + + a
m
d(x
n
, x
n+1
).
= ad(x
n
, x
n+1
)(1 + a + a
2
+ a
3
+ + a
m1
).
=
a
1 a
(1 a
m
)d(x
n
, x
n+1
).

a
1 a
d(x
n
, x
n+1
).
As:
d(x
n+1
, x
n+m+1
)
a
1 a
d(x
n
, x
n+1
). (3.6)
Luego, tomando m en (3.6) se tiene:
d(x
n+1
, z)
a
1 a
d(x
n
, x
n+1
).
(v)
d(x
n+1
, z) = d(S(x
n
), S(z)) ad(x
n
, z).

3.1.2. Teorema del punto jo para operadores de Banach

Denicin 3.2 Sea (X, d) un espacio mtrico y S : X X una aplicacin:
1.- Para x X denimos la rbita de x como el conjunto
(x, ) = {x, S(x), S
2
(x), S
3
(x), . . . , S
n
(x), . . .}.
2.- Sea x X. Una funcin G : X R es S-orbitalmente semicontinua inferiormente en q si
para cualquier sucesin {x
n
} (x, ) con lm
n
x
n
= q implica que G(q) lminf
n
G(x
n
).
37
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
Teorema 3.3 Sea (X, d) un espacio mtrico completo y 0 h < 1. Supongamos que existe x X
tal que:
d(S(y), S
2
(y)) d(y, S(y))
para todo y (x, ). Entonces:
i.- lm
n
S
n
(x) = q existe.
ii.- d(S
n
(x), q)
h
n
1 h
d(x, S(x)).
iii.- q es un punto jo de S si, y slo si G(x) = d(x, S(x)) es S-orbitalmente semicontinua
inferiormente en q.
Demostracin: Sea x X tal que d(S(y), S
2
(y)) d(y, S(y)) para todo y (x, ). Para
y = S(x) se tiene:
d(S
2
(x), S
3
(x)) hd(S(x), S
2
(x)) h
2
d(x, S(x)).
As, de manera inductiva
d(S
n
(x), S
n+1
(x)) h
n
d(x, S(x)).
A continuacin, mostremos que la sucesin {S
n
(x)} es de Cauchy.
En efecto, sean n, p N entonces:
d(S
n
(x), S
n+p
(x)) d(S
n
(x), S
n+1
(x)) + d(S
n+1
(x), S
n+2
(x)) + + d(S
n+p1
(x), S
n+p
(x)).
Luego por la parte anterior:
d(S
n
(x), S
n+p
(x)) h
n
d(x, xS(x)) + h
n+1
d(x, S(x)) + + h
n+p1
d(x, S(x))
h
n
d(x, S(x))[1 + h + h
2
+ + h
p1
]

h
n
1 h
(1 h
p1
)d(x, S(x))

h
n
1 h
d(x, S(x))
d(S
n
(x), S
n+p
(x))
h
n
1 h
d(x, S(x)). (3.7)
De (3.7) se tiene que {S
n
(x)} es una sucesin de Cauchy y como X es completo, existe q X tal
que lm
n
S
n
(x) = q.
As,
lm
n
S
n
(x) = q
Luego, cuando p en la desigualdad (3.7) se tiene que
d(S
n
, q)
h
n
1 h
d(x, S(x)).
38
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 3 Resultados clsicos de la teora mtrica del punto jo
A continuacin mostraremos la parte (iii)
Supongamos que S(q) = q y sea {x
n
} (x, ) con lm
n
x
n
= q, entonces
G(q) = d(q, S(q)) = 0 y lminf G(x
n
) 0 por lo tanto,
G(q) lminf G(x
n
).
Reciprocamente
G(q) = G(q, S(q)) lminf G(x
n
) = d(x
n
, S(x
n
))
d(S
n
(x), S
n+1
(x)) h
n
d(x, S(x))) < .
Y esta ltima desigualdad se cumple para n sucientemente grande. Esto implica que S(q) = q.
3.1.3. Teorema del punto jo de Edelstein
Teorema 3.4 Sea (X, d) un espacio mtrico compacto y S : X X una aplicacin contrctil.
Entonces existe un nico z X tal que S(z) = z.
Demostracin: En efecto, sea x
0
X y consideremos la sucesion:
x
1
= S(x
0
) , x
2
= S(x
1
) , x
3
= S(x
2
) , x
4
= S(x
3
) , x
5
= S(x
4
) , . . . , x
n+1
= S(x
n
). (3.8)
Es decir, x
n
= S
n
(x
0
).
Dado que el espacio (X, d) es compacto, la sucesin {x
n
} posee una subsucesin convergente es
decir, existe {x
n
k
} {x
n
} y z X tal que lm
k
x
n
k
= z. Como S es contractiva entonces por
el lema (2.5), S es continua adems, la sucesin {d(x
n
, x
n+1
)} R es decreciente, de trminos
positivos y acotada inferiormente por lo tanto converge. As:
lm
k
d(x
n
k
, S(x
n
k
)) = d(z, S(z)).
Por otro lado:
d(z, S(z)) = lm
n
d(x
n
, x
n+1
) = lm
n
d(x
n+1
, x
n+2
)
= lm
n
d(S(x
n
), S
2
(x
n
))
= d(S(z), S
2
(z)).
Es decir, d(z, S(z)) = d(S(z), S
2
(z)).
Si z = S(z) entonces:
d(z, S(z)) = d(S(z), S(S(z))) < d(z, S(z)) ().
Por lo tanto S(z) = z.
Unicidad:
Supongamos que existe y X tal que S(y) = y, entonces:
d(z, y) = d(S(z), S(y)) < d(z, y) ().
As F
S
= {z}.

39
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
3.1.4. Teorema del punto jo de Kannan
Teorema 3.5 Sea (X, d) un espacio mtrico completo y S : X X una aplicacin de Kannan.
Entonces existe un nico z X tal que S(z) = z.
Demostracin: En efecto, sea x
0
X y consideremos la sucesin:
x
1
= S(x
0
) , x
2
= S(x
1
) , x
3
= S(x
2
) , x
4
= S(x
3
) , x
5
= S(x
4
) , . . . , x
n+1
= S(x
n
)
Es decir, x
n
= S
n
(x
0
).
Como S es K-contraccin, entonces n N:
d(x
n+1
, x
n
) = d(S(x
n
), S(x
n1
)) b[d(x
n
, S(x
n
)) + d(x
n1
, S(x
n1
))]
bd(x
n
, x
n+1
) + bd(x
n1
, x
n
)
(1 b)d(x
n+1
, x
n
) bd(x
n1
, x
n
)
d(x
n+1
, x
n
)
b
1 b
d(x
n
, x
n1
). (3.9)
Por otro lado se tiene:
b <
1
2
b + b < 1
b
1 b
< 1 (3.10)
As, de (3.9) , (3.10) y usando el lema (1.34) se tiene que la sucesin {x
n
} es de Cauchy.
Por la completitud del espacio X, existe z X tal que lm
n
x
n
= z.
Ahora:
d(z, S(z)) d(z, x
n
) + d(x
n
, S(z))
d(z, x
n
) + d(S(x
n+1
), S(z))
d(z, x
n
) + b[d(x
n+1
, S(x
n+1
)) + d(z, S(z))]
d(z, x
n
) + bd(x
n+1
, x
n
) + bd(z, S(z))
(1 b)d(z, S(z)) d(z, x
n
) + bd(x
n+1
, x
n
)
d(z, S(z))
1
1 b
d(z, x
n
) +
b
1 b
d(x
n+1
, x
n
)

1
1 b
d(z, x
n
)
_
b
1 b
_
n+1
d(x
n+1
, x
n
) (3.11)
Luego, tomando n en (3.11) se obtiene:
d(z, S(z)) = 0 z = S(z).
Unicidad:
Supongamos que existe y X tal que S(y) = y, entonces:
d(z, y) = d(S(z), S(y)) b[d(z, S(z)) + bd(y, S(y))]
bd(z, z) + d(y, y)
= 0.
Por lo tanto d(z, y) = 0, lo cual implica que z = y.

40
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 3 Resultados clsicos de la teora mtrica del punto jo
3.1.5. Teorema del punto jo de Chatterjea
Teorema 3.6 Sea (X, d) un espacio mtrico completo y S : X X una aplicacin de Charttejea.
Entonces existe un nico z X tal que S(z) = z.
Demostracin: En efecto, sea x
0
X y consideremos la sucesin:
x
1
= S(x
0
) , x
2
= S(x
1
) , x
3
= S(x
2
) , x
4
= S(x
3
) , x
5
= S(x
4
) , . . . , x
n+1
= S(x
n
)
Es decir, x
n
= S
n
(x
0
).
Como S es C-contraccin, entonces n N:
d(x
n+1
, x
n
) = d(S(x
n
), S(x
n1
)) c[d(x
n
, S(x
n1
)) + d(x
n1
, S(x
n
))]
cd(x
n
, x
n
) + cd(x
n1
, x
n+1
)
cd(x
n+1
, x
n
) + cd(x
n
, x
n1
)
(1 c)d(x
n+1
, x
n
) cd(x
n
, x
n1
)
d(x
n+1
, x
n
)
c
1 c
d(x
n
, x
n1
). (3.12)
Luego, en esta ltima desigualdad como
c
1 c
< 1, por el lema (1.34) se tiene que {x
n
} es una
sucesin de Cauchy.
As, dado que el espacio X es completo, existe z X tal que lm
n
x
n
= z.
Mostremos que F
S
= {z}
d(z, S(z)) d(z, x
n+1
) + d(x
n+1
, S(z))
d(z, x
n+1
) + d(S(x
n
), S(z))
d(z, x
n+1
) + c[d(x
n
, S(z)) + d(z, S(x
n
))]
d(z, x
n+1
) + cd(x
n
, S(z)) + cd(z, x
n+1
)
(1 + c)d(z, x
n+1
) + cd(x
n
, z) + cd(z, S(z))
(1 c)d(z, S(z)) (1 + c)d(z, x
n+1
) + cd(x
n
, z)
d(z, S(z))
1 + c
1 c
d(z, x
n+1
) +
c
1 c
d(x
n
, z). (3.13)
Armacin:
1 + c
1 c
< 3.
En efecto, dado que c <
1
2
entonces se tiene lo siguiente:
2c < 1 4c < 2 c + 3c < 3 1 1 + c < 3 3c
1 + c
1 c
< 3 (3.14)
As, de (3.14) y (3.13) se tiene:
d(z, S(z)) 3d(z, x
n+1
) +
c
1 c
d(x
n
, z) (3.15)
41
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
Luego, tomando n en (3.15):
d(z, S(z)) = 0 z = S(z).
Unicidad:
Supongamos que existe y X tal que S(y) = y, entonces:
d(z, y) = d(S(z), S(y)) c[d(z, S(y)) + d(y, S(z))]
cd(z, y) + cd(y, z)
2cd(z, y)
(1 2c)d(z, y) 0. (3.16)
En (3.16), dado que 0 < (1 2c) entonces d(z, y) 0 lo cual implica que d(z, y) = 0.
Por lo tanto
z = y.

3.1.6. Teorema del punto jo de Zamrescu

Teorema 3.7 Sea (X, d) un espacio mtrico completo y S : X X una aplicacin de Zamrescu.
Entonces existe un nico z X tal que S(z) = z.
Demostracin: Sean x, y X. Entonces al menos una de las condiciones se cumple:
1. d(S(x), S(y)) ad(x, y) con a < 1.
2. d(S(x), S(y)) b[d(x, S(x)) + d(y, S(y))] con b <
1
2
.
3. d(S(x), S(y)) c[d(x, S(y)) + d(y, S(x))] con c <
1
2
.
Por la proposicin (2.10) existe (0, 1) con = max
_
a,
b
1b
,
c
1c
_
tal que
d(S(x), S(y)) d(x, y) + 2d(y, S(x)) (3.17)
d(S(x), S(y)) d(x, y) + 2d(y, S(x)). (3.18)
Sea x
0
X y consideremos la sucesin:
x
1
= S(x
0
) , x
2
= S(x
1
) , x
3
= S(x
2
) , x
4
= S(x
3
) , x
5
= S(x
4
) , . . . , x
n+1
= S(x
n
)
Es decir, x
n
= S
n
(x
0
).
De (3.17) se tiene:
d(x
n+1
, x
n
) = d(S(x
n
), S(x
n1
)) d(x
n
, x
n1
) + 2d(x
n1
, S(x
n
))
d(x
n
, x
n1
) + 2d(x
n1
, x
n1
)
d(x
n
, x
n1
).
Esto implica
d(x
n+1
, x
n
) d(x
n
, x
n1
)
42
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 3 Resultados clsicos de la teora mtrica del punto jo
As, por el lema (1.34), {x
n
} es una sucesin de Cauchy y como X es completo, existe z X tal
que lm
n
x
n
= z.
A continuacin, veamos que z = S(z).
En efecto
d(z, S(z)) d(z, x
n+1
) + d(x
n+1
, S(z))
d(z, x
n+1
) + d(S(x
n
), S(z))
d(z, x
n+1
) + d(x
n
, z) + 2d(z, x
n+1
). (3.19)
En (3.19) se tiene que d(z, S(z)) = 0 cuando n , por lo tanto,
S(z) = z.
Unicidad:
Esto se prueba de usando (3.18) y de manera anloga a las que se demostraron en los teoremas
anteriores.

3.1.7. Teorema del punto jo para (, L) operadores

Sea (X, d) un espacio mtrico completo y S : X X una aplicacin contraccin dbil.
Entonces S tiene punto jo.
Demostracin: Sea x
0
X y consideremos la sucesin
x
1
= S(x
0
) , x
2
= S(x
1
) , x
3
= S(x
2
) , x
4
= S(x
3
) , x
5
= S(x
4
) , . . . , x
n+1
= S(x
n
)
Es decir, x
n
= S
n
(x
0
).
Para todo n N se cumple:
d(x
n
, x
n+1
) = d(S(x
n1
), S(x
n
))
d(x
n1
, x
n
) + 2d(x
n
, S(x
n1
))
d(x
n
, x
n+1
) d(x
n1
, x
n
) (3.20)
Luego, como < 1 en la desigualdad (3.20) se tiene del lema (1.34) que x
n
= S(x
n1
) es una
sucesin de cauchy. En vista de que el espacio es completo, existe z X tal que lm
n
x
n
= z.
Ahora, mostremos que S(z) = z.
En efecto
d(z, S(z)) d(z, x
n+1
) + d(x
n+1
, S(z))
d(z, x
n+1
) + d(S(x
n
), S(z))
d(z, x
n+1
) + d(x
n
, z) + 2d(z, x
n+1
)
(1 + 2)d(z, x
n+1
) + d(x
n
, z) (3.21)
Luego, tomando n en (3.21) se obtiene:
S(z) = z.

43
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
44
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
4
Teoremas del punto jo para las aplicaciones
T-contracciones
Este captulo forma parte de la idea central de este trabajo especial de grado, aqui se desar-
rrollarn los teoremas del punto jo para las funciones T-contracciones.
4.1. Teorema del punto jo para funciones
TB-Contracciones
Teorema 4.1 Sean (X, d) un espacio mtrico completo y S, T : X X dos aplicaciones tales
que, T sea continua, inyectiva y subsecuencialmente convergente. Si S es una TB-contraccin
continua, entonces S tiene un nico punto jo q, adems, si T es secuencialmente convergente se
tiene que para cualquier x
0
X, la sucesin {S
n
x
0
} converge a q.
Demostracin: Sea x
0
X y consideremos la sucesin {S
n
x
0
}. Entonces n N se cumple:
d(TS
n
(x
0
), TS
n+1
(x
0
)) = d(TSS
n1
(x
0
), TSS
n
(x
0
))
ad(TS
n1
(x
0
), TS
n
(x
0
)) (4.1)
Luego como a < 1, por el lema (1.34) se tiene de (4.1), que la sucesin {TS
n
(x
0
)} es de cauchy.
Por ser X un espacio mtrico completo, existe u X tal que lm
n
TS
n
(x
0
) = u. Por otra parte,
como T es subsecuencialmente convergente, existen {S
n
k
(x
0
)} {S
n
(x
0
)} y q X tal que:
lm
k
S
n
k
(x
0
) = q (4.2)
De (4.2) y por ser T una funcin continua se tiene:
lm
k
TS
n
k
(x
0
) = T(q)
Por lo tanto,
T(q) = u (4.3)
45
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
Luego, como T y S son continuas se tiene respectivamente:
lm
k
TS(S
n
k
(x
0
) = TS(q) (4.4)
lm
k
S(S
n
k
(x
0
)) = S(q) (4.5)
Es claro que (4.4) es una subsucesin de {TS
n
(x
0
)} y por lo tanto:
TS(q) = u (4.6)
As, de (4.6) y (4.3) tenemos:
TS(q) = T(q)
Por la inyectividad de T, se obtiene que S(q) = q. Si T es secuencialmente convergente entonces
se sigue el resultado teniendo en cuenta que la sucesin {S
n
(x
0
)} converge.
4.2. Teorema del punto jo para T-Contracciones de Edel-
stein
Teorema 4.2 Sean (X, d) un espacio mtrico compacto, y S, T : X X dos aplicaciones.
Supongamos que T es una funcin continua, inyectiva y secuencialmente convergente. Si S es
una funcin T-Contraccin de Edelstein, entonces S tiene un nico punto jo q, adems, para
cualquier x
0
X la sucesin {S
n
(x
0
)} converge a q.
Demostracin:
Mostremos que S es continua.
En efecto, sea {x
n
} X una sucesin, y supongamos que existe x X tal que lm
n
x
n
= x.
Probemos que lm
n
S(x
n
) = S(x).
Como S es T-Contrctil entonces:
d(TS(x
n
), TS(x)) d(T(x
n
), Tx) (4.7)
De (4.7) y la continuidad de T se deduce que lm
n
TS(x
n
) = TS(x).
Ahora, sea {x
n
k
} {x
n
} una subsucesin arbitraria y supongamos que converge a y X.
De la continuidad de T se tiene que
lm
k
TS(x
n
k
) = T(y) (4.8)
Esto implica de (4.7) y (4.8) que TS(x) = T(y) y como T es inyectiva, se concluye que
S(x) = y por lo tanto, lm
n
S(x
n
) = S(x).
46
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 4 Teoremas del punto jo para las aplicaciones T-contracciones
Ahora como S y T son funciones continuas, la funcin : X [0, ) dada por:
(y) = d(TS(y), T(y))
es continua, y como X es un espacio mtrico compacto se tiene que alcanza un valor
mnimo, digamos q X, es decir, (q) (y) y X.
Si S(q) = q entonces:
(S(q)) = d(TS
2
(q), TS(q)) d(TS(q), T(q)) = (q) ().
Por lo tanto se tiene que
S(q) = q (4.9)
Unicidad.- Supongamos que existe z X tal que S(z) = z. Es claro que
TS(q) = T(q) y TS(z) = T(z). Si T(q) = T(z) entonces:
d(T(q), T(z)) = d(TS(q), TS(z)) < d(T(q), T(z)) ().
Por lo tanto T(q) = T(z), de la inyectividad de T se concluye que q = z.
Sea x
0
X, mostremos que la sucesin lm
n
S
n
(x
0
) = q.
En efecto, consideremos la sucesin:
a
n
= d(TS
n
(x
0
), T(q)).
a
n+1
= d(TS
n+1
(x
0
), T(q)) = d(TS
n+1
(x
0
), TS(q)) d(TS
n
(x
0
), T(q)) = a
n
.
Esto implica que {a
n
} es una sucesin de trminos positivos, decreciente, acotada inferior-
mente por lo tanto converge, es decir, existe a X tal que:
lm
n
d(TS
n
(x
0
), T(q)) = a. (4.10)
Como X es compacto, {TS
n
(x
0
)} posee una subsucesin convergente a un z X, digamos
lm
k
TS
n
k
(x
0
) = z.
Como T es secuencialmente convergente, entonces existe w X tal que:
lm
k
S
n
k
(x
0
) = w. (4.11)
De (4.10) se tiene que:
d(T(w), T(x)) = a
De (4.11) y la continuidad de S se tiene:
lm
k
S
n
k
+1
(x
0
) = S(w). (4.12)
47
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
Por otro lado, si S(w) = q entonces de (4.10), (4.12) y (4.9) se obtiene:
a = lm
n
d(TS
n
(x
0
), T(q)) = lm
k
d(TS
n
k
+1
(x
0
), T(q)) = d(TS(w), T(q))
= d(TS(w), TS(q))
< d(T(w), T(q))
= a ()
Por lo tanto
S(w) = q. (4.13)
De (4.10) y (4.13) se tiene:
a = lm
k
d(TS
n
k
+1
(x
0
), T(q)) = d(TS(w), T(q)) (4.14)
= d(T(q), T(q))
a = 0
De (4.10) y (4.15) se tiene:
lm
n
TS
n
(x
0
) = T(q). (4.15)
Como T es secuencialmente convergente, de (4.15), (4.11) y (4.13) se tiene:
w = lm
n
S
n
(x
0
) = lm
n
S
n+1
(x
0
) = S(w) = q. (4.16)
Es decir
lm
n
S
n
(x
0
) = q.

4.3. Teorema del punto jo para T-Operadores de

Banach
Teorema 4.3 Sean (X, d) un espacio mtrico completo y S y Tdos aplicaciones tales que, T sea
continua, inyectiva y subsecuencialmente convergente. Si S es un T-Operador de Banach continua
entonces:
B
1
. lm
n
TS
n
(x) = q existe.
B
2
. d(TS
n
(x), q)
h
n
1 h
d(T(x), TS(x)).
B
3
. S posse un nico punto jo y.
B
4
. Si T es secuencialmente convergente entonces lm
n
S
n
(x) = y.
48
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 4 Teoremas del punto jo para las aplicaciones T-contracciones
Demostracin: Dado que S es un T-Operador de Banach se tiene para todo x X:
d(TS
2
(x), TS(x)) hd(TS(x), T(x)).
Luego de manera inductiva se tiene:
d(TS
n+1
(x), TS
n
(x)) hd(TS
n
(x), TS
n1
(x)) h
n
d(TS(x), T(x)).
Ahora, veamos que {TS
n
(x)} es una sucesin de cauchy.
En efecto, sean n, p N, as:
d(TS
n
(x), TS
n+p
(x)) d(TS
n
(x), TS
n+1
(x)) + d(TS
n+1
(x), TS
n+2
(x)) + +
d(TS
n+p1
(x), TS
n+p
(x))
h
n
d(TS(x), T(x)) + h
n+1
d(TS(x), T(x)) + +
h
n+p1
d(TS(x), T(x))
= h
n
d(TS(x), T(x))[1 + h + h
2
+ + h
p1
]
=
h
n
1 h
d(TS(x), T(x))(1 h
p
)
<
h
n
1 h
d(TS(x), T(x)). (4.17)
De (4.17) y como h < 1 se tiene que:
lm
n
d(TS
n
(x), TS
n+p
(x)) = 0.
Por lo tanto {TS
n
(x)} es una sucesin de cauchy, y como el espacio es completo, existe q X tal
que
lm
n
TS
n
(x) = q. (4.18)
Esto demuestra (B
1
). En (4.17), cuando p se obtiene (B
2
).
De (4.18) y por ser T subsecuencialmente convergente, existen {S
n
k
(x)} {S
n
(x)} y y X tal
que
lm
k
S
n
k
(x) = y. (4.19)
De (4.19) y la continuidad de T se obtiene:
lm
k
TS
n
k
(x) = T(y). (4.20)
De (4.20) y (4.18) se obtiene:
T(y) = q. (4.21)
De (4.19) y por continuidad de S se tiene:
lm
k
S
n
k
+1
(x) = S(y). (4.22)
49
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
De (4.22) por continuidad de T se tiene:
lm
k
TS
n
k
+1
(x) = TS(y). (4.23)
De (4.18), (4.21) y (4.23) se tiene:
TS(y) = q = T(y). (4.24)
Por la inyectividad de T se tiene:
S(y) = y.
Esto prueba (B
3
).
Si T es secuencialmente convergente se sigue (B
4
) a partir de (4.19), considerando (n) en lugar de
(n
k
).

4.4. Teorema del punto jo para funciones

TK-Contracciones
Teorema 4.4 Sean (X, d) un espacio mtrico completo y S, T : X X dos aplicaciones tales que,
T sea continua, inyectiva y secuencialmente convergente. Si S es una TK-Contraccin entonces:
K
1
. lm
n
TS
n
x
0
= v existe.
K
2
. F
S
= {y}.
K
3
. d(TS
n
x
0
, Ty)

n
1
d(TSx
0
, Tx
0
), donde =
b
1 b
.
K
4
. lm
n
S
n
(x
0
) = y, x
0
X.
Demostracin: Sea x
0
X y consideremos la sucesin x
n
= S
n
(x
0
) n N. Entonces
d(T(x
n
), T(x
n+1
)) = d(TS(x
n1
), TS(x
n
))
b[d(T(x
n1
), TS(x
n1
)) + d(T(x
n
), TS(x
n
))]
= b[d(T(x
n1
), T(x
n
)) + d(T(x
n
), T(x
n+1
))]
d(T(x
n
), T(x
n+1
)) =
b
1 b
d(T(x
n1
), T(x
n
)). (4.25)
De forma inductiva, tomando =
b
1 b
se prueba:
d(TS
n
(x
0
), TS
n+1
(x
0
))
n
d(TS(x
0
), T(x
0
)). (4.26)
Como
b
1 b
< 1 entonces de (4.25) y el lema (1.34) se tiene que la sucesin {TS
n
(x
0
)} es de
Cauchy. Por ser el espacio X completo, existe v X tal que lm
n
TS
n
(x
0
) = v. Esto demuestra
50
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 4 Teoremas del punto jo para las aplicaciones T-contracciones
(K
1
).
Dado que T es secuencialmente convergente, la sucesin x
n
= S
n
(x
0
) converge, es decir, existe
y X tal que:
lm
n
S
n
(x
0
) = y. (4.27)
Ahora mostremos que y es un punto jo.
d(TS(y), T(y)) d(TS(y), TS
n
(y)) + d(TS
n
(y), TS
n+1
(y)) + d(TS
n+1
(y), T(y))
b[d(T(y), TS(y)) + d(T(x
n1
), T(x
n
))] + d(T(x
n
), T(x
n+1
)) +
d(T(x
n+1
), T(y))
=
1
1 b
d(T(x
n1
), T(x
n
)) +
1
1 b
d(T(x
n
), T(x
n+1
)) +
1
1 b
d(T(x
n+1
), T(y))
d(TS(y), T(y)) 2d(T(x
n1
), T(x
n
)) + 2d(T(x
n
), Tx
n+1
) +
2d(T(x
n+1
), T(y)). (4.28)
Luego cuando n en (4.28) se obtiene:
TS(y) = T(y).
De la inyectividad de T se tiene que:
S(y) = y
Unicidad.- Supongamos que existe z X tal que S(z) = z. Entonces tenemos:
d(T(z), T(y)) = d(TS(z), TS(y)) b[d(T(z), TS(z)) + d(t(y), TS(y))]
= bd(T(z), T(z)) + bd(T(y), T(y))
d(T(z), T(y)) 0. (4.29)
De (4.29) y de la inyectividad de T se tiene que
y = z.
Esto demuestra (K
2
).
Para probar (K
3
), sean n, p N. De (4.26) se tiene:
d(TS
n
(x
0
), TS
n+p
(x
0
)) d(TS
n
(x
0
), TS
n+1
(x
0
)) + + d(TS
n+p1
(x
0
), TS
n+p
(x
0
))

n
d(TS(x
0
), T(x
0
)) + +
n+p1
d(TS
n
(x
0
), T(x
0
))

n
d(TS(x
0
), T(x
0
))[1 + + +
p1
]
=

n
1
(1
p
)d(TS(x
0
), T(x
0
))
d(TS
n
(x
0
), TS
n+p
(x
0
))

n
1
d(TS(x
0
), T(x
0
)). (4.30)
De (4.30), la continuidad de la funcin distancia y (4.27), haciendo p se tiene:
d(TS
n
x
0
, Ty)

n
1
d(TSx
0
, Tx
0
).
De la arbitrariedad de x
0
, se tiene que (4.27) demuestra (K
4
).

51
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
4.5. Teorema del punto jo para funciones
TC-Contracciones
Teorema 4.5 Sean (X, d)un espacio mtrico completo y S, T : X X dos funciones tales que,
T sea continua, inyectiva y secuencialmente convergente. Si S es una T contraccin de Chatterjea,
entonces:
C
1
. lm
n
TS
n
x
0
= u existe.
C
2
. F
S
= {z}.
C
3
. d(TS
n
x
0
, Tz)

n
1
d(TSx
0
, Tx
0
), donde =
c
1 c
.
C
4
. lm
n
S
n
(x
0
) = z, x
0
X.
Demostracin: Sea x
0
X y consideremos la sucesin x
n
= S
n
(x
0
). Mostremos que la sucesin
{TS
n
(x
0
)} es de Cauchy.
En efecto, sea n N, tenemos:
d(T(x
n+1
), T(x
n
)) = d(TS(x
n
), TS(x
n1
))
c[d(T(x
n
), TS(x
n1
)) + d(T(x
n1
)), T(S(x
n
))]
= c[d(T(x
n
), T(x
n
)) + d(T(x
n1
), T(x
n+1
))]
cd(T(x
n1
), T(x
n
)) + cd(T(x
n
), T(x
n+1
))

c
1 c
d(T(x
n
), T(x
n+1
)) (4.31)
De forma inductiva, tomando =
c
1 c
se demuestra:
d(TS
n
(x
0
), TS
n+1
(x
0
))
n
d(TS(x
0
), T(x
0
)). (4.32)
De (4.31) y como
c
1 c
< 1, usando el lema (1.34) se tiene que {TS
n
(x
0
)} es una sucesin de
Cauchy. Como el espacio X es completo, existe u X tal que lm
n
TS
n
(x
0
) = u. Esto prueba
(C
1
).
De esto y como T es secuencialmente convergente, existe z X tal que:
lm
n
S
n
(x
0
) = z. (4.33)
Veamos que S(z) = z.
En efecto,
d(T(z), TS(z)) d(T(z), TS
n+1
(x
0
)) + d(TS
n+1
(x
0
), TS(z))
= d(T(z), TS
n+1
(x
0
)) + d(TS(S
n
)(x
0
), TS(z))
d(T(z), TS
n+1
(x
0
)) + c[d(T(S
n
)(x
0
), TS(z)) + d(T(z), TS
n+1
(x
0
))]
= (1 + c)d(T(z), TS
n+1
(x
0
)) + cd(T(S
n
)(x
0
), TS(z))

1 + c
1 c
d(T(z), TS
n+1
(x
0
)) +
c
1 c
d(T(S
n
)(x
0
), TS(z))
d(T(z), TS(z)) < 3d(T(z), TS
n+1
(x
0
)) + d(T(S
n
)(x
0
), TS(z)) (4.34)
52
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 4 Teoremas del punto jo para las aplicaciones T-contracciones
De (4.34), cuando n se obtiene:
d(T(z), TS(z)) = 0 (4.35)
Y esto implica que
T(z) = TS(z).
Por la inyectividad de T se tiene:
S(z) = z.
Unicidad.- Supongamos que existe w X tal que S(w) = w, mostremos que w = z.
d(T(w), T(z)) = d(TS(w), TS(z))
c[d(T(w), TS(z))d(T(z), TS(w))]
= c[d(T(w), T(z)) + d(T(z), T(w))]
= 2cd(T(w), T(z))
(1 2c)d(T(w), T(z)) 0 (4.36)
De (4.36) y en vista de que c <
1
2
se obtiene:
T(w) = T(z). (4.37)
De la inyectividad de T se tiene que w = z. Esto demuestra (C
2
).
Para probar (C
3
), sean n, p N. De (4.32) se tiene:
d(TS
n
(x
0
), TS
n+p
(x
0
)) d(TS
n
(x
0
), TS
n+1
(x
0
)) + + d(TS
n+p1
(x
0
), TS
n+p
(x
0
))

n
d(TS(x
0
), T(x
0
)) + +
n+p1
d(TS
n
(x
0
), T(x
0
))

n
d(TS(x
0
), T(x
0
))[1 + + +
p1
]
=

n
1
(1
p
)d(TS(x
0
), T(x
0
))
d(TS
n
(x
0
), TS
n+p
(x
0
))

n
1
d(TS(x
0
), T(x
0
)). (4.38)
De (4.38) y (4.33), haciendo p se tiene:
d(TS
n
x
0
, Ty)

n
1
d(TSx
0
, Tx
0
).
De la arbitrariedad de x
0
, se tiene que (4.33) demuestra (C
4
).

53
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
4.6. Teorema del punto jo para T-Operadores de Zamres-
cu
Teorema 4.6 Sean (X, d) un espacio mtrico copmleto y S, T : X X dos aplicaciones tales que,
T sea continua, inyectiva y secuencialmente convergente. Si S es un T-Operador de Zamrescu,
entonces:
Z
1
. lm
n
TS
n
x
0
= w existe.
Z
2
. F
S
= {z}.
Z
3
. d(TS
n
x
0
, Tz)

n
1
d(TSx
0
, Tx
0
).
Z
4
. lm
n
S
n
(x
0
) = z, x
0
X.
Demostracin:
En efecto, como S es un T-Operador de Zamrescu de la proposicin (2.18) se tiene que, para
todo x, y X se cumple:
d(TS(x), TS(y)) d(T(x), T(y)) + 2d(T(x), TS(y)) (4.39)
d(TS(x), TS(y)) d(T(x), T(y)) + 2d(T(x), TS(x)) (4.40)
Sea x
0
X y consideremos la sucesin x
n
= S
n
(x
0
), de (4.39) se tiene:
d(TS
n+1
(x
0
), TS
n
(x
0
)) = d(TS(S
n
(x
0
)), TS(S
n1
(x
0
)))
d(T(S
n
(x
0
)), T(S
n1
(x
0
))) + 2d(T(S
n
(x
0
)), TS(S
n1
(x
0
)))
= d(T(S
n
(x
0
)), T(S
n1
(x
0
))) + 2d(T(S
n
(x
0
)), T(S
n
(x
0
)))
d(TS
n+1
(x
0
), TS
n
(x
0
)) = d(T(S
n
(x
0
)), T(S
n1
(x
0
))) (4.41)
as de manera inductiva se demuestra:
d(TS
n
(x
0
), TS
n+1
(x
0
))
n
d(TS(x
0
), T(x
0
)). (4.42)
En vista de que < 1 entonces por el lema (1.34) se tiene de (4.41) que {TS
n
(x
0
)} es una sucesin
de Cauchy, y como X es una espacio mtrico completo, existe w X tal que lm
n
TS
n
(x
0
) = w.
Esto demuestra (Z
1
).
Por ser T secuencialmente convergente, existe z X tal que
lm
n
S
n
(x
0
) = z. (4.43)
De (4.40) se tiene:
d(T(z), TS(z)) d(T(z), TS
n+1
(x
0
)) + d(TS
n+1
(x
0
), TS(z))
d(T(z), TS
n+1
(x
0
)) + d(TS(S
n
(x
0
)), TS(z))
d(T(z), TS
n+1
(x
0
)) + d(TS
n
(x
0
), T(z)) +
2d(T(z), TS
n+1
(x
0
)) (4.44)
54
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 4 Teoremas del punto jo para las aplicaciones T-contracciones
De (4.43), haciendo n en (4.44) se obtiene:
TS(z) = T(z).
Por la inyectividad de T se tiene :
S(z) = z.
Unicidad.- Supongamos que existe q X tal que S(q) = q, mostremos que q = z.
De (4.40) se tiene:
d(T(q), T(z)) = d(TS(q), TS(z))
d(T(q), T(z)) + 2d(T(q), TS(q))
d(T(q), T(z))
(1 )d(T(q), T(z)) = 0 (4.45)
De (4.45), en vista de que < 1 se tiene:
d(T(q), T(z)) = 0.
Esto implica que T(q) = T(z), luego de la inyectividad de T se tiene:
q = z.
Esto demuestra (Z
2
).
Para probar (Z
3
), sean n, p N. De (4.42) se tiene:
d(TS
n
(x
0
), TS
n+p
(x
0
)) d(TS
n
(x
0
), TS
n+1
(x
0
)) + + d(TS
n+p1
(x
0
), TS
n+p
(x
0
))

n
d(TS(x
0
), T(x
0
)) + +
n+p1
d(TS
n
(x
0
), T(x
0
))

n
d(TS(x
0
), T(x
0
))[1 + + +
p1
]
=

n
1
(1
p
)d(TS(x
0
), T(x
0
))
d(TS
n
(x
0
), TS
n+p
(x
0
))

n
1
d(TS(x
0
), T(x
0
)). (4.46)
De (4.46) y (4.43), haciendo p se tiene:
d(TS
n
x
0
, Tz)

n
1
d(TSx
0
, Tx
0
).
De la arbitrariedad de x
0
, se tiene que (4.43) demuestra (Z
4
).

55
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Wilmer Barrera
4.7. Teorema del punto jo para T-(, L)-Operador
Teorema 4.7 Sean (X, d) un espacio mtrico completo y S, T : X X dos aplicaciones tales
que, T sea continua, inyectiva y secuencialmente convergente. Si S es un
T-(, L)-Operador, entonces:
O
1
. lm
n
TS
n
x
0
= x existe.
O
2
. F
S
= .
O
3
. d(TS
n
x
0
, Tq)

n
1
d(TSx
0
, Tx
0
).
O
4
. lm
n
S
n
(x
0
) = q, x
0
X.
Demostracin: Sea x
0
X y consideremos la sucesin x
n
= S
n
(x
0
). Mostremos que la sucesin
{TS
n
(x
0
)} es de Cauchy.
En efecto, se tiene para todo n N lo siguiente:
d(T(S
n
(x
0
)), T(S
n+1
(x
0
))) d(TS
n1
(x
0
), TS
n
(x
0
)) + Ld(TS
n
(x
0
), TS
n
(x
0
))
d(TS
n
(x
0
), TS
n1
(x
0
)) (4.47)
De forma inductiva, se demuestra que:
d(TS
n
(x
0
), TS
n+1
(x
0
))
n
d(TS(x
0
), T(x
0
)). (4.48)
Usando el lema (1.34) en (4.47) se tiene que {TS
n
(x
0
)} es una sucesin de Cauchy. Luego, en
vista de que el espacio X es completo, se tiene que existe x X tal que: lm
n
TS
n
(x
0
) = x. Esto
demuestra (O
1
).
Por otro lado como T es secuencialmente convrgente, existe q X tal que
lm
n
S
n
(x
0
) = q. (4.49)
Mostremos que q es un punto jo. En efecto
d(T(q), TS(q)) d(T(q), TS
n+1
(x
0
)) + d(TS
n+1
(x
0
), TS(q))
d(T(q), TS
n+1
(x
0
)) + d(TS(S
n
(x
0
)), TS(q))
d(T(q), TS
n+1
(x
0
)) + d(TS
n
(x
0
), T(q)) + Ld(T(q), TS
n+1
(x
0
))
(1 + L)d(T(q), TS
n+1
(x
0
)) + d(TS
n
(x
0
), T(q)) (4.50)
De (4.49) y la continuidad de T en (4.50) se obtiene:
TS(q) = T(q).
De la inyectividad de T se concluye:
S(q) = q.
56
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 4 Teoremas del punto jo para las aplicaciones T-contracciones
Esto demuestra (O
2
). Para probar (O
3
), sean n, p N. De (4.42) se tiene:
d(TS
n
(x
0
), TS
n+p
(x
0
)) d(TS
n
(x
0
), TS
n+1
(x
0
)) + + d(TS
n+p1
(x
0
), TS
n+p
(x
0
))

n
d(TS(x
0
), T(x
0
)) + +
n+p1
d(TS
n
(x
0
), T(x
0
))

n
d(TS(x
0
), T(x
0
))[1 + + +
p1
]
=

n
1
(1
p
)d(TS(x
0
), T(x
0
))
d(TS
n
(x
0
), TS
n+p
(x
0
))

n
1
d(TS(x
0
), T(x
0
)). (4.51)
De (4.51) y (4.49), haciendo p se tiene:
d(TS
n
x
0
, Tq)

n
1
d(TSx
0
, Tx
0
).
De la arbitrariedad de x
0
, se tiene que (4.49) demuestra (O
4
).

57