ESPACIOS MTRICOS

por Jorge F. Yazlle

Curso de Extensin
Facultad de Ciencias Exactas
Universidad Nacional de Salta
Junio de 2011
El desarrollo de la teora de funciones y sucesiones que se vio en los cursos de Anlisis
Matemtico I y II sirve bien cuando el objeto de estudio es una funcin a valores reales, denida
en un subconjunto de R (o, un poquito ms en general, cuando la funcin va de R
m
en R
n
).
Sabemos bien lo que signica un proceso de lmite de una funcin de sas, o la convergencia de
sucesiones o series numricas. Sin embargo, es frecuente, en el desarrollo de ciencias que tienen
que ver con la Matemtica, toparse con conjuntos no numricos (pinsese, por ejemplo, en el
conjunto de todas las imgenes que pueden aparecer en la pantalla de una computadora, o en
el conjunto de todas las funciones reales continuas del intervalo [0, 1]) y estudiar sucesiones y
funciones cuyos dominio y/o codominio son esos conjuntos raros. Un caso emblemtico es el de
los fractales, en donde, en la pantalla de una PC, va apareciendo una seguidilla de imgenes que
converge a una cierta gura. Pero, qu quiere decir converge? Habr una teora general de
convergencia de sucesiones de elementos que no son nmeros? Habr alguna teora de lmite,
o de integracin, para funciones no numricas? Resulta que la teora de lmite de funciones y
sucesiones puede ser extendida a conjuntos ms extravagantes que el de los nmeros reales,
a condicin de dotar a esos conjuntos de una estructura que capture conceptos parecidos a
los que se usan en el conjunto de los nmeros reales para estudiar los procesos de lmite, y de
generalizar de algn modo los resultados que se conocen sobre los reales. Ms concretamente, la
denicin de lmites, por ejemplo, depende crucialmente de la funcin mdulo, que da una idea
ni ms ni menos que de la distancia a la que se encuentran dos nmeros reales sobre la recta
real. Y qu propiedades tiene esa manera de medir distancias? Despus de mucho discutirlo,
los matemticos se dieron cuenta de que todas las propiedades de la misma podan deducirse
a partir de unos cuantos axiomas: la distancia entre dos puntos es un nmero no negativo
(|x y| 0), la distancia desde un punto a s mismo es 0 (|x x| = 0), la distancia desde
un punto a otro punto distinto es estrictamente positiva(x = y |x y| > 0), la distancia
es la misma de ida que de vuelta (|x y| = |y x|), y el viaje puede hacerse ms largo si
pasamos por un tercer punto (|xy| |xz| +|z y|). Resulta entonces que si a un conjunto
cualquiera le denimos una manera de medir distancias (entre puntos del conjunto) que satisfaga
esos axiomas, podremos hablar de lmites de sucesiones y de funciones, de continuidad, etc., e
investigar sus propiedades. se es el propsito de este curso.
1. Preliminares
Primero estableceremos una serie de notaciones referidas a la teora general de conjuntos y
de funciones, y de supremos e nmos, que sern muy tiles en el desarrollo del curso.
1.1. Conjuntos
Suponemos ya conocido el concepto de conjunto, y las notaciones y deniciones bsicas de
este campo (pertenencia, inclusin, igualdad, unin, interseccin, complemento, etc.).
1
Sean U un conjunto (universal) e I un conjunto (de ndices) cualesquiera. Supongamos que
para cada i I se tiene denido un subconjunto A
i
U. Denotamos por {A
i
}
iI
a la coleccin
de todos estos conjuntos. La unin de todos los A
i
es el conjunto
_
iI
A
i
= {x U : i I : x A
i
}
La interseccin de todos los A
i
es el conjunto

iI
A
i
= {x U : i I : x A
i
}
Se cumplen las leyes distributivas y las leyes de De Morgan para uniones e intersecciones:
1. B

iI
A
i
=

iI
(B A
i
) B

iI
A
i
=

iI
(B A
i
)
2.
_
iI
A
i
_
c
=

iI
A
c
i
_
iI
A
i
_
c
=

iI
A
c
i
1.2. Funciones
Suponemos ya conocido el concepto de funcin, y las notaciones y deniciones bsicas de
este campo (inyectividad, sobreyectividad, composicin, inversa, etc.).
Si f es una funcin de X en Y , A X y B Y , denotamos por f(A) al conjunto de todos
los elementos de Y que son imagen por f de algn elemento de A, y por f
1
(B) al conjunto de
todos los elementos de X cuya imagen por f pertenece a B. Formalmente:
f(A) = {y Y : x A : y = f(x)} f
1
(B) = {x X : f(x) B}
Sea f una funcin de X en Y , A y E subconjuntos de X, B y F subconjuntos de Y , I un
conjunto arbitrario de ndices, {A
i
}
iI
una familia de subconjuntos de X, {B
i
}
iI
una familia
de subconjuntos de Y . Se satisfacen las siguientes propiedades:
1. A E f(A) f(E)
2. B F f
1
(B) f
1
(F)
3. Si f es inyectiva, f(A
c
) f(A)
c
. Si f es sobreyectiva, f(A
c
) f(A)
c
. Luego, para f
biyectiva, es f(A
c
) = f(A)
c
.
4. f
1
(B)
c
= f
1
(B
c
)
5. f (f
1
(B)) B (si f es sobreyectiva, vale la igualdad).
6. A f
1
(f(A)) (si f es inyectiva, vale la igualdad).
7. f
_
iI
A
i
_
=

iI
f(A
i
)
8. f
_
iI
A
i
_

iI
f(A
i
) (si f es inyectiva, vale la igualdad).
9. f
1
_
iI
B
i
_
=

iI
f
1
(B
i
)
10. f
1
_
iI
B
i
_
=

iI
f
1
(B
i
)
Si f : X Y y S X, se dene la restriccin de f a S como la funcin g : S Y tal que
g(x) = f(x) para todo x S. Una notacin habitual para la funcin restringida es f|
S
, aunque
haciendo abuso de notacin, tambin suele usarse el mismo nombre f.
2
1.3. Supremos e nmos
Sea A R. Se dice que t R es una cota superior de A si x A, x t. Si A tiene
una cota superior, se dice que A es acotado superiormente, y se dene el supremo de A,
denotado sup A, como la menor de las cotas superiores de A (se puede demostrar, aunque no
fcilmente, que tal denicin es buena). Si A no tiene cota superior, decimos que el supremo
de A es . Se verica que para cualquier A R:
1. El supremo de A es nico.
2. sup A k x A, x k.
3. Si k R y existe x A tal que x k, entonces sup A k.
4. Si A B R, entonces sup A sup B.
5. Si B R y hacemos C = {a + b : a A, b B}, entonces sup C sup A + sup B.
De manera similar, se denen las cotas inferiores, y el nmo de A (nf A) como la mayor de
las cotas inferiores (si el conjunto es acotado inferiormente, o si no). Siempre ocurre que
nf A sup A. Para el nmo, se tienen propiedades anlogas a las enunciadas para el supremo.
2. Espacios mtricos: deniciones y propiedades bsicas
Un espacio mtrico es un par (X, d), donde X es un conjunto de elementos que llamaremos
puntos y d es una funcin de XX en R que cumple los siguientes axiomas, para todos a, b, c
pertenecientes a X:
1. d(a, b) 0
2. d(a, b) = 0 a = b
3. d(a, b) = d(b, a) (axioma de simetra).
4. d(a, b) d(a, c) +d(c, b) (desigualdad triangular).
La funcin d se llama distancia o mtrica para X.
Un ejemplo clsico de espacio mtrico es el del conjunto de los nmeros reales y la distancia
usual dada por el mdulo: d(a, b) = |a b|. Ms generalmente, para n 1, R
n
con la distancia
eucldea
d((x
1
, . . . , x
n
), (y
1
, . . . , y
n
)) =
_
(x
1
y
1
)
2
+ + (x
n
y
n
)
2
es un espacio mtrico, denominado espacio eucldeo n-dimensional. La teora de los espacios
mtricos surge con la intencin de generalizar los espacios eucldeos, permitiendo extender ideas
a otros tipos de conjuntos.
Ejemplo 1. Se denota con C
[0,1]
al conjunto de todas las funciones cuyo dominio es el intervalo
[0, 1], cuyo codominio es R, y que adems son continuas en todo el dominio. Para f, g C
[0,1]
,
denamos
d(f, g) = sup {|f(x) g(x)| : x [0, 1]}
Por ejemplo, sean f, g y h las funciones denidas por
f(x) = x g(x) =
x
4
+
1
4
h(x) = x
2
3
Queda de ejercicio vericar que d(f, g) = 1/2, d(g, h) = 1/2 y d(f, h) = 1/4.
Mostraremos que d denida anteriormente es una mtrica para C
[0,1]
. Lo primero a hacer
es ver que es una funcin bien denida. Sean f y g dos elementos de C
[0,1]
, y hagamos A =
{|f(x) g(x)| : x [0, 1]}. A es un conjunto acotado superiormente, porque f y g son continuas
en [0, 1], y por tanto acotadas. Luego, sup A es un nmero real, por lo que d es una funcin
bien denida de C
[0,1]
C
[0,1]
en R.
Ahora debemos ver el cumplimiento de los cuatro axiomas. Sean f, g, h C
[0,1]
.
Ya que |f(x) g(x)| 0 cualquiera sea x [0, 1], tenemos que, por propiedad de supre-
mos, sup {|f(x) g(x)| : x [0, 1]} 0, es decir, d(f, g) 0.
Supongamos que d(f, g) = 0. Tomemos cualquier t [0, 1]. Tenemos que
0 |f(t) g(t)| sup {|f(x) g(x)| : x [0, 1]} = d(f, g) = 0,
y entonces |f(t) g(t)| = 0. Luego, f(t) = g(t) para todo t [0, 1], por lo que f = g.
Recprocamente, si f = g, tenemos que x [0, 1], f(x) = g(x), y, en consecuencia,
{|f(x) g(x)| : x [0, 1]} = {0}, por lo que d(f, g) = sup{0} = 0. Se cumple entonces el
segundo axioma.
d(f, g) = sup {|f(x) g(x)| : x [0, 1]} = sup {|g(x) f(x)| : x [0, 1]} = d(g, f). En
consecuencia, se cumple el axioma de simetra.
Dado que para cualquier x [0, 1] se cumple que
|f(x) g(x)| = |f(x) h(x) +h(x) g(x)| |f(x) h(x)| +|h(x) g(x)| ,
tenemos que
d(f, g) = sup {|f(x) g(x)| : x [0, 1]} sup {|f(x) h(x)| +|h(x) g(x)| : x [0, 1]}
Hagamos entonces
C

= {|f(x) h(x)| +|h(x) g(x)| : x [0, 1]}

A = {|f(x) h(x)| : x [0, 1]}
B = {|h(x) g(x)| : x [0, 1]}
C = {a + b : a A, b B}.
Tenemos que C

C, y entonces sup C

sup C sup A + sup B. Concluimos que

d(f, g) d(f, h) + d(h, g), y, en consecuencia, se cumple la propiedad triangular.
Como hemos vericado que d es una funcin bien denida de C
[0,1]
C
[0,1]
en R que satisface
los axiomas correspondientes, podemos armar que d es una mtrica para C
[0,1]
.
Pasamos ahora a una denicin crucial en la teora de espacios mtricos.
Denicin 2. Sean (X, d) un espacio mtrico, x
0
un elemento cualquiera de X y r cualquier real
positivo. El entorno de centro x
0
y radio r es el conjunto B
r
(x
0
) = {x X : d(x
0
, x) < r}.
El entorno reducido de centro x
0
y radio r es B

r
(x
0
) = {z X : 0 < d(x
0
x) < r}
O sea que B
r
(x
0
) est constituido por todos los puntos de X que estn a distancia estric-
tamente menor que r de x
0
(esto incluye, por supuesto, al propio x
0
; es decir, todo entorno
incluye a su centro). El entorno reducido consiste en todos los puntos del entorno, excepto el
centro.
Las siguientes deniciones se reeren a puntos x y subconjuntos E de un espacio mtrico
(X, d).
4
1. x es punto de acumulacin de E si todo entorno reducido de x contiene al menos un
punto de E, es decir, si r > 0, B

r
(x) E = (lo que equivale a decir que cualquier
entorno de x contiene un punto de E {x}). Designamos por E

al conjunto de todos los

puntos de acumulacin de E. Observar que un punto de acumulacin de E puede o no
pertenecer a E.
2. E es cerrado si todos sus puntos de acumulacin pertenecen a E, es decir, si E

E.
3. La clausura de E es E = E E

, es decir, la unin del conjunto y sus puntos de

