Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Merida-Venezuela
Mayo, 2008
Indice general
Introducci
on
1. Preliminares
7
1.1. Espacios Metricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2. Contracciones y Puntos fijos . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2. El teorema de Ramsey
15
2.1. Demostracion del teorema de Ramsey . . . . . . . . . . . . . . . . . . . . . 15
2.2. Una aplicacion a la teora de grafos . . . . . . . . . . . . . . . . . . . . . . 18
3. Generalizaci
on del principio de la contracci
on de Banach
21
4. A manera de conclusi
on
31
Bibliografa
39
INDICE GENERAL
Introducci
on
El principio de contraccion de Banach establece que una contraccion en un espacio
metrico completo tiene un u
nico punto fijo. Claramente el hecho de que la funcion sea una
contraccion implica que la funcion es continua, mas a
un, es uniformemente continua. Una
vez dicho lo anterior, cabe plantearnos las siguientes preguntas Que pasara si debilitamos
la hipotesis con respecto al hecho de que la funcion sea contraccion? Habra una condicion
mas debil que garantice la existencia de un u
nico punto fijo? Precisamente la respuesta a
esta pregunta es lo que se conoce como la generalizacion del principio de contraccion de
Banach el cual enunciaremos a continuacion.
Teorema: (Generalizacion del principio de contraccion de Banach (GPCB))
Sea (X, d) un espacio metrico completo con X 6= , y sea T : X X una aplicacion.
Dado 0 < M < 1, y J un entero positivo, supongamos que para cada par de puntos
x, y X
mn {d(T k x, T k y) : 1 k J} M d(x, y).
Entonces T tiene un punto fijo.
El objetivo de este trabajo es demostrar la generalizacion del pricipio de contraccion
de Banach cuando la funcion T es continua siguiendo la demostracion del artculo [3].
Para ello una de las herramientas principales que usaremos es una consecuencia directa
de uno de los teoremas fundamentales en la Teora Combinatoria, el Teorema de Ramsey
que establece lo siguiente:
Sea A un conjunto infinito. Sea k N. Si partimos el conjunto de todos los subconjuntos de A que tienen exactamente n elementos en k clases, entonces existe H A, H
infinito tal que todos los subconjuntos de H que tienen n elementos estan en una misma
clase.
Con la finalidad de presentar nuestro objetivo de forma clara al lector, el trabajo ha
sido dividido en cuatro captulos para facilitar su compresion.
Un resumen de lo que se vera a continuacion es lo siguiente:
5
INDICE GENERAL
Captulo 1
Preliminares
Este captulo consta de dos secciones. En la primera seccion se hara referencia a
algunas definiciones y resultados que seran necesarios para el desarrollo de este trabajo.
Los resultados de esta seccion estan presentados sin sus respectivas demostraciones ya que
son resultados clasicos del analisis y la topologa. Los interesados en dichas demostraciones
pueden consultar cualquier libro sobre el tema, por ejemplo [8] o [3].
En la segunda seccion abordaremos una parte de lo que encierra la teora del punto
fijo para una funcion de un espacio metrico en s mismo, y en consecuencia enunciaremos
y demostraremos algunos de los resultados clasicos de esta teora como es el Principio de
Contraccion de Banach.
1.1.
Espacios M
etricos
Definici
on 1.1 Sean X un espacio vectorial real y k k : X R una funci
on. Se dice
que k k es una norma sobre X si se cumple las siguientes condiciones:
1. kxk 0 y kxk = 0 x = 0
2. kxk = ||kxk,
x X
RyxX
3. kx + yk kxk + kyk,
x, y X
x, y X
7
CAPITULO 1. PRELIMINARES
8
2. d(x, y) = d(y, x),
x, y X
x, y, z X
Definici
on 1.3 Sea X un espacio metrico. A X es acotado si existe M 0 tal que
d(x, y) M x, y A.
Proposici
on 1.4 Las siguientes condiciones son equivalentes:
1. A es acotado
2. Para cada x0 X existe M 0 (dependiente de x0 ) tal que d(x, x0 ) M , x A
3. Existe x0 X y M 0 tales que d(x, x0 ) M
Proposici
on 1.5 Sea X un espacio normado con norma x kxk. Entonces A X es
acotado (en la metrica inducida) si y s
olo si existe M 0 tal que kxk M para cada
x A.
Definici
on 1.6 Sea (X, d) un espacio metrico. Diremos que una sucesi
on {xn } en X es
convergente a un elemento x0 X si para cada > 0 existe un entero N 0 tal que:
d(xn , x0 ) < ,
si
n>N
Definici
on 1.7 La composicion f , de una sucesi
on f : N X con una funcion
estrictamente creciente : N N ser
a llamada una subsucesi
on de f. Si denotamos
a f por {xn }n , entonces f es denotada por {X(n) }. La notaci
on usual para f es
{Xnk }k , donde nk = (k).
1.1. ESPACIOS METRICOS
j=1
on de Cauchy.
gente, entonces {aj }
j=1 es una sucesi
Demostraci
on Sea Sn =
n
X
j=1
j=1
d(aj , aj+1 )
j=1
es convergente. Llamemos S el n
umero de convergencia, as
Sn S cuando n .
Sea > 0, N N tal que S Sn < , si n N . Luego, S Sn =
j=n+1
d(aj , aj+1 )
j=n+1
CAPITULO 1. PRELIMINARES
10
1.2.
Definici
on 1.14 Sea T : X X una aplicaci
on de un conjunto en si mismo. Se dice
que x X es un punto fijo de la aplicaci
on T si T x = x .
Definici
on 1.15 Sea (X, d) un espacio metrico y T : X X una aplicaci
on arbitraria.
Entonces se dice que T es una contracci
on de Banach (Bcontracci
on) si existe M
R, 0 < M < 1 tal que para todo x, y X.
d(T x, T y) M d(x, y)
Observaci
on: Geometricamente esto quiere decir que al aplicar T a cualesquiera dos
puntos del espacio se obtiene dos puntos que estan mas cerca entre si que los puntos
originales donde el factor de acercamiento es igual para todos los pares. Claramente una
funcion que sea Bcontraccion es una funcion uniformemente continua.
Definici
on 1.16 Se dice que T es una aplicaci
on contractil, (Econtracci
on) si para
cada x, y M, (x 6= y)
d(T x, T y) < d(x, y)
Definici
on 1.17 Sea {xn } una sucesi
on en un espacio metrico (X, d). Decimos que {xn }
es una sucesion contraccion, si para alg
un 0 < < 1, se tiene que d(xn+1 , xn ) <
d(xn , xn1 ), para cualquier ndice natural n 2.
Proposici
on 1.18 (Propiedad de las contracciones)
Si {xn } es una sucesion contracci
on de constante , se cumplen las siguientes desigualdades:
1. Comparando dos terminos consecutivos con los dos primeros terminos
d(xn+1 , xn ) n1 d(x2 , x1 ),
n 2
n1
d(x2 , x1 ),
1
11
As, d(xm , xn )
n1
1 mn
1
d(x2 , x1 )
n1
d(x2 , x1 ).
1
Proposici
on 1.19 Toda sucesion que es contracci
on es una sucesi
on de Cauchy
CAPITULO 1. PRELIMINARES
12
Demostraci
on Si {xn } es una contraccion, entonces existe 0 < < 1 que cumple,
d(xn+1 , xn ) d(xn , xn1 ), para cada ndice n 2
Dado > 0, debemos mostrar que existe N N : d(xm , xn ) < si n, m N
De la proposicion 1.18 en 2 tenemos
d(xm , xn ) <
Como la sucesion
n1
d(x2 , x1 ) para cada ndice m > n.
1
n1
d(x2 , x1 ) 0, existe un ndice natural N que cumple,
1
n1
d(x2 , x1 ) < , para cada ndice n N.
1
p1
d(x2 , x1 ) < ,
1
es decir, {xn } es de Cauchy.
Los llamados Teoremas de punto fijo son aquellos que garantizan, bajo ciertas condiciones, la existencia de alg
un punto fijo de una funcion. Hay varios de estos teoremas,
y muy diferentes entre si, uno de ellos es el Principio de Contraccion de Banach, cuyas
aplicaciones son notables en la mayora de los teoremas de existencia, tales como los de la
funcion inversa y la funcion implcita, soluciones de ecuaciones diferenciales e integrales
de diversa especie. A continuacion enunciaremos y demostraremos ese principio.
As para cada par de ndices p, q N, si p < q se tiene d(xq , xp ) <
13
En efecto,
de donde
x, y X
CAPITULO 1. PRELIMINARES
14
Demostraci
on Designemos por g = f n . Existe un n
umero real M con 0 < M 1, tal
que
d(g(x), g(y)) M (x, y),
x, y X
2x si x 0
f (x) =
x/4 si x < 0
|f (x) f (y)| = | 2x + 2y| = 2|x y| si x, y > 0
As queda claro que, d(f (x), f (y)) = 2d(x, y), x, y R, x, y > 0
Por lo tanto f no es una contraccion. Por otro lado tenemos que
2f (x) si f (x) 0
f (f (x)) =
Captulo 2
El teorema de Ramsey
En este captulo demostraremos uno de los teoremas mas importantes de la teora
combinatoria y luego una de sus aplicaciones a la teora de grafos. Para obtener mas
informacion sobre este tema se puede consultar [1] o [2].
2.1.
Demostraci
on del teorema de Ramsey
k
[
i=1
16
Proposici
on 2.3 Sea A un conjunto infinito, n, k N, 2 n 1, k 2 para toda
[2]
C : A {1, . . . , k} existe B A, B infinito tal que C es constante en B [2] .
Demostraci
on
k
[
{a A{a1 } : C({a, a1 }) = j}
j=1
Por el principio de las casillas, existe i {1, . . . , k} tal que {a A{a1 } : C({a, a1 }) =
i} es un conjunto infinito.
Llamemos B1 = {a A {a1 } : C({a, a1 }) = i}.
Sea a2 B1 . Tomamos B1 {a2 } y dividamoslo en kpartes.
{a B1 {a2 } : C({a, a2 }) = 1}
{a B1 {a2 } : C({a, a2 }) = 2}
..
.
{a B1 {a2 } : C({a, a2 }) = k}
Por el mismo razonamiento anterior, i {1, . . . , k} tal que:
{a B1 {a2 } : C({a, a2 }) = i} es un conjunto infinito. Llamemos B2 a este conjunto.
De manera sucesiva podemos definir a1 , a2 , . . . , am y B1 , B2 , . . . , Bm
Sea am+1 Bm . Tomemos Bm {am+1 } y dividamoslo en k partes
{a Bm {am+1 } : C({a, am+1 }) = 1}
{a Bm {am+1 } : C({a, am+1 }) = 2}
..
.
{a Bm {am+1 } : C({a, am+1 }) = k}
17
l > m.
Dado m, sea j(m) {1, . . . , k} tal que l > m, C({am , al }) = j(m). Por el principio
de las casillas, existe {ani }
i=1 y 1 i0 k tal que i0 = j(ni ) para todo i.
Finalmente, poniendo B = {ani : i N}, tenemos que b B [2] , C(b) = i0 .
Teorema 2.4 (Teorema de Ramsey, [6])
Sea A un conjunto infinito. Para todo n, si C : A[n] {1, . . . , k} entonces existe
H A, H infinito, tal que C es constante en H [n] .
Demostraci
on Haremos la demostracion por induccion en n. Para n = 1 el enunciado
es el principio de las casillas, y el caso n = 2 se verifico en la proposicion anterior.
Supongamos que el teorema es valido para n. Queremos ver que dado
d : A[n+1] {1, . . . , k},
existe H A, tal que d es constante en H [n+1] .
Fijemos a0 A, y sea B0 = A {a0 }. Claramente B0 es un conjunto infinito.
Definamos una funcion b0 de la siguiente manera: b0 : B0 [n] {1, . . . , k}, y b0 (b) =
i d(b {a0 }) = i.
Por hipotesis inductiva, B1 B0 , infinito, tal que b0 es constante en B1 [n] .
Sea a1 B1 , claramente a1 6= a0 y B1 {a1 } es un conjunto infinito. Definamos una
funcion b1 de la siguiente manera:
b1 : (B1 {a1 })[n] {1, . . . , k} y b1 (b) = i d(b {a1 }) = i.
Por hipotesis inductiva B2 B1 , tal que b2 es constante en B2 [n] . Sea a2 B2 .
Supongamos que hemos definido a0 , a1 , . . . , am y B0 , B1 , . . . , Bm . Definamos bm : (Bm
{am })[n] {1, . . . , k} de la manera siguiente:
bm (b) = i d(b {am }) = i.
Por hipotesis inductiva, existe Bm+1 Bm {am } infinito tal que bm es constante en
(Bm+1 )[n] . Sea am+1 Bm+1
18
2.2.
Una aplicaci
on a la teora de grafos
Bk con
k=1
|Bk | = m, k y Bi Bj = si i 6= j
Supongamos ademas que, si {a, b} A entonces l, r N con l 6= r tal que a Bl y
b Br .
Supongamos tambien que, dados n bloques distintos Bi1 , . . . , Bin {a, b} A tal que
a Bik , b Bil para alg
un 1 k, l n, con k 6= l. Entonces existe un camino infinito en
G que no visita a un bloque mas de una vez.
A LA TEORIA DE GRAFOS
2.2. UNA APLICACION
19
Demostraci
on Enumeremos los bloques como B0 , B1 , . . ., y enumeremos los vertices de
cada bloque Bi como v(i, 1), v(i, 2), . . . , v(i, m).
Dados dos bloques Bi , Bj ; Como |Bi | = |Bj | = m, existen m2 formas de conectar un
elemento del bloque Bi con un elemento del bloque Bj . Por lo tanto tomaremos m2 colores
que podemos usar para colorear pares {x, y} N[2] .
Sea R = {(i, j) : 1 i, j m} {0}, un conjunto. Claramente |R| = m2 + 1.
Dados {x, y} N[2] , coloreamos {x, y} con alguno de los m2 + 1 colores como definiremos a continuacion.
Definamos la funcion h : N[2] R de la siguiente manera:
Dado {x, y} N[2] con x < y, si existe un par (i, j) tal que {v(x, i), v(y, j)} A,
ponemos h({x, y}) igual a uno de esos pares; en caso contrario, h({x, y}) = 0.
Por el Teorema de Ramsey para n = 2, existe un conjunto infinito H N tal que h
es constante en H [2] .
Claramente, el color constante no puede ser 0 pues esto contradice el hecho de que
dados n bloques, por lo menos hay dos de ellos que estan conectados, es decir hay un arco
formado por un elemento de uno de los bloques y un elemento de otro.
Luego, i, j : 1 i, j m tal que {a, b} H [2] , h({a, b}) = (i, j)
El conjunto H es infinito, listemos sus elementos en el orden natural,
H = {n1 , n2 , . . . }
Describimos un camino como el que queremos en el orden en que son recorridos los
vertices, con i, j.
v(n1 , i), v(n4 , j), v(n3 , i), v(n6 , j), v(n5 , i), v(n8 , j), v(n7 , i), . . .
En notacion mas general el camino esta dado por:
{{v(n2k+1 , i); v(n2k+4 , j)} : k = 0, 1, . . .} {v(n2k+1 , i); v(n2k+2 , j)} : k = 1, . . .}
Observaci
on: Note que si i = j, claramente
v(n1 , i), v(n2 , i), v(n3 , i), v(n4 , i), . . .
forman un camino infinito como el que queremos.
20
Captulo 3
Generalizaci
on del principio de la
contracci
on de Banach
En este captulo daremos la demostracion de una generalizacion del principio de la
contraccion de Banach para funciones continuas haciendo uso del resultado sobre grafos
del captulo 2. Para esto seguimos el artculo [4]
Lema 3.1 Sea (X, d) un espacio metrico, 0 < M < 1, J un entero, y sea T : X X
una aplicacion que satisface:
x, y X mn{d(T k x, T k y) : k = 1, 2, . . . , J} M d(x, y).
Entonces para todo x X existe una subsucesi
on acotada de {T n x : n = 1, 2, . . .},
ni
denotada por {T x : i = 1, 2, . . .} tal que ni+1 ni J.
Demostraci
on Sea x X. Sea c = max{d(x, T k x) : k = 1, 2, . . . , J}. Mostraremos que
podemos construir una sucesion de naturales, llamemosla {ni }
i=1 , y existe R R tales
que d(x, T ni x) < R.
Sea n1 = 1. Dado que 0 < 1 M < 1, claramente tendremos que: d(x, T x) c <
c
c
. Procediendo inductivamente, supongamos que: d(x, T ni x) <
.
1M
1M
k+ni
Por hipotesis tenemos que para alg
un 1 k J, d(T k x, T
x) M d(x, T ni x)
luego, si consideremos nuestra hipotesis inductiva, nos queda que para alg
un 1 k
k+ni
CM
k
ni
J, d(T x, T
x) M d(x, T x) <
1M
Por desigualdad triangular, se tiene:
21
T ni x
Tx
T ni +1 x
T 2 x T ni +2 x
..
..
.
.
T r x T ni +r x
..
..
.
.
T J x T ni +J x
23
Donde r es el valor tal que:
mn{d(T k x, T ni +k x) : 1 k J} = d(T r x, T ni +r x).
Llamemos qi1 = r. Consideremos el par (T qi1 x, T ni +qi1 x) y listemos sus primeras J
iteraciones:
T qi1 x
T ni +qi1 x
T qi1 +1 x T ni +qi1 +1 x
T qi1 +2 x T ni +qi1 +2 x
..
..
.
.
T qi1 +p x T ni +qi1 +p x
..
..
.
.
T qi1 +J x T ni +qi1 +J x
Donde p es el valor tal que:
mn{d(T qi1 +k x, T ni +qi1 +k x) : 1 k J} = d(T qi1 +p x, T ni +qi1 +p x).
Llamemos qi2 = qi1 + p. Consideremos el par (T qi2 x, T ni +qi2 x) y listemos tambien sus
primeras J iteraciones:
T qi2 x
T ni +qi2 x
T qi2 +1 x
T ni +qi2 +1 x
T qi2 +2 x
..
.
T ni +qi2 +2 x
..
.
T qi2 +m x T ni +qi2 +m x
..
..
.
.
T qi2 +J x
T ni +qi2 +J x
(3.1)
(3.2)
25
1. Si rk Bp , rk + sk , rk + tk N Q(Bp )
2. rk + tk = rk+1 + sk+1
3. rk + sk + J < rk+1 + sk+1
Si rk+1 Bh , por construccion tenemos que rk+1 + sk+1 N Q(Bh ). Como rk+1 , rk+2
forman un arco {rk+1 , rk+2 }, existen infinitos n tal que n = rk+1 + ns = rk+2 + nu . Fijemos
n > rk+1 + sk+1 + J con n = rk+1 + nx = rk+2 + nu .
Definimos tk+1 = nx , y sk+2 = nu . Luego, rk+1 + tk+1 N Q(Bh ), rk+1 + tk+1 =
rk+2 + sk+2 , y rk+1 + sk+1 + J < rk+2 + sk+2 .
De esta manera queda demostrado que podemos construir las subsucesiones {sj }
j=1 y
que
cumplen
con
las
propiedades
1,2,3.
de
la
sucesi
o
n
{n
}
{tj }
j j=1
j=1
Consideremos la secuencia de iterados con exponente rj + sj . Por como definimos
{sj }
j=1 , {tj }j=1 , tenemos que:
hrj + sj , rj+1 + sj+1 i = hrj + sj , rj + tj i
Notemos que si tenemos hq, ni + qi R0 Qq y hq, nj + qi R0 Qq para i 6= j, por la
desigualdad triangular tendremos que:
hni + q, nj + qi hni + q, qi + hq, nj + qi 2R0 Qq
(3.3)
27
j=1
2R0 Qrj .
j=1
j=1
j=1
sj+1 i es convergente.
Para todo j, llamemos mj = rj +sj ; luego, como
j=1
mj
x}
j=1
d(T mj x, T mj+1 x)
j=1
T mj x z cuando j .
Dado que T es continua, para 1 i J se tiene que T mj +i x T i z. Definamos
Li = T i z para 0 i J.
Mostraremos que Li+1 = Li para alg
un i < J, pues dado que T (Li ) = Li+1 , entonces
quedara demostrado que Li es un punto fijo de T.
Consideremos al par (T x, x), aplicando la hipotesis de la GPCB, k1 N, 1 k1 J
tal que,
d(T k1 +1 x, T k1 x) M d(T x, x)
A continuacion, consideremos al par (T k1 +1 x, T k1 x), aplicando nuevamente la hipotesis
de la GPCB, k2 N, 1 k2 J tal que
d(T k2 +k1 +1 x, T k2 +k1 x) M d(T k1 +1 x, T k1 x),
usando la desigualdad anterior, nos queda:
d(T k2 +k1 +1 x, T k2 +k1 x) M 2 d(T x, x)
Continuando de esta manera obtenemos una sucesion k1 , k2 , . . ., tal que i, 1 ki J
haciendo induccion sobre l, se tiene que:
d(T
l
P
t=1
kt )+1
l
P
x, T
t=1
kt
x) M l d(T x, x),
Sea {mj }
j=1 como definimos anteriormente
l N.
P1
X
kt m1 . Sea i1 =
P1
X
t=1
P1
X
t=1
P1
P
t=1
kt )+1
P1
P
kt
x, T t=1 x)
t=1
M P1 d(T x, x)
d(T m1 +i1 +1 x, T m1 +i1 x) M P1 d(T x, x)
Supongamos que hemos definido Pj y ij tales que
mj
Pj
X
kt < mj+1 , ij =
Pj
P
kt +1
kt m j .
t=1
t=1
Pj
P
Pj
X
kt
mj+1
kt < mj+2
t=1
Pj
X
kt < mj+1
t=1
Pj+1
kt .
t=1
Pj+1 1
pj+1
kt =
t=1
t=1
pj+1 1
X
t=1
que
pj+1
X
t=1
pj+1
d T
t=1
kt +1
X
t=1
kt mj+1 como
p
j+1
P
x, T
t=1
kt
x M Pj+1 d(T x, x)
29
De esta manera queda demostrado que:
j N : ij N, 0 ij J 1 tal que
d(T mj +ij +1 x, T mj +ij x) M Pj d(T x, x).
Aplicando el principio de las casillas, v N con 0 v J 1 y ij = v para infinitos
valores de j.
Para estos valores de j para los cuales ij = v tenemos que:
d(Lv , Lv+1 ) d(Lv , T mj +v x) + d(T mj +v x, T mj +v+1 x) + d(T mj +v+1 x, Lv+1 )
d(Lv , T mj +v x) + M Pj d(x, T x) + d(T mj +v+1 x, Lv+1 )
= d(T v z, T mj +v x) + M Pj d(x, T x) + d(T mj +v+1 x, Lv+1 )
es decir,
d(Lv , tv+1 z) d(T v z, T mj +v x) + M Pj d(x, T x) + d(T mj +v+1 x, T v+1 z)
Como cada uno de los tres sumandos tiende a cero cuando j , entonces
d(Lv , Lv+1 ) = 0.
Por lo tanto, Lv = Lv+1 , es decir,
T v z = T v+1 z = T (T v z)
Finalmente concluimos que T v z es un punto fijo de T.
Captulo 4
A manera de conclusi
on
En la introduccion de nuestro trabajo se enuncia la generalizacion del principio de
contraccion de Banach. Vimos que a
un cuando las hipotesis de la GPCB garantizan la
existencia de un punto fijo, esto no implica continuidad de la funcion. Motivados por estas
observacion y haciendo un breve examen de la situacion dise
namos este captulo para
presentar dos ejemplos que brindan informacion interesante que ayudaran a comprender
un poco mas el ambiente en el que estamos trabajando.
El ejemplo 2 esta tomado del artculo [7], y muestra que la hipotesis de la GPCB no
implica la continuidad de la funcion ni de sus iteraciones. El ejemplo 1 es una adaptacion
del ejemplo 2 que usamos para probar que la hipotesis, con J = 2, tampoco implica la
continuidad de la funcion. Para este ejemplo hay un subespacio donde la funcion y todas
us iteraciones son contracciones.
Ejemplo 1: Sea X = {n : n = 0, 1, 2, . . .} {1/n : n = 1, 2, 3, . . .} consideremos la
metrica usual. Definamos T : X X de la siguiente manera:
T (0)
= 0
T (n)
1
2n + 1
T (1/n) = n
si n es par
1
si n es impar
2n + 5
Fijemos M = 1/2. Es facil ver que para cada par x, y X,
T (1/n) =
1
mn{d(T 2 x, T 2 y) , d(T x, T y)} d(x, y)
2
31
CAPITULO 4. A MANERA DE CONCLUSION
32
1
}
es una sucesion convergente.
2k k=1
1
Mas a
un,
0, si k .
2k
Como T (1/2k) = 2k k N. Claramente T (1/2k) 6 0
Lo cual nos lleva a concluir que T no es una funcion continua, y sin embargo T satisface
la hipotesis de la GPCB con J = 2.
1
Consideremos X 0 = {1/n : n es un n
umero impar} X LuegoT |X 0 (1/n) =
.
2n + 5
Es facil ver que T |X 0 : X 0 X 0 es una contraccion en el subespacio X 0 de X. Asimismo
por como definimos T tendremos que T 2 , T 3 , T 4 , . . . son contracciones en el espacio X
Lo anterior nos conduce a la siguiente pregunta: La hipotesis del GPCB implica que
dado J , existe 1 k J tal que T k es una contraccion en alg
un subespacio del espacio
en el que estemosd trabajando?
Veamos el siguiente ejemplo que nos dara la repuesta a esta pregunta.
Ejemplo 2: Sea X = {n : n = 0, 1, 2, . . .} {1/n : n = 2, 3, 4, . . .}. Definamos
T : X X de la siguiente manera:
Por otro lado tenemos que {
T (0)
= 0
T (n)
= 1/(3n4 + 1), n = 1, 2, . . .
T (1/n) = n,
n=0
(mod 3)
(mod 3)
(mod 3)
Por un razonamiento similar el del ejemplo anterior se puede verificar que T no es una
funcion continua.
Fijemos J = 3, M = 1/3. Consideremos la metrica usual.
Verifiquemos que x, y X :
1
mn{d(T k x, T k y) : 1 k 3} d(x, y)
3
Analicemos los siguientes casos
Caso 1: Sea x 1/2, y X claramente |x y| 1/2
(i) Sea y > 1/2, luego
33
1
1
4
d(T x, T y) = 4
3x + 1 3y + 1
1
1
2
2
d(T x, T y) =
3(3x4 + 1)4 + 2 3(3x4 + 1)4 + 2
1
1
3
3
d(T x, T y) =
4
4
4
4
4
4
3(3(3x + 1) + 2) + 3 3(3(3x + 1) + 2) + 3
En cualquiera de los tres casos se tiene:
1
1 1
,
d(T x, T y) =
3 n1 (k) n2 (k)
k
1
= 4
P
3x + 1
1
1
d(T x, T y) =
3(3x4 + 1)4 + 2 3P 4 + 1
1
1
d(T 3 x, T 3 y) =
,
3 n1 (k) n2 (k)
CAPITULO 4. A MANERA DE CONCLUSION
34
1
11
|x y|.
32
3
2. Si p = 1 mod 3
1
1
d(T x, T y) = 4
4
3x + 1 3P + 2
1
1
2
2
d(T x, T y) =
4
4
4
4
3(3x + 1) + 2 3(3P + 2) + 3
1
4
4
3
3
3(3P
+
2)
+
3
d(T x, T y) =
3(3(3x4 + 1)4 + 2)4 + 3
En los casos k = 1, 2 tendremos que:
1
1 1
,
d(T x, T y) =
3 n1 (k) n2 (k)
k
con n1 (k), n2 (k) valores dependientes de los denominadores de kesima iteracion que estemos trabajando.
Como d(T 3 x, T 3 y) > d(T k x, T k y) para k = 1, 2
Por razonamiento similar a (1) tendremos que:
1
mn{|T k x T k y| : 1 k 3} |x y|
3
3. Si p = 2 mod 3. Se resuelve de manera analoga a las anteriores.
1
1
1
Supongamos que x = , y =
2
j
n
1 1 1
1
1
En general, se tiene que |x y| =
= 2
n j
n n+1
n +n
Analicemos los siguientes casos:
(i) Sea x =
1
1
, y = con n = 0 mod 3, j = 0 mod 3
n
j
35
Tx
= n
T 2x =
T 3x =
Ty
1
+1
3n4
3(3n4
1
+ 1)4 + 2
= j
T 2y =
T 3y =
1
+1
3j 4
3(3j 4
1
+ 1)4 + 2
1
1
k
para
k
=
2,
3
as
como
tambi
e
n
T
para k = 2, 3.
y
3n4
3j 4
1
1
1
Mas a
un como > , T k y = 4 para k = 2, 3.
n
j
3n
Es claro que T k x
=
<
2
3
|x y|
1/n + n
3n
3
1
Es decir, |T k x T k y| |x y| para k = 2, 3
3
Como |T x T y| {|T 2 x T 2 y|, |T 3 x T 3 y|}
Entonces, mn{|T k x T k y| : 1 k 3} |x y|
Por un razonamiento similar al anterior tendremos que para los casos
(ii) x =
(iii) x =
1
1
, y = con n = 1 mod 3, y = 1 mod 3
n
j
1
1
, y = con n = 2 mod 3, j = 2 mod 3 se verifica que
n
j
1
mn{|T k x T k y| : 1 k 3} |x y|
3
(iv) Sea x =
1
1
, n = 0 mod 3 y y = con j = 1 mod 3
n
j
CAPITULO 4. A MANERA DE CONCLUSION
36
Tx
= n
T 2x =
T 3x =
Es claro que T 2 x
Ty
1
+1
3n4
3(3n4
1
+ 1)4 + 2
T 2y =
1
+2
3j 4
3(3j 4
1
+ 2)4 + 3
T 3 y = 3(3j 4 + 2)4 + 3
1
1
1
1
, as como T 2 y 4 . Nuevamente, como > entonces
4
3n
3j
n
j
1
3n4
De modo que:
T 2y
|T 2 x T 2 y|
1/3n4
1
<
2
|x y|
1/n + n
3
1
Es decir |T 2 x T 2 y| |x y|
3
1
Como mn{|T k x T k y| : 1 k 3} = |T 2 x T 2 y| |x y|
3
Se verifica lo que queriamos
Por un razonamiento similar al anterior tendremos que en general para los casos:
1
1
x = , n = k1 mod 3 y y = j = k2 mod 3 con k1 6= k2 y 0 k1 , k2 2 i
n
j
{1, 2, 3} tal que
1
mn{|T k x T k y| : 1 k 3} = |T i x T i y| |x y|
3
De esta manera concluimos que x, y X con x, y <
1
y x 6= y
2
1
mn{|T k x T k y| : 1 k 3} |x y|
3
37
Caso III: Para finalizar fijemos y = 0 y consideremos x X con x 6= 0. Por definicion
de T, tenemos que T (0) = 0, luego:
|T k x T k y| = |T k x T k 0| = |T k x 0|
Analicemos los siguientes casos:
1
1. Sea x > 1/2. Por definicion de T sabemos que k : 1 k 3 tal que T k x 4 .
3x
x
1
k
Luego, T x
3
3
1
x
As |T k x T k y| = |T k x 0| = T k x = |x 0|, x > 1/2.
3
3
1
1
. Supongamos x = . Nuevamente por la definicion de T sabemos
2
j
1
11
1
que k : 1 k 3 tal que T k x 4 . Luego, T k x
= x
3j
3j
3
1
1
x
As |T k x T k y| = |T k x 0| = T k x = |x 0|, x con 0 < x
3
3
2
2. Sea 0 < x
38
Bibliografa
[1] Di Prisco, C. A., Combinatoria: Un panorama de la teora de Ramsey.
[2] Graham, R., B. Rothschild and J. Spencer, Ramsey Theory. Wiley, 1980.
[3] Marsden, J., Elementary classical analysis. W. H. Freeman and Company, 1974.
[4] Merryfield, J, Rothschild, B. and Stein, J. D., An application of Ramseys theorem to the Banach contraction principle. Proc. Amer. Math. Soc. 130 (2001)
927-933
[5] Merryfield, J and J.D. Stein, Jr., A generalization of the Banach Contraction
Principle. J. Math. Annal. Appl. 273 (2002) 112-120.
[6] Ramsey, F. P. , On a problem of formal logic. Proceedings of the London Mathematical Society, 30 (1930), 264-286.
[7] J. R. Jachymski, B. Schroder and J.D. Stein, A connection between fixed-point
theorems and tiling problems. Journal of Combinatorial Theory Series A 87
(1999) 273-286.
[8] Tineo, A., Topologa de espacios metricos. Kari
na Editores, Merida, 1995.
39