Topologia

Dr.
Fernando Villafae Duarte

Julio 2010
ndice general
1. Cardinalidad de conjuntos
1.1. Conjuntos finitos . . . . . . . . . . . . . .
1.2. Conjuntos numerables y no numerables
1.3. Conjuntos infinitos . . . . . . . . . . . . .
1.4. Tpicos en teora de conjuntos . . . . . .
1.5. Ejercicios . . . . . . . . . . . . . . . . . . .
2. Espacios mtricos
2.1. Definicin de espacio mtrico . . . . .
2.2. Bolas y esferas . . . . . . . . . . . . . .
2.3. Distancia de un punto a un conjunto .
2.4. Isometras . . . . . . . . . . . . . . . . .
2.5. Ejercicios . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
. 5
. 8
. 13
. 14
. 17
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
19
19
24
29
31
33
3. Funciones continuas
3.1. Definicin y ejemplos de funciones continuas .
3.2. Propiedades de las funciones continuas . . . .
3.3. Homeomorfismos . . . . . . . . . . . . . . . . . .
3.4. Mtricas equivalentes . . . . . . . . . . . . . . .
3.5. Continuidad de las transformaciones lineales .
3.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
35
35
37
40
44
46
48
4. Lenguaje topolgico
4.1. Conjuntos abiertos . . . . . . . . .
4.2. Conjuntos abiertos y continuidad
4.3. Espacios topolgicos . . . . . . . .
4.4. Base de una topologa . . . . . . .
4.5. Topologa producto en X Y . . .
4.6. Topologa de subespacio . . . . . .
4.7. Conjuntos cerrados . . . . . . . . .
4.8. Ejercicios . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
51
51
55
57
59
61
62
63
69
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
NDICE GENERAL
4
5. Conjuntos conexos
5.1. definicin y ejemplos . . . . . . . . . . . .
5.2. Propiedades de los conjuntos conexos .
5.3. Conexidad y funciones continuas en R
5.4. Conexidad por caminos . . . . . . . . . .
5.5. Componentes conexas . . . . . . . . . . .
5.6. Ejercicios . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
73
73
74
78
81
84
85
6. Sucesiones en espacios mtricos

6.1. Lmites de sucesiones . . . . . . . . . . .
6.2. Sucesiones de nmeros reales . . . . . .
6.3. Series en espacios vectoriales normados
6.4. Convergencia y topologa . . . . . . . . .
6.5. Sucesiones de funciones . . . . . . . . . .
6.6. Ejercicios . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
87
87
92
93
94
96
100
7. Espacios mtricos completos

7.1. Sucesiones de Cauchy . . . . . . . . .
7.2. Espacios mtricos completos . . . . .
7.3. Completacin de un espacio mtrico
7.4. El teorema de Baire . . . . . . . . . .
7.5. Ejercicios . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
101
. 101
. 103
. 105
. 107
. 114
8. Espacios compactos
8.1. Teoremas: Bolzano-Weierstrass y Borel-Lebesgue
8.2. Espacios mtricos compactos . . . . . . . . . . . . .
8.3. Caracterizaciones de espacios compactos . . . . . .
8.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
115
. 115
. 117
. 122
. 127
.
.
.
.
.
.
.
.
.
.
Captulo 1
Cardinalidad de conjuntos
En este captulo se estudiar el concepto general de la cardinalidad de un
conjunto, as como tambin algunos criterios que facilitarn el establecer la
cardinalidad de ciertos conjuntos.
1.1.
Conjuntos finitos
Si n es un entero positivo o nmero natural, denotamos por En el conjunto

de enteros positivos menores o iguales a n, es decir, En = {1, 2, . . . , n}. Los
conjuntos En son los prototipos de los conjuntos finitos. Definimos tambin
E0 = .
Definicin 1 (conjunto finito y cardinal). Diremos que un conjunto A es
finito si es vaco o existe una correspondencia biyectiva f : A En para algn
n N. Si A = diremos que A tiene cardinal 0; si existe una biyeccin
f : A En , diremos que A tiene cardinal n.
Es claro que el conjunto En tiene cardinal n ya que la identidad es una

biyeccin de En en En .
A continuacin veremos hechos que nos conducen a establecer que un
cardinal de un conjunto est determinado completamente por dicho conjunto,
o lo que es lo mismo, dado un conjunto A no vaco, no pueden existir correspondencias biyectivas entre A y dos conjuntos En y Em con n =
/ m; este
hecho, que puede verse como obvio, requiere del sustento matemtico para
poder hablar de el cardinal de un conjunto.
Lema 1.1. Sean n N, A un conjunto no vaco y a0 un elemento de A.

Entonces existe una correspondencia biyectiva f entre A y En+1 si, y slo si,
existe una correspondencia biyectiva entre A \ {a0 } y En .
Prueba:
Supongamos que existe una biyeccin f : A En+1 si f(a0 ) =
n+ 1, basta considerar la restriccin de f a A\{a0 } sobre En ; en caso contrario,
si f(a0 ) = m y a1 es el elemento de A tal que f(a1 ) = n+ 1, se define la funcin
5
CAPTULO 1. CARDINALIDAD DE CONJUNTOS
h : A En+1 por h(a0 ) := n + 1, h(a1 ) := m y h(x) := f(x) para todo x en

A \ {a0 , a1 }. No es difcil ver que h es tambin una biyeccin y que h/A \ {a0 }
es una biyeccin entre A \ {a0 } y En como en el primer caso.
Recprocamente, si g : A \ {a0 } En es una biyeccin, se define f : A
En+1 por: f(x) := g(x) para todo x A \ {a0 } y f(a0 ) := n + 1, la cual es
claramente biyectiva.

Teorema 1.2. Sea A un conjunto para el cual existe una biyeccin f : A En
para algn n N. Sea B un subconjunto propio de A, (B A). Entonces, no
existe una biyeccin g : B En y si B =
/ , existe una biyeccin h : B Em
para algn m < n.
Prueba:
Si el conjunto propio B es vaco, no puede existir una biyeccin
entre B y un conjunto no vaco como En . Probemos por induccin que el
teorema es vlido para todo n N. En efecto, para n = 1, A est constituido
por un solo elemento, digamos A = {a}, el nico subconjunto propio es , en
consecuencia se satisface el teorema.
Supongamos que el teorema se cumple para n y probemos que tambin es
vlido para n + 1. Sea f : A En+1 una biyeccin y sea B un subconjunto
propio no vaco de A. Elegimos elementos a0 B y a1 A \ B. A partir de
la suposicin y aplicando el lema anterior (lema 1.1), aseguramos que existe
una biyeccin
g : A \ {a0 } En .
Dado que a1 pertenece a A y no a B (y por tanto a1 =/ a0 ), B \ {a0 } es un

subconjunto propio de A \ {a0 }. De la hiptesis inductiva se tiene que:
(1) No existe biyeccin alguna h : B \ {a0 } En .
(2) , B \ {a0 } = , o existe una biyeccin
k : B \ {a0 } Ep para algn p < n
Se concluye, a partir del lema anterior y (1), que no existe una biyeccin
entre B y En+1 . Por otra parte, si B \ {a0 } = , entonces B = {a0 } y existe una
biyeccin entre B y E1 = {1}; si B \ {a0 } =
/ , nuevamente por el lema anterior
y (2) concluimos que existe una biyeccin entre B y Ep+1 . Es decir, siempre
existe una biyeccin entre B y Em para algn m < n + 1. Esto termina el
proceso inductivo y prueba el teorema para todo n N.

En trminos del cardinal el teorema anterior nos dice que un subconjunto
propio de un conjunto finito A tiene cardinal estrictamente menor que el
cardinal de A y que todo subconjunto de un conjunto finito, tambin es
finito.
El siguiente corolario nos da una condicin necesaria para que un conjunto sea finito.
Corolario 1.3. Si A es un conjunto finito, entonces no existe una biyeccin
entre A y un subconjunto propio del mismo.
1.1. CONJUNTOS FINITOS
Prueba:
Sea B un subconjunto propio y no vaco de A, por reduccin
al absurdo supongamos que existe una biyeccin f : A B. Por hiptesis A
es finito y por tanto, existe una biyeccin g : A En para algn n N. La
funcin g f1 : B En es una biyeccin de B en En lo que contradice el
teorema 1.2.

El contrarecproco de este corolario 1.3 nos permite probar la no finitud
de algunos conjuntos.
Corolario 1.4. N no es finito.
Prueba:
La funcin f : N N \ {1} definida por f(n) = n + 1 es
inyectiva pues f(n) = f(m) si y slo si n + 1 = m + 1, es decir, n = m. f
es sobreyectiva pues dado p en N \ {1}, p 1 es un elemento de N tal que
f(p 1) = (p 1) + 1 = p. Por lo tanto f es una biyeccin entre N y un
subconjunto propio del mismo, luego, no puede ser finito.

Corolario 1.5. El cardinal de un conjunto finito A est unvocamente determinado por A. En otras palabras, si n y m tienen la propiedad de ser cardinal
de A, entonces tiene que ser n = m.
Prueba:
Supongamos por absurdo que m < n y que A tiene cardinal
tanto m como n. Es decir, existen biyecciones f : A En y g : A Em .
Entonces la composicin g f1 : En Em es una biyeccin entre En y un
subconjunto propio de En . Esto contradice el corolario 1.3.

El siguiente corolario es consecuencia casi directa del teorema 1.2 y se
deja como Ejercicio.
Corolario 1.6. Si B es un subconjunto de un conjunto finito A, entonces B

tambin es finito. Si B es un subconjunto propio de A, entonces el cardinal de
B es estrictamente menor que el cardinal de A.
El siguiente corolario nos ofrece una caracterizacin de los conjuntos
finitos.
Corolario 1.7. Sea B un conjunto no vaco. Las siguientes proposiciones son
equivalentes:
(1) B es finito.
(2) Existe una funcin sobreyectiva de algn En (para algn n N) en B.
(3) Existe una funcin inyectiva de B en algn En .
Prueba:
(1)(2). Como B =
/ , por definicin de conjunto finito existe
una biyeccin entre B y algn En . Esto prueba (2) tomando f1 .
(2)(3). Por hiptesis existe una funcin sobreyectiva f : En B; se
define g : B En por: g(b) = mn f1 ({b}). Siendo f sobreyectiva, el conjunto
f1 ({b}) es no vaco y por el principio del buen orden1 se asegura que g est
1 Principio del buen orden: Todo subconjunto de N posee un primer elemento o equivalentemente, posee un elemento mnimo.
bien definida (dado b B existe uno y slo un g(b) En ). Ahora bien, g es

inyectiva ya que para b =
/ b , por definicin de funcin, los conjuntos f1 ({b})
1
y f ({b }) son disjuntos y en consecuencia, poseen mnimos distintos.

(3)(1) Por hiptesis, existe una funcin inyectiva g : B En consideremos el rango o imagen de g, g(B) que es subconjunto de En . Si g es
sobreyectiva, entonces g es una biyeccin entre B y En lo que dice que B es
finito. En caso contrario, g(B) es un subconjunto propio de En , por el teorema
1.2, existe una biyeccin h : g(B) Ek para algn k < n. Entonces, la funb : B g(B) (la restriccin de g a su rango) definida por g
b(b) = g(b),
cin g
que no es mas que la restriccin de g a su rango, es una biyeccin y en
b : B Ek es tambin una biyeccin, lo que
consecuencia, la funcin h g
implica que el conjunto B es finito.
Corolario 1.8. Uniones finitas y productos cartesianos finitos de conjuntos

finitos, son finitos.
Prueba:
Se har la prueba para la unin y el producto de dos conjuntos
finitos. Sean A, B dos conjuntos finitos. Si A o B es vaco, el resultado es
obvio. As que suponemos que ambos son no vacos y existen biyecciones
f : Em A y g : En B para ciertos n, m N. Se define entonces h :
Em+n A B por:

f(i) si i = 1, 2, . . . , m
h(i) =
g(i m) si i = m + 1, . . . , m + n
h es sobreyectiva porque f y g lo son. Por la parte (2) del teorema 1.7, se tiene
que A B es finito.
Veamos ahora que A B es finito. Dado a A, podemos definir :
{a} B B por (a, b) = b. De inmediato vemos que es una biyeccin.
As que, como existe una biyeccin entre B y En , tambin existe una de {a}B
en En , o sea que es un conjunto finito. Considerando la misma biyeccin de
arriba f : Em A y denotando f(i) = ai A, podemos escribir:
AB=
m
[
i=1
{f(i)} B =
m
[
{ai } B
i=1
as A B es una unin finita de conjuntos finitos y por tanto, es finito.

El caso de la unin o producto cartesiano de n conjuntos finitos se prueba

por induccin y se deja como Ejercicio.
1.2.
Conjuntos numerables y no numerables
El conjunto N es el prototipo de los conjuntos infinitos-numerables. el

concepto de conjunto numerable esta asociado con la idea de tener la posibilidad de etiquetar o identificar a cada elemento del conjunto numerable
con un elemento de N (la etiqueta) o en otras palabras, la posibilidad de
enumerar o contar los elementos del conjunto numerable, de all que algunos
textos utilizan el trmino conjunto enumerable.
1.2. CONJUNTOS NUMERABLES Y NO NUMERABLES
Definicin 2 (conjunto infinito). Un conjunto A se dice infinito si ste no

es finito. Se dice que es infinito-numerable si existe una correspondencia
biyectiva
f:AN
Ejemplo 1. El conjunto Z de todos los enteros es infinito-numerable. En
efecto, es posible definir la funcin f : Z N definida por

2n si n > 0
f(n) =
2n + 1 si n 0

f es inyectiva pues si f(n) = f(m) ambos son pares o ambos son impares,
en consecuencia slo puede ocurrir que 2n = 2m o 2n + 1 = 2m + 1, cada
una implica que n = m. Tambin f es sobreyectiva ya que dado n N si n
es par n = 2k para algn k, en este caso n = f(k); si n es impar, n = 2k + 1
para algn k N en este caso, f(k) = 2(k) + 1 = 2k + 1 = n.
Lema 1.9. El conjunto N N es infinito numerable.
Prueba:
Considerando la representacin cartesiana de N N, se puede
etiquetar cada elemento de N N en la forma que sugiere el dibujo mediante
f
a
10
a6
a9
a3 a5 a
8
a1 a 2 a4 a7
Figura 1.1: Representacin esquemtica de la funcin f(x, y) = (x + y 1, y)

la siguiente funcin f : N N A donde A es el conjunto de los pares (x, y)
en N N tales que y x; f se define por:
f(x, y) = (x + y 1, y)
Entonces, ahora definimos una funcin g : A N por
g(x, y) =
1
(x 1)x + y.
2
Tanto f como g son biyecciones y su composicin es un biyeccin entre NN

en N.
10
Definicin 3 (numerable, no numerable). Se dice que un conjunto es numerable si es finito o es infinito numerable. Un conjunto que no es numerable se
dice no numerable .
El siguiente teorema nos da un criterio para establecer que un conjunto
sea numerable.
Teorema 1.10. Sea B un conjunto no vaco. Entonces son equivalentes las
siguientes proposiciones:
(1) B es numerable.
(2) Existe una funcin sobreyectiva f : N B.
(3) Existe una funcin inyectiva g : B N.
Prueba:
(1)(2). Sea B un conjunto numerable. Si B es infinito numerable, por definicin existe una biyeccin entre N y B, la cual es en particular,
sobreyectiva. Si B es finito (y no vaco), por definicin existe una biyeccin h
entre En y B para algn n N. Entonces definimos

h(i) si 1 i n
H(i) =
h(1) si i > n
H es una sobreyeccin de N sobre B.

(2)(3). Supongamos que f : N B es una sobreyeccin. Se define g :
B N por:
para b B, g(b) = mn f1 ({b}).
Por ser f sobreyectiva, f1 ({b}) es un subconjunto no vaco de N y por el

principio del buen orden, g esta bien definida. Adems, g es inyectiva pues
si b =/ b , por definicin de funcin, los conjuntos f1 ({b}) y f1 ({b }) son
disjuntos y por lo tanto, con mnimos distintos.
(3)(1). Sea g : B N una funcin inyectiva; si el rango de g es finito,
existe una biyeccin entre g(B) y En para algn n N por el teorema 1.7,
B es finito. Ahora bien, si el rango de g es un infinito de N, definimos
H(1) = mn g(B) (principio del buen orden). De manera recursiva, se define
para i N, H(i) = mn(g(B) \ H({1, 2, . . . , i 1}). entonces H es una biyeccin
b : B g(B)
entre N y g(B); como la funcin g es inyectiva, la funcin g
b(b) = g(b) es una biyeccin entre B y g(B). Luego, H1 g
b es
definida por g
una biyeccin entre B y N, por lo que B es infinito numerable.
Lema 1.11. Si C es un subconjunto infinito de N, entonces C es infinito

numerable.
Prueba:
Se define la funcin h : N C, por h(1) = mn C, el mnimo
de C existe por el principio del buen orden. Si ya estn fijados h(1), . . . , h(n1),
se define
h(n) = mn C \ h({1, . . . , n 1}).
1.2. CONJUNTOS NUMERABLES Y NO NUMERABLES
11
El conjunto C \ h({1, . . . , n 1}) es no vaco porque C es infinito (en caso

contrario, h : {1, . . . , n 1} C sera sobreyectiva y entonces C sera finito).
Por otra parte, h es inyectiva ya que si m < n, h(m) pertenece al conjunto h({1, . . . , n 1} y por definicin, h(n) no pertenece al mismo, as que
h(m) =
/ h(n).
Tambin h es sobreyectiva. En efecto, sea c un elemento de C, el rango
o imagen de h, h(N), es infinito por ser h inyectiva, as que no puede estar
contenido en {1, . . . , c} que es finito; es decir, algn elemento de la imagen de
h es mayor que c. Consideramos m como el menor elemento de N tal que
h(m) c. Entonces, para i < m se tiene que h(i) < c. Luego c no pertenece
al conjunto h({1, . . . , m 1}) o lo que es lo mismo, c C \ h({1, . . . , m 1}),
por la definicin de h(m) se concluye que h(m) c. Por la desigualdad de
arriba, se concluye que h(m) = c como se quera demostrar.

Corolario 1.12. Un subconjunto de un conjunto numerable es numerable.
Prueba:
Sea B un conjunto numerable y A B. Entonces existe una
inyeccin f entre B y N. La restriccin de f en A es una inyeccin de A en
N.

Teorema 1.13. La unin numerable de conjuntos numerables es numerable.
Prueba:
Consideremos una familia indizada mediante un conjunto numerable J, {An }nJ , donde cada An es a su vez, un conjunto numerable. Se
puede suponer, sin prdida de generalidad, que cada conjunto An es no vaco.
Dado que cada An es numerable, para cada n J existe una funcin
sobreyectiva fn : N An (teorema 1.10 parte (2)); del mismo modo, existe
una funcin sobreyectiva g : N J. Entonces, se define
[
h:NN
An
nJ
por
h(k, m) = fg(k) (m)

Es claro que h es sobreyectiva. Vimos en el corolario 1.9 que N N es
infinito numerable
y por tanto, existe una biyeccin : N N N. Luego,
S
h : N nJ An es una sobreyeccin. La numerabilidad de la unin se
sigue por la parte (2) del teorema 1.10.

Teorema 1.14. El producto cartesiano finito de conjuntos numerables, es
numerable.
Prueba:
Veamos el resultado para el producto cartesiano de dos conjuntos numerables A, B. Si A o B es vaco, el producto es vaco y por tanto
numerable. Si tanto A como B son no vacos por el teorema 1.10 existen
funciones sobreyectivas f : N A y g : N B. Entonces la funcin,
h : N N A B definida por: h(n, m) = (f(n), g(m)), es sobreyectiva
y as A B es numerable. En el caso general se procede por induccin.
12
Note que el teorema anterior establece la numerabilidad para productos

cartesianos finitos. Producto cartesiano numerable de conjuntos incluso finitos no es numerable, esto se muestra en el siguiente teorema.
Teorema 1.15. El producto cartesiano {0, 1} = iN {0, 1} es no numerable.
Prueba:
Para la prueba de este teorema utilizamos nuevamente el teorema 1.10 mostrando que cualquier funcin
g : N {0, 1}
no puede ser sobreyectiva. Para cada n N, g(n) es una -upla que podemos
representar por:
g(n) = (xn1 , xn2 , , xnm , )
donde xij {0, 1}. Consideremos ahora el elemento y = (y1 , . . . , yn , . . . ) de

{0, 1} donde

0 si xnn = 1
yn =
1 si xnn = 0
El elemento y no pertenece a el rango de g ya que para cualquier n N,
g(n) y y difieren en la n-sima posicin. Esto prueba que g no es sobreyectiva
y como es arbitraria, concluimos que {0, 1} es no numerable.

Otra forma de ver el teorema anterior, es interpretar cada elemento de
{0, 1} como los dgitos correspondientes a la expansin en base 2 de un
elemento del intervalo [0, 1), esto establece una sobreyeccin entre {0, 1} y
el intervalo [0, 1), probando previamente que dicho intervalo es un conjunto
no numerable, concluimos que tambin {0, 1} es no numerable.
El siguiente teorema nos sirve, entre otras cosas, para mostrar otro ejemplo
de un conjunto no numerable, a saber, el conjunto de partes de N, P(N).
Teorema 1.16. Sea A un conjunto cualquiera, entonces no existe ninguna
funcin inyectiva f : P(A) A ni tampoco una funcin sobreyectiva g : A
P(A).
Prueba:
Si B es un conjunto no vaco, la existencia de una funcin
inyectiva f : B C implica la existencia de una funcin sobreyectiva g : C
B definiendo g(c) = f1 (c) sobre cada elemento del rango o imagen de f y g
restringida a C \ f(B) algn elemento fijo de B.
Luego, para demostrar el teorema basta demostrar que dada una funcin
g : A P(A), sta no puede ser sobreyectiva. Consideremos entonces tal
funcin g; para cada elemento a en A, la imagen g(a) es un subconjunto de
A que puede contener o no al propio elemento a. Sea ahora B el subconjunto
de A constituido por los elementos a tales que g(a) no contiene a a. Es decir,
B = {a A : a
/ g(a)}
el conjunto B pudiera ser vaco o cualquier otro subconjunto de A, lo cierto
es que B no pertenece al rango de g. En efecto, si suponemos que existe algn
elemento a0 de A tal que B = g(a0 ) se tiene que
a0 B a0
/ g(a0 ) = B
1.3. CONJUNTOS INFINITOS
13
lo cual es una flagrante contradiccin. Luego, g no es sobreyectiva.
1.3.
Conjuntos infinitos
En la seccin anterior se establecieron algunos criterios para ver que un

conjunto sea infinito. Utilizando el corolario 1.6 se tiene que A es infinito si
tiene un subconjunto infinito numerable y por el corolario 1.3, A es infinito
si existe una biyeccin entre A y un subconjunto propio del mismo. Ahora se
establecer una caracterizacin de los conjuntos infinitos.
Teorema 1.17. Sea A un conjunto. Las siguientes proposiciones son equivalentes:
(1) Existe una funcin inyectiva f : N A.
(2) Existe una biyeccin de A con un subconjunto propio del mismo.

(3) A es infinito.
Prueba:
(1)(2) Supongamos que existe una funcin inyectiva f : N
A. Para cada n en N denotemos su imagen mediante f por: f(n) = an . Siendo
f inyectiva, resulta que an =
/ am si n =
/ m. Se define ahora
por:
g : A A \ {a1 }
g(an ) = an+1 para cada an f(N)
g(x) = x para x A \ f(N).
Es fcil ver que g es una biyeccin y esto prueba (2).

(2)(3) Esta proposicin es el contrarecproco del corolario 1.3 y por tanto,
queda demostrada.
(3)(1) Supongamos que A es un conjunto infinito, en consecuencia, A es no
vaco y se puede seleccionar un punto a1 de A que nos sirve para comenzar
a definir una funcin f : N A haciendo f(1) = a1 . Luego, definiendo de
manera recursiva, si ya se han definido las imgenes f(1), . . . , f(n 1) se
quiere definir la imagen f(n). El conjunto A \ f({1, . . . , n 1}) es no vaco,
pues si lo fuere, la funcin f : {1, . . . , n 1} sera biyectiva y en consecuencia,
A sera finito. Entonces, seleccionando un elemento de A \ f({1, . . . , n 1}), y
definiendo f(n) como dicho elemento, se ha definido f en todo N.
Ahora bien, f es inyectiva porque si m < n, entonces f(m) pertenece al
conjunto f({1, . . . , n 1}) y por definicin, f(n) no pertenece a dicho conjunto;
as, f(m) =
/ f(n).

La prueba del teorema anterior, se apoya en un importante axioma llamado axioma de eleccin.
Axioma de eleccin Dada una coleccin A de conjuntos disjuntos no
vacos, existe un conjunto C formado exactamente por un elemento de cada
14
conjunto de la familia A, esto es, un conjunto C tal que C est contenido en

la unin de los elementos de A, y que para cada A A, el conjunto C A
contiene un nico elemento.
1.4.
Tpicos en teora de conjuntos
en esta seccin se repasarn algunos tpicos de la teora de conjuntos

que con cierta frecuencia se citan en diversos campos de la matemtica. Es
conocida la propiedad de N segn la cual todo subconjunto no vaco posee
un mnimo o un primer elemento, sabiendo tambin que ste conjunto tiene
definida una relacin de orden.
Definicin 4 (orden parcial). Sea A un conjunto. Una relacin definida en
A se dice un orden parcial si es reflexiva, antisimtrica y transitiva; es decir,
si para a, b y c elementos de A, se tiene:
(1) a a (reflexividad).
(2) a b b a a = b (antisimetra).
(3) a b b c a c (transitividad).
El conjunto A junto con la relacin se le llama conjunto parcialmente

ordenado.
En la misma secuencia tenemos el llamado orden total, lineal o simple:
Definicin 5. Un orden total es un conjunto A parcialmente ordenado mediante la relacin tal que todo par de elementos de A son comparables, es
decir, dados a, b en A, a b b a.
Un conjunto dotado de un orden total es llamado conjunto totalmente
ordenado, tambin se le llama conjunto linealmente ordenado, simplemente
ordenado o cadena.
Sea A un conjunto parcialmente ordenado y B un subconjunto de A. Un
elemento b se dice el mximo de B si b B y p b para todo p B.
Anlogamente, se dice que c es el mnimo de B si c B y c p para todo
p B.
Diremos que un conjunto B est acotado superiormente si existe un
elemento b en A tal que p b para todo p en B; tal elemento b se denomina
cota superior de B. Si el conjunto de cotas superiores de B tiene un mnimo,
ste se denomina supremo de B y se denota por sup B.
Anlogamente, diremos que un conjunto B est acotado inferiormente
si existe un elemento c en A tal que c p para todo p en B; tal elemento
c se denomina cota inferior de B. Si el conjunto de cotas inferiores de B
tiene un mximo, ste se denomina nfimo de B y se denota por nf B.
En el conjunto de los nmeros reales R, la siguiente propiedad es conocida
como axioma del supremo.
1.4. TPICOS EN TEORA DE CONJUNTOS
15
Definicin 6 (propiedad del supremo(nfimo)). Un conjunto ordenado A se

dice que satisface la propiedad del supremo (nfimo), si todo subconjunto
no vaco de A, acotado superiormente(inferiormente), tiene supremo(nfimo).
Una propiedad bastante conocida de los naturales es la siguiente:
Teorema 1.18 (Principio del buen orden). Todo subconjunto no vaco de N
posee un mnimo (o un primer elemento).
Para facilitar la prueba de este principio, probemos primero el siguiente
Lema 1.19. Para cada n N, se tiene que todo subconjunto no vaco de
{1, . . . , n} tiene un mnimo.
Prueba:
Consideremos el conjunto A de todos los enteros positivos n,
para los cuales vale la tesis del teorema y procedamos por induccin. Para
n = 1, el nico conjunto no vaco es {1} y claramente tiene mnimo. As 1 A.
Supongamos ahora que A contiene a n (hiptesis inductiva). Consideremos
un subconjunto no vaco C de {1, . . . , n, n + 1}. Si C consta nicamente de
n + 1, es claro que C tiene un mnimo. En caso contrario, C {1, . . . , n} es
un subconjunto no vaco de {1, . . . , n} y por la hiptesis inductiva, tiene un
mnimo que tambin es mnimo de C. Luego, n + 1 pertenece a A. Esto prueba
el teorema.

Ahora probemos el principio del buen orden:
Prueba:
Sea B un subconjunto no vaco de N, elegimos un elemento
n B, entonces el conjunto A = B {1, . . . , n} es un subconjunto no vaco de
{1, . . . , n}; por el lema, dicho conjunto tiene mnimo, que a su vez, es mnimo
de B.

Generalizando este concepto, tenemos:
Definicin 7 (conjunto bien ordenado). Un conjunto totalmente ordenado A,
se dice que esta bien ordenado, si todo subconjunto no vaco de A tiene un
mnimo.
El siguiente teorema fue demostrado por Zermelo 2 en 1904 y sobrecogi al
mundo de las matemticas. Hubo un considerable debate sobre la correccin
de la demostracin; la ausencia de cualquier tipo de procedimiento constructivo para establecer un buen orden en un conjunto no numerable arbitrario
conduca a muchos a ser escpticos. Cuando la demostracin fue analizada
cuidadosamente, el nico punto que se encontr que poda cuestionarse fue
una construccin que implicaba un nmero infinito de elecciones arbitrarias,
esto es, una construccin que utilizaba el axioma de eleccin.
Teorema 1.20 (Teorema del buen orden). Si A es un conjunto, existe una
relacin de orden sobre A que lo hace un conjunto bien ordenado.
2 Ernst Friedrich Ferdinand Zermelo (1871-1953) fue un matemtico y filsofo alemn con
amplias contribuciones en la teora de conjuntos.
16
El conjunto de los nmeros naturales, como subconjunto de R que es un

conjunto parcialmente ordenado y con la propiedad del supremo, no posee
cota superior. En efecto, supongamos que N est acotado superiormente, entonces tiene supremo, digamos S = sup N R; entonces existe n N tal
que S 1 < n pues de no ser as, S 1 sera una cota superior de N menor
que el supremo. Pero entonces se tiene que S < n + 1, como n + 1 N, esto
contradice que S es cota superior de N.
Otra forma equivalente de enunciar esa propiedad es la siguiente:
Lema 1.21 (Propiedad arquimediana). Dados dos nmeros reales positivos
a, b, existe un nmero natural n tal que b < na.
El siguiente principio fue formulado por primera vez por Hausdorff3 en
1914.
Teorema 1.22 (El principio del mximo). Sea A un conjunto parcialmente
ordenado. Entonces existe un subconjunto totalmente ordenado maximal B de
A.
En la prueba de este teorema se utiliza el teorema del buen orden (teorema
1.20), aunque el argumento no es complicado, escapa del objetivo de este
captulo introductorio.
Otro resultado quizs de uso ms frecuente, es el llamado lema de Zorn4
que puede ser visto como consecuencia directa del principio del mximo y
enunciamos a continuacin, pero antes una definicin.
Definicin 8 (elemento maximal). Decimos que m es un elemento maximal
de un conjunto parcialmente ordenado A, si ningn elemento a de A verifica
la relacin m a siendo a distinto de m.
Lema 1.23 (Lema de Zorn). Sea A un conjunto parcialmente ordenado. Si toda
cadena en A (todo subconjunto totalmente ordenado) posee una cota superior
(en A), entonces existe al menos un elemento maximal.
3 Felix Hausdorff (1868-1942) fue un matemtico alemn que est considerado como uno de
los fundadores de la moderna Topologa y que ha contribuido significativamente a la teora de
conjuntos, la teora descriptiva de conjuntos, la teora de la medida, el anlisis funcional y la
teora de funciones.
4 Max August Zorn (1906-1993) fue un matemtico alemn nacionalizado estadounidense.
Trabaj en los campos del lgebra abstracta, teora de grupos y anlisis numrico. Es famoso
por el lema de Zorn, una herramienta poderosa de teora de conjuntos, que se puede aplicar a
un amplio abanico de entes matemticos como espacios vectoriales, conjuntos ordenados, etc. El
lema de Zorn fue descubierto por primera vez por Kazimierz Kuratowski en 1922, y despus de
forma independiente, por Zorn en 1935.
1.5. EJERCICIOS
1.5.
1
17
Problemario No 1
(a) Determine cuntas funciones inyectivas f existen de la forma:
f : {1, 2} {1, 2, 3}
muestre que ninguna es biyectiva. Esto prueba que un conjunto con

cardinal 2 no puede tener cardinal 3.
(b) Cuntas funciones inyectivas f entre los siguientes conjuntos existen?
f : {1, . . . , 8} {1, . . . , 10}
Sugerencia: no hace falta listarlas todas. Razone como en combinatoria...

para f(1) cuntas posibles imgenes hay?; una vez fijada, cuntas posibles
imgenes hay para asignar a f(2)?, etc.
Demuestre que si B no es finito y B A, entonces A no es finito.
Defina una biyeccin entre el conjunto {0, 1} y un subconjunto propio

del mismo.
Suponga que el conjunto A B es finito, implica esto que tanto A como

B son finitos?
Si A y B son conjuntos finitos, demuestre que el conjunto de todas las

funciones f : A B es finito.
Demuestre que el conjunto Q de los nmeros racionales, es numerable.
Defina una biyeccin entre el conjunto P(N) y el producto cartesiano

{0, 1} .
Un ejercicio de conteo:
(a) Se dice que un nmero real es algebraico (sobre los racionales)
si es raz de algn polinomio con coeficientes racionales, es decir
satisface una ecuacin del siguiente tipo:
xn + an1 xn1 + + a1 x + a0 = 0
donde los coeficientes ai son racionales y n N. Asumiendo el
Teorema Fundamental del lgebra que afirma que un polinomio de
grado n posee a lo sumo n races, demuestre que el conjunto de los
nmeros algebraicos es numerable.
18

(b) Se dice que un nmero real es trascendente si no es algebraico.
Asumiendo que el conjunto de los nmeros reales es no numerable,
demuestre que el conjunto de los nmeros trascendentes es no numerable. (Aunque pocos son los que tienen fama por ejemplo: e y
).
Captulo 2
Espacios mtricos
2.1.
Definicin de espacio mtrico
Definicin 9 (mtrica). Una mtrica en un conjunto M es una funcin d :

M M R, que asocia a cada par de elementos x, y M un nmero real
d(x, y) llamado la distancia de x a y y que satisface las siguientes propiedades
para cualesquiera x, y, z M:
(1) d(x, x) = 0;
(2) si x =
/ y, entonces d(x, y) > 0;
(3) d(x, y) = d(y, x);
(4) d(x, z) d(x, y) + d(y, z)
De la (1) y (2) se deduce que la la distancia es no negativa y que d(x, y) = 0

si, y slo si, x = y. La (3) afirma que la distancia d(x, y) es una funcin simtrica en las variables x, y. La condicin (4) es llamada desigualdad triangular;
su nombre nace por el hecho de que, en el plano euclidiano, la longitud de
un lado del tringulo no supera a la suma de los otros dos.
Figura 2.1: Desigualdad triangular en el plano

Definicin 10 (espacio mtrico). Un espacio mtrico es un par (M, d) donde
M es un conjunto y d es una mtrica en M.
19
CAPTULO 2. ESPACIOS MTRICOS
20
Diremos simplemente el espacio mtrico M, cuando se sobrentiende cul

es la mtrica d que se est considerando.
Los elementos de un espacio mtrico pueden ser de diferente naturaleza: nmeros, puntos, vectores, funciones, matrices etc. Pero en general los
llamaremos puntos de M.
Se comentarn ahora algunos ejemplos de espacios mtricos.
Ejemplo 2. La mtrica cero-uno. Todo conjunto M se puede convertir en
un espacio mtrico definiendo la mtrica d : M M R por d(x, x) = 0 y
d(x, y) = 1 si x =
/ y.

Ejemplo 3. El conjunto de los nmeros reales R es un importante ejemplo
de espacio mtrico. La distancia entre dos puntos x, y R est dada por
d(x, y) = |x y| las propiedades de la definicin 9 son propiedades elementales del valor absoluto. sta es llamada mtrica usual de R. A menos que
se especifique lo contrario, se considerar sta mtrica cuando se hable de R
como espacio mtrico.

Ejemplo 4. Este ejemplo generaliza el anterior. Los puntos de Rn son nuplas x = (x1 , . . . , xn ) donde cada una de las n coordenadas xi es un nmero
real. Dados x = (x1 , . . . , xn ) y y = (y1 , . . . , yn ), elementos de Rn , existen al
menos tres formas de definir la distancia:
" n
#1/2
q
X
2
d(x, y) = (x1 y1 )2 + + (xn yn )2 =
(xi yi )
,
i=1
d (x, y) = |x1 y1 | + + |xn yn | =
n
X
|xi yi | y
i=1
d (x, y) = max{|x1 y1 | , . . . , |xn yn |} = max |xi yi | .

1in
Las funciones d, d , d : Rn Rn R son mtricas. Es bastante claro

que ellas cumplen (1),(2) y (3) de la definicin 9. En virtud de las propiedades
del valor absoluto, es mas o menos visible que d y d verifican (4); tambin
d verifica (4) y se ver ms adelante como consecuencia del lema 2.1. La
mtrica d es llamada mtrica euclidiana en honor a Euclides1

Ejemplo 5. Subespacio; mtrica inducida. Si (M, d) es un espacio mtrico,
todo subconjunto S M, se puede considerar, de una forma natural como un
espacio mtrico: basta considerar la restriccin de d a S S, es decir, utilizar
para los elementos de S, la misma distancia que ellos tenan como elementos
de M. En este caso, S se llama subespacio de M y la mtrica se dice inducida
por la de M. Esta idea simple nos permite obtener una amplia variedad de
1 Euclides (en griego E, Eukleides) fue un matemtico y gemetra griego, que vivi
alrededor del 300 a.C. (325 - 265 a. C.). Se le conoce como El Padre de la Geometra.
2.1. DEFINICIN DE ESPACIO MTRICO
21
ejemplos de espacios mtricos, considerando los distintos subconjuntos de

una espacio mtrico dado.

La mtrica euclidiana d es ms natural para consideraciones geomtricas;
sin embargo, d y d son formalmente ms simples en su definicin y ya
que son equivalentes en un sentido que se estudiar en el captulo 3, es
conveniente considerarlas a pesar de que su significado geomtrico es un
tanto artificial.
Definicin 11 (funcin acotada). Sea X un conjunto arbitrario. Una funcin
real f : X R es llamada acotada si existe una constante K = K(f) > 0 tal
que |f(x)| K para todo x X.
Ejemplo 6. Un espacio de funciones. Denotamos por B(X; R) al conjunto de

las funciones acotadas f : X R. La suma, la diferencia y el producto de
funciones acotadas es tambin acotada (de hecho ms adelante veremos que
es un espacio vectorial). Para dos elementos f, g de B(X; R) cualesquiera se
define
d(f, g) = sup |f(x) g(x)| .
xX
sta es una mtrica llamada mtrica de la convergencia uniforme o mtrica

del supremo.

En el caso particular en que X es el intervalo [a, b] R. Dadas f, g :
[a, b] R acotadas, la distancia d(f, g) es la longitud mxima de los segmentos verticales que unen el grfico de g y f, ver figura 2.2. Ms concretamente,
en el espacio mtrico B([0, 1]; R), la distancia de la funcin f(x) = x a la
funcin g(x) = x2 es d(f, g) = 1/4.
1
d(f,g)
f
g
Figura 2.2: Distancia del supremo

Definicin 12 (norma). Sea E un espacio vectorial real o complejo. Una norma en E es una funcin real kk : E R que asocia a cada vector x E
el nmero real kxk, llamado la norma de x y que satisface las siguientes
propiedades para cualesquiera x, y E y un escalar :
(1) si x =
/ 0 entonces kxk =
/ 0;
22
(2) k xk = || kxk;
(3) kx + yk kxk + kyk (desigualdad triangular);

Ejemplo 7. Espacios vectoriales normados. Un espacio vectorial normado
es un par (E, k k) donde E es un espacio vectorial y k k una norma en E.
Se nombrar al espacio vectorial normado por E dejando sobrentendida la
norma.
Un ejemplo de espacio vectorial normado es Rn , donde se pueden definir
las siguientes tres normas para un vector x = (x1 , . . . , xn ):
kxk =
qX
x2i ; kxk =
|xi | y kxk = max |xi |
No es difcil observar que se satisfacen las propiedades de norma para

estas funciones, excepto quiz la desigualdad triangular para la primera, sta
se muestra ms adelante en el ejemplo 8.
Otro ejemplo de espacio vectorial normado es B(X; R), definiendo kfk =
supxX |f(x)|.
Todo espacio vectorial normado (E, k k) es un espacio mtrico mediante
la definicin d(x, y) = kx yk. Diremos que esta mtrica es proveniente de
o inducida por la norma k k. Por ejemplo, la mtricas d, d y d en Rn son
inducidas por las normas k k , k k y k k respectivamente. As mismo, la

mtrica del supremo en B(X : R) es inducida por la norma del supremo
definida arriba y se puede escribir kf gk en lugar de d(f, g).
Las propiedades de la mtrica inducida por la norma se deducen a partir de las propiedades de la norma; como ejemplo veamos la desigualdad
triangular: dados x, y, z E,
d(x, z) = kx zk = k(x y) + (y z)k kx yk + ky zk = d(x, y) + d(y, z)

Definicin 13 (producto interno). Sea E un espacio vectorial sobre el campo
K (R C). Un producto interno es una funcin h, i : E E : K, que asocia
a cada par ordenado de vectores x, y E el escalar hx, yi, llamado el producto
interno de x por y, y que satisface las siguientes propiedades para x, x , y E
y K arbitrarios:
(1) hx + x , yi = hx, yi + hx , yi (aditividad en el primer factor);
(2) hx, yi = hx, yi (homogeneidad en el primer factor);
(3) hx, yi = hy, xi (simetra conjugada);
(4) x =
/ 0 hx, xi > 0.
2.1. DEFINICIN DE ESPACIO MTRICO
23
La barra en la tercera propiedad indica la operacin de conjugacin compleja. En el caso de que E sea un espacio vectorial real (K = R), se omite la
barra (de hecho el conjugado de un real puro es el mismo real). As mismo, la
propiedad (4) afirma adems que independientemente que el espacio vectorial
sea real o complejo, la expresin hx, xi es un nmero real no negativo para
todo x E.
A partir de las tres primeras propiedades se pueden deducir otras:
hx, y + y i = hx, yi + hx, y i
hx, yi = hx, yi
h0, yi = 0
De esta forma vemos que e producto interno es lineal en el primer factor

pero no en el segundo (en el caso complejo), en el segundo factor satisface
la aditividad y la homogeneidad conjugada, esto se resume en ocasiones
diciendo que el producto interno es lineal conjugado en el segundo factor.
Ejemplo 8. Espacios vectoriales con producto interno. Sea E un espacio vectorial con producto interno. El producto interno
p define una norma mediante
la siguiente expresin: para cada x E, kxk = hx, xi . Las primeras dos propiedades de la norma son inmediatas a partir de las propiedades del producto
interno. La tercera se deduce a partir de la desigualdad de Cauchy-Schwarz.
De esta forma cada espacio vectorial con producto interno es tambin un
espacio vectorial normado y en consecuencia, es un espacio mtrico.

Lema 2.1 (Desigualdad de Cauchy-Schwarz). Sea E un espacio vectorial con
producto interno. Para todo x, y E se tiene:
|hx, yi| kxk kyk
Prueba: Caso real. Sean x, y E. Notemos primero que si x = 0 se

tiene una igualdad obvia. Supongamos que x =/ 0, haciendo el escalar =
2
hx, yi / kxk , se puede verifica que si z = yx, entonces hz, xi = 0. Utilizando
ste ltimo hecho y calculando el producto interno de y = z+x por si mismo,
2
2
2
2
2
se obtiene que kyk = kzk + 2 kxk . De aqu se deduce que 2 kxk kyk .
2
2
2
2
2
2
Pero 2 kxk = hx, yi / kxk . Luego, hx, yi kxk kyk lo que implica la
desigualdad buscada.
Caso complejo. Sean x, y E y C. Suponemos que x =
/0 y y =
/ 0.
2
kx + yk = hx + y, x + yi
= hx, xi + hx, yi + hy, xi + hy, yi

2
= kxk + hx, yi + hx, yi + kyk

2
= kxk + hx, yi + hx, yi + || kyk

2
= kxk + 2Re( hx, yi) + || kyk
Aqu debemos asumir que x, y son linealmente independientes y as,

kx + yk > 0; luego,
2
kxk + 2Re( hx, yi) + || kyk > 0 para todo C
24
Por simplicidad, denotemos z = hx, yi, z C; si z = 0, se tiene obviamente la

desigualdad: 0 = z = hx, yi kxk kyk. As que asumimos que z =
/ 0 y hacemos
z
= t |z|
, con t R arbitrario, y se obtiene
2
0 < kxk + 2Re( hx, yi) + || kyk

2
tz
zz
2
2
= kxk + 2Re t
+ kyk
|z|
|z|
2
= kxk + 2t |z| + t2 kyk

2
= (kyk )t2 + (2 |z|)t + (kxk )
La ltima expresin es un polinomio de coeficientes reales, en la variable

real t y como es positivo para todo t R, no tiene races reales; por lo tanto,
su discriminante es negativo, de all que
2
(2 |z|)2 4 kyk kxk < 0

Recordando que z = hx, yi, se tiene
|hx, yi| < kxk kyk

Si x = y, es decir, si x, y son linealmente dependientes, entonces
2
|hx, yi| = |hy, yi| = || kyk = || kyk kyk = kyk kyk = kxk kyk
Con esta desigualdad se prueba rpidamente la desigualdad triangular

para la norma inducida por el producto interno, en efecto:
2
kx + yk = hx + y, x + yi = kxk + kyk + 2Re(hx, yi)

2
kxk + kyk + 2 |hx, yi|
kxk + kyk + 2 kxk kyk = (kxk + kyk)2
2.2.
Bolas y esferas
En un espacio mtrico la nocin de proximidad la proporciona el concepto de bola, ms adelante veremos que en realidad, las bolas son conjuntos
bsicos de la topologa.
Definicin 14 (bola abierta, bola cerrada y esfera). Sea a un punto de un
espacio mtrico M, y r > 0 un nmero real positivo.
La bola abierta de centro a y radio r es el conjunto B(a; r) de los puntos
de M que estn a distancia menor que r de a, es decir:
B(a; r) = {x M : d(x, a) < r}
2.2. BOLAS Y ESFERAS
25
La bola cerrada de centro a y radio r es el conjunto B[a; r] de los puntos

de M que estn a distancia menor o igual a r de a, es decir:
B[a; r] = {x M : d(x, a) r}
La esfera de centro a y radio r es el conjunto S(a; r) de los puntos de M
que estn a distancia r de a, es decir:
S(a; r) = {x M : d(x, a) = r}
Si X es un subespacio del espacio mtrico M, cada bola y esfera relativa al
subespacio, es la interseccin de la bola o esfera en M con X. Como notacin,
utilizaremos la letra que designa el subespacio como un subndice:
BX (a; r) = B(x; r) X;
BX [a; r] = B[a; r] X;
SX (a; r) = S(a; r) X
An cuando estos nombres son motivados por ese tipo de conjuntos en

R3 , es conveniente resaltar que, dependiendo del espacio en estudio junto a
su mtrica, las bolas pueden tomar formas inesperadas.
Ejemplo 9. Sea M dotado de la mtrica cero-uno (ejemplo 2), entonces para
todo a M, se tiene que B(a; r) = B[a; r] = M para todo r > 1 y B(a; r) =
B[a; r] = {a} si r < 1. As mismo, B(a; 1) = {a} y B[a; 1] = M. Finalmente,
S(a; r) = si r =
/ 1 y S(a; 1) = M \ {a}.

Ejemplo 10 (bolas en R). En R con la mtrica usual, la bola abierta de centro
a y radio r > 0 es el intervalo abierto (a r, a + r), ya que la proposicin
|x a| < r es equivalente a a r < x < a + r. Anlogamente, la bola cerrada
B[a; r] es el intervalo cerrado [ar, a+r], mientras que la esfera S(a; r) consta
slo de los puntos a r y a + r.

Ejemplo 11. Una bola abierta B(a; r) en R2 con la mtrica euclidiana es la
parte interna de un crculo de centro a y radio r, pero con la mtrica del
mximo (ver ejemplo 4), es la parte interna de un cuadrado de centro en a y
lados de longitud 2r paralelos a los ejes. Y con la mtrica de la suma es la
parte interior de un cuadrado de centro en a con diagonales paralelas a los
ejes y de longitud 2r, ver figura 2.3:
Figura 2.3: Bolas abiertas en R2 segn la mtrica utilizada.
26
Ejemplo 12. Sea f una funcin del espacio B([a, b], R) (ver ejemplo 6). La
condicin para que una funcin acotada g : [a, b] R pertenezca a la bola
abierta B(f; r) es que kg fk = supx[a,b] |g(x) f(x)| < r; grficamente se
puede interpretar esa condicin considerando una banda o faja de amplitud
2r alrededor del grfico de f formada por los puntos (x, y) del plano R2 tales
que x [a, b] y f(x) r < y < f(x) + r como se muestra en la siguiente figura
2.4
Figura 2.4: Bolas abiertas en B([a, b], R).

Las funciones g pertenecientes a la bola abierta B(f; r) son todas aquellas
funciones acotadas definidas en [a, b] cuyo grfico esta contenido en la faja
alrededor de f (y que el supremo de |g(x) f(x)| sea menor que r).
Note que no es suficiente que el grfico de g est en la faja alrededor de f,
por ejemplo si f : [0, 1] R es la funcin nula (f 0) y g : [a, b] R
es la funcin g(x) = rx si 0 x < 1 y g(1) = 0, el grfico de g est contenido en una faja alrededor de f de amplitud 2r, pero kg fk =
supx[a,b] |g(x) f(x)| = r y por tanto g
/ B(f; r).

Ejemplo 13. Si M1 , . . . , Mn son espacios mtricos, el producto cartesiano
M = M1 Mn es un espacio mtrico definiendo la mtrica por d(x, y) =
max1in d(xi , yi ). Con esta mtrica las bolas como en R2 (ver ejemplo 11)
resultan ser productos cartesianos de bolas en los factores Mi :
B(a : r) = B(a1 ; r) B(an ; r),

B[a; r] = B[a1 ; r] B[an ; r],
donde a = (a1 , . . . , an ).
Definicin 15 (punto aislado). Sea M un espacio mtrico. Un punto a M,

se dice que es un punto aislado de M cuando l, como conjunto unitario, es
una bola abierta en M; es decir, cuando existe un r > 0 tal que B(a; r) = {a}.
Decir que un punto a M no es aislado, significa afirmar que para todo
r > 0 existe un punto x M (distinto de a) a distancia menor que r de a
0 < d(x, a) < r.
2.2. BOLAS Y ESFERAS
27
Ejemplo 14. Sea Z = {. . . , 2, 1, 0, 1, 2, . . . } el conjunto de los nmeros

enteros con la mtrica inducida por la mtrica usual en R. Todo punto en Z
es aislado ya que para r = 1, si x est en B(n; 1), entonces n 1 < x < n + 1
por tanto, x = n.
Con la misma mtrica inducida por la mtrica usual en R, consideremos el
conjunto P = {0, 1, 1/2, 1/3, . . . , 1/n, . . . }. En este conjunto, el 0 no es aislado
en P. En efecto, para cualquier r > 0 existe un nmero natural n tal que nr >
1 (propiedad arquimediana lema 1.21). Entonces 0 < 1/n < r, en consecuencia,
1/n pertenece a la bola B(0; r) y es diferente de su centro. Sin embargo,
cualquier otro punto en P es aislado; en efecto, para un punto 1/n de P el
punto ms cercano en este conjunto es 1/(n + 1) con distancia 1/n(n + 1) y
si se toma r tal que 0 < r < 1/n(n + 1), la bola abierta B(1/n; r) contiene
solamente a 1/n. De hecho, en el conjunto P = {1, 1/2, . . . , 1/n, . . . }, todo punto
es aislado.

Ejemplo 15. En un espacio vectorial normado no trivial, ningn punto es
aislado. En efecto, dados a E y r > 0, la bola B(a; r) contiene vectores
r
y, que es
distintos de a. Tomemos un vector y =/ 0 y hacemos z = 2kyk
un vector no nulo de norma r/2. Entonces, el vector x = a + z es tal que
0 < kx ak < r, como se quera demostrar.

Definicin 16 (espacio discreto). Un espacio mtrico M se llama discreto
cuando todo punto de M es aislado.
Un conjunto A de un espacio mtrico se dice que es discreto si como
subespacio es un espacio discreto.
Por ejemplo, un espacio con la mtrica cero-uno es discreto. As mismo,
como se vio en el ejemplo 14, Z, y P = P \ {0} son discretos.
Proposicin 2.2. Dados dos puntos a =
/ b de un espacio mtrico M, si r > 0
y s > 0 son tales que r + s d(a, b), entonces las bolas B(a; r) y B(b; s) son
disjuntas.
Figura 2.5: Propiedad de separacin de puntos en un espacio mtrico.

Prueba:
Si existe algn punto x en la interseccin B(a; r) B(b; s),
entonces, d(a, x) < r y d(x, b) < s por lo tanto,
d(a, b) d(a, x) + d(x, b) < r + s d(a, b)

lo cual es una contradiccin.
28
Definicin 17 (conjunto acotado). Un conjunto A de un espacio mtrico M

se dice acotado si existe una constante K > 0 tal que para todo x, y A, se
tiene que d(x, y) K.
Definicin 18 (dimetro). Si A es un conjunto acotado de un espacio mtrico
M se define el dimetro de A por:
diam(A) = sup {d(x, y) : x, y A}
Si A es un conjunto no acotado, se escribe diam(A) = para indicar que
para todo K > 0, existen elementos xK , yK e A tales que d(xK , yK ) > K.
Ejemplo 16. Toda bola en un espacio mtrico es un conjunto acotado y su

dimetro es menor o igual al doble de su radio (puede ser menor estricto).
En efecto, para x, y elementos cualesquiera de B(a; r), se tiene que d(x, y)
d(x, a) + d(a, y) < r + r = 2r. En Z con la mtrica inducida por R, para cada
a Z la bola B(a; 1) = {a} tiene dimetro 0.
Ejemplo 17. Sin embargo, en un espacio vectorial normado no trivial, toda

bola abierta de radio r tiene dimetro igual a 2r. Ya hemos visto que el
dimetro es menor o igual a 2r, veamos que si c es tal que 0 < c < 2r, c no
es dimetro de la bola. Efectivamente, como se trata de un espacio vectorial
normado, podemos considerar un vector no nulo y, con l construimos el
y
vector x = t kyk
donde t es un nmero real tal que c < 2t < 2r; x tiene norma
t (que es menor que r), en consecuencia, los vectores a x y a + x pertenecen
a B(a; r) y la distancia entre ellos es: k(a x) (a + x)k = 2 kxk = 2t > c, de
esta forma el dimetro es mayor que c. Luego, como c es cualquier nmero
positivo menor que 2r, el dimetro de B(a; r) es mayor o igual a 2r. De las
dos desigualdades se tiene, que diam(B(a; r)) = 2r.

Ejemplo 18. Existen ejemplos de espacios mtricos acotados. Bastara considerar en un espacio mtrico un subconjunto acotado y estudiarlo como
espacio mtrico con la mtrica inducida. Ahora bien, un espacio vectorial
normado no trivial nunca es acotado, en efecto, si V =
/ 0 es un vector en un
v
tiene
espacio vectorial normado E, para cualquier c > 0, el vector x = c |v|
norma c y la distancia entre ste vector y 0 es kv 0k = kvk = c; luego, el
conjunto de distancias entre elementos de E no est acotado superiormente.

Ejemplo 19. La unin de dos conjuntos acotados es acotada. Sean A, B
subconjuntos acotados de un espacio mtrico M, si alguno fuese vaco el
resultado sera directo. As, fijamos a A y b B; para un par de elementos
x, y de la unin A B tenemos tres posibilidades: (1) x A, y B, (2) x, y A
y (3) x, y B. En el primer caso tenemos:
d(x, y) d(x, a) + d(a, b) + d(b, y) diam(A) + d(a, b) + diam(B)
2.3. DISTANCIA DE UN PUNTO A UN CONJUNTO
29
en el segundo d(x, y) diam(A) y en el tercer caso d(x, y) diam(B). Luego,

diam(A) + d(a, b) + diam(B) es una cota superior del conjunto de distancias
entre elementos de A B.

Definicin 19 (funcin acotada). Una funcin f : X M definida en un
conjunto X y a valores en un espacio mtrico M, se dice que es acotada si su
rango o imagen f(X) es un conjunto acotado en M. (Compare con la definicin
11).
1
Ejemplo 20. La funcin f : R R, definida por f(x) = 1+x
2 es acotada ya
que su rango es el intervalo (0, 1]. Mientras que g : R R dada por g(x) = x2 ,
no es acotada ya que su rango es g(R) = [0, +).
Ejemplo 21. Veamos ahora un contexto ms general del ejemplo 6. Sea X

un conjunto arbitrario y M un espacio mtrico. Denotemos por B(X; M) el
conjunto de las funciones acotadas f : X M.
Para dos funciones f, g pertenecientes a B(X; M), el conjunto de distancias
d(f(x), g(x)) cuando x recorre todo X, es un conjunto acotado de M, ya que,
tanto el rango de f como el de g son conjuntos acotados y en consecuencia,
es acotado el conjunto f(X) g(X) M.
De esta forma, la distancia entre las funciones f, g : X M se puede
definir como:
d(f, g) = sup d(f(x), g(x)).
xX
sta mtrica en B(X; M) se le llama mtrica del supremo mtrica de la

convergencia uniforme
En el caso particular en que el espacio de llegada es adems un espacio
vectorial normado E, es posible definir la suma y la multiplicacin por escalar
de funciones acotadas que son operaciones cerradas; se verifica en esta situacin que B(X; E) es un espacio vectorial normado, la mtrica del supremo
proviene de la norma del supremo: kfk = supxX |f(x)|.
2.3.
Distancia de un punto a un conjunto
Generalizando lo que significa en el plano R2 la distancia de un punto a

a una recta, definida como la distancia de a a x0 el pi de la perpendicular a
la recta, que a su vez es el punto de la recta mas cercano a a. Entonces, se
puede escribir
d(a, x0 ) = nf {d(a, x) : x est en la recta}.

Definicin 20 (distancia de un punto a un conjunto). Sea M un espacio
mtrico, X un subconjunto de M y a un punto cualquiera de M. Se define la
distancia del punto a al conjunto X como el nmero real:
d(a, X) := nf d(a, x)
xX
30
El conjunto de distancias de arriba est acotado inferiormente por 0, por

lo tanto, existe el nfimo. Por una caracterizacin de nfimo para probar que
un nmero real d es la distancia de a a X, se deben verificar dos cosas:
primero, que d es cota inferior de ese conjunto, es decir, d d(a, x) para
todo x X; segundo: que si d < c, entonces existe un elemento xc X tal que
d d(a, xc ) < c.
Ejemplo 22. Si X = {x1 , x2 , . . . , xn } es un conjunto finito, entonces la distancia d(a, X) es el menor de los nmeros: d(a, x1 ), . . . , d(a, xn ).
Ejemplo 23. Si un punto p pertenece al conjunto X, entonces d(p, X) = 0;

pero pueden existir puntos del espacio mtrico, cuya distancia a un conjunto
es cero sin que pertenezca al conjunto. Por ejemplo, para el intervalo abierto
X = (a, b) se tiene que d(a, X) = d(b, X) = 0.
En un espacio vectorial normado E, sea B = B(a; r) la bola de centro
a y radio r > 0. para un elemento v E, se verifica que d(v, B) = 0 si, y
slo si, v pertenece a la bola cerrada B[a; r]. En efecto, primero probemos el
contrarecproco del sentido directo. Sea z un vector no perteneciente a la bola
cerrada B[a; r], entonces, d(z, a) > r, es decir, kz ak > r. Para un elemento
arbitrario x de B, tenemos que kx ak < r, por lo tanto,
0 < kz ak r < kz ak kx ak < k(z a) (x a)k = kz xk
luego, kz ak r es cota inferior de las distancias de z a elementos de B, es
decir, d(z, B) > 0.
Recprocamente, si v B[a; r], entonces kv ak r. Hay dos posibilidades: primero que kv ak < r en cuyo caso v B y d(v, B) = 0; segundo que
va
= va
kv ak = r. En esta caso consideramos el vector unitario u = kvak
r .
Dado > 0, tomamos el escalar > 0 (real) tal que r < < r que equivale
a 0 < r < . En este orden de ideas, construimos el vector y = a + u,
y obtenemos que d(y, a) = ky ak = < r, es decir, y B; por otra parte,
d(y, v) = kv yk = kv a uk = kr u uk = r <
En conclusin, dado > 0, existe y en B a distancia menor que de v; lo
que implica que d(v, B) = 0.

Proposicin 2.3. Sea M un espacio mtrico. Dados a, b M y un subconjunto
no vaco X de M, X M, se verifica:

d(a, X) d(b, X) d(a, b).
Prueba:
Por las propiedades conocidas del valor absoluto, es suficiente
mostrar que d(a, b) d(a, X)d(b, X) d(a, b). Ahora, por la definicin 20
y la desigualdad triangular, para todo x X, d(a, X) d(a, x) d(a, b) +
d(b, x),de donde
d(a, X) d(a, b) d(b, x)
para todo x X.
2.4. ISOMETRAS
31
Luego, d(a, X) d(a, b) d(b, X), equivalentemente,
d(a, X) d(b, X) d(a, b).

La otra desigualdad se obtiene en forma similar. Ejercicio.
Corolario 2.4. Sean a, b, x untos en M se tiene que

d(a, x) d(b, x) d(a, b).
Es posible definir la distancia entre dos conjuntos no vacos.
Definicin 21 (distancia entre conjuntos).

Sea M un espacio mtrico y
X, Y M subconjuntos no vacos. La distancia entre X y Y se define por
d(X, Y) = nf {d(x, y) : x X, y Y}.

Ntese que si X Y =
/ , entonces d(X, Y) = 0, pero el recproco es falso:
si X = (, 0) y Y = (0, +) se tiene que X Y = pero d(X, Y) = 0.
2.4.
Isometras
En esta seccin se estudiarn algunos aspectos relacionados con funciones

que preservan distancias definidas entre dos espacios mtricos.
Definicin 22 (inmersin isomtrica). Sean M, N espacios mtricos. Una
funcin f : M N se llama inmersin isomtrica si para todo x, y M, se
verifica
d(f(x), f(y)) = d(x, y).
Otra forma de referirse a estas funciones es llamarlas embebimiento isomtrico, tambin se dice que son funciones que preservan distancias. En el
caso de transformaciones lineales de un espacio vectorial en s mismo, se les
llama movimientos rgidos.
Una inmersin isomtrica f : M N siempre es inyectiva, pues si f(x) =
f(y), entonces d(x, y) = d(f(x), f(y)) = 0 lo que implica que x = y.
Definicin 23 (isometra). Una isometra es una inmersin isomtrica sobreyectiva.
La compuesta de dos isometras y la inversa de una isometra son tambin
isometras. Ejercicio.
Consideremos una funcin inyectiva f : X M, donde X es un conjunto y
M un espacio mtrico. Haciendo d (x, y) = d(f(x), f(y)) se define una mtrica
en X que es llamada mtrica inducida por f. sta es la nica mtrica en X
que convierte a f en una inmersin isomtrica.
32
Ejemplo 24. Sea Rn con la mtrica inducida por alguna norma cualquiera.
Tomando a, u Rn siendo u un vector unitario (kuk = 1). La funcin f : R
Rn definida por f(t) = a + t u es una inmersin isomtrica entre R y Rn .
En efecto, para s, t R, se tiene d(f(s), f(t)) = kf(s) f(t)k = k(s t) uk =
|s t| = d(s, t).
Fijando a Rn , la aplicacin g : Rn Rn definida por g(x) = x + a
es una isometra. Tambin h : Rn Rn definida por h(x) = x es una
isometra.

Nos referiremos al siguiente ejemplo cuando estudiemos el tema de la
completitud de un espacio mtrico.
Ejemplo 25. Mostraremos que un espacio mtrico M = (M, d) puede ser
inmerso isomtricamente en el espacio vectorial normado E = B(M; R). En
una primera instancia supondremos que M es acotado. Entonces definimos
una funcin : M B(M; R) asignando, a cada x M, (x) = dx donde
dx : M R es la funcin distancia al punto x, es decir, dx (y) = d(x, y)
para todo y M. Siendo M un espacio acotado, dx es una funcin acotada,
de modo que toma valores en B(M; R).
La funcin preserva distancias ya que, por el corolario 2.4, para x, x
en M arbitrarios tenemos |dx (y) dx (y)| d(x, x ). Luego,
kdx dx k = sup |dx (y) dx (y)| d(x, x ).

yM
En particular, para y = x , se obtiene que |dx (y) dx (y)| = d(x, x ) (es cota
superior y elemento del conjunto), por tanto,
d((x), (x )) = kdx dx k = d(x, x )

lo que muestra que es una inmersin isomtrica de M en B(M; R).
En el caso en que M no sea acotado, fijamos un punto a M y definimos
la aplicacin : M B(M; R) por (x) = dx da . Por el mismo argumento
de arriba, se tiene que k(x)k = kdx da k d(a, x), lo que afirma que (x)
es una funcin acotada (la imagen de pertenece a B(M; R)). Adems,
d((x), (x )) = k(x) (x )k = k(dx da ) (dx da )k

= kdx dx k = d(x, x )
como se prob arriba. Luego, es una inmersin isomtrica de M en el
espacio vectorial normado B(M; R).
2.5. EJERCICIOS
2.5.
33
Problemario No 2
Sea d : M M R una funcin que satisface d(x, y) = 0 x = y; y

para todo x, y, z M vale d(x, z) d(x, y) + d(z, y). Pruebe que d es una
mtrica.
Muestre que d : R R R, definida por d(x, y) = (x y)2 , no es una

mtrica.
p
Sea d : M M R una mtrica. Verifique que (x, y) = d(x, y) ,
d(x,y)
(x, y) = 1+d(x,y)
y (x, y) = mn{1, d(x, y)} son mtricas en M.
Sugerencia: para pruebe que 0 a b
a
1+a
b
1+b
Pruebe que toda norma en R es de la forma kxk = a |x|, donde a es

una constante positiva. Concluya que toda norma en R proviene de un
producto interno.
En cualquier espacio mtrico M se tiene que
B[a; r] =
B(a; s) =
b(a; r) =
n=1
s>r
{a} =
r>0
n=1

1
B a; r +
n

1
.
B a;
n
Muestre tambin que una bola abierta se puede expresar como una unin
de bolas cerradas.
6
Responda mediante argumentos las siguiente preguntas:

(a) Todo espacio mtrico finito es discreto?
(b) Todo espacio discreto es finito?
(c) Todo espacio infinito numerable es discreto?
Sea X un conjunto infinito numerable. Muestre que es posible definir una

mtrica en X, respecto a la cual, ningn punto de X es aislado.
D ejemplos de dos conjuntos discretos X, Y R tales que X Y no sea

discreto.
Si b
/ B[a; r], pruebe que existe s > 0 tal que B[a; r] B[b; s] = .
34
10
En un espacio mtrico M, sea b B(a; r) pruebe que existe una bola abierta de centro en b contenida en B(a; r). Muestre, mediante un
ejemplo, que esta afirmacin pudiera ser falsa para b B[a; r].
11
Sea X M un subconjunto discreto. Determine, para cada x X, una

bola abierta Bx = B(x; rx ) en M, de tal forma que si x 6= y, entonces
Bx By = .
12
D un ejemplo de un conjunto acotado X R tal que no existan elementos x, y en X con |x y| = diam(X).
13
Todo espacio mtrico es unin numerable de subconjuntos acotados.
14
Sean a un punto y C un subconjunto no vaco de un espacio mtrico.

Suponiendo que d(a, C) = 2, pruebe que existe una bola abierta B(a; r)
tal que d(x, C) > 1 para todo x B(a; r).
15
Sea F = M \ B(a; r) el complemento de una bola abierta en el espacio

mtrico M. Pruebe que si d(x, F) = 0, entonces x F.
16
En un espacio vectorial normado E sean X = B(a; r) y X = B[a : r].

Pruebe que para todo vector v E, se tiene que d(v, X) = d(v, X).
17
Sean A, B conjuntos acotados y no vacos de un espacio mtrico M.

Pruebe que diam(A B) diam(A) + diam(B) + d(A, B).
18
Muestre un ejemplo de conjuntos no vacos A, B tales que A B = pero

d(A, B) = 0.
19
Demuestre que en un espacio vectorial normado E, dos bolas abiertas

(cerradas) del mismo radio son isomtricas. Mas an existe una isometra
de E que aplica una de las bolas en la otra. Muestre que esto, para
espacios mtricos en general, es falso.
20
Sea E un espacio vectorial con producto interno. Dada una transformacin lineal T : E E, las siguientes proposiciones son equivalentes:
(a) T es una inmersin isomtrica. (b) kTxk = kxk para todo x E. (c)
hTx, Tyi = hx, yi para cualesquiera x, y E. Si adems la dimensin de E
es finita, en estas condiciones, T es una isometra.
Captulo 3
Funciones continuas
3.1.
Definicin y ejemplos de
funciones continuas
Definicin 24 (continuidad en un punto). Sean M, N espacios mtricos. Se

dice que una funcin f : M N es continua en un punto a M si para
todo > 0, existe un > 0 tal que d(x, a) < implica que d(f(x), f(a)) < .
Se dice que f : M N es continua si f es continua en todo punto de su
dominio.
En trminos de bolas, la continuidad de f : M N en el punto a M,

se puede expresar as: para cualquier > 0, la bola B(f(a); ) contiene la
imagen, mediante f, de la bola B(a; ) para algn > 0
para todo > 0, existe > 0, tal que f(B(a; )) B(f(a); ).
Ejemplo 26. Si f es una funcin de variable real a valores reales, es decir,

si f : M R R, f es continua en a M si para todo > 0, existe > 0
tal que si x M y x (a , a + ), entonces f(x) (f(a) , f(a) + ).
Por lo que f aplica todo el conjunto (a , a + ) M dentro del intervalo
(f(a) , f(a) + ).

Definicin 25 (funcin Lipschitziana).
Sean M, N espacios mtricos y
f : M N una funcin. Si existe una constante L > 0 (llamada constante de
Lipschitz1 ) tal que
d(f(x), f(y) L d(x, y), para cualesquiera x, y M
diremos que f es una funcin lipschitziana o que satisface una condicin de

Lipschitz.
1 Rudolph Otto Sigismund Lipschitz (1832-1903) fue un matemtico alemn, dio su nombre
a la condicin de continuidad de Lipschitz, y trabaj en una amplia gama de reas. stas
incluyen teora de nmeros, lgebras con involucin, anlisis matemtico, geometra diferencial
y mecnica clsica.
35
CAPTULO 3. FUNCIONES CONTINUAS
36
Ejemplo 27. Si f : M N es lipschitziana, entonces es continua (en cada punto a M). En efecto, sean L una constante de Lipschitz para f y
a M, dado > 0, hacemos = /L. Entonces, d(x, a) < implica que
d(f(x), f(a)) L d(x, a) < L = .
Para funciones reales de variable real la condicin de Lipschitz significa
que para todo x, y en el dominio, |f(x) f(y)| / |x y| L, por lo que la
pendiente de cualquier recta secante al grfico de f es, en valor absoluto,
menor o igual a L. Si una funcin f, est definida en un intervalo I, f : I R,
y es diferenciable con derivada acotada, |f (x)| c, entonces es lipschitziana
con constante de Lipschitz c; ya que por el Teorema del valor medio, para
algn z entre x y y, se tiene que |f(x) f(y)| = |f (z)(x y)| c |x y|.
Definicin 26 (localmente lipchitziana). Una funcin f : M N se llama
localmente lipschitziana cuando para cada punto a del dominio existe una
bola B de radio r > 0 tal que la restriccin de f a la bola B, f/B, es lipschitziana.
Dado que la continuidad en un punto es un concepto local, toda funcin
localmente lipschitziana, es continua.
Ejemplo 28. Una potencia de x es lipschitziana en cada parte acotada de R.
Si f : R R est definida por f(x) = xn donde n es un entero positivo y
n1
|x| a, entonces |f (x)| = n |x|
n an1 .
Esto tambin se puede ver sin hacer uso de la derivada: si se tiene que
|x| a y |y| a, entonces

|xn yn | = |x y| xn1 + xn2 y + + yn1
|x y| (|x|
c |x y|
n1
+ |x|
n2
|y| + + |y|
n1
donde c = n an1 . Ya que un polinomio es una combinacin lineal de

potencias de x, se concluye que todo polinomio cumple una condicin de
Lipschitz en cada intervalo acotado; luego, es continuo.

Ejemplo 29. La funcin r : R \ {0} R, definida como r(x) = 1/x es
continua. En efecto, si |x| k y |y| k, entonces |r(x) r(y)| = |1/x 1/y| =
|x y| / |xy| (1/k2 ) |x y|. Esto demuestra que r es lipschitziana, y por tanto
continua, en cada conjunto de la forma: Xk = {t R : |t| > k}; as que cada
nmero real a 6= 0 es centro de una bola contenida en Xk para algn k > 0,
en la cual r es continua.

Ejemplo 30. Contracciones dbiles. Sea f : M N, se dice que f es una
contraccin dbil si para todo x, y M, se tiene d(f(x), f(y)) d(x, y), es
decir, que son funciones lipschitzianas con constante de Lipschitz igual a 1;
en consecuencia, son funciones continuas. A continuacin se nombran varias
de ellas:
3.2. PROPIEDADES DE LAS FUNCIONES CONTINUAS
37
(a) Las funciones constantes.

(b) Todas las inmersiones isomtricas. Como un caso particular, tenemos
la funcin inclusin i : X M donde X M.
(c) De la proposicin 2.3 del captulo 2, se sigue que la funcin distancia
a un conjunto no vaco X de M, d(, X) : M R es una contraccin
dbil.
(d) En un espacio vectorial normado, la norma es una contraccin dbil,
en virtud de la conocida propiedad: |kxk kyk| kx yk.
(e) Toda proyeccin i : M1 Mn Mi dada por i (x1 , . . . , xn ) =
xi es una contraccin dbil, utilizando cualquiera de las tres mtricas
vistas en el producto cartesiano.
(f) La misma mtrica d : M M R es una contraccin dbil cuando
se considera, en el producto cartesiano M M, la mtrica de la suma:
|d(x, y) d(x , y )| = |d(x, y) d(x , y) + d(x , y) d(x , y )|

|d(x, y) d(x , y)| + |d(x , y) d(x , y )|
d(x, x ) + d(y, y ) = d((x, x ), (y, y )).
(g) La suma de vectores en un espacio vectorial normado, s : E E E
es una contraccin dbil, tomando como norma en E E, k(x, y)k =
kxk + kyk, ya que
ks(x, y) s(a, b)k kx ak + ky bk = k(x, y) (a, b)k .

Ejemplo 31. Continuidad en espacios discretos. En cada punto aislado p
de un espacio mtrico M, toda funcin f : M N es continua, pues dado
> 0, basta tomar > 0 menor o igual al radio que asla a p, entonces
d(x, p) < p = x d(f(x), f(p)) = 0 < . Se sigue de ah que toda funcin
definida sobre un espacio discreto es continua. Por otro lado, si el espacio
de llegada N es discreto, f es continua si, y slo si, cada punto p de M es
centro de una bola sobre la cual f es constante.
3.2.
Propiedades de las funciones continuas
En esta seccin se estudiarn las principales propiedades de las funciones

continuas, varias de ellas se utilizarn para probar el hecho de la continuidad de otras funciones. Comenzaremos por establecer que la composicin de
funciones continuas es continua.
38
Proposicin 3.1. Si f : M N es continua en el punto a y g : N P es

continua en el punto f(a), entonces la funcin compuesta g f : M P es
continua en el punto a.
Prueba:
Sea > 0. Como g es continua en f(a), existe > 0 tal que
d(y, f(a)) < d(g(y), g(f(a)) < ; ahora bien, por la continuidad de f en
a, para este > 0 existe > 0 tal que
d(x, a) < d(f(x), f(a)) < d(g(f(x)), g(f(a))) <
Figura 3.1: La composicin de funciones continuas es continua.

La restriccin de una funcin continua, es continua.
Corolario 3.2. Si f : M N es continua en el punto a X M, entonces la
restriccin de f a X, f/X : X N, es continua en el punto a.
Prueba:
Basta notar que f/X = f i donde i : X M es la funcin
inclusin, i(x) = x, para todo x X.
Ejemplo 32. Continuidad conjunta y separada. Una funcin f : M N P

es una funcin de dos variables; de la definicin 24, y considerando en el
producto MN la mtrica del mximo, resulta que f es continua en un punto
(a, b) si, y slo si, para un > 0 dado, existen 1 > 0 y 2 > 0 tales que
d(x, a) < 1 y d(y, b) < 2 d(f(x, y), f(a, b)) < . En esta situacin, se dice
que f es continua conjuntamente en las variables x, y.
Por otra parte, se dice que la funcin f : M N P es continua respecto
a la primera variable en el punto (a, b) cuando la funcin parcial fb : M P
definida por: fb (x) = f(x, b), es continua en a. Del mismo modo, se dice que
f es continua respecto a la segunda variable en el punto (a, b) si la funcin
parcial fa : N P, definida por: fa (y) = f(a, y), es continua en b. Si las dos
continuidades se tienen, se dice que f es continua separadamente respecto a
cada una de sus variables.
Si ib : M {b} M N e ia : {a} N M N son funciones inclusin,
entonces fb = f ib y fa = f ia . De esta forma, vemos que la continuidad
conjunta implica la continuidad separada.
El recproco es falso. Un clsico ejemplo es la funcin f : R R R,
si x2 + y2 6= 0 y f(0, 0) = 0. Esta funcin es
definida por f(x, y) = x2xy
+y2
3.2. PROPIEDADES DE LAS FUNCIONES CONTINUAS
39
continua separadamente en (0, 0) pues f(x, 0) = f(0, y) = 0; pero es discontinua en (0, 0) porque su restriccin a la recta y = ax de R2 es una funcin
discontinua:
f(x, ax) =
a
ax2
=
si x 6= 0 y f(0, 0) = 0
2
2
2
x +a x
1 + a2
Ejemplo 33. Continuidad del producto por escalar Sea E un espacio vectorial
normado real. Veamos que el producto por escalar, m : R E E donde
m(, x) = x, es lipschitziana en cada parte acotada de R E. Sean , en
R y x, y en E tales que || , || a y kxk , kyk a, entonces

d m(, x), m(, y) = k x yk = k x x + x yk

| | kxk + || kx yk a | | + kx yk

= a d (, x), (, y)
Luego, la multiplicacin por escalar es continua. Como caso particular, la
funcin producto de nmeros reales es continua.
Consideremos los espacios mtricos M, N1 y N2 , una funcin f : M N1

N2 est constituida por dos funciones llamadas las funciones coordenadas de
f, f1 : M N1 y f2 : M N2 , y son tales que f(x) = (f1 (x), f2 (x)) para
todo x M. Como notacin se utiliza f = (f1 , f2 ). Ntese que f1 = 1 f y
f2 = 2 f, donde i con i = 1, 2 son las respectivas proyecciones de N1 N2 .
Proposicin 3.3. Una funcin f : M N1 N2 es continua (en el punto
a M) si, y slo si, sus funciones coordenadas f1 : M N1 y f2 : M N2 ,
son continuas (en el punto a).
Prueba:
Si f es continua y siendo las proyecciones 1 , 2 continuas
como se vio en el ejemplo 30 parte (e), tambin son continuas f1 = 1 f y
f2 = 2 f. Recprocamente, consideramos en N1 N2 la mtrica del mximo;
por la continuidad de cada fi : M Ni con (i = 1, 2), dado > 0, existen
1 , 2 > 0 tales que d(x, a) < i d(fi (x), fi (a)) < (i = 1, 2). Tomando
= mn{1 , 2 }, se tiene que

d(x, a) < d(f(x), f(a)) = max d f1 (x), f1 (a) , d f2 (x), f2 (a) < .
Luego, f es continua en a.
Corolario 3.4. Si f1 : M1 N1 y f2 : M2 N2 son continuas, entonces

tambin es continua la funcin
definida por
= f1 f2 : M1 M2 N1 N2 ,
(x1 , x2 ) = (f1 (x1 ), f2 (x2 )).
40

Prueba:
= f1 1 , f2 2
Frecuentemente, en lugar de utilizar directamente la definicin de continuidad, resulta mas sencillo expresar la funcin objeto de estudio, como
composicin de funciones ms simples, cuya continuidad ya se haya establecido. sta es la tcnica utilizada en la siguiente proposicin.
Proposicin 3.5. Sean M un espacio mtrico, E un espacio vectorial normado
y f, g : M E, , : M R funciones continuas, con (x) 6= 0 para todo
x M. Entonces, tambin son continuas las funciones
f+g:ME
f:ME
/ : M R
(x)
(f + g)(x) = f(x) + g(x) ( f)(x) = (x) f(x) (/) (x) = (x)
.
Prueba:
Ya se ha probado que las siguientes funciones son continuas:
r : R\ E, r(x) = 1/x (ver ejemplo 29), s : E E E, s(x, y) = x + y (ver
ejemplo 30(g)), y m : R E E, m(, x) = x (ver ejemplo 33).
Entonces, las siguientes funciones son continuas en virtud de la proposicin 3.3, el corolario 3.4 y la proposicin 3.5:
f + g = s (f, g),
f = m (, f)
/ = m (I r) (, )
En particular, la suma, el producto y el cociente de funciones reales continuas es continua.
3.3.
Homeomorfismos
Los homeomorfismos en la Topologa son como los isomorfismos en el

lgebra Lineal o como los homomorfismos en Teora de grupos, en el sentido
que, como lo veremos ms adelante, preservan las propiedades topolgicas
de los espacios donde est definida. La propiedad esencial mediante la cual
se transmiten dichas propiedades, es la continuidad.
Por otra parte, aunque la inversa de una transformacin lineal biyectiva es
tambin una transformacin lineal y la inversa de un homomorfismo biyectivo
tambin es un homomorfismo, en Topologa nos encontraremos con funciones
continuas y biyectivas cuya inversa no es continua.
Ejemplo 34. Consideremos los siguientes subespacios de R con la mtrica
usual: M = [1, 0] (1, +) y N = [0, +); se define f : M N por f(x) = x2
para todo x M.
Es claro que f es la restriccin del polinomio x2 a M y por tanto, es
continua. Adems, es una biyeccin; su inversa g = f1 : N M est dada
por

y
si y > 1
g(y) =
y si 0 y 1
la cual es discontinua en el punto 1. En efecto, primero vemos que g(1) = 1,

tomemos 0 < < 2, mostremos que existen elementos de M arbitrariamente
3.3. HOMEOMORFISMOS
41
Figura 3.2: Una funcin continua con inversa discontinua.

cerca de 1 pero cuya imagen (mediante g) est lejos de 1. Dado cualquier
> 0, seleccionamos n N tal que 1/n < , entonces la distancia de 1 a
1 + (1/n) es |(1 + 1/n) 1| = 1/n < ; pero
p
p

|g(1 + 1/n) g(1)| = 1 + 1/n (1) = 1 + 1/n + 1 > 2 > .
Ejemplo 35. Un ejemplo ms sencillo pero ms sorprendente es considerar

la funcin identidad de R, considerando la mtrica cero-uno y la mtrica
usual; denotemos estos espacios con sus mtricas, R10 y R respectivamente.
La funcin identidad I : R10 R definida por I(x) = x, es continua porque
el espacio R10 es discreto. La inversa I1 : R R10 por el contrario, no es
continua porque para que lo fuese, es necesario que cada punto en R, sea
centro de una bola donde la funcin I1 sea constante (ver ejemplo 31), lo
cual no se satisface.

Ejemplo 36. Consideremos la circunferencia unitaria del plano euclidiano
S1 = {(x, y) R2 : x2 + y2 = 1}. La parametrizacin de S1 , f : [0, 2) S1 ,
definida por f(t) = (cos t, sen t), es continua pues sus dos funciones coordenadas son continuas. Adems es biyectiva por las propiedades de sen y
cos. Esquemticamente, la funcin f lo que hace es tomar el intervalo [0, 2)
enrollarlo sobre S1 sin estirarlo ni arrugarlo, de tal forma que el punto
t = 0 se hace corresponder con el punto p = (1, 0) S1 .
La funcin inversa g = f1 : S1 [0, 2) es discontinua en el punto p.
Intuitivamente, la funcin inversa rompe la circunferencia S1 en el punto
p y la rectifica sobre el intervalo [0, 2). Veamos que la funcin inversa
es discontinua en p: g(p) = 0. Tomemos = y para cada n N, sean
tn = 2 (1/n) y zn = f(tn ) entonces, la distancia de zn a p = (0, 1) es
menor que 1/n. (El arco tn es mayor que la cuerda). Sin embargo, g(zn ) = tn
es tal que |g(zn ) g(p)| = 2 1/n > = para todo n.

Definicin 27 (homeomorfismo). Sean M y N espacios mtricos. Un homeomorfismo de M sobre N es una biyeccin continua f : M N cuya inversa
42
Figura 3.3: Una parametrizacin de S1 .
f1 : N M tambin es continua. En este caso se dice que M y N son

homeomorfos.
Desde el punto de vista de la Topologa, dos espacios homeomorfos son
indistintos. Una propiedad de un espacio M se dice que es una propiedad
topolgica si todo espacio homeomorfo a M tambin tiene dicha propiedad.
Las propiedades topolgicas se distinguen de las propiedades mtricas que
se preservan mediante isometras. Dado que una isometra es tambin un
homeomorfismo, toda propiedad preservada por homeomorfismos es tambin
preservada por las isometras, es decir, toda propiedad topolgica es propiedad
mtrica; el recproco es falso como se ver posteriormente.
Ejemplo 37. Sea f : M N inyectiva y continua; supongamos que para
algn a M se tiene que f(a) es aislado en N, entonces existe un radio > 0
tal que la bola B(f(a); ) = {f(a)} es un conjunto unitario. Por la continuidad,
para este existe > 0 tal que f(B(a; )) B(f(a); ) {f(a)}; pero como f es
inyectiva, la bola B(a; ) tiene un nico elemento, precisamente a, luego es
aislado. En consecuencia, si dos espacios son homeomorfos, y uno es discreto
el otro tambin lo es. De modo que ser discreto es una propiedad topolgica.
Por otra parte, ser acotado es una propiedad mtrica que no es una propiedad topolgica. Por ejemplo, los naturales N y el conjunto P = {1, 21 , . . . , n1 , . . . }
con la mtrica inducida por la recta, son discretos e infinito numerables, por
tanto, existe una biyeccin entre N y P. sta biyeccin y su inversa son continuas por estar definidas en espacios discretos; as, N y P son homeomorfos,
P es acotado pero N no lo es.

Ejemplo 38. Homeomorfismo entre bolas. Sea E un espacio vectorial normado. Para todo a E y todo nmero real > 0, la traslacin ta : E E definida
por ta (x) = x + a y la homotecia2 m : E E definida por m (x) = x,
son homeomorfismos de E, pues ya hemos visto que la suma de vectores es
continua (ejemplo 30(g)) y la traslacin es una restriccin de ella. Tambin,
2 Una homotecia es una transformacin afn que, a partir de un punto fijo, multiplica todas las
distancias por un mismo factor. En general una homotecia de razn diferente de 1 deja un nico
punto fijo, llamado centro de la transformacin. La homotecia de centro C y razn k (factor de
escala) transforma un vector v en el vector v por la ecuacin: v C = k(v C)
3.3. HOMEOMORFISMOS
43
en el ejemplo 33 vimos que el producto por escalar es continuo. Luego, sus

inversas (ta )1 = ta y (m )1 = m(1/) son continuas.
Dos bolas abiertas en E son homeomorfas mediante una composicin
de traslaciones y homotecias; sean B(a; r) y B(b; s) en E, esquemticamente
primero se traslada el centro de la primera bola al cero de E u origen. Luego
se escala del radio r al radio s y finalmente se traslada del origen 0 al centro
b. Se define : E E como = tb ms/r ta que es un homeomorfismo de
E en E y satisface que (B(a; r)) = B(b; s). Ntese que este homeomorfismo
nos permite mostrar que dos bolas cerradas tambin son homeomorfas.

Ejemplo 39. La proyeccin estereogrfica. Sean Sn = {x Rn+1 : kxk = 1}
la esfera unitaria n-dimensional y p = (0, . . . , 0, 1) Sn su polo norte. La
proyeccin estereogrfica : Sn \{p} Rn establece un homeomorfismo entre
la esfera sin el polo norte y el espacio euclidiano Rn . Geomtricamente, (x)
con el hiperplano x
es el punto de interseccin de la semirrecta
px
n+1 = 0, el
cual se identifica con Rn .
Figura 3.4: La proyeccin estereogrfica

La expresin de dicha aplicacin se puede obtener del modo siguiente: la
se puede expresar en la siguiente forma p + t (x p) con t > 0.
semirrecta
px
Resolviendo la ecuacin 1 + t(xn+1 1) = 0 se obtiene que t = 1/(1 xn+1 ).
Si x = (x1 , x2 , . . . , xn , xn+1 ) denotamos por x la n-upla x = (x1 , x2 , . . . , xn ).
Entonces, (x) = p + (x p)/(1 xn+1 ), simplificando tenemos
(x) =
x
=
1 xn+1
xn
x1
,...,
1 xn+1
1 xn+1
de la expresin anterior, se deduce que es continua (ya que x Sn \ {p},

xn+1 6= 1). Para verificar que es un homeomorfismo, basta considerar la
44
aplicacin : Rn Sn \ {p}, definida por (y) = x donde las primeras n
coordenadas de x es x =
2y
kyk2 +1
y la coordenada n + 1 es xn+1 =
es la inversa de . Ejercicio.
3.4.
kyk2 1
.
kyk2 +1
Mtricas equivalentes
Intuitivamente, la idea de utilizar una mtrica ms fina que otra es utilizar

una unidad de medida menor; por ejemplo, en lugar de medir en metros
medir en centmetros o milmetros, as la cinta mtrica posee ms divisiones
o marcas y en consecuencia, la medida es ms fina y en algn sentido, ms
grande.
Dadas las mtricas d1 y d2 en el mismo conjunto M, denotamos M1 =
(M, d1 ), M2 = (M, d2 ), B1 (a; r) la bola de centro a y radio r segn la mtrica
d1 etc.
Definicin 28 (mtrica ms fina). Sean d1 y d2 dos mtricas en M. Diremos
que d1 es ms fina que d2 , lo cual denotaremos d1 d2 , cuando la funcin
identidad i1 2 : M1 M2 fuere continua.
Ya que se trata de la funcin identidad, para que d1 sea ms fina que d2

es necesario y suficiente que para todo a M y todo > 0, exista > 0
tal que B1 (a; ) B2 (a; ); esto es, toda bola segn d2 contiene una bola del
mismo centro segn d1 .
Ejemplo 40. Si d1 es una mtrica discreta en M, es decir, una mtrica segn

la cual M es un espacio discreto, entonces d1 es ms fina que cualquier otra
mtrica d2 en M; ya que siendo M1 discreto, la identidad i1 2 : M1 M2 es
continua (ejemplo 31). Por otra parte, sea a M, si d2 es ms fina que d1 ,
y > 0 es el radio que asla a a (segn d1 ), existe > 0 tal que B2 (a; )
B1 (a; ) = {a}; en consecuencia, d2 tambin es una mtrica discreta.

Lema 3.6. Si existe una constante c > 0 tal que para todo x, y en un espacio
mtrico M, d2 (x, y) c d1 (x, y), entonces d1 es ms fina que d2 .
Prueba:
La hiptesis es una condicin de Lipschitz para la funcin
i 1 2 : M1 M2 .
Ejemplo 41. Sea E = C0 ([a, b], R) el espacio de las funciones continuas (y

acotadas) definidas sobre el intervalo [a, b]. En este espacio hemos estudiado
la norma del supremo: kfk = supaxb |f(x)|. Por otra parte, dado que toda
funcin continua es integrable (Riemann-integrable), la expresin
kfk1 =
Zb
a
|f(x)| dx
3.4. MTRICAS EQUIVALENTES
45
(Aqu se utiliza el hecho conocido de que

define una norma. Ejercicio.
la integral de una funcin continua no negativa es cero si, y slo si, es la
funcin nula).
Sea d la mtrica inducida por la norma del supremo y d1 la mtrica
inducida por la norma kk1 . Para f, g E, se tiene,
d1 (f, g) =
Zb
a
|f(x) g(x)| dx (b a) sup |f(x) g(x)| = (b a) kf gk

axb
Luego, la mtrica del supremo o de la convergencia uniforme es ms fina que

la mtrica inducida por la norma kk1 .
Pero por otra parte, la mtrica d1 no es ms fina que la mtrica d. Para
ver esto, consideramos la funcin g : [a, b] R, que es cero excepto en el
intervalo [a, a + c] [a, b], con c < 2 . En este subintervalo, el grfico de g
es un tringulo issceles, cuya base es [a, a + c] y cuya altura es 2. El rea
Rb
de este tringulo es por un lado, c por el otro es a g(x)dx. Luego,
kgk1 = c <
=
2
2
Figura 3.5: La mtrica d1 no es ms fina que la mtrica del Sup.

de este modo, k(f + g) fk1 = kgk1 < y por tanto, (f + g) B1 (f; ) pero,
como g(a+c/2) = 2, k(f + g) fk = kgk = 2 > por lo que (f+g)
/ B(f; ).
En conclusin, ninguna bola segn d puede contener un bola segn d1 .

Proposicin 3.7. Sea M un espacio mtrico dotado de las mtricas d1 y
d2 , como notacin hacemos M1 = (M, d1 ) y M2 = (M, d2 ). Las siguientes
proposiciones son equivalentes:
(1) d1 d2 .
(2) Para todo espacio mtrico N
f : M2 N es continua f : M1 N es continua.
(3) f : M2 R es continua f : M1 R es continua.
46
(4) Para todo a M, la funcin d2a : M1 R definida por d2a (x) =

d2 (a, x), es continua en el punto a.
(5) Toda bola abierta segn d2 contiene una bola abierta segn d1 .
(6) La funcin d2 : M1 M1 R es continua.
Prueba:
(1) (2) Observemos el siguiente diagrama conmutativo:

M1
i12
M2
por hiptesis, d1 d2 , as la identidad i12 : M1 M2 es continua; luego, si

f : M2 N es continua, entonces f : M1 N es continua.
(2) (3) (4) es bastante claro porque cada una es un caso particular de
la anterior.
(4) (1). El hecho de que d2a : M1 R sea continua en a M se expresa
por definicin:
> 0, > 0 tal que , d1 (x, a) < |d2a (x) d2a a| = d2a (x) <
que equivale a
> 0, > 0 tal que B1 (a; ) B2 (a; ).

De aqu, es claro que eso implica la continuidad de la identidad i12 : M1 M2
De lo anterior tambin se desprende que (4) (5).
(1) (6) De (1) se tiene que i12 es continua, as tambin es continua la
identidad i12 i12 : M1 M1 M2 M2 . Ya se ha visto que la mtrica
d2 : M2 M2 R es continua, en consecuencia, la funcin d2 = d2 i12 :
M1 M1 R es continua. (6) (4) La funcin descrita en (4) es una
restriccin de la funcin descrita en (6).
Definicin 29 (mtricas equivalentes). Dos mtricas d1 d2 en un espacio

mtrico M se llaman equivalentes cuando cada una es ms fina que la otra
(d1 d2 y d2 d1 ), esto es, cuando la funcin identidad, i1 2 : (M, d1 )
(M, d2 ), es un homeomorfismo. Lo denotaremos por d1 d2 .
3.5.
Continuidad de las transformaciones lineales
Definicin 30 (transformaciones, funcionales). Sean E y F espacios vectoriales reales. Una funcin T : E F se llama transformacin lineal, si para
cualesquiera x, y E y R, f(x + y) = f(x) + g(x) y f(x) = f(x).
Si f : E R es una transformacin lineal, diremos que f es un funcional
lineal.
3.5. CONTINUIDAD DE LAS TRANSFORMACIONES LINEALES
47
Ejemplo 42. Toda transformacin lineal definida en un espacio de dimensin

finita, es continua. En efecto , sea T : E F una transformacin lineal, con
{v1 , . . . , vn }, una base de E, entonces dado un vector arbitrario x E con
x = 1 v1 + + n vn , se tiene
kT (x)k |1 | kT (v1 )k + + |n | kT (vn )k

Haciendo K = max{kT (vi )k , . . . , kT (vn )k} y utilizando en E la norma kxk =
k1 v1 + + n vn k = |1 | + + |n |. Se verifica que:
kT (x)k K kxk
Entonces, para x, y E, kT (x) T (y)k = |T (x y)| K |x y|. Luego, T
es lipschitziana y por tanto continua.

Proposicin 3.8. Sean E y F espacios vectoriales normados. Las siguientes
proposiciones respecto a una transformacin lineal T : E F son equivalentes:
(1) T es continua.
(2) T es continua en el punto 0 E.

(3) Existe K > 0 tal que kT (x)k K kxk para todo x E.
(4) Existe K > 0 tal que |T (x) T (y)| K kx yk para x, y E.
Prueba:
(1) (2) obvia.
(2) (3) Dada la continuidad de T en 0 y que por ser transformacin lineal,
T (0) = 0, tomamos = 1 para el cual existe > 0 tal que kxk = kx 0k <
kT (x) T (0)k = kT (x)k < . Consideramos ahora un nmero K > 0 tal
que 0 < K1 < . La desigualdad de (3) vale obviamente cuando x = 0; sea
x
x E un vector no nulo, el vector Kkxk
tiene norma 1/K menor que , de esta

x
forma, T Kkxk < 1. Por la linealidad de T tenemos
es decir,
1
kT (x)k < 1
K kxk
kT (x)k K kxk
(3) (4) Por la linealidad de T , para x, y E, se tiene que

kT (x) T (y)k = kT (x y)k K |x y|
(4) (1) La proposicin (4) es una condicin de Lipschitz para T , por tanto,
T es continua.
48
3.6.
1
Problemario No 3
Sean f, g : M R continuas en el punto a M. Si f(a) < g(a), demuestre que existe > 0 tal que, para x, y M,
d(x, a) < , d(y, a) < f(x) < g(y).
Enuncie el caso particular en que f es la funcin nula. Concluya a partir

de all que si B M es una bola cerrada y c M \ B, entonces existe
una bola abierta (y por tanto una bola cerrada) B , de centro c, tal que
B B = .
2
Sean f, g : M N funciones continuas en el punto a M. Si f(a) =

/ g(a),
entonces existe una bola abierta B, de centro a, tal que f(B) g(B) = .
En particular, x B, implica que f(x) =
/ g(x).
Sean f, g : M N funciones continuas. Dado a M, suponga que toda

bola de centro a contiene algn punto tal que f(x) = g(x). Concluya
que f(a) = g(a). Utilice este hecho para probar que si f, g : R R son
funciones continuas que son iguales en cada nmero racional, entonces
f = g.
Sea f : I R R diferenciable en todo punto del intervalo I. Pruebe que

si f es lipschitziana, entonces su derivada es acotada en I.
Sean I, J intervalos cualesquiera de R y f : I J una biyeccin creciente

(x < y f(x) < f(y)). Pruebe que f (y en consecuencia f1 ) es continua.
Concluya de ah la continuidad de la funcin raz cuadrada, f(x) = x.
Una versin del teorema del valor intermedio. Dada f : [a, b] R continua, con f(a) > 0 > f(b), sea c = sup{x [a, b] : f(x) > 0}. Pruebe que
f(c) = 0. Infiera de lo anterior que si f : I R es continua, e I es un
intervalo, la imagen de I mediante f, f(I), es un intervalo.
Toda funcin continua f : [a, b] R es acotada. (Sugerencia: defina

X = {x [a, b] : f/[a, x] es acotada} y haga c = sup X. Pruebe que c X y
concluya que X = [a, b]).
Teorema del valor extremo. Para toda funcin continua f : [a, b] R,

existen x0 , x1 [a, b] tales que f(x0 ) f(x) f(x1 ) para todo x [a, b].
(Sugerencia: si por ejemplo no existiera x1 , haciendo = sup{f(x) : x X},
1
sera continua y no acotada en [a, b]).
la funcin g(x) = f(x)
3.6. EJERCICIOS
9
49
En un espacio mtrico M, sean F = B[a; r] y G = M \ B(a; s), donde

0 < r < s. Demuestre que la funcin f : M [0, 1], definida por
f(x) =
d(x, F)
d(x, F) + d(x, G)
es continua y adems f1 (0) = F, f1 (1) = G.

10
Sean f : M N y g : N P continuas tales que g f : M P es

un homeomorfismo. Suponiendo que f sea sobreyectiva (o bien que g sea
inyectiva), pruebe que tanto f como g son homeomorfismos.
11
Muestre que los siguientes espacios son dos a dos homeomorfos:
X = {(x, y, z) R3 : x2 + y2 = 1}
Y = S1 R
Z = R2 \ {0}
12
Sea B la bola cerrada de centro en el origen y radio 1 en R2 defina un

homeomorfismo entre R2 \ B y R2 \ {0}.
13
Sea : [0, +) [0, +) una funcin creciente, tal que (0) = 0 y

(x+y) (x)+(y). Entonces, si d es una mtrica en M, d tambin
es una mtrica en M. Adems si es continua en 0, las mtricas d y
d son equivalentes.
50
Captulo 4
Lenguaje topolgico
4.1.
Conjuntos abiertos
Definicin 31 (punto interior). Sea X un subconjunto de un espacio mtrico

M. Un punto a X se dice que es un punto interior de X si existe una
bola abierta de centro a contenida en X. Es decir, si existe r > 0 tal que
d(x, a) < r x X.
Definicin 32 (interior de un conjunto). Sea X un subconjunto de un espacio

mtrico M. Se llama interior de X al conjunto de todos los puntos interiores
de X, el cual denotaremos por int(X).
Todo punto interior de un conjunto X pertenece a X (int(X) X), decir que
un elemento de X no es interior a X significa que toda bola abierta centrada
en l, contiene puntos del complemento de X.
Figura 4.1: a pertenece a int(X) y b pertenece a X.

Definicin 33 (frontera). Sea X un subconjunto de un espacio mtrico M.
La frontera de X en M es el conjunto de los puntos b M tales que toda
bola abierta de centro b contiene al menos un punto de X y un punto del
complemento M \ X. Se denotar por X.
51
52
CAPTULO 4. LENGUAJE TOPOLGICO
Ejemplo 43. En R el interior del conjunto X = [0, 1) es el intervalo abierto

(0, 1) y su frontera contiene slo los puntos 0 y 1. En efecto, dado un elemento a (0, 1), tomamos como radio el mnimo de las distancias de a a
cada extremo del intervalo, r = mn{|a 0| , |a 1|} = mn{a, 1 a}, entonces,
(a r, a + r) [0, 1), luego a int[0, 1). Por otra parte, 0 [0, 1) ya que
0 pertenece al conjunto y toda bola de centro 0 contiene nmeros reales negativos y por tanto no pertenecientes a [0, 1). Del mismo modo, 1 [0, 1)
ya que 1
/ [0, 1) y toda bola centrada en 1 contiene nmeros reales positivos
menores que 1. No es difcil verificar que un nmero negativo o mayor que 1
no es punto frontera de [0, 1).

Ejemplo 44. Sea Q el conjunto de los nmeros racionales. El interior de
Q en R es vaco pues es conocido que todo intervalo abierto contiene tanto
racionales como irracionales. Utilizando esa misma premisa, la frontera de Q
en R es toda la recta real.

En el siguiente ejemplo veremos que las nociones de interior y fronteras
son relativas al espacio mtrico en el que se considere que el conjunto X est
inmerso.
Ejemplo 45. Sea M = [0, 1) (3, 4) con la mtrica inducida por la mtrica
usual en R. Siendo X = [0, 1) (compare con el ejemplo 43) se tiene que el
interior del conjunto X en M es todo el conjunto X = [0, 1) mientras que la
frontera de X en M es vaca. Esto se debe a que las bolas del subespacio M
son intervalos abiertos en R intersectados con M.

Sea X un subconjunto de un espacio mtrico M, para un punto cualquiera
p M, existen tres posibilidades excluyentes: o p es centro de una bola
contenida en X (p int(X)), o existe una bola de centro p contenida en
M \ X (p int(M \ X)) o bien toda bola de centro p contiene tanto puntos
de X como puntos de M \ X (p (X)). En consecuencia, cada conjunto X
de M determina una descomposicin del espacio como una unin de tres
subconjuntos dos a dos disjuntos:
M = int(X) X int(M \ X).

Definicin 34 (conjunto abierto). Un subconjunto A de un espacio mtrico
M se llama conjunto abierto en M si todos sus puntos son interiores, es
decir, si int(A) = A.
De acuerdo con sta definicin, para probar que un conjunto A de M
es abierto, se debe probar que para cada a A existe un radio ra tal que
B(a; ra ) A.
Proposicin 4.1. Toda bola abierta de un espacio mtrico M es un conjunto
abierto.
4.1. CONJUNTOS ABIERTOS
53
Prueba:
Sea M un espacio mtrico, veamos que una bola B(a; r) de
centro a M y radio r es un conjunto abierto. En efecto, dado x un elemento
arbitrario de la bola, d(a, x) < r, entonces tomamos 0 < s r d(a, x); con
este radio, B(x; s) B(a; r), ya que si y B(x; s) entonces d(x, y) < s y por
tanto, d(a, y) d(a, x) + d(x, y) < d(a, x) + s r
Figura 4.2: Toda bola abierta es un conjunto abierto.

Corolario 4.2. Para todo conjunto X de M, int(X) es un conjunto abierto.

Prueba:
Ejercicio.
Ejemplo 46. Observemos que el conjunto vaco , es un conjunto abierto

ya que negar ese hecho significa encontrar un punto del conjunto que no
sea punto interior; como eso no es posible, se concluye que es abierto. As
mismo, todo espacio mtrico es obviamente abierto en s mismo.

Ejemplo 47. Los intervalos abiertos de R son conjuntos abiertos. Un intervalo abierto acotado (a, b) es abierto por ser una bola abierta de centro a+b
2
.
Por
otra
parte,
si
c
es
un
elemento
de
(a,
+)
y
r
=
c
a
,
eny radio ba
2
tonces el intervalo (c r, c + r) es una bola de centro c contenida en (a, +),
as (a, +) es abierto. De forma similar, se prueba que (, b) es abierto.

Proposicin 4.3. Sea U la coleccin de los subconjuntos abiertos de un espacio mtrico M. Entonces:
(1) El espacio M y son abiertos: M U y U .
(2) La interseccin finita de abiertos es abierto: Si A1 , . . . , An U , entonces A1 An U .
(3) La unin de una familia arbitraria de conjuntos abiertos es abierta: Si
A U para todo en algn conjunto de ndices , entonces
[
A U .
54
Prueba:
(1) Ya esto se observ en el ejemplo 46. Para probar (2) supongamos que a A1 An , siendo A1 , . . . , An abiertos, existen r1 >
0, . . . , rn > 0 tales que B(a; r1 ) A1 , . . . , B(a; rn ) An . Sea r = mn{r1 , .., rn },
entonces B(a; r) B(a; ri ) Ai para todo i = 1, . . . , n y en consecuencia,
B(a; r) A1 An . Luego, A1 An es abierto. (3) Sea a A ,
entonces existe un tal que a A , como este conjunto es abierto existe
un radio r tal que B(a : r) A . Luego, B(a; r) A .
Corolario 4.4. Un subconjunto A de un espacio mtrico M es abierto si, y

slo si, es una unin de bolas abiertas.
Prueba:
(slo si) Si A es S
abierto, para
S cada a A existe ra > 0 tal
que B(a; ra ) A entonces, A = aA {a} aA B(a; ra ) A por lo que A
es una unin de bolas abiertas.
(si) Es consecuencia directa de la parte (3) del teorema 4.3 y de la proposicin 4.1.

Ejemplo 48. Una interseccin infinita de conjuntos abiertos puede no ser
abierto. Si un punto a de un espacio mtrico no es aislado, el conjunto
unitario
{a} no es un conjunto abierto y se puede expresar mediante: {a} =
T
1
B(a;
nN
n ); en efecto, es claro que a pertenece a todas las bolas de centro
a, si b =
/ a, existe n N tal que d(a, b) < 1/n as b
/ B(a; 1/n), por lo tanto
el nico punto de la interseccin es a.

Ejemplo 49. Abiertos de un subespacio. Sea M un espacio mtrico y X M
un subespacio con la mtrica inducida por M, entonces
Los conjuntos abiertos de un subespacio mtrico X son intersecciones A X de un conjunto abierto A en M con el subespacio
X.
Ya hemos visto que las bolas de un subespacio se expresan como la interseccin de una bola en M del mismo centro y del mismo radio con el subespacio.
Por el corolario 4.4 un abierto A en X es unaSunin de bolas
S de X. Luego,
AS X es abierto (en X) si y slo Ssi, A = L BX, = L (B X) =
( L B ) X = A X, donde A = L B es abierto en M. En particular,
si X es abierto en M, los abiertos del subespacio X son los conjuntos abiertos
en M que estn contenidos en X.
Cuando X no es abierto en M entonces, evidentemente, todo abierto de M
que est contenido en X tambin es abierto en X, pero existen subconjuntos
A X que son abiertos en X pero no en M (el mismo X sera un ejemplo de
ello). Por ejemplo, para 0 < r < b a, el intervalo [a, a + r) es un conjunto
abierto del subespacio [a, b] de R, pero no es abierto en R.

Ejemplo 50. El conjunto de las funciones acotadas y discontinuas en abierto
en B(M; N).
Recordemos el ejemplo 21 (captulo 2, pgina 29). Probaremos primero que
dado a M, el conjunto Da , de todas las funciones acotadas f : M N
4.2. CONJUNTOS ABIERTOS Y CONTINUIDAD
55
que son discontinuas en a, es un conjunto abierto en B(M; N). Para esto,

tomamos un elemento f Da . Entonces existe > 0 que satisface lo siguiente:
para cualquier > 0, existe un elemento x M con d(x , a) < pero
d(f(x ), f(a)) 3 . Afirmamos que si una funcin acotada g B(M; N)
est suficientemente cerca de f, d(f, g) < , entonces g Da . Utilizando la
definicin de distancia en este espacio, se tiene, en estas condiciones, que
3 d(f(x ), f(a)) d(f(x ), g(x )) + d(g(x ), g(a)) + d(g(a), f(a))
< + d(g(x ), g(a)) +
luego, d(g(x ), g(a)) > . Resumiendo: existe un > 0 tal que para cualquier
> 0, existe x M tal que d(x , a) < pero, d(g(x ), g(a)) . As,
g Da .
Si denotamos por D el conjunto de todas
S las funciones acotadas y discontinuas f : M N, tenemos que D = aM Da . En consecuencia, D es
abierto en B(M; N).

Definicin 35 (entorno o vecindad). Un conjunto V se dice que es un entorno
o vecindad de un punto p si p int(V).
A partir de esta definicin podemos decir que V es una vecindad de a si, y
slo si, V contiene un abierto que a su vez contiene a a. Si V es una vecindad
de a y W V , entonces W es tambin una vecindad de a. La interseccin
finita de vecindades de A es tambin una vecindad de A.
4.2.
Conjuntos abiertos y continuidad
De la definicin de continuidad, se puede afirmar lo siguiente: para que

una funcin f : M N sea continua en el punto a M es necesario y
suficiente que, para cada vecindad V de f(a) en N, exista una vecindad U de
a en M tal que f(U) V .
La nocin de conjunto abierto en la Topologa tiene una importancia
esencial, en buena medida debido al siguiente resultado:
Proposicin 4.5. Sean M, N espacios mtricos. Para que una funcin
f : M N sea continua, es necesario y suficiente que la imagen inversa f1 (A )
de cualquier conjunto abierto A de N, sea un conjunto abierto de M.
Prueba:
(necesidad) Supongamos que f es continua, tomemos A
N abierto y probemos que f1 (A ) es abierto en M. De hecho, para cada
a f1 (A ), tenemos que f(a) A . Por la definicin de conjunto abierto,
existe > 0 tal que B(f(a); ) A . Siendo f continua en a, a este > 0
le corresponde un > 0 tal que f(B(a; )) B(f(a); ) A . Por tanto,
B(a; ) f1 (A ). Luego, f1 (A ) es abierto.
(suficiencia) Supongamos ahora que la imagen inversa mediante f de cada
conjunto abierto de N es un abierto en M. Dado a M mostremos que f es
56
Figura 4.3: Nocin de continuidad en trminos de conjuntos abiertos.

continua en a, ver figura 4.3. En
es un conjunto abierto en N, que
f1 (A ) es un abierto en M que
> 0 para el cual B(a; ) A, es
efecto, dado > 0, la bola A = B(f(a); )

contiene a f(a). Luego, su imagen inversa
contiene a a. En consecuencia, existe un
decir, f(B(a; )) B(f(a); ) = A .
Corolario 4.6. El producto cartesiano A1 An de conjuntos abiertos

Ai Mi es un subconjunto abierto de M = M1 Mn .
Prueba:
Vimos en el ejemplo 30 que cada proyeccin i : M Mi
1
es continua (con i = 1, . . . , n), por tanto, para cada i el conjunto
i (Ai ) es
1
1
abierto en M. De esta forma, A1 An = 1 (A1 ) n (An ) es abierto
en M por ser una interseccin finita de conjuntos abiertos.

Corolario 4.7. Sean f1 , . . . , fn : M R funciones continuas a valores reales.
El conjunto
A = {x M : f1 (x) > 0 fn (x) > 0}
es abierto en M.
Prueba:
Una forma de probar este corolario es la siguiente: sea F :
M Rn , definida por F(x) = (f1 (x), . . . , fn (x)) entonces A = F1 (A ) donde
A = (0, +) (0, +) el cual es abierto como producto finito de
intervalos abiertos en R, as su imagen inversa es un abierto en M.

Otra forma de enunciar el corolario anterior es decir que si las funciones
continuas f1 , . . . , fn son positivas en el punto a, existe una bola abierta B(a; r)
tal que f1 (x) > 0, . . . , fn (x) > 0 para todo x B(a; r).
Corolario 4.8. Sean f, g : M N continuas. El conjunto A = {x M : f(x) =
/ g(x)} es abierto en M.
Prueba:
Definiendo la funcin : M R por (x) = d(f(x), g(x)),
tenemos que es continua ya que d, f y g lo son. Entonces
A = {x M : (x) > 0},

por el corolario anterior, A es abierto en M.
4.3. ESPACIOS TOPOLGICOS
57
Ejemplo 51. La imagen f(A) de un conjunto abierto A M mediante una

funcin continua f : M N puede no ser un conjunto abierto en N. Por
ejemplo, considerando la funcin f : R R definida por f(x) = x2 , para el
abierto A = (a, a) tenemos que f(A) = [0, a2 ), que no es un conjunto abierto
en R.

Definicin 36 (funcin abierta). Una funcin f : M N se llama abierta
cuando para cada subconjunto abierto A de M, su imagen f(A) es un conjunto
abierto en N.
Ejemplo 52. Vimos en el ejemplo 51 que una funcin continua no necesariamente es abierta. Tampoco una funcin abierta necesita ser continua. De
hecho, por la proposicin 4.5, una biyeccin f : M N es continua si, y
slo si, su inversa f1 : N N es abierta. Si consideramos una biyeccin
f : M N continua que no sea un homeomorfismo (ver: ejemplo 34, ejemplo 36), entonces su inversa f1 : M N no es continua pero es abierta. As
mismo, si N es un espacio discreto toda aplicacin f : M N es abierta (ya
que todo subconjunto de N es abierto). Mas no toda funcin f : M N es
continua.

Si h es un homeomorfismo, tanto h como h1 son abiertas e inducen
una biyeccin entre la coleccin de abiertos de los espacios homeomorfos. En
consecuencia, dos mtricas d1 , d2 son equivalentes si los espacios (M, d1 ) y
(M, d2 ) poseen los mismos abiertos.
Proposicin 4.9. Un subconjunto A de M N es abierto si, y slo si, es unin
de rectngulos de la forma U V , donde U M y V N son abiertos (en
sus espacios).
Prueba:
Por
S el corolario 4.6 cada rectngulo U V es abierto en
M N, as A = (U V ) es abierto. Recprocamente, si se considera en
M N la mtrica del mximo en M N, cada bola es el producto de una bola
abierta en M por una bola abierta en N. Entonces, para cada elemento a en
A, existen bolas abiertas Ua de M y Va de N tales que {a} Ua Va A.
Luego,
[
[
A=
{a}
Ua Va A
aA
y as, A =
4.3.
aA
aA
Ua Va que era lo que se quera mostrar.
Espacios topolgicos
En esta seccin se hace una abstraccin del concepto de espacio mtrico

mediante la formulacin del concepto de topologa para un espacio topolgico.
Estudiaremos varios de los conceptos establecidos para espacios mtricos en
58
el contexto ms general de espacio topolgico, muy especialmente el concepto

de continuidad de una funcin.
Observando las propiedades que satisface la coleccin de conjuntos abiertos de un espacio mtrico, vistas en la proposicin 4.3, tenemos la siguiente
definicin:
Definicin 37 (topologa). Una topologa sobre un conjunto X es una coleccin de subconjuntos de X que satisfacen las siguientes propiedades:
(1) y X pertenecen a
(2)
S Para cualquier subcoleccin {U }L de
L U pertenece a .
se tiene que la unin
(3) Para cualquier subcoleccin finita A1 , . . . , An de elementos de

interseccin A1 An pertenece a .
la
Definicin 38 (espacio topolgico). Un espacio topolgico es un par ordenado (X, ) donde X es un conjunto y una topologa sobre X. Un subconjunto
de X ser llamado conjunto abierto si, y slo si, pertenece a .
Ejemplo 53. Sea X el conjunto de tres elementos {a, b, c}. En X se pueden definir varias topologas; entre otras podemos citar: la coleccin que consta slo
de y el mismo X esta es la topologa ms simple que se puede definir sobre
un conjunto y es llamada topologa trivial . Otra coleccin que satisface las
propiedades de una topologa es la coleccin de todos los subconjuntos de X
o partes de X, P(X), a sta topologa se le conoce como topologa discreta.

Ejemplo 54. Sea X un conjunto, consideremos la coleccin f de todos
los subconjuntos U de X tales que su complemento X \ U es finito o es
todo X. Entonces f es una topologa sobre X llamada topologa de los
complementos finitos X \ X es finito y X \ es todo X, esto muestra que
tanto X como pertenecen a f . Si {U } es una familia en f , entonces
X\
U =
(X \ U ).
el ltimo conjunto es finito pues cada conjunto (X \ U ) es finito. Por otra

parte, si U1 , . . . , Un son elementos no vacos de f , entonces
X\
n
\
i=1
Ui =
n
[
(X \ Ui )
i=1
que por ser unin finita de conjuntos finitos es finito.

Lo anterior prueba que f es una topologa.
4.4. BASE DE UNA TOPOLOGA
59
Ejemplo 55. Sea X un conjunto y sea N la coleccin de todos los subconjuntos U de X tales que X \ U es numerable o todo X. Por argumentos
similares a los utilizados en el ejemplo 54 anterior, se prueba que N es una
topologa sobre X.

Definicin 39 (interior y vecindades). Sea X un espacio topolgico con topologa y S un subconjunto de X. Se define el interior
S de S como la unin
de todos los abiertos de X contenidos en S, int(S) = {U : U S}. Un
conjunto V es una vecindad de p si p int(V).
Definicin 40 (topologa ms fina). Sean y dos topologas sobre un
conjunto X. Se dice que es ms fina que si ( es mas grande que
). Al mismo tiempo, se dice que es mas gruesa que .
Si la inclusin es propia diremos que es estrictamente ms fina que
.
4.4.
Base de una topologa
En general, resulta difcil describir a toda la coleccin de abiertos y consecuentemente, es ms sencillo trabajar con una coleccin ms pequea que
genere a toda la topologa.
Definicin 41 (base de una topologa). Si X es un conjunto, una base para
una topologa sobre X es una coleccin B de subconjuntos de X (llamados
elementos bsicos) tales que:
(1) Para cada x X, existe un elemento bsico B B tal que x B .
(2) Si B1 , B2 B y x pertenece a B1 B2 , entonces existe B3 B tal que
x B3 B1 B2 .
Definicin 42 (topologa generada). Si B es una coleccin de subconjuntos
de X que satisface las condiciones de base, se define la topologa B generada
por B de la siguiente forma: un conjunto U se dice abierto en X (esto es un
elemento de B ), si para cada x U, existe un elemento bsico B B tal que
x B U.
Ntese que B B .
Es inmediato que y X son elementos
S de B . Consideremos una familia
{U }J de elementos de B . Para x U , existe 0 J tal Sque x U0 .
Como
U0 es abierto, existe B B tal que x B U0 U . Luego,
S
U B .
Sean U1 , U2 B , veamos que U1 U2 B . Si x U1 U2 , existen
B1 , B2 B tales que x B1 U1 y x B2 U2 , entonces existe B3 en
B tal que x B3 B1 B2 U1 U2 , as U1 U2 B . Por el proceso
de induccin matemtica se obtiene que si U1 , U2 , . . . , Un B , entonces
U1 Un B .
60
Lema 4.10. Sea X un conjunto y B una base para una topologa sobre X.
Entonces es la coleccin de todas las uniones de elementos de B .
Prueba:
Dado que B , toda unin de elementos de B , pertenece
a . Recprocamente, si A , para cada a A, existe Ba B tal que
a Ba A, luego
[
[
A=
{a}
Ba A
aA
aA
de esta forma, A = aA Ba , es decir, todo abierto en es unin de conjuntos

bsicos de B .

El siguiente lema nos permite establecer si una coleccin de conjuntos es
base para una topologa dada.
Lema 4.11. Sea X un espacio topolgico. Supongamos que C es una coleccin

de conjuntos abiertos en X tal que, para cualquier conjunto abierto U de X, y
para cada x U, existe un elemento C C tal que x C U. Entonces C es
una base de la topologa de X.
Prueba:
Primero veamos que C es una base. Como X es abierto, para
cada x X existe por definicin, un elemento C C tal que x C X. Sean
C1 , C2 C y x C1 C2 , como C1 y C2 son abiertos, tambin su interseccin,
as existe un C3 C tal que x C3 C1 C2 .
Sea la topologa de X y C la topologa generada por C (ver la definicin 42). Por la propiedad de C , para cada abierto U de , si x U, existe C
en C tal que x C U, entonces U C . Recprocamente, dado que C ,
como consecuencia del lema 4.10, se tiene que C .

El siguiente lema establece que una topologa es ms fina que otra en
trminos de sus bases.
Lema 4.12. Sean B y B bases para las topologas sobre X, y
vamente. Entonces son equivalentes las siguientes proposiciones:
(1)
respecti-
es ms fina que , ( ).
(2) Para cada x X y cada elemento bsico B de B que contenga a x,

existe un elemento bsico B B tal que x B B.
Prueba:
(1)(2): Sea x X y B B tal que x B, por definicin,
B y por hiptesis, , es decir, B es un abierto en la topologa ;
por lo tanto, existe un elemento bsico B en B tal que x B B.
(2)(1): Consideremos un abierto no vaco U en la topologa , para cada
x U existe un elemento bsico B B tal que x B U; por hiptesis, para
este B, existe un B B , tal que x B B U. Esto implica que U es un
abierto en la topologa . Luego, .

Definicin 43 (subbase). Una subbase S para una topologa sobre X es una
coleccin de subconjuntos de X, cuya unin es igual a X. La topologa generada por la subbase S se define como la coleccin S de todas las uniones
de intersecciones finitas de elementos de S .
4.5. TOPOLOGA PRODUCTO EN X Y
61
Conviene establecer que la coleccin descrita en la definicin, S , es

efectivamente, una topologa; para esto basta verificar, por el lema 4.10, que
la coleccin de las intersecciones finitas de elementos de S , BS es una base.
Por la definicin de subbase, dado un elemento x X, ste pertenece a algn
elemento de S , de modo que se cumple la primera condicin. Sean ahora
B1 , B2 dos elementos de BS , entonces
B 1 = S1 Sn
B2 = S1 Sm ;
la interseccin es otro elemento de BS
B1 B2 = S1 Sn S1 Sm .
luego, BS es una base y
4.5.
es una topologa.
Topologa producto en X Y
Siendo X y Y espacios topolgicos, definiremos una topologa sobre el

producto cartesiano X Y y se estudiarn algunas propiedades.
Definicin 44 (topologa producto (X Y )). Sean X, Y espacios topolgicos.
La topologa producto sobre X Y es la topologa generada por la base B
constituida por todos los conjunto de la forma U V , donde U es abierto en X
y V es abierto en Y .
La coleccin B descrita en la definicin es, efectivamente, una base ya
que todo punto pertenece a X Y que es un producto de abiertos y por tanto,
un elemento de B . Adems si tomamos dos elementos de B , U1 V1 y U2 V2 ,
su interseccin es otro elemento de B :
(U1 V1 ) (U2 V2 ) = (U1 U2 ) (V1 V2 )

pues (U1 U2 ) es abierto en X y (V1 V2 ) es abierto en Y .
Teorema 4.13. Si B es una base para la topologa de X y C es una base para
la topologa de Y , entonces la coleccin
D = {B C : B B y C C }
es una base para la topologa de X Y .
Prueba:
Tomemos un conjunto abierto W en XY y un punto arbitrario
(x, y) de W , entonces existe un elemento bsico, U V , de la topologa
producto tal que (x, y) U V W , donde U es abierto en X y V abierto
en Y . Como B es base sobre X y C es base sobre Y , existen B B y C C
tales que x B U y y C V . De esta forma, (x, y) B C U V W .
Por el lema 4.11, se concluye que D es una base para la topologa producto
en X Y .
62
Recordemos las proyecciones definidas en el producto cartesiano X Y ,

1 : X Y X y 2 : X Y Y , definidas por 1 (x, y) = x y 2 (x, y) = y
1
respectivamente. Para U abierto en X,
1 (U) = U Y es abierto en X Y (es
1
un conjunto bsico). Del mismo modo,
2 (V) = X V es abierto en X Y .
La interseccin de estos dos conjuntos es U V .
Teorema 4.14. La coleccin
1
1
S = {
1 (U) : U es abierto en X} {2 (V) : V es abierto en Y}
es una subbase para la topologa producto sobre X Y .
Figura 4.4: Un elemento de la subbase para la topologa producto en X Y .

Prueba:
Denotemos por la topologa producto y por S la topologa
generada por S . Como ya se observ, cada elemento de S est en , por tanto,
tambin las uniones de intersecciones finitas de elementos de S , as S .
Por otra parte, cada conjunto bsico, U V , para la topologa producto es de
la forma
1
1
U V =
1 (U) 2 (V) S S ,
y as,
4.6.
S .
Topologa de subespacio
Definicin 45 (topologa relativa). Sea X un espacio topolgico con topologa
. Si Y es un subconjunto de X, la coleccin
Y = {U Y : U }
es una topologa sobre Y , llamada topologa de subespacio topologa relativa, con esta topologa se dice que Y es un subespacio de X.
La coleccin Y es, efectivamente, una topologa para Y ya que = Y
y Y = X Y ; adems
(U1 Y) (Un Y) = (U1 Un ) Y,

!
[
[
(U Y) =
U Y.
J
4.7. CONJUNTOS CERRADOS
63
Lema 4.15. Si B es una base para la topologa de X, entonces la coleccin
BY = {B Y : B B}
es una base para la topologa de subespacio sobre Y .
Prueba:
Un abierto en Y es de la forma U Y donde U es abierto en
X, para y U Y existe B B tal que y B U, luego y B Y U Y ;
por el lema 4.11, BY es una base para la topologa de subespacio sobre Y .
4.7.
Conjuntos cerrados
En esta seccin se discute el concepto de conjunto cerrado tanto en espacios topolgicos como en espacios mtricos.
Definicin 46 (punto adherente). Un punto p de un espacio mtrico M se
dice que es adherente al subconjunto A si d(p, A) = 0.
Si p es adherente a A, significa que existen puntos de A arbitrariamente
cerca de p; equivalentemente, dado > 0, existe a A tal que d(a, p) < ,
o bien, toda bola de centro p intersecta a A y por ende, todo abierto que
contenga a p intersecta a A.
Es claro que todo punto de un conjunto A est a distancia cero de A,
tambin por definicin, todo punto de la frontera de A es punto adherente de
A.
Definicin 47 (clausura). La clausura o adherencia de un conjunto A de un
espacio mtrico M, es el conjunto A formado por todos los puntos adherentes
de A.
Se tiene que = , M = M y A A para todo conjunto A de M. As
mismo, A B A B.
Para que un punto x0 en un espacio mtrico M, no sea un punto adherente
de un conjunto A, es necesario y suficiente que exista una bola abierta de
centro x0 que no intersecte a A, es decir, que x0 int(M \ A),recordando que
M = int(A) (A) int(M \ A), se concluye que
A = int(A) (A).
Definicin 48 (conjunto cerrado). Sea X un espacio mtrico o topolgico, un
conjunto C de X se dice cerrado si su complemento es abierto,
Ejemplo 56. Consideremos el espacio M = (, 0) (0, +) con la mtrica
inducida por R, entonces el conjunto A = (0, +) es abierto en M ya que
es la interseccin del intervalo abierto (0, +) con M; pero tambin es cerrado porque su complemento (en M) es el conjunto (, 0) que tambin es
abierto en M. Esto nos muestra que el concepto de conjunto cerrado, no es
la negacin de ser abierto.
64
Definicin 49 (clausura en un espacio topolgico). Sea X un espacio topolgico y C X un subconjunto, se define la clausura, C, de C como la interseccin
de todos los conjuntos cerrados de X que contienen a C.
La siguiente proposicin expone las propiedades de los conjuntos cerrados
semejantes a las propiedades de los conjuntos abiertos.
Proposicin 4.16 (Propiedades de los conjuntos cerrados). Sea X un espacio
topolgico (o mtrico), entonces:
(1) y X son conjuntos cerrados.
(2) Si C1 , . . . , Cn son cerrados, entonces
Sn
i=1
Ci es cerrado.
(3)
T Si {C } es una familia de conjuntos cerrados, entonces la interseccin
C es cerrado.
Prueba:
(1) Dado que tanto X como son abiertos, sus complementos
son cerrados.
(2) Sean C1 , . . . , Cn conjuntos cerrados en X, entonces sus complementos
X \ C1 , . . . , X \ Cn son conjuntos abiertos, luego
!
n
n
[
\
X\
Ci = (X \ Ci ) es abierto en X.
i=1
i=1
(3) Dada la familia {C } de conjuntos cerrados, tenemos para cada que

(X \ C ) es abierto, luego
!
\
[
X\
C = (X \ C ) es abierto en X.
Proposicin 4.17. Sean M un espacio mtrico y A un subconjunto de M.

Entonces para todo punto p M, se tiene que d(p, A) = d(p, A).
Prueba:
cada p M,
Sea p M. Primero recordemos que A A por tanto, para
{d(p, a) : a A} {d(p, x) : x A}, as, d(p, A) d(p, A).

Sean x A y > 0, entonces existe a A tal que d(x, a) < , por lo
tanto,
d(p, A) d(p, a) d(p, x) + d(x, a) < d(p, x) + ,
de esta forma, d(p, A) es cota inferior de d(p, x) y por tanto, d(p, A)
d(p, A) + ; y como > 0 es arbitrario, d(p, A) d(p, A), lo que completa la
prueba.
65
Proposicin 4.18. Sea X un espacio mtrico o topolgico y A X, entonces,
A = A.
Prueba:
Si X es un espacio mtrico, por la proposicin anterior,
p A d(p, A) = d(p, A) = 0 p A.
Si X es un espacio topolgico, ya sabemos que A es una interseccin de

cerrados que contienen a A, por la proposicin 4.16, la clausura A es un
conjunto cerrado que contiene a A; as, A A.
En ambos casos, se concluye que A A, la otra inclusin siempre se
tiene.

Proposicin 4.19. Sea X un espacio mtrico o topolgico. Un subconjunto C
de X es cerrado si, y slo si, C = C.
Prueba:
En espacios topolgicos es muy directo a partir de la definicin
de clausura; si C es cerrado, el mismo C es un conjunto cerrado que contiene
a C, por lo tanto, C C y siempre C C. Recprocamente, si C = C, entonces
C es interseccin de cerrados y por tanto cerrado.
Si X es un espacio mtrico,
/ C, no es punto adherente a C;
C = C todo punto p
p X \ C, r > 0 tal que B(p; r) C = ;
p X \ C, r > 0 tal que B(p; r) X \ C
X \ C, es abierto.
C es cerrado.
Definicin 50 (conjunto denso). Un conjunto D de un espacio mtrico o

topolgico X se dice que es denso en X si D = X.
Lema 4.20. Sea D un conjunto denso en un espacio topolgico o mtrico X.
Entonces, todo abierto no vaco U de X intersecta a D.
Prueba:
Si D es denso en un espacio topolgico X, y C es un conjunto
cerrado que contiene a D, entonces X = D C por lo que C = X; es decir,
el nico cerrado que contiene a D es X. En consecuencia, dado cualquier
abierto U no vaco de X, X \ U es cerrado y no es X por tanto, no contiene a
D, esto implica que U intersecta a D.
Si D es un subconjunto denso en un espacio mtrico X, todo punto de X
es adherente a D. Dado cualquier abierto no vaco U en X, y p U existe
r > 0 tal que B(p; r) U, como p es adherente a D, la bola abierta B(p; r), y
por tanto U, intersectan a D.

As como se caracteriz la continuidad de una funcin, mediante la condicin de ser abierta la imagen inversa de cualquier abierto, la siguiente
proposicin nos presenta una propiedad similar pero con conjuntos cerrados.
66
Proposicin 4.21. Sean X, Y espacios mtricos o topolgicos. Para que una

funcin f : X Y sea continua, es necesario y suficiente que la imagen inversa,
f1 (C ), de cualquier conjunto cerrado C en Y , sea un subconjunto cerrado de
X.
Prueba:
Este es un resultado inmediato de la proposicin 4.5, la definicin de conjunto cerrado.
Sea f : X Y continua y C Y cerrado. Entonces Y \ C es abierto y por
la proposicin 4.5,
X \ f1 (C ) = f1 (Y \ C )
es abierto en X
luego, f1 (C ) es cerrado.
Recprocamente, sea f : X Y una funcin que satisface la hiptesis, si
A Y es abierto, Y \ A es cerrado y por tanto,
X \ f1 (A ) = f1 (Y \ A )
es cerrado en X
luego, f1 (A ) es abierto en X. Por la proposicin 4.5, f es continua.
Ejemplo 57. Si f : X R es continua, el conjunto {x X : f(x) 0} es

cerrado en X ya que no es mas que el conjunto f1 ([0, +)) y el intervalo
[0, +) es cerrado en R. Del mismo modo si {f }L es una familia de
funciones continuas f : X R, el conjunto
\
1
{x X : ( L(, f (x) 0} =
f
es cerrado en X.
([0, +))
L

Definicin 51 (espacio de Hausdorff). Un espacio topolgico X se dice que es
un espacio de Hausdorff si para cada par de puntos x1 , x2 del espacio, existen
abiertos U1 que contiene a x1 y U2 que contiene a x2 , tales que U1 U2 = .
En vista de la proposicin 2.2, todo espacio mtrico es un espacio de
Hausdorff.
Teorema 4.22. Sea X un espacio de Hausdorff, entonces todo subconjunto
finito es cerrado.
Prueba:
Es suficiente probar que todo conjunto unitario es cerrado. Sea
x0 X y x un punto de X distinto de x0 . Como X es un espacio de Hausdorff,
existen abiertos y disjuntos U0 y U tales que x0 U0 y x U. Entonces el
complemento X \ U es un conjunto cerrado que contiene a {x0 } y no contiene
a x; de esta forma, x no pertenece a la interseccin de todos los conjuntos
cerrados que contienen a {x0 }, es decir, x no pertenece a la clausura de {x0 }.
En otras palabras, ningn punto distinto de x0 pertenece a su clausura por lo
que {x0 } = {x0 } y por la proposicin 4.19, el conjunto unitario {x0 } es cerrado.
67
Ejemplo 58. El grfico de una funcin continua f : X Y es un subconjunto

cerrado de X Y . En efecto, el grfico de f se define por: Gr(f) = {(x, f(x))
X Y : x X}. Definimos la siguiente funcin auxiliar : X Y R por
(x, y) = d(f(x), y). Siendo f continua, la funcin es continua ya que la
podemos expresar as: = d f I, donde I es la identidad en Y y d la
distancia en Y . Entonces, Gr(f) = 1 ({0}) y por lo tanto es cerrado.
En particular la diagonal es un conjunto cerrado de X X vista como el
grfico de la identidad de X.

La siguiente proposicin relaciona la clausura relativa a un subespacio
con la clausura respecto a todo el espacio. Recordemos que si C es cerrado
en un subespacio S de X, S \ C es abierto en S, es decir, est en la topologa
relativa, as existe U abierto en X tal que S\C = US, entonces, C = (X\U)S,
es decir, todo cerrado en el subespacio se expresa como un cerrado en X
intersectado con el subespacio.
Proposicin 4.23. Sea S un subespacio de un espacio topolgico o mtrico X.
e a la clausura de A respecto al subespacio S y
Si para A S denotamos por A
A la clausura de A en X, tenemos que
e = A S.
A
Prueba:
Si X es un espacio mtrico,
e = {p S : d(p, A) = 0} = {p X : d(p, A) = 0} S = A S.
A
Si X es un espacio topolgico,
e=
A
AC
C cerrado en S
C=
AF
(F S) =
F cerrado en X
AF
F cerrado en X
F S = A S
Definicin 52 (punto frontera en espacios topolgicos). Sea X un espacio

topolgico y A un subconjunto de X. La frontera de A se define como (A) =
Definicin 53 (punto de acumulacin). Un punto p se dice que es un punto
de acumulacin del conjunto A si toda vecindad de p intersecta al conjunto
A en al menos un punto diferente de p.. El conjunto de todos los puntos del
conjunto A se denotar por ac(A).
No es difcil verificar que p ac(A) p A \ {p}.
Proposicin 4.24. Sea A un subconjunto del espacio X. Entonces,
A = ac(A) A
68
Prueba:
Por definicin, si p est en ac(A), toda vecindad de p intersecta a A por tanto, p A; como siempre A A, se sigue que A ac(a) A.
Recprocamente, si p A, tenemos dos casos: p A p
/ A, en el
primer caso, obviamente p A ac(A); en el segundo caso, como p est en la
clausura de A, toda vecindad de p intersecta a A, como p
/ A, dicho entorno
intersecta a A en algn punto distinto de p, por tanto, p ac(A) ac(A) A.
4.8. EJERCICIOS
4.8.
69
Problemario No 4
La frontera de un conjunto abierto tiene interior vaco.
Si un conjunto y su complemento tienen interior vaco, entonces la frontera de cada uno es todo el espacio.
En un espacio vectorial normado E, pruebe que todo subespacio vectorial

F 6= E tiene interior vaco. A partir de all deduzca que el subespacio afn
o variedad afn a + F = {a + x : x F} tiene interior vaco.
Pruebe que todo conjunto abierto no vaco A de Rn contiene al menos un

punto x = (x1 , . . . , xn ) cuyas coordenadas son todas racionales. Utilice
este hecho para probar que si C es una coleccin de abiertos no vacos
y disjuntos dos a dos en Rn , entonces C es numerable.
Sea M = X Y un espacio mtrico. Si un subconjunto S M es abierto

en S X y en S Y , entonces S es abierto en M. Concluya de ese hecho
que si S M \ X es abierto en M \ X y en S X, entonces S es abierto
en M.
Pruebe que no es cierto que X Y X Y . Mientras que s vale

(int S) S.
Sea f : M N continua. Sea X un subconjunto de M y sea V un abierto

de N que contiene a la imagen f(X), pruebe que existe un abierto U de
M, que contiene a X y tal que f(U) V .
Sea
S {X }L una familia de subconjuntos del espacio M que satisfacen
L int X = M. Si f : M N es tal que f/X es continua para cada
L, entonces f es continua.
10
Sea A : M R la funcin caracterstica de un conjunto A de M,

(A (x) = 1 si x A y A (x) = 0 si x
/ A). El conjunto de los puntos de
discontinuidad de A es la frontera de A en M.
Dada una funcin a valores reales continua f : M R definida en
el espacio mtrico M. Considere el conjunto A = {x M : f(x) > 0}.
Muestre que para todo x A, se tiene que f(x) = 0. D un ejemplo en
el cual se tenga f(x) = 0 con x
/ A.
70
11
Consideremos a : M N una sobreyeccin continua y abierta. Una

funcin f : N P es continua si, y slo si, la funcin compuesta f
: M P es continua.
12
Una funcin f : M N es continua si, y slo si, para todo Y N, se

cumple que f1 (int Y) int f1 (Y).
13
Dados X, Y M, se tiene que int(X Y) = (int X) (int Y) y que int(X

Y) (int X) (int Y). D un ejemplo en el cual sta inclusin no sea una
igualdad.
14
Una funcin real f : M R se dice que es semicontinua inferiormente en un punto a M cuando, para cada > 0, existe > 0 tal que
d(x, a) < f(a) < f(x). Enuncie una definicin anloga para la
semicontinuidad superior. Pruebe que si f y g son funciones semicontinuas inferiormente en el punto a, entonces tambin lo es f + g y c f si
c > 0, si c < 0 c f es semicontinua superiormente. Pruebe que f : M R
es semicontinua inferiormente (en todo punto del dominio) si, y slo si,
para todo b R, el conjunto f1 ((b, +)) es abierto en M. Concluya
que un subconjunto A M es abierto si, y solamente si, su funcin
caracterstica A es semicontinua inferiormente.
15
Sea A un subconjunto de un espacio topolgico X. Supongamos que para

cada x A existe un conjunto abierto U que contiene a x tal que U A.
Pruebe que A es abierto en X.
16
Es la coleccin
= {U X : X \ U es infinito o vaco o todo X}

una topologa sobre X?
17
Si { } una familia de
S topologas sobre X, pruebe que
topologa sobre X. Es una topologa sobre X?
es una
18
Demuestre que si A es una base para una topologa de X, entonces la

topologa generada por A es igual a la interseccin de todas las topologas
sobre X que contienen a A. Pruebe un resultado similar si A es una
subbase.
19
Demuestre que la siguiente coleccin numerable
B = {(a, b) : a < b, a y b racionales }

es una base que genera la topologa usual sobre R.
4.8. EJERCICIOS
71
20
Pruebe que si Y es un subespacio de X y A subconjunto de Y , entonces

la topologa que A hereda como subespacio de Y es la misma topologa
que la topologa que hereda como subespacio de X.
21
Sea C una coleccin de subconjunto de X. Supongamos que y X pertenecen a C y que las uniones finitas y las intersecciones arbitrarias de
elementos de C pertenecen a C . pruebe que la coleccin
= {X \ C : C C }
es una topologa sobre X.
22
Sean A, B y la familia {A } subconjuntos de un espacio (topolgico o

mtrico) X. Pruebe que:
(a) A B = A B.
(b) A B A B.
S
S
A A .
(c)
T
T
(d)
A A .
23
Pruebe que un espacio topolgico X es de Hausdorff si, y slo si, la

diagonal = {(x, x) : x X} es cerrada en X X.
24
Pruebe que en un espacio mtrico X, dado un conjunto arbitrario A, se

tiene que A = A X \ A. Use esta igualdad para definir la frontera de
un conjunto en un espacio topolgico. Pruebe que tanto en un espacio
mtrico como en uno topolgico, un subconjunto A tiene frontera vaca
(A = ) si, y slo si, A es simultneamente abierto y cerrado.
25
Sea D un conjunto denso en el espacio X, f : X Y , una funcin

continua y sobreyectiva, entonces demuestre que f(D) es denso en Y .
26
D un ejemplo de un conjunto tal que el interior de su frontera sea no

vaca.
72
Captulo 5
Conjuntos conexos
5.1.
definicin y ejemplos
Definicin 54. Una separacin en un espacio X es una descomposicin de

X en la forma X = A B, donde A y B son abiertos disjuntos.
Las dos condiciones X = A B y A B = , equivalen a que A = X \ B y
B = X \ A, por lo tanto, en una separacin X = A B, tanto A como B son
conjuntos abiertos y cerrados en X.
Ejemplo 59. El espacio R\{0} se puede expresar como (, 0)(0, +) que
es una separacin ya que cada intervalo es abierto en R y as es un abierto
en R intersectado con el subespacio.
Si X es discreto cualquier subconjunto A determina una separacin X =
A (X \ A).
Considerando en espacio Q de los nmeros racionales con la topologa
relativa a la topologa usual de R; dado un nmero irracional , sean A =
(, ) Q y B = (, +) Q. Entonces Q = A B es una separacin de Q.

Todo espacio posee al menos una separacin, a saber, X = X , sta es
llamada separacin trivial.
Definicin 55 (conjunto conexo). Un espacio mtrico o topolgico se dice
conexo si la nica separacin que posee X es la separacin trivial. Un subconjunto C de X es conexo si como subespacio es un espacio conexo. Si un espacio
admite una separacin no trivial se dice que es disconexo.
Proposicin 5.1. Sea X un espacio mtrico o topolgico. Entonces las siguiente proposiciones son equivalentes:
(1) X es conexo.
(2) X y son los nicos subconjuntos de X que son abiertos y cerrados.
73
CAPTULO 5. CONJUNTOS CONEXOS
74
(3) Si A X tiene frontera vaca, entonces A = X A = .
Prueba:
(1)(2) Sea A X un subconjunto abierto y cerrado, entonces
X = A (X \ A) es una separacin de X, como X es conexo, A = X A = .
(2)(3) Sea A X tal que (A) = , entonces
Int(A) A A = int(A) (A) = int(A)
as, A = int(A) = A, A es abierto y cerrado, por hiptesis A = A = X.

(3)(1) Sea X = A B una separacin de X, entonces B = X \ A y como B
es abierto, B = int(B) = int(X \ A); como A es abierto, A = int(A), entonces
tenemos X = A B = int(A) int(X \ A); pero ya sabemos que X = int(A)
(A) int(X \ A). En consecuencia, (A) = , aplicando la hiptesis tenemos,
A = X A = ; por tanto, la separacin X = A B es la trivial. Luego, X es
conexo.

Ejemplo 60. El conjunto R \ {0} es disconexo ya que vimos la separacin
R\{0} = (, 0)(0, +). As mismo,
de los nmeros
el conjunto
racionales
Q es disconexo, para el irracional 2, Q = [(, 2) Q] [( 2, +) Q]
es una separacin.
Ms an si C es un subconjunto conexo de Q, entonces C es un conjunto
unitario. En efecto, si suponemos que C tiene dos elementos a y b, podemos
asumir que a < b y tomamos un nmero irracional tal que a < < b,
entonces haciendo A = {x C : x < } y B = {x C : x > } obtenemos una
separacin no trivial de C, primero no son vacos pues a A y b B, y son
abiertos en C ya que A = (, ) C y B = (, +) C.

Ejemplo 61 (R es conexo). Procedamos por reduccin al absurdo. Supongamos que existe una separacin no trivial R = A B. Como ninguno es
vaco, sean a A y b B. Sin prdida de generalidad podemos suponer que
a < b. Ahora, consideramos el conjunto C = {x A : x < b}; C es no vaco
pues a C y claramente b es una cota superior de C; por lo tanto, existe
s = sup C. Por propiedades del supremo, tenemos, para todo > 0, existe un
elemento x de C (y por tanto de A) tal que s < x s, es decir, toda bola
abierta de centro en s intersecta a A, entonces s A; como A es cerrado,
A = A y as s A. Ahora, como A tambin es abierto, existe r > 0 tal que
(s r, s + r) = B(s; r) A; en particular, todo punto del intervalo (s, s + r) est
en A. Como s A y b B, tiene que ser s < b; r > 0 puede ser escogido tal
que s + r < b, entonces el intervalo (s, s + r) est contenido en C, es decir, hay
puntos en C mayores que s = sup C, lo cual es una flagrante contradiccin.
Luego, no puede existir una separacin no trivial de R y en consecuencia, R
es conexo.
5.2.
Propiedades de los conjuntos conexos
Proposicin 5.2. La imagen de un conjunto conexo mediante una funcin

continua es un conjunto conexo.
5.2. PROPIEDADES DE LOS CONJUNTOS CONEXOS
75
Prueba:
Sea f : X Y una funcin continua. Primero supongamos
que f es sobreyectiva, y que X es conexo, se quiere probar que f(X) = Y
es conexo. Si Y = A B es una separacin, entonces f1 (A) y f1 (B) son
abiertos y disjuntos por lo que X = f1 (A) f1 (B) es una separacin, como
X es conexo, f1 (A) o f1 (B) es vaco y siendo f sobreyectiva, esto implica
que A = o B = . En el caso general, dada f : X Y continua y C X
conexo, la restriccin f^ = f/C : C f(C) es continua y sobreyectiva, por lo
^
que f(C) = f(C)
es conexo.

El siguiente corolario nos muestra la conexidad como un invariante topolgico, es decir, una propiedad que se preserva por homeomorfismos.
Corolario 5.3. Si X es conexo y Y es homeomorfo a X, entonces Y tambin es
conexo.
En virtud de este corolario, se puede afirmar que no pueden existir dos
espacios homeomorfos tales que uno sea conexo y el otro no.
Ejemplo 62 (Todo intervalo abierto es conexo). En R, la bola abierta B =
x
, como la
B(0; 1) es el intervalo abierto (1, 1). Sea f definida por: f(x) = 1+|x|
funcin valor absoluto es continua (es la norma en R) y 1 + |x| no se anula
|x|
para todo x R, concluimos que f es continua. Adems, |f(x)| = 1+|x|
< 1 por
y
tanto, f : R B es continua. Definamos ahora g : B R por g(y) = 1|y|
.
Como |y| < 1 para todo y B, concluimos que g es continua. Fcilmente
se verifica que f(g(y)) = y para todo y B y que g(f(x)) = x para todo
x R. Luego, g = f1 y f es un homeomorfismo. En consecuencia, como R
es conexo, tambin el intervalo (1, 1) es conexo.
Como se vio en el ejemplo 38 en el captulo 3, en un espacio vectorial
normado dos bolas abiertas arbitrarias son homeomorfas, R es, en particular,
un espacio vectorial normado y cualquier intervalo abierto acotado (a, b) es
y radio ba
. Luego, todo intervalo abierto
una bola abierta de centro a+b
2
2
acotado en R es conexo.
Tambin un intervalo abierto no acotado es homeomorfo a R. En efecto,
para el intervalo (a, +) tenemos la funcin f : R (a, +) definida por
f(x) = a + ex es continua y tiene inversa f1 : (a, +) R definida por
f1 (y) = ln(y a) tambin continua. Finalmente un intervalo abierto no acotado de la forma (, b) es homeomorfo a el intervalo (b, +) mediante
el homeomorfismo t 7 t.
Luego, todo intervalo abierto en R es conexo por ser homeomorfo a R.

Ejemplo 63. La circunferencia unitaria S1 = {(x, y) R2 : x2 + y2 = 1} es un
conjunto conexo de R2 ya que es la imagen de la funcin continua f : R S1
f(t) = (cos(t), sen(t)).

Proposicin 5.4. La clausura de un conjunto conexo es conexo.
76
Prueba:
Probaremos primero el caso cuando un conjunto conexo C X
sea denso en el espacio X. Sea X = A B una separacin de X, entonces
C = (A C) (B C) es una separacin para C; siendo C conexo, (A C) =
o (B C) = , como C es denso esto implica que A = o B = , por lo que
la nica separacin posible para X es la trivial, y por lo tanto, C es conexo.
Para un conjunto conexo arbitrario C tenemos que C es denso en C, as C es
conexo.

Corolario 5.5. Si X Y X y X es conexo, entonces Y es conexo.
e = X Y = Y . Luego, X es denso
Prueba:
La clausura de X en Y es X
en Y y por tanto, Y es conexo.

Del corolario anterior se deduce que todo intervalo en R cerrado acotado
o no es conexo y todos los intervalos de la forma [a, b) (a, b] tambin son
conexos. En resumen, todo intervalo en R es conexo.
Ejemplo 64. Sea f : M N una funcin continua, entonces la funcin,
G = (I, f) : M Gr(f) dada por G(x) = (I(x), f(x)) = (x, f(x)), es continua
y su inversa es la restriccin de la proyeccin 1 : M N M al grfico
de f, Gr(f), la cual es tambin continua. As, el dominio de una funcin
continua es homeomorfo a su grfico. Por lo tanto, si el dominio de una
funcin continua es conexo, el grfico tambin es conexo.
Figura 5.1: El grfico de cos(1/x) en el intervalo (0, 1) generado con el sistema

de lgebra computacional wxMaxima (software libre).
Sea C el grfico de la funcin f : (0, 1) R definida por f(x) = cos(1/x),
ver figura 5.1. Siendo f continua y el intervalo abierto (0, 1) conexo, tenemos
que el grfico C es conexo. Sea J el intervalo [1, 1] sobre el eje y en R2 , es
decir, J = {0} [1, 1]. Todo punto de J es adherente a C, de esta forma, para
cualquier subconjunto T de J, tenemos que C C T C. Por el corolario 5.5
anterior, se concluye que C T es conexo. Este ejemplo tiene una relevancia
terica evidente ya que aunque los conjuntos C y T nunca se intersectan, su
unin es conexo, esto puede chocar un poco con la nocin intuitiva de lo que
es un conjunto conexo que es un conjunto de una sola pieza; as que debemos
mantener esa idea intuitiva pero con cierta cautela.
5.2. PROPIEDADES DE LOS CONJUNTOS CONEXOS
77
Proposicin 5.6. Sea {C }L una familia de conjuntos conexos en un espacio

mtrico o topolgico X.SSi todos los C contienen un punto en comn p X,
entonces la unin C = L C es conexa.
Prueba:
Sea C = A B una separacin de C. El punto p pertenece a
alguno de los dos conjunto A B. Asumamos que p A. Para cada L, los
conjuntos A C y B C son abiertos en C . Luego, C = (A C ) (B C )
es una separacin de C . El elemento p pertenece a cada C por tanto, para
todo L, p A C , como C es conexo,
esto implica que para todo
S
L, B C = . En consecuencia, B = (B C ) = , es decir, la nica
separacin posible para C es la trivial. Luego, C es conexo.

Corolario 5.7. Para que un espacio X sea conexo es necesario y suficiente que
cualquier par de puntos a, b en X estn contenidos en algn conjunto conexo
Cab en X.
Prueba:
Si X es conexo basta tomar Cab = X para cada
par. RecproS
camente, si se cumple la condicin, se puede escribir X = bX Cab . Ya que
para todo b X, a Cab , por proposicin 5.6, X es conexo.

Ejemplo 65. Todo espacio vectorial normado E es conexo ya que para a, b
en E, el conjunto Lab = {(1 t) a + t b : t R} contiene a a y b y es
homeomorfo a R (mediante t 7 a + t (b a)) por lo tanto, es conexo.
Parafraseando el ejemplo 62, la funcin f : E B(0; 1) definida por
y
x
es un homeomorfismo con inversa f1 (y) = 1kyk
. Luego, la
f(x) = 1+kxk
bola abierta B(0; 1) es conexa. Como dos bolas abiertas cualesquiera son homeomorfas (ejemplo 38), concluimos que toda bola abierta en un espacio
vectorial normado es conexa. As mismo, toda bola cerrada es conexa al ser
la clausura de una bola abierta.

Proposicin 5.8. El producto cartesiano X = C1 C2 Cn es conexo si,
y slo si, cada factor Ci es conexo.
Prueba:
(Slo si) Cada proyeccin i : X Ci es continua y sobreyectiva, por lo tanto, si X es conexo, entonces Ci es conexo.
Figura 5.2: Representacin del producto cartesiano C1 C2
78
(Si) Basta hacer la prueba para dos factores si C1 y C2 son conexos, su

producto cartesiano C = C1 C2 es conexo. Fijemos un punto a = (a1 , a2 )
C1 C2 , para cada x = (x1 , x2 ) en C1 C2 el conjunto Cx = (C1 {a2 })({x1 }C2 )
es conexo ya que es la unin de dos conjuntos conexos (son homeomorfos a
C1 y C2 resp.) con un punto en comn (x1 , a2 ), ver la figura S
5.2. Observemos
que a Cx para todo x en C. Entonces C = C1 C2 = xC Cx , por la
proposicin 5.6, C1 C2 es conexo.

Corolario 5.9. El espacio Rn es conexo.
5.3.
Conexidad y funciones continuas en R
Proposicin 5.10. Un subconjunto de R es conexo si, y slo si, es un intervalo.

Prueba:
(Si) Ya se vio en el ejemplo 62 que todo intervalo abierto en
R es conexo y mediante el corolario 5.5 que los dems tipos de intervalos
tambin son conexos.
(Slo si) Sea J R conexo, si J es un conjunto unitario {p} se puede entender
como el intervalo degenerado [p, p]. Supongamos que J posee al menos dos
puntos digamos a y b. Si c R es tal que a < c < b probaremos que
c est en J ya que si no fuese as, obtendramos una separacin de J =
[(, c) J] [J (c, +)] que no es la trivial porque a pertenece al primer
conjunto y b al segundo. Luego, todo elemento c entre a y b tambin pertenece
a J; esta propiedad implica que J es un intervalo de R.

Corolario 5.11 (Teorema del valor intermedio). Sea f : [a, b] R continua.
Si K es un valor intermedio entre f(a) y f(b), es decir f(a) < K < f(b)
f(b) < K < f(a), entonces existe c (a, b) tal que f(c) = K.
Prueba:
La prueba resulta muy sencilla con la teora desarrollada,
compare con el problema 6 del problemario No 3.
La funcin f es continua y el intervalo [a, b] es conexo (proposicin 5.10),
entonces, la imagen o rango de f, f([a, b]), es un conexo en R y por tanto
es un intervalo por la misma proposicin 5.10; As, el valor intermedio K
pertenece al rango de f, por lo tanto existe c [a, b] tal que f(c) = K. Siendo
K = f(c) distinto de f(a) y f(b) tiene que ser c (a, b).

Ejemplo 66. Todo polinomio con coeficientes reales y grado impar, posee al
menos una raz real. Sea p(x) = xn + an1 xn1 + + a1 x + a0 con n impar.
El polinomio p es una funcin p : R R, que es continua como se vio en el
ejemplo 28 del captulo 3.
Para x 6= 0 se puede escribir:
h
a
a1
a0 i
n1
(5.1)
+ + n1 + n
p(x) = xn 1 +
x
x
x
Sea k = 1 + |an1 | + + |a0 |. Si se toma |x| > k (en particular, |x| > 1), se
obtiene:
a
a0 |an1 | + + |a1 | + |a0 |
a1
n1
+ + n1 + n
<1

x
x
x
|x|
5.3. CONEXIDAD Y FUNCIONES CONTINUAS EN R
79
De aqu se deduce que cuando |x| > k, la expresin entre corchetes en la

ecuacin (5.1) es positiva, por lo tanto, el signo de p(x) es igual al signo de
xn . Como n es impar, p(x) toma valores tanto positivos como negativos; en
otros trminos existen x1 , x2 R tales que p(x1 ) < 0 < p(x2 ), por el teorema
del valor intermedio, proposicin 5.11, existe x0 R tal que p(x0 ) = 0 o, lo
que es lo mismo, el polinomio p(x) posee alguna raz real.

Definicin 56 (monotona). Una funcin f : X R R se dice que es:
creciente si para x, y X, x < y f(x) < f(y);
no decreciente si para x, y X, x < y f(x) f(y);
decreciente si para x, y X, x < y f(x) > f(y);
no creciente si para x, y X, x < y f(x) f(y);
Si una funcin satisface alguna de las condiciones de arriba se dice que es

montona.
Proposicin 5.12. Sea f : X R R una funcin montona. Si su imagen
f(X) es densa en un intervalo J, entonces f es continua.
Prueba:
Supongamos que f es no decreciente. Sea p un punto cualquiera de X el dominio de f y veamos que f es continua en p. Sea > 0
y suponemos primero que f(p) es un punto interior de J, as para algn
0 < r < , (f(p) r, f(p) + r) est contenido en J. Por la densidad de f(X),
existen y1 = f(x1 ) y y2 = f(x2 ) en el rango de f, tales que
(5.2)
f(p) < y1 < f(p) < y2 < f(p) + .
Como f es no decreciente, x1 < p < x2 . Tomemos = mn{p x1 , x2 p}.

Entonces, para x X
|x p| < p < x < p +
x1 < p < x2
y1 f(x) y2
f(p) f(x) f(p) +
(monotona de f)
(por (5.2))
|f(x) f(p)| <
Luego, f es continua en p.
Si f(p) es el extremo superior de J. Como f es no decreciente y f(X) J,
se sigue que p < x f(x) = f(p). Dado > 0, existe y1 = f(x1 ) en f(X) tal
que f(p) < y1 < f(a). Tenemos que x1 < a porque f es no decreciente.
Ahora, tomando = p x1 , vemos que para x X,
|x p| < x1 < x y1 f(x) f(p) |f(x) f(p)| < .
Para el caso en que f(p) sea el extremo inferior de J, se procede en forma

similar. Tambin, para los otros tipos de monotona con ligeras adaptaciones
se obtiene el resultado.
80
Corolario 5.13. Si f : X R R es montona y f(X) es un intervalo,

entonces f es continua.
Proposicin 5.14. Sea f : I R R continua e inyectiva, donde I es un

intervalo. Entonces,
(1) f es montona;
(2) f es un homeomorfismo de I sobre el intervalo J = f(I).

Prueba:
Para demostrar (1), supondremos inicialmente que I = [a, b] un
intervalo cerrado y acotado. Como f es inyectiva, f(a) 6= f(b). Para fijar ideas,
sea f(a) < f(b), en este caso mostraremos que f es creciente. De hecho, si no
fuese as, existiran x < y en [a, b] con f(y) < f(x). Hay dos posibilidades:
f(a) < f(y) f(y) < f(a). En el primer caso, se tiene que f(a) < f(y) < f(x).
Luego, por el teorema del valor intermedio (proposicin 5.11), existe c (a, x)
tal que f(c) = f(y) lo que contradice la inyectividad de f. En el segundo caso,
tenemos f(y) < f(a) < f(b). El mismo teorema nos da un punto c (y, b) tal
que f(c) = f(a), lo que nuevamente contradice la inyectividad de f. Cuando I
es cualquier otro intervalo, es fcil ver que f : I R es montona si, y slo
si, su restriccin a cada intervalo [a, b] I es montona.
Para probar (2) sabemos que f : I R es continua e inyectiva, I es un
intervalo y por tanto, es conexo; por la proposicin 5.2 J = f(I) es conexo
^
por lo tanto, J es un intervalo. as f^ : I J = f(I) (f(x)
= f(x)), es una
biyeccin . La inversa de una biyeccin montona tambin es montona.
Luego, f^1 : J I es continua por el corolario anterior, corolario 5.13. Es
decir, f es un homeomorfismo entre I y J.

Corolario 5.15. Sea f : I J una biyeccin entre los intervalos I, J. Para
que f sea un homeomorfismo, es necesario y suficiente que sea una funcin
montona.
Prueba:
Ejercicio.
Ejemplo 67. En relacin a la proposicin 5.14 tenemos los siguientes ejemplos donde alguna de las condiciones falla.
x
Sea f : R R, definida por f(x) = x + |x|
si x 6= 0 y f(0) = 0. Esta funcin
est definida en un intervalo, es montona pero es discontinua y su imagen
no es un intervalo.
Por otra parte, pueden existir biyecciones entre intervalos que no son
continuas como la siguiente g : [0, 3] [0, 3] definida por:
1 x si 0 x 1
x si 1 < x < 2
g(x) =
5 x si 2 x 3
Esto sucede porque g no es montona.
5.4. CONEXIDAD POR CAMINOS
81
Figura 5.3: Funciones del ejemplo 67

Proposicin 5.16 (Teorema de la aduana). Sean C y V subconjuntos de un
espacio mtrico M. Si C es conexo y tiene puntos en V y en M \ V , entonces
algn punto de C pertenece a la frontera de V .
Prueba:
Dado que el conjunto C es conexo, al verlo como subespacio
sabemos, por la parte (3) de la proposicin 5.1, que los nicos conjuntos
con frontera vaca son y C; por hiptesis C V no es vaco ni es todo
C. Por lo tanto su frontera (en C) no es vaca y en consecuencia, existe
c C perteneciente a la frontera de C V en C. De esta manera, para todo
> 0, existe un punto v C V V con d(c, v) < y existe un punto
p C \ (C V) = C \ V M \ V tal que d(c, p) < . En conclusin, c V en
M.
Figura 5.4: Teorema de la aduana.
5.4.
Conexidad por caminos
La definicin de espacio conexo como aqul que admite slo una separacin trivial es la expresin matemtica de la idea de un conjunto formado
por una sola pieza. Otra forma de expresar la conexidad es decir que se puede
pasar de un punto a otro en un movimiento continuo sin salir del espacio.
Esto nos lleva a la nocin de espacio conexo por caminos.
Definicin 57 (camino). Un camino en un espacio mtrico M es una funcin
continua f : [0, 1] M. Los puntos a = f(0) y b = f(1), pertenecientes a M,
82
son llamados extremos del camino f. a es el punto inicial y b es el punto

final. Se dice tambin que el camino f une el punto a al punto b. Cuando a = b
se dice que f es un camino cerrado en M.
Definicin 58 (camino yuxtapuesto). Dados los caminos f, g : [0, 1] M
tales que f(1) = g(0), se define el camino yuxtapuesto f g : [0, 1] M por:

f(2t) si 0 t 1/2
(f g)(t) =
g(2t 1) si 1/2 t 1
Figura 5.5: El camino yuxtapuesto f g.

Observe que como f(1) = g(0), la funcin f g tiene un mismo valor en
1/2; esto garantiza la continuidad.
Si f : [0, 1] M es un camino desde a = f(0) hasta b = f(1), entonces
f : [0, 1] M, definido por f (t) = f(1 t) es el mismo conjunto imagen pero
desde b hasta a.
La relacin a b si y slo si, existe un camino desde a hasta b es una
relacin de equivalencia.
Un camino trivial es la funcin constante f : [0, 1] M, f(t) = c para
todo t [0, 1].
Ejemplo 68. Sea E un espacio vectorial normado. Dados a, b E el segmento

de recta de extremos a y b es el conjunto
[a, b] = {(1 t)a + tb : 0 t 1}

y la funcin f : [0, 1] E definida por f(t) = (1 t)a + tb es continua y se le
llama camino rectilneo de extremos a, b.

Definicin 59 (conjunto convexo). Un subconjunto S de un espacio vectorial
se llama convexo cuando para cada par de elementos a, b en S, el segmento
[a, b] est contenido en S.
Todo subespacio de un espacio vectorial es convexo.
Ejemplo 69. Toda bola en un espacio vectorial normado es convexa. Sea
B = B(a; r) la bola abierta de centro a y radio r en el espacio vectorial
5.4. CONEXIDAD POR CAMINOS
83
normado E. Dados x, y en B, tenemos kx ak < r y ky ak < r. Luego, para

todo t [0, 1],
k(1 t)x + ty ak = k(1 t)(x a) + t(y a)k

(1 t) kx ak + t ky ak
< (1 t)r + tr = r.
Luego, [x, y] B por tanto, B es convexa. De forma similar se prueba que

una bola cerrada tambin es convexa.

Definicin 60 (conexidad por caminos). Un espacio mtrico M se llama conexo por caminos si para cada par de puntos existe un camino que los une
contenido en M.
Un conjunto se dice conexo por caminos si como subespacio es conexo por
caminos.
Es claro que todo conjunto convexo de un espacio vectorial es conexo por
caminos.
Proposicin 5.17. Si un espacio mtrico es conexo por caminos, entonces es
conexo.
Prueba:
El rango o conjunto imagen de un camino : [0, 1] M es
un conjunto conexo por la proposicin 5.2. Luego, dos puntos cualesquiera,
estn contenidos en un conjunto conexo. Por el corolario 5.7, M es conexo.
Ejemplo 70. La conexidad no implica la conexidad por caminos. Sea G R2
el grfico de la funcin f : [0, +) R, dada por f(x) = cos(1/x) si x > 0
y f(0) = 0. se sigue del ejemplo 64 que G es conexo. Mostremos que G no
es conexo por caminos, probando que si : [0, 1] G fuese un camino con
(0) = (0, 0), entonces es constante. En efecto, dado , podemos escribir,
para todo t [0, 1], (t) = ((t), f((t))) donde = 1 . Sea A = {t [0, 1] :
(t) = 0}. Queremos probar que A = [0, 1]. Ahora, A = 1 ({0}) como es
continua, A es cerrado en [0, 1] y es no vaco porque 0 A. Resta probar que
A tambin es abierto en [0, 1]. Tomemos un punto a A. De la continuidad de
obtenemos una bola abierta J de centro a en [0, 1] tal que, t J |(t)| < 1.
Como J es un intervalo, (J) es un intervalo que contiene a 0. si (J) no
1
(J), o sea, existira t J tal
fuese degenerado, existira n N tal que 2n
1
1
1
, cos(2n)) = ( 2n
, 1), lo que
que (t) = 2n , lo que implica que (t) = ( 2n
contradice el hecho de que |(t)| < 1 para todo t J.
Este ejemplo muestra tambin que la proposicin 5.4 no es vlida para
la conexidad por caminos, pues Gr(cos(1/x)) G Gr(cos(1/x), siendo el
grfico de cos(1/x), (x > 0), conexo por caminos.
84
5.5.
Componentes conexas
Las componentes conexas en un espacio son los pedazos que lo componen, es decir, son los subconjuntos conexos maximales del mismo.
Definicin 61 (componenete conexa). Sea X un espacio y x un punto de X.
La componente conexa de x en X es la unin Cx de todos los subconjuntos
conexos de M que contienen a x.
Todo punto x pertenece a al menos un conjunto conexo, a saber: {x}. As,
Cx es no vaca y como la unin de conexos con un punto en comn es conexo
(proposicin 5.6), cada componente conexa es un conjunto conexo.
Por definicin, la componente conexa de x, Cx es el conexo ms grande
que contiene a x.
Las componentes conexas en un espacio son las clases de equivalencia de
la siguiente relacin en X:
x y Existe un conjunto conexo de X conteniendo a x y y;
que fcilmente se prueba que se trata de una relacin de equivalencia.

La familia de las componentes conexas de un espacio, es el conjunto
cociente de la relacin , por lo tanto, constituyen una particin del espacio
en partes disjuntas.
Adems, cada subconjunto conexo no vaco de X est contenido en una
nica componente conexa. Por otra parte, toda componente conexa es un
subconjunto cerrado, ya que si C es una componente conexa, C es un conjunto
conexo y por tanto, C es un conjunto conexo. Si no fuese C = C, C no sera
un conexo maximal.
Ejemplo 71. Las componentes conexas de R \ {0} son los intervalos (, 0)
y (0, +).
S
En general, si M = L A es una unin disjunta de conjuntos de M que
son no vacos, conexos y simultneamente abiertos y cerrados, entonces cada
A es una componente conexa de M. En efecto, solo falta probar que cada
A es un conexo maximal. Si C es un conjunto
conexo
y para algn 0 L,
S
se tiene A0 C, entonces C = A0
6=0 (A C) es una separacin
de C (abiertos en C); como C es conexo y A0 es no vaco, para todo

(A C) = , es decir, C = A0 .
El siguiente ejemplo muestra que no siempre las componentes conexas de
un espacio mtrico son conjuntos abiertos.
Ejemplo 72. En el espacio mtrico Q, de los nmeros racionales, cada componente conexa es un conjunto unitario. Equivalentemente, ningn conjunto
conexo de Q puede tener dos puntos distintos (ver ejemplo 60).
5.6. EJERCICIOS
5.6.
1
85
Problemario No 5
Sean M un espacio mtrico y X, Y M tales que M = X Y y X Y = .

Entonces, X, Y constituyen una separacin de M si, y slo si, X Y =
X Y = . (Es decir, x X d(x, Y) > 0 y y Y d(y, X) > 0).
Sea f : M N continua y localmente inyectiva. Demuestre que si M

es conexo y existe una funcin g : N M tal que f g = IN (IN es la
identidad de N), entonces f es un homeomorfismo de M sobre N.
Sean X, Y M conexos. Si (X) Y entonces X Y es conexo.
Sea M un espacio mtrico con la propiedad del valor intermedio, esto

es, toda funcin continua f : M R que alcanza valores tanto positivos
como negativos, se anula en algn punto de M. Pruebe que M es conexo.
Sean y dos topologas en X. Si

conexidad respecto a cada topologa?
Sea M un espacio mtrico conexo y C M tambin conexo. Pruebe que

si A M \ C es abierto y cerrado en M \ C, entonces A C es conexo.
Un espacio mtrico M es conexo si, y slo si, toda funcin continua

f : M {0, 1} es constante.
. Qu se puede decir de la
Sea f : M R una funcin continua. Si c R es un nmero estrictamente comprendido entre el mximo y el mnimo de f en M, entonces
M \ f1 ({c}) es disconexo.
Sea f : R R una funcin real continua con la siguiente propiedad:

para cada x R, f(x) es un nmero
trascendente. Tambin se sabe que
f() = . Se puede determinar f( 2) y f(e)?
10
Sea {C }L un familia de conjuntos conexos en un espacio mtrico

M,
S
tales que C C 6= para cualesquiera , L. Pruebe que L C
es conexo.
11
Cuntas componentes conexas tiene el conjunto H = {(x, y) R2 :

(xy)2 = xy}?
12
Pruebe que una funcin continua tomando valores en un espacio discreto

es constante en cada componente conexa de su dominio. El recproco es
86
falso.
13
Verdadero o falso?
(a) El interior de un conjunto conexo es tambin conexo.
(b) La frontera de un conjunto conexo es conexo.
(c) Sea f : M N continua y sobreyectiva. Si M tiene m componentes
conexas y N tiene n entonces m n.
(d) Si A Rn es abierto entonces cada componente conexa de A es

abierta.
(e) Si f : R R es tal que la imagen de un conexo es conexo, entonces

f es continua.
(f) Si a, b M pertenecen a componentes conexas distintas, entonces

existe una separacin M = A B con a A y b B.
(Sugerencia: considere en R2 , a = (0, 0), b = (0, 1), V = {(1/n, y) R2 : n N, y
R} y tome M = V {a, b})
Captulo 6
Sucesiones en espacios
mtricos
6.1.
Lmites de sucesiones
Definicin 62 (sucesin). Una sucesin en un conjunto M es una funcin

x : N M, definida en el conjunto de los nmeros naturales N = {1, 2, 3, . . . }.
El valor que x toma en n, se denotar por xn en lugar de x(n), y se llamar el
trmino n-simo de la sucesin.
Se usarn las notaciones: (x1 , x2 , . . . , xn , . . . ), (xn )nN o (xn ) para representar una sucesin. Por otra parte, escribiremos {x1 , x2 , . . . , xn , . . . }, {xn : n
N} o x(N) para referirnos al conjunto de valores o al conjunto de los trminos
de la sucesin.
Ejemplo 73. Si se define x : N R colocando xn = (1)n , entonces obtenemos la sucesin (1, 1, 1, 1, . . . ), cuyo conjunto de valores es {1, 1}. Esto
muestra que una sucesin puede repetir los trminos, a menos que se trate de
una funcin inyectiva en cuyo caso diremos que es una sucesin de trminos
distintos.

Ejemplo 74. Fijando R, hacemos para cada n N, xn = ein =
(cos(n), sen(n)) (identificando el plano complejo con R2 ), obtenemos una
sucesin (xn ) en el crculo unitario S1 . Esta sucesin tiene repeticiones si, y
slo si, es un mltiplo racional de 2. De hecho, eim = ein con n 6= m
si, y slo si, ei(mn) = 1 (k Z)(mn) = 2k = (k/(mn))2.

Definicin 63 (subsucesin). Una subsucesin de (xn ) es una restriccin de
la funcin n 7 xn a un subconjunto infinito N = {n1 < n2 < n3 < < nk <
. . . } de N. La denotaremos por: (xn1 , xn2 , . . . , xnk , . . . ), (xn )nN , (xnk )kN o
simplemente (xnk ).
87
88
CAPTULO 6. SUCESIONES EN ESPACIOS MTRICOS
Observe que una subsucesin es tambin una sucesin definida mediante

la funcin k 7 xnk .
Ejemplo 75. La sucesin (2, 4, 8, 16, . . . , 2k , . . . ) es una subsucesin de la

sucesin (2, 4, 6, 8, 10, . . . , 2n, . . . ) mediante la aplicacin k 7 2 2k1 , en este
caso N = {2k1 : k N}.

Definicin 64 (sucesin acotada). Una sucesin (xn ) en el espacio mtrico
M se dice que es acotada si el conjunto de valores o trminos de la sucesin
es acotado, es decir, si existe K > 0 tal que para cualesquiera m, n N,
d(xn , xm ) K.
Ejemplo 76. Evidentemente toda subsucesin de una sucesin acotada, es
tambin acotada. Una sucesin constante (xn = c para todo n) o, en general,
una sucesin que asume un nmero finito de valores, es evidentemente acotada. Si a es un nmero real, con |a| > 1, la sucesin de nmeros reales xn = an
no es acotada, en virtud de la desigualdad de Bernoulli1 : (1 + b)n > 1 + n b
n
si b > 1. (se escribe b = |a| 1, entonces |a| = (1 + b)n > 1 + n b > c si
n > (c 1)/b). Por otro lado, cuando |a| 1, la sucesin xn = an es acotada
pues |xn | 1 para todo n.

Definicin 65 (lmite). Sea (xn ) una sucesin en el espacio mtrico M. Se dice
que el punto a M es lmite de la sucesin (xn ) cuando, para todo nmero
> 0 arbitrario, se puede obtener n0 N tal que n n0 d(xn , a) < . Se
denotar por: a = lm xn , a = lmn xn o a = lmn xn .
Tambin diremos que xn tiende a a y se escribe en smbolos xn a.
En esta situacin, diremos que la sucesin (xn ) es convergente. Si no existe
limxn en M diremos que la sucesin (xn ) es divergente.
Ejemplo 77. Toda sucesin constante, xn = c, es convergente y lm xn = c.
Si a M es un punto aislado y lm xn = a, entonces existe n0 N tal que
todos los trminos xn con ndice mayor que n0 son iguales a a. Para verificar
esto, basta tomar como > 0 el radio que asla al punto a, como lm xn = a,
a este le corresponde n0 N tal que n n0 d(xn , a) < xn = a. En
particular, en un espacio mtrico discreto, una sucesin (xn ) es convergente
si, y slo si, es eventualmente constante, esto es, existe n0 N tal que
xn0 = xn0 +1 = xn0 +2 =

Ejemplo 78. Si un espacio mtrico M posee dos puntos distintos a, b, entonces existen en M sucesiones divergentes. Bastara tomar xn = a si n es par y
xn = b si n es impar. Si tomamos = d(a, b)/2, cualquier bola de radio no
contiene simultneamente a a y a b. En consecuencia, para cualquier punto
p en M, no existe n0 N tal que xn B(p; ) para todo n n0 .

1 Desigualdad de Bernoulli: Si b 1 y 0 < < 1, entonces (1 + b) 1 + x. En cambio si
< 0 o bien si > 1, se tiene (1 + b) 1 + x. La igualdad se tiene slo para x = 0.
6.1. LMITES DE SUCESIONES
89
Definicin 66 (arbitraria y suficientemente grande). Sea A un conjunto de

nmeros naturales. Diremos que A contiene nmeros arbitrariamente grandes cuando para todo n0 N dado es posible encontrar n A tal que n > n0 .
Esto significa que A es un conjunto no acotado de N y equivale tambin a decir
que A es un conjunto infinito de nmeros naturales.
Diremos que A contiene todos los nmeros naturales suficientemente
grandes cuando exista n0 N tal que n n0 n A. Esto equivale a
decir que el complemento de A, N \ A, es finito. En particular A es infinito.
Ejemplo 79. Existen mltiplos de 3 arbitrariamente grandes, ya que el conjunto 3N = {3, 6, 9, . . . , 3n, . . . } es infinito. As mismo, existen nmeros primos arbitrariamente grandes.
Consideremos el conjunto A de los nmeros naturales n tales que n2
14n + 40 > 0. Entonces A = {1, 2, 3, 11, 12, 13, . . . }. Aqu vemos que n 11
n A. Luego, A contiene todos los nmeros naturales suficientemente grandes. Observe que N \ A = {4, 5, 6, 7, 8, 9, 10}.
Dada una sucesin (xn ) en un espacio mtrico M, decir que lm xn = a
M, significa que para toda bola abierta B de centro a, xn pertenece a B para
todo ndice n suficientemente grande.

Ejemplo 80. lm(1/n) = 0 en efecto, dado > 0, por la propiedad arquimediana, existe n0 N tal que n0 > 1, entonces

1

1
1
< 0 < .
n n0 0 <
n
n0
n
En otras palabras, dado > 0, 1/n pertenece al intervalo (, ) para todo n

suficientemente grande.

Proposicin 6.1. Toda sucesin convergente es acotada.
Prueba:
Sea (xn ) una sucesin en un espacio mtrico M tal que
lm xn = a. Tomando = 1, obtenemos un n0 N tal que n n0 xn
B(a; 1). Por lo tanto, el conjunto de valores de la sucesin est contenido en
la unin de los siguientes conjuntos acotados {x1 , . . . , xn0 1 } B(a; 1), luego
la sucesin es acotada.

Ejemplo 81. El recproco de la proposicin anterior no es cierto, la sucesin
xn = (1)n es acotada mas no es convergente.
Por otra parte, dado a R con |a| > 1, podemos afirmar que la sucesin
xn = an no es convergente ya que no es acotada. (Ver ejemplo 76)

Proposicin 6.2 (Unicidad del lmite). Si una sucesin converge, el lmite es
nico.
Prueba:
Sea (xn ) una sucesin en un espacio mtrico M, y sean a, b
M dos lmites de la sucesin: lm xn = a y lm xn = b. Dado > 0 arbitrario,
90
existen n1 N tal que n n1 d(xn , a) < /2, tambin existe n2 N tal

que n n2 d(xn , b) < /2. Tomando n ms grande que n1 y n2 , tenemos
que d(a, b) d(a, xn ) + d(xn , b) /2 + /2 = . Se sigue que para todo
> 0, 0 d(a, b) < , esto forzosamente nos lleva a concluir que d(a, b) = 0
y por tanto, a = b.

Proposicin 6.3. Si lm xn = a, entonces toda subsucesin de (xn ) converge
a a.
Prueba:
Por hiptesis, dado > 0 arbitrario, existe n0 N tal que
n n0 d(xn , a) < . Consideremos cualquier subsucesin (xnk )kN de
(xn ). Por definicin de sucesin, existe k0 N tal que nk0 > n0 , por lo tanto,
k k0 nk > nk0 > n0 d(xnk , a) < ;
luego, lmk xnk = a = lmn xn .
Corolario 6.4. Si lm xn = a, entonces para todo p N, lmn xn+p = a.

Prueba:
Basta ver que (xn+p )nN es una subsucesin de (xn ).
Corolario 6.5. Si lm xn = a 6= b, entonces existe n0 N tal que n n0

xn 6= b.
Prueba:
En efecto, por reduccin al absurdo tendramos que xn = b
para ndices n arbitrariamente grandes, de aqu obtenemos una subsucesin
constante con trminos iguales a b, es decir que converge a b 6= lm xn = a
lo cual es absurdo por la proposicin 6.3.
Proposicin 6.6. Un punto p, en un espacio mtrico M, es lmite de una

subsucesin de (xn ) si, y slo si, toda bola abierta de centro p contiene trminos
xn de la sucesin, para ndices n arbitrariamente grandes.
Prueba:
(slo si) Si lm xnk = p dado > 0, existe k0 N tal que
k k0 xnk B(p; ); as mismo, dado N N existe k > k0 tal que nk > N
y nnk B(p; ); es decir, la bola de centro p y radio contiene trminos de
la sucesin para ndices arbitrariamente grandes.
(Si) Por hiptesis, la bola B(p; 1) contiene un trmino xn1 con n1 > 1, la bola
B(p; 1/2) contiene un trmino xn2 con n2 > n1 , la bola B(p; 1/3) contiene un
trmino xn3 con n3 > n2 . As sucesivamente, se obtiene la sucesin de ndices
n1 < n2 < n3 < < nk < tales que para todo k N, xnk B(p; 1/k), es
decir tales que d(xnk , p) < 1/k, y as, lmk xnk = p.

Para deducir algunas propiedades de lmites a resultados anlogos sobre
funciones continuas, consideramos el siguiente lema:
Lema 6.7. Sea P el subespacio mtrico de R dado por P = {1, 21 , 31 , . . . , n1 , . . . } y
su clausura en R P = P {0}. Dada una sucesin (xn ) en un espacio mtrico M
y un punto a M, se define la funcin f : P M por f(1/n) = xn y f(0) = a.
Entonces,
lm xn = a si, y slo si, f es continua.
n
6.1. LMITES DE SUCESIONES
91
Prueba:
Ya que todo punto de P de la forma 1/n es aislado, f es
continua en dichos puntos; luego, f es continua si, y slo si, es continua
en 0, condicin que se expresa as: para todo > 0, existe > 0 tal que
1/n = |1/n 0| < d(xn , a) = d(f(1/n), f(0)) < . Si se cumple esta
condicin, dado el > 0, tomamos n0 > 1/ y vemos que
n n0
1
1
< d(xn , a) < .

n
n0
Luego, lm xn = a.
Recprocamente, si lm xn = a, entonces para todo > 0 existe n0 N tal
que n n0 d(xn , a) < . Tomando = 1/n0 , vemos que

1

0 = 1 < n > 1 = n0 d(xn , a) < .
n
n
Por lo tanto, f es continua en 0.
Proposicin 6.8. Una sucesin de puntos zn = (xn , yn ), en el producto cartesiano de espacios mtricos M N, converge a un punto c = (a, b) M N
si, y slo si, lm xn = a en M y lm yn = b en N.
Prueba:
En virtud de la proposicin 3.3 del captulo 3, adems del
lema anterior, las siguientes proposiciones son equivalentes:
lm zn = c la funcin f : P M N, definida por f(1/n) = zn
y f(0) = c, es continua;
las funciones componentes de f, f1 = 1 f : P M, y
f2 = 2 f : P N, definidas por f1 (1/n) = xn , f1 (0) = a,

f2 (1/n) = yn y f2 (0) = b, son continuas.
lm xn = a y lm yn = b.
Proposicin 6.9. Si lm xn = a, lm yn = b en un espacio vectorial normado

E y lm n = en R, entonces lm(xn + yn ) = a + b y lm n xn = a.
Adems, si 6= 0, se tiene tambin que lm(1/n ) = 1/.
Prueba:
Sean f, g : P E definidas por f(1/n) = xn , f(0) = a; g(1/n) =
yn , g(0) = b. Entonces, (f + g)(1/n) = xn + yn y (f + g)(0) = a + b. Por el
lema 6.7 y la hiptesis xn a, yn b se asegura que f y g son continuas,
as por la proposicin 3.5 del captulo 3, f + g es continua y tenemos que
lm(xn + yn ) = a + b.
La otra parte se prueba de forma similar, con la salvedad que por el
corolario 6.5, como 6= 0, existe n0 N tal que n n0 n 6= 0. Al
considerar la sucesin 1/n tomamos todos los ndices n n0 , lo que no
altera el lmite por el corolario 6.4. En este contexto, siendo continua la
funcin h : P R, h(1/n) = n y h(0) = , tambin es continua 1/h y de
esta forma, lm(1/n ) = 1/.
92
6.2.
Sucesiones de nmeros reales
Definicin 67 (sucesiones montonas). Una sucesin de nmeros reales (xn )

se dice creciente cuando se tiene que x1 < x2 < < xn < , esto es,
xn < xn+1 para todo n N. Cuando la desigualdad no es estricta, xn xn+1
para todo n N se dice que es no decreciente. De forma anloga si xn >
xn+1 , (n N) se dice que es decreciente; y si xn xn+1 , (n N) se
dice que es no creciente. En cualquiera de los casos descritos decimos que la
sucesin es montona.
Proposicin 6.10. Toda sucesin montona acotada de nmeros reales es
convergente.
Prueba:
La prueba para sucesiones crecientes y no decrecientes son
similares y si (xn ) es decreciente o no creciente, entonces (xn ) es creciente
o no decreciente y (xn ) converge si y slo si (xn ) converge. Por lo anterior,
basta probar que una sucesin (xn ) no decreciente y acotada es convergente.
En efecto, siendo la sucesin acotada, el conjunto de valores de la sucesin
(o rango de la sucesin) es no vaco y acotado y por tanto tiene supremo, sea
a = sup xn veamos que a = lm xn .
nN
Dado > 0, por propiedades del supremo, existe n0 N tal que a <
xn0 a. Entonces, por ser la sucesin no decreciente, n n0 a <
xn0 xn a < a + a < xn < a + . As, lm xn = a.
Corolario 6.11. Una sucesin montona de nmeros reales es convergente

si, y slo si, posee una subsucesin acotada.
Prueba:
Si la sucesin es convergente, ella misma es una subsucesin
acotada. Recprocamente, por el teorema anterior, basta probar que una sucesin montona es acotada si posee una subsucesin acotada. Supongamos
que (xn ) es no decreciente y que (xnk ) es acotada, as existe c > 0 tal que
xnk c para todo k N. Dado cualquier n N, existe k N tal que n nk ,
entonces xn xnk c. Luego, x1 xn c para todo n N, lo que implica
que (xn ) es acotada.

Ejemplo 82. Sea a R con |a| < 1, entonces lm an = 0.
n
Notemos primero que para cualquier sucesin de nmeros reales (xn ),

n
lm xn = 0 si, y slo si, lm |xn | = 0. De esta forma, veamos que lm |a| = 0.
2
3
2
n
|a| < 1 |a| |a| |a| |a| |a|. De all tenemos que (|a| ) es una
sucesin no creciente acotada inferiormente por 0. Por la proposicin 6.10,
n
n+1
n
existe L = lm |a| . Del mismo modo, L = lm |a|
= |a| lm |a| = |a| L, si
L 6= 0 entonces |a| = 1, pero tenemos que |a| < 1; luego, L = 0.
6.3. SERIES EN ESPACIOS VECTORIALES NORMADOS
6.3.
93
Series en espacios vectoriales normados
Sea E un espacio vectorial normado y consideremos una sucesin (an ) de

vectores en E. Para cada k N se define la suma parcial como
Sk = a1 + a2 + + ak =
k
X
an
n=1
Esto define una nueva sucesin en E, (Sk ), llamada sucesin de sumas

parciales. Si existe S E tal que S = lm Sk , se dice que S es la suma de la
k
P
serie
an y se escribe:
S = lm Sk = lm
k
k
X
n=1
an =
n=1
an = a1 + a2 + a3 + + an +
En este caso se dice que la serie es convergente; si no existe el lmite de

las sumas parciales decimos que la serie es divergente .
Una condicin necesaria para que una serie converja es que lm an = 0.
n
En efecto, si S = lm Sn tambin S = lm Sn1 y as:

n
lm an = lm(Sn Sn1 ) = lm Sn lm Sn1 = S S = 0.

n
Dicha condicinPno es suficiente y el ejemplo clsico es la serie armnica

1
de nmeros reales
n.
P 1
1
Ejemplo 83 (La serie armnica
n diverge). Claramente, lm n = 0. Mas la
1
1
1
sucesin de sumas parciales Sn = 1 + 2 + 3 + + n contiene una subsucesin
no acotada, a saber:

1
1
1
1
1
1
1
S2n = 1 + +
+
+
+
+ + +
2
3 22
5 6 7 23

1
1
>
+
+
+
2n1 + 1
2n1 + 2n1
1
2 4
2n1
1
+ + + + n = 1 + n .
2 4 8
2
2
De esta forma, (Sn ) no es acotada y por tanto no es convergente, lo que
prueba que la serie armnica diverge. Si bien Sn , su crecimiento es muy
lento como lo podemos evidenciar en la siguiente tabla:
Pn
n Sn = k=1 n1
10 2.928968253968254
100 5.187377517639621
1.000 7.485470860550343
1.000.000 14.39272672286478
100.000.000 18.9978964138477
>1+
94
6.4.
Convergencia y topologa
En esta seccin se caracterizan diversos conceptos topolgicos utilizando

la convergencia de sucesiones.
Proposicin 6.12 (continuidad). Sean M, N espacios mtricos. Para que una
funcin f : M N sea continua en el punto a M es necesario y suficiente
que para toda sucesin (xn ) en M que converja a a, (xn a), se tenga que la
sucesin de imgenes (f(xn )) converja a f(a) en N.
Prueba:
Sea f continua en a. Si (xn ) es una sucesin que converge
a a, por la continuidad, tenemos que dado > 0, existe > 0 tal que si
d(x, a) < entonces d(f(x), f(a)) < ; para este existe n0 N tal que
n n0 d(xn , a) < d(f(xn ), f(a)) < . Luego, f(xn ) f(a).
Para el recproco supongamos, por reduccin al absurdo, que f no sea
continua en el punto a. Entonces, existe un > 0 tal que para todo n N
existe xn M con d(xn , a) < 1/n pero d(f(xn ), f(a)) . Esto define una
sucesin en M que converge al punto a pero la sucesin de imgenes, (f(xn )),
no converge al punto f(a), lo cual contradice la hiptesis.
Corolario 6.13. Para que f : M N sea continua en el punto a M es

necesario y suficiente que xn a implique que (f(xn )) es convergente en N.
Prueba:
Por el teorema anterior, basta probar que xn a implica que
f(xn ) f(a). Si xn a, la sucesin (zn ) = (x1 , a, x2 , a, x3 , a, . . . ) converge
a a. Luego, (f(zn )) = (f(x1 ), f(a), f(x2 ), f(a), . . . ) es convergente entonces,
necesariamente lm f(xn ) = f(a).

La siguiente proposicin caracteriza a los puntos adherentes de un subconjunto.
Proposicin 6.14. Sea S un subconjunto de un espacio mtrico M. Para que

a S en M, es necesario y suficiente que a sea el el lmite de una sucesin de
puntos de S.
Prueba:
Si a S, existen puntos de S arbitrariamente cerca de a, por
tanto, dado n N existe xn S tal que d(xn , a) < 1/n, esto define una
sucesin en S que converge a a. Recprocamente, si lm xn = a con xn S
para todo n N, entonces toda bola abierta centrada en a contiene puntos
de S. As, a S.

Caracterizacin de puntos frontera de un subconjunto de un espacio mtrico.
Corolario 6.15. Para que un punto del espacio mtrico M sea punto frontera
de un subconjunto S es necesario y suficiente que dicho punto sea lmite de
una sucesin en S y de una sucesin en M \ S.
Prueba:
Recordemos el problema 24 del captulo 4 (pgina 71), (S) =
S M \ S y luego se aplica la proposicin anterior.

Caracterizacin de conjunto denso:
6.4. CONVERGENCIA Y TOPOLOGA
95
Corolario 6.16. Un conjunto X M es denso en M si, y slo si, todo punto

de M es lmite de una sucesin de puntos en X.
Caracterizacin de conjuntos cerrados:
Corolario 6.17. Para que un conjunto C sea cerrado en M es necesario
y suficiente que l contenga el lmite de toda sucesin de puntos en C que
converja en M.
Prueba:
Por la proposicin 4.19 pgina 65, C es cerrado si, y slo si,
C C.

La siguiente proposicin caracteriza los conjuntos abiertos mediante sucesiones:
Proposicin 6.18. Un subconjunto A de un espacio mtrico M es abierto si,
y slo si, se cumple la siguiente condicin:
xn a A xn A
para n suficientemente grande.
Prueba:
Si A es abierto y xn a A entonces existe una bola
abierta B(a; ) A y en consecuencia, existe n0 N tal que n n0
xn B(a; ) A. Recprocamente, suponiendo cumplida la condicin, para
cualquier sucesin (xn ) en M \ A con lm xn = b, b no puede pertenecer a
A, por tanto, b M \ A esto nos dice, va el corolario 6.17, que el conjunto
M \ A es cerrado y de esta forma, A es abierto.

Caracterizacin de puntos de acumulacin:
Proposicin 6.19. Para que un punto p sea punto de acumulacin de un
subconjunto S en un espacio mtrico M, es necesario y suficiente que p sea
lmite de una sucesin de puntos distintos xn S.
Prueba:
Es evidente que la condicin es suficiente ya que toda bola de
centro en p contiene puntos de S distintos de p, as p ac(S). Supongamos
ahora que p ac(S), para cada n N la bola abierta B(p; 1/n) contiene
una infinidad de puntos de S, entonces para cada n se puede escoger xn
B(p; 1/n) tal que xn S y que xn no pertenezca a {x1 , . . . , xn1 }, as todos los
trminos de la sucesin son distintos y xn p.
Ejemplo 84. Sean f, g : M N continuas. El conjunto C de los puntos

x M tales que f(x) = g(x) es cerrado en M. En efecto, dada una sucesin
xn C con lm xn = a M, se tiene que f(xn ) = g(xn ) para todo n N. De
all se sigue que:
f(a) = f(lm xn ) = lm f(xn ) = lm g(xn ) = g(lm xn ) = g(a).

Luego a C, por tanto C es cerrado.
96
Ejemplo 85. Sean f, g : M N continuas. Si f(x) = g(x) para todo punto

de un conjunto S M, entonces f(y) = g(y) para todo y S. En efecto, el
conjunto de los puntos x M donde f(x) = g(x) es cerrado en M y contiene
a S, luego contiene a S. En particular, si dos funciones continuas definidas
en un espacio mtrico, coinciden en un conjunto denso, entonces son iguales.
6.5.
Sucesiones de funciones
Una sucesin de funciones es una familia de funciones con un dominio

comn tomando valores en un mismo espacio mtrico e indizadas por un
conjunto numerable por lo general N.
Estudiaremos esencialmente dos conceptos de convergencia: la convergencia simple o puntual y la convergencia uniforme.
Definicin 68 (convergencia puntual). Sea (fn )nN una sucesin de funciones fn : X M definidas en un conjunto X a valores en un espacio mtrico
M. Se dice que (fn ) converge puntualmente o simplemente en X a una
funcin f : X M, en smbolos fn f, cuando para cada x X, la sucesin
(fn (x))nN converge a f(x), es decir, lm fn (x) = f(x).
n
Ejemplo 86. La sucesin de funciones fn : R R definidas por fn (x) = x/n

converge puntualmente en R a la funcin nula. En efecto, dado x R y > 0
tomamos n0 N tal que n0 > |x| /. Entonces,
|x|
x
|x|

< .
n n0 0 =
n
n
n0
Luego, lm fn (x) = 0. Observe que la seleccin de n0 depende del x dado y

no existe un n0 N que sea apropiado para todo x R.

Definicin 69 (convergencia uniforme). Diremos que una sucesin de funciones fn : X M converge uniformemente en X a una funcin f : X M
cuando para todo nmero real > 0 dado, es posible hallar n0 N tal que
n n0 (x X) d(fn (x), f(x)) < .
En esta definicin se observa que el n0 obtenido es vlido para cualquier

x en X, de all la uniformidad. Es claro que la convergencia uniforme implica
la convergencia puntual, el recproco no es cierto. Pero tambin es claro
que si fn f puntualmente en X, entonces (fn ) no puede converger en X
uniformemente a otra funcin que no sea f.
Ejemplo 87. La sucesin de funciones fn (x) = x/n converge uniformemente

a la funcin 0 en cualquier subconjunto acotado X de R. De hecho si |x| c
6.5. SUCESIONES DE FUNCIONES
97
para todo x X, entonces, dado > 0, basta tomar n0 > c/. As, n n0
|x/n 0| c/n < para cualquier x X.
Por otro lado, la misma sucesin no converge uniformemente en R. En
efecto, si tomamos = 1, por ejemplo, dado n0 N cualquiera al tomar
n > n0 y x > n se tiene que |x/n 0| = x/n > 1 = ; esto muestra que la
convergencia x/n 0 no es uniforme en R.
Para ver este hecho geomtricamente, trazamos el grfico de algunos trminos de la sucesin fn (x) = x/n se trata de rectas que pasan por el origen
con pendientes 1/n. Afirmar que fn 0 uniformemente en R significa que
a partir de un n suficientemente grande, el grfico de fn est contenido totalmente en la banda R (, ). Pero por grande que sea n ninguna recta
y = x/n est contenida en dicha banda. Pero si fijamos un conjunto acotado
X R para n suficientemente grande, la parte de la recta sobre el conjunto
X (es decir, el grfico de x/n restringido a X) est contenida totalmente en la
banda. (ver la figura 6.1).
Figura 6.1: Interpretacin grfica de la convergencia uniforme.
Ejemplo 88. La sucesin de funciones fn : [0, 1] R, definidas por fn (x) =

xn converge puntualmente en [0, 1] a la funcin f : [0, 1] R definida
por: f(x) = 0 para x [0, 1) y f(1) = 1. En efecto, fijando x [0, 1) por el
ejemplo 82, limn fn (x) = limn xn = 0, mientras que lmn fn (1) = lmn 1n = 1.
Figura 6.2: Ejemplo de convergencia no uniforme en un conjunto acotado.
98
Mas esta convergencia no es uniforme en [0, 1] (ni siquiera en el intervalo [0, 1)) pues tomando > 0 tal que 0 < < 1, por grande que sea
n existen puntos
x en [0, 1) tales que |fn (x) f(x)| = xn . Basta to
n
mar x tal que
< x < 1. Por otro lado, en todo intervalo de la forma
[0, 1 ], con 0 < < 1, tenemos que lm xn = 0 uniformemente. En efecto, dado > 0, como lm(1 )n = 0, se sigue que existe n0 N tal que
n n0 (1 )n < . Por tanto, para todo x [0, 1 ], y todo n n0 ,
tenemos que |fn (x) f(x)| = xn (1 )n < .

A continuacin se mostrar que la convergencia uniforme puede ser interpretada como la convergencia de puntos en un espacio mtrico adecuado.
Considerar funciones como puntos de un espacio mtrico, en el cual la
distancia fue definida de tal forma de dar lugar a un cierto tipo de convergencia, es una de las tcnicas usuales en el Anlisis Funcional.
En la siguiente proposicin X es un conjunto M un espacio mtrico y
fn : X M es una sucesin de funciones. Para f : X M el conjunto

Bf (X; M) = g : X M/ sup d(g(x), f(x)) <
xX
es un espacio mtrico con la mtrica del supremo, ver ejemplo 21 pgina 29.
Proposicin 6.20. Sea X un conjunto, M un espacio mtrico, para fn : X M

y f : X M. Si fn f uniformemente en X entonces, para todo n suficientemente grande fn Bf (x : M) y lm fn = f como elementos de dicho espacio
mtrico. Recprocamente, si lm fn = f en Bf (X; M), entonces fn f uniformemente en X.
Prueba:
Si fn f uniformemente en X se tiene que dado > 0
existe n0 N tal que n n0 (x X)d(fn (x), f(x)) < por lo tanto,
n n0 d(fn , f) = sup d(fn (x), f(x)) ; as que fn Bf (X; M) y fn f
xX
como puntos de Bf (X; M).

Recprocamente, si (fn ) en Bf (X; M) es tal que fn f, por definicin de
la mtrica tenemos que dado > 0 existe n0 N tal que
n n0 d(fn , f) <
(x X)d(fn (x), f(x)) sup d(fn (x), f(x)) = d(fn , f) < ;
luego, fn f uniformemente en X.
xX
Proposicin 6.21. Sean M y N espacios mtricos. Si una sucesin de funciones fn : M N, continuas en el punto a M, converge uniformemente en M
a una funcin f : M N entonces, f es continua en a.
Prueba:
Probemos que f es continua en a. Dado > 0 existe un n N
tal que para todo x M, d(fn (x), f(x)) < /3, para este n (fijo) sabemos que
6.5. SUCESIONES DE FUNCIONES
99
fn es continua en a, por lo tanto existe un > 0 tal que d(x, a) <

d(fn (x), fn (a)) < /3. Entonces, para todo x M con d(x, a) < se tiene
que
d(f(x), f(a)) d(f(x), fn (x)) + d(fn (x), fn (a)) + d(fn (a), f(a))
< + + =
3 3 3
Corolario 6.22. El lmite uniforme de una sucesin de funciones continuas
fn : M N es una funcin continua f : M N.
100
6.6.
Problemario No 6
Dada una isometra f : M M, fije un punto x0 M y defina x1 =

f(x0 ), x2 = f(x1 ), . . . , xn+1 = f(xn ), . . . Pruebe que si f(x0 ) 6= x0 , la sucesin (xn ) no converge.
Sea N = N1 N2 , donde N1 y N2 son infinitos. Dada una sucesin (xn )

en el espacio mtrico M, si tuviramos lmnN1 xn = a y lmnN2 xn = a
para un cierto a M, entonces lmnN xn = a.
Considere un espacio mtrico discreto M. Demuestre que el conjunto de

las sucesiones convergentes es abierto en B(N; M).
Un punto a M se llama valor de adherencia de la sucesin (xn ) en M

cuando a es lmite de una subsucesin de (xn ). Sea L el conjunto de los
valores de adherencia de (xn ) y, para cada T
k N, sea Fk la clausura del
conjunto {xn : x k}. Demuestre que L = k=1 Fk y concluya que L es

un subconjunto cerrado de M. Si (xn ) es acotada entonces L es acotado.
Pruebe que toda sucesin convergente posee un nico valor de adherencia. Qu se puede decir del recproco?
Sea C B(N, M) el subespacio de las sucesiones convergentes de M.

Pruebe que la funcin : C M, que asocia cada sucesin en C con su
lmite, es continua.
Sea (r1 , r2 , . . . , rn , . . . ) una enumeracin cualquiera de Q. Pruebe que todo

nmero real es valor de adherencia para la sucesin (rn ).
Sea X R un conjunto acotado; pruebe que existen sucesiones (xn ) y

(yn ) en X tales que lm xn = nf X y lm yn = sup X.
Sea (xn ) una sucesin acotada de nmeros reales. Para cada n N se

definen Xn = {xn , xn+1 , }, n = sup Xn y n = nf Xn . Pruebe que
existen y tales que = lm n y = lm n , adems cada uno de
estos nmeros es un valor de adherencia de (xn ). Por otra parte, si p
es cualquier otro valor de adherencia de (xn ), se tiene que p .
Concluya que (xn ) es convergente si, y slo si, = .
10
Pruebe que la sucesin de funciones fn (x) = 1/(1 + nx) converge puntualmente pero no converge uniformemente en el intervalo [0, 1]. Igual para
la sucesin fn (x) = nx(1 x)n .
Captulo 7
Espacios mtricos
completos
7.1.
Sucesiones de Cauchy
Definicin 70 (sucesin de Cauchy). Una sucesin (xn ), en un espacio mtrico M, se dice que es una sucesin de Cauchy1 , si para todo > 0 existe
un n0 N tal que n, m n0 d(xn , xm ) < .
Toda subsucesin de una sucesin de Cauchy, es una sucesin de Cauchy.

Intuitivamente, los trminos de una sucesin de Cauchy se van acercando
unos a otros a medida que el ndice crece. Compare esto con la nocin
de convergencia en la cual los trminos se acercan a un punto fijo. Por
supuesto, es claro que si los trminos de una sucesin se acercan a un punto
fijo, se acercan entre ellos tambin; esto es lo que se afirma en la siguiente
proposicin:
Proposicin 7.1. Toda sucesin convergente es de Cauchy.
Prueba:
Sea lm xn = a, dado > 0, existe n0 N tal que n n0
d(xn , a) < /2, luego
n, m n0 d(xn , xm ) d(xn , a) + d(a, xm ) <

+ = .
2 2
as, (xn ) es de Cauchy.

El recproco no es cierto, veamos el siguiente ejemplo:
Ejemplo 89. No toda sucesin de Cauchy es convergente. Para ver esto, tomemos una sucesin de nmeros racionales xn convergiendo a un nmero
1 Augustin Louis Cauchy (1789-1857) fue un matemtico francs. Cauchy fue pionero en el
anlisis matemtico y la teora de grupos de permutaciones, contribuyendo de manera medular a su desarrollo. Tambin investig la convergencia y la divergencia de las series infinitas,
ecuaciones diferenciales, determinantes, probabilidad y fsica matemtica.
101
CAPTULO 7. ESPACIOS MTRICOS COMPLETOS
102
irracionala (por ejemplo, x1 = 1, x2 = 1, 4, x3 = 1, 41, x4 = 1, 414, . . . , convergiendo a 2). Siendo convergente en R, es de Cauchy en el espacio Q por la
proposicin 7.1. Pero evidentemente, esta sucesin no converge en Q.

Proposicin 7.2. Toda sucesin de Cauchy es acotada.
Prueba:
Sea (xn ) una sucesin de Cauchy en el espacio mtrico M.
Dado = 1, existe n0 N tal que n, m n0 d(xn , xm ) < 1. Luego, el
conjunto {xn0 , xn0 +1 , . . . } es acotado pues tiene dimetro menor que 1, por
tanto, el conjunto:
{x1 , x2 , . . . , xn , . . . } = {x1 , . . . , xn0 1 } {xn0 , xn0 +1 , xn0 +2 , . . . }

es acotado.
Ejemplo 90. Que una sucesin sea acotada es una condicin necesaria pero
no suficiente para que sea de Cauchy. Un ejemplo sencillo es la sucesin
(1, 0, 1, 0, 1, . . . ) en R, es acotada
Pn pero d(xn , xn+1 ) = 1 para todo n N. Por
otro lado, la sucesin: xn = 1 (1/k) no es acotada y por tanto, no es Cauchy.

Proposicin 7.3. Una sucesin de Cauchy que posea una subsucesin convergente, es convergente (y converge al mismo lmite de la sucesin).
Prueba:
Sea (xn ) una sucesin de Cauchy en el espacio mtrico M y
(xnk ) una subsucesin que converge a a M. Veamos que lmn xn = a.
Dado > 0 existe k0 N tal que si k k0 d(xnk , a) < /2. Por otro
lado, existe n0 N tal que n, m n0 d(xn , xm ) < /2. Por la definicin de
sucesin, existe k k0 suficientemente grande, tal que nk > n0 . As, tenemos
que

d(xn , a) d(xn , xnk ) + d(xnk , a) < + = .
2 2
Luego, lm xn = a.

Observemos que por la proposicin 7.3, una sucesin que posea subsucesiones convergiendo a lmites distintos no puede ser de Cauchy.
Ejemplo 91. La imagen continua de una sucesin de Cauchy puede no ser
de Cauchy. Por ejemplo, la funcin f(x) = 1/x es continua y la imagen de la
sucesin de Cauchy xn = 1/n, es la sucesin (f(xn )) = (1, 2, 3, . . . ) que no es
de Cauchy.
Por otro lado, si f : M N es una funcin lipschitziana, f transforma
una sucesin de Cauchy en M en una sucesin de Cauchy en N. En efecto, si
K es una constante de Lipschitz para f y si (xn ) es una sucesin de Cauchy
en M, dado > 0 existe n0 N tal que n, m n0 d(xn , xm ) < /K. En
consecuencia, tenemos que
n, m n0 d(f(xn ), f(xm )) Kd(xn , xm ) < K (/K) = .
Por tanto, (f(xn )) es de Cauchy.
7.2. ESPACIOS MTRICOS COMPLETOS
7.2.
103
Espacios mtricos completos
Definicin 71. Se dice que un espacio mtrico M es completo cuando toda

sucesin de Cauchy en M es convergente.
Ejemplo 92. Como se vio en el ejemplo 89, el espacio Q no es completo.
Cualquier espacio con la mtrica cero-uno es completo pues una sucesin
de Cauchy all tiene que ser eventualmente constante y por tanto convergente. Pero no todo espacio discreto es completo, por ejemplo el espacio
P = {1, 21 , 31 , . . . } es discreto, la sucesin xn = n1 es de Cauchy pero no es
convergente (en P).
Se dice que un espacio mtrico M es uniformemente discreto si existe
> 0 tal que para x, y M, se tiene que d(x, y) < x = y. . Todo
espacio uniformemente discreto es completo, en efecto, si xn es una sucesin
de Cauchy, existe n0 N tal que d(xn , xm ) < xn = xm ; as a partir de
un ndice la sucesin es constante y por lo tanto, convergente.

Proposicin 7.4. R es un espacio mtrico completo.
Prueba:
Sea (xn ) una sucesin de Cauchy en R. Para cada n N se
define Xn = {xk : k n}, entonces X1 X2 X3 Xn y ya que
X1 es acotado, todos estos conjuntos son acotados. Sea n = nf Xn , entonces
la sucesin (n )nN es creciente y acotada superiormente por 1 = sup Xn .
Por la proposicin 6.10, existe un nmero = lm n , ms precisamente, =
supn n . Veamos que es el lmite de la sucesin;para esto, se mostrar que
es lmite de alguna subsucesin de (xn ) (esto tambin se expresa diciendo
que es un lmite subsecuencial). Dado > 0, existe n N tal que < n
; de esta forma, para todo k n, < n < xk pero no puede ocurrir
que para todo ndice k n xk + ya que de ser as, n , n+1 , . . . seran
todos mayores que , lo que contradice su condicin de supremo. As, existen
ndices k n tales que xk + . En conclusin, el intervalo abierto (
, +) contiene trminos de la sucesin para ndices arbitrariamente grande.
Esto permite afirmar que es el lmite de una subsucesin de trminos de
(xn ). Por la proposicin 7.3, la sucesin (xn ) es convergente.

Proposicin 7.5. Un Subespacio cerrado de un espacio mtrico completo es
completo. Recprocamente, un subespacio completo de cualquier espacio mtrico, es cerrado.
Prueba:
Sea M un espacio mtrico completo y C M un subespacio
cerrado de M. Dada una sucesin de Cauchy (xn ) en C, sta tambin es
de Cauchy en M y por tanto, existe a = lm xn . Ahora, como C es cerrado,
a C, as, C es completo.
Por otro lado, si M es un espacio mtrico completo y N es otro espacio
mtrico tal que M N, dada una sucesin (xn ) en M que es convergente
en N, es decir, lm xn = a N; entonces (xn ) es de Cauchy y como M
es completo, existe b M tal que lm xn = b. Por la unicidad del lmite,
concluimos que a = b M. Lo que implica que M es cerrado en N.
104
Proposicin 7.6. El producto cartesiano M N es completo si, y slo si, M

y N son completos.
Prueba:
Supongamos que M y N son completos. Dada una sucesin
de Cauchy (zn ) en M N, sea zn = (xn , yn ) para cada n N. Cada una
de las proyecciones 1 : M N M y 2 : M N N son contracciones
dbiles (ver ejemplo 30, pgina 36), as tanto (xn ) como (yn ) son sucesiones
de Cauchy en M y N respectivamente. Luego, existen lm xn = a M y
lm yn = b N. Haciendo c = (a, b) M N, tenemos que lm zn = c. De
donde, M N es completo.
Recprocamente, si M N es completo, fijando b N, es fcil ver que
la aplicacin x 7 (x, b) es una isometra de M en el subespacio cerrado
M {b} M N. Se sigue, va la proposicin 7.5, que M es completo. Del
mismo modo se prueba que N es completo.

Corolario 7.7. El espacio producto M1 Mn es completo si, y slo si,
M1 , . . . , Mn son completos.
Corolario 7.8. El espacio euclidiano Rn es completo.
Sean X un conjunto, M un espacio mtrico y : X M una funcin. Recordemos que B (X; M), denota el espacio de todas las funciones f : X M
que estn a distancia finita de , es decir, tales que d(f, ) = sup d(f(x), (x)) < ,
xX
con la mtrica de la convergencia uniforme o tambin llamada mtrica del

supremo.
Proposicin 7.9. Si el espacio mtrico M es completo, entonces B (X; M) es

completo, sean cuales fuesen el conjunto X y la funcin : X M.
Prueba:
Sea (fn ) una sucesin de Cauchy en B (X; M). Entonces esta
sucesin es acotada. Luego, existe una constante c > 0 tal que d(fn (x), (x))
d(fn , ) c para todo n N y todo x X. Para cada x M fijo, la sucesin
(fn (x)) en M, es de Cauchy. Como M es completo, el lmite de esta sucesin
existe y define una funcin f : X M por f(x) := lm fn (x), que a su vez es
n
el lmite puntual de (fn ). Ya que para todo n N y todo x X se tiene que

d(fn (x), (x)) c, haciendo n + concluimos que d(f(x), (x)) c para
todo x X y por tanto tambin d(f, ) c. Luego, f B (X; M). En vista de
la proposicin 6.20, slo falta probar que fn f uniformemente en X. Pues
bien, dado > 0, existe n0 N tal que m, n n0 d(fn (x), fm (x)) <
para todo x X. Haciendo m y utilizando el hecho de que la mtrica es
continua, concluimos que n n0 d(fn (x), f(x)) < para todo x X. Esto
es, fn f uniformemente en X como se quera demostrar.

Corolario 7.10 (Criterio de Cauchy para la convergencia uniforme). Sea M
un espacio mtrico completo. Para que una sucesin de funciones fn : X M
converja uniformemente en X, es necesario y suficiente que, para todo > 0
dado, exista n0 N tal que
m, n n0 d(fn (x), fm (x)) < para todo x X.
7.3. COMPLETACIN DE UN ESPACIO MTRICO
105
Prueba:
Si fn f uniformemente en X entonces fn Bf (X; M) para
todo n suficientemente grande y lm fn = f en ese espacio. Luego, (fn ) es una
sucesin de Cauchy en Bf (X; M) y de esta forma la condicin es necesaria.
Recprocamente, suponiendo la condicin satisfecha, tomamos = 1 y para
ste existe un n0 N como en el enunciado tal que para = fn0 , vale
d(fn , ) 1, as fn B (X; M) para todo n n0 . Adems, la condicin
implica que la sucesin (fn )nn0 es una sucesin de Cauchy en el espacio
mtrico completo B (X; M) (ver proposicin 7.9). Se sigue que (fn ) converge
uniformemente en X.

Corolario 7.11. Sean M y N espacios mtricos, donde N es completo. Si una
sucesin de funciones continuas fn : M N converge uniformemente en un
subconjunto X de M, entonces (fn ), converge uniformemente en X.
Prueba:
Notemos primero que si una funcin continua : M R es
tal que (x) < para todo x X, entonces (x) para todo x (x); en
efecto, el conjunto {x M : (x) } = 1 ((, ]), es cerrado en M y
contiene a X, por tanto, contiene a X.
Probemos el corolario: por hiptesis, dado > 0, existe n0 N tal
que m, n n0 (x X), d(fm (x), fn (x)) < 0, 99 . Como la aplicacin x 7 d(fn (x), fm (x)) es continua, tenemos que m, n n0 (x
X), d(fm (x), fn (x)) 0, 99 < . Se sigue del corolario 7.10 que (fn ) converge uniformemente en X.
7.3.
Completacin de un espacio mtrico
En esta seccin se mostrar que cualquier espacio mtrico puede ser exc
tendido aadindole nuevos puntos, de tal manera que el nuevo espacio M
sea completo y que llamaremos completacin de M. Dado que un espacio
c es comcerrado de un espacio completo es completo, la clausura de M en M
pleto y contiene a M. Por este hecho, basta considerar nicamente los puntos
c adherentes a M. En la prctica, en lugar de obtener que M M
c, hallade M
remos una inmersin isomtrica : M N, donde N es completo y se toma
(M) como completacin de M. Como M y (M) son isomtricos es como
c.
si en verdad fuese M M
Definicin 72 (completacin). Una completacin de un espacio mtrico M

c ) donde M
c es completo y : M M
c es una inmersin
es un par (M,
c
isomtrica cuya imagen (M) es densa en M.
c es una completacin de
Frecuentemente diremos sencillamente que M
M quedando sobreentendida la existencia de la inmersin isomtrica que
c
satisface la definicin. As mismo, en ocasiones consideraremos que M M
identificando M con su imagen isomtrica (M).
Proposicin 7.12 (Existencia de la completacin). Todo espacio mtrico posee una completacin.
106
Prueba:
Dado un espacio mtrico M, como se vio en el ejemplo 25
de la pgina 32, un espacio mtrico M puede ser inmerso isomtricamente
mediante una , en el espacio mtrico B(M; R) de las funciones acotadas
de M en R; (este espacio es adems un espacio vectorial normado). Por la
proposicin 7.9, y sabiendo que R es completo, tenemos que B(M; R) es un
espacio completo. Luego, basta tomar como completacin el espacio (M) en
B(M; R), que es un cerrado contenido en un completo.
c ) y (M,
f ) dos completaciones de un espacio
Proposicin 7.13. Sean (M,
cM
f tal que = .
mtrico M. Entonces existe una nica isometra : M
Prueba:
Por la definicin de una completacin, : M (M) y
: M : (M) son isometras, estas definen la siguiente isometra: 1 :
(M) (M).
Figura 7.1: Dos completaciones cualesquiera son isomtricas.
c, para cada x M
c existe una sucesin (xn ) en
Como (M) es denso en M
(M) tal que lm xn = x; siendo convergente esta sucesin, es de Cauchy y
la sucesin de imgenes mediante la isometra 1 tambin lo es. Como
f y M
f es completo, existe lmn ( 1 )(xn ). A partir de esto,
(M) M
cM
f por
definimos : M
(x) = lm( 1 )(xn )
n
donde lm xn = x.
Si xn x y an x y = lmn ( 1 )(xn ) y = lmn ( 1 )(an )

entonces,
d(, ) = d(lm( 1 )(xn ), lm( 1 )(an ))

n
= lm d(( 1 )(xn ), ( 1 )(an ))

n
= lm d(xn , an )
n
= d(lm xn , lm an )
n
= d(x, x) = 0
esto prueba la buena definicin de .
7.4. EL TEOREMA DE BAIRE
107
Adems, es una isometra. En efecto, si (xn ) y (yn ) son sucesiones que

convergen a x y y respectivamente, entonces
d((x), (y)) = d(lm( 1 )(xn ), lm( 1 )(yn )

n
= lm d(( 1 )(xn ), ( 1 )(yn ))

n
= lm d(xn , yn )
n
= d(lm xn , lm yn )
n
= d(x, y)
esto concluye la prueba.
Ejemplo 93. Dos espacios homeomorfos pueden no tener completaciones

homeomorfas. Por ejemplo, el intervalo (0, 2), cuya completacin es [0, 2],
es homeomorfo a S1 \ {(0, 1)} (S1 es la circunferencia unitaria en R2 ), mas la
completacin de S1 \{(0, 1)} es S1 . El intervalo [0, 2] no puede ser homeomorfo
a S1 porque si existiese un homeomorfismo h entre ellos, la restriccin de este
homeomorfismo a [0, 2] \ {p} donde p es un punto interior del intervalo y
S1 \ {h(p)}, sera tambin un homeomorfismo; pero el primer conjunto tiene
dos componentes conexas mientras que el segundo solo una.

Ejemplo 94. Dados M y N espacios mtricos, la completacin del producto
cN
b,
cartesiano M N es el producto de sus respectivas completaciones: M
c yNN
b , como el producto de subespacios
ya que si asumimos que M M
densos es denso y el producto de espacios completos es completo, concluimos
cN
b.
que M N es denso en el espacio completo M
7.4.
El teorema de Baire
Comenzaremos la seccin considerando una clase de conjuntos pequeos

o insignificantes desde el punto de vista topolgico. Es una nocin anloga
a lo que es un conjunto de medida nula en Teora de la Medida. Una caracterstica necesaria de este tipo de conjuntos es que tengan interior vaco, pero
adems deben cumplir que la unin numerable de conjuntos insignificantes
lo sea tambin; a continuacin definimos formalmente tales conjuntos:
Definicin 73 (conjunto magro). Un subconjunto X de un espacio mtrico M
se dice que es un conjunto magro en M si se puede expresar como una unin
numerable de conjuntos que tienen el interior de su clausura vaca; es decir, X
es magro en M si X =
n=1 Xn donde para todo n N, int Xn = .
Equivalentemente, X es magro en M si, y slo si, X est contenido en
una unin numerable de cerrados con interior vaco. X
i=1 Cn donde
C1 , . . . , Cn , . . . son cerrados con int Cn = , para todo n N.
108
No siempre es cierto, sin embargo, que todo conjunto magro X de M tenga

interior vaco en M. Por ejemplo, cualquier subconjunto X Q es magro, ya
que es la unin numerable de sus subconjuntos unitarios, los cuales tienen
interior vaco en Q pero X puede no tener interior vaco en Q. Esto tiene
lugar porque Q no es completo, como se ver ms abajo en el Teorema de
Baire. De esta forma en los espacios completos, los conjuntos , magros poseen
las caractersticas de un conjunto insignificante.
Ejemplo 95. Un conjunto unitario en un espacio mtrico tiene interior vaco
si, y slo si, su nico punto no es aislado. En consecuencia, un subconjunto
numerable de M es magro si, y slo si, ninguno de sus puntos es aislado.
Una recta en R2 es un conjunto magro; mas an, cualquier unin numerable
de rectas es magro en R2 . Ms adelante veremos que R no es magro.

Como sabemos, un conjunto tiene interior vaco en un espacio mtrico
si y slo si, su complemento es denso en M. De esta forma, un conjunto es
cerrado con interior vaco si, y slo si, su complemento es abierto y denso en
M. Por lo tanto, int X es vaco si, y slo si, X est contenido en un conjunto
cerrado con interior vaco de all se desprende que su complemento contiene
un conjunto abierto y denso, esto ultimo ocurre si, y slo si, int(M \ X) es
denso.
En ciertos textos de topologa y anlisis un conjunto magro es llamado
conjunto de primera categora o de Categora I y un conjunto que no es magro
es llamado conjunto de segunda categora o de Categora II. .
Ejemplo 96. La frontera de un conjunto abierto A M es un ejemplo
de un conjunto cerrado con interior vaco. En efecto, si x A entonces
toda bola de centro en x posee puntos de A y, como A A = , ningn
punto de A puede estar en la frontera de A; por lo tanto, ninguna bola de
centro en x puede estar contenida en A. As, A tiene interior vaco. Como
A = (M \ A), se concluye tambin, que la frontera de cualquier conjunto
cerrado tiene interior vaco. Si un conjunto no es ni abierto ni cerrado, su
frontera puede no tener interior vaco. Por ejemplo, Q = R.

Ejemplo 97 (El conjunto de Cantor2 ). El conjunto de Cantor C es un subconjunto cerrado del intervalo [0, 1], obtenido mediante una sucesiva extraccin
de subintervalos abiertos de [0, 1], del siguiente modo: en la etapa cero tenemos el intervalo [0, 1]; en la etapa uno se extrae el tercio central del intervalo
de la etapa cero, ( 31 , 32 ), resultando dos intervalos cerrados [0, 31 ] y [ 32 , 1]; en
la etapa dos se extraen cada uno de los tercios centrales de los intervalos
resultantes de la etapa uno, resultando los cuatro intervalos:

2 1
2 7
8
1
,
,
,1
0,
9
9 3
3 9
9
2 Georg Ferdinand Ludwig Philipp Cantor (1845 - 1918) fue un matemtico alemn, inventor
con Dedekind y Frege de la teora de conjuntos, que es la base de las matemticas modernas.
Gracias a sus atrevidas investigaciones sobre los conjuntos infinitos fue el primero capaz de
formalizar la nocin de infinito bajo la forma de los nmeros transfinitos (cardinales y ordinales).
109
En la siguiente etapa se extraen los tercios centrales de cada uno de los

cuatro intervalos resultantes de la etapa dos. Este procedimiento se repite
ad-infinitum y el conjunto de puntos que no fueron extrados en el proceso,
es el conjunto de Cantor C . Si denotamos por I1 , I2 , I3 , . . . , In , . . . la sucesin
Figura 7.2: Algunas etapas de la construccin del conjunto de Cantor

de intervalos extrados en el proceso de construccin del conjunto de Cantor,
tendremos que
[
In .
C = [0, 1] \
n=1
Luego C es cerrado en [0, 1] y por tanto, cerrado en R. Ntese que los puntos extremos de los intervalos extrados, como 1/3, 2/3, 1/9, 2/9, 7/9, 8/9, etc,
pertenecen al conjunto de Cantor pues stos son extremos de los intervalos
resultantes en cierta etapa y en las sucesivas etapas se extraen tercios centrales de esos intervalos, es decir, los puntos extremos quedan en el conjunto
luego de todas las extracciones.
El conjunto de extremos de todos los intervalos es un subconjunto de
[0, 1] Q y por tanto, forman un conjunto numerable. Veremos ms adelante
sin embargo, que C no es numerable. Por lo pronto, notemos solamente que
C no contiene ningn intervalo abierto y por tanto int C = . En efecto, en
la etapa n-sima de la construccin de C resulta una coleccin finita (2n )
de intervalos cerrados cada uno de longitud 31n . Por tanto, si J es cualquier
intervalo abierto contenido en [0, 1] de longitud > 0, y consideramos un
n N tal que 1/3n < , al menos a partir de la etapa n, se extraen partes de
J y de esta forma, J no est contenido en C . Luego, el conjunto de Cantor en
un cerrado con interior vaco y por lo tanto es un conjunto magro en R.
Proposicin 7.14. Un espacio mtrico M es completo si, y slo si, para toda
sucesin decreciente C1 C2 Cn de subconjuntos cerrados no
vacos Cn M, con diam Cn 0, existe un punto a M tal que
n=1
Cn = {a}.
110
Prueba:
(slo si) Supongamos que M es completo y (Cn ) una sucesin de conjuntos
como la del enunciado. Para cada n N, escojamos un punto xn Cn . Esto
define una sucesin en M tal que m, n n0 xn , xm Cn0 . Por hiptesis,
dado > 0 existe n0 N a partir del cual diam(Cn ) < , entonces dado
> 0, existe n0 N tal que n, m n0 d(xm , xn ) < , y por tanto, (xn )
es una sucesin de Cauchy en M, como M es completo, sea lm xn = a M.
Para cualquier p N la subsucesin (xn )np es una sucesin en Cn que, por
ser cerrado, contiene a a; de esta forma se concluye que a Cn . No puede
haber otro punto b distinto de a en dicha interseccin, pues esto implicara
que 0 < d(a, b) diam(Cn ) que contradice la condicin de los dimetros.
(si) Sea M un espacio para el cual la interseccin de toda sucesin decreciente
de conjuntos cerrados no vacos, cuyos dimetros tiendan a cero, es un punto.
Veamos que tal M es completo. Consideremos cualquier sucesin de Cauchy
(xn ) en M. Para cada n N, hagamos Xn = {xn , xn+1 , . . . }. Entonces, X1
X2 Xn y por lo tanto, (Xn ) es una sucesin decreciente de
cerrados no vacos. Adems de eso, como consecuencia de ser (xn ) de Cauchy,
diam(Xn ) = diam(Xn ) 0. Luego, existe a M tal que Xn = {a}. Como
a es punto adherente de Xn para todo n N, toda bola abierta de centro
a contiene trminos xn con ndices arbitrariamente grandes, o sea, a es el
lmite de una subsucesin de (xn ). Como (xn ) es una sucesin de Cauchy,
a = lm xn (ver proposicin 7.3, pgina 102). Luego, M es completo.

Ejemplo 98. En la proposicin anterior, es imprescindible que diam(Cn ) 0,
ya que por ejemplo, si Cn = [n, +) tenemos C1 C2 pero Cn = .

El resultado principal de esta seccin y uno de los ms fuertes en teora
de conjuntos, es el siguiente:
Proposicin 7.15 (Teorema de Baire3 ). Sea M un espacio mtrico completo. Todo conjunto magro en M tiene interior vaco4 . Equivalentemente, si
[
Cn , donde cada Cn es cerrado en M con interior vaco, entonces
C=
n=1
int C = . O en otras palabras: toda interseccin numerable de abiertos densos

es un subconjunto denso en M.
Prueba:
Se probar la tercera forma de expresar el teorema. Consideremos una sucesin A1 , A2 , . . . , An , . . . de subconjuntos
abiertos y densos en el
T
espacio mtrico completo M. Se quiere mostrar que n=1 An es denso en M,
esto es, toda bola abierta B1 en M contiene algn punto de A. Ahora bien,
3 Ren-Louis Baire (1874-1932), fue un matemtico francs notable por sus trabajos sobre
continuidad de funciones, los nmeros irracionales y el concepto de lmite.
4 Tambin se puede expresar de la siguiente forma: Un espacio mtrico completo es de Categora
II o no es magro en s mismo.
111
como A1 es abierto y denso, B1 A1 es abierto y no vaco, luego contiene

una bola abierta B2 , cuyo radio podemos tomarlo menor o igual que 1/2 y
adecuado de tal forma que su clausura est contenida en B1 A1 . As mismo,
siendo A2 abierto y denso, A2 B2 es abierto y no vaco. Luego existe una
bola abierta B3 con radio menor o igual a 1/3 y escogido adecuadamente
tal que B3 A2 B2 . Prosiguiendo en esta forma, obtenemos una sucesin
B1 B2 Bn , con Bn+1 Bn An y tales que diam(Bn ) 0.
Por la proposicin 7.14 anterior, existe a M tal que {a} = Bn . La relacin
Bn+1 Bn An demuestra que a pertenece a todos los An y tambin a B1 .
Es decir, a A B1 , como se quera demostrar.
Ejemplo 99. Como dos espacios homeomorfos pueden ser uno completo y
el otro no, cabe preguntarse si dado un espacio mtrico (M, d) bajo qu
condiciones existe otra mtrica d1 equivalente a la d, segn la cual el espacio
M sea completo. Por ejemplo en R el intervalo (1, 1) no es completo porque
no es cerrado en R, pero h : (1, 1) R definida por h(x) = 1/(1 + |x| es un
homeomorfismo sobre un espacio completo. Si d1 es la mtrica inducida por
h: d1 (x, y) := |h(x) h(y)|, sta es equivalente a d y torna a M completo.
Un espacio que sea homeomorfo a un espacio mtrico completo, se dice
que es topolgicamente completo
Proposicin 7.16. Todo subconjunto abierto de un espacio mtrico completo
es homeomorfo a un espacio mtrico completo.
Prueba:
Sea A M un conjunto abierto en el espacio mtrico M.
Entonces, M \ A es cerrado. La funcin : M R definida por (x) =
d(x, M \ A) es continua (ver proposicin 2.3, pgina 30) y es tal que (x) >
0 x A. Se sigue que si f : A R se define por f(x) = 1/(x), entonces f
es continua. Sea G el grfico de f, entonces G = graf(f) A R M R.
Ahora bien,
G = {(x, t) A R : x A t = 1/(x)} = {(x, t) A R : t (x) = 1}

el cual es cerrado ya que la funcin g : A R R que aplica el par
(x, t) en g(x, t) = t (x), es continua en vista de la siguiente composicin:
g = m ( 1 , 2 ) (ver la prueba de la proposicin 3.5 pgina 40) y as,
G = g1 ({1}) es cerrado. Como M R es completo, concluimos que G es
completo y como se vio en el ejemplo 64 en la pgina 76, el dominio de una
funcin continua es homeomorfo a su grfico, lo que demuestra el teorema.
Observe que la mtrica que hace que el conjunto A sea completo, en la

demostracin anterior, es la inducida a partir de M R mediante la funcin
(I, f), donde I es la identidad en A; esto es: dados x, y A,
d1 (x, y) = d((I, f)(x), (I, f)(y)) = d[(x, f(x)), (y, f(y))] = d(x, y) + |f(x) f(y)| .
Por otra parte, si M es un espacio topolgicamente completo, es decir,
homeomorfo a un espacio completo, se puede aplicar el teorema de Baire, ya
112
que si M = Cn donde cada Cn es cerrado, va el homeomorfismo entre M

y un espacio completo, la imagen de cada Cn es cerrado en dicho espacio,
aplicando Baire a ese espacio completo, se concluye que la imagen de algn
Cn tiene tiene interior no vaco; y as, va el homeomorfismo nuevamente,
algn Cn tiene interior no vaco.
Proposicin 7.17. Sea M un espacio mtrico completo. Si M =
cada Cn es un subconjunto cerrado de M, entonces A =
Cn , donde
n=1
int Cn es un abierto
n=1
y denso en M.
Prueba:
Sea U un abierto no vaco de M. Para probar que A es denso,
basta probar que U A =
/ , es decir que existe n N tal que U int Cn =
/ .
[
(U Cn ), donde cada (U Cn ) es cerrado en U. Como se
Ahora bien, U =
n=1
observ arriba, se puede aplicar el teorema de Baire a U y entonces existe n

N tal que int(UCn ) =
/ (en este caso, como U es abierto, el interior respecto
a U coincide con el interior respecto a M); pero int(U Cn ) (U Cn ) y as
(U Cn ) =
/ como se quera demostrar.
Ejemplo
S 100. Si M es un espacio mtrico completo numerable, entonces
M = aM {a} es una uninSnumerable de conjuntos cerrados en M. Por
la proposicin 7.17 anterior, aM int{a} es denso (y adems abierto). Los
conjuntos unitarios que no tienen interior vaco son los correspondientes a
puntos aislados. As, podemos concluir que
En un espacio completo y numerable, el conjunto de puntos aislados
es abierto y denso.
En particular, todo conjunto cerrado infinito numerable del espacio Rn contiene una infinidad de puntos aislados. Esto es una demostracin de que R
no es numerable, ya que no tiene puntos aislados.

Ejemplo 101. El Teorema de Baire se puede utilizar para probar que el
conjunto de Cantor C , no es numerable.. Como ya hemos visto, C es cerrado
en R, por el ejemplo 100 anterior, basta probar que en C ninguno de sus
puntos es aislado. En efecto, supongamos primero que x C sea un extremo
de algn intervalo extrado o suprimido de [0, 1] durante la construccin del
conjunto de Cantor. Digamos que (x, b) es el intervalo extrado, entonces en
esa etapa uno de los intervalos resultantes sera de la forma [a, x]. En las
etapas subsiguientes de la construccin, al retirar tercios centrales, siempre
resulta un intervalo de la forma [an , x] donde para todo n N an C . Como
la longitud de los intervalos resultantes en cada etapa es una sucesin que
tiende a cero, concluimos que an x y por tanto, x no es un punto aislado.
Supongamos ahora que x no es un punto extremo de ningn intervalo
extrado durante la construccin de C . Dado > 0 no es posible que (x, x +
113
) C = ya que en tal caso, el intervalo (x, x + ) sera suprimido en el

proceso. En el momento en que una parte del intervalo (x, x+) sea suprimida,
no restara nada ms del intervalo porque los extremos de los intervalos
suprimidos, permanece en las siguiente etapas. Como x permaneci, se sigue
de (x, x + ) C = que el intervalo suprimido fue de la forma:(x, b), pero x
no es extremo de ningn intervalo retirado. Luego, (x, x+)C =
/ para todo
> 0, por lo tanto, x no es aislado en C . Se sigue que C no es numerable.
114
7.5.
1
Problemario No 7
P
Sea
an una serie convergente de nmeros reales positivos. Si una
sucesin en un espacio mtrico es tal que d(xn , xn+1 ) an para todo n,
entonces (xn ) es una sucesin de Cauchy.
Dada la sucesin (xn ) en el espacio mtrico M, considere la sucesin

de funciones fn : N R, dadas por fn (p) = d(xn , xn+p ). Demuestre
que la sucesin (xn ) es de Cauchy si, y slo si, fn 0 uniformemente. Considerando la serie armnica, muestre que la condicin fn 0
puntualmente no basta para que (xn ) sea de Cauchy.
Si M1 , . . . , Mn N son completos entonces M1 Mn es completo.
Sea (M )L una familia arbitraria

T de subespacios completos de un espacio mtrico N. Entonces, M = L M es un espacio mtrico completo.
Si existe un conjunto X tal que el espacio B(X; M) sea completo, entonces

el espacio mtrico M es completo.
Sea f : M N continua, tal que existe c > 0 que cumple d(f(x), f(y)) c
d(x, y) para cualesquiera x, y M. Muestre que f transforma subespacios
completos de M en subespacios completos de N. En particular, si M es
completo, entonces f es una funcin cerrada.
Sea M un espacio mtrico y X M. Demuestre que la completacin de

X contiene un subespacio isomtrico a la clausura de X en M.
Q
Una completacin del producto cartesiano i=1 Mi es el producto carteQ c
c
siano i=1 M
i de las completaciones Mi de Mi .
Pruebe que int(S) = en un espacio mtrico M si, y slo si, todo

conjunto abierto no vaco contiene un abierto no vaco disjunto de S.
10
Si la clausura de S tiene interior vaco, lo mismo ocurre con (S).
11
Sean X Y M. Si X es magro en Y entonces X es magro en M.
12
Sea M un espacio mtrico completo. Si para cada n N, Xn Tes una

interseccin numerable de abiertos densos en M entonces X = Xn es
denso en M.
Captulo 8
Espacios compactos
8.1.
Teoremas de Bolzano-Weierstrass
y de Borel-Lebesgue
Los siguientes teoremas son resultados clsicos que se estudian en los

cursos de anlisis y estn relacionados con la topologa de R y el concepto
de conjunto compacto.
Teorema 8.1 (Bolzano-Weierstrass).
Todo subconjunto infinito y acotado X R posee un punto de acumulacin.
Prueba:
Sea X un subconjunto infinito y acotado de R. Como X es
acotado, existen reales a y b tales que X [a, b]. Consideramos el conjunto
D = {c R : X (c, +) es infinito }. Observemos que a D y adems b es
una cota superior del conjunto D, de esta forma se puede invocar el axioma
del supremo para asegurar que existe S = sup D. Veamos que S es un punto
de acumulacin de X; en efecto, dado > 0 arbitrario, por caracterizacin
de supremo, existe c D tal que S < c S; as, existe una infinidad de
puntos de X mayores que S . Pero como S + no pertenece a D, no hay
una infinidad de puntos de X mayores que S + . En conclusin, para todo
> 0, el conjunto (S , S + ) X es infinito, lo que implica que S es un
punto de acumulacin de X.

Teorema 8.2 (tambin se le conoce como Bolzano-Weierstrass).
Toda sucesin acotada de nmeros reales posee una subsucesin convergente.
Prueba:
Sea (xn ) una sucesin acotada de nmeros reales. Entonces,
existe un intervalo cerrado y acotado [a, b] tal que para todo n N xn [a, b].
Hacemos Xn = {xn , xn+1 , . . . }, entonces [a, b] X1 X2 Xn .
Como cada Xn es acotado y no vaco posee tanto supremo como nfimo, sea
n = nf Xn por las inclusiones ya vistas arriba y las propiedades de nfimo,
se tiene que 1 2 n b; de esta forma la sucesin de
115
116
CAPTULO 8. ESPACIOS COMPACTOS
nmeros reales (n ) es creciente y acotada superiormente, por lo que existe

= lm n = sup n . Veamos ahora que es el lmite de alguna subsucesin
de (xn ). En efecto, como es el supremo de los n , dado > 0 arbitrario
y n1 N existe n0 N con n0 > n1 tal que < n0 < + . Por
definicin n0 = nf Xn0 , por lo que existe n > n0 tal que n0 xn < + .
En conclusin, dado > 0 y n1 N, existe n > n1 tal que xn ( , + ),
o lo que es equivalente, toda bola abierta de centro contiene trminos xn
de la sucesin para ndices arbitrariamente grandes.

Teorema 8.3 (Borel-Lebesgue).
Dado [a, b] un intervalo cerrado y acotado en R y una familia (numerable
S
o no numerable) de subconjuntos abiertos {A }L tales que [a, b] L A .
Entonces existen 1 , 2 , . . . , n L tales que [a, b] A1 A2 An .
Prueba:
Dada una familia de abiertos {A }L como en la hiptesis,
consideremos el subconjunto X de [a, b] formado por los puntos x tales que
existen 1 , . . . , n L que verifican que [a, b] A1 An . El conjunto
X es no vaco pues al menos a X; pero an ms, el extremo a pertenece
a algn A y siendo abierto, existe r > 0 tal que [a, a + r) A y en
consecuencia, [a, a + r) X. Pero observe que si x X, para todo t con
a t < x, se tiene que t X. De lo anterior se deduce que X es un intervalo
de la forma [a, s) [a, s] donde s = sup X. Veamos que se cumple el segundo
caso. Como X [a, b], s [a, b] y as existe 0 L tal que s A0 . Ya que
A0 es abierto, existe > 0 tal que la bola abierta (s , s + ) A0 . Por la
caracterizacin de supremo, existe x X tal que s < x s. Pero entonces,
por la definicin del conjunto X, [a, x] A1 An , y en consecuencia
concluimos que [a, s] A1 An A0 . De esta manera, s X. Pero
utilizando el mismo argumento anterior vemos que tiene que ser s = b porque
si s < b tomando el anterior tal que s + < b se tendra que (s, s + ) X
lo que contradice que s es el supremo de X. Luego, X = [a, b] lo que prueba
el teorema.

Una versin ms fuerte de este teorema se enuncia considerando un subconjunto de R cerrado y acotado, en lugar de un intervalo cerrado y acotado.
Veremos posteriormente que estas propiedades referidas en estos teoremas
son equivalentes y se relacionan con el tema que nos ocupa en este captulo.
Teorema 8.4 (Forma general del teorema de Borel-Lebesgue).
Sea C un subconjunto cerrado
S y acotado de R. Dada cualquier familia de
abiertos {A }L tales que C L A , se puede extraer una subfamilia finita
{A1 , . . . , An }, cuya unin tambin contenga a C.
Prueba:
Por hiptesis C es un conjunto acotado por lo tanto, existen
a, b R tales que C [a, b]. Por otra parte, como C es cerrado,

S haciendo
A0 = R \ C, tenemos que A0 es abierto y adems [a, b]
L A
A0 . Por el teorema anterior (teorema 8.3), existen 1 , . . . , n L tales que
[a, b] A1 An A0 . Pero A0 no contiene puntos de C de modo que

C A1 An que era lo que queramos demostrar.
8.2. ESPACIOS MTRICOS COMPACTOS
8.2.
117
Espacios mtricos compactos
En esta seccin se estudiar la propiedad de ser compacto para un espacio o un conjunto. Como veremos ms adelante, la condicin de un espacio
ser compacto o su compacidad tiene que ver con el hecho de que cualquier
sucesin de un espacio compacto tiene alguna subsucesin convergente, propiedad que verifican los conjuntos finitos. Esta nocin de compacidad es
llamada compacidad secuencial, existe una definicin ms general basada en
cubrimientos mediante conjuntos abiertos que veremos a continuacin.
Definicin 74 (cubrimiento). Sea X un subconjunto de un espacio mtrico M.
Un cubrimiento
de X es una familia C = {C }L de subconjuntos de M tal
S
que X L C .
S
Si existe un subconjunto de ndices L de L tales que X L C , se dice
que la subfamilia C = {C }L es un subcubrimiento de C . Cuando L es un
subconjunto propio de LS
, se dice que C es un subcubrimiento propio de C .
Un cubrimiento X L A se dice que es abierto cuando cada conjunto
A con L, es abierto S
en M.
Un cubrimiento X L se dice que es finito cuando L es un conjunto
finito.
En diversas demostraciones clsicas relativas a propiedades de la recta
real se hace uso del hecho de que un conjunto infinito, como lo es una sucesin, en un intervalo cerrado y acotado [a, b], posee un punto de acumulacin,
o en el caso de sucesiones, una subsucesin convergente. Esta propiedad fue
la que defini en un principio a la compacidad, posteriormente se formul
una definicin en trminos ms generales y dbiles para extenderla a espacios
topolgicos utilizando la terminologa de los cubrimientos abiertos.
Definicin 75 (compacto). Un espacio mtrico M se llama compacto si todo

cubrimiento abierto de M posee un subcubrimiento finito. Un subconjunto K
de un espacio mtrico se dice que es compacto cuando K como subespacio es
compacto.
S
Que un espacio mtrico M sea compacto significa que, si M = L A
donde cada A abierto en M, entonces existen 1 , . . . , n L tales que M =
A1 An .
Dado que la definicin de compacto se apoya en los conjuntos abiertos
del espacio, se sigue que la compacidad es una propiedad topolgica: esto es,
si M y N son homeomorfos, entonces M es compacto si y slo si N tambin
lo es. As mismo, esta definicin se aplica para los espacios topolgicos.
Ejemplo 102. De acuerdo con el Teorema de Borel-Lebesgue (Teorema 8.4),
todo subconjunto cerrado y acotado de R es compacto. Como ejemplo de esto
tenemos que el conjunto de Cantor es compacto (ver ejemplo 97).

Ejemplo 103. Todo espacio mtrico finito es compacto pues todo cubrimiento
tiene una cantidad finita de conjuntos distintos. Por otra parte, si M es un
118
espacio discreto e infinito, la coleccin de los conjuntos unitarios constituye

un cubrimiento abierto que no posee un subcubrimiento propio y por tanto,
no posee un subcubrimiento finito y as M no es compacto.
Tampoco es compacto un intervalo abierto (a, b) de R. En efecto, existe
un n0 N tal que para n n0 se tiene que a + n1 < b n1 ; Haciendo An =
(a + n1 , b n1 ) para n n0 . As (a, b) = nn0 An pero la unin de cualquier
subcubrimiento finito es el An de ndice ms grande en el subcubrimiento y
por tanto no es igual a (a, b).

Ejemplo 104. Sean K y L subconjuntos compactos en un espacio mtrico
M. La unin K L es un conjunto compacto.
En efecto, consideremos un
S
cubrimiento abierto de esa unin K L A . Tal cubrimiento es tambin
cubrimiento tanto de K como de L; siendo ambos compactos, existen 1 , . . . , n
y n+1 , . . . , n+p tales que L A1 An y K An+1 An+p ,
entonces
K L A1 An An+1 An+p .

Observemos
que para una familia de conjuntos abiertos {A }L tal que
S
M = L A , el complemento de la unin es vaco y es la interseccin de
los complementos de cada A que son conjuntos cerrados.
En este orden de ideas, un espacio mtrico M es compacto si, y slo si,
toda familia {C }L de conjuntos cerrados con interseccin vaca posee una
subfamilia finita con interseccin vaca: C1 Cn .
Definicin 76 (Propiedad de la interseccin Finita). Una familia de conjuntos
{F }L se dice que tiene la Propiedad de la interseccin finita cuando para
/
cualquier subconjunto finito {1 , . . . , n } de L, se tiene que F1 Fn =
Todo lo anterior da lugar a la siguiente caracterizacin de compacidad:
Proposicin 8.5. Una condicin necesaria y suficiente para que un espacio
mtrico M sea compacto es que si {F }L es
T una familia de cerrados con la
propiedad de la interseccin finita, entonces L F =
/ .
Un ejemplo de una familia con la propiedad de la interseccin finita es

una sucesin decreciente (encajada) deTsubconjuntos cerrados no vacos de
M. Si M es compacto esto implica que i=1 Fn =

/ .
Teorema 8.6 (Teorema de Dini). Si una sucesin de funciones reales y continuas fn : M R, definidas en un espacio mtrico compacto M, converge
puntualmente a una funcin continua f : M R y, adems de esto, se tiene que
f1 (x) f2 (x) fn (x) para todo x M, entonces la convergencia
fn f es uniforme en M.
Prueba:
Dado > 0, se define, para cada n N, el conjunto:
119
Fn = {x M : |fn (x) f(x)| }.
Entonces por la hiptesis fn (x) f(x) para todo n N y todo x M,

as si x Fn+1 , f(x) fn (x) f(x) fn+1 (x) = |fn+1 (x) f(x)| , por tanto
x Fn , en consecuencia, F1 F2 Fn . y adems cada Fn es
cerrado en M. Se quiere probar que existe n0 N tal que Fn0 = , ya que
esto implica que n n0 |fn (x) f(x)| < para todo x M.TAhora bien,
como lmn fn (x) = f(x) para todo x M, se concluye que n=1 Fn =/ .

Siendo M compacto, se tiene que Fn = para algn n N.

Proposicin 8.7. Todo subconjunto cerrado de un espacio mtrico compacto
es compacto. Recprocamente, un subconjunto compacto en cualquier espacio
mtrico es cerrado.
Prueba:
Sea M un espacio mtrico compacto
S y C M un conjunto
cerrado. Dado un cubrimiento
abierto
de
C
,
C
A , obtenemos un cubriS
miento abierto de M = ( A ) (M \ C). Como M es compacto, es posible
extraer un subcubrimiento finito:
M = A1 An (M \ C)
Ya que ningn punto de C pertenece a M \ C, se concluye que C A1
An . Luego, C es compacto.
Recprocamente, sea K M un subconjunto compacto de M. Suponer que
K no es cerrado nos lleva a la existencia de un punto p M tal que p K \ K.
Para cada n N, se define
An = M \ B[p; 1/n]
Los An forman un cubrimiento abierto de M, en efecto, por la teora de
conjuntos,
[
\
An = M \ B[p; 1/n] = M \ {p} K
n
Por otra parte, los An forman una sucesin creciente de conjuntos, A1

A2 ; por tanto, la unin de una coleccin finita de ellos es el conjunto
con mayor ndice. Pero p K as que toda bola B[b; 1/n] intersecta a K es
decir su complemento An no contiene al conjunto K. Luego, el cubrimiento
abierto K n An , no posee ningn subcubrimiento finito. Esto contradice la
compacidad de K, lo que completa la demostracin.

Corolario 8.8. Toda interseccin de compactos en un espacio mtrico, es
compacta.
Prueba:
Sean {K } una coleccin de conjuntos compactos en M. Ya
que cada K es cerrado en M, la interseccin K = K es cerrada en M y
por tanto, es cerrada en cada K ; as, es compacta.

Corolario 8.9. Todo espacio mtrico compacto es completo.
120
c una completacin de M, entonces M

Prueba:
Si M es compacto y M
c, el cual, por consiguiente, es
es isomtrico a un subconjunto denso de M
c
tambin compacto y por tanto cerrado en M (Proposicin 8.7). De lo anterior,
c y as, M es completo.
se deduce que M es isomtrico a M

Si (M, d) es compacto, entonces M es completo respecto a cualquier otra
mtrica equivalente ya que si d d , entonces (M, d) es homeomorfo a
(M, d ), as (M, d ) es compacto y por lo tanto, completo.
Proposicin 8.10. Todo espacio mtrico compacto es acotado.
Prueba:
Dado M un espacio mtrico compacto, consideramos el siguiente cubrimiento abierto de M:
[
M=
B(x; 1);
xM
del cual se extrae un subcubrimiento finito
M = B(x1 ; 1) B(xn ; 1);

luego, M es acotado.

De acuerdo a la Proposicin 8.7 y a la proposicin 8.10, un conjunto compacto en cualquier espacio mtrico es cerrado y acotado. El recproco es vlido
en R, esto es lo que afirma el Teorema de Borel-Lebesgue (Teorema 8.3). Tambin es vlido en Rn como se probar ms adelante. Pero esto no es cierto
en todo espacio mtrico, como se evidencia en el siguiente ejemplo:
Ejemplo 105. Consideremos el espacio 2 constituido por todas las sucesiones sumables al cuadrado, es decir, las sucesiones (x1 , x2 , x3 , . . . ) tales que
P
x2i < .
As por ejemplo, para x = (1, 21 , 41 , 81 , ), y = (1, 21 , 31 , ) y z = (1, 12 , 13 , ),
P 1
P 1
P 1
< y
< mas z
/ 2 pues
se tiene que x, y 2 ya que
n
22n
n2
diverge a infinito.
En este espacio se define la funcin kk2 : 2 R por
kxk2 =
x2i
i=1
! 21
P
Veamos que para x = (xi ), y = (yi ) 2 ,
xi yi < . Por la desigualdad
de Cauchy-Schwarz (Lema 2.1, pgina 23), para cada n N
n
X
i=1
|xi yi | =
n
X
i=1
|xi | |yi |
n
X
i=1
x2i
! 21
n
X
i=1
y2i
! 21
kxk2 kyk2 .
Esto muestra P
que las sumas parciales estn acotadas superiormente y en
consecuencia, i=1 xi yi es absolutamente convergente.
121
De esta forma, para x, y 2 como arriba se tiene que:

n
X
(xi + yi ) =
i=1
Haciendo n , se tiene que
X
i=1
n
X
i=1
x2i
n
X
y2i
+2
i=1
i=1
(xi + yi )2 = kxk2 + kyk2 + 2
n
X
X
i=1
xi yi .
xi yi < .
Esto prueba que la operacin suma es cerrada en 2 . As mismo, si R,

x pertenece a 2 . Este hecho dota a 2 de estructura de espacio vectorial y
adems kk2 es una norma para el mismo que le da la estructura de espacio
mtrico. P
Ms an, dicha norma proviene del producto interno definido por:
hx, yi = i=1 xi yi ; que como se vio arriba es una serie convergente.

Observacin: el espacio 2 con la norma kk2 es completo, esto se resume
diciendo que es un espacio de Hilbert; es decir, un espacio vectorial con
producto interno que es completo segn la norma que ste define.
Por otra parte, en 2 denotamos por en al vector unitario (0, . . . , 0, 1, 0, . . . ).
El conjunto X = {e1 , e2 , . . . , en , . . . } es acotado por ser subconjunto de la
esfera de centro 0 = (0, 0, . . . ) y radio 1. Por otra parte, como |em en | = 2
cuando m =
/ n, X es uniformemente discreto por tanto, es completo (ver ejemplo 92, pgina 103), de esta forma es cerrado en 2 . Pero siendo discreto e
infinito, no puede ser compacto.

Proposicin 8.11. La imagen de un conjunto compacto mediante una funcin
continua, es un conjunto compacto.
Prueba:
Sea f : M N una funcin continua
y K M un conjunto
S
compacto. Dado un cubrimiento abierto f(K) L A , obtenemos un cuS
brimiento abierto K L f1 (A ); del cual, por compacidad, extraemos un
subcubrimiento finito K f1 (A1 ) f1 (An ). Entonces,

f(K) f f1 (A1 ) f1 (An ) A1 An .
Luego, f(K) es compacto.
Corolario 8.12. Si M es un espacio mtrico compacto, toda funcin continua

f : M N es cerrada; esto es, si C M es un conjunto cerrado, entonces f(C)
es cerrado en N.
Prueba:
Si C es cerrado en M, entonces C es compacto; por el Teorema 8.11 anterior, f(C) es compacto y por tanto cerrado en N.

Corolario 8.13. Si M es un espacio mtrico compacto, toda biyeccin continua
f : M N es un homeomorfismo.
122
Prueba:
Como f es biyectiva existe su inversa g : N M, por el
Corolario 8.12 anterior, f es cerrada, luego dado un conjunto cerrado C en
M, g1 (C) = f(C) es cerrado en N. As g es continua.

Corolario 8.14. Si M es un espacio mtrico compacto, toda funcin continua
f : M N es acotada.
Prueba:
Siendo f(M) compacto es acotado.
Ejemplo 106. La esfera unitaria en R2 , S1 = {(x, y) R2 : x2 + y2 = 1},

es compacta ya que es imagen mediante la funcin f : [a, b] R2 dada por
f(t) = (cos(t), sen(t)), del intervalo compacto [a, b] con b a > 2

Proposicin 8.15 (Weierstrass). Si M es compacto toda funcin continua a
valores reales f : M R es acotada y alcanza sus valores mximo y mnimo
en M. Ms precisamente, existen x0 , x1 M tales que
f(x0 ) f(x) f(x1 )
para todo x M.
Prueba:
La imagen f(M) es un subconjunto compacto de R y es por
tanto, cerrado, acotado y no vaco. Existen entonces = nf f(M) y =
sup f(M) que, como sabemos, son puntos adherentes de f(M), como ste
conjunto es cerrado, , f(M); luego, existen x0 , x1 M tales que f(x0 ) =
f(x) = f(x1 ) para todo x M.

Corolario 8.16. Sea M compacto y f : M R continua tal que f(x) > 0 para
todo x M. Entonces existe c > 0 tal que f(x) c para todo x M.
Prueba:
Basta tomar c = nf f(M) = f(x0 ) > 0.
Ejemplo 107. Observe que en el corolario anterior si el dominio no es

compacto, el nfimo de la imagen pudiera ser nulo. Por ejemplo, si f : R R
1
se define como f(x) = 1+x
2 , entonces f es continua y f(x) > 0 (x R); pero
para todo c > 0 existe x R tal que f(x) < c. Esto se tiene porque R no es
compacto.
8.3.
Caracterizaciones de espacios compactos
En una poca el teorema de Borel-Lebegue (Teorema 8.3) se demostraba

mediante un mtodo de bisecciones sucesivas:
Si [a, b] A es un cubrimiento que no tiene un subcubrimiento finito,
dividiendo [a, b] en dos partes iguales, al menos una de las partes que denotaremos por [a1 , b1 ] es tal que el cubrimiento [a1 , b1 ] A no admite un
subcubrimiento finito. Prosiguiendo de esta forma, se obtiene una sucesin
de intervalos cerrados:
[a, b] [a1 , b1 ] [a2 , b2 ]
8.3. CARACTERIZACIONES DE ESPACIOS COMPACTOS
123
y tales que para todo n N el cucon diam([an , bn ]) = bn an = ba

2n
brimiento abierto [an , bn ] A no admite un subcubrimiento
finito. Por
T
la Proposicin 7.14 (pgina 109), existe c [a, b] tal que i=1 [an , bn ] = {c}.
Pero c pertenece a algn A . Como A es abierto, para todo n suficientemente grande, c [an , bn ] A , pero esto contradice que todos los intervalos
[an , bn ] no pueden ser cubiertos por un subcubrimiento finito de los A .
El argumento anterior dio origen al concepto de espacio mtrico totalmente acotado.
Definicin 77 (totalmente acotado). Un espacio mtrico M se dice que es
totalmente acotado si para todo > 0 existe una descomposicin M =
X1 Xn , de M como unin finita de conjuntos con dimetro menor que .
Para que M sea totalmente acotado es necesario y suficiente que para todo
> 0 sea posible escribir M = B(x1 ; ) B(xn ; ) como una unin finita
de bolas abiertas de radio . En efecto, si M es totalmente acotado cada Xi
con dimetro menor que est contenido en una bola abierta de centro en
alguno de sus puntos y radio . Recprocamente, una bola abierta de radio
/3 tiene dimetro menor que , de esta forma si se cumple la condicin,
entonces M es totalmente acotado.
Desde otro punto de vista, se puede decir que un espacio M es totalmente
acotado si y slo si, existe una coleccin finita {x1 , . . . , xn } de puntos de M
tales que todo punto de M esta a una distancia menor que de alguno de
los xi .
Evidentemente, totalmente acotado implica acotado.
Ejemplo 108. En R un subconjunto acotado es totalmente acotado. En efecto, si X es acotado, dado > 0 tomamos 0 < < y descomponemos la
recta real como unin de intervalos de la forma In = [n , (n + 1) ] que
tienen dimetro y longitud . Como X es acotado, intersecta a lo sumo a una
cantidad finita de los In , lo que prueba que es totalmente acotado.
Por un argumento similar, descomponiendo Rn en pequeas cajas de la
forma [a1 , b1 ] [an , bn ] con dimetro menor que , se tiene que en Rn
un subconjunto acotado es totalmente acotado.

Ejemplo 109. En el espacio de Hilbert 2 consideremos nuevamente el conjunto X = {e1 , . . . , en , . . . } (ver Ejemplo
105, pgina 120). Todo subconjunto no
2, es un conjunto unitario. En convaco de X con dimetro
menor
que
secuencia, si < 2, no es posible descomponer X como una unin finita

de conjuntos con dimetro menor que . Por tanto, X aunque es acotado, no
es totalmente acotado. De aqu se concluye que ningn conjunto en 2 que
contenga a X es totalmente acotado. En particular, la bola unitaria cerrada
B[0; 1] 2 , es cerrada y acotada pero no es totalmente acotada.

Observacin: Si un espacio mtrico M es totalmente acotado, en la descomposicin M = X1 Xn se puede suponer que los conjuntos Xi son
124
cerrados ya que diam Xi = diam Xi . Similarmente, si un conjunto X es totalmente acotado, su clausura X tambin lo es. En particular, si M es un
c tambin lo es.
espacio totalmente acotado cualquier completacin M
La siguiente proposicin nos aporta mayor claridad respecto a las condiciones necesarias y suficientes para que un espacio mtrico sea compacto,
tambin explica porqu en R, cerrado y acotado equivale a la compacidad.
Proposicin 8.17. Sea M un espacio mtrico. Las siguientes proposiciones
son equivalentes:
(1) M es compacto.
(2) Todo subconjunto infinito de M posee un punto de acumulacin.
(3) Toda sucesin en M posee una subsucesin convergente.
(4) M es completo y totalmente acotado.
Prueba:
(1)(2). Sea M un espacio mtrico compacto y sea X M un
conjunto sin puntos de acumulacin: ac(X) = . Entonces X = X ac(X) = X,
as X es cerrado y en consecuencia, compacto. Como cada punto de X no es
punto de acumulacin de X, necesariamente cada punto de X es aislado en
X, o sea que X es compacto y discreto; se sigue del Ejemplo 103 que X es
finito. Luego, un conjunto infinito posee puntos de acumulacin.
(2)(3). Consideremos una sucesin (xn ) en M. Si el conjunto de valores
de la sucesin es finito, existe al menos un trmino de la sucesin que se
repite indefinidamente, a = xn1 = xn2 = xn3 = , por tanto, xnk a. Si por
el contrario, el conjunto {x1 , x2 , , xn , } es infinito, entonces por hiptesis,
posee un punto de acumulacin a. De esta forma toda bola abierta centrada
en a posee trminos xn con ndices arbitrariamente grandes, luego a es limite
de alguna subsucesin de (xn ).
(3)(4). Bajo la hiptesis (3) toda sucesin de Cauchy posee una subsucesin convergente y por tanto, es la primera es convergente. As M es
completo.
Por otra parte, se quiere probar que para > 0, M se puede expresar como
una unin finita de bolas de radio ; en efecto, dado > 0 tomamos un punto
x1 M, si con este punto tenemos que M = B(x1 ; ), termina el proceso, en
caso contrario existe x2 M tal que d(x2 , x1 ) . Si para este x2 se tiene que
M = B(x1 ; ) B(x2 ; ), se detiene el proceso, en caso contrario existe x3 M
tal que d(x3 , x1 ) y d(x3 , x2 ) . Prosiguiendo de esta manera o el proceso
se detiene para algn n y as M = B(x1 ; ) B(xn ; ) o se tiene una
sucesin (xn ) de puntos en M tal que d(xn , xm ) para n =/ m. En esta
situacin ninguna subsucesin de (xn ) sera de Cauchy y menos convergente.
Esto contradice la hiptesis. Luego, lo que se da es la primera posibilidad y
de esta forma se concluye que M es totalmente acotado.
(4)(1) Sea M completo y totalmente acotado. Supongamos, por reduccin
al absurdo, que existe un cubrimiento abierto M = A que no admite un
subcubrimiento finito. Por ser M totalmente acotado, lo expresamos como una
8.3. CARACTERIZACIONES DE ESPACIOS COMPACTOS
125
unin finita de conjuntos cerrados cada uno con dimetro menor que 1. Al
menos uno de estos conjuntos, que llamaremos C1 , es tal que el cubrimiento
C1 A no posee un subcubrimiento finito; pero C1 tambin es totalmente
acotado, as que lo expresamos como una unin finita de conjuntos cerrados
cada uno de los cuales tiene dimetro menor que 21 . Del mismo modo, alguno
de esos nuevos conjuntos, nombrmoslo como C2 , no puede ser cubierto por
una cantidad finita de la coleccin {A }. Prosiguiendo esta construccin,
obtenemos una sucesin encajada C1 C2 Cn de subconjuntos
cerrados de M, tales que para todo n N, diam(Cn ) < n1 y Cn no est
contenido en ninguna subcoleccin finita de los A . Ya que M es completo,
por la Proposicin 7.14, pgina 109, la interseccin de los Cn as construidos
es un nico punto p M. De modo que, para algn ndice 0 , p A0 , como
A0 es abierto, existe un n0 N tan que B(p; 1/n0 ) A0 . Dado que p Cn0
y diam(Cn0 ) < n10 , vale que Cn0 B(p; 1/n0 ), pero entonces Cn0 A0 , lo
cual es una contradiccin por la forma en que se definieron los conjuntos
Cn .
Esta contradiccin nos lleva a que todo cubrimiento abierto de M posee
un subcubrimiento finito, y as M es compacto.

Corolario 8.18. Un espacio mtrico es totalmente acotado si y slo si, su
completacin es compacta.
c es totalmente acotado,
Prueba:
M es totalmente acotado si y slo si M
c
como M es completo, esto equivale a su compacidad.
Corolario 8.19. Un subconjunto K de Rn es compacto, si y slo si, es cerrado

y acotado.
Prueba:
Como se vio en el ejemplo 108, en Rn acotado implica totalmente acotado y ya sabemos que un cerrado en Rn es completo, entonces por
la Proposicin 8.17, se tiene que K es compacto.
El recproco es cierto en cualquier espacio mtrico.

Corolario 8.20. Un subconjunto X Rn tiene clausura compacta, si y slo
si, es acotado.

Prueba:
Ejercicio.
El siguiente corolario da una condicin suficiente para que un espacio mtrico sea lo que se conoce como separable, es decir, que posea un subconjunto
numerable denso.
Corolario 8.21. Todo espacio mtrico compacto M contiene un subconjunto

numerable denso.
Prueba:
Este hecho se desprende de la propiedad de M de ser totalmente acotado. En efecto, para cada n N existe unSsubconjunto finito Fn
de M tal que para todo x M, d(x, Fn ) < n1 . Sea F = n=1 Fn . Entonces F es

numerable y para todo x M, tenemos que d(x, F) = 0. As, F es denso en
M.
126
Definicin 78 (secuencialmente compacto). Se dice que un espacio mtrico

es secuencialmente compacto cuando toda sucesin de puntos posee una
subsucesin convergente.
De la proposicin 8.17, se tiene que un espacio mtrico es secuencialmente
compacto, si y slo si, es compacto.
Ejemplo 110. Sea p Rn y C un conjunto cerrado no vaco de Rn , entonces
existe un punto x0 C que minimiza la distancia, es decir, tal que d(p, C) =
d(p, x0 ). En efecto, tomando un punto de x de C y haciendo r = d(p, x),
el conjunto K0 = B[p; r] C es un subconjunto cerrado del compacto B[p; r].
Adems
d(p, C) = nf d(p, c) = nf d(p, c) = d(p, K0 )
cC
cK0
La funcin : K0 R dada por (c) = d(p; c), es continua. Por el Teorema

de Weierstrass (Proposicin 8.15), alcanza mnimo en un punto x0 de K0
8.4.
Problemario No 8
Sean A, B subconjuntos disjuntos no vacos en el espacio mtrico compacto M. Si d(A, B) = 0 entonces existe p (A) (B).
Sean K V M donde
S K es compacto y V es abierto en M. Pruebe que
existe r > 0 tal que xK B(x, r) V .
Dada f : Rn R continua, sea : [0, +) R definida por (r) =

sup|x|=r f(x). Muestre que es continua.
una familia (F )L de conjuntos se dice que es una cadena cuando

dados , L arbitrarios, se tiene F F F F . Pruebe que un
espacio mtrico M es compacto si y slo si, toda cadena de conjuntos
cerrados no vacos en M tiene interseccin no vaca.
En todo espacio mtrico, la interseccin de una cadena de compactos

conexos es un conjunto conexo y compacto.
Un espacio mtrico M es compacto si, y slo si, toda funcin real continua y positiva en M, posee un nfimo positivo.
Si M es totalmente acotado entonces toda aplicacin uniformemente

continua f : M N es acotada. En particular, si X Rn es acotado y
f : X N es uniformemente continua, entonces f es acotada.
Pruebe que un espacio mtrico M es totalmente acotado si, y slo si,

toda sucesin en M posee una subsucesin de Cauchy.
Sea M compacto. Una sucesin de puntos xn M es convergente si, y

slo si, posee un nico valor de adherencia. Muestre mediante un ejemplo
que la compacidad de M es una hiptesis necesaria.
10
Sea f : M N una funcin localmente lipschitziana (ver definicin 26).

Demuestre que si M es compacto, esa condicin implica que f es lipschitziana.
11
Si CK es cerrado en K para todo subconjunto compacto K M, entonces

C es un subconjunto cerrado del espacio mtrico M.
ndice alfabtico
abierto
conjunto , 52, 58
ac(A), 67
acotada
funcin , 29
acotado
conjunto , 28
adherencia, 63
arbitrariamente grande, 89
arquimediana
propiedad , 16
axioma
del supremo, 14
B([a, b]; R), 26

base
de una topologa, 59
B(M; N), 54
bola
abierta, 24
cerrada, 25
B(X; M), 29
B(X; R), 21
cadena, 14, 127
camino, 81
cardinal, 5
Cauchy-Schwarz
desigualdad de , 23
clausura, 63
compacto, 117
comparables, 14
completacin de un espacio mtrico,
105
componente
conexa, 84
conexidad
por caminos, 83
conjunto
abierto, 52, 58
acotado, 28
inferiormente, 14
superiormente, 14
bien ordenado, 15
cerrado, 63
compacto, 117
de Cantor, 112
de primera Categora, 108
de segunda Categora, 108
denso, 65
discreto, 27
finito, 5
infinito, 9
magro, 107
no numerable, 10
numerable, 10
parcialmente ordenado, 14
totalmente ordenado, 14
constante
de Lipschitz, 35
continuidad
conjunta, 38
en un punto, 35
contraccin
dbil, 36
convergencia
puntual, 96
simple, 96
uniforme, 96
cota
inferior, 14
superior, 14
cubrimiento, 117
128
NDICE ALFABTICO
abierto, 117
finito, 117
denso
conjunto , 65
desigualdad
de Cuachy-Schwarz, 23
desigualdad triangular, 19
diagonal, 67
dimetro, 28
distancia
a un conjunto, 29
entre conjuntos, 31
distancia de x a y, 19
d(X, Y), 31
elemento
mnimo, 14
mximo, 14
maximal, 16
entorno, 55
esfera, 25
espacio
compacto, 117
completo, 103
conexo, 73
por caminos, 83
de Hausdorff, 66
disconexo, 73
discreto, 27
homeomorfo, 42
mtrico, 19
topolgico, 58
totalmente acotado, 123
uniformemente discreto, 103
Euclides, 20
finito
conjunto , 5
frontera, 51, 67
en un espacio topolgico, 71
funcin
abierta, 57
caracterstica, 69
continua, 35
lipschitziana, 35
129
localmente , 36
montona, 79
funcin
acotada, 29
Hausdorff, 16
espacio de , 66
homeomorfismo, 41
homeomorfos
espacios , 42
homogeneidad, 22
conjugada, 23
homotecia, 42
nfimo, 14
infinito
conjunto , 9
inmersin isomtrica, 31
int(X), 51
interior de un conjunto, 51, 59
isometra, 31
lmite
de una sucesin, 88
Lipschitz, 35
localmente
lipschitziana, 36, 127
mtrica, 19
cero-uno, 20
de la conv. uniforme, 29
del supremo, 29
discreta, 44
euclidiana, 20
inducida
en un subespacio, 21
por la norma, 22
por f, 31
usual de R, 20
mtricas equivalentes, 46
magro, conjunto , 107
montona,
sucesin , 92
nmero
algebraico, 17
trascendente, 18
NDICE ALFABTICO
130
norma, 21
numerable
conjunto , 10
orden
parcial, 14
total, 14
principio
del buen orden, 15
producto
interno, 22
propiedad
arquimediana, 16
del nfimo, 15
del supremo, 15
mtrica, 42
topolgica, 42
propiedad de la interseccin finita, 118
proyeccin
estereogrfica, 43
punto, 20
aislado, 26
de acumulacin, 67
interior, 51
semicontinuidad
inferior, 70
separacin, 73
serie
armnica, 93
convergente, 93
divergente, 93
series, 93
subbase, 60
subcubrimiento, 117
propio, 117
subespacio
mtrico, 20
topolgico, 62
subsucesin, 87
sucesin, 87
acotada, 88
convergente, 88
creciente, 92
decreciente, 92
divergente, 88
eventualmente constante, 88
montona, 92
no creciente, 92
no decreciente, 92
suma parcial, 93
supremo, 14
Teorema
del valor
intermedio, 78
teorema
de Baire, 110
de Bolzano-Weierstrass, 115
de Borel-Lebesgue, 116
de la aduana, 81
topolgicamente completo, 111
topologa, 58
de los complementos finitos, 58
discreta, 58
generada
por una subbase, 60
generada por una base, 59
producto
sobre X Y , 61
relativa, 62
trivial, 58
totalmente acotado, 123
traslacin, 42
valor de adherencia, 100
vecindad, 55, 59
Zermelo, 15

Topologia

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Topologia

Transféré par

Droits d'auteur :

Formats disponibles

Dr.

Fernando Villafae Duarte

6. Sucesiones en espacios mtricos

7. Espacios mtricos completos

Si n es un entero positivo o nmero natural, denotamos por En el conjunto

Es claro que el conjunto En tiene cardinal n ya que la identidad es una

Lema 1.1. Sean n N, A un conjunto no vaco y a0 un elemento de A.

CAPTULO 1. CARDINALIDAD DE CONJUNTOS

h : A En+1 por h(a0 ) := n + 1, h(a1 ) := m y h(x) := f(x) para todo x en

Dado que a1 pertenece a A y no a B (y por tanto a1 =/ a0 ), B \ {a0 } es un

(2) , B \ {a0 } = , o existe una biyeccin

k : B \ {a0 } Ep para algn p < n

1.1. CONJUNTOS FINITOS

Corolario 1.6. Si B es un subconjunto de un conjunto finito A, entonces B

CAPTULO 1. CARDINALIDAD DE CONJUNTOS

bien definida (dado b B existe uno y slo un g(b) En ). Ahora bien, g es

y f ({b }) son disjuntos y en consecuencia, poseen mnimos distintos.

Corolario 1.8. Uniones finitas y productos cartesianos finitos de conjuntos

as A B es una unin finita de conjuntos finitos y por tanto, es finito.

Conjuntos numerables y no numerables

El conjunto N es el prototipo de los conjuntos infinitos-numerables. el

1.2. CONJUNTOS NUMERABLES Y NO NUMERABLES

Definicin 2 (conjunto infinito). Un conjunto A se dice infinito si ste no

Figura 1.1: Representacin esquemtica de la funcin f(x, y) = (x + y 1, y)

Tanto f como g son biyecciones y su composicin es un biyeccin entre NN

CAPTULO 1. CARDINALIDAD DE CONJUNTOS

H es una sobreyeccin de N sobre B.

Por ser f sobreyectiva, f1 ({b}) es un subconjunto no vaco de N y por el

Lema 1.11. Si C es un subconjunto infinito de N, entonces C es infinito

1.2. CONJUNTOS NUMERABLES Y NO NUMERABLES

El conjunto C \ h({1, . . . , n 1}) es no vaco porque C es infinito (en caso

h(k, m) = fg(k) (m)

CAPTULO 1. CARDINALIDAD DE CONJUNTOS

Note que el teorema anterior establece la numerabilidad para productos

donde xij {0, 1}. Consideremos ahora el elemento y = (y1 , . . . , yn , . . . ) de

1.3. CONJUNTOS INFINITOS

lo cual es una flagrante contradiccin. Luego, g no es sobreyectiva.

En la seccin anterior se establecieron algunos criterios para ver que un

(2) Existe una biyeccin de A con un subconjunto propio del mismo.

Es fcil ver que g es una biyeccin y esto prueba (2).

CAPTULO 1. CARDINALIDAD DE CONJUNTOS

conjunto de la familia A, esto es, un conjunto C tal que C est contenido en

Tpicos en teora de conjuntos

en esta seccin se repasarn algunos tpicos de la teora de conjuntos

El conjunto A junto con la relacin  se le llama conjunto parcialmente

1.4. TPICOS EN TEORA DE CONJUNTOS

Definicin 6 (propiedad del supremo(nfimo)). Un conjunto ordenado A se

CAPTULO 1. CARDINALIDAD DE CONJUNTOS

El conjunto de los nmeros naturales, como subconjunto de R que es un

(a) Determine cuntas funciones inyectivas f existen de la forma:

muestre que ninguna es biyectiva. Esto prueba que un conjunto con

Sugerencia: no hace falta listarlas todas. Razone como en combinatoria...

Demuestre que si B no es finito y B A, entonces A no es finito.

Defina una biyeccin entre el conjunto {0, 1} y un subconjunto propio

Suponga que el conjunto A B es finito, implica esto que tanto A como

Si A y B son conjuntos finitos, demuestre que el conjunto de todas las

Demuestre que el conjunto Q de los nmeros racionales, es numerable.

Defina una biyeccin entre el conjunto P(N) y el producto cartesiano

CAPTULO 1. CARDINALIDAD DE CONJUNTOS

Definicin de espacio mtrico

Definicin 9 (mtrica). Una mtrica en un conjunto M es una funcin d :

De la (1) y (2) se deduce que la la distancia es no negativa y que d(x, y) = 0

Figura 2.1: Desigualdad triangular en el plano

CAPTULO 2. ESPACIOS MTRICOS

El conjunto A junto con la relacin se le llama conjunto parcialmente