acumulacin.
4. Si x E pero x no es punto de acumulacin de E, x se llama punto aislado de E.
5. x es un punto interior de E si existe r R
+
tal que B
r
(x) E.
6. E es abierto si todos sus puntos son puntos interiores de E.
7. La frontera de E es E = {x X : r > 0, B
r
(x) E = = B
r
(x) E
c
}.
8. E es acotado si existen x X y r R
+
tales que E B
r
(x).
9. E es denso en X si E = X.
10. El dimetro de E es diam(E) = sup{d(x, y) : x, y E}.
Desarrollaremos ahora algunas de las propiedades ms elementales de los espacios mtricos.
Proposicin 3. Todo entorno es un conjunto abierto.
Demostracin. Sea B
r
(x) un entorno de x en el espacio (X, d). Para y B
r
(x), tomemos
r

= r d(x, y). Ser r

> 0 pues d(x, y) < r. Veamos que B

r
(y) B
r
(x): si z B
r
(y),
d(x, z) d(x, y) + d(y, z) < d(x, y) + r

= r, de donde z B
r
(x). Luego todo punto de B
r
(x)
es un punto interior de B
r
(x), por lo que B
r
(x) es abierto.
Proposicin 4. Sea E un subconjunto del espacio mtrico X. Un punto x de X pertenece a
E si, y slo si, cualquier entorno de x contiene al menos un punto de E.
Demostracin. Supongamos que x E. Si x E, cualquier entorno de x contiene al propio x,
que es un punto de E. Si x / E, x es punto de acumulacin de E, por lo que cualquier entorno
de x contiene un punto de E {x}, o sea un punto de E.
Recprocamente, supongamos que cualquier entorno de x contiene un punto de E. Si x E,
x E. Si x / E, tenemos que E = E {x}, por lo que cualquier entorno de x posee un punto
de E {x}; luego x es punto de acumulacin de E, y x E.
Proposicin 5. Si x es punto de acumulacin de E, todo entorno de x posee innitos puntos
de E.
Demostracin. Demostraremos por contrarreciprocidad. Sea x X tal que existe r > 0 tal que
B
r
(x) contiene una cantidad nita de puntos de E. Si B

r
(x) E = , x no cumple la denicin
de punto de acumulacin de E. Si B

r
(x) E = , sea r

= mn {d(x, y) : y B

r
(x) E}. r

es el ms chico de un conjunto nito de nmeros positivos, por lo que r

> 0. Tendremos que

B

r
(x) no contiene puntos de E, por lo que x tampoco es punto de acumulacin de E.
Corolario 6. Un subconjunto nito de un espacio mtrico no posee puntos de acumulacin.
Teorema 7. Un subconjunto de un espacio mtrico es abierto si, y slo si, su complemento es
cerrado.
5
Demostracin. Supongamos que E es un subconjunto abierto de (X, d). Sea x E. Existe r > 0
tal que B
r
(x) E, luego B
r
(x) E
c
= , por lo que x no es punto de acumulacin de E
c
.
Tenemos entonces que si x E, x no es punto de acumulacin de E
c
, que equivale a decir que
si x es punto de acumulacin de E
c
, x pertenece a E
c
, mostrando que E
c
es cerrado.
Recprocamente, supongamos que E
c
es cerrado. Sea x E, es decir, x / E
c
. x no es punto
de acumulacin de E
c
, por lo que existe un entorno B
r
(x) que no contiene puntos de E
c
{x}.
Pero ya que x E, resulta E
c
{x} = E
c
, por lo que B
r
(x) E
c
= , es decir, B
r
(x) E.
Luego x es punto interior a E, y E es abierto.
Corolario 8. Un subconjunto de un espacio mtrico es cerrado si, y slo si, su complemento
es abierto.
Demostracin. E es cerrado (E
c
)
c
es cerrado E
c
es abierto.
Teorema 9. Para cualquier espacio mtrico, las siguientes armaciones son vlidas:
1. La unin arbitraria de conjuntos abiertos es un conjunto abierto.
2. La interseccin nita de conjuntos abiertos es un conjunto abierto.
3. La interseccin arbitraria de conjuntos cerrados es un conjunto cerrado.
4. La unin nita de conjuntos cerrados es un conjunto cerrado.
Demostracin. Sea {A
i
}
iI
una familia cualquiera de subconjuntos abiertos de (X, d). Si x

iI
A
i
, existe k I tal que x A
k
, luego hay un entorno B
r
(x) A
k


iI
A
i
, lo que
muestra que

iI
A
i
es abierto. Esto prueba la primera armacin.
Sea {A
i
}
n
i=1
una familia nita de subconjuntos abiertos, y x

n
i=1
A
i
. Para cada i
{1, . . . , n}, existe un r
i
> 0 tal que B
r
i
(x) A
i
. Sea r = mn{r
i
: i = 1, . . . , n}. Ser r > 0.
Veriquemos que B
r
(x)

n
i=1
A
i
: si d(x, z) < r ser d(x, z) < r
i
para todo i {1, . . . , n}
por la eleccin de r, por lo que z A
i
para todo i {1, . . . , n}, de donde z

n
i=1
A
i
. Por
lo tanto

n
i=1
A
i
es abierto. Esto muestra la segunda armacin. Un ejemplo que muestra que
la armacin no es vlida para intersecciones arbitrarias es A
i
= (
1
i+1
,
1
i+1
) para i N, en
el espacio de los reales con la mtrica usual. Aqu se tiene que

i=0
A
i
= {0}, que no es un
subconjunto abierto de R.
Sea {C
i
}
iI
una familia cualquiera de subconjuntos cerrados de (X, d). Por las leyes de De
Morgan, se tiene que
_
iI
C
i
_
c
=

iI
C
c
i
, siendo este ltimo un conjunto abierto segn se
demostr en el primer tem, ya que cada C
c
i
es un conjunto abierto. Luego
_
iI
C
i
_
es un
conjunto cerrado, pues su complemento es abierto. Esto demuestra la tercera armacin.
Finalmente, sea {C
i
}
n
i=1
una familia nita de subconjuntos cerrados. Ser (

n
i=1
C
i
)
c
=

n
i=1
C
c
i
, siendo este ltimo un conjunto abierto segn el inciso segundo de este teorema, por lo
que

n
i=1
C
i
es cerrado.
Teorema 10. Un subconjunto de un espacio mtrico es abierto si, y slo si, es una unin de
entornos.
Demostracin. Supongamos que E es un subconjunto abierto de un espacio mtrico (X, d).
Entonces podemos asociar a cada punto z de E un nmero positivo r
z
tal que B
r
z
(z) E.
Veamos que E =

zE
B
r
z
(z): si x E, x B
r
x
(x)

zE
B
r
z
(z), luego E

zE
B
r
z
(z). Y
si x

zE
B
r
z
(z), hay un z de E tal que x B
r
z
(z); pero por hiptesis B
r
z
(z) E, de donde
x E; con esto,

zE
B
r
z
(z) E.
La vuelta se deduce de la Proposicin 3 y del Teorema 9.
El siguiente teorema nos dice que la clausura de un conjunto E es el ms pequeo de los
conjuntos cerrados que contienen a E.
6
Teorema 11. Sea E un subconjunto de un espacio mtrico (X, d).
1. E es un subconjunto cerrado.
2. E = E si, y slo si, E es cerrado.
3. Si E F y F es cerrado, entonces E F.
4. diam(E) = diam(E).
Demostracin.
1. Mostraremos que el complemento de E es abierto. Sea x E
c
, luego x / E, por lo que
existe r > 0 : B
r
(x) E = . (prop. 4). Como B
r
(x) es abierto (prop. 3), para cada
z B
r
(x) existe r

> 0 tal que B

r
(z) B
r
(x), y entonces B
r
(z) E = , por lo que
z / E. Entonces B
r
(x) E
c
. Ya que x era arbitrario, se sigue que E
c
es un conjunto
abierto.
2. La ida es inmediata por el inciso anterior. Para la vuelta, siendo E cerrado, se tiene que
E

E, por lo que E = E E

= E.
3. Primero observemos que si E F, debe ser E

: Tomemos x E

, y consideremos
r > 0. Por prop. 4, B

r
(x) E = , de donde, siendo E F, es B

r
(x) F = . Luego,
nuevamente por prop. 4, x F

. Con esto podemos ver que E = E E

F F

= F,
es decir, E F.
4. Puesto que E E, es directo que diam(E) diam(E). Sea > 0, y tomemos x e y
arbitrarios en E. Sean x

, y

E tales que d(x, x

) < /2 y d(y, y

) < /2 (prop. 4).

Luego, d(x, y) d(x, x

) + d(x

, y

) + d(y

, y) < + d(x

, y

) + diam(E). Es decir,
d(x, y) < +diam(E). Como x e y son arbitrarios, se sigue que diam(E) +diam(E),
y, puesto que es arbitrario, se deduce que diam(E) diam(E).
Proposicin 12. Sea E un subconjunto del espacio de los reales con la mtrica eucldea, y
supongamos que E posee cota superior. Entonces el supremo de E pertenece a la clausura de
E. Luego, si E es cerrado, el supremo de E pertenece a E.
Demostracin. Sea s = sup E. Para todo r > 0, B
r
(s) = (s r, s + r) contiene un punto de E
(pues sino s r sera una cota superior para E, pero menor que el supremo, y eso sera una
contradiccin). Luego, s E (prop. 4). La ltima armacin en el enunciado del teorema es
consecuencia inmediata del Teorema 11.
Consideraciones anlogas valen para el nmo de un conjunto.
Proposicin 13. Sea X un espacio mtrico, y {V
1
, . . . , V
n
} una familia nita de abiertos
densos en X. Entonces

n
k=1
V
k
es un subconjunto abierto denso en X.
Demostracin. En virtud del Teorema 9, slo resta probar que

n
k=1
V
k
es densa. Lo probaremos
para el caso n = 2, y luego una simple induccin permitir vericar el resultado general. Para
probar que V
1
V
2
es denso, sea x X y > 0 arbitrario. Por ser V
1
denso, existe y V
1
:
d(x, y) < /2. Como V
1
es abierto, existe r

> 0 tal que B

r
(y) V
1
. Sea r = mn{r

, /2}.
Observar que B
r
(y) B
r
(y) V
1
. Como V
2
es denso, existe z V
2
tal que d(z, y) < r.
Entonces z V
1
V
2
, y d(z, x) d(x, y) + d(y, z) < . Luego, x pertenece a V
1
V
2
(prop. 4).
Por ello, V
1
V
2
es denso en X.
7
2.1. Subespacios
Sea (X, d) un espacio mtrico y S un subconjunto de X. Designemos por d
S
a la restriccin
de d al subconjunto S S; es decir, para x, y S, d
S
(x, y) = d(x, y). El par (S, d
S
) es tambin
un espacio mtrico, y se llama subespacio de (X, d).
Observemos que el entorno de radio r alrededor de un x S en el espacio mtrico S
es {y S : d
S
(x, y) < r}, mientras que el entorno de radio r alrededor de x en el espacio
mtrico X es {y X : d(x, y) < r}. El entorno del punto x depende, entonces, del espacio
mtrico que estemos considerando. As, cuando hablemos de entorno alrededor de x y haya
posibilidad de confusin, emplearemos un suprandice para indicar a qu espacio nos referimos:
B
S
r
(x) indicar entorno alrededor de x, de radio r, en el espacio mtrico S, mientras que B
X
r
(x)
denotar entorno de radio r alrededor de x en el espacio X. Observar que B
S
r
(x) = S B
X
r
(x).
Supongamos X = R con la mtrica usual, S = [0, 1] y E =
_
1
2
, 1

. En el espacio mtrico
(X, d), E no es abierto, ya que 1 E no es punto interior de E. Pero visto como subconjunto
de (S, d
S
), E resulta un conjunto abierto, pues B
S
1
4
(1) es el conjunto de todos los reales x con
3
4
< x 1, que es un subconjunto de E. En otras palabras, E no es abierto en el espacio X, pero
s en el subespacio S. Por esto, al hablar de conjuntos abiertos o cerrados (cuando se trabaja
con espacios y subespacios) hace falta especicar con respecto a cul de los espacios mtricos
estamos haciendo referencia. Usaremos frases del estilo E es abierto relativo en S o E es
abierto relativo en X para indicar si nos estamos reriendo a E como subconjunto abierto del
espacio mtrico (S, d
S
) o del espacio mtrico (X, d), respectivamente. Afortunadamente, hay
una sencilla caracterizacin de los subconjuntos abiertos de un subespacio.
Teorema 14. Sea S subespacio de un espacio mtrico (X, d), y E S. E es abierto relativo
en S si, y slo si, E = S G para algn G abierto en X.
Demostracin. Para la ida: Sabemos que E =

xE
B
S
r
x
(x) (teor. 10). Sea G =

xE
B
X
r
x
(x), el
cual es un subconjunto abierto de X (prop. 3 y teor. 9). Adems, GS =
_
xE
B
X
r
x
(x)
_
S =

xE
_
B
X
r
x
(x) S
_
=

