Documente Academic
Documente Profesional
Documente Cultură
Facultad de Ciencias
Departamento de Matemticas
Grupo de Anlisis Funcional
ndice general
Resmen
Introduccin
1. Preliminares
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
15
15
22
28
. . . . . . . . . . . . . . . . .
34
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
35
35
35
37
39
40
41
42
43
45
45
46
48
ii
4.4. Teorema del punto fijo para funciones
TK-Contracciones . . . . . . . . . . . . . . . . . . . . . .
4.5. Teorema del punto fijo para funciones
TC-Contracciones . . . . . . . . . . . . . . . . . . . . . .
4.6. Teorema del punto fijo para T-Operadores de Zamfirescu
4.7. Teorema del punto fijo para T-(, L)-Operador . . . . . .
. . . . . . . . . . . . . .
50
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
52
54
56
Resmen
Introduccin
En 1922, el matemtico Polaco Banach prob un teorema que aseguraba las condiciones apropiadas para la existencia y unicidad del punto fijo, su resultado fu llamado el Teorema del Punto
Fijo o el Principio de Contraccin de Banach (P.C.B). Este teorema provee una teora para encontrar la solucin de una gran variedad de aplicaciones en matemtica e ingeniera.
Dado un espacio mtrico (X, d), y S, T : X X dos aplicaciones, la pregunta que surge
de manera natural es, bajo qu condiciones sobre el espacio X y/o las funciones S, T se puede
garantizar la existencia de un punto fijo, dado que S satisfaga alguna condicin contractiva cuya
desigualdad dependa de T .
Con el objetivo de hacer autocontenido este trabajo y tratar de facilitar su comprensin, el
mismo fue dividido en cuatro captulos de la siguiente manera:
Captulo 1
En este captulo, se harn referencia a algunas definiciones y resultados clsicos de la teora
de los espacios mtricos.
Capitulo 2
En este captulo, se estudiarn las nociones bsicas de las funciones contracciones es decir,
sus definiciones, ejemplos, relaciones y propiedades. De manera anloga se estudiarn las
funciones T-contracciones.
Capitulo 3
En este captulo, se har un estudio de los resultados clsicos de la teora mtrica del punto
fijo del punto fijo.
Capitulo 4
Este captulo forma parte de la idea central del trabajo, en donde se desarrollarn y analizarn
algunos resultados de la teora mtrica del punto fijo para las funciones T-contracciones.
1
Preliminares
En este captulo se dar un breve resmen de la teora de espacios mtricos.
Definicin 1.1 Se dice que una mtrica en un conjunto X 6= es una funcin
d : X X [0, +) que cumple con las siguientes propiedades
d1 . d(x, y) 0 y d(x, y) = 0 x = y.
d2 . d(x, y) = d(y, x).
d3 . 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 6= y consideremos d : X X [0, +) definida por:
1, si x 6= y
d(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, +) definida 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 = Rn y d : X X [0, +) definida por :
dp (x, y) =
n
X
i=1
| xi yi |p
! p1
Wilmer Barrera
Usando la desigualdad de Hlder se demuestra que dp es una mtrica sobre Rn y por lo tanto
(X, dp ) es un espacio mtrico.
Si p = 1 entonces d1 (x, y) =
n
P
i=1
n
X
i=1
| xi yi |2
! 12
d (x, y) = sup{| xi yi |: 1 i n}
Captulo 1 Preliminares
Ejemplo 1.7 : Sea X = R2 ,a R2 ,r > 0 y d : X X [0, +) la mtrica euclidia dada por:
d(x, y) =
2
X
i=1
| xi yi |2
! 21
Entonces tenemos que Bd (a, r) coincide con el interior del crculo de centro a y radio r > 0.
Definicin 1.8 Sea (X, d) un espacio mtrico. Un subconjunto U X se dice abierto en X si
para cualquier x0 U existe r = r(x0 ) > 0 tal que B(x0 , r) U.
Propiedades
A1 . X y son conjuntos abiertos.
A2 . Sea I un conjunto de ndices. Si Ui es abierto i I entonces U =
abierto.
Ui es un conjunto
iI
Ui es un conjunto
iI
n > k.
7
Wilmer Barrera
Este hecho lo denotaremos por lm d(xn , a) = 0 o lm xn = a.
n
1
.
n
Captulo 1 Preliminares
Ejemplo 1.23 : Consideremos el espacio mtrico ([1, +), | |) y sea f : [1, +) R una
funcin dada por:
1
f (x) = .
x
Es claro que esta funcin es decreciente en el dominio de definicin por lo tanto, la sucesin
definida por:
1
xn =
n
es montona decreciente.
Definicin 1.24 Sea {xn } una sucesin de un espacio mtrico (X, d).
Sean r1 , r2 , r3 rk , con rk , k N tales que r1 < r2 < r3 < rk < . Entonces se dice que
la sucesin {xrk } es una subsucesin de {xn }.
Propiedades
S1 . Si una sucesin es convergente entonces el lmite es nico.
S2 . Sea {xn } una sucesin en (X, d). Si {xn } converge a x X entonces toda subsucesin {xnk }
de {xn } converge a x.
S3 . Toda sucesin convergente es acotada.
S4 . Toda sucesin montona y acotada es convergente.
Ejemplo 1.25 : Sea X = R y d la mtrica usual de R. Consideremos la sucesin
xn = sen
+ n .
2
Entonces, las sucesiones:
xk
xp
+ 4k
=1
= sen
2
3 + 4p
= sen
= 1
2
k, p N
nN
Wilmer Barrera
Definicin 1.27 Sea (X, d) un espacio mtrico y {xn } X una sucesin. Se dice que {xn } 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(xn , xm ) <
Este hecho lo denotaremos por:
lm d(xn , xm ) = 0
n,m
Propiedades
1 . Toda sucesin convergente es de Cauchy.
2 . Toda sucesin de Cauchy es acotada.
3 . Sea {xn } una sucesin de Cauchy en (X, d). Si {xn } posee una subsucesin que converge a
un punto x0 X, entonces {xn } converge a x0 .
Ejemplo 1.28 : Sea X = R y d la mtrica usual de R. Consideremos la sucesin
1
xn = n n .
{xn } converge a 1 por lo tanto esta sucesin es de Cauchy.
Ejemplo 1.29 : Sea (R, | |) y consideremos la sucesin
1
xn = (1 + (1)n ).
2
Esta sucesin es divergente por lo tanto no es de Cauchy.
Definicin 1.30 Sea (X, d) un espacio mtrico. Se dice que (X, d) es un espacio mtrico completo
si para cualquier sucesin {xn } X de Cauchy se tiene que {xn } 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:
xn = 1
1
n
Esta sucesin converge al punto x0 = 1 6 (1, 1) por lo tanto, ((1, 1), | |) no es completo.
10
Captulo 1 Preliminares
Ejemplo 1.33 : Consideremos en el espacio mtrico (Q, | |) de los nmeros racionales la sucesin dada por:
x0
x1
x2
x3
x4
..
.
=
=
=
=
=
1,4
1,41
1,414
1,4142
1,41421
.
= ..
(1.1)
Lema 1.34 Sean (X, d) un espacio mtrico, {xn } X una sucesin y a < 1 tal que:
d(xn+1 , xn ) ad(xn , xn1 )
n N.
esto implica:
d(xn+1 , xn ) ad(xn , xn1 ) a2 d(xn1 , xn2 ) an d(xn(n1) , xn(n) )
d(xn+1 , xn ) an d(x1 , x0 ).
Ahora, sean m, n N con m n es decir, existe h N tal que m = n + h. Entonces:
d(xn , xn+h ) d(xn , xn+1 ) + d(xn+1 , xn+2 ) + d(xn+2 , xn+3 ) + + d(xn+h1, xn+h ).
an d(x0 , x1 ) + an+1 d(x0 , x1 ) + an+2 d(x0 , x1 ) + + an+h1d(x0 , x1 ).
= an d(x0 , x1 )(1 + a + a2 + a3 + + ah1 ).
an
(1 ah )d(x0 , x1 ).
=
1a
an
<
d(x0 , x1 )
(1.2)
1a
De (1.2),
an
d(x0 , x1 ) = 0
n 1 a
lm
11
Wilmer Barrera
Definicin 1.35 Sea (X, d) un espacio mtrico y K
SX. Se dice que una coleccin C = {(Ci )iI }
de conjuntos de X, es un cubrimiento de K, si K
Ci . Es decir, para cada x K existe i I
iI
tal que x Ci .
S
Si K
Ci con I I, entonces se dice que la coleccin C = {Ci : i I } es un subcubrimiento
iI
iI
Propiedades
K1 . Todo conjunto compacto es acotado.
K2 . Todo conjunto cerrado de un espacio compacto es compacto.
K3 . Si (X, d) es un espacio compacto entonces X es completo.
K4 . (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 finito de puntos claramente es
compacto.
Ejemplo 1.39 :
Consideremos el espacio mtrico (R, | |) y sea
1
+
K = {0}
:nZ
.
n
K es un conjunto es compacto.
Ejemplo 1.40 : El espacio mtrico (R, | |) no es compacto, pues el cubrimiento de R por conjuntos abiertos
C = {(n, n) : n Z}
no posee ningn subcubrimiento finito que cubra a R.
Definicin 1.41 Sean (X, d) y (Y, ) espacios mtricos y T : X Y una funcin. Entonces T
es una funcin:
1 . Continua en x0 X si
> 0 > 0, x X : d(x, x0 ) < (T (x), T (x0 )) < .
12
Captulo 1 Preliminares
2 . Continua en X si T es continua x X.
Ejemplo 1.42
1
, es continua pero no U.C.
x
Propiedades
Sean (X, d) , (Y, ) espacios mtricos y f : X Y una funcin U.C, entonces:
i) Si {xn } es una sucesin de Cauchy entonces {f (xn )} es una sucesin de Cauchy.
ii) Para cualesquiera par de sucesiones {xn } y {yn } en X,
lm d(xn , yn ) = 0 lm (f (xn ), f (yn )) = 0.
13
Wilmer Barrera
Observacin:
Toda aplicacin T : (X, d) (X, d), donde (X, d) es un espacio mtrico compacto es subsecuencialmente convergente.
Ejemplo 1.47 Sea X = [0, 1] R con d la mtrica usual de R, definamos T : X X dada por:
2
x,
si 0 x 12
T (x) =
1
x 2 , si 21 < 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 definida por:
T (x) = ex .
Entonces
i) T es una funcin continua en [0, +)
ii) T no es una funcin subsecuencialmente convergente ya que, T (n) = en 0 pero (n)
[0, +) no posee una subsucesin convergente.
14
2
Las funciones contracciones y las T-contracciones
En este captulo se dar la teora de las funciones contracciones, es decir, sus definiciones, ejemplos, relaciones y propiedades. De manera anloga, se estudiarn las funciones T-contracciones.
2.0.1.
Funciones Contracciones
Definicin 2.1 Sea (X, d) un espacio mtrico y S : X X una aplicacin arbitraria. Entonces:
C1 .- 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. Definimos S : X X dada por:
x
S(x) =
2
entonces:
i) S es una aplicacin continua.
ii) S es una B-Contraccin, ya que:
x
y
d(S(x), S(y)) =
2
2
1
= |xy |
2
1
= d(x, y)
2
1
d(x, y).
2
As, tomando a =
1
2
Wilmer Barrera
C2 .- Se dice que S es una aplicacin contrctil (E-contraccin), si para todo x, y X con x 6= y
se tiene:
(2.2)
Ejemplo 2.3 Sea X = [1, +) R, con la mtrica usual y S : X X una aplicacin definida
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| =
=
<
x y || x + y |
| x+ y |
1
|xy |
x+ y
1
|xy |
2
d(x, y).
|
x X.
(2.3)
Ejemplo 2.4 Sea X = [1, +) R, con la mtrica usual y S : X X una aplicacin definida
por:
x
S(x) = .
2
i) S es una aplicacin continua en X.
ii) S es un operador de Banach, ya que
x x
1
x
d(S(x), S (x)) = =
x
2 4
2
2
1
d(x, S(x)).
2
2
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
1
b 0,
2
1
+ y+
2
1
1
= b[d(x, S(x)) + d(y, S(y))], b 0,
.
2
2
d(S(x), S(y)) =| 0 12 |= 12 .
d(x, S(x)) = | x | 0.
d(y, S(y)) =| y + 12 | 52 .
Por lo tanto:
d(S(x), S(y))
1
5
1
[d(x, S(x)) + d(y, S(y))].
2
4
2
x, y X.
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.
C6 .- Se dice que S es un Operador de Zamfirescu (Z-Operador), si existen a, b, c R con a (0, 1)
y b, c (0, 12 ) tal que x, y X se cumple al menos una de las siguientes condiciones:
Z1 . d(S(x), S(y)) ad(x, y).
b
2b
d(x, y) +
d(x, S(x)).
1b
1b
x, y X
d(S(x), S(y))
b
2b
d(x, y) +
d(y, S(y)).
1b
1b
x, y X
d(S(x), S(y))
b
2b
d(x, y) +
d(x, S(y)).
1b
1b
x, y X
d(S(x), S(y))
2b
b
d(x, y) +
d(y, S(x)).
1b
1b
x, y X
c
2c
d(x, y) +
d(x, S(x)).
1c
1b
x, y X
d(S(x), S(y))
c
2c
d(x, y) +
d(y, S(y)).
1c
1c
x, y X
d(S(x), S(y))
c
2c
d(x, y) +
d(x, S(y)).
1c
1c
x, y X
d(S(x), S(y))
c
2c
d(x, y) +
d(y, S(x)).
1c
1c
x, y X
19
Wilmer Barrera
Demostracin: Sean x, y X. Como S es una contraccin de Chatterjea existe c [0, 12 ) 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))
c
2c
d(S(x), S(y))
d(x, y) +
d(x, S(x)).
1c
1c
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))
2c
c
d(x, y) +
d(y, S(y)).
d(S(x), S(y))
1c
1c
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))
c
2c
d(S(x), S(y))
d(x, y) +
d(x, S(y)).
1c
1c
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))
c
2c
d(S(x), S(y))
d(x, y) +
d(y, S(x)).
1c
1c
20
Sean x, y X. Entonces:
d(S(x), S(y))
d(S(x), S(y))
x, y X
21
Wilmer Barrera
2.1.
C1 C2
C3
x
.
2
(2.4)
x
2
C1 ; C4
C1 ; C5
C1 C6
C7
y
= x y
xy
1
= (x y) 1
xy
1
.
= | x y | 1
xy
Afirmacin:
1
1 < 1.
xy
En efecto,
por lo tanto
(2.5)
x, y 1
1
0<
1
xy
1
0>
1
xy
1
1>1
0
xy
1
1 < 1.
xy
(2.6)
1
| x y | 1 < d(x, y)
xy
Nota:
1
lm 1 = 1, entonces para todo a < 1 existen x0 , y0 X tal que
x,y
xy
1
1 x0 y0 > a.
23
Wilmer Barrera
B13 .- 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
1
| x y | 1 a | x y |
xy
1
1 a
xy
Esta ltima desigualdad contradice la nota anterior, por lo tanto :
C2 ; C1 .
x
, x [1, 1],
2
verifica la condicin de B-contraccin y por (A1 ) es contrctil, ahora por (A3 ) S no es
K-contraccin.
x
B4 .- S no necesariamente es una C-contraccin ya que, la funcin S(x) = , x [1, 1]
2
es B-contraccin y por (A1 ) es contractil, luego por (A4 ) S no es C-contraccin.
De B3 y B4 se tiene que:
C2 ; C4
C2 ; C5 .
24
C3 ; C1
C3 ; C2 .
x
x [1, 1] es una
2
B-contraccin, luego por la parte (A2 ) S es un operador de Banach y por (B3 ) no es
una K-contraccin.
C3 ; C4
C3 ; C5 .
S
S
S
S
0, si 0 x 12
4
, si 12 < x 1
5
es un operador de Banach.
es una funcin discontinua por lo tanto, no es B-contraccin.
no es una K-contraccin y se verifica tomando x = 0 y y = 1.
no es una C-contraccin y se verifica tomando x = 21 y y = 1000
.
1999
C4 ; C1
C4 ; C2 .
Wilmer Barrera
D4 .- S no necesariamente es una C-contraccin ya que la funcin S(x) = x2
5
x [1, 1] verifica la condicin de Kannan y se demuestra para c = 12
,y=1y
x = 1 que S no es de Charttejea, es decir:
C4 ; C5 .
D5 .- Es claro que toda aplicacin de Kannan es un Z-Operador.
C5 ; C1
C5 ; C2 .
0,
si x 2
21 , si x > 2
F11 .- S es de Kannan.
F12 .- De (F11 ) y (D5 ) se concluye que S es un Z-Operador.
F13 .- S no es una B-contraccin ya que, es discontinua.
26
C6 ; C1
C6 ; C2 .
C6 ; C4
C6 ; C5 .
S no es continua.
S es de Kannan.
Por la parte (D5 ) S es un Z-Operador.
Por la parte (F6 ) S es un (, L)-Operador y por (G11 ) no es B-contraccin.
C7 ; C1
C7 ; C2 .
Wilmer Barrera
G43 .- Por (F6 ), S es un (, L)-Operador.
G44 .- Por (E4 ), S no es de Kannan.
C7 ; C4
C7 ; C5 .
2.1.1.
Funciones T-Contracciones
x, y X.
(2.7)
x X.
(2.9)
S(x) = 2 x.
d(S(x), S(y)) = | 2 x 2 y | =
=
x y || x + y |
| x+ y |
2
| xy |
x+ y
|xy |
d(x, y).
|
T (x) = x
y
S(x) =
.
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 = 22 y y =
2 2
2
3
5
2
2
d(S(x), S(y)) =
= .
2
2 2 2
2
3
1
d(x, y) = = .
2
2
2
3
2
tenemos:
(2.10)
(2.11)
As, de (2.10) y (2.11) tenemos que d(S(x), S(y)) > d(x, y).
2
2
x
y
2
2
1 2
|x y 2 |
2
|x2 y 2 |
d(T x, T y).
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 definidas por:
1
T (x) = 1 +
y
S(x) = 2x.
x
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:
1
1
1
1
1
2
1+
=
1+
1+
d(T S(x), T S (x)) = 1 +
2x
4x
2
x
2x
1
=
| T (x) T S(x) |
2
1
d(T (x), T S(x)).
2
A continuacin de manera anloga tenemos las siguientes definiciones:
C4T .-
Se dice que S es una T-contraccin de Kannan (TK-contraccin), si existe b [0, 21 ) tal que:
d(T S(x), T S(y)) b[d(T (x), T S(x)) + d(T (y), T S(y))],
x, y X.
(2.12)
=
d(T S(x), T S(y))
2
2
x
y
4
4
1 2
|x y 2 |
4
13 2
[|x | + |y 2|]
3 4
1 2 x2 2 y 2
x + y
3
4
4
1
[d(T x, T S(x)) + d(T y, T Sy)].
3
30
x, y X.
(2.13)
En las siguientes proposiciones se refleja una propiedad que cumplen las aplicaciones de T-Kannan,
T-Chatterjea y T-Zamfirescu, 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 T S satisface las siguientes propiedades:
i) Existe b [0, 21 ) tal que
b
2b
d(T (x), T (y)) +
d(T (x), T S(x)).
1b
1b
x, y X
b
2b
d(T (x), T (y)) +
d(T (y), T S(y)).
1b
1b
x, y X
b
2b
d(T (x), T (y)) +
d(T (x), T S(y)).
1b
1b
x, y X
b
2b
d(T (x), T (y)) +
d(T (y), T S(x)).
1b
1b
x, y X
Wilmer Barrera
Nuevamente por desigualdad triangular se tiene:
d(T S(x), T S(y)) b[d(T (x), T (y)) + d(T (y), T S(y)) + d(T S(y), T S(x)) +
d(T (y), T S(y))]
bd(T (x), T (y)) + 2bd(T (y), T S(y)) + bd(T S(x), T S(y))
(1 b)d(T S(x), T S(y)) bd(T (x), T (y)) + 2bd(T (y), T S(y))
b
2b
d(T S(x), T S(y))
d(T (x), T (y)) +
d(T (y), T S(y)).
1b
1b
ii) Usando desigualdad triangular se tiene:
d(T S(x), T S(y)) b[d(T (x), T S(y)) + d(T S(y), T S(x)) + d(T (y), T (x)) +
d(T x, T S(y))]
bd(T (x), T (y)) + 2d(T (x), T S(y)) + bd(T S(x), T S(y))
(1 b)d(T S(x), T S(y)) bd(T (x), T (y)) + 2bd(T (x), T S(y))
b
2b
d(T (x), T (y)) +
d(T (x), T S(y)).
d(T S(x), T S(y))
1b
1b
d(T S(x), T S(y)) b[d(T (x), T (y)) + d(T (y), T S(x)) + d(T (y), T S(x)) +
d(T S(x), T S(y))]
bd(T (x), T (y)) + 2bd(T (y), T S(x)) + bd(T S(x), T S(y))
(1 b)d(T S(x), T S(y)) bd(T (x), T (y)) + 2bd(T (y), T S(x))
b
2b
d(T S(x), T S(y))
d(T (x), T (y)) +
d(T (y), T S(x)).
1b
1b
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 T S satisface las siguientes propiedades:
i) Existe c [0, 21 ) tal que:
c
2c
d(T (x), T (y)) +
d(T (x), T S(x)).
1c
1b
x, y X
2c
c
d(T (x), T (y)) +
d(T (y), T S(y)).
1c
1c
x, y X
c
2c
d(T (x), T (y)) +
d(T (x), T S(y)).
1c
1c
x, y X
c
2c
d(T (x), T (y)) +
d(T (y), T S(x)).
1c
1c
x, y X
32
Proposicin 2.18 Sean (X, d) un espacio mtrico y S, T : X X dos funciones tales que, S
sea un T Operador de Zamfirescu. Entonces existe (0, 1) tal que T S satisface lo siguiente
x, y X:
i) d(T S(x)T S(y)) d(T (x), T (y)) + 2d(T (x), T S(x)).
ii) d(T S(x), T S(y)) d(T (x), T (y)) + 2d(T (y), T S(y)).
iii) d(T S(x), T S(y)) d(T (x), T (y)) + 2d(T (x), T S(y)).
iv) d(T S(x), T S(y)) d(T (x), T (y)) + 2d(T (y), T S(x)).
Demostracin:
Sean x, y X. Entonces
x, y X.
(2.14)
33
Wilmer Barrera
Ejemplo 2.19 Sea X = [0, 1] R, con la mtrica inducida por R y T, S : X X dos aplicaciones definidas por:
S(x) =
x
,
2
si 0 x < 1
0, si x = 1
T (x) =
0, si 0 x < 1
x
, si x = 1
2
2.2.
34
3
Resultados clsicos de la teora mtrica del punto fijo
En este captulo se estudiarn los teoremas clsicos del punto fijo en espacio mtricos para
aplicaciones con alguna propiedad contractiva y sus respectivas demostraciones.
En lo que sigue FS denotar el conjunto de puntos fijos de la funcin S.
3.1.
3.1.1.
Teorema 3.1 Sean (X, d) un espacio mtrico completo y S : X X una B-contraccin. Entonces
se tiene que:
i) Para todo x0 X y xn = S n (x0 ), existe z X tal que lm xn = z.
n
ii) FS = {z}
iii) d(xn , z)
an
d(x0 , x1 ).
1a
iv) d(xn+1 , z)
a
d(xn+1 , xn ).
1a
v) d(xn+1 , z) ad(xn , z)
Demostracin: Esta demostracin ser constructiva.
(i) Sea x0 X y consideremos la sucesin:
x1 = S(x0 ) , x2 = S(x1 ) , x3 = S(x2 ) , x4 = S(x3 ) , x5 = S(x4 ) , . . . , xn+1 = S(xn )
35
(3.1)
Wilmer Barrera
Es decir, xn = S n (x0 ). Mostremos que {xn } es una sucesin de Cauchy.
Para ello, usando (3.1) y el hecho de que S es una B-contraccin se tiene:
d(x1 , x2 )
d(x2 , x3 )
d(x3 , x4 )
d(x4 , x5 )
=
=
=
=
nN
(3.2)
an
d(x0 , x1 ).
1a
(3.4)
d(xn , z)
an
d(x0 , x1 ).
1a
36
=
=
=
=
n N.
(3.5)
1a
As:
d(xn+1 , xn+m+1 )
a
d(xn , xn+1 ).
1a
(3.6)
a
d(xn , xn+1 ).
1a
(v)
d(xn+1 , z) = d(S(xn ), S(z)) ad(xn , z).
3.1.2.
37
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 S n (x) = q existe.
n
hn
ii.- d(S (x), q)
d(x, S(x)).
1h
n
iii.- q es un punto fijo 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)) h2 d(x, S(x)).
As, de manera inductiva
d(S n (x), S n+1 (x)) hn 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)) hn d(x, xS(x)) + hn+1 d(x, S(x)) + + hn+p1 d(x, S(x))
hn d(x, S(x))[1 + h + h2 + + hp1 ]
hn
1h
hn
d(S n (x), S n+p (x))
d(x, S(x)).
1h
(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 S n (x) = q.
n
As,
lm S n (x) = q
n
hn
d(x, S(x)).
1h
38
3.1.3.
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:
(3.8)
Es decir, xn = S n (x0 ).
Dado que el espacio (X, d) es compacto, la sucesin {xn } posee una subsucesin convergente es
decir, existe {xnk } {xn } y z X tal que lm xnk = z. Como S es contractiva entonces por
k
lm d(xn+1 , xn+2 )
lm d(S(xn ), S 2 (xn ))
= d(S(z), S 2 (z)).
Es decir, d(z, S(z)) = d(S(z), S 2 (z)).
Si z 6= S(z) entonces:
d(z, S(z)) = d(S(z), S(S(z))) < d(z, S(z))
().
().
39
Wilmer Barrera
3.1.4.
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:
(3.9)
b<
1
b
b+b<1
<1
2
1b
(3.10)
As, de (3.9) , (3.10) y usando el lema (1.34) se tiene que la sucesin {xn } es de Cauchy.
Por la completitud del espacio X, existe z X tal que lm xn = z.
n
Ahora:
d(z, S(z))
(1 b)d(z, S(z))
1b
1b
(3.11)
3.1.5.
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:
(1 c)d(xn+1 , xn )
(3.12)
c
< 1, por el lema (1.34) se tiene que {xn } es una
1c
sucesin de Cauchy.
As, dado que el espacio X es completo, existe z X tal que lm xn = z.
n
d(z, S(z))
(1 c)d(z, S(z))
Afirmacin:
1
2
(3.13)
1+c
< 3.
1c
1+c
<3
1c
(3.14)
c
d(xn , z)
1c
(3.15)
41
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))
(1 2c)d(z, y)
(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 3.7 Sea (X, d) un espacio mtrico completo y S : X X una aplicacin de Zamfirescu.
Entonces existe un nico z X tal que S(z) = z.
Demostracin:
a < 1.
b < 21 .
c < 21 .
b
c
Por la proposicin (2.10) existe (0, 1) con = max a, 1b
, 1c
tal que
(3.17)
(3.18)
(3.19)
3.1.7.
(3.20)
Luego, como < 1 en la desigualdad (3.20) se tiene del lema (1.34) que xn = S(xn1 ) es una
sucesin de cauchy. En vista de que el espacio es completo, existe z X tal que lm xn = z.
n
d(z, S(z))
(3.21)
Wilmer Barrera
44
4
Teoremas del punto fijo para las aplicaciones
T-contracciones
Este captulo forma parte de la idea central de este trabajo especial de grado, aqui se desarrrollarn los teoremas del punto fijo para las funciones T-contracciones.
4.1.
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 fijo q, adems, si T es secuencialmente convergente se
tiene que para cualquier x0 X, la sucesin {S n x0 } converge a q.
Demostracin:
(4.1)
Luego como a < 1, por el lema (1.34) se tiene de (4.1), que la sucesin {T S n (x0 )} es de cauchy.
Por ser X un espacio mtrico completo, existe u X tal que lm T S n (x0 ) = u. Por otra parte,
n
(4.2)
Por lo tanto,
T (q) = u
45
(4.3)
Wilmer Barrera
Luego, como T y S son continuas se tiene respectivamente:
lm T S(S nk (x0 ) = T S(q)
(4.4)
(4.5)
T S(q) = u
As, de (4.6) y (4.3) tenemos:
T S(q) = T (q)
4.2.
(4.7)
Ahora, sea {xnk } {xn } una subsucesin arbitraria y supongamos que converge a y X.
De la continuidad de T se tiene que
lm T S(xnk ) = T (y)
(4.8)
Esto implica de (4.7) y (4.8) que T S(x) = T (y) y como T es inyectiva, se concluye que
S(x) = y por lo tanto, lm S(xn ) = S(x).
n
46
().
S(q) = q
Unicidad.- Supongamos que existe z X tal que S(z) = z. Es claro que
T S(q) = T (q) y T S(z) = T (z). Si T (q) 6= T (z) entonces:
d(T (q), T (z)) = d(T S(q), T S(z)) < d(T (q), T (z))
().
(4.10)
(4.11)
(4.12)
47
Wilmer Barrera
Por otro lado, si S(w) 6= q entonces de (4.10), (4.12) y (4.9) se obtiene:
a = lm d(T S n (x0 ), T (q)) = lm d(T S nk +1 (x0 ), T (q)) = d(T S(w), T (q))
n
(4.13)
(4.14)
(4.15)
(4.16)
Es decir
lm S n (x0 ) = q.
4.3.
Teorema 4.3 Sean (X, d) un espacio mtrico completo y S y T dos aplicaciones tales que, T sea
continua, inyectiva y subsecuencialmente convergente. Si S es un T-Operador de Banach continua
entonces:
B1 . lm T S n (x) = q existe.
n
B2 . d(T S n (x), q)
hn
d(T (x), T S(x)).
1h
48
(4.17)
Por lo tanto {T S n (x)} es una sucesin de cauchy, y como el espacio es completo, existe q X tal
que
lm T S n (x) = q.
(4.18)
(4.19)
(4.20)
T (y) = q.
(4.21)
(4.22)
49
Wilmer Barrera
De (4.22) por continuidad de T se tiene:
lm T S nk +1 (x) = T S(y).
(4.23)
T S(y) = q = T (y).
(4.24)
4.4.
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:
K1 . lm T S n x0 = v existe.
n
K2 . FS = {y}.
K3 . d(T S n x0 , T y)
n
b
d(T Sx0 , T x0 ), donde =
.
1
1b
K4 . lm S n (x0 ) = y, x0 X.
n
Demostracin:
n N. Entonces
(4.25)
b
se prueba:
1b
(4.26)
b
< 1 entonces de (4.25) y el lema (1.34) se tiene que la sucesin {T S n (x0 )} es de
1b
Cauchy. Por ser el espacio X completo, existe v X tal que lm T S n (x0 ) = v. Esto demuestra
Como
50
(4.27)
T S(y) = T (y).
d(T (z), T (y)) = d(T S(z), T S(y)) b[d(T (z), T S(z)) + d(t(y), T S(y))]
= bd(T (z), T (z)) + bd(T (y), T (y))
d(T (z), T (y)) 0.
(4.29)
y = z.
Esto demuestra (K2 ).
Para probar (K3 ), sean n, p N. De (4.26) se tiene:
Wilmer Barrera
4.5.
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:
C1 . lm T S n x0 = u existe.
n
C2 . FS = {z}.
C3 . d(T S n x0 , T z)
n
c
d(T Sx0 , T x0 ), donde =
.
1
1c
C4 . lm S n (x0 ) = z, x0 X.
n
(4.31)
(4.32)
c
< 1, usando el lema (1.34) se tiene que {T S n (x0 )} es una sucesin de
1c
Cauchy. Como el espacio X es completo, existe u X tal que lm T S n (x0 ) = u. Esto prueba
De (4.31) y como
(C1 ).
De esto y como T es secuencialmente convergente, existe z X tal que:
lm S n (x0 ) = z.
(4.33)
52
(4.35)
=
=
(1 2c)d(T (w), T (z))
De (4.36) y en vista de que c <
(4.36)
1
se obtiene:
2
T (w) = T (z).
(4.37)
n
d(T Sx0 , T x0 ).
1
53
Wilmer Barrera
4.6.
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 Zamfirescu,
entonces:
Z1 . lm T S n x0 = w existe.
n
Z2 . FS = {z}.
Z3 . d(T S n x0 , T z)
n
d(T Sx0 , T x0 ).
1
Z4 . lm S n (x0 ) = z, x0 X.
n
Demostracin:
En efecto, como S es un T-Operador de Zamfirescu de la proposicin (2.18) se tiene que, para
todo x, y X se cumple:
d(T S(x), T S(y)) d(T (x), T (y)) + 2d(T (x), T S(y))
d(T S(x), T S(y)) d(T (x), T (y)) + 2d(T (x), T S(x))
(4.39)
(4.40)
=
n+1
n
d(T S (x0 ), T S (x0 )) =
(4.42)
En vista de que < 1 entonces por el lema (1.34) se tiene de (4.41) que {T S n (x0 )} es una sucesin
de Cauchy, y como X es una espacio mtrico completo, existe w X tal que lm T S n (x0 ) = w.
n
(4.43)
De (4.40) se tiene:
d(T (z), T S(z)) d(T (z), T S n+1 (x0 )) + d(T S n+1(x0 ), T S(z))
d(T (z), T S n+1 (x0 )) + d(T S(S n(x0 )), T S(z))
d(T (z), T S n+1 (x0 )) + d(T S n (x0 ), T (z)) +
2d(T (z), T S n+1(x0 ))
(4.44)
54
(4.45)
n
d(T Sx0 , T x0 ).
1
55
Wilmer Barrera
4.7.
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:
O1 . lm T S n x0 = x existe.
n
O2 . FS 6= .
O3 . d(T S n x0 , T q)
n
d(T Sx0 , T x0 ).
1
O4 . lm S n (x0 ) = q, x0 X.
n
(4.48)
Usando el lema (1.34) en (4.47) se tiene que {T S n (x0 )} es una sucesin de Cauchy. Luego, en
vista de que el espacio X es completo, se tiene que existe x X tal que: lm T S n (x0 ) = x. Esto
n
demuestra (O1 ).
Por otro lado como T es secuencialmente convrgente, existe q X tal que
lm S n (x0 ) = q.
(4.49)
n
d(T Sx0 , T x0 ).
1
57
Wilmer Barrera
58
Bibliografa
[1] A.Beiranvand, S.Moradi, M.omid and H.pazandeh, two fixed point theorems for special functions, arXiv:0903.1504v1 [math.Fa],Mar 2009
[2] S.K Chatterjea, Fixed point Theorem, C.R:Acad. Bulg. Sci. 25.(1972),727-730.
[3] R. Kannan, some results on fixed points, bull. Calcu. Math. Soc. 60,(1968), 71-76.
[4] S.Moradi, Kannan fixed point Theorem on complet metric spaces and on generalized metric
spaces depended an another function, arXiv:0903.1577v1.[math.FA] 9 Mar.2009
[5] T.Zamfirescu, Fixed point theorems in metric spaces, Arch.Math. 23,(1972),292-298.
[6] V.Berinde, Iterative Approximation of fixes points, Lecture Notes in Mathematics Vol. 1912,
2007.
59