xE
B
S
r
x
(x) = E.
Para la vuelta, supongamos que E = S G con G abierto en X. Sea x E. Existe
r > 0 : B
X
r
(x) G. Entonces B
X
r
(x) S G S, es decir, B
S
r
(x) E, luego E es abierto en
S.
Corolario 15. Si E S X, E es cerrado relativo en S si, y slo si, E = S F para algn
F cerrado en X.
Demostracin. E es cerrado relativo en S si, y slo si, S E es abierto relativo en S, lo que
equivale a que S E = S G para algn G abierto relativo en X, lo que equivale a que
E = G
c
S, siendo G
c
el complemento de G en X, que es un conjunto cerrado relativo en X.
2.2. Conjuntos compactos
Sea (X, d) un espacio mtrico, E X, I un conjunto arbitrario de ndices y {A
i
}
iI
una
familia de subconjuntos de X. Decimos que {A
i
}
iI
es un cubrimiento para E si E

iI
A
i
.
Si todos los A
i
son conjuntos abiertos, decimos que {A
i
}
iI
es un cubrimiento por abiertos
para E. Un subcubrimiento de {A
i
}
iI
para E es una subfamilia de los {A
i
} que tambin
es cubrimiento para E. Un cubrimiento es nito si posee una cantidad nita de miembros.
Un subconjunto de un espacio mtrico es compacto si cualquier cubrimiento por abiertos
para l posee un subcubrimiento nito.
Teorema 16. Un subconjunto compacto de un espacio mtrico es cerrado y acotado.
8
Demostracin. Sea K un subconjunto compacto de un espacio mtrico X. Mostraremos que K
c
es un subconjunto abierto de X. Sea p K
c
. Para cada q K, sea r
q
= d(p, q)/2, y tomemos
W
q
= B
r
q
(q). Observar que K

qK
W
q
, por lo que {W
q
: q K} es un cubrimiento
por abiertos para K. Luego K

n
j=1
W
q
j
para alguna subfamilia nita {W
q
1
, . . . , W
q
n
}. Sea
r = mn{r
q
1
, . . . , r
q
n
} > 0. Para cada j {1, . . . , n}, B
r
(p) W
q
j
= (en caso contrario,
habra un x tal que d(p, x) < r y d(x, q
j
) < r
q
j
, de donde 2r
q
j
= d(p, q
j
) d(p, x) + d(x, q
j
) <
r +r
q
j
2r
q
j
, contradiccin). De all que B
r
(p)

n
j=1
W
q
j
= , y entonces B
r
(p) K = , de
donde B
r
(p) K
c
. Luego p es un punto interior de K
c
, el cual resulta, en consecuencia, ser un
conjunto abierto. Por eso, K es cerrado.
Para ver que K es acotado, notemos que la familia de todos los entornos de radio 1 alrededor
de los puntos de K es un cubrimiento por abiertos para el compacto K, as que hay una
subfamilia nita {B
1
(x
j
)}
n
j=1
tal que

n
j=1
B
1
(x
j
) K. Denamos r = m ax{d(x
i
, x
j
) : 1 i
n, 1 j n}. Sea x K. x pertenece a B
1
(x
m
) para algn m {1, . . . , n}, de modo que
d(x
1
, x) d(x
1
, x
m
) + d(x
m
, x) < r + 1, y entonces x B
r+1
(x
1
). Como x era cualquier punto
de K, vemos que K B
r+1
(x
1
), por lo que K es acotado.
Teorema 17. Un subconjunto cerrado de un conjunto compacto es un conjunto compacto.
Demostracin. Sea K un subconjunto compacto de X, y F un subconjunto de K que es cerrado
relativo en X. Sea = {A
i
}
iI
una familia de abiertos en X tal que F

iI
A
i
. Hagamos

2
= {F
c
};
2
resulta ser una familia de abiertos (pues F es cerrado) que cubre a todo
X: F
c

A
i
F
c
F = X. En particular, esta nueva familia es un cubrimiento por abiertos
para el compacto K, luego hay una subfamilia nita
3
de
2
que cubre a K, y por lo tanto a
F. Tomemos
4
=
3
{F
c
}. Puede verse que
4
es una subfamilia nita de que cubre a F
(pues
3
lo haca, y ningn punto de F est en F
c
). Luego F es compacto.
Corolario 18. Si F es cerrado y K compacto, F K es compacto.
Demostracin. Siendo K compacto, es cerrado, por lo que F K es tambin cerrado, y, siendo
subconjunto del compacto K, es compacto.
Corolario 19. Sea X un espacio mtrico compacto, y E un subconjunto de X. E es compacto
si, y slo si, es cerrado.
Teorema 20. Si {K
i
}
iI
es una coleccin de subconjuntos compactos con la propiedad de que
la interseccin de cualquier subfamilia nita es no vaca, entonces

iI
K
i
es no vaca.
Demostracin. Supongamos que

iI
K
i
= . Sea m cualquier elemento de I. Sera entonces

iI
K
i
= K
m

iI{m}
K
i
= , y entonces K
m

_

iI{m}
K
i
_
c
=

iI{m}
K
c
i
. Cada K
c
i
es abierto (teor. 16), por lo que {K
c
i
: i I {m}} es un cubrimiento por abiertos para K
m
,
y, siendo ste compacto, hay una subfamilia nita {K
c
i
1
, . . . , K
c
i
n
} que cubre a K
m
. Es decir,
K
m

n
j=1
K
c
i
j
=
_

n
j=1
K
i
j
_
c
, o sea K
m
K
i
1
. . .K
i
n
= , es decir, hay una subfamilia nita
de {K
i
}
iI
cuya interseccin es vaca. Entonces, por contrarreciprocidad, se tiene el resultado.
Corolario 21. Si {K
n
}
nN
es una coleccin de subconjuntos compactos no vacos tal que n
N, K
n
K
n+1
, entonces

nN
K
n
= . Adems, si lm
n
diam(K
n
) = 0, entonces

nN
K
n
consta de un solo punto.
Demostracin. Hagamos K =

nN
K
n
. Sea {K
n
1
, . . . , K
n
N
} una subfamilia nita de {K
n
}.
Tomemos m = m ax{n
1
, . . . , n
N
}. Ser

N
j=1
K
n
j
= K
m
= . Es decir, cualquier subfamilia
nita tiene interseccin no vaca. Luego, K es no vaco (teor. 20).
Para probar la ltima armacin, supongamos que K contuviese ms de un punto. Sera
diam(K) > 0. Pero para cada n N, K
n
K, de modo que diam(K
n
) diam(K). Esto
contradira la hiptesis de que lm
n
diam(K
n
) = 0.
9
Teorema 22. Si E es un subconjunto innito de un conjunto compacto K, entonces E tiene
un punto de acumulacin en K.
Demostracin. Supongamos que ningn punto de K fuese punto de acumulacin de E. Entonces,
para cada q K habra r
q
> 0 tal que B
r
q
(q) E contiene a lo sumo un punto de E (q, en el
caso en que q E). La familia {B
r
q
: q K} es cubrimiento por abiertos para K, pero ninguna
subfamilia nita puede cubrir a E (pues E es innito y cada miembro de la familia tiene a lo
sumo un punto de E), por lo que ninguna subfamilia nita puede cubrir a K. Contradiccin
con la compacidad de K.
Teorema 23. Sea K S X. K es compacto relativo en X si, y slo si, K es compacto
relativo en S.
Demostracin. Supongamos K compacto relativo en X. Sea {A
i
}
iI
un cubrimiento para K
donde todos los A
i
son abiertos en el espacio mtrico S. Para cada i I, A
i
= SV
i
para algn
V
i
abierto en X. Luego K

iI
A
i
=

iI
(V
i
S) = S

iI
V
i
. Entonces K

iI
V
i
,
y, siendo K compacto en X, existe una subfamilia nita {V
i
1
, . . . , V
i
n
} tal que K

n
j=1
V
i
j
.
Luego K S

n
j=1
V
i
j
=

n
j=1
_
V
i
j
S
_
=

n
j=1
A
i
j
. Entonces K es compacto relativo en S.
Recprocamente, supongamos K compacto relativo en S, y sea {V
i
}
iI
un cubrimiento para
K por abiertos de X. Para cada i I, sea A
i
= S V
i
. Cada A
i
ser abierto en S. K

iI
V
i
,
por lo que, siendo K S, ser K S

iI
V
i
=

iI
(V
i
S) =

iI
A
i
. Por ser K compacto
relativo en S, hay una subfamilia nita {A
i
1
, . . . , A
i
n
} tal que K

n
j=1
A
i
j
=

n
j=1
_
V
i
j
S
_
=
S

n
j=1
V
i
j
, de donde K

n
j=1
V
i
j
, siendo entonces {V
i
1
, . . . , V
i
n
} un subcubrimiento nito
para K.
En R
n
con la mtrica eucldea, los conjuntos compactos se caracterizan por ser exactamente
los subconjuntos cerrados y acotados de R
n
(Teorema de HeineBorel). En particular, en R con
la mtrica usual, un intervalo cerrado [a, b] con a, b R es un conjunto compacto.
2.3. Conjuntos conexos
Un conjunto A de un espacio mtrico (X, d) se dice disconexo si existen dos conjuntos A
1
y A
2
que satisfacen simultneamente las siguientes condiciones:
1. A
1
y A
2
son ambos abiertos en X.
2. A
1
A
2
=
3. A A
1
A
2
4. A A
1
= = A A
2
Es decir, A es disconexo cuando tiene partes contenidas en dos abiertos disjuntos que cubren a
A.
Si A no es disconexo, se dice que es conexo. Un conjunto se dice totalmente disconexo
si los nicos subconjuntos no vacos de l que son conexos constan de un nico punto.
Ejemplo 24. En el espacio de los reales con la mtrica euclidea, todo intervalo es conexo.
Vemoslo para el caso de un intervalo [a, b] con a, b R y a < b (para los otros tipos de
intervalos, la demostracin es anloga). En efecto, sea I = {x R : a x b}.
Sean A
1
y A
2
dos abiertos disjuntos tales que que I A
1
= = I A
2
. Sin prdida de
generalidad, podemos suponer que a A
1
. Como A
1
es abierto, existe > 0 tal que B

(a) A
1
,
por lo que A
1
contiene no slo a a, sino a todo un subsegmento de I empezando en a. Hagamos
S = I A
2
y tomemos m =nf S. Por lo antedicho y por ser A
1
y A
2
disjuntos, debe ser m > a
10
(con lo que ma > 0), y tambin m b (ya que estamos suponiendo que existe x I A
2
, y
entonces m x b). Es decir, m I.
Si fuese m A
1
, existira R > 0 tal que B
R
(m) A
1
, y, por propiedad del nmo, existe
t S tal que m t < m + R. Como m no podra estar en S, sera m < t < m + R. Pero
entonces sera t A
1
(pues |t m| < R, es decir, t B
R
(m) A
1
) y t A
2
(pues t S),
contradiciendo que A
1
y A
2
son disjuntos. Entonces no puede ser m A
1
.
Si fuese m A
2
, por ser ste abierto, existira r > 0 tal que B
r
(m) A
2
, de donde, por
ser m a > 0, habra un x A
2
tal que x I y x < m. Sera entonces x A
2
I = S pero
x <nf S, contradiciendo la denicin de nmo. Entonces no puede ser m A
2
.
Luego, m I (A
1
A
2
), es decir, I A
1
A
2
. Esto prueba que no pueden existir A
1
y
A
2
que muestren que I es disconexo.
Veremos seguidamente otras caracterizaciones de los conjuntos conexos.
Lema 25. Sean A y C subconjuntos disjuntos, con A abierto. Entonces A C = .
Demostracin. Sea x A. Existe r > 0 tal que B
r
(x) A. Como AC = , ser B
r
(x)C = ,
de modo que x / C (prop. 4). Luego, A C = .
Teorema 26. Un conjunto A es disconexo si, y slo si, existen conjuntos no vacos C y D
tales que A = C D y C D = = C D.
Demostracin. Para la ida, sean A
1
y A
2
abiertos disjuntos tales que A A
1
A
2
y A A
1
=
= A A
2
. Hagamos C = A A
1
y D = A A
2
(notar que A
1
D = ). Tenemos que
A = C D, pues, siendo A A
1
A
2
, es A = A (A
1
A
2
) = (A A
1
) (A A
2
). Adems,
C D A
1
D = (lema 25), y anlogamente C D = .
Veamos la vuelta. Como CD = , para cada x C existe R
x
> 0 tal que B
2R
x
(x)D = ,
es decir, B
2R
x
(x) D
c
(prop 4). Sea A
1
=

xC
B
R
x
(x). Similarmente, para cada z D, existe
r
z
> 0 tal que B
r
z
(z) C
c
; sea A
2
=

zD
B
r
z
(z). Observar que para cada x C y z D,
B
R
x
(x) B
r
z
(z) = (de lo contrario, habra w tal que d(x, w) + d(w, z) < R
x
+ r
z
, as que
d(x, z) < 2 m ax(R
x
, r
z
), con lo que o bien x B
2r
z
(z) C
c
o bien z B
2R
x
(x) D
c
, imposibles
ambas pues x C y z D). Como consecuencia, A
1
A
2
debe ser vaco.
Se tiene entonces que:
1. A
1
y A
2
son abiertos (teor. 10).
2. A A
1
A
2
, pues A
1
C y A
2
D, tenindose que A
1
A
2
C D = A.
3. A A
1
= , pues como C es no vaco, existe z C A, de donde z A
1
y z A.
Anlogamente, A A
2
= .
4. A
1
A
2
=
Luego, A es disconexo.
Teorema 27. Un espacio mtrico X es conexo si, y slo si, los nicos subconjuntos de X que
son simultneamente abiertos y cerrados son el propio X y el conjunto vaco.
Demostracin. Supongamos que X es conexo. Sea E un subconjunto propio no vaco de X. Si
E fuese abierto y cerrado simultneamente, tomemos A = E, B = E
c
. Ser A = = B, A = E
y B = E
c
ya que tanto E como E
c
son cerrados. A B = = A B, por lo que A y B son
separados, contradiciendo la conexidad de X.
Supongamos ahora que X no es conexo. Entonces X = AB con A, B no vacos separados.
Tenemos entonces que A = B
c
. Notar tambin que, siendo A B = , ser A = B
c
, de donde
resulta que A es abierto. Anlogamente, B es abierto, y siendo A = B
c
, resulta A cerrado.
Entonces, A es un subconjunto propio no vaco que es simultneamente abierto y cerrado.
11
3. Sucesiones en espacios mtricos
Una sucesin en un conjunto X es una funcin de los naturales en X. Designamos por x
n
al
nsimo trmino de la sucesin (es decir, a la imagen de n a travs de la funcin) y por {x
n
}
nN
(o, ms brevemente, {x
n
}) a la sucesin completa. El campo de variabilidad de la sucesin
{x
n
} es {y X : n N : x
n
= y}, es decir, el conjunto de valores que toma la sucesin. Una
sucesin se dice acotada si su campo de variabilidad es un conjunto acotado.
Decimos que una sucesin {x
n
} en un espacio mtrico (X, d) es convergente en X si
existe un punto p X con la propiedad de que > 0, N N : n N, d(p, x
n
) < . En
ese caso, decimos que la sucesin converge hacia p, o que p es el lmite de {x
n
}, y escribimos
lm
n
x
n
= p.
Observemos que decir que lm
n
x
n
= p es equivalente a decir que lm
n
d(x
n
, p) = 0.
Teorema 28. Sea {x
n
} una sucesin en un espacio mtrico (X, d), y p X.
1. {x
n
} converge hacia p si, y slo si, cualquier entorno de p contiene a todos los trminos
de la sucesin, salvo una cantidad nita de ellos.
2. Si {x
n
} converge, su lmite es nico.
3. Si {x
n
} converge, es acotada.
Demostracin.
1. Supongamos que lm
n
x
n
= p. Sea r > 0. Existe N tal que para todo n N, d(x
n
, p) <
r, por lo que para todo n N, x
n
B
r
(p), es decir, B
r
(p) contiene todos los trminos de
la sucesin salvo, posiblemente, x
0
, . . . , x
N1
.
Recprocamente, supongamos que cada entorno de p contiene todos los trminos de la
sucesin, salvo un nmero nito. Sea > 0, y sea N tal que n N, x
n
B

(p).
Entonces, para todo n N, d(p, x
n
) < , por lo que lm
n
x
n
= p.
2. Supongamos que lm
n
x
n
= p y lm
n
x
n
= p

. Si p = p

, sea = d(p, p

)/2. Ser
> 0. Sea N
1
tal que n N
1
, d(x
n
, p) < y N
2
tal que n N
2
, d(x
n
, p

) < . Tomemos
N = m ax{N
1
, N
2
}. Sera entonces d(p, p

) d(p, x
N
) + d(x
N
, p

) < 2 = d(p, p

), que es
una contradiccin.
3. Sea {x
n
} convergente hacia p. Existe N N tal que para todo n N, d(x
n
, p) < 1. Sea
M = m ax {d(x
0
, p), . . . , d(x
N1
, p), 1}. Entonces, para todo n N, d(x
n
, p) M, por lo
que la sucesin {x
n
} es acotada.
Proposicin 29. Sean E X y x X. x es un punto de acumulacin de E si, y slo si,
existe una sucesin en E {x} que converge hacia x.
Demostracin. Supongamos que x es punto de acumulacin de E. Para cada n N, elijamos
y
n
E{x} tal que d(x, y
n
) < 1/(n+1). Observemos que {y
n
}
nN
es una sucesin en E{x},
y que d(x, y
n
) tiende a 0 cuando n tiende a , por lo que lm
n
y
n
= x. Esto demuestra la
ida. Para la vuelta, sea {y
n
}
nN
una sucesin en E {x} tal que lm
n
y
n
= x. Dado > 0,
existe n N tal que d(x, y
n
) < ; puesto que y
n
E {x}, se tiene que B

(x) contiene un
punto de E {x}. Luego, x es punto de acumulacin de E.
El concepto de sucesin de Cauchy aprendido para sucesiones de nmeros reales se extiende
a espacios mtricos cualesquiera, de una manera natural.
Sea {x
n
} una sucesin en el espacio X. Decimos que {x
n
} es una sucesin de Cauchy si
> 0, N N : m, n N, d(x
m
, x
n
) < .
12
Conocido es que, en el espacio mtrico de los reales con la mtrica eucldea, decir sucesin
convergente equivale a decir sucesin de Cauchy. Esta equivalencia no es vlida para espacios
mtricos en general. Por ejemplo, en el espacio mtrico (0, 1) con la mtrica eucldea, la sucesin
{1/(n+1)} no es convergente, y sin embargo es de Cauchy. Esto motiva la siguiente denicin:
Un espacio mtrico en el que toda sucesin de Cauchy converge se llama espacio mtrico
completo.
Los reales con la mtrica eucldea forman un espacio completo, cosa que no ocurre con los
racionales.
Proposicin 30. Si una sucesin en un espacio mtrico converge, entonces es de Cauchy.
Demostracin. Supongamos que lm
n
x
n
= p. Sea > 0. Existe N N : n N, d(x
n
, p) <
/2. Luego, si m y n son mayores o iguales que N, tenemos que d(x
n
, x
m
) d(x
n
, p)+d(p, x
m
) <
, por lo que {x
n
} es sucesin de Cauchy.
Si {x
n
} es una sucesin en el espacio mtrico X y designamos por E
N
al conjunto {y
X : n N : y = x
n
}, resulta directo que {x
n
} es una sucesin de Cauchy si, y slo si,
lm
N
diam(E
N
) = 0.
3.1. Subsucesiones
Sea {x
n
}
nN
una sucesin en el espacio mtrico X. Consideremos una sucesin {n
k
}
kN
estrictamente creciente de nmeros naturales, es decir, n
k
< n
k+1
para todo k. Con estas dos
sucesiones, podemos denir una nueva sucesin {y
k
}
kN
en X haciendo y
k
= x
n
k
. La sucesin
{y
k
}
kN
se llama subsucesin de {x
n
}
nN
y se denota mediante {x
n
k
}
kN
. Si {x
n
k
} converge
a p X, es decir, si lm
k
x
n
k
= p, entonces p se llama punto de acumulacin de {x
n
}.
Observar que para todo k N, n
k
k.
Observacin 31. Un hecho que usaremos frecuentemente en las demostraciones que siguen es
que un subconjunto de nmeros naturales es innito si, y slo si, es no acotado.
Teorema 32. Una sucesin {x
n
} converge hacia p si, y slo si, cualquiera de sus subsucesiones
converge hacia p.
Demostracin. Supongamos que {x
n
} converge a p, y sea {x
n
k
} una subsucesin. Hay un N tal
que n N, d(x
n
, p) < . Luego, si k N, ser n
k
n
N
N, por lo que d(x
n
k
, p) < .
La vuelta es trivial, ya que {x
n
} es subsucesin de s misma.
Proposicin 33. Sea {x
n
} una sucesin en el espacio mtrico (X, d), y sea p un punto de X.
p es punto de acumulacin de {x
n
} si, y slo si, cualquier entorno de p posee innitos trminos
de {x
n
}.
Demostracin. Supongamos que p es un punto de acumulacin de {x
n
}. Hay una subsucesin
{x
n
k
}
kN
de {x
n
}
nN
tal que lm
k
x
n
k
= p. Sea > 0. Existe N N tal que k N, x
n
k

B

(p). Como cada trmino de la subsucesin es un trmino de {x

n
}, se tiene que B

(p) contiene
una cantidad innita de trminos de {x
n
}.
Recprocamente, supongamos que todo entorno de p posee una cantidad innita de trminos
de {x
n
}. Elijamos n
0
tal que d(p, x
n
0
) < 1. Ahora elijamos n
1
> n
0
tal que d(x
n
1
, p) < 1/2. Tal
eleccin es posible, pues si hacemos I = {n N : x
n
B
1/2
(p)}, por la hiptesis I es innito, y
entonces es no acotado (observ. 31), de donde debe existir un n
1
mayor que n
0
en I. Continuando
de esta manera, para cada k > 1 debe existir un n
k
> n
k1
tal que d(p, x
n
k
) < 1/(k + 1). Se
tiene que {x
n
k
} es subsucesin de {x
n
} y que lm
k
x
n
k
= p, lo que demuestra la suciencia
de la condicin.
13
Teorema 34. El conjunto de puntos de acumulacin de una sucesin es un conjunto cerrado.
Demostracin. Sea {x
n
} una sucesin en el espacio X. Denotemos por E al campo de varia-
bilidad de {x
n
} y por E

al conjunto de puntos de acumulacin de {x

n
}. Sea q un punto de
acumulacin de E

. Veamos que q E

. Sea z
0
E

{q} tal que d(z

0
, q) < 1/2. Sea x
n
0
E
tal que d(z
0
, x
n
0
) < 1/2. Tenemos entonces que d(q, x
n
0
) d(q, z
0
) + d(z
0
, x
n
0
) < 1. Elijamos
ahora z
1
E

{q} tal que d(z

1
, q) < 1/4, y n
1
tal que n
1
> n
0
y d(z
1
, x
n
1
) < 1/4. Tal
eleccin es posible, pues, siendo z
1
un punto de acumulacin de {x
n
}, hay una subsucesin
innita de {x
n
} que converge a z
1
. Se tiene que d(q, x
n
1
) d(q, z
1
) + d(z
1
, x
n
1
) < 1/2. Con-
tinuando de esta manera, para cada k N, sea z
k
E {q} tal que d(q, z
k
) < 1/(2k + 2) y
sea n
k
> n
k1
tal que d(z
k
, x
n
k
) < 1/(2k +2). Se tendr entonces que {x
n
k
} converge a q, pues
d(q, x
n
k
) d(q, z
k
) + d(z
k
, x
n
k
) < 1/(k + 1), por lo que q E

.
Teorema 35. Si {x
n
} es una sucesin en el espacio mtrico compacto X, entonces {x
n
} tiene
un punto de acumulacin en X.
Demostracin. Sea E el campo de variabilidad de {x
n
}.
Si E es nito, debe haber un punto p E y una sucesin innita {n
k
} de naturales tales que
n
0
< n
1
< . . . y x
n
k
= p para todo k N. Entonces {x
n
k
} es subsucesin de {x
n
} y converge
hacia p E X, por lo que p es un punto de acumulacin de {x
n
}.
Si E es innito, tiene un punto de acumulacin p en X (teor. 22). Sea n
0
tal que d(p, x
n
0
) < 1.
Elijamos n
1
tal que n
1
> n
0
y d(p, x
n
1
) < 1/2 (tal eleccin es posible pues hay una cantidad
innita de m tales que d(p, x
m
) < 1/2). Continuando de esta manera, para cada k N elijamos
n
k
tal que n
k
> n
k1
y d(p, x
n
k
) < 1/(k + 1). Entonces {x
n
k
}
kN
es una subsucesin de {x
n
}
que converge a p, de donde p es punto de acumulacin de {x
n
}.
Teorema 36. Los espacios mtricos compactos son completos.
Demostracin. Sea (X, d) un espacio mtrico compacto, y {x
n
} una sucesin de Cauchy en
X. {x
n
} tiene un punto de acumulacin p en X (teor. 35). Sea {x
n
k
} una sucesin tal que
lm
k
x
n
k
= p. Veamos que lm
n
x
n
= p: para > 0, sea N
1
N tal que m, n
N
1
, d(x
m
, x
n
) < /2, y N
2
N tal que k N
2
, d(p, x
n
k
) < /2. Sea N = m ax{N
1
, N
2
}. Notar
que, siendo n
N
N, ser n
N
N
1
; adems, N N
2
. Para m N (y por tanto m N
1
), se
tiene d(p, x
m
) d(p, x
n
N
) + d(x
n
N
, x
m
) < .
Teorema 37. Sea X un espacio mtrico compacto, y {V
n
}
nN
una familia de subconjuntos
abiertos densos en X. Luego,

nN
V
n
es densa en X.
Demostracin. Sean x X y > 0 arbitrarios. Debemos mostrar que hay un y

nN
V
n
tal
que d(x, y) < (prop. 4).
Hagamos x
0
= x y
0
= /2. Por la Proposicin 13, para cada n 1, existe x
n
X y
n
> 0
tal que
B

n
(x
n
)
_
n1

k=0
V
k
_
B

n1
(x
n1
)
Por ser X compacto, la sucesin {x
n
} tiene un punto de acumulacin y X (teor. 35). Se
cumple
B

0
(x
0
) B

1
(x
1
) B

2
(x
2
)
por lo que y B

n
(x
n
) V
n
para todo n. Luego, y

nN
V
n
. Ya que y B

0
(x
0
) B

(x), se
sigue que d(x, y) < .
14
3.2. Lmites superior e inferior
Un caso particular es el del espacio mtrico de los reales con la mtrica usual. Decimos que
una sucesin de nmeros reales {x
n
} converge a si M R, N N : n N, x
n
M.
Anlogamente, lm
n
x
n
= si M R, N N : n N, x
n
M.
Sea {x
n
} una sucesin de nmeros reales, y E el conjunto de sus puntos de acumulacin. Se
dene el lmite superior de {x
n
} como lmsup x
n
= sup E, y el lmite inferior de {x
n
} como
lminf x
n
= nf E. A la luz de la Proposicin 12 y del Teorema 34, se verica que lmsup x
n
pertenece a E, as como lminf x
n
.
Proposicin 38. lmsup x
n
= si, y slo si, {x
n
} no est acotada superiormente.
Demostracin. Si lmsup x
n
= , hay una subsucesin {x
n
k
} que converge a . Sea M R.
Existe un k N tal que x
n
k
> M. Como x
n
k
es un trmino de {x
n
}, sta es no acotada.
Recprocamente, sea {x
n
} no acotada superiormente. Luego hay un n
0
tal que x
n
0
> 0.
Notar que la sucesin {x
n
0
+1
, x
n
0
+2
, . . .} es no acotada. Por ello, existe n
1
> n
0
tal que x
n
1
>
1. Similarmente, para cada k > 1, hay un n
k
> n
k1
tal que x
n
k
> k (pues la sucesin
{x
n
k1
+1
, x
n
k1
+2
, . . .} es no acotada. Entonces la subsucesin {x
n
k
} as formada converge a ,
por lo que lmsup x
n
= .
Proposicin 39. Si t > lmsup x
n
, existe N N tal que para todo n N, x
n
< t.
Demostracin. Sea s = lmsup x
n
. Si s = , no hay nada que probar. Si s R, {x
n
} es
acotada superiormente. Sea M R tal que n N, x
n
< M. Supongamos que el enunciado
fuese falso, es decir, supongamos que N N, n N : x
n
t. Sea n
0
tal que x
n
0
t. Sea
n
1
n
0
+ 1 tal que x
n
1
t. Continuando de este modo, encontramos una subsucesin {x
n
k
}
ntegramente contenida en el compacto [x, M]. Esa subsucesin tiene un punto de acumulacin
en [x, M] (teor. 35) que tambin es punto de acumulacin de {x
n
}, pero mayor que lmsup x
n
.
Contradiccin.
Consideraciones anlogas valen para lminf x
n
.
4. Funciones entre espacios mtricos
4.1. Lmite de una funcin
Sean (X, d
X
), (Y, d
Y
) dos espacios mtricos, E X, f una funcin de E en Y , p un
punto de acumulacin de E y q Y . Decimos que el lmite de f cuando x tiende a p es q
si > 0, > 0 : x E, 0 < d
X
(x, p) < d
Y
(f(x), q) < . En ese caso, escribimos
lm
xp
f(x) = q.
Notar que no es necesario que p E para poder hablar de lmite cuando x tiende a p.
Adems, an estando denida la funcin en p, podra ocurrir que f(p) = q.
Teorema 40. Sean X, Y, E, p, q, f como en la denicin anterior. Se tiene que lm
xp
f(x) = q
si, y slo si, lm
n
f(x
n
) = q para toda sucesin {x
n
} en E {p} que converja a p.
Demostracin. Supongamos que lm
xp
f(x) = q. Sea {x
n
} una sucesin en E {p} tal que
lm
n
x
n
= p. Sea > 0. Existe > 0 : 0 < d
X
(x, p) < d
Y
(f(x), q) < . Correspondiente
a ese > 0, existe N N : n N, d
X
(x
n
, p) < . Luego, si n N, se tiene que d
Y
(f(x
n
), q) <
, por lo que lm
n
f(x
n
) = q. Esto demuestra la necesidad de la condicin.
Supongamos ahora que lm
xp
f(x) = q. Entonces existe > 0 : > 0, x X tal
que d
X
(x, p) < pero d
Y
(f(x), q) . En particular, para cada n N, existe x
n
tal que
d
X
(x
n
, p) < 1/(n + 1) pero d
Y
(f(x
n
), q) . Ya que lm
n
d
X
(x
n
, p) = 0, tenemos que {x
n
}
converge a p. Sin embargo, lm
n
f(x
n
) = q. Esto demuestra la suciencia de la condicin.
15
Corolario 41. Si una funcin tiene lmite cuando x tiende a p, el lmite es nico.
Demostracin. La conclusin se sigue de los Teoremas 28 (inciso 2) y 40.
Supongamos que (X
1
, d
1
), (X
2
, d
2
) y (X
3
, d
3
) son tres espacios mtricos, que f es una funcin
de D
1
X
1
en X
2
y que g es una funcin de D
2
X
2
en X
3
, con f(D
1
) D
2
. La funcin
compuesta g f : D
1
X
3
est bien denida. Supongamos que p es punto de acumulacin
de D
1
y que lm
xp
f(x) = L
1
. Supongamos tambin que L
1
es punto de acumulacin de D
2
,
y que lm
xL
1
g(x) = L
2
. Resulta entonces natural preguntarse por la existencia del lmite
de la composicin cuando x tiende a p. Lo primero que la intuicin nos hace pensar es que
lm
xp
g(f(x)) existe y vale tambin L
2
. Sin embargo...
Ejemplo 42. Sea X
1
= X
2
= X
3
= R con la mtrica eucldea. Sean f y g las funciones de R
en R dadas por
f(x) = 0 g(x) =
_
1 si x = 0
0 si x = 0
Observemos que lm
x0
f(x) = 0 = lm
x0
g(x), pero g f es la funcin constante igual a 1,
por lo que lm
x1
g(f(x)) = 1.
Reconociendo la equivocacin en nuestra intuicin, podramos pensar entonces que el lmite
de la composicin debe existir cuando x tiende a p, an sin ser igual a L
2
. Sin embargo...
Ejemplo 43. Sea X
1
= X
2
= X
3
= R con la mtrica eucldea. Sean f y g las funciones de R
en R dadas por
f(x) =
_
0 si x Q
x si x / Q
g(x) =
_
1 si x = 0
0 si x = 0
Observemos que f(x) = 0 si, y slo si, x Q. Tenemos que lm
x0
f(x) = 0 = lm
x0
g(x),
pero
g(f(x)) =
_
1 si f(x) = 0
0 si f(x) = 0
=
_
1 si x Q
0 si x / Q
de modo que no existe lmite de la composicin cuando x tiende a 0.
Veremos luego que, bajo ciertas condiciones sobre la funcin g, el lmite efectivamente existe.
4.2. Continuidad
Sean (X, d
X
), (Y, d
Y
) dos espacios mtricos, E X, f una funcin de E a Y y p E.
Decimos que la funcin f es continua en p si > 0, > 0 : x E, d
X
(x, p) <
d
Y
(f(x), f(p)) < . Si f es continua en todo punto de E, decimos que f es continua en E.
Ntese que, para p E, f es continua en p si, y slo si, para todo > 0, existe > 0 tal
que f
_
E B
X

(p)
_
B
Y

(f(p)).
Observar que, para que f sea continua en p, f debe estar denida en p.
Si p es un punto aislado de E, f es continua en p. Si p es un punto de acumulacin de E, se
tiene que f es continua en p si, y slo si, lm
xp
f(x) = f(p). En consecuencia, si f es continua
en p y {x
n
} es una sucesin que converge a p, se tiene que lm
n
f(x
n
) = f(p) (teor. 40),
lo cual suele recordarse diciendo que los procesos de tomar lmite de sucesin y evaluar f son
intercambiables: lm
n
f(x
n
) = f (lm
n
x
n
).
Proposicin 44. Sean (X
1
, d
1
), (X
2
, d
2
) y (X
3
, d
3
) tres espacios mtricos. Supongamos que f
es una funcin de D
1
X
1
en X
2
y que g es una funcin de D
2
X
2
en X
3
, con f(D
1
) D
2
.
Supongamos tambin que p es punto de acumulacin de D
1
, que lm
xp
f(x) existe, y que g es
continua en l. Entonces, lm
xp
g(f(x)) = g( lm
xp
f(x)).
16
Demostracin. Llamemos L
1
= lm
xp
f(x). Por la continuidad de g en L
1
, tenemos que
lm
L
1
g() = g(L
1
). Sea > 0. Existe r > 0 tal que si d
2
(, L
1
) < r, entonces d
3
(g(), g(L
1
)) <
. Correspondiente a ese r > 0, existe > 0 tal que si 0 < d
1
(x, p) < y x D
1
, entonces
d
2
(f(x), L
1
) < r. En consecuencia, para todo x D
1
tal que 0 < d
1
(x, p) < , se tiene que
d
3
_
g(f(x)), g(L
1
)
_
< . Esto muestra que lm
xp
g(f(x)) = g(L
1
), segn queramos probar.
Teorema 45. Sean f : X Y continua en p X y g : Y Z continua en f(p). Entonces
g f es continua en p.
Demostracin. Si p es punto aislado de X o f(p) es punto aislado de Y , la continuidad de
g f en p es inmediata. Si p es punto de acumulacin de D
1
, por prop. 44, tenemos que
lm
xp
g(f(x)) = g( lm
xp
f(x)) = g(f(p)). Luego, g f es continua en p.
Proposicin 46. Sea f : X Y continua en p, y sea S X tal que p S. Entonces, f|
S
es
continua en p.
Demostracin. Sea > 0. Hay un > 0 tal que si x B
X

(p), f(x) B
Y

(f(p)). Veamos
que para todo x B
S

(p), f|
S
(x) B
Y

(f|
S
(p)): si x B
S

(p), x B
X

(p) y x S; luego
f(x) B
Y

(f(p)); ya que p y x estn en S, es f|

S
(x) = f(x) y f|
S
(p) = f(p); entonces
f|
S
(x) B
Y

(f|
S
(p)). Por lo tanto, f|
S
es continua en p.
Teorema 47. Sea f una funcin del espacio mtrico X al espacio mtrico Y , y x
0
un punto
en X. f es continua en x
0
si, y slo si, para todo subconjunto V de Y que sea abierto en Y y
que contenga a f(x
0
), x
0
es un punto interior de f
1
(V ).
Demostracin. Supongamos f continua en x
0
. Sea V un subconjunto abierto de Y tal que
f(x
0
) V . Existe > 0 tal que B
Y

(f(x
0
)) V . Por continuidad de f en x
0
, existe > 0 tal
que f
_
B
X

(x
0
)
_
B
Y

(f(x
0
)) V . Es decir, B
X

(x
0
) f
1
(V ), con lo cual resulta que x
0
es
un punto interior de f
1
(V ).
Supongamos ahora que x
0
es un punto interior de f
1
(V ) siempre que V es un subconjunto
abierto de Y que contenga a f(x
0
). Sea > 0. Tomando V = B
Y

(f(x
0
)), que es abierto y
contiene a f(x
0
), por nuestra hiptesis tenemos que x
0
es punto interior de f
1
(V ), es decir,
existe > 0 tal que B
X

(x
0
) f
1
(V ). Por lo tanto, f
_
B
X

(x
0
)
_
f
_
f
1
_
B
Y

(f(x
0
))
__

B
Y

(f(x
0
)). Entonces f es continua en x
0
.
Corolario 48. Sea f una funcin del espacio mtrico X al espacio mtrico Y . f es continua en
X si, y slo si, para todo subconjunto V de Y que sea abierto en Y , f
1
(V ) es un subconjunto
abierto de X.
Demostracin. Para la ida, sea V abierto en Y , y tomemos x f
1
(V ). Como f(x) V y f es
continua, x es punto interior de f
1
(V ) (teor. 47), y ya que x es arbitrario se sigue que f
1
(V )
es abierto en X. Para la vuelta, sea x X, y sea V un abierto en Y que contenga a f(x). Por
hiptesis, f
1
(V ) es abierto en X y contiene a x; por lo tanto, x es punto interior de f
1
(V ), de
donde f es continua en x (teor. 47). Como x es arbitrario, f es continua en todo su dominio.
Corolario 49. Sea f una funcin del espacio mtrico X al espacio mtrico Y . f es continua en
X si, y slo si, para todo subconjunto V de Y que sea cerrado en Y , f
1
(V ) es un subconjunto
cerrado de X.
Demostracin. Para la ida, sea V un cerrado en Y . Entonces V
c
es abierto en Y , por lo que,
siendo f continua, es f
1
(V
c
) abierto en X. Pero f
1
(V
c
) = [f
1
(V )]
c
. Luego, [f
1
(V )]
c
es
abierto en X, y entonces f
1
(V ) es cerrado en X.
17
Para la vuelta, sea U abierto en Y . Entonces, U
c
es cerrado en Y , por lo que, de acuerdo a
la hiptesis, es f
1
(U
c
) cerrado en X, es decir, [f
1
(U)]
c
es cerrado en X, de donde f
1
(U) es
abierto en X. Habiendo demostrado que la preimagen de cualquier abierto de Y es un abierto
en X, tenemos que f es continua (teor. 48).
Teorema 50. Sea f una funcin continua de X en Y , y K un subconjunto compacto de X.
f(K) es un subconjunto compacto de Y .
Demostracin. Sea {V
i
}
iI
un cubrimiento por abiertos para f(K). La familia {f
1
(V
i
)}
iI
es cubrimiento para K, pues

iI
V
i
f(K) y por lo tanto

iI
f
1
(V
i
) = f
1
_
iI
V
i
_

f
1
(f(K)) K. Adems, cada f
1
(V
i
) es abierto en X (teor. 48). Luego, {f
1
(V
i
)}
iI
posee un
subcubrimiento nito para K, digamos {f
1
(V
i
1
), . . . , f
1
(V
i
n
)}. Es decir, K

n
j=1
f
1
(V
i
j
) =
f
1

n
j=1
V
i
j
. De all, f(K) f
_
f
1
_

n
j=1
V
i
j
__


n
j=1
V
i
j
, por lo que {V
i
1
, . . . , V
i
n
} es
subcubrimiento nito para f(K).
La funcin continua f(x) = x con dominio el intervalo (0, 1) no alcanza en ese conjunto un
extremo (por ejemplo, no hay ningn a en (0, 1) tal que para todo x (0, 1) sea f(x) f(a)).
El siguiente corolario muestra que esta situacin no puede darse si el dominio de denicin de
f es un compacto; concretamente, expresa el hecho de que si una funcin continua a valores
reales tiene como dominio de denicin un conjunto compacto, entonces la funcin alcanza
un mximo y un mnimo en puntos del conjunto compacto, y en consecuencia una funcin a
valores reales continua denida sobre un compacto es una funcin acotada. Este resultado se
usar frecuentemente en los captulos que siguen.
Corolario 51. Sea f una funcin continua del espacio mtrico (X, d) en (R, eucldea), y K un
subconjunto compacto de X. Entonces, existen x
m
, x
M
K tales que para todo x K, f(x
m
)
f(x) f(x
M
).
Demostracin. Sea S = sup f(K). Se tiene que para todo x K, f(x) S. f(K) es compacto
(teor. 50), y entonces cerrado, en R. De all que S f(K) (prop. 12), es decir, existe x
M
K
tal que f(x
M
) = S. Luego, para todo x K, es f(x) f(x
M
). Lo referente a x
m
es anlogo.
Teorema 52. Sea f una funcin continua biyectiva del espacio mtrico compacto X al espacio
mtrico Y . Entonces, la funcin inversa de f es una funcin continua de Y en X.
Demostracin. Sea g la funcin inversa de f. Tomemos un conjunto abierto V en X. V
c
es
cerrado en el compacto X, luego, V
c
es compacto (teor. 17), de donde f (V
c
) es un subconjunto
compacto (teor. 50), y por lo tanto cerrado, de Y . Pero por ser f biyectiva, se tiene que
f (V
c
) = f(V )
c
, por lo que f(V ) es abierto en Y . Adems, g
1
(V ) = {y Y : g(y) V } =
{y Y : f
1
(y) V } = {y Y : y f(V )} = f(V ). Entonces, g
1
(V ) es abierto en Y , y g
1
es continua en Y (teor. 48).
Teorema 53. Sea f una funcin continua del espacio mtrico X en el espacio mtrico Y , y E
un subconjunto conexo de X. f(E) es un subconjunto conexo de Y .
Demostracin. Supongamos que f(E) = A B con A y B subconjuntos no vacos separados
en Y . Hagamos G = E f
1
(A), y H = E f
1
(B). Luego E = G H y G = = H. Como
A A, resulta G f
1
(A), siendo este ltimo conjunto cerrado pues A es cerrado y f es
continua. Luego G f
1
(A) (teor. 11), por lo que f(G) A. Como f(H) = B y A B = ,
ser G H = . Por un razonamiento anlogo, G H = . Entonces G y H son separados, lo
que contradice la conexidad de E.
18
4.3. Equivalencia mtrica y homeomorsmo
Sobre un conjunto X cualquiera puede haber denidas varias mtricas. Por ejemplo, en
el caso de R
2
, una mtrica puede ser la eucldea d
e
y otra la de Manhattan d
M
, denidas
respectivamente as, para x = (x
1
, x
2
), y = (y
1
, y
2
):
d
e
(x, y) =
_
(x
1
y
1
)
2
+ (x
2
y
2
)
2
d
M
(x, y) = |x
1
y
1
| +|x
2
y
2
|
En este ejemplo, ambas mtricas dan aproximadamente la misma idea de distancia: dos puntos
cercanos (o lejanos) segn una de ellas tambin estarn cerca (o lejos) segn la otra. Pero
no siempre ocurrir as. Esto lleva a la siguiente denicin:
Dos mtricas d
1
y d
2
para un espacio mtrico X se dicen equivalentes si existen dos
constantes reales c
1
y c
2
con 0 < c
1
< c
2
tales que, para todos x, y X con x = y se tiene que
c
1

d
1
(x, y)
d
2
(x, y)
c
2
En el caso de R
2
con las mtricas eucldea y de Manhattan, podemos tomar c
1
= 1/2 y
c
2
= 1 para vericar que ambas son equivalentes. Un ejemplo de mtricas no equivalentes es
X = R
2
{(0, 0)}, d
1
la mtrica eucldea, y d
2
(x, y) = | |x| |y| | + ||, siendo el menor de
los ngulos determinados por los vectores x e y.
Dos espacios mtricos (X
1
, d
1
) y (X
2
, d
2
) se dicen equivalentes si existe una funcin h :
X
1
X
2
biyectiva tal que la mtrica

d
1
para X
1
denida por

d
1
(x, y) = d
2
(h(x), h(y)) es
equivalente a la mtrica d
1
.
Dos espacios mtricos (X
1
, d
1
) y (X
2
, d
2
) se dicen homeomorfos si existe una funcin
h : X
1
X
2
continua y biyectiva cuya inversa es tambin una funcin continua.
El concepto de espacios mtricos homeomorfos es ms dbil que el de equivalentes: dos
espacios equivalentes son homeomorfos. La recproca no es cierta: tomando X
1
= N y X
2
=
_
1
n
: n N
_
, ambos con la mtrica eucldea, vemos que ambos son homeomorfos (h(x) = 1/x)
pero no equivalentes.
Hay muchas propiedades que se conservan por equivalencia mtrica. Por ejemplo, si dos
espacios son equivalentes y uno de ellos es completo, el otro tambin lo es.
5. Sistemas de Funciones Iteradas
Ahora veremos un excelente ejemplo de cmo el contexto de los espacios mtricos permite
explicar un fenmeno de aparicin bastante reciente: la generacin de imgenes fractales por
medio de sistemas de funciones iteradas. Primero veremos el mecanismo al para generar tales
imgenes, que es muy sencillo de entender, y puede ser resumido en los siguientes pasos:
1. Escoger una cantidad n de transformaciones contractivas del plano complejo (por ejemplo,
transformaciones lineales de la forma az + b con |a| < 1), digamos w
1
, w
2
, . . . , w
n
. El
conjunto cuyos elementos son estas transformaciones se llama un sistema de funciones
iteradas, abreviado SFI.
2. Elegir cualquier conjunto compacto para la mtrica eucldea (es decir, cerrado y acotado)
no vaco de nmeros complejos, digamos B C. Tal B recibe el nombre de conjunto
inicial, y podra ser, por ejemplo, B = {0}.
3. A partir del SFI y del conjunto inicial, generar una sucesin B
0
, B
1
, B
2
, . . . de subconjuntos
del plano del siguiente modo:
B
0
= B
B
k
= w
1
(B
k1
) w
2
(B
k1
) w
n
(B
k1
) (para k > 0)
19
Resulta que conforme k se hace cada vez ms grande, B
k
se hace tanto ms parecido a un
determinado conjunto que tiene, en general, la caracterstica fractal de la autosimilaridad. Ese
conjunto lmite se denomina atractor del sistema de funciones iteradas, y tiene la sorprendente
caracterstica de que no depende del conjunto inicial del cual arranca el proceso iterativo.
Por ejemplo, para un SFI de tres transformaciones dadas por
w
1
(z) =
z
2
w
2
(z) =
z+1
2
w
3
(z) =
z+i
2
y conjunto inicial B
0
= {i}, algunos elementos de la sucesin {B
k
}
kN
se muestran en la gura
siguiente.
B
0
B
4
B
6
B
8
En relacin al atractor de un sistema de funciones iteradas, adems de la autosimilaridad,
son destacables tres propiedades: existencia, unicidad e independencia del conjunto inicial;
esbozaremos aqu las ideas principales que llevan a su demostracin. Aclaramos ante todo que
en este mecanismo, el espacio de los complejos con la mtrica eucldea puede ser reemplazado
por cualquier espacio mtrico completo sin alterar la esencia del fenmeno. Slo a los nes de
una mejor comprensin intuitiva es que trabajamos con los complejos.
Denicin 54. Sea (X, d) un espacio mtrico, y f una funcin de X en X. Se dice que f es
una transformacin contractiva en X (o una contraccin en X) si existe un nmero real
s [0, 1) tal que
x
1
, x
2
X, d (f(x
1
), f(x
2
)) s d(x
1
, x
2
)
Un tal s se llama un factor de contractividad para f.
Denicin 55. Sea f una funcin de X en X, y k un natural.
Un punto x
0
X se dice punto jo para f si f(x
0
) = x
0
.
La k-sima iteracin de f, denotada f
[k]
, se dene recursivamente como:
f
[0]
es la funcin identidad.
f
[k+1]
= f f
[k]
para cualquier k 0.
Para x
0
X, la rbita de x
0
bajo f es la sucesin
_
f
[n]
(x
0
)
_
nN
.
Es decir, f
[k]
es la composicin de f consigo misma k veces (con la convencin de que
componer una funcin consigo misma 0 veces es la identidad). La rbita de x
0
bajo f es la
sucesin x
0
, f(x
0
), f(f(x
0
)), f
_
f(f(x
0
))
_
, . . .
Dado un espacio mtrico y una funcin en l, resulta natural preguntarse cmo evoluciona
el espacio por aplicacin reiterada de la funcin (es decir, cmo se comportan las iteraciones
de la funcin, hacia qu destino convergen las rbitas, etc.). El siguiente resultado, conocido
como Teorema del Punto Fijo de las Transformaciones Contractivas, resulta clave para explicar
el fenmeno de convergencia hacia el atractor en el caso de los sistemas de funciones iteradas.
20
Teorema 56. Sea f : X X una contraccin del espacio mtrico completo (X, d). Entonces,
f posee un nico punto jo x
f
X, que adems satisface que
para todo x X, lm
k
f
[k]
(x) = x
f
Su demostracin ser guiada a travs de ejercicios.
5.1. El espacio mtrico de los fractales
Nuestro objetivo es explicar, matemticamente, la convergencia de la sucesin B
0
, B
1
, B
2
, . . .
hacia el atractor. Para ello, construiremos un espacio mtrico en el que los elementos sean guras
del plano complejo, y la distancia mida, de alguna manera, el parecido entre dos guras. Luego
veremos cmo los SFI inducen contracciones en ese espacio, y nalmente, por aplicacin del
Teorema del Punto Fijo, justicaremos la convergencia del proceso iterativo.
El primer paso para denir una distancia en ese espacio mtrico comienza con la denicin
de distancia desde un punto hasta un conjunto, en el plano complejo.
Denicin 57. Dado z
0
C y B C, la distancia desde z
0
hasta B es
d
p
(z
0
, B) =nf {|z z
0
| : z B}
Por ejemplo, si z
0
= 2i y B = {z C : |z| 1}, entonces d
p
(z
0
, B) = 1, existiendo en este
caso un complejo z

B tal que d
p
(z
0
, B) = |z

z
0
| (z

= i). Pero si tomramos z

0
= 2i y
B = {z C : |z| < 1}, tendramos que d
p
(z
0
, B) es tambin 1, pero ningn z

B cumple que
d
p
(z
0
, B) = |z

z
0
|.
Proposicin 58. Sea B compacto no vaco y z
0
C. Entonces, existe z

B tal que
d
p
(z
0
, B) = |z

z
0
|.
Demostracin. Consideremos la funcin dada por f(z) = |z z
0
|. Tenemos que f (B) =
{|z z
0
| : z B} y que nf f (B) = d
p
(z
0
, B). La funcin f es continua en C (teorema 45), y,
siendo B compacto, f (B) es tambin compacto (teorema 50), de donde nf f (B) f (B) (pue-
de deducirse de la proposicin 12), lo que implica que existe z

B tal que f (z

) =nf f (B),
es decir, |z

z
0
| = d
p
(z
0
, B).
El resultado anterior nos dice que si B es compacto, la distancia entre z
0
y B se alcanza en
al menos un punto de B. Por eso, si nos restringimos a conjuntos compactos, el nmo invocado
en la denicin de distancia puede ser reemplazado por mnimo.
Observacin 59. Para B compacto no vaco y z
0
C, se tiene que d
p
(z
0
, B) = 0 si, y slo si,
z
0
B: para la ida, si z
0
/ B, sea z

B tal que d
p
(z
0
, B) = |z

z
0
| (prop. 58). Dado que
z

= z
0
, es |z

z
0
| > 0, de donde d
p
(z
0
, B) = 0.
Para la vuelta, si z
0
B, entonces
0 d
p
(z
0
, B) =nf {|z z
0
| : z B} |z
0
z
0
| = 0
as que d
p
(z
0
, B) = 0.
Proposicin 60. Sean B y C conjuntos compactos no vacos, y z
0
C. Si B C, entonces
d
p
(z
0
, B) d
p
(z
0
, C).
Demostracin. Sea z

B tal que d
p
(z
0
, B) = |z

z
0
|. Como B C, z

C y entonces
d
p
(z
0
, C) =nf {|z z
0
| : z C} |z

z
0
| = d
p
(z
0
, B)
como queramos demostrar.
21
Lema 61. Sea B un subconjunto compacto no vaco de C. Denamos la funcin f : C C
mediante f(z) = d
p
(z, B). Entonces, f es continua en C.
Demostracin. Debemos ver que
z
0
C, > 0, > 0 : z C, |z z
0
| < |f(z) f (z
0
)| <
Sean z
0
y dados. Tomemos = , y supongamos que z cumple que |z z
0
| < .
Sabemos que para todo w B, |z
0
w| |z
0
z| +|z w|, por lo que
mn {|z
0
w| : w B} |z
0
z| + mn {|z w| : w B}
y entonces d
p
(z
0
, B) |z
0
z| + d
p
(z, B), es decir, d
p
(z
0
, B) d
p
(z, B) < .
Anlogamente, para todo w B, |z w| |z z
0
| +|z
0
w|, por lo que
mn {|z w| : w B} |z z
0
| + mn {|z
0
w| : w B}
y entonces d
p
(z, B) |z z
0
| + d
p
(z
0
, B), es decir, d
p
(z
0
, B) d
p
(z, B) > .
Juntando las dos desigualdades arriba demostradas, tenemos que
< d
p
(z
0
, B) d
p
(z, B) <
de donde |f (z) f (z
0
)| < .
El segundo paso hacia la denicin de distancia entre guras del plano consiste en denir
una cuasidistancia entre dos subconjuntos del plano complejo, de la siguiente manera.
Denicin 62. Sean A, B subconjuntos del plano complejo. La cuasidistancia entre A y B
es
d
c
(A, B) = sup {d
p
(z
0
, B) : z
0
A}
Por ejemplo, si A = {z C : |z| 1} y B = {z C : |z| 2}, entonces d
c
(A, B) = 0 (pues,
de la observacin 59, z
0
A, d
p
(z
0
, B) = 0) y d
c
(B, A) = 1. Como vemos, no se cumple el
axioma de simetra ni el primer axioma de distancia, pero luego veremos que se cumple la
desigualdad triangular, y de ah el prejo cuasi; entonces, d
c
nos servir para construir una
adecuada forma de medir distancias entre guras. Veamos primero que si A y B son ambos
compactos no vacos, d
c
(A, B) se alcanza entre puntos de ambos conjuntos.
Proposicin 63. Si A y B son subconjuntos compactos no vacos del plano complejo, entonces
existen z
1
A, z
2
B tales que d
c
(A, B) = |z
1
z
2
|.
Demostracin. Sea f : C C denida por f(z) = d
p
(z, B). La funcin f es continua (lema
61) y se tiene que {d
p
(z
0
, B) : z
0
A} = f (A). Siendo A compacto, se tiene que sup f (A)
f (A) (proposicin 12), es decir, existe z
1
A tal que f (z
1
) = sup f (A), lo cual implica que
d
p
(z
1
, B) = d
c
(A, B). Pero adems, de la proposicin 58, existe z
2
B tal que d
p
(z
1
, B) =
|z
1
z
2
|. Concluimos entonces que d
c
(A, B) = |z
1
z
2
| en donde z
1
A y z
2
B.
Como vemos, la compacidad de conjuntos juega un rol importante en las propiedades de d
p
y d
c
. Adems, como veremos despus, cada conjunto de la sucesin {B
k
}
kN
es compacto y no
vaco. Nos restringiremos, entonces, a esa clase de conjuntos (los compactos no vacos) de C
para buscar una buena manera de medir distancias entre conjuntos.
Denicin 64. El espacio de los fractales es el conjunto H denido por
H = {B C : B es compacto y B = }
22
Antes de denir una distancia para H, deduciremos propiedades adicionales de d
c
.
Proposicin 65. A, B H, d
c
(A, B) R
+
0
.
Demostracin. Dados A, B H, por proposicin 63, existen z
1
A, z
2
B que verican que
d
c
(A, B) = |z
1
z
2
| 0.
Proposicin 66. A H, d
c
(A, A) = 0.
Demostracin. Dado A H, d
c
(A, A) = sup {d (z
0
, A) : z
0
A} = sup{0} = 0.
Proposicin 67. A, B, C H, d
c
(A, B) d
c
(A, C) + d
c
(C, B).
Demostracin. De la propiedad triangular de mdulos, sabemos que
a A, b B, c C, |a b| |a c| +|c b|
Luego,
a A, c C,nf {|a b| : b B} |a c| +nf {|c b| : b B}
de donde
a A, c C, d
p
(a, B) |a c| + d
p
(c, B)
Ahora sea a A. Elijamos c

C tal que d
p
(a, C) = |a c

| (proposicin 58). Tenemos

que
d
p
(a, B) |a c

| + d
p
(c

, B) = d
p
(a, C) + d
p
(c

, B)
d
p
(a, C) + sup {d
p
(c, B) : c C} = d
p
(a, C) + d
c
(C, B)
Puesto que a es arbitrario en A, se tiene que
a A, d
p
(a, B) d
p
(a, C) +d
c
(C, B)
as que
d
c
(A, B) = sup {d
p
(a, B) : a A}
sup {d
p
(a, C) : a A} + d
c
(C, B) = d
c
(A, C) + d
c
(C, B)
segn desebamos demostrar.
Proposicin 68. Sean A, B, C H. Si B C, entonces d
c
(A, B) d
c
(A, C).
Demostracin. Para cualquier z
0
A, tenemos que d
p
(z
0
, B) d
p
(z
0
, C) (proposicin 60).
Luego, sup {d
p
(z
0
, B) : z
0
A} sup {d
p
(z
0
, C) : z
0
A}, lo que demuestra el enunciado.
Ahora ya estamos en condiciones de denir una distancia entre elementos de H que capture
adecuadamente cun parecidas son dos guras de ese conjunto.
Denicin 69. Para A, B H, se dene la distancia entre A y B mediante
h(A, B) = m ax {d
c
(A, B) , d
c
(B, A)}
Teorema 70. La funcin h : H H R
+
0
anteriormente denida es efectivamente una
distancia para el espacio H. En consecuencia, (H, h) es un espacio mtrico.
Demostracin.
23
1. Dados A, B H, d
c
(A, B) y d
c
(B, A) son nmeros reales no negativos (proposicin 65),
luego h(A, B) tambin lo es.
2. De la proposicin 66, h(A, A) = m ax {d
c
(A, A) , d
c
(A, A)} = 0. Adems, si A = B,
podemos suponer, sin prdida de generalidad, que existe a AB. Luego, d
p
(a, B) > 0
(observacin 59), as que h(A, B) d
c
(A, B) d
p
(a, B) > 0. En sntesis, tenemos que
h(A, B) = 0 si, y slo si, A = B.
3. Dados A, B H, tenemos que
h(A, B) = m ax {d
c
(A, B) , d
c
(B, A)}
= m ax {d
c
(B, A) , d
c
(A, B)} = h(B, A)
de donde vemos que se cumple el axioma de simetra.
4. Dados A, B, C H, recordando la proposicin 67, tenemos que
h(A, B) = m ax {d
c
(A, B) , d
c
(B, A)}
m ax {d
c
(A, C) + d
c
(C, B) , d
c
(B, C) + d
c
(C, A)}
m ax {d
c
(A, C) , d
c
(C, A)} + m ax {d
c
(B, C) , d
c
(C, B)}
= h(A, C) + h(C, B)
y entonces se cumple la propiedad triangular.
Con no poco trabajo y consideraciones ms especcas de los espacios mtricos, es factible
mostrar el siguiente resultado, que nosotros admitiremos sin demostracin.
Teorema 71. El espacio mtrico (H, h) es completo.
5.2. Atractores
Ms arriba hemos visto que el proceso iterativo de un SFI consiste en generar una sucesin
de conjuntos aplicando reiteradamente la unin de transformados w
1
(B
k1
) w
n
(B
k1
).
Formalmente, estamos considerando la transformacin
W : H H
W (B) = w
1
(B) w
n
(B)
Para ver que efectivamente W (B) H toda vez que B H, empecemos recordando que
cada w
j
es una transformacin contractiva en C.
Lema 72. Si w : C C es contractiva, entonces es continua en C.
Demostracin. Sea s un factor de contractividad para w. Tomemos z
0
C, y jemos >
0. Hagamos = /s. Si |z z
0
| < , por ser w contractiva tenemos que |w(z) w(z
0
)|
s |z z
0
| < , mostrando que w es continua en z
0
. Puesto que z
0
se eligi arbitrariamente, w
es continua en C.
Proposicin 73. Si w
1
, . . . , w
n
son transformaciones contractivas de C en C y B H, enton-
ces w
1
(B) w
n
(B) H.
24
Demostracin. Puesto que B es compacto no vaco y que para cada j {1, . . . , n}, w
j
es
continua (lema 72), cada w
j
(B) es compacto no vaco (teorema 50), de donde w
1
(B)
w
n
(B) es no vaco, y compacto pues es unin nita de conjuntos cerrados y acotados (teorema
9).
La transformacin W denida ms arriba no slo est bien denida en H, sino que, ms
an, es contractiva.
Lema 74. Sean A, B, C, D H. Entonces,
h(A B, C D) m ax {h(A, C) , h(B, D)}
Demostracin. Notemos que
d
c
(A B, C) = sup {d
p
(z
0
, C) : z
0
A B}
= m ax {sup {d
p
(z
0
, C) : z
0
A} , sup {d
p
(z
0
, C) : z
0
B}}
= m ax {d
c
(A, C) , d
c
(B, C)}
Luego, teniendo presente la proposicin 68,
h(A B, C D) = m ax {d
c
(A B, C D) , d
c
(C D, A B)}
= m ax {m ax {d
c
(A, C D) , d
c
(B, C D)} ,
m ax {d
c
(C, A B) , d
c
(D, A B)}}
= m ax {d
c
(A, C D) , d
c
(B, C D) , d
c
(C, A B) , d
c
(D, A B)}
m ax {d
c
(A, C) , d
c
(B, D) , d
c
(C, A) , d
c
(D, B)}
= m ax {m ax {d
c
(A, C) , d
c
(C, A)} , m ax {d
c
(B, D) , d
c
(D, B)}}
= m ax {h(A, C) , h(B, D)}
como queramos demostrar.
Teorema 75. Si w
1
, . . . , w
n
son transformaciones contractivas de C en C, con factores de
contractividad s
1
, . . . , s
n
respectivamente, entonces la transformacin
W : H H
W (B) = w
1
(B) w
n
(B)
es contractiva en (H, h), siendo m ax {s
1
, . . . , s
n
} un factor de contractividad para W.
Demostracin. Por induccin en n 1.
1. Caso n = 1: Sean B, C H. Entonces,
d
c
(W (B) , W (C)) = sup {nf {|w
1
(b) w
1
(c)| : c C} : b B}
sup {nf {s
1
|b c| : c C} : b B}
= s
1
d
c
(B, C)
y similarmente d
c
(W (C) , W (B)) s
1
d
c
(C, B), as que
h(W (B) , W (C)) m ax {s
1
d
c
(B, C) , s
1
d
c
(C, B)}
= s
1
m ax {d
c
(B, C) , d
c
(C, B)} = s
1
h(B, C)
25
2. Paso inductivo: supongamos que hay n + 1 transformaciones contractivas w
1
, . . . , w
n+1
.
Designemos por T a la transformacin de H en H dada por T (B) = w
1
(B) w
n
(B).
Por hiptesis de induccin, T es contractiva con factor s = m ax {s
1
, . . . , s
n
}. Sean B, C
H. Entonces, teniendo presente el lema 74,
h(W (B) , W (C)) = h(T (B) w
n+1
(B) , T (C) w
n+1
(C))
m ax {h(T (B) , T (C)) , h(w
n+1
(B) , w
n+1
C)}
m ax {s h(B, C) , s
n+1
h(B, C)}
m ax {s, s
n+1
} h(B, C)
= m ax {s
1
, . . . , s
n
, s
n+1
} h(B, C)
completando as la demostracin.
Ya estamos en condiciones de demostrar que el proceso iterativo de un SFI converge a un
nico conjunto, independientemente del conjunto inicial.
Teorema 76. Sea {w
1
, . . . , w
n
} un sistema de funciones iteradas. Existe un nico conjunto
A compacto no vaco, denominado el atractor del sistema, tal que para cualquier conjunto
B
0
H, la sucesin {B
0
, B
1
, B
2
, . . .} denida por B
k
= w
1
(B
k1
) w
n
(B
k1
) para todo
k > 0, converge a A en el espacio mtrico (H, h).
Demostracin. Del teorema 75, sabemos que W es una contraccin en el espacio mtrico com-
pleto (H, h). Entonces, por el Teorema del Punto Fijo de las Transformaciones Contractivas,
existe un nico A H tal que W (A) = A, y lm
k
W
[k]
(B
0
) = A cualquiera sea B
0
H.
Por construccin, la sucesin {B
0
, B
1
, B
2
, . . .} cumple que su k-simo trmino (k > 0)
es B
k
= W (B
k1
), y de all que B
k
= W
[k]
(B
0
). Luego, lm
k
B
k
= A, cualquiera sea
B
0
H.
Una consecuencia del resultado anterior es que el atractor A del SFI {w
1
, . . . , w
n
} satisface
A = w
1
(A) w
n
(A)
de donde se ve que si las w
j
son similitudes, entonces el atractor puede verse compuesto de n
copias ms pequeas de s mismo, es decir, goza de la propiedad de autosemejanza.
EJERCICIOS
1. Considerar I = {1, 2, 3}. Sean A
1
= {a, b, c, d}, A
2
= {e, d, b, f, g} y A
3
= {d, e, h},
considerando que el conjunto universal es U = {a, b, c, d, e, f, g, h, m, n}. Obtener

iI
A
i
,

iI
A
i
,

iI
A
c
i
y

iI
A
c
i
.
2. Para x R, se dene A
x
= {x, } en el universo de los reales. Obtener

xR
A
x
,

xR
A
x
.
3. Para n N = {0, 1, 2, 3, . . .}, se denen, en el universo de los reales,
A
n
= {x R : 1 x < n} B
n
=
_
x R :
1
3

1
n + 3
< x <
2
3

1
n + 4
_
C
n
=
_
x R :
n
n + 1
x <
n + 1
n + 2
_
D
n
=
_
x R :
n
n + 1
x
n + 1
n + 2
_
Obtener

nN
A
n
,

nN
A
n
,

nN
B
n
,

nN
B
n
,

nN
C
n
,

nN
C
n
,

nN
D
n
,

nN
D
n
.
26
4. Sean X = {1, 2, 3, 4, 5}, Y = {a, b, c} y f : X Y dada por f(1) = f(4) = b, f(2) =
f(3) = f(5) = c. Considerar A = {1}, B = {2, 3, 5}, C = {a, b}, D = {b}. Obtener
f(A), f(A B), f(A) f(B), f(A B), f(A) f(B), f(X), f
1
(C), f
1
(D), f
1
(Y ),
f
1
(f(A)), f(f
1
(Y )).
5. Demuestre todas las propiedades referidas a conjuntos, funciones, supremos e nmos
enumeradas en la seccin de Preliminares.
6. Para cada una de las siguientes funciones de R
2
en R, decidir si es o no una mtrica para
el conjunto de los nmeros reales:
a) d(x, y) = (x y)
2
b) d(x, y) =

x y
c) d(x, y) = |x
2
y
2
|
d) d(x, y) =
|xy|
1+|xy|
7. Probar que los siguientes pares (X, d) son espacios mtricos:
a) X = R, d(x, y) = |x y|.
b) X un conjunto cualquiera, d(x, y) =
_
0 si x = y
1 si x = y
La mtrica as denida se llama mtrica discreta, y decimos que el par (X, d) es
un espacio mtrico discreto.
c) X = [0, 1), d(x, y) = mn{|x y|, 1 |x y|}
d) X el conjunto de todas las sucesiones innitas de 0 y 1,
d(x, y) =
_
0 si x = y
2
mn{i:x
i
=y
i
}
si x = y
e) X el conjunto de todas las funciones de [2, 2] en R que son continuas en todo su
dominio (excepto en a lo sumo una cantidad nita de puntos, en los que hay saltos
nitos), d(f, g) = sup{|f(x) g(x)| : x [2, 2]}
f ) X el conjunto de todas las funciones de [2, 2] en R que son continuas en todo su
dominio (excepto en a lo sumo una cantidad nita de puntos, en los que hay saltos
nitos), d(f, g) =
_
2
2
|f(x) g(x)|dx
g) X = X
1
X
2
(donde (X
1
, d
1
) y (X
2
, d
2
) son espacios mtricos), d ((x
1
, x
2
), (y
1
, y
2
)) =
m ax{d
1
(x
1
, y
1
), d
2
(x
2
, y
2
)}
8. Para los incisos 7a a 7e del ejercicio anterior, trate de visualizar la forma que tienen los
entornos. Por ejemplo, para 7a, puede decir que el entorno de radio r alrededor de x es
el intervalo (x r, x +r).
9. Para los incisos 7e y 7f del ejercicio 7, encontrar las respectivas distancias entre las
funciones dadas por
f (x) = 1 g (x) = cos x h(x) =
_
1 si x =

6
6 si x =

6
Para cada pareja de esas funciones, en cul de los dos espacios mtricos estn ms
cercanas?
27
10. Mostrar que, en el espacio R
2
con la mtrica eucldea, la clausura de un entorno B
r
(x)
es el conjunto {y R
2
: |x y| r}. Es cierto que, en cualquier espacio mtrico X, la
clausura de B
r
(x) es {y X : d(x, y) r}? Justique.
11. Muestre ejemplos de puntos de acumulacin de conjuntos en los espacios mtricos del
ejercicio 7.
12. En un espacio mtrico (X, d), el interior de un conjunto se dene como E

= {x X :
r > 0 : B
r
(x) E}.
a) Mostrar que E es abierto si, y slo si, E = E

.
b) Mostrar que si A E y A es abierto, entonces A E

.
c) Demostrar que E
c
= (E

)
c
.
13. a) Mostrar que E = E E
c
= E E

.
b) Probar que (E)
c
= E

(E
c
)

, que E = E E y que E

= E E
14. Para cada i N, considrese denido un conjunto A
i
de un espacio mtrico X. Probar
que, para cualquier n N,
n
_
i=0
A
i
=
n
_
i=0
A
i

_
i=0
A
i

_
i=0
A
i
Mostrar, mediante un ejemplo, que la ltima inclusin puede ser estricta.
15. Sea (X, d) un espacio mtrico y S X. Mostrar que S es denso en X si, y slo si, para
cada x X y cada r > 0, B
r
(x) contiene al menos un punto de S.
16. Sea K = {0} {(n + 1)
1
: n N}. Mostrar que K es un subconjunto compacto de R
con la mtrica eucldea, utilizando la denicin de compacidad.
17. En el espacio de los reales con la mtrica eucldea, mostrar que el intervalo (0, 1) no es
compacto, dando un ejemplo de cubrimiento por abiertos que no posea subcubrimiento
nito.
18. Demuestre que
a) En cualquier espacio mtrico:
1) Todo conjunto nito es cerrado.
2) Todo conjunto nito es compacto.
b) En un espacio mtrico discreto
1) Todo conjunto es abierto y cerrado.
2) Ningn conjunto tiene puntos de acumulacin.
3) Ningn conjunto es conexo, a menos que sea unitario.
19. a) En el espacio R
2
con la mtrica eucldea, d un ejemplo de una familia decreciente
de conjuntos acotados (no vacos) cuya interseccin sea vaca.
b) dem para conjuntos cerrados.
20. Sea E = {x R : 0 x 1}.
28
a) Es E compacto en el espacio de los reales con la mtrica eucldea?
b) Es E compacto en el espacio de los reales con la mtrica discreta?
21. En el espacio mtrico de los racionales con la mtrica eucldea, considerar E = {x Q :
2 < x
2
< 3}. Mostrar que E es cerrado y acotado, pero no compacto. Es E abierto en
Q?
22. Sea X = {x R : 0 x 1}, con la mtrica eucldea, y E el subconjunto de todos los
nmeros de X cuya parte decimal tiene innitos dgitos que son slo 2 o 3. Es E denso?
Es E compacto?
23. Encontrar el conjunto de puntos de acumulacin de la sucesin {x
n
} R
2
denida como
sigue:
x
n
=
_
_
_
(n
1
, (1)
n
+ n
1
) si k N : n = 3k
(3(1)
n
, 2) si k N : n = 3k + 1
((5)(1)
n
, 3 + 2
n
) si k N : n = 3k + 2
24. En el espacio mtrico del ejercicio 7d, se denen las sucesiones {x
(n)
}
nN
, {y
(n)
}
nN
me-
diante:
x
(n)
i
=
_
1 si n es factor de i
0 en otro caso
y
(n)
i
=
_
0 si n e i son ambos pares
1 en otro caso
Calcular lm
n
x
(n)
, vericndolo por denicin, y demostrar que {y
(n)
}
nN
no es con-
vergente. Especicar los puntos de acumulacin de ambas sucesiones.
25. Demostrar que cualquier sucesin {x
n
} de nmeros reales satisface lminf x
n
lmsup x
n
y que la igualdad vale si, y slo si, la sucesin converge.
26. Sean {x
n
} e {y
n
} dos sucesiones de nmeros reales. Mostrar que lmsup(x
n
+ y
n
)
lmsup x
n
+lmsup y
n
(siempre que el lado derecho no sea de la forma ). A travs
de un ejemplo, mostrar que la desigualdad puede ser estricta.
27. Mostrar que si f es una funcin continua del espacio mtrico compacto X en el espacio
mtrico Y , y K es un subconjunto compacto de Y , entonces f
1
(K) es un subconjunto
compacto de X.
28. Sea (X, d) un espacio mtrico, y a un punto de X. Se dene la funcin f del espacio
mtrico (X, d) en el espacio mtrico (R, euclidea) mediante f(x) = d(x, a). Mostrar que
f es continua.
29. En el espacio mtrico del ejercicio 7d, se dene la funcin : X X de la siguiente
forma: ({x
n
}
nN
) = {x
n+1
}
nN
. Por ejemplo, (011101110111 . . .) = 11101110111 . . .
Mostrar que es continua y sobreyectiva, pero no inyectiva.
30. Sean (X, d
X
) y (Y, d
Y
) espacios mtricos, f : X Y , y S X. Se dice que f es
uniformemente continua en S si
> 0, > 0 : x S, w X, d
X
(x, w) < d
Y
(f(z), f(w)) <
Es decir, en la continuidad uniforme, jado , se obtiene que sirve para todo x S.
Obviamente, toda funcin uniformemente continua en S es continua en S, pero la recproca
no es cierta en general.
Probar que si S es compacto y f es una funcin continua en S, entonces f es uniforme-
mente continua en S.
29
31. Sea X = {x R : 0 x
1
3
} con la mtrica eucldea. Probar que la funcin dada por
f(x) = x
2
+
1
5
es una contraccin en X. Es f una contraccin en R?
A mano o con ayuda de calculadora cientca, obtener los diez primeros trminos de la
rbita de 0, de
1
5
, de
1
3
y de
_
1
_
1
5
_
/2.
32. Sea (X, d) un espacio mtrico completo, x un punto cualquiera de X, y f una contraccin
en X, con factor de contraccin s.
Probar que f es una funcin continua en x.
Demostrar que para cualquier n N, es d
_
f
[n]
(x), f
[n+1]
(x)
_
s
n
d(x, f(x)).
Mostrar que para cualquier n N, es
d
_
x, f
[n]
(x)
_

d (x, f(x))
1 s
(Sugerencia: hacer triangulacin con f(x), f
[2]
(x), . . . , f
[n1]
(x) y aplicar el inciso
anterior)
Demostrar que
_
f
[n]
(x)
_
nN
es una sucesin de Cauchy, y por lo tanto tiene lmite
que llamaremos x
F
.
Mostrar que x
F
es un punto jo de f.
Probar que si y X satisface que f(y) = y, entonces y = x
F
.
Observar que queda demostrado el Teorema del Punto Fijo de las transfor-
maciones contractivas.
30