Notas

Introduccion a la topologa
Beatriz Abadie

CENTRO DE MATEMATICAS
FACULTAD DE CIENCIAS

UNIVERSIDAD DE LA REPUBLICA
Agosto de 2013
i
Indice general
Captulo 1. Elementos de la teora de conjuntos 1

1.1. Preliminares 1
1.2. Cardinalidad 5
1.3. Numerabilidad 9
Captulo 2. Espacios metricos 17
2.1. Definiciones y ejemplos 17
2.2. Conjuntos abiertos en espacios metricos 20
2.3. Metricas equivalentes 24
Captulo 3. Espacios topologicos 27
3.2. Axiomas de separacion 33
3.3. Axiomas de numerabilidad 35
Captulo 4. Convergencia en espacios topologicos 45
4.2. Redes y propiedades topologicas 48
4.3. Ejemplos de convergencia en espacios de funciones 50
Captulo 5. Funciones continuas 52
5.2. El conjunto de Cantor 59
Captulo 6. Topologa producto 65
6.2. Propiedades de la topologa producto 66
Captulo 7. Espacios topologicos conexos 69
7.2. Conexion local y conexion por caminos 75
Captulo 8. Espacios metricos completos 80
8.2. Completacion de un espacio metrico 85
8.3. Algunos resultados en espacios metricos completos 89
Captulo 9. Espacios compactos 96
9.2. Compacidad secuencial y propiedad de Bolzano-Weierstrass 101
Captulo 10. Topologa cociente 108
ii
Indice general iii

Bibliografa 115
Lista de smbolos 116
Indice alfabetico 117
Captulo 1
Elementos de la teora de conjuntos
1.1. Preliminares
En lo que sigue se dan por conocidas las nociones de union, interseccion y
complemento de conjuntos. Repasaremos brevemente algunos resultados basi-
cos.
Proposicio n 1.1.1. (leyes de De Morgan)
Sea {A }I una familia no vaca de subconjuntos de un conjunto U .
Entonces [ c \ \ c [
A = Ac y A = Ac ,
I I I I
c
donde, si X U , X indica el complemento de X con respecto a U .
n. Si x U ,
Demostracio
[ c [ \
x A x 6 A x 6 A Ix Ac .
I I I
Analogamente,
\ c \ [
x A x 6 A 0 I tal que x 6 A0 x Ac .
I I I

Definicio n 1.1.2. Sean A1 , A2 , , An conjuntos. El producto carte-
siano A1 A2 An es el conjunto
A1 A2 An = {(a1 , a2 , ..., an ) : ai Ai i = 1, 2, , n},
donde (a1 , a2 , ..., an ) = (b1 , b2 , ..., bn ) si y solo si ai = bi para todo i = 1, , n.
Repasamos a continuacion algunos subconjuntos especialmente importan-
tes del producto cartesiano A B: las funciones y, en el caso en que A = B,
las relaciones de orden y las de equivalencia.
Definiciones 1.1.3. Una funcion f : A B es un subconjunto del
producto cartesiano A B que verifica la siguiente condicion: para todo a A
nico elemento b B tal que (a, b) f .
existe un u
Como es habitual, escribiremos f (a) = b en lugar de (a, b) f . El conjunto
A es el dominio de la funcion f y B es su codominio.
La imagen por f de un subconjunto A0 de A es el conjunto
f (A0 ) = {f (a) : a A0 }.
La imagen Im(f ) o rango de f es el conjunto f (A).
1
1.1. PRELIMINARES 2
La preimagen de un subconjunto B0 de B por f es el conjunto

f 1 (B0 ) = {a A : f (a) B0 }.
La funcion
f : A B
es inyectiva si a1 , a2 A y a1 =
6 a2 implica que f (a1 ) 6= f (a2 ), y es sobre-
yectiva si B = f (A). Una funcion es biyectiva o invertible si es inyectiva
y sobreyectiva.
Dadas dos funciones
f : A B g : B C,
on g f es la funcion
su composici
g f : A C
definida mediante
(g f )(a) = g(f (a)).
Si f : A B es biyectiva, su inversa es la funcion
f 1 : B A
definida por
f 1 (f (a)) = a.
En ese caso, f 1 tambien es biyectiva y
(f 1 )1 = f.
La funci
on identidad en un conjunto A es la funcion
idA : A A
definida por
idA (a) = a
para todo a A. Cuando esto no de lugar a confusion, escribiremos id en
lugar de idA .
Observese que si f : A B es invertible, entonces
f f 1 = idB y f 1 f = idA . (1.1.1)
Se prueba sin dificultad que una funcion
f : A B
es biyectiva si y solo si existe una funcion
f 1 : B A
que verifica (1.1.1).
Observacio n 1.1.4. Sean A y B dos conjuntos. Si alguno de ellos es vaco,
tambien lo es el producto cartesiano A B.
Si A es vaco, la u
nica funcion
f : A B
es la funcion vaca
f = = A B,
1.1. PRELIMINARES 3
que es, ademas, inyectiva.

Si A 6= y B = , no existe una funcion
f : A B,
nico subconjunto de A B, no es una
porque el subconjunto vaco, que es el u
funcion.
Definicio n 1.1.5. Sea A un conjunto no vaco. Una relaci on de or-
den (o de orden parcial) en A es un conjunto A A que verifica
las siguientes propiedades (escribiendo, como es habitual, a b en lugar de
(a, b) ):
1. (Propiedad reflexiva) a a, para todo a A.
2. (Propiedad antisim etrica) Si a y b A verifican a b y b a,
entonces a = b.
3. (Propiedad transitiva) Si a, b, c A verifican a b y b c, enton-
ces a c.
Si es una relacion de orden en A, se dice que (A, ) es un conjunto par-
cialmente ordenado.
Una relacion de orden en A es total si dados a, b A, se tiene que
a b o que b a.
Ejemplos 1.1.6.
1. El orden habitual en el conjunto R de n
umeros reales es un orden total.
2. Dado un conjunto A sea P(A) su conjunto potencia o conjunto de

partes
P(A) = {B : B A}.
El conjunto P(A) es un conjunto parcialmente (y no totalmente) orde-
nado tanto con la inclusion como con .
3. Todo subconjunto de un conjunto ordenado es un conjunto ordenado

con la restriccion del orden.
Definiciones 1.1.7. Sean E un conjunto parcialmente ordenado, A E,
e E.
1. Se dice que e es una cota superior (inferior) de A si e a (e a)
para todo a A.
2. Se dice que e es el maximo (mnimo) de A si es una cota superior
(inferior) de A y e A. Notese que, por la propiedad antisimetrica de
, existe a lo sumo un maximo (mnimo).
3. Se dice que e es el supremo (nfimo) de A si es el mnimo (maximo)
del conjunto de cotas superiores (inferiores).
4. Un elemento a0 de A es un elemento maximal (minimal) de A si
no existe a A tal que a 6= a0 y a a0 (a a0 ).
5. Un subconjunto A de E es una cadena si es un conjunto totalmente
ordenado con la restriccion del orden en E.
Ejemplo 1.1.8. Sea P(A) el conjunto potencia de
S un conjunto AT con el
orden . Todo subconjunto U P(A) tiene supremo SU S e nfimo SU S.
1.1. PRELIMINARES 4
Observacio n 1.1.9. Todo conjunto finito y totalmente ordenado tiene

maximo y mnimo. La demostracion, por induccion en el n
umero de elementos
del conjunto, se deja a cargo del lector.
En este curso recurriremos a menudo al siguiente resultado de la teora de
conjuntos, cuya demostracion no veremos.
Teorema 1.1.10. (Lema de Zorn) Sea (X, ) un conjunto parcialmente
ordenado tal que toda cadena de X tiene una cota superior en X. Entonces X
tiene un elemento maximal.
Definiciones 1.1.11. Sea E un conjunto no vaco. Una relaci on de
equivalencia en E es un subconjunto de E E que verifica las siguientes
propiedades (escribiendo, como es habitual, x y en lugar de (x, y) ):
1. (Propiedad reflexiva) x x, para todo x E.
2. (Propiedad sim etrica) x y implica que y x, para todo x, y E.
3. (Propiedad transitiva) Si x, y, z E verifican x y e y z,
entonces x z.
Si es una relacion de equivalencia en E y x E, la clase de equiva-
lencia de x es el conjunto
[x] = {y E : x y}.
El espacio cociente E/ es el conjunto de las clases de equivalencia. La
proyecci
on canonica es la funcion sobreyectiva
: E E/
dada por
(x) = [x]
para todo x E.
Proposicio n 1.1.12. Sea una relacion de equivalencia en E.
y E y [x] 6= [y] , entonces [x] [y] = .
1. Si x, S
2. E = xE [x] .
Demostracio n. Si z [x] [y] , entonces z x y z y. Por la
propiedad transitiva, x y y, de nuevo por la propiedad transitiva,
[x] = [y] .
La segunda afirmacion es evidente porque x [x] para todo x X.
Observacio n 1.1.13. Sean E 6= y {Ci }iI una familia de subconjuntos
de E tal que
1. Ci C
Sj = si i 6= j.
2. E = iI Ci .
Entonces x y si y solo si existe i I tal que x, y Ci define una relacion
de equivalencia, y E/ = {Ci }. La demostracion de este resultado es directa
y queda a cargo del lector.
1.2. CARDINALIDAD 5
n 1.1.14. Sea {A }I una familia no vaca de conjuntos. El

Definicio Q
producto cartesiano I A es el conjunto
Y [
A = {f : I A : f () A para todo I}.
I I
Para cada 0 I, la proyecci

on sobre A0 es la funcion
Y
p0 : Ai A0 ,
i
dada por p0 (f ) = f (0 ).
Observacio n 1.1.15. En el caso en que la familia de conjuntos en la
definicion 1.1.14 es finita, las definiciones 1.1.14 y 1.1.2 coinciden. Se puede
suponer que I = {1, 2, , n} e identificar la n-upla (a1 , a2 , , an ) de la
definicion 1.1.2 con la funcion
[
f : I Ai
de la definicion 1.1.14, dada por f (i) = ai para todo i = 1, 2, , n.
El siguiente axioma de la Teora de Conjuntos, que es equivalente al lema
de Zorn, sera de gran utilidad a lo largo del curso.
Axioma 1.1.16. (Axioma de eleccion) Sea {A }I una familia no vaca

de conjuntos no vacos. Entonces
Y
A 6= .
I
1.2. Cardinalidad
n 1.2.1. Se dice que dos conjuntos A y B son equipotentes,
Definicio
coordinables, o que tienen el mismo cardinal, y se indica
card(A) = card(B),
si existe una funcion biyectiva f : A B.
Ejemplos 1.2.2.
1. Los conjuntos A = {n Z : n 0} y B = {n Z : n 1} tienen el
mismo cardinal: la funcion f : A B, dada por f (k) = k + 1, es una
biyeccion.
2. El conjunto N de los n
umeros naturales y el conjunto Z de los n
umeros
enteros tienen el mismo cardinal: la funcion f : N Z, dada por
f (2n) = n y f (2n + 1) = n + 1
para todo n 0, es una biyeccion.
1.2. CARDINALIDAD 6
3. El conjunto R de los numeros reales y el intervalo ( , ) tienen el

2 2
mismo cardinal, porque la funcion Arcotangente es una biyeccion de R
en ( , ).
2 2
4. Sean a, b R tales que a < b. Entonces los intervalos (a, b), (a, b], [a, b],
[a, b] tienen el mismo cardinal que R. Esto es consecuencia del ejemplo
3 y del hecho de que son biyecciones las funciones:
f (x)a
a) f : (a, b) (0, 1) dada por f (x) = ba
.
b) g : (a, b] [a, b) dada por g(b) = a y g(x) = x si x 6= a.

ba
c) h(a, b] [a, b], donde, si xn := a + n
, para todo n 1,

x
si x 6 {xn : n 1},
h(x) = a si x = x1 ,

x
n1 si x = xn para algun n 2.
d ) La restriccion h0 : (a, b) [a, b) de la funcion h definida arriba.
Observacio n 1.2.3. Sean A, B y C conjuntos.
1. A tiene el mismo cardinal que A, porque la identidad es una biyeccion.
2. Si A tiene el mismo cardinal que B, entonces B tiene el mismo cardinal
que A, porque si
f : A B
es una biyeccion, tambien lo es su inversa
f 1 : B A.
3. Si A tiene el mismo cardinal que B y B el mismo cardinal que C,
entonces A tiene el mismo cardinal que C, porque la composicion de
biyecciones es una biyeccion.
El lector observara que tener el mismo cardinal tiene las propiedades de
una relacion de equivalencia. No podemos, sin embargo, decir que lo es, porque,
de serlo, sera una relacion de equivalencia en la familia de todos los conjuntos
no vacos, que no es un conjunto, como prueba la paradoja de Russell.
n 1.2.4. Sean A y B dos conjuntos. Diremos que el cardinal
Definicio
de A es menor o igual que el cardinal de B, y lo indicaremos
card(A) card(B),
si existe una funcion inyectiva
f : A B.
n 1.2.5. La notacion
Notacio
card(A) card(B), card(A) card(B), card(A) card(B)
tiene el significado obvio.
Ejemplos 1.2.6.
1.2. CARDINALIDAD 7
1. En virtud de la observacion 1.1.4, se tiene que

card() card(A),
para todo conjunto A, y que card(A) card() solo si A = .
2. Sean A y B conjuntos equipotentes. Entonces

card(A) card(B) y card(B) card(A).
Probaremos en el teorema 1.2.9 que la afirmacion recproca tambien
vale.
3. Sean A y B conjuntos tales que A B. Entonces

card(A) card(B),
porque la funcion inclusion i : A B es inyectiva.
n 1.2.7. Sean A y B conjuntos no vacos. Entonces
Proposicio
card(A) card(B)
si y solo si existe una funcion sobreyectiva g : B A.
n. Sea g : B A una funcion sobreyectiva. El conjunto
Demostracio
g 1 ({a}) := {b B : g(b) = a}
es no vaco para todo a A.
Por el axioma de eleccion, existe
Y
f g 1 ({a}).
aA
Entonces [
f : A g 1 ({a}) = B, y g f (a) = a,
aA
1
porque f (a) g ({a}).
Esto implica que f es inyectiva: si f (a1 ) = f (a2 ), entonces
a1 = g f (a1 ) = g f (a2 ) = a2 .
Por lo tanto,
card(A) card(B).
Supongamos ahora que card(A) card(B), y sea
f : A B
una funcion inyectiva. Sea a0 A. Definimos
g : B A
por (
a si f (a) = b
g(b) =
a0 si no existe a A tal que f (a) = b.
Es claro que f es sobreyectiva.
1.2. CARDINALIDAD 8
Teorema 1.2.8. (Cantor) Sean A un conjunto y P(A) su conjunto poten-

cia.
card(A) card(P(A)).
n. Si A = , entonces
Demostracio
P(A) = {} =
6 ,
y el teorema es consecuencia de la observacion 1.1.4.
Si A 6= ,
card(A) card(P(A)),
porque la funcion
f : A P(A)
definida por f (a) = {a} es inyectiva.
Supongamos que card(A) = card(P(A)); sea
f : A P(A)
una funcion biyectiva. Definimos
U = {a A : a 6 f (a)}.
Sea u A tal que f (u) = U . Entonces
u U u 6 U,
contradiccion que resulta de suponer que f es sobreyectiva.
Teorema 1.2.9. (Cantor-Bernstein) Sean A y B conjuntos tales que
card(A) card(B) y card(B) card(A).
Entonces A y B tienen el mismo cardinal.
Demostracio n. Podemos suponer que A y B son no vacos, porque si uno
de ellos lo es, tambien lo es el otro por la observacion 1, y en ese caso tienen
el mismo cardinal. Sean f : A B y g : B A funciones inyectivas.
Definimos
A0 = A, A1 = g(B) y An = (g f )(An2 ) para todo n 2.
Se define ahora el grado de un elemento a A como
gr(a) = max{n : a An } N {}.
Analogamente, sean
B0 = B, B1 = f (A), Bn = (f g)(Bn2 ) y gr(b) = max{n : b Bn }.
Sean ahora Ap , Ai y A (Bp , Bi y B ) los conjuntos de elementos de A (B)
de grado par, impar e infinito, respectivamente. Es claro que A y B son las
uniones disjuntas
A = Ap t Ai t A , B = Bp t Bi t B . (1.2.1)
Observese ahora que
f (An ) = Bn+1 y g(Bn ) = An+1 para todo n 0. (1.2.2)
En efecto,
f (A0 ) = f (A) = B1 , f (A1 ) = (f g)(B) = B2 .
1.3. NUMERABILIDAD 9
La primera igualdad en (1.2.2) se obtiene, entonces, por induccion en n ya que,

si n 2,

f (An ) = f (g f )(An2 ) = (f g)(f (An2 )) = (f g)(Bn1 ) = Bn+1 .
La segunda igualdad se prueba en forma analoga.
Se concluye inmediatamente a partir de las igualdades (1.2.2 ) que
a) f (Ap ) = Bi , b) f (A ) = B y c) g(Bp ) = Ai . (1.2.3)
Las igualdades (1.2.1) y (1.2.3 c)) permiten definir
h : A B
por (
f (a) si a Ap A ,
h(a) =
g 1 (a) si a Ai .
Probaremos a continuacion que h es una biyeccion, concluyendo as la demos-
tracion.
Por un lado, h es inyectiva: supongamos que h(a0 ) = h(a1 ). Si h(a0 ) Bp ,
entonces, por (1.2.3),
ak Ai y h(ak ) = g 1 (ak ), para i = 0, 1.
En ese caso se tiene que g 1 (a0 ) = g 1 (a1 ) y, por lo tanto, a0 = a1 .
Si, en cambio, h(a0 ) 6 Bp , entonces h(ak ) = f (ak ), para k = 0, 1. Como f
es inyectiva, tambien se concluye en ese caso que a0 = a1 .
Finalmente, la sobreyectividad de h es consecuencia directa de las igualda-
des (1.2.1) y (1.2.3).
1.3. Numerabilidad
Definiciones 1.3.1.
1. Se dice que un conjunto es finito si es vaco o si tiene el mismo cardinal
que un conjunto de la forma {1, 2, , n} para alg un numero entero
n 1.
2. Un conjunto es infinito si no es finito.
3. Un conjunto es infinito numerable si tiene el mismo cardinal que N.
Observese que, en virtud del ejemplo 1.2.2.1, esta definicion no depende
del hecho de que se incluya o no el cero en el conjunto de los n umeros
naturales.
4. Un conjunto es numerable si es finito o infinito numerable.
Ejemplos 1.3.2.
1. El conjunto potencia de un conjunto finito es finito.
2. El conjunto Z de los n
umeros enteros es infinito numerable (ejemplo
1.2.2.2).
La siguiente proposicion prueba que ning
un conjunto infinito tiene cardinal
estrictamente menor que el de N.
n 1.3.3. Todo subconjunto de N es numerable.
Proposicio
Demostracio n. Sea A N. Si A es vaco, es numerable. Supondremos

entonces que A no es vaco. Sea
a0 = mn A.
Dados a0 , a1 , , ak A, A es numerable si A = {a0 , a1 , , ak }. En caso
contrario, sea
ak+1 = mn(A \ {a0 , , ak }).
Si A 6= {a0 , , ak } para todo k N, consideremos
f : N A,
dada por f (k) = ak . La funcion f es inyectiva, porque es estrictamente cre-
ciente. Concluimos que A es infinito numerable, a partir del ejemplo 1.2.6.3
y del teorema 1.2.9. (Tambien se puede observar directamente que f es una
biyeccion, porque para todo a A se tiene que a = f (k), donde k es el n
umero
de elementos de A estrictamente menores que a.)
Proposicio n 1.3.4. Sea A un conjunto. Las siguientes afirmaciones son
equivalentes:
1. A es numerable.
2. Existe una funcion inyectiva f : A N.
Demostracio n. Si A es vaco, por la observacion 1.1.4, existe una funcion
inyectiva f : A N. Si A es numerable e infinito, entonces existe una
biyeccion f : A N y vale 2).
Finalmente, si A es finito y no vaco, existe una biyeccion
g : A {1, 2, , n}.
Sea inc : {1, 2, , n} N la funcion inclusion. Entonces
inc g : A N
es inyectiva.
Recprocamente, si f : A N es inyectiva, entonces A tiene el mismo
cardinal que la imagen de f que, por la proposicion 1.3.3, es numerable
Proposicio n 1.3.5. Sean A un conjunto y B un conjunto numerable.
1. Si existe una funcion inyectiva f : A B, entonces A es numerable.
2. Si existe una funcion sobreyectiva f : B A, entonces A es nume-
rable.
Demostracio n.
1. Si B es numerable, existe, por la proposicion 1.3.4, una funcion inyec-
tiva g : B N. Por lo tanto, g f es inyectiva, lo cual implica que A
es numerable, de nuevo por la proposicion 1.3.4.
2. La hipotesis implica que A 6= por la observacion 1.1.4 y, en ese caso,
la afirmacion 2) es equivalente a la 1), por la proposicion 1.2.7.

Corolario 1.3.6. Sean B un conjunto numerable y A B. Entonces A
es numerable.
n. Si A es vaco, es numerable. Si A 6= , la inclusion

Demostracio
i : A B
es inyectiva y, por la proposicion 1.3.5, A es numerable.
Ejemplo 1.3.7. Sean A 6= un conjunto numerable y una relacion de
equivalencia en A. El espacio cociente A/ es numerable, porque la proyeccion
canonica : A A/ es sobreyectiva.
n 1.3.8. El conjunto Nk es numerable para todo entero positivo
Proposicio
k.
Demostracio n. Sean p1 , p2 , , pk n
umeros primos dos a dos diferentes.
Entonces la funcion
f : Nk N dada por f (n1 , n2 , , nk ) = pn1 1 pn2 2 pnk k
es inyectiva. Por lo tanto, Nk es numerable por la proposicion 1.3.4
Proposicio n 1.3.9. Sean A1 , A2 , Ak conjuntos numerables. Entonces
A1 A2 Ak es numerable.
Demostracio n. Si Ai = para alg un i, el producto A1 Ak es
vaco y, por lo tanto, numerable.
En otro caso, sea
i : Ai N
una funcion inyectiva para i = 1, 2, , k.
Entonces
: A1 A2 Ak Nk ,
dada por
(a1 , a2 , , ak ) = (1 (a1 ), 2 (a2 ), , k (ak ))
es inyectiva. Resulta entonces de la proposicion 1.3.8 y de la proposicion 1.3.5
que A1 A2 Ak es numerable.
Ejemplo 1.3.10. El conjunto Q de n umeros racionales es numerable, por-
que Z (N \ {0}) es numerable y la funcion
f : Z (N \ {0}) Q
definida por
f (m, n) = m/n
es sobreyectiva.
Proposicio n 1.3.11. Sean I un conjunto numerable y Ai un conjunto
S
numerable para cada i I. Entonces la union iI Ai es numerable.
Demostracio n. Alcanza con probar la afirmacion en el caso en que I 6=
y Ai 6= para todo i I. En ese caso, existen funciones sobreyectivas
f : N I y fi : N Ai para todo i I.
Sean [
g : N N Ai por g(m, n) = ff (m) (n).
II
S
La funcion g es sobreyectiva: si a II Ai , sea i I tal que a Ai . Sean m
y n tales que i = f (m) y a = fi (n). Entonces a = g(m, n).
n 1.3.12. Sea A un conjunto. Indicaremos con PF (A) el conjun-
Notacio
to de partes finitas de A, es decir, la familia de subconjuntos finitos de
A.
n 1.3.13. El conjunto PF (N) es numerable.
Proposicio
Demostracio n. Dado k 0, sea Pk (N) la familia de subconjuntos de N
que tienen exactamente k elementos.
Si k 6= 0, sea fk la funcion
fk : Pk (N) Nk
dada por
fk (A) = (a1 , a2 , , ak ),
donde
A = {a1 , a2 , ak } PF (A) y a1 < a2 < < ak .
Como fk es inyectiva, concluimos que Pk (N) es numerable para k 6= 0. Tambien
lo es cuando k = 0, porque P0 (N) = {}.
En virtud de la proposicion 1.3.11, se tiene que
[
PF (N) = Pk (N)
kN
es numerable.
Corolario 1.3.14. Sea A un conjunto numerable. Entonces PF (A) es
numerable.
Demostracio n. Sea f : A N una funcion inyectiva. Entonces la
funcion
f : PF (A) PF (N)
definida por
f (S) = {f (s) : s S}, f () =
tambien es inyectiva, y resulta de las proposiciones 1.3.5 y 1.3.13 que PF (A)
es numerable.
n 1.3.15. Todo conjunto infinito tiene un subconjunto infinito
Proposicio
numerable.
Demostracio n. Sea A un conjunto infinito. Para cada n 1, sea Pn (A)
la familia de subconjuntos de N que tienen exactamente n elementos. Por el
axioma de eleccion (1.1.16), existe una sucesion {Sn }nN tal que Sn Pn (A)
para todo n N.
Sea ahora [
S= Sn .
nN
Entonces S es numerable por la proposicion 1.3.11, y es infinito porque Sn 6=
Sm si n 6= m.
Corolario 1.3.16. Sean A un conjunto numerable y B un conjunto infi-

nito. Entonces A B y B tienen el mismo cardinal.
Demostracio n. Como el conjunto A0 = {a A : a 6 B} es numerable
0
y A B = A B, podemos suponer que A y B son disjuntos. Sea B0 un
subconjunto infinito numerable de B. Entonces A B0 y B0 son infinitos y
numerables; sea
f : A B0 B0
una biyeccion.
Entonces
(
f (x) si x A B0
: A B B, dada por (x) =
x en caso contrario
es una biyeccion. Es claro que es sobreyectiva y que, si x 6= y, y ni x ni y
pertenece a A B0 ,
(x) = x 6= y = (y).
Por otro lado, si x A B0 y (x) = (y), entonces (y) B0 . Por lo tanto,
(y) A B0 , lo cual implica que y A B0 , y que
f (y) = (y) = (x) = f (x).
Como f es inyectiva, concluimos que x = y.
Notacio n 1.3.17. En lo que sigue, indicaremos con R el conjunto de su-
cesiones con valores en {0, 1} que toman infinitas veces el valor 1.
Proposicio n 1.3.18. (Descomposici on binaria) Sea r (0, 1]. Enton-
ces existe una unica sucesion {an }, con an {0, 1} para todo n N y tal
que:

X an
1. r = .
n=1
2n
2. El conjunto {n : an = 1} es infinito.
La correspondencia
: (0, 1] R tal que (r) = {an }
es una biyeccion cuya inversa esta dada por

1
X an
{an }n1 = . (1.3.1)
n=1
2n
n. Definiremos la sucesion {an } por recurrencia.

Demostracio
Sea (
0 si 0 < r 12 ,
a1 = (1.3.2)
1 si 21 < r 1.
Entonces
a1 1
0<r .
2 2
Dados a1 , a2 , , an {0, 1} tales que

n
X ak 1
0<r ,
k=1
2k 2n
se define (
si 0 < r nk=1 a2kk 2n+1
1
P
0 ,
an+1 = 1
P n ak 1
(1.3.3)
1 si 2n+1 < r k=1 2k 2n
Se tiene entonces que
n+1
X ak 1
0<r ,
k=1
2k 2n+1
lo cual permite construir por recurrencia la sucesion y prueba, ademas, que

X an
r= .
n=1
2n
Las sucesion {an } as construida toma infinitas veces el valor 1: supongamos
un r (0, 1] se tuviera aN = 1 y an = 0 para todo n > N .
que para alg
Entonces
N
X ak X ak
r= = .
k=1
2k k=1
2k
Pero entonces
N 1
X ak 1
r k
= N
k=1
2 2
y, por (1.3.3), aN = 0, en contradiccion con lo supuesto.
Es claro ahora, en virtud de la condicion 1), que la correspondencia es
inyectiva. Demostraremos a continuacion que tambien es sobreyectiva y que
su inversa esta dada por (1.3.1). Sea {bn } R.

X bn X 1
0< n
= 1,
n=1
2 n=1
2n
donde la desigualdad estricta se debe a que, como {bn } R, no puede ser
bn = 0 para todo n 1.
Sea

X bn
r= (0, 1].
n=1
2n
Probaremos ahora, por induccion en n, que an = bn para todo n N, donde
{an } = (r). En primer lugar, b1 = a1 :

X bk X 1 1
b1 = 0 r = k
k
= .
k=2
2 k=2
2 2
Entonces, por(1.3.2), a1 = 0.
Por otro lado,
b1 1
b1 = 1 r > = .
2 2
De nuevo por (1.3.2), a1 = 1.
Supongamos ahora que bk = ak para todo k n.
Entonces n n
X ak X bk
r k
=r .
k=1
2 k=1
2k
Por lo tanto,
n
X ak X bk X 1k 1
bn+1 = 0 r = = n+1 .
k=1
2k k=n+2
2k
k=n+2
2k 2
Por (1.3.3) se tiene que an+1 = 0.
Finalmente,
n
X ak bn+1 1
bn+1 = 1 r > = ,
k=1
2k 2n+1 2n+1
lo cual implica, por (1.3.3), que an+1 = 1.

Observacio n 1.3.19. La descomposicion binaria no es u
nica si no se im-
pone la segunda condicion en la proposicion 1.3.18:

1 X 1
1. = .
2 k=2 2k
Se puede probar que ese tipo de situacion es la unica posible. Es decir, que

X ak X b k
k
= k
, donde ak , bk {0, 1} para todo k N
1
2 1
2
si y solo si (cambiando, eventualmente, los roles de {ak } y {bk }) existe k0 1
tal que
1. ak = bk para todo k < k0 .
2. ak0 = 1 y bk0 = 0.
3. ak = 0 y bk = 1 para todo k > k0 .
Proposicio n 1.3.20. El conjunto R tiene el mismo cardinal que el con-
junto potencia P(N) del conjunto de los n
umeros naturales.
Demostracio n. Sea T el conjunto de sucesiones con valores en {0, 1}.
Es claro que la correspondencia
: P(N) T
dada por (
1 si n A,
((A))n =
0 en caso contrario.
es una biyeccion, as como su restriccion
0 : P(N) \ PF (N) R.
Por otro lado, como PF (N) es numerable por la proposicion 1.3.13, se sigue
del corolario 1.3.16 que P(N) y R tienen el mismo cardinal.
Corolario 1.3.21. El conjunto R de los n umeros reales tiene el mismo
cardinal que el conjunto potencia P(N) del conjunto de los n
umeros naturales.
Demostracio n. El teorema 1.3.18 prueba que R tiene el mismo cardinal
que el intervalo (0, 1], el cual, a su vez, tiene el mismo cardinal que R, por
el ejemplo 1.2.2.4. Finalmente, por la proposicion 1.3.20, R y P(N) tienen el
mismo cardinal.
Corolario 1.3.22. El conjunto R de los n
umeros reales es no numerable.
Demostracio n. La afirmacion se sigue directamente del corolario 1.3.21
y del teorema de Cantor (1.2.8).
Captulo 2
Espacios m
etricos
2.1. Definiciones y ejemplos

Definicio n 2.1.1. Un espacio m
etrico (E, d) consiste en un conjunto E
junto con una funcion
d : E E R,
llamada m etrica o distancia, que cumple con las siguientes condiciones para
todo x, y, z E:
1. d(x, y) 0.
2. d(x, y) = 0 si y solo si x = y.
3. d(x, y) = d(y, x).
4. (Desigualdad triangular)
d(x, z) d(x, y) + d(y, z). (2.1.1)
Ejemplos 2.1.2.
1. Si d es una metrica en E, un subconjunto F de E es un espacio metrico
con la restriccion de d a F F , llamada m
etrica o distancia relativa.
2. La distancia habitual en R, es decir, la funcion
d(x, y) = |x y|,
es efectivamente una distancia. Es la metrica que consideraremos en R

y sus subconjuntos, salvo indicacion contraria.
3. Son distancias en Rn las funciones d1 , d2 y d dadas por:

Xn
d1 (x, y) = |xi yi |,
i=1
n
X 21
d2 (x, y) = |xi yi |2 ,
i=1
d (x, y) = max{|xi yi | : i = 1, , n},

donde
x = (x1 , x2 , , xn ), y = (y1 , y2 , , yn ).
Observese que las tres metricas coinciden con la del ejemplo 2.1.2.2
cuando n = 1.
17
2.1. DEFINICIONES Y EJEMPLOS 18
4. Espacio m etrico discreto. La m

etrica discreta en un conjunto E
es la funcion
(
0 si x = y,
d : E E R, dada por d(x, y) =
1 si x 6= y.
Para verificar la desigualdad triangular, observese que los dos lados de
(2.1.1) valen cero si x = y = z. En caso contrario, el lado derecho es
mayor o igual a uno, y, por lo tanto, vale la desigualdad. Las demas
propiedades se verifican facilmente.
5. El conjunto C([a, b])de funciones continuas con valores complejos en el

intervalo [a, b] es un espacio metrico con la distancia
d(f, g) = sup{|f (x) g(x)| : x [a, b]}.
Observese que la definicion tiene sentido, por el teorema de Weierstrass
y la continuidad de las partes real e imaginaria de un n umero complejo.
La desigualdad triangular es consecuencia directa de la desigualdad
triangular en R:

sup |f (x) h(x)| sup |f (x) g(x)| + |g(x) h(x)|
x[a,b] x[a,b]
sup |f (x) g(x)| + sup |g(x) h(x)|. (2.1.2)

x[a,b] x[a,b]
Tambien es un espacio metrico, por el ejemplo 2.1.2.1, el conjunto

CR ([a, b]) de funciones continuas con valores reales en el intervalo [a, b]
con la restriccion de la metrica d.
6. M etricas provenientes de normas. Si V es un espacio vectorial real

o complejo, una norma en V es una funcion
k k : V R
que verifica para todo x, y V :
a) kxk 0.
b) kxk = 0 si y solo si x = 0V .
c) kxk = ||kxk para todo escalar .
d ) (Desigualdad triangular)
kx + yk kxk + kyk. (2.1.3)
Se verifica en forma inmediata que una norma k k en V define una
metrica d en V por
d(x, y) = kx yk.
Las metricas d1 , d2 y d del ejemplo 2.1.2.3 provienen, respectivamente,
de las normas
n n
X X 1/2
kxk1 = |x1 |, kxk2 = |xi |2 (2.1.4)
i=1 i=1
y kxk = max |xi |, (2.1.5)
i
donde x = (x1 , x2 , , xn ) Rn .
Las formulas en (2.1.4) y (2.1.5) definen tambien normas en el es-
pacio vectorial complejo Cn . Por lo tanto, las formulas de las distancias
d1 , d2 y d en el ejemplo 2.1.2.3 tambien definen metricas en Cn .
Las distancias definidas en el ejemplo 2.1.2.5 tambien provienen de
normas. El conjunto C([a, b]) es un espacio vectorial complejo con las
operaciones
(f + g)(x) = f (x) + g(x), (f )(x) = f (x), (2.1.6)
para todo f, g C([a, b]) y todo escalar .
Se verifica inmediatamente, usando (2.1.2), que la siguiente funcion
k ksup , llamada norma del supremo, es una norma en C([a, b]) que
induce la distancia del ejemplo 2.1.2.5:
kf ksup = sup |f (x)|. (2.1.7)

x[a,b]
Analogamente, las formulas en (2.1.6) definen en CR ([a, b]) una es-

tructura de espacio vectorial real, con una norma definida como en
(2.1.7), que induce la metrica del ejemplo 2.1.2.5.
7. Normas en espacios de sucesiones.

Sea `1 el conjunto de sucesiones complejas x tales que
X
|xn | < , (2.1.8)
n
donde, como se hara de aqu en adelante, dada una sucesion x, se indica

x = {xn }. El conjunto `1 es un espacio vectorial con las operaciones
definidas por
(x + y)n = xn + yn , (x)n = xn , (2.1.9)
para todo x, y `1 y para todo escalar . En efecto, es claro, a partir
de las desigualdades
N
X N
X N
X
X
X
|xn + yn | |xn | + |yn | |xn | + |yn |, (2.1.10)
n=1 n=1 n=1 n=1 n=1
N
X N
X
X
|xn | = |xn | |xn |, (2.1.11)
n=1 n=1 n=1
para todo N N, que las formulas en 2.1.9 definen, efectivamente,

elementos de `1 , y que la funcion k k1 dada por

X
kxk1 = |xn | (2.1.12)
n=1
1
define una norma en ` .
El subconjunto `1R `1 de sucesiones con valores reales es un espacio
vectorial real, con la estructura definida por las formulas en (2.1.9), en
el que (2.1.12) define una norma.

2.2. CONJUNTOS ABIERTOS EN ESPACIOS METRICOS 20
Otros ejemplos importantes de espacios normados de sucesiones son

X
2
` = {{xn } C : |xn |2 < } (2.1.13)
n=1
y
` = {{xn } C : sup |xn | < }. (2.1.14)
n
Razonando en forma analoga a la empleada en el caso de `1 , se prueba
que las formulas en (2.1.9) definen una estructura de espacio vectorial
complejo tanto en `1 como en ` con norma k k2 y k k , respectiva-
mente, donde
X 1/2
kxk2 = |xn |2 y kxk = sup |xn |. (2.1.15)
n
n
Como en el caso de `1 , los subconjuntos `2R `2 y `

R `

de suce-
siones reales son espacios vectoriales reales normados, con las mismas
formulas.
n 2.1.3. Sea (E, d) un espacio metrico. Si x, y, z E, entonces
Observacio
d(y, z) |d(x, z) d(x, y)|.
n. Por la desigualdad triangular,
Demostracio
d(x, z) d(x, y) + d(y, z) y d(x, y) d(x, z) + d(y, z).
Esto implica que
d(x, z) d(x, y) d(y, z) y d(x, y) d(x, z) d(y, z),
lo cual concluye la demostracion.
2.2. Conjuntos abiertos en espacios m

etricos
n 2.2.1. Sea (E, d) un espacio metrico. Dados x E y > 0,
Definicio
la bola abierta de centro x y radio es el conjunto
B (x) = {y E : d(x, y) < }.
Cuando pueda haber lugar a confusion con respecto al espacio metrico E en el
que se considera la bola, la indicaremos con BeE psilon(x).
Ejemplo 2.2.2. Sean (E, d) un espacio metrico discreto, x E y > 0.
Entonces (
{x} si 1,
B (x) =
E si > 1.
Observacio n 2.2.3. Sean (E, d) un espacio metrico, F E, x F y

> 0. Sean B (x) y BF (x) la bola de centro x y radio en E y en F con la
E
metrica relativa, respectivamente.

Entonces
BF (x) = F BE (x).

n 2.2.4. Sean (E, d) un espacio metrico, x E y 0 < 1 2 .

Observacio
Entonces
B1 (x) B2 (x).
n 2.2.5. Sean (E, d) un espacio metrico, x, y, z E y 1 , 2 >
Proposicio
0.
1. Si y B1 (x), entonces B1 d(x,y) (y) B1 (x).
2. Si y B1 (x) B2 (z), entonces
B (y) B1 (x) B2 (z),
donde = mn{1 d(x, y), 2 d(z, y)}.
Demostracio n.
1. Si u B1 d(x,y) (y), entonces
d(u, x) d(u, y) + d(y, x) < 1 d(x, y) + d(x, y) = 1 .
Por lo tanto, u B1 (x).
2. Por la parte anterior,
B1 d(x,y) (y) B1 (x) y B2 d(z,y) (y) B2 (z).
La afirmacion es ahora consecuencia de la observacion 2.2.4.

n 2.2.6. Sea (E, d) un espacio metrico. Un subconjunto A de E
Definicio
es abierto (en E) si para todo a A existe > 0 tal que B (a) A.
Ejemplos 2.2.7.
1. Las bolas abiertas en un espacio metrico son conjuntos abiertos, por la
parte 1 de la proposicion 2.2.5.
2. El intervalo I = (0, 1] no es abierto en R: 1 I pero, para todo ,

B (1) 6 I porque 1 + 2 6 I.
3. El intervalo I = (0, 1] es abierto en (, 1], por la observacion 2.2.3 y

porque
Bx (x) I (, 1],
para todo x I.
4. Todo intervalo abierto (a, b) en R es abierto en R: alcanza con obser-

var, en virtud del ejemplo 2.2.7.1, que (a, b) es la bola abierta de centro
a + ba
2
y radio ba
2
.
5. Todo subconjunto de un espacio metrico discreto es abierto, por el

ejemplo 2.2.2.
6. El conjunto
A = {x `1 : x0 6= 0}

es abierto en `1 porque, si x A, entonces B|x0 | (x) A. En efecto, si

z B|x0 | (x), entonces
|z0 x0 | kz xk1 < |x0 |.
Entonces, por la observacion 2.1.3,

|z0 | |z0 x0 | |x0 | > 0.
Proposicio n 2.2.8. Sea (E, d) un espacio metrico.
Entonces:
1. Los conjuntos E y son abiertos. S
2. Si {Ai }iI es una familia de conjuntos abiertos en E, entonces i Ai
es abierto.
3. Si A1 , A2 , , An son conjuntos abiertos en E, entonces ni=1 Ai es
T
abierto.
Demostracio n.
1. La afirmaciSon es obvia.
2. Dado x i Ai , sea i0 I tal que x Ai0 . Como Ai0 es abierto, existe
> 0 tal que [
B (x) Ai0 Ai ,
i
como queramos
Tn probar.
3. Dado x i=1 Ai , para cada i = 1, 2, , n existe i > 0 tal que
Bi (x) Ai . Sea = mn{i : i = 1, 2. , n}. Entonces > 0 y
\
B (x) Ai .
i

Observacio n 2.2.9. La afirmacion 3 de la proposicion 2.2.8 no vale si la
cantidad de conjuntos no es finita, como lo prueba el siguiente ejemplo:

\ 1 1
( , ) = {0}.
n=1
n n
Proposicio n 2.2.10. Sea (E, d) un espacio metrico. Un subconjunto no
vaco de E es abierto si y solo si es union de bolas abiertas.
Demostracio n. Sea A E un conjunto abierto. Entonces, para cada
a A existe a > 0 tal que a Ba (a) A y, por lo tanto,
[
A= Ba (a).
aA
La afirmacion recproca es consecuencia del ejemplo 2.2.7.1 y de la parte 2 de
la proposicion 2.2.8.
Observacio n 2.2.11. Se probo, en particular, en la demostracion de la
proposicion 2.2.10 que si A es un conjunto abierto en un espacio metrico, para
cada a A existe a > 0 tal que
[
A= Ba (a).
aA

n 2.2.12. Sea (E, d) un espacio metrico. Un subconjunto F de

Definicio
E es cerrado (en E) si su complemento es abierto.
Ejemplos 2.2.13.
1. Bolas cerradas. Si x es un elemento de un espacio metrico E y r > 0,
la bola cerrada de centro x y radio r es el conjunto:
Br (x) = {y E : d(x, y) r}.
Una bola cerrada es un conjunto cerrado: si y 6 Br (x) y z Bd(x,y)r (y),
entonces
d(x, z) d(x, y) d(y, z) > d(x, y) d(x, y) + r = r.
Se probo as que
Bd(x,y)r (y) Br (x)c
si y Br (x)c , lo cual prueba que Br (x)c es abierto, es decir, que
Br (x) es cerrado.
2. Un intervalo cerrado [a, b] es cerrado en R porque es la bola cerrada de

centro a + ba
2
y radio ba
2
.
3. Por el ejemplo 2.2.7.6, el conjunto

F = {x `1 : x0 = 0}
es cerrado en `1 .
Proposicio n 2.2.14. Sean (E, d) un espacio metrico y F E.
1. Un subconjunto A de F es abierto en F si y solo si A = F S, donde
S es un conjunto abierto en E.
2. Un subconjunto A de F es cerrado en F si y solo si A = F S, donde
S es un conjunto cerrado en E.
Demostracio n.
1) Si A es abierto en F , entonces, por la proposicion 2.2.10, existe una
familia de bolas abiertas {BFi (xi )} tal que
[
A= BFi (xi ).
Entonces, por la observacion 2.2.3,
[ [ [
BFi (xi ) = F BEi (xi ) = F BEi (xi ) = F S,

A= (2.2.1)
donde S = BEi (xi ) es abierto en E.
S
Recprocamente, si A = F S, donde S es abierto en E, dado a A, existe
> 0 tal que B (a) S. Por lo tanto,
BF (a) = F B (a) F S = A,
lo cual prueba que A es abierto en F .

2.3. METRICAS EQUIVALENTES 24
2) Es consecuencia directa de la parte anterior y del hecho de que el com-

plemento en F de F S, con S E, es F S c , donde S c es el complemento
de S en E.
Ejemplo 2.2.15. El conjunto A = [0, 1) es abierto y cerrado en E =
[0, 1) (2, 3], porque
[0, 1) = [0, 1] E = (1, 1) E.
Proposicio n 2.2.16. Sean d1 y d2 metricas en un conjunto E. Las si-
guientes afirmaciones son equivalentes:
1. Para toda bola abierta Bd1 (x) en (E, d1 ) existe > 0 tal que
Bd2 (x) Bd1 (x),
donde Bd2 (x) es la bola abierta en (E, d2 ).
2. Todo conjunto abierto en (E, d1 ) es abierto en (E, d2 ).
Demostracio n.
1 2: Sea A un conjunto abierto en (E, d1 ). Entonces, como en la obser-
vacion 2.2.11, [
A= Bda1 (a).
aA
Sea ahora, para cada a A, a > 0 tal que
Bda2 (a) Bda1 (a).
Entonces [ [
A Bda2 (a) Bda1 (a) = A.
aA aA
Por lo tanto,
[
A= Bda2 (a)
aA
y, por la proposicion 2.2.10, A es abierto en (E, d2 ).
2 1: La bola abierta Bd1 (x) es abierta en (E, d2 ) y contiene a x. Por lo
tanto, existe > 0 tal que
Bd2 (x) Bd1 (x).

2.3. M
etricas equivalentes
Definicio n 2.3.1. Dos metricas d1 y d2 en un conjunto E son equiva-
lentes si un subconjunto A de E es abierto en (E, d1 ) si y solo si lo es en
(E, d2 ).
Observacio n 2.3.2. En virtud de la proposicion 2.2.16, las metricas d1 y
d2 son equivalentes si y solo si, dadas bolas abiertas Bd11 (x) y Bd12 (x), existen
2 > 0 y 2 > 0 tales que
Bd22 (x) Bd11 (x) y Bd21 (x) Bd12 (x).

Ejemplo 2.3.3. La metrica discreta y la metrica habitual en Z son equi-

valentes: con ambas son abiertos todos los subconjuntos de Z.
Suele probarse en cursos de Calculo que las metricas d1 , d2 y d en Rn son
equivalentes. La siguiente proposicion extiende ese resultado a otros productos
cartesianos de espacios metricos.
Proposicio n 2.3.4. Sea (Ei , mi ) un espacio metrico para i = 1, 2, , n,
y sea E el producto cartesiano
E = E1 E2 En .
Sean d1 , d2 y d las funciones
d1 , d2 , d : E E R
definidas por
n n
X X 1/2
d1 (e, f ) = mi (ei , fi ), d2 (e, f ) = (mi (ei , fi )2 (2.3.1)
i=1 i=1
y d (e, f ) = max{mi (ei , fi ) : i = 1, , n}.
i
donde e = (e1 , e2 , , en ) y f = (f1 , f2 , , fn ).

Entonces d1 , d2 y d son metricas equivalentes en E.
Demostracio n. No es difcil probar directamente que d es una metrica
para {1, 2, }. Tambien se puede observar que
d (e, f ) = km(e, f )k para todo {1, 2, }, e E y f F,
donde, si e = (e1 , e2 , , en ) y f = (f1 , f2 , , fn ), m(e, f ) Rn es el vector
m(e, f ) = (m1 (e1 , f1 ), m2 (e2 , f2 ), , mn (en , fn ))
y k k1 , k k2 , k k son las normas en Rn definidas en (2.1.4) y (2.1.5).
Si x, y Rn , x = (x1 , x2 , , xn ), y = (y1 , y2 , , yn ) son tales que
0 xi yi , i = 1, , n,
entonces, como
|yi xi | = yi xi yi ,
para todo i = 1, 2, , n, se tiene que
kxk ky k para todo {1, 2, }.
Por lo tanto, dados e, f, g E, y {1, 2, },
d (e, g) =km(e, gk km(e, f ) + m(f, g)k (2.3.2)
km(e, f )k + km(f, g)k = d (e, f ) + d (d, g), (2.3.3)
lo cual prueba la desigualdad triangular.
El resto de las propiedades en la definicion de distancia se verifican facil-
mente a partir del hecho de que mi es una distancia y k k una norma para
todo i = 1, , n y {1, 2, }.
Las tres metricas son equivalentes por la observacion 2.3.2, ya que
d1
Bd1 (e) Bd2 (e) Bd (e) Bn (e), (2.3.4)

para todo e E y > 0. Las dos u ltimas inclusiones son claras, y la primera
se debe a la desigualdad
n n
X 2 X
ai a2i , si ai 0 para todo i = 1, 2, n,
i=1 i=1
que se verifica desarrollando el termino de la izquierda.
Definiciones 2.3.5.
1. Sea F un subconjunto de un espacio metrico (E, d). El di
ametro de
F es cero si F = , y es
diam(F ) = sup{d(x, y) : x, y F } R {+}.
2. Se dice que un subconjunto F de un espacio metrico (E, d) esta aco-
tado si su diametro es finito.
3. Se dice que una distancia d en un conjunto E esta acotada si el diame-
tro de E es finito (es decir, si E es un conjunto acotado).
Observacio n 2.3.6. Un subconjunto F de un espacio metrico E esta aco-
tado si y solo si esta contenido en una bola cerrada. Por un lado, si F esta aco-
tado y D es el diametro de F ,

F BD (x) (2.3.5)
para todo x F .
Por otro lado, si F verifica (2.3.5) para alg
un D > 0, entonces
diam(F ) 2D.
En particular, la nocion de acotacion definida en la definicion 2.3.5.2 coincide,
en Rn , con la habitual.
Proposicio n 2.3.7. Toda distancia d en un conjunto E es equivalente a
una distancia acotada d0 que verifica
d0 (x, y) 1,
para todo x, y E.
Demostracio n. Sea d0 (x, y) = mn{1, d(x, y)}. Para probar que d0 veri-
fica la desigualdad triangular
d0 (x, z) d0 (x, y) + d0 (y, z), (2.3.6)
observese que si uno de los dos sumandos en el lado derecho de (2.3.6) es igual
a uno, la desigualdad se verifica porque
d0 (x, z) 1 d0 (x, y) + d0 (y, z).
En caso contrario, se tiene que
d0 (x, z) d(x, z) d(x, y) + d(y, z) = d0 (x, y) + d0 (y, z).
Se verifica ahora sin dificultad que d0 es una distancia. Finalmente, d0 es
equivalente a d porque, como
Bd = Bd0 para todo tal que 0 < 1,
las dos metricas inducen los mismos conjuntos abiertos.
Captulo 3
Espacios topol
ogicos

Se prueba a menudo en los cursos de Calculo que, a muchos efectos, trabajar
con cualquiera de las tres metricas habituales en Rn es equivalente. Esto se
debe, en el fondo, a que las tres metricas inducen los mismos conjuntos abiertos
(proposicion 2.3.4), y sugiere la idea de concentrarse no en la metrica sino en
la familia de conjuntos abiertos. Ese es el mecanismo por el cual uno pasa
del estudio de los espacios metricos al de una clase mas general: la de los
espacios topologicos, en los que hay una nocion de conjunto abierto que
no necesariamente proviene de una distancia en el espacio. Formalizamos esta
idea en la siguiente definicion.
Definicio n 3.1.1. Un espacio topol ogico (X, ) consiste en un conjunto
X junto con una familia de subconjuntos de X, llamada topologa, que
verifica:
1. X , . S
2. Si {Ai }iI , entonces iI Ai .
3. Si A1 , A2 , An , entonces A1 A2 An .
Los elementos de se llaman conjuntos abiertos de X. Los elementos de
X a menudo se llaman puntos.
Ejemplos 3.1.2.
1. Sea (E, d) un espacio metrico. La proposicion 2.2.8 prueba que
d = {A E : A es abierto en (E, d)}
define una topologa en E. Ademas, dos metricas d1 y d2 en E son
equivalentes si y solo si las topologas que inducen son iguales.
Se dice que una topologa es metrizable si proviene de una distan-
cia.
2. La topologa discreta en un conjunto X es

= P(X).
Observese que, por el ejemplo 2.2.7.5, la topologa inducida por la
metrica discreta es la topologa discreta.
3. La topologa indiscreta en un conjunto X es

= {, X}.
27
4. La topologa de los complementos numerables en un conjunto X

es la topologa
= {A X : A = o Ac es numerable}.
En efecto, por las leyes de De Morgan (proposicion 1.1.1), si Ai
para todo i I, entonces
[ c \
Ai = Aci ,
iI
que es numerable, a menos que Ai = para

S S todo i I, en cuyo caso
iI Ai = . En cualquier caso, entonces, iI Ai .
Por otro lado, si A1 , A2 , , An , entonces
n
\ c [
Ai = Aci ,
i=1 i
que es numerable por la proposicion 1.3.11, a menos que Ai = para

un i = 1, , n, en cuyo caso
alg
n
\
Ai = .
i=1
5. La topologa de los complementos finitos en un conjunto X es la

topologa
= {A X : A = o Ac es finito}.
La verificacion de que es una topologa es analoga a la del ejemplo
4, y se deja a cargo del lector.
6. Sean (X, ) un espacio topologico e Y X un subconjunto. La topo-

loga relativa a en Y es
Y = {A Y : A }.
Se prueba facilmente que Y es, efectivamente, una topologa en Y .
Observese que, por la proposicion 2.2.14 , si esta inducida por una
metrica d en X, entonces la topologa relativa Y esta inducida por la
metrica relativa dY en Y .
7. La topologa del cero en R es la topologa con respecto a la cual un

conjunto A R es abierto si es vaco o si contiene al cero.
Mencionamos esta topologa porque sera un ejemplo importante a
lo largo del curso, pero es un caso particular de la topologa que, como
se prueba sin dificultades, se obtiene en un conjunto no vaco X al ele-
gir x0 X y declarar abiertos los conjuntos que son vacos o contienen
a x0 .
8. La topologa par-impar en Z es
= {A Z : 2n A2n 1 A, para todo n Z}.
Se verifica facilmente que es una topologa.
n 3.1.3. Sean (X, ) un espacio topologico y x X. Un conjunto
Definicio
U X es un entorno de x si existe un conjunto abierto A tal que
x A U.
Indicaremos con Nx la familia de entornos del punto x.
Ejemplos 3.1.4.
1. En la topologa de los complementos numerables (finitos) en un con-
junto X, para todo x X
Nx = {A X : A es abierto y x A}.
Es claro que los conjuntos abiertos que contienen a x son entornos de
x. Por otro lado, si U Nx , existe un conjunto abierto A X tal que
x A U.
Entonces U c Ac , y, por lo tanto, U c es numerable (finito). Entonces
U es abierto.
2. En el espacio topologico del ejemplo 3.1.2.8, un conjunto V Z es un

entorno de 3 si y solo si {3, 4} V . Por un lado, si V N3 existe
un abierto A tal que 3 A V . Por lo tanto, 4 A y se tiene que
{3, 4} V .
Recprocamente, como {3, 4} es abierto, V N3 si {3, 4} V .
Proposicio n 3.1.5. Sean (X, ) un espacio topologico y x X.
Entonces
1. Nx 6= .
2. Si V Nx y V U X, entonces U Nx .
3. Si V Nx , existe U Nx tal que U es abierto y U V .
4. Si U, V Nx , entonces U V Nx .
5. Un subconjunto A de X es abierto si y solo si A Na para todo a A.
Demostracio n.
1) X Nx .
2) y 3) son obvios a partir de la definicion.
4) Sean A y B conjuntos abiertos tales que
x A U y x B V.
Entonces A B es abierto y
x A B U V,
de donde resulta que U V Nx .
5) Es claro que si A es abierto, entonces A Na para todo a A. Recpro-
camente, si A es un entorno de todos sus puntos, para cada a A existe un
conjunto abierto Ua tal que
a Ua A.
S
Por lo tanto, A = aA Ua es abierto.
Definiciones 3.1.6. Sean (X, ) un espacio topologico y A X. Un punto
a A es interior a A si A Na . El interior de A es el conjunto
= {a A : a es interior a A}.
A
Observaciones 3.1.7.
1. Por la parte 5 de la proposicion 3.1.5, un conjunto A es abierto si y

solo si A = A.
2. Sea (X, ) un espacio topologico. Si A y B son subconjuntos de X tales
que A B, entonces A B: Si a A, entonces A Na . Por la parte

2 de la proposicion 3.1.5, B Na ; es decir, a B.
Proposicio n 3.1.8. Sea A un subconjunto de un espacio topologico X.
es el mayor subconjunto abierto de X contenido en A.
Entonces A
Demostracio n. Es claro que A A. Ademas, A es abierto: si a A,

existe un conjunto abierto U tal que a U A. Entonces todos los puntos de
U son puntos interiores de A. Por lo tanto, a U A, de donde se concluye
es decir, A
que a es interior a A; es un entorno de a. Entonces A es abierto,
por la parte 5 de la proposicion 3.1.5 .
Finalmente, si B X es abierto y esta contenido en A, por las observa-
ciones 3.1.7,
B=B A.

Corolario 3.1.9. Sea A un subconjunto de un espacio topologico X. En-
tonces

= A.

A
Demostracio n. La afirmacion es consecuencia inmediata de la observa-
cion 3.1.7.1, y de la proposicion 3.1.8.
Ejemplo 3.1.10. Consideremos el espacio topologico R con la topologa
del cero. Dado A R, es claro, a partir de la proposicion 3.1.8, que
(
= A si 0 A,
A
si 0 6 A,
Definiciones 3.1.11. Sean (X, ) un espacio topologico y A X.
1. La clausura de A es el conjunto
A = {x X : V A 6= para todo V Nx }.
2. Un punto x X es un punto de acumulaci
on de A si

V \ {x} A 6= ,
para todo V Nx .
3. Un punto x A es un punto aislado de A si no es de acumulacion
de A.
4. La frontera de A es el conjunto
A = A Ac .

5. Se dice que el conjunto A es cerrado si A = A.
Observacio n 3.1.12. Sean (X, ) un espacio topologico y A X. Un
punto x A es aislado si y solo si el conjunto {x} es abierto en A. En efecto,
si x es un punto aislado de A, por la parte 3 de la proposicion 3.1.5, existe un
entorno abierto U de x tal que

U \ {x} A = .
Es decir,
{x} = U A,
que es abierto en A.
Es claro que vale la afirmacion recproca.
Observaciones 3.1.13. Sean A y B subconjuntos de un espacio topologico
(X, ). Es claro, a partir de la definicion de clausura, que
1. A A.
2. Si A B, entonces A B.
El siguiente resultado muestra que, como cabe esperar, las definiciones de

conjunto cerrado en un espacio topologico y en un espacio metrico coinciden.
Proposicio n 3.1.14. Sean (X, ) un espacio topologico y A X. El con-
junto A es cerrado si y solo si Ac es abierto.
Demostracio Para cualquier V Nx se
n. Si Ac es abierto, sea x A.
tiene que V A 6= ; es decir V 6 A . Por lo tanto, x no es interior a Ac .
c
Como Ac es abierto, se tiene que x A. Se probo as que A A, de donde se

concluye que A es cerrado, por la observacion 3.1.13.1.
Recprocamente, si A es cerrado y x Ac , entonces x 6 A = A. Por lo
tanto, existe V Nx tal que V A = . Es decir, existe V Nx tal que
V Ac . Entonces x es interior a Ac . En consecuencia, Ac es abierto.
Corolario 3.1.15. Sea (X, ) un espacio topologico.
Entonces
1. X y son cerrados. T
2. Si {Ai }iI es una familia de conjuntos cerrados en X, entonces iI Ai
es cerrado.
3. Si A1 , A2 , An son conjuntos cerrados en X, entonces
A1 A2 An
es cerrado.
Demostracio n. Las afirmaciones se obtienen directamente a partir de la
definicion 3.1.1, la proposicion 3.1.14 y las leyes de De Morgan. Por ejemplo,
para probar 2),
\ c [
Ai = Aci ,
iI iI
T
que es abierto. Entonces, por la proposicion 3.1.14, iI Ai es cerrado. Las
demas afirmaciones se prueban en forma analoga.
Ejemplos 3.1.16.
1. Sea (X, ) un espacio topologico discreto. Todo subconjunto de X es
cerrado, por la proposicion 3.1.14. Por lo tanto, todo conjunto A X
tiene frontera vaca:
A = A Ac = A Ac = .
Ademas, como el conjunto {x} es abierto, todo punto x X es aislado.
2. En R, con la topologa del cero, un conjunto A 6= R es cerrado si y solo

si 0 6 A.
El unico punto aislado es 0, ya que {0} N0 y que, para todo
x R, 0 V para todo V Nx .
Si A R,
(
R si 0 A,
A =
A si 0 6 A.
3. En Z con la topologa par-impar, un conjunto es cerrado si y solo si es

abierto: A Z es cerrado si y solo si Ac es abierto, es decir, si y solo
si, para todo n Z,
2n 6 A2n 1 6 A.
Es decir, si
2n A2n 1 A,
que es equivalente a que A sea abierto.
4. Sean (E, d) un espacio metrico, x E y r > 0.

Entonces
Br (x) Br (x).
En efecto, si y 6 Br (x), entonces d(y, x) > r. Eso implica, por la
desigualdad triangular, que
Bd(y,x)r Br (x) =
y, por lo tanto, que y 6 Br (x).

La inclusion puede ser estricta: si E es un espacio metrico discreto
con mas de un punto y x E, entonces
B1 (x) = B1 (x) = {x} ( E = B1 (x).
Proposicio n 3.1.17. Sean (X, ) un espacio topologico y A X.

c =(Ac ) .
Entonces (A)

3.2. AXIOMAS DE SEPARACION 33
n. Sea x X.
Demostracio
c x 6 A
x (A) existe U Nx tal que U A =

existe U Nx tal que U Ac x (Ac ) .

Proposicio n 3.1.18. Sean (X, ) un espacio topologico y A X. La
clausura de A es el menor subconjunto cerrado de X que contiene a A.
Demostracio n. Por la proposicion 3.1.17 y la observacion 3.1.13.1 A es
cerrado y contiene a A.
Por otro lado, si F es cerrado y F A, entonces F c es abierto y F c Ac .
Se sigue entonces de la proposicion 3.1.8 que

c.
F c (Ac )= (A)

Por lo tanto, F A.
Corolario 3.1.19. Sean (X, ) un espacio topologico y A X. Entonces
A = A.

Observacio n 3.1.20. La frontera de todo subconjunto A de un espacio

topologico es cerrada por el corolario 3.1.15 y la proposicion 3.1.18.
3.2. Axiomas de separaci

on
n 3.2.1. Un espacio topologico (X, ) es To si, para todo x, y
Definicio
X,
Nx = Ny x = y.
Ejemplos 3.2.2.
1. El conjunto de los enteros con la topologa par-impar no es T0 , porque,
como en el ejemplo 3.1.4.2, para todo n Z se tiene que
N2n = {A Z : {2n, 2n 1} A} = N2n1 .
2. R con la topologa del cero es T0 : dados x, y R, x 6= y. Uno de los

dos, por ejemplo y, es distinto de cero, y
{0, x} Nx \ Ny .
Proposicio n 3.2.3. Sea (X, ) un espacio topologico. Las siguientes afir-
maciones son equivalentes:
1. (X, ) es T0 .
2. Si x, y X y x 6= y, entonces existe U Nx tal que y 6 U o existe
V Ny tal que x 6 V .

3.2. AXIOMAS DE SEPARACION 34
Demostracio n.
1 2: Como (X, ) es T0 , existe A Nx \Ny o A Ny \Nx . Si A Nx \Ny ,
sea U un conjunto abierto tal que
x U A.
Si y U, por la parte 5 de la proposicion 3.1.5, U Ny . Pero en ese caso, por
la parte 2 de la proposicion 3.1.5, A Ny , en contradiccion con lo supuesto.
Por lo tanto, y 6 U y U Nx .
Si A Ny \ Nx . se procede en forma analoga.
2 1: Si vale la afirmacion 2, dados x, y X, x 6= y, existe U Nx \ Ny
o U Ny \ Nx y, por lo tanto, X es T0 .
n 3.2.4. Un espacio (X, ) es T1 si, para todo x X,
Definicio
\
U = {x}.
U Nx

1. (X, ) es T1 .
2. Si x, y X y x 6= y, entonces existen U Nx tal que y 6 U y V Ny
tal que x 6 V .
n. Basta con observar que
Demostracio
\
y 6 U existe U Nx tal que y 6 U.
U Nx

Corolario 3.2.6. Todo espacio topologico T1 es T0 .
n. La afirmacion es obvia a partir de las proposiciones 3.2.3
Demostracio
y 3.2.5.
Corolario 3.2.7. Un espacio topologico (X, ) es T1 si y solo si el con-
junto {x} es cerrado para todo x X.
Demostracio n. El conjunto {x} es cerrado si y solo si {x}c es abierto, es
decir, si y solo si para todo y 6= x existe V Ny tal que V {x}c . Finalmente,
ltima afirmacion es equivalente a que, para todo y 6= x, exista V Ny tal
la u
que x 6 V , es decir, a que (X, ) sea T1 .
Ejemplos 3.2.8.
1. Se vio en el ejemplo 3.2.2.2 que R con la topologa del cero es T0 . No
es T1 : si x 6= 0 \
U = {0, x} =
6 {x}.
U Nx
2. Un conjunto X no vaco con la topologa de los complementos nume-

rables (finitos) es T1 , porque si x 6= y, el conjunto {y}c es un entorno
abierto de x que no contiene a y.
3.3. AXIOMAS DE NUMERABILIDAD 35
Definicio n 3.2.9. Un espacio topologico (X, ) es de Hausdorff o T2 si

dados dos puntos distintos x, y X, existen U Nx y V Ny tales que
U V = .
Observacio n 3.2.10. Un espacio topologico (X, ) es de Hausdorff si da-
dos dos puntos distintos x, y X, existen entornos abiertos U y V, de x e
y respectivamente, tales que U V = , porque, si U0 Nx y V0 Ny son
disjuntos, existen conjuntos abiertos U y V tales que
x V V0 y y W W0 ,
y es claro que U y V tambien son disjuntos.
Observacio n 3.2.11. Todo espacio topologico de Hausdorff es T1 (y, por
el corolario 3.2.6, tambien es T0 ).
Demostracio n. La afirmacion es consecuencia inmediata de las proposi-
ciones 3.2.3 y 3.2.5.
Ejemplos 3.2.12.
1. Todo espacio metrico (E, d) es de Hausdorff, porque, si x 6= y, las bolas
B (x) y B (y), con < d(x,y)
2
, son disjuntas: si z B (x), entonces
d(z, y) d(y, x) d(x, z) > d(y, x) > .
Por lo tanto, z 6 B (y).
2. Sea X un conjunto no numerable con la topologa de los complementos

numerables. Vimos en el ejemplo 3.2.8.2 que X es T1 .
Veremos a continuacion que no es de Hausdorff. Sean A y B entor-
nos de dos puntos diferentes en X. Por el ejemplo 3.1.4.1, A y B son
abiertos no vacos.
Por lo tanto
(A B)c = Ac B c ,
que es numerable y, en consecuencia, no es todo X.
Es decir,
A B 6= .
El mismo argumento prueba que un conjunto infinito con la topologa
de los complementos finitos no es de Hausdorff.
3.3. Axiomas de numerabilidad

n 3.3.1. Sea (X, ) un espacio topologico. Un subconjunto Y de
Definicio
X es denso en X si
Y = X.
Proposicio n 3.3.2. Un subconjunto Y de un espacio topologico X es den-
so si y solo si Y U 6= para todo subconjunto abierto no vaco U de X.
Demostracio n. Si Y es denso en X y U X es abierto y no vaco, sea

u U . Entonces U Nu y u Y , por lo que se tiene que
U Y 6= .
Recprocamente, si Y U 6= para todo subconjunto abierto no vaco U de
X, sea x X. Dado V Nx , existe un conjunto abierto U tal que x U V .
Entonces Y U 6= y, en consecuencia, Y V 6= . Se ha probado as que
x Y para todo x X. Por lo tanto, Y es denso en X.
Ejemplos 3.3.3.
1. El conjunto Q de los n
umeros racionales es denso en R. Todo entorno
de un n
umero real x contiene una bola
Br (x) = (x r, x + r),
y en todo intervalo abierto hay alg
un n
umero racional. Por lo tanto
x Q.
2. Ningun subconjunto propio de un espacio topologico discreto es denso:

si Y X y x 6 Y , entonces {x} es abierto y {x} Y = .
3. El conjunto {0} es denso en R con la topologa del cero, por el ejemplo

3.1.16.2.
4. El conjunto P = {2n : n Z} es denso en Z con la topologa par-impar.

Por el ejemplo 3.1.16.3 y la proposicion 3.1.18, la clausura de P es el
menor abierto que contiene a P, que es Z.
5. Sea X un conjunto infinito con la topologa de los complementos finitos.

Todo subconjunto infinito Y es denso en X: si U X es abierto,
entonces U c es finito. Por lo tanto, Y 6 U c , es decir, Y U 6= .
En forma analoga se prueba que todo conjunto no numerable es
denso en un conjunto no numerable con la topologa de los comple-
mentos numerables.
Definicio n 3.3.4. Un espacio topologico (X, ) es separable si tiene un
subconjunto denso y numerable.
Ejemplos 3.3.5.
1. El conjunto R de los n
umeros reales es separable por el ejemplo 3.3.3.1.
2. R con la topologa del cero es separable por el ejemplo 3.3.3.3.
3. Como por la proposicion 1.3.15 todo conjunto infinito tiene un subcon-

junto numerable, se sigue del ejemplo 3.3.3.5 que un conjunto infinito
con la topologa de los complementos finitos es separable.
4. Un conjunto no numerable X con la topologa de los complementos

numerables no es separable: si Y X es numerable, entonces Y c es un
abierto no vaco disjunto con Y , lo cual implica que Y no es denso.
5. El conjunto ` definido en (2.1.14) y (2.1.15) no es separable. Sea

` el conjunto de sucesiones con valores en {0, 1}. Como se vio en
la demostracion de la proposicion 1.3.20, no es separable. Si x, y
y x 6= y, entonces
d(x, y) = kx yk = 1
y, por la desigualdad triangular,
B 1 (x) B 1 (y) = .
2 2
Entonces la familia
A = {B 1 (x) : x }
2
es una familia no numerable de conjuntos abiertos dos a dos disjuntos.

Si Y ` es un subconjunto denso, en cada abierto A A hay
un punto yA Y . Como las bolas son dos a dos disjuntas, yA 6= yB
alg
si A y B son abiertos distintos en A.
Por lo tanto, la correspondencia
A 7 yA
es una funcion inyectiva del conjunto no numerable A en Y . Eso prueba
que Y no es numerable, porque si fuera numerable tambien lo sera el
conjunto {yA : A A}. Se probo as que ` no tiene subconjuntos
densos numerables, es decir, que no es separable.
Definicio n 3.3.6. Sea (X, ) un espacio topologico. Una familia de con-
juntos abiertos B es una base de si todo conjunto abierto no vaco de
X es union de elementos de B.
En forma equivalente, se dice que B es una base de si para todo conjunto
abierto A existe B0 B tal que
[
A= U.
U B0
Esta ultima forma de enunciar la definicion tiene la ventaja de que no exige

tratar separadamente el caso A = , para el cual se toma B0 = .
Ejemplos 3.3.7.
1. La proposicion 2.2.10 prueba que la familia de bolas abiertas en un
espacio metrico es una base de la topologa inducida por la distancia.
2. Si B es una base de la topologa en X, e Y X, entonces

BY = {U Y : U B}
es una base de la topologa relativa en Y .
3. La familia B = {{x} : x X} es una base de la topologa discreta en

el conjunto X.
4. La familia B = {{0, x} : x R} es una base de la topologa del cero

en R.
5. La familia B = {{2n, 2n1} : n Z} es una base de Z con la topologa

par-impar.
Proposicio n 3.3.8. Una familia no vaca B de subconjuntos de un con-
junto X es base de una topologa en X si y solo si verifica las siguientes
condiciones:
S
1. U B U = X.
2. Dados U, V B y x U V, existe A B tal que
x A U V.
Demostracio n. Supongamos primero que B es base de una topologa .
Como X , existe una subfamilia B0 B tal que
[
X= U,
U B0
lo cual implica 1). Ademas, dados U, V B, U V es abierto y, por lo tanto,

existe B1 B tal que
[
U V = A.
AB1
Entonces, si x U V , existe Ax B1 tal que
x Ax U V.
Supongamos ahora que B satisface las condiciones 1) y 2). Probaremos que
[
= {W X : W = U para algun subconjunto B0 B}
U B0
es una topologa en X. Es claro que, en ese caso, B es una base de .

Por la condicion 1), X .
Ademas,
[
= U .
U
Es claro que la union de miembros de pertenece a .
Finalmente, si W1 , W2 , Wn , se va a probar que ni=1 Wi . Sea
Bi B tal que
[
Wi = U,
U Bi
para i = 1, 2, n.
Entonces [
W1 W2 Wn = U1 U2 Un ,
Ui Bi
y alcanza con probar que
U1 U2 Un
si U1 , U2 , , Un B. Dado x U1 U2 Un , por la propiedad 2) (e

induccion en n) existe Ax B tal que
x Ax U1 U2 Un .
Es claro ahora que
[
U1 U2 Un = Ax .
xUi

Definicio n 3.3.9. Sea (X, ) un espacio topologico. Una familia de con-
juntos abiertos S es una subbase de si la familia
B = {U1 U2 Un : n N, Ui S, para todo i = 1, , n}
es una base de . Se dice en ese caso que es la topologa generada por
S.
Observacio n 3.3.10. Se concluye inmediatamente a partir de la proposi-
cion 3.3.8 que una familia no vaca S de subconjuntos de X es subbase de una
topologa si y solo si [
X= U.
U S
Ejemplos 3.3.11.
1. La familia
S = {(, a), (b, +) : a, b R}
es una subbase de la topologa habitual en R.
Observese primero que los elementos de S son, efectivamente, con-
juntos abiertos, porque
[ [
(, a) = (n, a) y (b, +) = (b, n).
nN nN
Ademas, toda bola abierta es interseccion de una cantidad finita de

elementos de S:
Br (x) = (x r, x + r) = (, x + r) (x r, +).
Entonces, por el ejemplo 3.3.7.1, S es una subbase.
2. La familia
S = {{x}c : x X}
es una subbase de la la topologa de los complementos finitos en el
conjunto X, porque, si A X es abierto y no vaco, entonces
n n n
c
[ [ c \
A = {xi } y, por lo tanto, A = {xi } = {xi }c .
i=1 i=1 i=1
n 3.3.12. Sean 1 y 2 topologas en un conjunto X. Se dice que

Definicio
as fina o mayor que 2 , o que 2 es menor que 1 , si 2 1 .
1 es m
Proposicio n 3.3.13. Sean (X, ) un espacio topologico y sea S una sub-

base de . Entonces es la menor topologa en X que contiene a S.
n. Sea una topologa en X que contiene a S.
Demostracio
Entonces
B = {U1 U2 Un : n N, Ui S para todo i = 1, , n} .
Ahora, dado U , existe B0 B tal que
[
U= V .
V B0

n 3.3.14. Se dice que un espacio topologico (X, ) verifica el
Definicio
segundo axioma de numerabilidad, o que es N2 , si tiene una base nume-
rable.
Ejemplos 3.3.15.
1. Un espacio topologico (X, ) es N2 si tiene una subbase numerable S,
porque, en ese caso, la base
B = {U1 U2 Un : n N, Ui S, para todo i = 1, , n}
es numerable, ya que la correspondencia
[
: S n B, dada por ({U1 , , Un ) = U1 U2 Un ,
n1
es sobreyectiva.
2. Un conjunto X con la topologa de los complementos finitos es N2 si y

solo si es numerable. Por un lado, si X es numerable, entonces verifica el
segundo axioma de numerabilidad, por los ejemplos 3.3.11.2 y 3.3.15.1.
Por otro lado, si X no es numerable y {Bn } es una base numerable
de conjuntos no vacos de la topologa de los complementos finitos en
X, entonces \ c [
Bn = Bnc
n n
es numerable y, por lo tanto,
\ c \
Bn 6= X, es decir, Bn 6= .
n n
Sea x n Bn . Entonces {x} es abierto, pero Bk 6 {x}c para todo

c
T
k N, lo cual contradice el hecho de que {Bn } es una base.
3. Un espacio topologico discreto X es N2 si y solo si es numerable. Si

es numerable, es N2 por el ejemplo 3.3.7.3. Si no es numerable, y B es
una base, cada conjunto {x} es union de elementos de B. Por lo tanto,
{x} B para todo x X y, en consecuencia, B no es numerable.
4. Sea (X, ) un espacio topologico N2 . Entonces todo subconjunto de X

es N2 con la topologa relativa, por el ejemplo 3.3.7.2.
n 3.3.16. Todo espacio topologico N2 es separable.

Proposicio
Demostracio n. Dada una base numerable {Bn }nN de la topologa
en X, sea bn Bn para cada n N. El conjunto {bn }nN es denso, por la
proposicion 3.3.2, porque, si A X es abierto
[
A= Bk , para alg
un subconjunto K de N.
kK
Entonces bk A para todo k K.

El siguiente ejemplo muestra que, en general, no vale el recproco de la
proposicion 3.3.16.
Ejemplo 3.3.17. Sea X un conjunto no numerable con la topologa de los
complementos finitos. Entonces X es separable, por el ejemplo 3.3.5.3, pero,
por el ejemplo 3.3.15.2, no es N2 .
Probamos a continuacion que el recproco de la proposicion 3.3.16 vale, sin
embargo, para espacios metricos.
n 3.3.18. Un espacio metrico es N2 si y solo si es separable.
Proposicio
Demostracio n. Dado un subconjunto numerable y denso {xn } de un
espacio metrico separable (E, d), sea
B = {B 1 (xn ) : m, n N}.
m
Se va a probar que B es una base de la topologa inducida por la metrica.

Dados un conjunto abierto A E y a A, sea ma N tal que
B 1 (a) A. (3.3.1)
ma
Sea ahora na N tal que

xna B 1 (a). (3.3.2)
2ma
Por la desigualdad triangular, y por (3.3.1) y (3.3.2),

aB 1 (xna ) B 1 (a) A.
2ma ma
Entonces [
A= B 1 (xna ).
2ma
aA
Por lo tanto, B es una base, y es claro que es numerable. En consecuencia, E
es N2 .
El recproco se probo en la proposicion 3.3.16.
Ejemplo 3.3.19. Resulta de la proposicion 3.3.18 y del ejemplo 3.3.5.1 que
R, con la topologa habitual, es N2 .
Definiciones 3.3.20. Sean (X, ) un espacio topologico e Y X. Un
cubrimiento abierto de Y es una familia {U } de conjuntos abiertos en
X tal que [
Y U .

Un subcubrimiento abierto del cubrimiento abierto {U } de Y es

una subfamilia {U }0 , donde 0 , tal que
[
Y U .
0
Definicio n 3.3.21. Un espacio topologico (X, ) es de Lindel

of si todo
cubrimiento abierto de X tiene un subcubrimiento numerable.
Teorema 3.3.22. (Lindelof) Todo espacio topologico N2 es de Lindelof.
Demostracio n. Dado un espacio topologico N2 (X, ), sean {Bn }nN una
base numerable de y {U } un cubrimiento abierto de X.
Para cada n N, sea
Ln = { : U Bn }.
Para cada n N tal que Ln 6= , se elige n Ln .
Se va a probar que {Un } es un subcubrimiento abierto de {U } . Sea
x X. Entonces x U0 para alg un 0 . Como U0 es abierto, existe
K N tal que [
U0 = Bk .
kK
Sea k0 K tal que x Bk0 . Entonces Lk0 6= y x Bk0 Uk0 .
Por lo tanto, [
X= Un
n
y {Un }nN es un subcubrimiento abierto de {U } . Es claro que es nume-
rable. Se ha probado as que (X, ) es de Lindelof.
El siguiente ejemplo muestra que no vale el recproco del teorema de Lin-
delof (3.3.22).
Ejemplo 3.3.23. Sea X un conjunto no numerable con la topologa de los
complementos finitos. Se vio en el ejemplo 3.3.15.2 que X no es N2 . S es de
Lindelof, incluso cuando no es numerable: dado un cubrimiento abierto {U }
de X, sea 0 tal que U0 6= .
Entonces
Uc0 = {x1 , x2 , xn }.
Sea ahora i tal que xi Ui , para i = 1, 2, , n. Entonces {U0 , U1 , , Un }
es un subcubrimiento finito de {U }.
n 3.3.24. Sean (X, ) un espacio topologico y x X. Una base
Definicio
de entornos o base local de x consiste en una familia {V }A Nx de
entornos de x tal que para todo entorno U Nx existe V0 A tal que
V 0 U .
Ejemplos 3.3.25.
1. Obviamente, para cualquier punto x de un espacio topologico, Nx es
una base de entornos.
2. Por la parte 3 de la proposicion 3.1.5, la familia de entornos abiertos

de un punto es una base local.
3. Sean (E, d) un espacio metrico, x E y {rn }nN una sucesion de

n
umeros positivos que tiende a cero. Entonces la familia
{Brn (x) : n N}
es una base de entornos de x. En efecto, dado un entorno V Nx ,
existe un conjunto abierto A tal que
x A V.
Sean r > 0 tal que Br (x) A y rn tal que rn < r. Entonces
Brn (x) Br (x) A V.
4. Sea (X, ) un espacio topologico. Si B es una base de , entonces
Bx = {V B : x V }
es una base de entornos de x: si U Nx , sea A un conjunto abierto tal
que
x A U.
Existe entonces B0 B tal que
[
A= W.
W B0
Sea W0 B0 tal que x W0 . Entonces W0 Bx y

W0 A U.
5. Sean X un espacio topologico discreto y x X. Entonces, por el ejem-

plo 4 y el ejemplo 3.3.7.3,
Bx = {{x}}
es una base local de x.
6. En R con la topologa del cero, para todo x R,

Bx = {{0, x}}
es una base local de x, por el ejemplo 4 y el ejemplo 3.3.7.4.
Definicio n 3.3.26. Un espacio topologico (X, ) verifica el primer axio-
ma de numerabilidad, o es N1 , si todo punto de X tiene una base de
entornos numerable.
n 3.3.27. Todo espacio N2 es N1 por el ejemplo 3.3.25.4.
Observacio
Ejemplos 3.3.28.
1. El ejemplo 3.3.25.3 prueba que todo espacio metrico es N1 .
2. Todo espacio discreto es N1 por el ejemplo 3.3.25.5.
3. R con la topologa del cero es N1 por el ejemplo 3.3.25.6.
4. Un conjunto X con la topologa de los complementos finitos es N1 si y

solo si es numerable. Si es numerable, se vio en el ejemplo 3.3.15.2 que
es N2 . Resulta entonces de la observacion 3.3.27 que es N1 .
Por otro lado, si es N1 y no es numerable, entonces, dada una base
local numerable {Nk } de un punto x X, se tiene que
\ c [
Nk = Nkc ,
k k
que es numerable
T y, por lo tanto, esta estrictamente
T contenido en {x}c .
Entonces k Nk 6= {x}, y existe y k Nk , y 6= x. Pero entonces
{y}c Nx y, para todo k, Nk 6 {y}c , lo cual contradice el hecho de
que {Nk } es una base local de x.
Observacio n 3.3.29. Sea (X, ) un espacio topologico. Si x X tiene una
base de entornos numerable, entonces tiene una base de entornos numerable y
decreciente: dada una base numerable {Un }nN , sean
V1 = U1 y Vk = Uk Vk1 para todo k > 1.
Es claro que Vk Vk1 para todo k 1. Ademas, dado V Nx , sea Uk tal
que Uk V .
Entonces
Vk Uk V,
lo cual prueba que {Vk } es una base de entornos de x.
Captulo 4
Convergencia en espacios topol

ogicos

Veremos en este captulo (proposicion 4.1.3) que el comportamiento de las
sucesiones en un espacio topologico N1 determina la topologa y como, para
extender ese resultado a otros espacios topologicos, es necesario considerar
funciones mas generales que las sucesiones: las redes.
Definicio n 4.1.1. Se dice que una sucesion {xn }nN en un espacio to-
pologico (X, ) converge al punto x X si para todo entorno V Nx existe
n0 N tal que xn V para todo n n0 .
Observacio n 4.1.2. Se verifica inmediatamente que se obtiene una defi-
nicion equivalente a la definicion 4.1.1 si se reemplaza la familia de entornos
Nx por una base de entornos Bx del punto x.
n 4.1.3. Sean (X, ) un espacio topologico, A X y x X.
Proposicio
1. Si existe una sucesion contenida en A que converge a x, entonces x

A.
2. Si X es N1 y x A, entonces existe una sucesion contenida en A que
converge a x.
Demostracio n. Si hay una sucesion contenida en A que converge a x, es
claro que en todo entorno de x hay puntos de A y, en consecuencia, que x A.
tomemos una base numerable y decre-
Para probar el recproco, si x A,
ciente {Vn } de entornos de x. Como Vn A 6= , para cada n N podemos
elegir xn Vn A. La sucesion as construida converge a x. En efecto, dado
un entorno V de x, sea n0 N tal que Vn0 V . Entonces, para todo n n0
se tiene que
xn Vn Vn0 V.

El siguiente ejemplo muestra que la parte 2) de la proposicion 4.1.3 no vale

si el espacio no es N1 .
Ejemplo 4.1.4. Consideremos el espacio R de los n umeros reales con la
topologa de los complementos numerables y A = R\{0}. El punto 0 esta en la
clausura de A: si V N0 , entonces V c es numerable y por lo tanto A V 6= .
Sin embargo, no existen sucesiones contenidas en A que converjan a 0: si {xn }
es una sucesion contenida en A, entonces el conjunto {xn : n N}c es un
entorno de 0 en el que no hay puntos de la sucesion.
45
Este ejemplo muestra que las sucesiones no alcanzan, en general, para

acercarse a los puntos de un espacio topologico. Se necesitan funciones con
dominios mas generales, como los que definiremos a continuacion.
Definicio n 4.1.5. Un conjunto dirigido (D, ) consiste en un conjunto

no vaco D con una relacion que verifica:
1. d d para todo d D.
2. La relacion es transitiva: si d0 d1 y d1 d2 , entonces d0 d2
para todo d0 , d1 , d2 D.
3. Dados d0 y d1 en D, existe d D tal que di d para i = 0, 1.
Observacio n 4.1.6. Se prueba facilmente por induccion en n, a partir de

la condicion 3 de la definicion 4.1.5, que, dados n elementos d1 , d2 , , dn de
un conjunto dirigido D, existe d D tal que
d di para todo i = 1, 2, , n.
Ejemplos 4.1.7.
1. El conjunto de los n
umeros naturales con el orden habitual es un con-
junto dirigido.
2. Sea X un conjunto no vaco. La familia P(X) es un conjunto dirigido,

tanto con el orden como con el orden : es claro que ambos ordenes
tienen las dos primeras propiedades en la definicion; en cuanto a la
tercera, dados A1 , A2 P(X), se tiene que
A1 A2 Ai A1 A2 para i = 1, 2.
3. Si (X, ) es un espacio topologico y x X, la familia Nx es un conjunto

dirigido, tanto con el orden como con . La verificacion es igual a la
del ejemplo 4.1.7.2, dado que la union y la interseccion de dos entornos
son entornos.
4. El par ({a, b, c}, ), donde a b, c b y x x para todo x {a, b, c},

es un conjunto dirigido.
5. Dadas dos sucesiones {an } y {bn } tales que an 6= am y bn 6= bm si n 6= m,

y an 6= bm para todo n, m N, sea D = {an : n N} {bn : n N}
con el orden dado por
am an si y solo si m n,
bm an si y solo si m + 1 n,
bm bn si y solo si m = n.
Se comprueba facilmente que esta relacion es transitiva.

Ademas,
am , an amax{m,n} ,
bm , an amax{m+1,n} ,
bm , bn amax{m+1,n+1} .
6. Dados dos conjuntos dirigidos (Di , i ), i = 1, 2, el producto cartesiano

D1 D2 es un conjunto dirigido tanto con el orden lexicografico:
(d1 , d2 ) (e1 , e2 ) si d1 e1 o si d1 = e1 y d2 e2 ,
como con el orden:
(d1 , d2 ) (e1 , e2 ) sii di ei , i = 1, 2.
Se deja la verificacion de los detalles a cargo del lector.
Definiciones 4.1.8. Sea (X, ) un espacio topologico.
1. Una red en (X, ) es una funcion T : D X, donde D es un conjunto
dirigido. Escribiremos, en general, Td en lugar de T (d).
2. Se dice que una red {Td }dD X converge a un punto x X si para
todo entorno V Nx existe d0 D tal que Td V para todo d d0 .
Observacio n 4.1.9. Al igual que en el caso de las sucesiones, se obtiene
una definicion equivalente si se reemplaza en la definicion 4.1.8 la familia de
entornos Nx por una base de entornos Bx .
Ejemplos 4.1.10.
1. Las sucesiones son redes y las dos nociones de convergencia coinciden.
2. Una red en un conjunto X con la topologa indiscreta converge a todos

los puntos de X.
3. Una red {Td }dD en un conjunto X con la topologa discreta converge

a x X si y solo si existe d0 D tal que Td = x para todo d d0 , ya
que {x} Nx .
4. Sea D el conjunto dirigido del ejemplo 4.1.7.4. Toda red {Td }dD en un
espacio topologico (X, d) converge (por lo menos) a Tb , ya que d b
implica que d = b.
5. Sea D el conjunto dirigido del ejemplo 4.1.75. Se considera la red

1 1 1
T : D R2 , Tan = ( , 0) y Tbn = ( , 1 ).
n n n
La red {Td } converge al punto (0, 0). En efecto, dado > 0, sea n0 N
tal que n10 < . Si d D es tal que d an0 , entonces d = am y m n0 .
Por lo tanto, Td = ( m1 , 0) dista de (0, 0) en menos de .

4.2. REDES Y PROPIEDADES TOPOLOGICAS 48
4.2. Redes y propiedades topol

ogicas
El siguiente resultado muestra que las redes cumplen, en espacios topologi-
cos en general, el papel que juegan las sucesiones en espacios N1 .
Proposicio n 4.2.1. Sean (X, ) un espacio topologico, A X y x X.

Entonces x A si y solo si existe una red contenida en A que converge a x.
Demostracio n. Si una red contenida en A converge a x, entonces en
todo entorno de x hay puntos de la red y, por lo tanto, hay puntos de A. En

consecuencia, x A.
Supongamos ahora que x A. Consideramos el conjunto dirigido (Nx , ).
Para cada V Nx elegimos TV V A. La red {TV }V Nx esta contenida en
A y converge a x: dado un entorno W de x, para todo V Nx tal que V W
se tiene que TV V W .
Corolario 4.2.2. Sean (X, ) un espacio topologico y A X. Entonces
A es cerrado si y solo si para toda red {Td } A que converge a un punto x de
X se tiene que x A.
Proposicio n 4.2.3. Sean y topologas en un conjunto X. Entonces
si y solo si toda red que -converge a un punto x X tambien -
converge a x.
Demostracio n. Si y {Td }dD -converge a x, dado un -entorno V
de x, V es tambien un -entorno, porque existe A tal que x A V .
Por lo tanto, existe d0 D tal que Td V para todo d d0 , y concluimos que
{Td } -converge a x.
Supongamos ahora que toda red -convergente a un punto x es -convergente
a x. Dado un conjunto -cerrado F , sea x un punto en la -clausura de F . Por
la proposicion 4.2.1, existe una red {Td }dD F que -converge a x. Entonces
{Td }dD F -converge a x y, por el corolario 4.2.2, x F . Resulta entonces
del corolario 4.2.2 que F es -cerrado. Finalmente, si A , entonces Ac es
-cerrado, lo cual, como se acaba de probar, implica que Ac es -cerrado y,
por lo tanto, que A .
Concluimos as que el comportamiento de las redes en un espacio topologico
determina la topologa:
Corolario 4.2.4. Sean y topologas en un conjunto X. Las afirma-
ciones siguientes son equivalentes:
1. = .
2. Una red en X -converge a un punto x X si y solo si -converge a
x.
No es de sorprender, a partir del corolario 4.2.4, que las propiedades to-
pologicas puedan traducirse a propiedades de las redes, como ilustra el siguien-
te resultado.
Proposicio n 4.2.5. Un espacio topologico (X, ) es de Hausdorff si y solo
si toda red en X converge a lo sumo a un punto.

4.2. REDES Y PROPIEDADES TOPOLOGICAS 49
Demostracio n. Si X es de Hausdorff, sea {Td }dD X una red que

converge a los puntos x1 y x2 . Si x1 6= x2 , sean V1 y V2 entornos disjuntos de
x1 y x2 , respectivamente. Existen entonces di D, i = 1, 2, tales que Td Vi
si d di . Sea ahora d0 di , para i = 1, 2. Se tiene entonces que Td0 V1 V2 ,
lo cual contradice el hecho de que estos entornos son disjuntos. Por lo tanto,
x1 = x2 .
Suponemos ahora que toda red en X converge a lo sumo a un punto. Sean
x, y X tales que no existen U Nx y V Ny disjuntos. Se va a probar que
x = y, de donde se concluye que X es de Hausdorff.
Sea D = Nx Ny , dirigido con la relacion (veanse los ejemplos 4.1.7.3 y
4.1.7.6)
(V, W ) (V 0 , W 0 ) si y solo si V V 0 y W W 0 .
Dado (V, W ) D, existe un punto T(V,W ) V W ; veremos que la red
as construida converge tanto a x como a y. Dado un entorno V0 de x, si
(V, W ) (V0 , Y ), entonces T(V,W ) V W V0 . Por lo tanto, {Td }dD
converge a x. Un razonamiento analogo prueba que tambien converge a y. Se
concluye entonces que x = y. Por lo tanto, X es de Hausdorff.
Definiciones 4.2.6. Sean (X, ) un espacio topologico y {Td }dD X
una red.
1. Un punto x X es un punto de aglomeraci on de {Td }dD X si,
dados d0 D y V Nx , existe d1 D, d1 d0 , tal que Td1 V .
2. Una subred de {Td } es una red de la forma {Ti(e) }eE }, donde E es

un conjunto dirigido e i : E D es una funcion que verifica: para
todo d0 D existe e0 E tal que i(e) d0 para todo e e0 .
Ejemplo 4.2.7. Una subsucesion {xnk } es una subred de la sucesion {xn },
porque la funcion k 7 nk verifica la propiedad exigida.
Pero no toda subred de {xnk } se obtiene de esta manera. Consideremos, por
ejemplo, el conjunto dirigido R+ de los reales positivos con su orden habitual,
y sea E : R+ N la funcion que toma la parte entera, es decir,
E(r) = max{n N : n r}.
Se verifica facilmente que {xE(r) }rR+ es una subred de {xn }, y no esta inde-
xada en un conjunto numerable
Proposicio n 4.2.8. Sea {Td }dD una red en un espacio topologico (X, ).
Un punto x X es de aglomeracion de {Td } si y solo si existe una subred de
{Td } que converge a x.
Demostracio n. Sea {Ti(e) }eE una subred de {Td } que converge a x.
Dados un entorno V Nx y d0 D, sean e0 y e1 en E tales que para todo
e E se tiene que i(e) d0 , si e e0 , y que Ti(e) V si e e1 . Sea ahora
e E tal que e ei para i = 0, 1. Entonces i(e) d0 y, ademas, Ti(e) V .
Por lo tanto, x es un punto de aglomeracion.
Recprocamente, dado un punto de aglomeracion x X, sea E = Nx D,
dirigido con el orden
(V0 , d0 ) (V1 , d1 ) si V0 V1 y d0 d1 .
4.3. EJEMPLOS DE CONVERGENCIA EN ESPACIOS DE FUNCIONES 50
Para cada (V, d) E, sea i(V, d) D tal que i(V, d) d y Ti(V,d) V . Entonces
Ti(V,d) es una subred de {Td ): dado d0 D, i(e) d0 para todo e E tal que
e (X, d0 ).
Ademas, Ti(V,d) converge a x, porque Ti(e) V0 para todo e E tal que
e (V0 , d0 ), donde d0 es un elemento cualquiera de D.
4.3. Ejemplos de convergencia en espacios de funciones
n 4.3.1. Dados conjuntos S y T , indicaremos con F(S, T ) el con-
Notacio
junto
F(S, T ) = {f : S T }.
Proposicio n 4.3.2. Sean S un conjunto no vaco e Y un espacio topologi-

co. Dados s S y un conjunto abierto U Y , sea
Ws,U = {f F(S, Y ) : f (s) U }.
La familia
R = {Ws,U : s S, U abierto en Y }
es subbase de una topologa en F(S, Y ).
Ademas, una red {fd }dD converge a f en (F(S, Y ), ) si y solo si fd (s)
converge a f (s) en Y para todo s S.
Demostracio n. Para probar que R es subbase de una topologa alcanza
con probar, en virtud de la observacion 3.3.10, que
[
F(X, Y ) = Ws,U .
s,U
Esto es claro porque Ws,Y = F(S, Y ) para todo s S.

Probemos ahora la segunda afirmacion. Sea {fd }dD una red que converge
a f en F(S, Y ). Dados s S y un entorno abierto V Nf (s) , el conjunto
Ws,V es un entorno de f . Entonces existe d0 D tal que fd Ws,V para todo
d d0 . Es decir, fd (s) V para todo d d0 . Por lo tanto, por la observacion
4.1.9, fd (s) converge a f (s).
Recprocamente, si fd (s) converge a f (s) para todo s S, dado un entorno
W de f en F(S, Y ), sean Wsi ,Ui R, i = 1, , n, tales que
n
\
f Wsi ,Ui W.
i=1
Como fd (si ) converge a f (si ) y Ui Nf (si ) , para todo i = 1, , n existe di

tal que fd (si ) Ui para todo d di . Sea d0 D tal que d di , para todo
i = 1, , n.
Entonces n
\
fd Wsi ,Ui W, para todo d d0 .
i=1
Se probo as que {fd }dD converge a f .
n 4.3.3. La topologa de la proposicion 4.3.2 es la topologa
Definicio
de la convergencia puntual en F(S, Y ).
4.3. EJEMPLOS DE CONVERGENCIA EN ESPACIOS DE FUNCIONES 51
Definicio n 4.3.4. Sean S un conjunto no vaco y (E, dE ) un espacio

metrico. Se dice que una funcion f : S E esta acotada si su imagen
es un conjunto acotado, es decir, si existe Mf > 0 tal que
dE (f (s), f (t)) Mf , para todo s, t S.
Se indica con Fb (S, E) el conjunto
Fb (S, E) = {f : S E : f esta acotada}.
n 4.3.5. Sean S un conjunto no vaco y E un espacio metrico.
Proposicio
La funcion
d : Fb (S, E) Fb (S, E) R
dada por
dsup (f, g) = sup dE (f (s), g(s))
sS
es una metrica en Fb (S, E).
Demostracio n. Sea s0 S y, dadas f y g en Fb (S, E), sean Mf y Mg
constantes tales que
dE (f (s), f (t)) Mf y dE (g(s), g(t)) Mg para todo s, t S.
Entonces
dE (f (s), g(s)) dE (f (s), f (s0 )) + dE (f (s0 ), g(s0 )) + dE (g(s0 ), g(s))
Mf + dE (f (s0 ), g(s0 )) + Mg ,
para todo s S y, por lo tanto,
sup dE (f (s), g(s)) < .
sS
Dadas f, g, h Fb (S, E), para todo s S se tiene que

dE (f (s), h(s)) dE (f (s), g(s)) + dE (g(s), h(s)) dsup (f, g) + dsup (g, h),
de donde resulta que
dsup (f, h) dsup (f, g) + dsup (g, h).
La demostracion de que dsup satisface las demas propiedades de una distancia
es elemental y se deja a cargo del lector.

Observacio n 4.3.6. Una red {fd }dD en el espacio metrico Fb (S, E), dsup
definido en la proposicion 4.3.5 converge a f Fb (S, E) si y solo si, dado > 0,
existe d0 D tal que
dE (fd (s), f (s)) < , para todo s S y d d0 .
Esta convergencia es la convergencia uniforme de una red de funciones.
Definicio n 4.3.7. La distancia dsup en Fb (S, E) definida en la proposicion
4.3.5 es la distancia del supremo o de la convergencia uniforme.
Captulo 5
Funciones continuas

n 5.1.1. Sean X e Y espacios topologicos, y sea
Definicio
f : X Y
una funcion. Se dice que f es continua en un punto x X si, dado W
Nf (x) , existe V Nx tal que
f (V ) W.
Se dice que la funcion f es continua si es continua en todos los puntos de X.
Observacio n 5.1.2. Se verifica sin dificultad que se obtiene una definicion
equivalente a la definicion 5.1.1 si se reemplaza Nf (x) por una base Bf (x) de
entornos de f (x).
n 5.1.3. Sean (E, dE ) y (F, dF ) espacios metricos, x E y
Proposicio
f : E F.
Las siguientes afirmaciones son equivalentes:
1. f es continua en x.
2. Dado > 0, existe > 0 tal que
dF (f (x), f (y)) < para todo y E tal que dE (x, y) < . (5.1.1)
Demostracio n.
1 2: Dado > 0, existe V Nx tal que
f (V ) B (f (x)),
existe una bola B (x) V .
Entonces
f (B (x)) f (V ) B (f (x)),
de donde resulta (5.1.1).
2 1: La igualdad (5.1.1) prueba que para toda bola abierta B (f (x))
existe un entorno B (x) Vx tal que
f (B (x)) B (f (x)).
De ah resulta la continuidad de f en x, por la observacion 5.1.2, tomando
como base de entornos de f (x) la coleccion de bolas abiertas {B (f (x)) : > 0}
(vease ejemplo 3.3.25.3).
52
Observacio n 5.1.4. La proposicion 5.1.3 prueba, en particular, un hecho

que el lector probablemente haya observado en casos particulares: la conti-
nuidad de una funcion entre espacios metricos solo depende de las topologas
inducidas por las metricas y no se altera si se cambian las metricas por metricas
equivalentes.
Ejemplo 5.1.5. Sea (E, d) un espacio metrico. La funcion distancia
d : E E R
es continua con cualquiera de las tres metricas definidas en la proposicion 2.3.4:
si x, x0 , y, y 0 E,
|d(x, y) d(x0 , y 0 )| |d(x, y) d(x, y 0 )| + |d(x, y 0 )) d(x0 , y 0 )|
d(y, y 0 ) + d(x, x0 ),
por la observacion 2.1.3. Por lo tanto, la funcion distancia es continua con la
metrica dEE
1 y, en consecuencia, por la observacion 5.1.4, con cualquiera de
las tres metricas habituales en el producto E E.
El siguiente resultado describe la continuidad en terminos de redes.
Proposicio n 5.1.6. Sean X e Y espacios topologicos y x X. Una fun-
cion
f : X Y
es continua en x si y solo si, para toda red {Td }dD X que converge a x, la
red {f (Td )}dD converge a f (x) en Y .
Demostracio n. Si f es continua en x y {Td }dD X converge a x, sea
W Nf (x) . Entonces existe V Nx tal que
f (V ) W.
Sea d0 D tal que Td V para todo d d0 .
Entonces
f (Td ) f (V ) W para todo d d0 .
Por lo tanto, {f (Td )} converge a f (x).
Se supone ahora que f no es continua en x. Entonces existe W Nf (x) tal
que para todo V Nx se tiene que
f (xV ) 6 W para alg
un xV V. (5.1.2)
Se obtiene as una red {xV }V Nx , al ordenar Nx con . Es claro que {xV }
converge a x ya que, dado V0 Nx , xV V0 para todo V V0 .
Por otro lado, {f (xV )} no converge a f (x) por (5.1.2).
n 5.1.7. Sean X e Y espacios topologicos y
Proposicio
f : X Y.
Las siguientes afirmaciones son equivalentes:
1. f es continua.
2. Para todo x X, W Nf (x) implica que f 1 (W ) Nx .
3. f 1 (A) es abierto en X para todo conjunto abierto A Y .
4. Si B es una base de la topologa en Y , entonces f 1 (A) es abierto en

X para todo conjunto abierto A B.
5. Si S es una subbase de la topologa en Y , entonces f 1 (A) es abierto
en X para todo conjunto abierto A S.
6. f 1 (F ) es cerrado en X para todo conjunto cerrado F Y .
Demostracio n.
1 2: Si W Nf (x) , existe V Nx tal que
f (V ) W y, por lo tanto, V f 1 (W ),
lo cual prueba que f 1 (W ) Nx , por la parte 2 de la proposicion 3.1.5.
2 3: Si A Y es abierto, entonces A Na para todo a A. Por 2),
f 1 (A) Nx para todo x f 1 (A). Se concluye entonces, a partir de la parte
5 de la proposicion 3.1.5, que f 1 (A) es abierto.
Es claro que 3 4 y que 4 5.
5 6: Sea S una subbase de la topologa en Y . Dado un conjunto cerrado
F Y , se tiene que [ \
Fc = V,
V C
donde C es un subconjunto finito de S para todo .
Entonces [ \
(f 1 (F ))c = f 1 (F c ) = f 1 (V ),
V C
que es abierto. Por lo tanto, f 1 (F ) es cerrado.
6 1: dados x X y W Nf (x) , sea A un conjunto abierto tal que
f (x) A W.
Entonces
f 1 (A) = (f 1 (Ac ))c
es abierto.
Por lo tanto,
f 1 (A) Nx y f (f 1 (A)) A W.
En consecuencia, f es continua en x.
Observacio n 5.1.8. Sean y topologas en un conjunto X. Resulta
claro, a partir de la proposicion 5.1.7, que si y solo si
id : (X, ) (X, )
es continua.
Ejemplos 5.1.9.
1. Toda funcion f : X Y es continua si X es discreto, porque todo
subconjunto de X es abierto.
2. Toda funcion f : X Y es continua si Y es indiscreto, porque el

nico subconjunto abierto no vaco de Y es Y , y f 1 (Y ) = X, que es
u
abierto.
3. Toda funcion constante es continua, porque la preimagen de un abierto

es vaca o es todo el dominio.
4. Si f : X Y es continua, tambien lo es su restriccion a un subcon-

junto Z X no vaco, porque, si A Y es abierto
(f |Z )1 (A) = f 1 (A) Z,
que es abierto en Z con la topologa relativa.
5. Si f : X Y es continua, y f (X) Z Y , entonces la correstriccion

f Z : X Z,
dada por f Z (x) = f (x) para todo x X, es continua, porque, si A Z
es abierto en Z, entonces
A = B Z,
donde B es abierto en Y , y
(f Z )1 (A) = f 1 (B Z) = f 1 (B),
que es abierto en X.
6. Sean
f : X Y y g : Y Z
funciones continuas. Entonces g f es continua: si A Z es abierto,
entonces g 1 (A) es abierto en Y y, por lo tanto,
(g f )1 (A) = f 1 (g 1 (A))
es abierto en X.
7. Consideremos Z con la topologa par-impar.

La funcion
f : Z Z,
dada por f (n) = n + 1 no es continua, porque
f 1 ({2n 1, 2n}) = {2n 2, 2n 1},
que no es abierto.
8. Sea 0 la topologa del cero en R; una funcion

f : (R, 0 ) (R, 0 )
es continua si y solo si es constante o f (0) = 0.
Ya se vio en el ejemplo 5.1.9.3 que las funciones constantes son
continuas.
Por otro lado, si f (0) = 0, la funcion f es continua: si A R es
abierto y no vaco, entonces 0 A. En consecuencia, 0 f 1 (A) y
f 1 (A) es abierto.
Si f no es constante, y f (0) 6= 0, f no es continua: sea 6= f (0) en
la imagen de f . Entonces f 1 ({0, }) no es vaco y no contiene al cero,
y, por lo tanto, no es abierto.
9. Sean (E, d) un espacio metrico y x0 E.

La funcion
fx0 : E R,
dada por fx0 (x) = d(x, x0 ), es continua: dados x E y > 0, si
y B (x), entonces
|fx0 (x) fx0 (y)| = |d(x, x0 ) d(y, x0 )| d(x, y) < .
n 5.1.10. Sean (E, dE ) y (F, dF ) espacios metricos.
Definicio
Una funcion
f : E F
es una inmersi on isometrica si
dF (f (x), f (y)) = dE (x, y) para todo x, y E. (5.1.3)
1. Resulta inmediato, a partir de (5.1.3), el hecho de que toda inmersion
isometrica es inyectiva.
2. Una inmersion isometrica f es continua, porque
f 1 B (f (x)) = B (x),

para todo x E y > 0.

n 5.1.12. Una isometra es una inmersion isometrica sobre-
Definicio
yectiva.
1. Toda isometra es invertible, por la observacion 5.1.11.1.
2. Se prueba facilmente que la inversa de una isometra y la composicion
de isometras son isometras.
Ejemplo 5.1.14. Sean X un espacio normado y u X. La funcion
Tu : X X,
dada por Tu (x) = x + u, es una isometra:
d(Tu (x), Tu (y)) = kTu (x) Tu (y)k = kx + u (y + u)k = kx yk = d(x, y).
Ademas, Tu1 = Tu .
n 5.1.15. Dos espacios metricos E y F son isom
Definicio etricos si exis-
te una isometra entre ellos.
n 5.1.16. Sean (E, dE ) y (F, dF ) espacios metricos.
Definicio
Una funcion
f : E F
es uniformemente continua si, dado > 0, existe > 0 tal que
dF (f (x), f (y)) < (5.1.4)
para todo x, y X tales que dE (x, y) < .
Observacio n 5.1.17. Es claro, a partir de la proposicion 5.1.3, que toda

funcion uniformemente continua es continua. Por otro lado, en la proposicion
5.1.3, dado > 0, el valor de depende, en principio, del punto en el cual se
estudia la continuidad, mientras que en el caso de la continuidad uniforme el
mismo garantiza que se cumple (5.1.4) para todo x, y.
Ejemplo 5.1.18. Una inmersion isometrica es uniformemente continua: se
obtiene (5.1.4) tomando = .
n 5.1.19. Sean X e Y espacios topologicos. Una funcion
Definicio
f : X Y
es un homeomorfismo si es continua e invertible, y su inversa es continua.
Dos espacios topologicos X e Y son homeomorfos si existe un homeomorfis-
mo f : x Y .
Observacio n 5.1.20. Sean X e Y espacios topologicos. Las siguientes
afirmaciones se prueban facilmente.
1. Si f : X Y es un homeomorfismo, tambien lo es
f 1 : Y X.
2. Si f : X Y y g : Y Z son homeomorfismos, tambien lo es
g f : X Z.
Ejemplos 5.1.21.
1. Una isometra entre espacios metricos es un homeomorfismo. Por lo
tanto, dos espacios metricos isometricos tambien son homeomorfos. El
recproco no vale: la funcion

Arctg : ( , ) R
2 2
es un homeomorfismo entre R y ( 2 , 2 ), que no son isometricos, ya
que d(x, y) si x, y ( 2 , 2 ), mientras que la distancia en R no
esta acotada.
2. Sean X un espacio normado y un escalar. La funcion

M : X X,
dada por M (x) = x, es un homeomorfismo si 6= 0.
En efecto, M es uniformemente continua: dado > 0,
d(M (x), M (y)) = kx yk = ||kx yk < (5.1.5)

si kx yk < ||
.
Ademas,
M1 = M 1 .

Como muestra (5.1.5), M es una isometra si y solo si || = 1.

Observacio n 5.1.22. Sean X un espacio normado y A X. Dados x X

y un escalar , se definen los conjuntos
A + {x} = {a + x : a A} y A = {a : a A}.
(Se escribe a veces A + x en lugar de A + {x}).
En la notacion de los ejemplos 5.1.14 y 5.1.21.2,
A + x = Tx (A) y A = M (A).
En particular, como Tx y M son homeomorfismos, para todo x X y 6= 0,
A es abierto si y solo si A + x y A lo son.
n 5.1.23. Sean X e Y espacios topologicos. Una funcion
Definicio
f : X Y
es abierta si f (U ) es abierto para todo conjunto abierto U X, y es cerrada
si f (F ) es cerrado para todo conjunto cerrado F X.
Proposicio
f : X Y
una funcion biyectiva. Las siguientes afirmaciones son equivalentes:
1. f es un homeomorfismo.
2. f es continua y abierta.
3. f es continua y cerrada.
Demostracio n.
1 2: Si A es abierto en X, entonces,
f (A) = (f 1 )1 (A)
es abierto en Y .
2 3: Si F X es cerrado, entonces, como f es biyectiva,
f (F ) = (f (F c ))c
es cerrado.
3 1: Si F X es cerrado, entonces
(f 1 )1 (F ) = f (F )
es cerrado. Por lo tanto, f 1 es continua y f es un homeomorfismo.
Proposicio n 5.1.25. Sean (X, ) un espacio topologico y (E, d) un espa-
cio metrico. El conjunto Cb (X, E) de funciones continuas y acotadas es un
subespacio cerrado de Fb (X, E), dsup .
Demostracio n. Sea f una funcion en la clausura de Cb (X, E) en Fb (X, E);
queremos probar que f Cb (X, E), es decir, que f es continua.
Dados x X y > 0, sean g Cb (X, E) y V Nx tales que
dsup (f, g) < /3 y d(g(x), g(y)) < /3 si y V.
Entonces, si y V :
d(f (x), f (y)) d(f (x), g(x)) + d((g(x), g(y)) + d(g(y), f (y))
< dsup (f, g) + /3 + dsup (g, f ) < .
5.2. EL CONJUNTO DE CANTOR 59
Por lo tanto, f es continua.

Observacio n 5.1.26. Si X e Y son espacios topologicos, el conjunto de
funciones continuas no es, en general, cerrado en F(X, Y ) con la topologa
de la convergencia puntual. Por ejemplo, la sucesion de funciones continuas
{fn } F([0, 1], R), fn (x) = xn , converge puntualmente a una funcion que no
es continua.
5.2. El conjunto de Cantor

Notacio n 5.2.1. Si I = [a, b] es un intervalo cerrado en R, se indica con

I el conjunto
ba ba
I = [a, a + ] [a + 2 , b].
Sn 3 3
Si J = k=1 Ik es la union de una cantidad finita de intervalos cerrados y dos
a dos disjuntos, se indica con J el conjunto
[n

J = Ik .
k=1
n 5.2.2. Sean A0 = [0, 1] y An = An1 , para todo n 1. El

Definicio
conjunto de Cantor es el conjunto
\
C= An .
n=0
Observacio n 5.2.3. El conjunto de Cantor es cerrado en R, al ser la

interseccion de conjuntos cerrados.
n 5.2.4. Para todo n 1
Proposicio
2n
[
An = In,k ,
k=1
donde
1
In,k = [a(k) (k) (k) (k)
n , bn ], bn an = para todo k = 1, , 2n
3n
y
n
X xi
{a(k)
n
n
: k = 1, , 2 } = { : xi {0, 2}}.
i=1
3i
En particular, los intervalos In,k , con k = 1, 2, 2n , son dos a dos disjuntos.
Demostracio n. Procederemos por induccion en n. Para n = 1
1 2
A1 = [0, ] [ , 1]
3 3
y la afirmacion es cierta.
Supongamos ahora que la proposicion vale para n 1. Entonces
n1
2[
(k) (k)
An = An1 = [an1 , bn1 ] ,
k=1
donde
n1
(k)
X xi
{an1 : k = 1, , 2n1 } = { i
: xi {0, 2}}
i=1
3
(k) (k) 1
y bn1 an1 = 3n1
para todo k = 1, , 2n1 .
Ahora,
(k) (k) (k) (k)
(k) (k) (k) (k) b an1 (k) b an1 (k)
[an1 , bn1 ] = [an1 , an1+ n1 ] [an1 + 2 n1 , bn1 ] =
3 3
(k) (k) 1 (k) 2 (k)
= [an1 , an1 + n ] [an1 + n , bn1 ].
3 3
Por lo tanto,
2
(k) (k)
{a(k)
n } = {an1 , an1 + : k = 1, , 2n1 } =
3n
n1 n1 n
X xi X xi 2 X xi
={ i
, i
+ n : xi {0, 2}} = { : xi {0, 2}}.
i=1
3 i=1 3 3 i=1
3i
(k) (k) 1
Es claro, ademas, que bn an = 3n
.
El siguiente resultado sera de utilidad para estudiar con mas detalle el

conjunto de Cantor.
Lema 5.2.5. Sean

X xj X yj
r= ys= ,
j=1
3j j=1
3j
donde xj , yj {0, 2} para todo j 1. Si n0 es tal que xn0 6= yn0 y xj = yj para

todo j < n0 , entonces
1
|r s| n0 .
3
n. Por un lado,
Demostracio

X xj yj X |xj yj | X 2 2 X 1 1

j
j
j
= n +1 j
= n0
.
n +1
3 n +1
3 j=n +1
3 3 0
0
3 3
0 0 0
Por lo tanto,

X xj yj X xj yj
|r s| = =
j=1
3j j=n
3j
0

|xn0 yn0 | X xj yj
| |
3n0 n +1
3j
0
2 1 1
n0 n0 = n0 .
3 3 3

n 5.2.6. Sean n, m N, n < m y

Proposicio
2 n 2m
[ [
An = In,l y Am = Im,l ,
l=1 l=1
(l) (l)
donde, como en la proposicion 5.2.4, Ip,l = [ap , bp ], para todo l = 1, , 2p ,
p {m, n}.
Si Im,r In,s 6= , entonces Im,r In,s y existen x1 , x2 , , xm {0, 2}
tales que
n m
(s)
X xk (r)
X xk
an = k
y am = .
k=1
3 k=1
3k
n. Probaremos primero, por induccion en m n, que

Demostracio
Im,r In,s .

Si m = n + 1, Im,r In,t(r) para algun t(r) {1, 2, , 2n }. Entonces, si
s = t(r), Im,r In,s ; de lo contrario, Im,r In,s = .
Ahora, si Im,r In,s 6= , sea t(m, r) tal que
1 t(m, r) 2m1 e Im,r Im1,t(m,r) .
Entonces Im1,t(m,r) In,s 6= y, por la hipotesis de induccion,
Im,r Im1,t(m,r) In,s . (5.2.1)
Se sabe, por la proposicion 5.2.4, que
n m
X yk X xk
a(s)
n = y a(r)
m = ,
k=1
3k k=1
3k
donde yk , xl {0, 2} para todo k = 1, , n y l = 1, , m. Solo falta probar

que yk = xk para todo k = 1, , n.
Por (5.2.1) tenemos que
[a(r) (r) (s) (s)
m , bm ] [an , bn ],
lo cual implica que

1
0 a(r) (s)
m an < . (5.2.2)
3n
Si existe k0 , 1 k0 n, tal que yk0 6= xk0 y xk = yk para todo k < k0 ,
entonces, por el lema 5.2.5 y por (5.2.2),
1 1
k
a(r) (s)
m an < n ,
3 0 3
de donde se concluye que k0 > n, contra lo supuesto.
n 5.2.7. La correspondencia
Proposicio
: {{xn }n1 : xn {0, 2} para todo n} C,
dada por ({xn }) = xn
P
n=1 3n , es una biyecci
on.
Demostracio n. Observese primero que, efectivamente, la imagen de

esta contenida en el conjunto de Cantor. Se probo en la proposicion 5.2.6 que
las sumas finitas

X xn
n
, donde {xn }n1 {0, 2}
n=1
3
pertenecen a C. Entonces, como C es cerrado, tambien contiene a la imagen de
.
Por otro lado, si t C, entonces t An para todo n 1. Por lo tanto,
para cada n 1 existe l(n, t) {1, 2, , 2n } tal que
t [a(l(n,t))
n , b(l(n,t))
n ].
Por la proposicion 5.2.6, existe una sucesion {xn }n1 {0, 2} tal que
n
X xk
a(l(n,t))
n = .
k=1
3k
Ademas, como
1
t a(l(n,t))
n ,
2n
(l(n,t))
la sucesion {an }n1 converge a t.
Es decir,

X xk
t= ,
k=1
3k
lo cual prueba que es sobreyectiva.
Finalmente, la inyectividad de es consecuencia inmediata del lema 5.2.5.

n 5.2.8. El conjunto de Cantor tiene interior vaco en R.
Proposicio
Demostracio n. Si C 6= , existe un intervalo abierto (a, b) C. Es decir,
(a, b) An , para todo n N. Entonces, para todo n N existe l(n) tal que
(a, b) [a(l(n))
n , b(l(n))
n ].
1
Por lo tanto, b a 2n
para todo n 1, lo cual contradice el hecho de
que a < b.
Proposicio n 5.2.9. Todo punto del conjunto de Cantor es un punto de
acumulacion.
Demostracio n. Dados t C y > 0, sea, como en la proposicion 5.2.7,
una sucesion {xn } {0, 2} tal que

X xn
t= .
n=1
3n
2
Si existe n0 tal que xk = 0 para todo k n0 , sea n1 n0 tal que 3n1
< .
Entonces
2
s := t + n1 C,
3
por la proposicion 5.2.7, y |s t| < . Se probo as que t es un punto de

acumulacion de C.
Si, en cambio, la sucesion {xn } toma infinitas veces el valor 2, entonces en
cualquier entorno de t hay sumas parciales N xn
P
n=1 3n , que son puntos diferentes
de t. Por lo tanto, tambien en ese caso t es un punto de acumulacion de C.
n 5.2.10. Existe una funcion
Proposicio
f : C [0, 1]
que es uniformemente continua y sobreyectiva.
n. En virtud de la proposicion 5.2.7, podemos definir
Demostracio

X xn X xn /2
f( n
)= ,
n=1
3 n=1
2n
donde {xn } {0, 2}, es decir, {xn /2} {0, 1}. En consecuencia, por la pro-
posicion 1.3.18, f es sobreyectiva.
Ademas f es uniformemente continua: dado > 0, sea k 1 tal que 21k < .
1
Sean r, s C tales que |r s| < 3k+1 . Si

X xj X yj
r= ys= ,
j=1
3j j=1
3j
entonces, por el lema 5.2.5,

xj = yj para todo j k.
Por lo tanto,

X (xj yj )/2
|f (r) f (s)| =
j=k+1
2j

X |(xj yj )/2|

j=k+1
2j

X 1

j=k+1
2j
1
= < .
2k

n 5.2.11. La funcion f de la proposicion 5.2.10 no es inyectiva:
Observacio

1 X 2 X 1 1 2
f( ) = f k
= k
= = f ( ).
3 j=2
3 j=2
2 2 3
Proposicio n 5.2.12. El conjunto de Cantor tiene el mismo cardinal que

el intervalo [0, 1].
Demostracio n. La inclusion es una funcion inyectiva de C en [0, 1]. Por

otro lado, por la proposicion 5.2.10 y la proposicion 1.2.7, existe una fun-
cion inyectiva en la otra direccion. La afirmacion es, entonces conscuencia del
teorema de Cantor-Bernstein (1.2.9).

Captulo 6
Topologa producto

Definicio n 6.1.1. Sean X un conjunto y {Xi }iI una familia de espacios
topologicos. Dada una familia F = {fi }iI de funciones
fi : X Xi ,
la topologa inicial en X con respecto a F es la topologa generada por
S = {fi1 (U ) : U es un subconjunto abierto de Xi , i I}. (6.1.1)
Observacio n 6.1.2. Es claro, a partir de la proposicion 3.3.13, que la
topologa inicial es la menor topologa en X para la cual la funcion fi es
continua para todo i I.
Definicio n 6.1.3. Sea {Xi }iI Q una familia de espacios topologicos. La
topologa producto en el producto iI Xi es la topologa inicial con respecto
a la familia de proyecciones {pj }jI , dadas por
Y
pj : Xi Xj , pj (f ) = f (j).
iI
Observacio n 6.1.4. Los miembros de la subbase en (6.1.1) de la topologa

producto son de la forma
Y
p1
i (U ) = S i,U = {f Xi : f (i) U },
iI
donde U es un subconjunto abierto de Xi .

Los miembros de la correspondiente base de la topologa producto son de
la forma
\n Y
p1
ik (Uk ) = S i ,U
1 1 Si ,U
n n = Yi , (6.1.2)
k=1 iI
con n N e ik I para todo k = 1, , n, donde
(
Xi si i 6 {ik : k = 1, , n},
Yi =
Uk si i = ik .
Observacio n 6.1.5. Si se toma el producto de una cantidad finita de

factores X1 , X2 , , Xn , los miembros de la base descritos en (6.1.2) son los
subconjuntos de X1 X2 Xn de la forma
U1 U2 Un ,
donde Ui es un subconjunto abierto de Xi para todo i = 1, , n.
65
6.2. PROPIEDADES DE LA TOPOLOGIA PRODUCTO 66
Ejemplo 6.1.6. Sean (E1 , m1 ), , (En , mn ) espacios metricos. La topo-

loga inducida por las metricas d1 , d2 y d estudiadas en la proposicion 2.3.4
es la topologa producto en
E = E1 E2 En .
Por un lado, la bola abierta Bd (e), donde e = (e1 , , en ), es abierta en la
topologa producto porque
n
Y
Bd (e) = Bmi (ei ),
i=1
y es, en consecuencia, de la forma descrita en (6.1.2). Esto prueba que la

topologa inducida por cualquiera de las tres metricas en E esta contenida en
la topologa producto.
Por otro lado, un abierto de la base de la topologa producto
U = U1 U2 Un ,
donde Ui es abierto en Ei , es abierto con d : si e = (e1 , , en ) U , entonces
ei Ui para todo i = 1, , n. Por lo tanto, existe i > 0 tal que Bmi i (ei ) Ui .
Tomando ahora i para todo i = 1, , n, se tiene que Bd (e) U .
Entonces U es abierto con d , como se quera probar.
Observacio n 6.1.7. Vale un resultado mas general que el del ejemplo
6.1.6: si {(En , mn )}nN
Q es una familia numerable de espacios metricos, la to-
pologa producto en nN En es metrizable: puede probarse que esta inducida
por la distancia
X mn (en , fn )
d(e, f ) = n (1 + m (e , f ))
,
nN
2 n n n
donde e = {en } y f = {fn }.
6.2. Propiedades de la topologa producto

Proposicio n 6.2.1. Sea {Xi }iI una familia de espacios topologicos.
Las proyecciones
Y
pj : Xi Xj
i
son funciones continuas y abiertas.
Demostracio n. La funcion pj es continua, para todo j I, por la
observacion 6.1.2. Para probar que pj es abierta, alcanza con probar que
pj (US) es abierto
S si U es un abierto de la base descrita en 6.1.2, ya que
pj i Ui ) = pj (Ui ). Sea entonces
Y
U= Yi ,
iI
donde Yi = Xi salvo para una cantidad finita de valores i1 , , in , para los

cuales Yik = Uik , para alg
un subconjunto abierto Uik de Xik .
Entonces
(
Xj si j 6 {i1 , , in },
pj (U ) =
Uik si j = ik para alg un k {1, 2, , n}.
En cualquier caso, pj (U ) es abierto.
Observacio n 6.2.2. No es cierto que las proyecciones sean siempre cerra-
das: el conjunto
1
F = {(x, ) : x > 0}
x
es cerrado en R2 , pero su proyeccion sobre la primera copia de R es
p1 (F ) = {x : x > 0},
que no es cerrado en R.
Describimos a continuacion la topologa producto en terminos de la con-
vergencia de redes.
Proposicio n 6.2.3. Sea {Xi }iI una familia de espacios topologicos. Una
Q Q
red {Td }dD en i Xi converge a un punto x i Xi si y solo si pi (Td )
converge a pi (x) para toda proyeccion pi , con i I.
Q
Demostracio n. Sea {Td }dD una red converge a x en i Xi . Como pi
es continua para todo i I, la red pi (Td ) converge a pi (x) por la proposicion
5.1.6.
Recprocamente, si pi (Td ) converge a pi (x) para todo i I, dado V Nx ,
existen i1 , i2 , , in I y conjuntos W1 , , Wn abiertos en Xi1 , , Xin ,
respectivamente, tales que
n
\
x p1
ij (Wj ) V.
j=1
Como Wj Npij (x) , para cada j = 1, , n, existe dj D tal que pij (Td ) Wj
para todo d dj . Sea d0 dj para todo j = 1, , n.
Entonces
n
\
Td p1
ij (Wj ) V,
j=1
para todo d d0 . Por lo tanto, {Td } converge a x.
Corolario 6.2.4. Sea {Xi }iI una familia de espacios topologicos, y sea
Y
f : X Xi ,
i
donde X es un espacio topologico. La funcion f es continua si y solo si es
continua la funcion pi f para todo i I, donde pi es la proyeccion sobre Xi .
Demostracio n. Por la proposicion 5.1.6, la funcion f es continua en x

si y solo si, para toda red {Td } que converge a x, la red {f (Td )} converge a
f (x). Esto es equivalente, por la proposicion 6.2.3, a que, para todo i I,
la red (pi f )(Td ) converja a (pi f )(x), para toda red {Td } que converge a x.
Finalmente, por la proposicion 5.1.6, esto u

ltimo es equivalente a que pi f sea
continua en x.
Ejemplo 6.2.5. Si S es un conjunto e Y es un espacio topologico, el espacio
topologico Y S es el conjunto
Y
YS = Ys , donde Ys = Y para todo s S.
sS
Observese que
Y S = {f : S Y }
y que la proyeccion ps es la evaluacion ps (f ) = f (s). Por la proposicion 6.2.3, la
proposicion 4.3.2 y el corolario 4.2.4, concluimos que Y S coincide con F(S, Y )
con la topologa de la convergencia puntual.
Proposici
Q o n 6.2.6. Sea {Xi }iI una familia de espacios topologicos. El
producto i Xi es de Hausdorff si y solo si Xi es de Hausdorff para todo i I.
Demostraci
Q o n. Supongamos que Xi es de Hausdorff para todo i I, y
sean x, y i Xi , x 6= y. Sea i I tal que x(i) 6= y(i) y sean V y W entornos
disjuntos en Xi de x(i) e y(i), respectivamente. Entonces, si pi es la proyeccion
1 1
sobre
Q Xi , pi (V ) y pi (W ) son entornos disjuntos de x e y, respectivamente,
en i Xi . Q
Rec
Qprocamente, si i Xi es de Hausdorff, dados xj , yj Xj , xj 6= yj , sean
x, y i Xi tales que x(j) = xj y y(j) = yj , y x(k) = y(k) paraTtodo k 6= j.
Sean V y W entornos disjuntos de x e y, respectivamente. Sean nk=1 p1 ik (Uk )
Tm 1
y l=1 pjl (Vl ) abiertos de la base en (6.1.2) tales que
n
\ m
\
x p1
ik (Uk ) V y y p1
jl (Vl ) W.
k=1 l=1
Como V y W son disjuntos y x(i) = y(i) si i 6= j, entonces existen k y l

tales que ik = j = jl y Uk Vl = . Por lo tanto, Uk y Vl son entornos disjuntos
de xj y yj , respectivamente.
Captulo 7
Espacios topol
ogicos conexos

Definicio n 7.1.1. Un espacio topologico (X, ) es conexo si no existen
dos conjuntos abiertos, no vacos y disjuntos A, B X tales que
X = A B.
Un subconjunto Y X es conexo si lo es con la topologa relativa.
Ejemplos 7.1.2.
1. Un espacio con un solo elemento es conexo, porque no se puede escribir
como union de dos conjuntos disjuntos no vacos.
2. Un conjunto X con mas de un elemento no es conexo con la topologa

discreta: si x X se tiene que
X = {x} {x}c .
3. Un conjunto X con la topologa indiscreta es conexo, ya que no tiene

subconjuntos abiertos disjuntos y no vacos.
4. El espacio X = [1, 2) [3, +) no es conexo porque [1, 2) y [3, +)

son abiertos disjuntos en X.
5. El espacio Q de los n
umeros racionales no es conexo, porque

Q = (, 2) Q ( 2, +) Q .
6. Un conjunto infinito X con la topologa de los complementos finitos es
conexo: si A y B son subconjuntos disjuntos no vacos de X, entonces
X = (A B)c = Ac B c .
Por lo tanto, A o B no es abierto.
7. R con la topologa del cero es conexo: no tiene subconjuntos abiertos,

disjuntos y no vacos.
n 7.1.3. El intervalo [0, 1] es conexo.
Proposicio
Demostracio n. Supongamos que A y B son subconjuntos abiertos, dis-
juntos y no vacos de [0, 1] y que
[0, 1] = A B. (7.1.1)
69
Podemos suponer que 0 A; en caso contrario se intercambian los papeles que

cumplen A y B en lo que sigue.
Sea
S = {x A : x b para todo b B}.
El conjunto S esta acotado por 1, y no es vaco porque 0 S. Sea = sup S.
Entonces
S A = A.
Si = 1, se tendra que B = , contradiciendo lo supuesto; por lo tanto,
< 1. Sea = mn B; se tiene que < , porque y A B c .
Ahora, si x (, ), x 6 B porque x < y x 6 A, porque es una cota inferior
de B que no pertenece a S, ya que es mayor que sup S.
Por lo tanto, (, ) [0, 1] y
(, ) (A B) = ,
lo cual contradice (7.1.1).
1. X es conexo.
2. No existen A, B X cerrados, disjuntos y no vacos tales que
X = A B.
3. Si A X es abierto y cerrado, entonces A = o A = X.
4. No existe una funcion continua y sobreyectiva
f : X {0, 1}.
Demostracio n.
1) 2): Si A y B son subconjuntos cerrados, disjuntos y no vacos de X
tales que X = A B, entonces Ac y B c son subconjuntos abiertos, disjuntos y
no vacos de X tales que X = Ac B c , lo cual contradice el hecho de que X
es conexo.
2) 3): Si A es abierto y cerrado, entonces X = A Ac , donde A y Ac
son cerrados disjuntos. Por lo tanto, uno de ellos es vaco, es decir A = o
A = X.
3) 4): Sea f : X {0, 1} una funcion continua. Como {0} es abierto
y cerrado en {0, 1}, f 1 ({0}) es abierto y cerrado en X.
Por lo tanto,
f 1 ({0}) = y f (x) = 1 para todo x X,

o
f 1 ({0}) = X y f (x) = 0 para todo x X.
En cualquier caso, f es constante y no es sobreyectiva.
4) 1): Si X = A B, donde A y B son abiertos, disjuntos y no vacos,
la funcion
f : X {0, 1},
definida por f (x) = 0 si x A, y f (x) = 1 si x 6 A es sobreyectiva. Ademas,

es continua: los subconjuntos abiertos no vacos de {0, 1} son {0}, {1} y {0, 1},
y sus preimagenes por f son, respectivamente, A, B y X, que son abiertos.

Teorema 7.1.5. (Bolzano) Sean X e Y espacios topologicos y
f : X Y
una funcion continua. Si X es conexo, f (X) tambien lo es.
Demostracio n. Si f (X) no es conexo, existe, por la proposicion 7.1.4,
una funcion continua y sobreyectiva
g : f (X) {0, 1}.
Entonces g f es una funcion continua y sobreyectiva de X en {0, 1} y, en
consecuencia, X no es conexo.
Corolario 7.1.6. Sean X e Y espacios topologicos homeomorfos. Enton-
ces X es conexo si y solo si Y lo es.
Demostracio n. La demostracion es inmediata al aplicar el teorema de
Bolzano (7.1.5) a un homeomorfismo de X en Y y a su inversa.
Proposicio n 7.1.7. Sean (X, ) un espacio topologico, C un subconjunto
conexo de X y D X tal que
C D C.
Entonces D es conexo.
n. Supongamos que
Demostracio
D = (A D) (B D),
donde A y B son abiertos en X, y A D y B D son disjuntos y no vacos. Si
a A D, entonces a C y A Na . Por lo tanto, A C 6= . Analogamente,
B C 6= . Entonces C no es conexo, porque
C = D C = (A C) (B C),
y A C y B C son abiertos en C, disjuntos y no vacos.
Corolario 7.1.8. La clausura de un subconjunto conexo de un espacio
topologico tambien es conexa.
Proposicio n 7.1.9. Sea (X, ) un espacio topologico, y sea {Yi }iI una
familia de subconjuntos
S conexos de X tal que Yi Yj 6= para todo i, j I.
Entonces iI Yi es conexo.
S
Demostracio n. Sea f : iI Yi {0, 1} una funcion continua. Alcan-
za, en virtud S
de la proposicion 7.1.4, con probar que f es constante. En efecto,
dados x, y iI Yi , sean i, j I tales que x Yi , y Yj , y sea z Yi Yj .
Entonces, como Yi e Yj son conexos,
f (x) = f (z) = f (y),
como queramos probar.
Proposicio n 7.1.10. Un espacio topologico (X, ) es conexo si y solo si

para todo x, y X existe un conjunto conexo C X tal que x, y C.
Demostracio n. Sea x X. Para cada y X, sea C(y) X un conjunto
conexo tal que x, y C(y).
Entonces [
X= C(y),
yX
y x C(y) C(z), para todo y, z X. Por la proposicion 7.1.9, X es conexo.

La afirmacion recproca es obviamente cierta.
Definicio n 7.1.11. Sea V un espacio vectorial real o complejo. Un sub-
conjunto C V es convexo si
tx + (1 t)y C,
para todo x, y C y t (0, 1).
n 7.1.12. Un subconjunto convexo de un espacio normado es
Proposicio
conexo.
Demostracio n. Dado un subconjunto convexo C de un espacio normado
V , sea x C. Dado y C, la funcion
fy : [0, 1] V,
dada por f (t) = tx + (1 t)y es continua: si x = y, f es constante; en otro
caso,
kf (t) f (s)k = k(t s)x + (s t)yk |t s| max{kxk, kyk} <
si |t s| < / max{kxk, kyk}.
Entonces la imagen de fy es conexa, por el teorema de Bolzano (7.1.5) y
la proposicion 7.1.3.
Ademas, como C es convexo,
[
C= Imfy .
yC
Ahora, como x Imfy Imfz para todo y, z C, se sigue de la proposicion

7.1.9 que C es conexo.
Ejemplos 7.1.13.
1. Todo espacio normado es convexo y, en consecuencia, conexo.
2. Un intervalo en R es un conjunto I R tal que si a, b I, y a < b,

entonces (a, b) I. Todo intervalo es conexo porque es convexo: si
a, b I, y a < b y t (0, 1), entonces
a = ta + (1 t)a < ta + (1 t)b < tb + (1 t)b = b.
Por lo tanto, ta + (1 t)b (a, b) I para todo t [0, 1].
3. Las bolas abiertas y las bolas cerradas en un espacio normado son

convexas y, por lo tanto, conexas: si y, z B (x) y t (0, 1):
kty + (1 t)z xk = kty + (1 t)z (tx + (1 t)x)k
kt(y x)k + k(1 t)(z x)k
= tky xk + (1 t)kz xk < .
En forma analoga se prueba que las bolas cerradas son convexas.
Teorema 7.1.14. Sea {XiQ
}iI una familia de espacios topologicos. Enton-
ces el espacio producto X = i Xi es conexo si y solo si Xi es conexo para
todo i I.
Demostracio n. Para todo j I, la proyeccion pj de X en Xj es continua
y Xj = pj (X), de donde resulta, por el teorema de Bolzano (7.1.5), que cada
Xj es conexo si X lo es.
Supongamos ahora que Xj es conexo para todo j I. Sea
f : X {0, 1}
una funcion continua. Se va a probar que f es constante, lo cual implica, por
la proposicion 7.1.4, que X es conexo.
En primer lugar, probaremos que para todo a X y todo subconjunto
finito F de I la funcion f es constante en el conjunto
AF (a) := {x X : pi (x) = pi (a) para todo i 6 F }.
Procedemos por induccion en el cardinal de F . Si F = {j}, observemos
primero que la restriccion de pj a AF (a)
p : AF (a) Xj
j
AF (a)
es un homeomorfismo. En efecto, como

pi (x) = pi (y) para todo i 6= j, y x, y AF (a),
la funcion pj es inyectiva en AF (a). Ademas, es sobreyectiva porque, dado
t Xj ,
t = pj (x),
donde x AF (a) esta definido por x(i) = a(i) para todo i 6= j y x(j) = t.
Finalmente, p es un homeomorfismo, porque una red {xd } en AF (a)
j
AF (a)
converge a x si y solo si {pj (xd )} converge a pj (x), ya que el resto de las

coordenadas coincide con las de a.
Por lo tanto, AF (a) es conexo, de donde se deduce que la funcion f es
constante en AF (a).
Suponemos ahora que el resultado vale para cardinales estrictamente me-
nores que el de F . Sean j F y F 0 = F \ {j}. Observemos primero que
[
AF (a) = Aj (y).
yAF 0 (a)
En efecto, dado x AF (a), sea y X tal que y(i) = x(i) para todo i 6=
j e y(j) = a(j). Entonces x Aj (y) e y AF 0 (a). La inclusion inversa se
prueba en forma inmediata.
Ahora, dado x AF (a), sea y AF 0 (a) tal que x Aj (y). Por la hipotesis
de induccion, f es continua en Aj (y) y en AF 0 (a). Como, ademas,
y Aj (y) AF 0 (A) y a AF 0 (A),
se tiene que
f (x) = f (y) = f (a),
y concluimos que f = f (a) en AF (a).
Fijamos ahora a X y definimos
[
A(a) = AF (a),
F PF (I)
donde PF (I) indica la familia de subconjuntos finitos de I. Como a AF (a)

para todo F , resulta que la funcion f es constante en A(a): si x, y A(a),
entonces
f (x) = f (a) = f (y).
Para probar que f es constante en X, alcanza ahora con probar que A(a) es
denso en X, ya que f 1 ({f (a)}) es cerrado en X y contiene a A(a).
Sea U un abierto de la base,
\
U= p1
i (Ui ),
iF
donde F es un subconjunto finito de I, y Ui es abierto en Xi para todo i F .
Sea x X tal que x(i) Ui si i F y x(i) = a(i) si i 6 F . Entonces
x U A(a). Por lo tanto, A(a) es denso en X y f es constante.
Definicio n 7.1.15. Sea (X, ) un espacio topologico y x, y X. Se dice
an conectados, y se indicara con x c y, si existe un conjunto
que x e y est
conexo C X tal que x C e y C.
Observacio n 7.1.16. La relacion c en un espacio topologico X es una
relacion de equivalencia. Por un lado, x c x para todo x X, porque {x} es
conexo por el ejemplo 7.1.2.1. Es claro que la relacion es simetrica.
Finalmente, si x c y e y c z, sean C y D subconjuntos conexos de X
tales que x, y C e y, z D. Entonces, como y C D, C D es conexo,
por la proposicion 7.1.9. Ademas, x, z C D, lo cual implica que x c z.
Definicio n 7.1.17. Sea (X, ) un espacio topologico. La componente
conexa Cx de un punto x X es la clase de equivalencia de x con respecto
a la relacion c .
Observacio n 7.1.18. Resulta inmediatamente a partir de la proposicion
1.1.12 que, si (X, ) es un espacio topologico, entonces:
1. Si x, yS X y Cx 6= Cy , entonces Cx Cy = .
2. X = xX Cx .
n 7.1.19. Sean (X, ) un espacio topologico y x X.
Proposicio
Entonces
LOCAL Y CONEXION
7.2. CONEXION POR CAMINOS 75
1. La componente conexa Cx es el mayor subconjunto conexo de X que

contiene a x.
2. Cx es cerrado.
Demostracio n.
1) Sea D X un conjunto conexo tal que x D. Entonces, para todo
y D, se tiene que y c x y, por lo tanto, y Cx . Se probo as que D Cx .
Ademas, Cx es conexo: si y, z Cx existe un conjunto conexo C X que
contiene a y y a z. Por el razonamiento anterior, C Cx y, por la proposicion
7.1.10, Cx es conexo.
2) Por la proposicion 7.1.7 y la parte 1), Cx es conexo. Por la parte 1),
entonces, Cx = Cx .

Ejemplo 7.1.20. En el espacio Q de los n
umeros racionales, la componente
conexa de un punto x Q es {x}: dados dos n umeros racionales r < s y un
conjunto C tal que r, s C Q, C no es conexo, ya que
C = [(, ) C] [(, +) C],
donde es un numero irracional tal que r < < s. Observese que en este
caso las componentes conexas no son abiertas.
7.2. Conexi
on local y conexi
on por caminos
Definicio n 7.2.1. Un espacio topologico (X, ) es localmente conexo
si todo punto de X tiene una base de entornos conexos.
Ejemplos 7.2.2.
1. Todo espacio normado es conexo por el ejemplo 7.1.13.1, y es local-
mente conexo, porque la familia de las bolas abiertas de centro en x es
una base local de entornos conexos de x, por el ejemplo 7.1.13.3.
2. El espacio X = (0, 1) [2, 3) es localmente conexo, porque las bolas

abiertas de radio menor que 1 forman una base de entornos conexos de
cada punto, pero no es conexo porque (0, 1) es abierto, cerrado y no
vaco en X.
3. El espacio X = R Q no es conexo ni localmente conexo. No es

conexo porque, de serlo, tambien lo sera Q, que es la imagen de X por
la proyeccion sobre Q, en contradiccion con el ejemplo 7.1.2.5.
Tampoco es localmente conexo: dado V N(0,0) , existe > 0 tal
que
B ((0, 0)) X V.
En consecuencia, existe (t, q) V , con q > 0. Sea un n umero irra-
cional tal que 0 < < q.
Entonces

V R {q Q : q > } 6= V
es abierto, cerrado y no vaco en V , lo cual prueba que V no es conexo.
LOCAL Y CONEXION

4. El espacio X = R Q {(x, x) : x R} es conexo y no es localmente
conexo. Es conexo porque todo punto (x, q) R Q esta conectado
con (q, q) y dos puntos de la recta {(x, x) : x R} estan conectados
entre s.
Por otro lado, no es localmente conexo: sea V N(0,1) tal que
V {(x, x) : x R} = .
Razonando como en el ejemplo 3), se prueba que V no es conexo.
1. X es localmente conexo.
2. Las componentes conexas de los subconjuntos abiertos de X tambien
son abiertas.
3. Existe una base de cuyos miembros son conexos.
Demostracio n.
1 2: Sea A X un conjunto abierto. Dado a A, existe un entorno
conexo V de a que esta contenido en A. Entonces, por la proposicion 7.1.19,
V esta contenido en la componente conexa CaA de a en A y, por lo tanto,
CaA Na . Se probo as que CaA es un entorno de todos sus puntos y es, en
consecuencia, abierto.
2 3: Sea
B = {A : A es conexo}.
Dado U ,
[
U= CuU , donde CuU es la componente conexa de u en U .
uU
Como CuU es abierto para todo u U , se tiene que CuU B. Por lo tanto, B es
una base de .
3 1: Si B es una base de cuyos miembros son conexos, para todo x X
la familia
Bx = {A B : x A}
es una base de entornos conexos de x. Por lo tanto, X es localmente conexo.
Observacio n 7.2.4. Si X es un espacio localmente conexo, entonces sus
componente conexas son abiertas, por la proposicion 7.2.3, y cerradas, por la
proposicion 7.1.19.
Definicio n 7.2.5. Una curva o camino en un espacio topologico (X, )
es una funcion continua
: [0, 1] X.
Se dice que dos puntos x, y X estan conectados por caminos (o por
curvas), y se indica con x cc y, si existe un camino en X tal que (0) = x
y (1) = y. En ese caso de dice que conecta a x e y.
n 7.2.6. La relacion cc en X es una relacion de equivalencia.
Proposicio
LOCAL Y CONEXION
Demostracio n. El camino constante (t) = x para todo t [0, 1] conec-

ta a x con x. Por otro lado, si es un camino tal que (0) = x y (1) = y,
sea
: [0, 1] X, dada por (t) = (1 t).
Entonces es un camino en X, (0) = y y (1) = x.
Finalmente, si y son caminos en X, (0) = x, (1) = y, (0) = y,
(1) = z, sea
(
(2t) si 12 ,
: [0, 1] X, dada por (t) =
(2t 1) si > 12 .
Entonces es un camino en X, (0) = x y (1) = z.
n 7.2.7. Sean (X, ) un espacio topologico y
Observacio
: [0, 1] X
un camino. Entonces, para todo r, s [0, 1], los puntos (r) y (s) estan
conectados por caminos. En efecto, la afirmacion es trivialmente cierta si r = s
y, si r < s, el camino : [0, 1] X dado por
(t) = (r + t(s r))
conecta a (r) y (s).
Definicio n 7.2.8. Sea (X, ) un espacio topologico. La componente co-
nexa por caminos CCx de un punto x X es la clase de equivalencia de x
con respecto a la relacion cc .
Proposicio n 7.2.9. Sean (X, ) un espacio topologico y x X. La com-
ponente conexa por caminos CCx es el mayor subconjunto conexo por caminos
de X que contiene a x.
Demostracio n. Si y, z CCx , entonces y cc z.
Sea
: [0, 1] X
un camino tal que (0) = y y (1) = z.
Por la observacion 7.2.7,
(t) cc z cc x,
para todo t [0, 1]. Entonces la imagen de esta contenida en CCx . Por lo
tanto, y esta conectado por caminos con z en CCx , de donde resulta que CCx
es conexo por caminos.
Por otro lado, si D es un subconjunto conexo por caminos de X que con-
tiene a x, es claro que D CCx .
Definicio n 7.2.10. Un espacio topologico (X, ) es conexo por caminos
si x cc y para todo x, y X.
Observaciones 7.2.11. Sea (X, ) un espacio topologico.
1. Sean x, y X dos puntos conectados por caminos. Entonces x e y estan
conectados, porque ambos pertenecen al conjunto conexo ([0, 1]), don-
de es un camino tal que (0) = x y (1) = y.
LOCAL Y CONEXION
2. Se concluye inmediatamente a partir de la observacion 1 que

CCx Cx
para todo x, y X. En particular, X es conexo si es conexo por cami-
nos.
Ejemplos 7.2.12.
1. Sean X e Y espacios topologicos y f : X Y una funcion conti-
nua. Si X es conexo por caminos, entonces f (X) tambien lo es: dados
x, y X, si es un camino de x a y, entonces f es un camino de
f (x) a f (y).
2. Sean A = {0} [0, 1], B = {(x, sen x1 ) : x > 0} y X = A B. Entonces

A es conexo, pero no es conexo por caminos.
Por un lado, B es conexo porque es la imagen de la funcion continua
1
f : (0, +) R2 , dada por f (x) = (x, sen ).
x
Como, ademas, B X B, resulta de la proposicion 7.1.7 que X es
conexo.
Supongamos ahora que es un camino en X tal que (0) = (0, 1).
Entonces 1 (A) es cerrado y no vaco en [0, 1]. Probaremos a conti-
nuacion que tambien es abierto. Como [0, 1] es conexo, resultara que
([0, 1]) A y, por lo tanto, que (0, 1) no esta conectado por cami-
nos con los puntos de B y, en consecuencia, que X no es conexo por
caminos.
Para probar que 1 (A) es abierto, fijamos t0 1 (A). Sea > 0
tal que
(t) B1/2 ((t0 )) para todo t [0, 1] tal que |t t0 | < .
Como, para todo t [0, 1] tal que |t t0 | < 0 , (t) esta conectado por
caminos con (t0 ), por la observaci on 7.2.11.2 (t) esta en la compo-
nente conexa de (t0 ) en B (t0 ) , que es A B (t0 ) . Por lo tanto,
t 1 (A) si |t t0 | < , de donde se concluye que 1 (A) es abierto,
como se quera probar.
Observese tambien que, seg un resulta de lo anterior, B, que no es
cerrado, es una componente conexa por caminos de X.
n 7.2.13. Un espacio topologico (X, )es localmente conexo
Definicio
por caminos si todo punto de X tiene una base de entornos conexos por
caminos.
Observacio n 7.2.14. Resulta de la observacion 7.2.11.1, que si X es lo-
calmente conexo por caminos, tambien es localmente conexo.
En la siguiente proposicion probamos, para el caso de la conexion por
caminos, el resultado analogo al de la proposicion 7.2.3.
LOCAL Y CONEXION
1. X es localmente conexo por caminos.

2. Las componentes conexas por caminos de los subconjuntos abiertos de
X tambien son abiertas.
3. Existe una base de cuyos miembros son conexos por caminos.
Demostracio n.
1 2: Sea A X un conjunto abierto. Dado a A, sea V Na un entorno
conexo por caminos contenido en A. Entonces, por la proposicion 7.2.9, se tiene
que V CCaA y, por lo tanto, que CCaA Na . Se probo as que CCaA es un
entorno de cada uno de sus puntos y es, en consecuencia, abierto.
2 3: Sea
B = {A : A es conexo por caminos}.
Si U X es abierto, entonces U es la union de sus componentes conexas por
caminos que, por la parte 1) y por la proposicion 7.2.9, pertenecen a B. Se
probo as que B es base de la topologa .
3 1: Si B es una base de cuyos miembros son conexos por caminos,
entonces, para todo x X, la familia
Bx = {V B : x V }
es una base de entornos conexos por caminos de x.
Observacio n 7.2.16. Si X es un espacio localmente conexo por caminos,
entonces sus componente conexas por caminos son abiertas por la proposicion
7.2, y son cerradas porque el complemento de una componente conexa por
caminos es la union de las restantes componentes, que es abierta.
Proposicio n 7.2.17. Sea X un espacio localmente conexo por caminos.
Entonces, para todo x X,
CCx = Cx .
Demostracio n. Por la observacion 7.2.11.2, CCx Cx . Ademas, por la
observacion 7.2.16, CCx Cx es abierto, cerrado y no vaco en Cx , que es
conexo. Por lo tanto, CCx Cx = Cx , es decir CCx Cx .
Corolario 7.2.18. Si X es un espacio localmente conexo por caminos y
conexo, entonces tambien es conexo por caminos.
Captulo 8
Espacios m
etricos completos

El procedimiento de completacion del espacio Q de los numeros racionales
(es decir, aquel por el que se pasa de Q a R) consiste en agregar a Q los
lmites de las sucesiones racionales. Los procedimientos habituales (mediante
cortaduras, pares de clases contiguas, etc.) estan vinculados al orden en
Q, ya que los lmites reales de las sucesiones racionales se pueden obtener
como lmites de sucesiones crecientes (o decrecientes). Por esta misma razon,
la completitud del espacio R de los n umeros reales (es decir, la propiedad de
que R no se agranda si se le aplica el procedimiento por el que se pasa de Q a
R) suele enunciarse tambien en terminos del orden: todo conjunto de n umeros
reales acotado superiormente tiene un supremo.
En este captulo estudiamos la completitud y completacion de espacios
metricos. Como en general no hay un orden en el espacio que describa la
metrica, las sucesiones de Cauchy, que son sucesiones que se acercan a un
punto que eventualmente no esta en el espacio y hay que agregar, juegan el
papel que juegan en el pasaje de Q a R las cortaduras de Dedekind, etcetera.
Definiciones 8.1.1.
1. Una sucesion {xn } en un espacio metrico (E, d) es de Cauchy si para
todo > 0 existe n0 N tal que
d(xn , xm ) < si n, m n0 .
2. Se dice que una red {Td } en un espacio metrico (E, d) esta acotada si
el conjunto {Td : d D} esta acotado (vease definicion 2.3.5).
Ejemplo 8.1.2. Una sucesion convergente en un espacio metrico es de
Cauchy. Sea {xn } una sucesion que converge a x en un espacio metrico (E, d).
Dado > 0, sea n0 tal que
d(xn , x) < /2
para todo n n0 .
Entonces, por la desigualdad triangular,
d(xn , xm ) d(xn , x) + d(x, xm ) <
para todo n, m n0 .
n 8.1.3. Toda sucesion de Cauchy esta acotada.
Proposicio
Demostracio n. La demostracion es similar a la del caso de sucesio-
nes reales: sean n0 tal que d(xn , xm ) 1 para todo n, m n0 y M =
max{1, d(xk , xl ) : k, l n0 }.
80
Entonces
d(xn , xm ) 2M
para todo k N. En efecto, es claro que
d(xn , xm ) M (8.1.1)
si n, m n0 o si n, m n0 . Supongamos ahora que n n0 m. Entonces,
por la desigualdad (8.1.1),
d(xn , xm ) d(xn , xn0 ) + d(xn0 , xm ) 2M.

Proposicio n 8.1.4. Una sucesion de Cauchy que tiene una subsucesion
convergente es convergente.
Demostracio n. Sean {xn } una sucesion de Cauchy y {xnk }kN una sub-
sucesion que converge a x. Dado > 0, sean n0 tal que
d(xn , xm ) < /2 para todo n, m n0 (8.1.2)
y k0 tal que nk0 n0 y
d(xnk0 , x) < /2. (8.1.3)
Entonces, por (8.1.2) y (8.1.3), para todo n n0 ,
d(xn , x) d(xn , xnk0 ) + d(xnk0 , x) < /2 + /2 = .

n 8.1.5. Sean (E, dE ) y (F, dF ) espacios metricos y sea
Proposicio
f : E F
una funcion uniformemente continua. Si {xn } E es una sucesion de Cauchy,
entonces {f (xn )} tambien lo es.
n. Dado > 0, sea > 0 tal que
Demostracio
dF (f (x), f (y)) < si dE (x, y) < . (8.1.4)
Sea ahora n0 tal que
dE (xn , xm ) < si n, m n0 . (8.1.5)
Entonces, por (8.1.4) y (8.1.5),
dF (f (xn ), f (xm )) < para todo n, m n0 .

Definicio n 8.1.6. Un espacio metrico (E, d) es completo si toda sucesion
de Cauchy en E es convergente.
Ejemplos 8.1.7.
1. Como se suele probar en los cursos de Calculo, el espacio R de los
n
umeros reales es completo.
2. El intervalo I = (1, 1) no es completo: la sucesion {xn } I dada por

xn = 1 n1 es de Cauchy, pero no converge.
Proposicio n 8.1.8. Sea (E, d) un espacio metrico completo. Un subcon-

junto F E es completo si y solo si es cerrado en E.
Demostracio n. Sea F un subconjunto cerrado de E. Si {xn } F es una
subsucesion de Cauchy, como E es completo, {xn } converge a x E. Como F
es cerrado, x F . Por lo tanto, toda sucesion de Cauchy en F converge (en
F ), es decir, F es completo.
Recprocamente, si F es completo, dado x F , existe, por la proposicion
4.1.3, una sucesion {xn } F que converge a x. Como F es completo, {xn }
converge a y F . Ahora, por el ejemplo 3.2.12.1 y la proposicion 4.2.5, se
tiene que x = y F . Concluimos as que F es cerrado.
n 8.1.9. Los espacios R y (1, 1) son homeomorfos, porque
Observacio
la funcion
h : (1, 1) R
dada por h(t) = Arctg( t 2
) es un homeomorfismo. Sin embargo, como se vio en
los ejemplos 8.1.7, R es completo, mientras que (1, 1) no lo es. Esto muestra
que la completitud no es una propiedad topol ogica, es decir, no es una pro-
piedad que un espacio comparta necesariamente con los espacios homeomorfos
a el (como es, por el corolario 7.1.6, la conexion). Probaremos a continuacion
(corolario 8.1.12) que s es una propiedad m etrica, es decir, una propiedad
que un espacio metrico comparte con los espacios isometricos a el.
n 8.1.10. Sean (E, dE ) y (F, dF ) espacios metricos y sea
Proposicio
i : E F
una inmersion isometrica. Si E es completo, Im(i) es cerrada en F .
n. Sea {i(xn )} una sucesion en Im(i) que converge a y F .
Demostracio
Como
dE (xn , xm ) = dF (i(xn ), i(xm )),
la sucesion {xn } es de Cauchy en E y, en consecuencia, converge a x E.
Por la continuidad de i, i(xn ) converge a i(x). Por lo tanto, como F es de
Hausdorff, se tiene que y = i(x) Im(i).
n 8.1.11. Sean (E, dE ) y (F, dF ) espacios metricos y
Proposicio
f : E F
una funcion continua y biyectiva cuya inversa es uniformemente continua. Si
E es completo, F tambien lo es.
Demostracio n. Sea {yn } F una sucesion de Cauchy. Por la proposi-
cion 8.1.5, la sucesion {f 1 (yn )} es de Cauchy y, por ser E completo, converge
a un punto x E. Como f es continua e yn = f (f 1 (yn )) para todo n N, la
sucesion {yn } converge a f (x).
Corolario 8.1.12. Sean (E, dE ) y (F, dF ) espacios metricos isometricos.
Entonces E es completo si y solo si F lo es.
Observacio n 8.1.13. Sean (E1 , m1 ), (E2 , m2 ), , (En , mn ) espacios metri-

cos, y sean E el producto cartesiano
E = E1 E2 En
y dE E E
1 , d2 y d las distancias en E definidas en la proposici on 2.3.4. Se prueba
facilmente, a partir de las inclusiones en (2.3.4), que las funciones
id : (E, dE E
) (E, d ),
donde , {1, 2, }, son uniformemente continuas. Resulta entonces del

corolario 8.1.12 que E es completo con una de esas metricas si y solo si lo es
con las restantes.
Proposicio n 8.1.14. Sean (E, mE ) y (F, mF ) espacios metricos. Entonces
el espacio producto E F es completo (con cualquiera de las tres metricas
habituales, en virtud de la observacion 8.1.13) si y solo si E y F son completos.
Demostracio n. Consideremos la distancia d en E F , es decir, la
distancia dada por
d ((e, f ), (e0 , f 0 )) = max{mE (e, e0 ), mF (f, f 0 )}.
Las proyecciones pE y pF son uniformemente continuas: dado > 0, si
d ((e, f ), (e0 , f 0 )) < ,
se tiene que
mE (pE (e, f ), pE (e0 , f 0 )) = mE (e, e0 ) < d ((e, f ), (e0 , f 0 )) <
y, analogamente, mF (pF (e, f ), pF (e0 , f 0 )) < .
Supongamos que E y F son completos y sea {(en , fn )} una sucesion de
Cauchy en EF . Como las proyecciones pE y pF son uniformemente continuas,
las sucesiones {en } = {pE ((en , fn ))} y {fn } = {pF ((en , fn ))} son de Cauchy
por la proposicion 8.1.5 y, en consecuencia, convergen a puntos e y f en E y F ,
respectivamente. Resulta ahora de la proposicion 6.2.3 que {(en , fn )} converge
a (e, f ) en E F .
Supongamos ahora que el producto E F es completo, y sea f0 F . Como
la funcion
: E E {f0 } dada por i(e) = (e, f0 ),
es claramente una isometra, alcanza con probar, en virtud del corolario 8.1.12,
que E {f0 } es completo y esto, por la proposicion 8.1.8, queda, a su vez,
probado si se prueba que E {f0 } es cerrado en E F . Probemos, entonces,
esta ultima afirmacion: si (e, f ) 6 E {f0 }, sea V un entorno abierto de f tal
que f0 6 V . Entonces E V es abierto en la topologa producto y
(e, f ) E V (E {f0 })c ,
lo cual prueba que (E {f0 })c es abierto. En forma analoga se prueba que F
es completo cuando E F lo es.
Corolario 8.1.15. Sean (E1 , m1 ), (E2 , m2 ), , (En , mn ) espacios metri-
cos, y sea E el producto cartesiano
E = E1 E2 En .
El espacio producto E, con cualquiera de las tres metricas habituales, es com-

pleto si y solo si Ei es completo para todo i = 1, , n.
Demostracio n. La demostracion, por induccion en n, es inmediata a
partir de la proposicion 8.1.14, y se deja a cargo del lector.
Proposicio n 8.1.16. Sean S un conjunto y (E, d) un espacio metrico com-
pleto. Entonces el espacio de funciones acotadas Fb (S, E) definido en la pro-
posicion 4.3.5 tambien es completo.
Demostracio n. Sea {fn } una sucesion de Cauchy en Fb (S, E). Observe-
mos primero que, para cada x S, la sucesion {fn (x)} es de Cauchy en E. En
efecto, dado > 0, sea n0 tal que
dsup (fn , fm ) < si n, m n0 .
Entonces
d(fn (x), fm (x)) dsup (fn , fm ) <
para todo x S, si n, m n0 . En consecuencia, {fn (x)} converge a un punto
f (x) para todo x S.
Probemos ahora que la funcion f F(S, E) as obtenida esta acotada: por
la proposicion 8.1.3, existe K tal que
dsup (fn , fm ) K para todo n, m N. (8.1.6)
Por otro lado, como la funcion fn esta acotada, para todo n existe Mn tal que
d(fn (x), fn (y)) Mn para todo x, y S.
Entonces
d(fn (x), fn (y)) d(fn (x), f1 (x)) + d(f1 (x), f1 (y)) + d(f1 (y), fn (y))
dsup (fn , f1 ) + M1 + dsup (f1 , fn )
2K + M1 , (8.1.7)
para todo x, y S y n N. Finalmente, por la continuidad de la funcion
distancia en E E (ejemplo 5.1.5),

d(f (x), f (y)) = d lm(fn (x), fn (y)) = lm d(fn (x), fn (y)) 2K + M1
n n
para todo x, y S, por la desigualdad (8.1.7), lo cual prueba que f Fb (S, E).
ltimo, la sucesion {fn } converge a f en Fb (S, E): dado > 0, sea n0
Por u
tal que dsup (fn , fm ) < 2 si n.m n0 .
Entonces,

d(fn (x), f (x)) = lm d(fn (x), fm (x)) ,
m 2
para todo x S y n n0 , de donde resulta que
dsup (fn , f ) < si n n0 .

Corolario 8.1.17. Sean X un espacio topologico y (E, d) un espacio
metrico completo. El conjunto Cb (X, E) de funciones continuas y acotadas
definido en la proposicion 5.1.25, es completo.
DE UN ESPACIO METRICO
8.2. COMPLETACION 85
Demostracio n. Es una consecuencia inmediata de las proposiciones 5.1.25,

8.1.8 y 8.1.16.

8.2. Completaci
on de un espacio m
etrico
Como se vera en lo que queda de este captulo, la completitud de un es-
pacio metrico garantiza que valen resultados muy u tiles como el teorema de
Baire, el teorema de cerrados encajados de Cantor o el teorema del punto fijo
para contracciones. Cuando un espacio metrico E no es completo, uno querra
repetir el procedimiento por el que se pasa del espacio no completo de los
n
umeros racionales al espacio completo de los n umeros reales. Intuitivamente,
uno querra agregar los lmites de las sucesiones de Cauchy, sin agregar, claro,
nuevas sucesiones de Cauchy no convergentes, y agrandando lo menos que sea
posible el espacio original. Cuando E es un subespacio de un espacio comple-
to F, esto se puede hacer tomando su clausura E en F . Probaremos en esta
seccion que un procedimiento de ese tipo siempre es posible.
Definicio n 8.2.1. Sea (E, d) un espacio metrico. Una completaci
on de
(E, d) consiste en un par (E, i) tal que
b
1. Eb es un espacio metrico completo.
2. i : E E b es una inmersion isometrica.
3. i(E) es denso en E.b
Ejemplo 8.2.2. Si (E, d) es un espacio metrico completo, (E, inc) es una

completacion de cualquier subconjunto denso en E, donde inc es la inclusion.
En particular,
1. (R, inc) es una completacion de Q.
2. (E, id) es una completacion de E cuando E es completo.
n 8.2.3. El ejemplo 8.2.2 implica que si
Observacio
i : E F
es una inmersion isometrica entre los espacios metricos E y F , y F es completo,
entonces (i(E), i) es una completacion de E.
Probaremos a continuacion que todo espacio metrico tiene una completa-
cion, siguiendo el procedimiento sugerido por la observacion 8.2.3. Luego de
establecer algunos resultados preliminares, probaremos tambien que la com-
pletacion es basicamente u
nica (corolario 8.2.8).
n 8.2.4. Todo espacio metrico tiene una completacion.
Proposicio
Demostracio n. Sea (E, d) un espacio metrico. Probaremos que existe
una inmersion isometrica
i : E Cb (E, R).
Resultara entonces la observacion 8.2.3 y del corolario 8.1.17 que (i(E), i) es
una completacion de E.
A los efectos de definir i, fijamos un punto e0 E y, para cada e E,

definimos la funcion
ie : E R, por ie (x) = d(e, x) d(e0 , x),
para todo x E.
Como en el ejemplo 5.1.5, ie es continua para todo e E.
Ademas, esta acotada:
|ie (x)| = |d(e, x) d(e0 , x)| d(e, e0 ),
para todo x, y E.
Finalmente, i es una inmersion isometrica:
|ie (x) if (x)| = |d(e, x) d(e0 , x) d(f, x) + d(e0 , x)|
= |d(e, x) d(f, x)|
d(e, f )
para todo x E, de donde se concluye que
dsup (ie , if ) = sup |ie (x) if (x)| d(e, f ).
xE
Por otro lado,

dsup (ie , if ) |ie (f ) if (f )| = d(e, f ).
Se probo as que dsup (ie , if ) = d(e, f ), es decir, que i es una inmersion isometri-
ca.
Proposicio n 8.2.5. Sean (E, dE ) y (F, dF ) espacios metricos, X un sub-
conjunto denso en E y
f : X F
una funcion uniformemente continua. Si F es completo, existe una u nica ex-

tension continua f de f a E.
Ademas, f es uniformemente continua y es una inmersion isometrica si f
lo es.
Demostracio n. Dado e E, sea {xn } X una sucesion que converge
a e. Entonces, por la proposicion 8.1.5, {f (xn )} tambien es de Cauchy en F ,
que es completo y, por lo tanto, {f (xn )} converge a un punto m F .
Antes de definir, como es natural, f(e) := m, es necesario probar que
si {x0n } X es otra sucesion que converge a e, entonces {f (x0n )} tambien
converge a m. Razonando como arriba, concluimos que {f (x0n )} converge a
m0 .
Dado > 0, sea > 0 tal que
dF (f (x), f (x0 )) < si dE (x, x0 ) < ,
y sea n0 tal que
dE (xn , e) < /2 y dE (x0n , e) < /2
para todo n n0 .
Entonces, por la desigualdad triangular,
dE (xn , x0n ) <
y, por lo tanto,
dF (f (xn ), f (x0n )) < (8.2.1)
para todo n n0 .
Tomando ahora lmite en n en (8.2.1), concluimos que
dF (m, m0 ) para todo > 0,
es decir, m = m0 .
Definimos, entonces,
f(e) := m. (8.2.2)
nica definicion posible de la funcion f si esta es
Observese que (8.2.2) es la u
continua.
Veamos ahora que f es uniformemente continua: dado > 0, sea tal que
dF (f (x), f (x0 )) < /2 si x, x0 X son tales que dE (x, x0 ) < .
Dados e, e0 en E, tales que dE (e, e0 ) < /3, sean {xn } y {x0n } sucesiones en X
que convergen a e y e0 , respectivamente, y sea n0 tal que
dE (xn , e) < /3 y dE (x0n , e0 ) < /3,
para todo n n0 .
Entonces
dE (xn , x0n ) dE (xn , e) + dE (e, e0 ) + dE (e0 , x0n ) < ,
para todo n n0 .
Por lo tanto,
dF (f (xn ), f (x0n )) < /2
y, pasando al lmite,
dF (f(e), f(e0 )) /2 < .
Finalmente, si f es una inmersion isometrica, dados e y e0 E, y sucesiones
{xn } y {x0n } en X que convergen, respectivamente, a e y e0 ,
dF (f(e), f(e0 )) = lm dF (f (xn ), f (x0n ) = lm dE (xn , x0n ) = dE (e, e0 ).
n n

Observacio n 8.2.6. La proposicion 8.2.5 no vale si se supone que f es
continua pero no uniformemente continua: la funcion
1
f : (0, 1] R, dada por f (x) =
x
es continua, pero no se puede extender a una funcion continua en [0, 1].
Proposicio n 8.2.7. Sean (E,
b iE ) y (Fb, iF ) completaciones de los espacios
metricos E y F , respectivamente, y
f : E F
una funcion uniformemente continua.
Entonces
1. Existe una u
nica funcion continua fb tal que el diagrama
f
E / F (8.2.3)
iE iF

E
b / Fb
fb
conmuta.
2. fb es uniformemente continua.
3. Si f es una inmersion isometrica, fb tambien lo es y, ademas,
Im(fb) = Im(iF f ). (8.2.4)
4. fb es una isometra si f lo es.
n. La funcion
Demostracio
iF f i1
E : iE (E) F
es uniformemente continua e i(E) es denso en E. b Por la proposicion 8.2.5,

entonces, iF f i1
E se extiende en forma u nica a una funcion continua fb en E, b
que es ademas uniformemente continua.
Como fb hace conmutar el diagrama (8.2.3) si y solo si es una extension de
iF f i1
E , hemos probado las afirmaciones 1 y 2.
Si f es una inmersion isometrica, tambien lo es iF f i1 E , y resulta de
la proposicion 8.2.5 que fb es una inmersion isometrica. Ademas, como fb es
continua,
Im(fb) = fb((iE (E)) (fbiE )(E) = Im(iF f ). (8.2.5)
Por otro lado, como iF f = fb iE ,
Im(iF f ) Im(fb). (8.2.6)
Entonces, por (8.2.5) y (8.2.6),
Im(iF f ) Im(fb) Im(iF f ). (8.2.7)
Finalmente, como Im(fb) es cerrada por la proposicion 8.1.10, tomando clau-
suras en la cadena de inclusiones (8.2.7), se obtiene
Im(fb) = Im(iF f ),
lo cual prueba la afirmacion 3.
Por u
ltimo, la afirmacion 4 es evidente a partir de la 3.
Corolario 8.2.8. Si (E b1 , i1 ) y (E
b2 , i2 ) son completaciones de un espacio
metrico (E, d), existe una u
nica isometra j tal que el diagrama
j
E / E
_ ?
b1 b2
i1 i2
E
conmuta.

8.3. ALGUNOS RESULTADOS EN ESPACIOS METRICOS COMPLETOS 89
n. Se obtiene j al aplicar la proposicion 8.2.7 al diagrama

Demostracio
id /
E E
i1 i2

E
c1 / E
c2
j

Observacio n 8.2.9. El corolario 8.2.8 establece que entre dos completa-
ciones de un espacio metrico (E, d) existe una isometra que preserva la copia
del espacio E, lo cual hace que la completacion de un espacio metrico sea
esencialmente unica. A menudo hablaremos, entonces, en un ligero abuso de
lenguaje, de la completacion de un espacio metrico.
Proposicio n 8.2.10. Sean (E1 , i1 ) y (E2 , i2 ) completaciones de los espa-

metricos (E1 , m1 ) y (E2 , m2 ), respectivamente. Entonces (E1 E2 , d ), i1
cios
i2 es una completacion de (E1 E2 , d ), donde
(i1 i2 )(e1 , e2 ) = (i1 (e1 ), i2 (e2 )) para todo (e1 , e2 ) E1 E2 ,
y d es la distancia definida en 2.3.4, con {1, 2, }.
Demostracio n. Es claro que, por ser i1 e i2 inmersiones isometricas,
tambien lo es
i1 i2 : (E1 E2 , d ) (E1 E2 , d ),
para todo {1, 2, }.
Ademas, por la proposicion 8.1.14, (E1 E2 , d ) es completo para todo
{1, 2, }. Solo falta probar, entonces, que la imagen de i1 i2 es densa
en (E1 E2 , d ): dados (x, y) E1 E2 y {1, 2, }, sean {xn }nN E1
e {yn }nN E2 sucesiones tales que {i1 (xn )} converge a x en E1 e {i2 (yn )}
converge a y en E2 . Entonces (i1 i2 )(xn , yn ) converge a (x, y) en (E1 E2 , d ),
lo cual concluye la demostracion.

8.3. Algunos resultados en espacios m

etricos completos
Definiciones 8.3.1. Sean (E, d) un espacio metrico y
f : E E.
on en E si existe [0, 1) tal que
1. Se dice que f es una contracci
d(f (x), f (y)) d(x, y) (8.3.1)
para todo x, y E.
2. Un punto x E es un punto fijo de f si
f (x) = x.

Observacio n 8.3.2. Toda contraccion es uniformemente continua: el valor

de la definicion 8.3.1.1 siempre puede tomarse estrictamente positivo, ya que
la desigualdad (8.3.1) se cumple para cualquier n umero real mayor que , si
vale para . En ese caso,

d(f (x), f (y)) < si d(x, y) < .

Teorema 8.3.3. Toda contraccion en un espacio metrico completo tiene
un punto fijo y uno solo.
Demostracio n. Sean (E, d) un espacio metrico completo y f una con-
traccion en E. Sea [0, 1) tal que
d(f (x), f (y)) d(x, y),
para todo x, y E.
Fijamos x0 E, y definimos
xn = f (xn1 ) para todo n 1.
Veamos primero que la sucesion {xn } as construida es de Cauchy. En efecto,
como
d(xn+1 , xn ) = d(f (xn ), f (xn1 )) d(xn , xn1 ),
se prueba sin dificultad, por induccion en n, que
d(xn+1 , xn ) n d(x1 , x0 ).
Sea > 0; dados n < m, aplicando sucesivas veces la desigualdad triangu-
lar, se tiene que
m1
X m1
X
d(xm , xn ) d(xk , xk+1 ) k d(x1 , x0 ).
k=n k=n
k d(x1 , x0 ) converge, existe n0 N tal que

P
Como la serie k
m1
X
d(xm , xn ) k d(x1 , x0 ) < .
k=n
si m, n n0 .
Sea
a = lm xn .
n
Entonces, como f es continua,
f (a) = lm f (xn ) = lm xn+1 = a.
n n
Por lo tanto, a es un punto fijo de f . Ademas, es el unico: si e E es un punto

fijo de f ,
d(a, e) = d(f (a), f (e)) d(a, e) < d(a, e)
si a 6= e.
Observacio n 8.3.4. La demostracion del teorema 8.3.3 da tambien una
forma de aproximarse al punto fijo que a veces permite calcularlo.

Teorema 8.3.5. (de cerrados encajados de Cantor) Sea (E, d) un espacio

metrico. Las siguientes afirmaciones son equivalentes.
1. E es completo.
2. Si {Fn } es una sucesion de subconjuntos cerrados de E tal que
Fn+1 Fn para todo n 1 y lmn diam(Fn ) = 0, existe a E tal que

\
Fn = {a}.
n=1
Demostracio n.
1) 2): Se elige xn Fn para cada n N. Si n, m n0 , se tiene que
xn , xm Fn0 y, por lo tanto,
d(xn , xm ) diam(Fn0 ).
Entonces, como diam(Fn ) tiende a cero, {xn } es de Cauchy y converge a
un punto a E.
Como a es el lmite de la sucesion {xn }nm Fm , resulta que
a Fm = Fm
para todo m 1 y, por lo tanto,
\
Fn {a}.
n=1
T
Sea b n=1 Fn ; entonces
d(a, b) diam(Fn ) para todo n 1,
de donde se concluye que d(a, b) = 0 y, en consecuencia, que a = b. Hemos
probado as que
\
Fn = {a}.
n=1
2) 1): Dada una sucesion de Cauchy {xn } en (E, d), definamos
Fn = {xk : k n}.
Es claro que la sucesion {Fn } esta en las hipotesis de 2).
Sea a E tal que
\
Fn = {a}.
n=1
Entonces {xn } converge a a: dado > 0, sea n0 tal que el diametro de Fn es
menor que para todo n n0 .
Entonces
d(xn , a) diam(Fn ) <
para todo n n0 .
Teorema 8.3.6. (Baire) Sean (E, d) un espacio metrico completo y {Un }n1
una sucesion T
de subconjuntos abiertos y densos en E.
Entonces n1 Un es denso en E.

n. Por las proposiciones 2.2.10 y 3.3.2, alcanza con probar

Demostracio
que
\
Br (x) Un 6= ,
n1
para todo punto x E y r > 0.

Sea
B1 := Br (x).
Como el conjunto B1 U1 es abierto y no vaco, existen x2 E y > 0 tales
que
B (x2 ) B1 U1 . (8.3.2)
Sean ahora
1
2 := mn{ , } y B2 := B2 (x2 ).
2 2
Entonces
B2 B (x2 ) B1 U1 . (8.3.3)
1
Sean x2 , x3 , , xn1 E y 2 , , n1 tales que 0 < k k
y que
Bk Bk1 Uk1 ,
para todo k = 2, , n 1, donde Bk = Bk (xk ).
Como el conjunto Bn1 Un1 es abierto y no vaco, existen xn E y
0
> 0 tales que
B0 (xn ) Bn1 Un1 .
Definiendo ahora
0 1
n := mn{ , } y Bn := Bn (xn ),
2 n
se tiene que
Bk Bk1 Uk1 , (8.3.4)
para todo k = 2, , n.
Se construye as por recurrencia la sucesion de bolas {Bk } que satisface
(8.3.4) para todo k 2 y tal que
2
diam(Bk ) k 0.
k
Tenemos entonces que {Bn }n2 es una sucesion decreciente de subconjuntos
cerrados de E cuyo diametro tiende a cero. Concluimos, a partir del teorema
8.3.5, que existe a E tal que
\ \
{a} = Bn B1 Un , (8.3.5)
n2 n1
de donde resulta que el conjunto de la derecha en (8.3.5) no es vaco, como

queramos probar.

Observacio n 8.3.7. Si bien la demostracion del teorema de Baire (8.3.6)

descansa en la estructura metrica del espacio E, su conclusion vale tambien
para espacios topologicos que son homeomorfos a un espacio metrico completo
(por ejemplo, para un intervalo abierto, que no es completo, pero es homeo-
morfo a R):
Si
h : X E
es un homeomorfismo del espacio topologico (X, ) en el espacio metrico com-
pleto (E, d), y {Un } es una sucesion de conjuntos abiertos y densos en X,
entonces {h(Un )} es una sucesi
T on de conjuntos abiertos y densos en E y, por
el teorema de Baire (8.3.6), n h(Un ) es denso en E.
Por lo tanto,
\ \
Un = h1

h(Un )
n n
es denso en X.
Definiciones 8.3.8. Sea (X, ) un espacio topologico.
1. Un subconjunto A X es nunca denso (en X) si

A = .
2. El espacio X es magro o de primera categora si es la union de
una cantidad numerable de subconjuntos nunca densos.
Ejemplos 8.3.9.
1. Sean X un espacio topologico T1 y x X. El conjunto {x} es nunca
denso si y solo si x no es un punto aislado, porque, por la observacion
3.1.12 y el corolario 3.2.7,
(

{x} = {x} = {x} si x es aislado,
en caso contrario.
2. El espacio de n
umeros racionales Q es magro, por el ejemplo 8.3.9.1,
porque es numerable y sus puntos no son aislados.
3. El conjunto de Cantor C es nunca denso en R por las proposiciones

5.2.3 y 5.2.8.
4. Sea (X, ) un espacio topologico. Si A X es abierto y no vaco, su

frontera A es un conjunto cerrado y nunca denso. Es claro, a partir
de la definicion, que A es cerrado; solo falta probar que tiene interior
vaco. Si U A es abierto y no vaco, entonces
A = ,
A U A A = A
de donde se concluye que U no esta contenido en A, en contradiccion
con lo supuesto.

Observacio n 8.3.10. Sea (X, ) un espacio topologico. Un conjunto A

X es nunca denso en X si y solo si (Ac ) es denso en X, porque, por la
proposicion 3.1.17,
c
A es nunca denso en X A = [ (A)c ] =
c c
(A)c = A = X Ac = X (Ac ) es denso en X.

Corolario 8.3.11. Sean (X, ) un espacio topologico homeomorfo a un

espacio metrico completo y F X un conjunto magro en X. Entonces F tiene
interior vaco.
Demostracio n. Sea {Fn }nN una sucesion de subconjuntos nunca densos
de X tales que [
F = Fn .
nN
Podemos suponer que Fn es cerrado para todo n N sin perder generalidad,
S si y solo si Fn lo es, y porque, una vez demostrado
porque Fn es nunca denso
el teorema para F 0 = nN Fn , se concluye que
F0 = .
F
Con ese supuesto, se tiene que
\
Fc = Fnc ,
donde, por la observacion 8.3.10, Fnc es abierto y denso en X. Por la observacion
8.3.7, F c es denso en X y, por lo tanto,
= F c c = .

F

Corolario 8.3.12. Sea (X, ) un espacio topologico homeomorfo a un
espacio metrico completo. Entonces X no es magro (en s mismo).
n. Es inmediata a partir del corolario 8.3.11
Demostracio

Ejemplo 8.3.13. El conjunto de Cantor es completo, al ser cerrado en R.
Por lo tanto, no es magro en s mismo (comparese con el ejemplo 8.3.9.3).
Ejemplo 8.3.14. Sea C el conjunto de Cantor. Veremos que existe un
n
umero real x tal que
C + {x} Q = ,
donde Q es el conjunto de los n
umeros racionales y
C + {x} = {c + x : c C}.
Si r Q, como se vio en el ejemplo 5.1.14, la funcion
Tr : R R,
dada por Tr (x) = x+r, es un homeomorfismo, y lleva C en el conjunto C +{r}.
Entonces, por el ejemplo 8.3.9.3, C + {r} es nunca denso en Tr (R) = R.

Por el corolario 8.3.12, entonces,

[
R 6= C + {r} .
rQ
S
Sea x R \ rQ C + {r} , y sea x =
x. Entonces

C + {x} Q = .
Captulo 9
Espacios compactos

n 9.1.1. Sea (X, ) un espacio topologico. Un subconjunto Y
Definicio
X es compacto si todo cubrimiento abierto tiene un subcubrimiento finito.
Observacio n 9.1.2. Un subconjunto Y de un espacio topologico X es
compacto si y solo si lo es con la topologa relativa, porque un cubrimiento
abierto de Y con la topologa relativa consiste en una familia {U Y }I ,
donde U es abierto en X para todo , y tal que
[
Y = U Y,
I
es decir, [
Y U .
I
n 9.1.3. Un subconjunto cerrado de un espacio compacto es

Proposicio
compacto.
Demostracio n. Sean X un espacio topologico compacto e Y X un
conjunto cerrado. Sea {U }I una familia de conjuntos abiertos en X tal que
[
Y U . (9.1.1)
I
c
Entonces {Y } {U }I es un cubrimiento abierto de X, y tiene un subcu-
brimiento finito {Y c , U1 , U2 , , Un }. Por lo tanto,
n
[
Y Ui .
i=1

Ejemplos 9.1.4.
1. El espacio topologico R de los n
umeros reales no es compacto: el cu-
brimiento abierto
U = {(n, n) : n N}
no tiene subcubrimientos finitos, porque la union de una cantidad fini-
ta de miembros de U es un conjunto acotado, a diferencia de R.
2. Un conjunto X con la topologa de los complementos finitos es com-

pacto, como probaramos en el ejemplo 3.3.23.
96
Teorema 9.1.5. (Heine-Borel) Un subconjunto cerrado y acotado de R es

compacto.
Demostracio n. Por la proposicion 9.1.3, alcanza con probar que todo
intervalo cerrado [a, b] es compacto. Sea
U = {U }I
una familia de conjuntos abiertos en R tal que
[
[a, b] U ,
I
y sea X = {x [a, b] : [a, x] esta contenido en la union de una cantidad finita

de miembros de U}.
Entonces X no es vaco, porque a X. Sean c = sup X, 0 I tal que
c U0 y > 0 tal que
(c , c + ) U0 .
Sea x X (c , c], y sean 1 , , n I tales que
n
[
[a, x] Ui .
i=1
Entonces, para todo y [x, c + ) [a, b], se tiene que

n
[
[a, y] Ui
i=0
y, por lo tanto,
(c , c + ) [a, b] X.
Como, ademas, c = sup X, concluimos que c = b X y que, en consecuencia,
U tiene un subcubrimiento finito.
Definicio n 9.1.6. Sean X un conjunto y F P(X) una familia de sub-
conjuntos de X. Se dice que F tiene la propiedad de intersecci on finita
(PIF) si para toda subfamilia finita {F1 , F2 , , Fn } de F se tiene que
F1 F2 Fn 6= .
Proposicio n 9.1.7. Sean (X, ) un espacio topologico, U P(X) y F =
c
{U : U U}.
Entonces
1. La familia U es un cubrimiento abierto de X si y solo si F es una
familia de conjuntos cerrados en X tal que
\
F = .
F F
2. La familia U no tiene subcubrimientos finitos si y solo si F tiene la

PIF.
Demostracio n. Ambas afirmaciones son consecuencia inmediata de las

leyes de De Morgan (proposicion 1.1.1): U no tiene subcubrimientos finitos si
y solo si, dados U1 , U2 , , Un U se tiene que
[n
Ui 6= X.
i=1
Como, por las leyes de De Morgan,
[n n
\
Ui 6= X Uic 6= ,
i=1 i=1
esto es equivalente a que F tenga la PIF.
La demostracion de la primera afirmacion es analoga.
Corolario 9.1.8. Un espacio topologico X es compacto si y solo si para
toda familia F de conjuntos cerrados en X con la PIF se tiene que
\
F 6= .
F F
n. La afirmacion es inmediata a partir de la proposicion

Demostracio
9.1.7.
Proposicio n 9.1.9. Sean (X, ) un espacio topologico de Hausdorff, K
X un conjunto compacto y x X tal que x 6 K. Entonces existen conjuntos
abiertos y disjuntos U y V tales que
x U y K V.
Demostracio n. Para cada y K, sean Uy y Vy conjuntos abiertos dis-
juntos tales que x Uy e y Vy . Como
[
K Vy ,
yK
existen y1 , y2 , , yn K tales que

n
[
K Vyi .
i=1
Sean n n
\ [
U := Uyi y V := Vyi .
i=1 i=1
Entonces x U , K V y
\n n
[ [
U V = Uyi Vyj = Uy1 Uy2 Uyn Vyj = .
i=1 j=1

Corolario 9.1.10. Sean (X, ) un espacio topologico de Hausdorff y K
X un conjunto compacto. Entonces K es cerrado en X.
n. La afirmacion es consecuencia inmediata de la proposi-
Demostracio
cion 9.1.9.
Ejemplo 9.1.11. En el corolario 9.1.10 es necesaria, en general, la hipotesis

de que X sea de Hausdorff: en R con la topologa del cero, el conjunto {0} es
compacto y no es cerrado.
Corolario 9.1.12. Sean (X, ) un espacio topologicoTde Hausdorff y {K }I
una familia de subconjuntos compactos de X. Entonces I K es compacto.
T
Demostracio n. Sea 0 I. Por el corolario 9.1.10, I K es un sub-
T
conjunto cerrado de K0 . Entonces, por la proposicion 9.1.3, I K es com-
pacto.
Proposicio
f : X Y
una funcion continua. Si X es compacto, entonces f (X) tambien lo es.
n. Sea {U }I una familia de conjuntos abiertos en Y tal
Demostracio
que
[
f (X) U .
I
1
Entonces {f (U )}I es un cubrimiento abierto de X y tiene, en conse-
cuencia, un subcubrimiento finito {f 1 (Ui ) : i = 1, , n}. Eso implica que
{Ui : i = 1, , n} es un cubrimiento abierto de f (X), porque
[ [ [
f (X) = f f 1 (Ui ) = f f 1 (Ui Ui .
i i i

Corolario 9.1.14. Sean X un espacio topologico compacto, Y un espacio
topologico de Hausdorff y f : X Y una funcion continua. La funcion f es
cerrada y es un homeomorfismo si ademas es biyectiva.
Demostracio n. Sea F X un conjunto cerrado. Por la proposicion 9.1.3
F es compacto y entonces, por las proposiciones 9.1.13 y 9.1.10, el conjunto
f (F ) es cerrado en Y .
La segunda afirmacion resulta de la proposicion 5.1.24.
Lema 9.1.15. (Alexander) Sea (X, ) un espacio topologico. Si tiene
una subbase S tal que todo cubrimiento U de X contenido en S tiene un
subcubrimiento finito, entonces X es compacto.
Demostracio n. Sea (X, ) un espacio topologico que no es compacto.
Probaremos que no existe una subbase S de como en el enunciado. Sea F la
familia (no vaca) de cubrimientos abiertos de X que no tienen subcubrimientos
finitos, ordenada con la inclusion. Observemos primero que toda cadena {Ui }iI
en F esta acotada por
[
U= Ui .
iI
Es claro que U es un cubrimiento abierto de X, ya que cada Ui lo es. Pa-
ra probar que U F, supongamos que U tiene un subcubrimiento finito
{A1 , A2 , , An }. Para cada k = 1, , n, sea ik I tal que Ak Uik . Pero en-

tonces {A1 , A2 , , An } es un subcubrimiento finito del cubrimiento maximo
del conjunto {Ui1 , Ui2 , , Uin }, contradiciendo el hecho de que este pertenece
a F.
Hemos probado que (F, ) esta en las hipotesis del lema de Zorn (teorema
1.1.10) y, por lo tanto, tiene un elemento maximal M. Observemos ahora que
valen las siguientes afirmaciones para todo par de subconjuntos abiertos A y
B de X.
i) A 6 MM1 , M2 , ...Mn M : X = A M1 M2 Mn . (9.1.2)
ii) Si A 6 M y B 6 M = A B 6 M. (9.1.3)
iii) Si A B y B M = A M. (9.1.4)
Para verificar i), observese que A 6 M es equivalente a que M {A} 6 F y
esto, a su vez, es equivalente a que M {A} tenga un subcubrimiento finito,
que es la afirmacion en el lado derecho de i).
La afirmacion ii) es consecuencia de i), porque si A 6 M y B 6 M, enton-
ces existen M1 , ..Mk tales que
X = A M1 M2 Mn , X = B Mn+1 Mn+2 Mk .
Por lo tanto,
X = (A B) M1 M2 Mk ,
que, por i), implica que A B 6 M.
Finalmente, si A B y A 6 M, por la parte i) existen M1 , Mn M
tales que
X = A M1 M2 Mn .
Por lo tanto,
X = B M1 M2 Mn
y B 6 M.
Sea ahora S una subbase de . Sean M M y S1 , S2 , , Sn S tales
que
\n
Si M.
i=1
Tn
Entonces, por la observacion iii), i=1 Si M y, por la observacion ii), Si M
para todo i = 1, , n.
Ahora, dado x X, sea Mx M tal que x Mx . y sean Six S, con
i = 1, , n(x), tales que
n(x)
\
x Six Mx .
i=1
Entonces
{Six : i = 1, , n(x), x X} M
es un cubrimiento abierto de X contenido en S que no tiene subcubrimientos
finitos, porque, de lo contrario, tambien M los tendra.
9.2. COMPACIDAD SECUENCIAL Y PROPIEDAD DE BOLZANO-WEIERSTRASS 101
Teorema 9.1.16. (Tijonov) SeaQ{(Xi , i )}iI una familia de espacios to-

pologicos. El espacio producto X = iI Xi es compacto si y solo si cada uno
de los espacios Xi lo es.
Demostracio n. Si X es compacto, tambien lo es cada espacio Xi por la
proposicion 9.1.13, ya que Xi es la imagen de X por la proyeccion pi sobre Xi .
Para probar la afirmacion recproca, verificaremos que la subbase
S = {p1
i (A) : i I, A i }
verifica las hipotesis del lema de Alexander (9.1.15): si U S es un cubrimiento

abierto de X, sea
Ui = {A Xi : p1
i (A) U},
para todo i I.
Entonces existe i0 I tal que Ui0 es un cubrimientoSabierto de Xi0 : de lo
contrario, para cada i I existira xi Xi tal que xi 6 AUi A. Entonces, si
x X esta definido por pi (x) = xi para todo i I, se tiene que
[
x 6 A,
AU
lo cual contradice el hecho de que U es un cubrimiento de X.

Finalmente, si {A1 , , An } Ui0 un subcubrimiento finito de Xi0 , enton-
ces
{p1 1
i0 (A1 ), , pi0 (An )} U
es un subcubrimiento finito de X.
Corolario 9.1.17. Un subconjunto K de Rn es compacto si y solo si es
cerrado y acotado.
Demostracio n. Si K Rn es cerrado y acotado, entonces, por la obser-
vacion 2.3.6, existen a, b R tales que
K [a, b]n .
Por el teorema de Heine-Borel (9.1.5) y el de Tijonov (9.1.16), [a, b]n es com-
pacto. Entonces K es compacto, por la proposicion 9.1.3.
Recprocamente, si K Rn es compacto, entonces es cerrado por el coro-
lario 9.1.10. Ademas, es acotado, porque el subcubrimiento {(k, k)n : k 0}
tiene un subcubrimiento finito.
9.2. Compacidad secuencial y propiedad de Bolzano-Weierstrass

Estudiamos en esta seccion dos propiedades topologicas estrechamente
vinculadas con la compacidad: la compacidad secuencial y la propiedad de
Bolzano-Weierstrass. Veremos en el teorema 9.2.13 que, en espacios metri-
cos, ambas son equivalentes a la compacidad. Comenzamos por caracterizar la
compacidad en terminos de redes.
Teorema 9.2.1. Un espacio topologico (X, ) es compacto si y solo si toda
red {Td }dD en X tiene una subred convergente.
Demostracio n. Sea {Td }dD una red en un espacio topologico compacto

X. Para cada c D, sea
Ac = {Td : d c}.
Entonces Ac tiene la PIF: dados c1 , , cn D, sea c D tal que c
ci para todo i = 1, 2, , n. Entonces
n
\
Tc Aci .
i=1
Por lo tanto, {Ac : c D} es una familia de conjuntos cerrados con la PIF y,

por el corolario 9.1.8, \
Ac 6= .
cD
T
Probaremos ahora que si x cD Ac , entonces x es un punto de aglomeracion
de {Td }. Por la proposicion 4.2.8, entonces, {Td } tiene una subred convergente
a x.
Efectivamente, dados d0 D y un entorno V Nx , como x Ad0 , se tiene
que
Ad0 V 6= .
Es decir, existe c d0 tal que Tc V .
Para demostrar la afirmacion recproca, consideramos Tuna familia F de
subconjuntos cerrados de X con la PIF y probaremos que F F F 6= .
Sea F0 la familia de intersecciones de una cantidad finita de miembros de
F, ordenada con ( es decir, F G si y solo si F G). F0 es un conjunto
dirigido, ya que la interseccion de dos miembros de F0 pertenece a F0 .
Si F F0 , entonces F 6= ; sea xF F . La red {xF }F F0 tiene una subred
convergente y, por lo tanto, tiene un punto de aglomeracion x. Entonces, dados
F F y V Nx , existe G F0 , tal que G F y xG V .
Por lo tanto,
F V G V 6= .
Hemos probado as que \ \
x F = F,
F F F F
como queramos.
Proposicio n 9.2.2. Sea (X, ) un espacio compacto y N1 . Entonces toda
sucesion en X tiene una subsucesion convergente.
Demostracio n. Sea {xn } una sucesion en X. Por el teorema 9.2.1 {xn }
tiene una subred convergente a un punto x X que, por lo tanto, es un punto
de aglomeracion de {xn }. Sea {Vk }kN una base decreciente de entornos de x.
Sean n0 = 1 y n1 > 1 tal que xn1 V1 .
Dados xn1 , xn2 , , xnl tales que
ni1 < ni y xni Vi (9.2.1)
para todo i = 1, , l, sea nl+1 > nl tal que xnl+1 Vl+1 .
Entonces {xnk } es una subsucesion de {xn } que converge a x.
n 9.2.3. Sea (X, ) un espacio topologico. Se dice que X es se-

Definicio
cuencialmente compacto si toda sucesion en X tiene una subsucesion con-
vergente.
Ejemplo 9.2.4. Por la proposicion 9.2.2 todo espacio topologico compac-
to y N1 es secuencialmente compacto. En particular, todo espacio metrico
compacto es secuencialmente compacto.
Corolario 9.2.5. Todo espacio metrico compacto es completo.
Demostracio n. La afirmacion se sigue inmediatamente de la proposicion
8.1.4 y el ejemplo 9.2.4.
Proposicio n 9.2.6. Sea (X, ) un espacio topologico N2 y secuencialmente
compacto. Entonces X es compacto.
Demostracio n. Probaremos que si X es N2 y no es compacto, entonces
no es secuencialmente compacto. Sea U un cubrimiento abierto de X. Como
X es N2 , es de Lindelof por el teorema 3.3.22, y existe un subcubrimiento
numerable {Un }nN de U.
Como X no es compacto, existe
x1 X \ U 1 .
Sea n1 N tal que x1 Un1 , y sea
n1
[
A1 = Ui .
i=1
Como X no es compacto, existe
x2 X \ A1 .
Sean n2 tal que x2 Un2 y
n2
[
A2 = Ui .
i=1
Observese que, entonces, n2 > n1 .
En general, dados n1 , n2 , nk tales que
nj
[
nj1 < nj , Aj := Ui , xj Unj \ Aj1 (9.2.2)
i=1
para 2 j k, sean xk+1 X \ Ak y nk+1 N tal que xk+1 Unk+1 .

(Observese que esto implica que nk+1 > nk ).
Se construyen as, por recurrencia, sucesiones {xj }, {nj } y {Aj } que veri-
fican (9.2.2) para todo j 2.
Veamos ahora que la sucesion {xj } no tiene subsucesiones convergentes.
Dado x X, sea m N tal que x Um , y sea k0 N tal que
nk0 1 m < nk0 .
Entonces Um es un entorno de x tal que xk 6 Um si k > k0 . Por lo tanto {xn }
no tiene subsucesiones que converjan a x. Esto concluye la demostracion, ya
que el argumento vale para todo punto x X.
Corolario 9.2.7. Un espacio topologico N2 es compacto si y solo si es

secuencialmente compacto.
Demostracio n. La afirmacion resulta de la observacion 3.3.27 y de las
proposiciones 9.2.2 y 9.2.6

Definicio n 9.2.8. Un espacio topologico (X, ) tiene la propiedad de
Bolzano-Weierstrass si todo subconjunto infinito de X tiene un punto de
acumulacion (en X).
Proposicio n 9.2.9. Sean (X, ) un espacio topologico N1 y T1 , y {xn }nN
una sucesion en X. Si x X es un punto de acumulacion del conjunto
{xn : n N},
entonces {xn } tiene una subsucesion que converge a x.
Demostracio n. Si x es un punto de acumulacion del conjunto {xn : n
N}, tambien es un punto de acumulacion del conjunto {xn : n N} \ {x}. Por
lo tanto, podemos suponer que xn 6= x para todo n N.
Sea {Vk }kN una base decreciente de entornos de x. Como x 6= x1 , existe
k1 > 1 tal que
x1 6 Vk1 . (9.2.3)
Sean k0 = n0 = 1. Como x es un punto de acumulacion de {xn }, existe n1 N,
xn1 Vk1 . (9.2.4)
Observese que, por (9.2.3) y (9.2.4), n1 > 1 = n0 .
En general, dados k1 , , kl y n1 , , nl tales que
kj1 < kj , nj1 < nj y xnj Vkj (9.2.5)
para todo j = 1, l, sean kl+1 tal que para todo n nl se tiene que
xn 6 Vkl+1 ,
lo cual implica que kl+1 > kl , y nl+1 tal que
xnl+1 Vkl+1 ,
lo cual implica que nl+1 > nl .
Se construyen as sucesiones {kj } y {nj } que verifican (9.2.5) para todo
j 1. Por lo tanto, {xnj } es una subsucesion de {xn }, y converge a x, porque,
dado W Nx , si m, k0 N son tales que Vm W y nk0 m, se tiene que
xnk Vnk Vnk0 Vm W
para todo k k0 .
Ejemplo 9.2.10. En general, es necesaria la hipotesis de que X sea T1 en
la proposicion 9.2.9: la sucesion
xn = n para todo n N
en Z con la topologa par-impar no tiene subsucesiones convergentes, pero
cualquier n
umero natural es un punto de acumulacion de su imagen.
n 9.2.11. Sea (X, ) un espacio topologico.
Proposicio
1. Si X es secuencialmente compacto, entonces X tiene la propiedad de

Bolzano-Weierstrass.
2. Si X es N1 , T1 y tiene la propiedad de Bolzano-Weierstrass, entonces
X es secuencialmente compacto.
Demostracio n.
1. Sea A X un conjunto infinito. Por la proposicion 1.3.15, A tiene un
subconjunto infinito numerable {an }nN , donde an 6= am si n 6= m. Por
ser X secuencialmente compacto, {an } tiene una subsucesion (de rango
infinito) que converge a un punto x X. Por lo tanto, x es un punto
de acumulacion de A.
2. Sea {xn } una sucesion en X. Si el conjunto {xn : n N} es finito,
la sucesion {xn } tiene una subsucesion constante y, por lo tanto, con-
vergente. De lo contrario, el conjunto {xn : n N} tiene un punto de
acumulacion x X y, por la proposicion 9.2.9, {xn } tiene una subsu-
cesion que converge a x.

n 9.2.12. Todo espacio metrico secuencialmente compacto es
Proposicio
separable.
Demostracio n. Sea (E, d) un espacio metrico secuencialmente compac-
to. Para cada n N, sea
1
En = {A E : d(x, y) , para todo par de puntos diferentes x, y A}.
n
Si E tiene solo un punto, entonces es separable. De lo contrario, dados x, y E
tales que x 6= y, sea n0 N tal que
1
d(x, y) .
n0
Entonces En 6= para todo n n0 .
Consideremos En , con n n0 , ordenado con la inclusion. Toda cadena
{A }I En esta acotada por
[
A= A .
I
En efecto, A En : si x, y A, sean 1 , 2 tales que x A1 , y A2 .

Entonces x, y A , donde A = Max{A1 , A2 }. Como A En , concluimos
que d(x, y) n1 .
Sea Mn un elemento maximal de En para n n0 , y sea
[
M= Mn .
nn0
Observemos ahora que Mn es finito para todo n n0 . De lo contrario, por la

proposicion 1.3.15, existira una sucesion {xk } Mn tal que xk 6= xl si k 6= l.
Pero entonces
1
d(xk , xl ) para todo k, l N,
n
por lo cual {xk } no tiene subsucesiones convergentes, en contradiccion con el

hecho de que E es secuencialmente compacto. Por lo tanto, M es numerable.
Ademas, M es denso en E: dados x E \ M y > 0, sea n1 n0 tal que
1
< .
n1
Como x 6 Mn1 y Mn1 es un conjunto maximal en En1 , existe y Mn tal que
1
d(x, y) < < .
n1
Hemos probado as que M es denso en E y, por lo tanto, que E es separable.

Teorema 9.2.13. Sea (E, d) un espacio metrico. Las siguientes afirmacio-
nes son equivalentes.
1. E es compacto.
2. E es secuencialmente compacto.
3. E tiene la propiedad de Bolzano-Weierstrass.
Demostracio n.
1) 2) se probo en el ejemplo 9.2.4.
2) 1): Por la proposicion 9.2.12 E es separable si es secuencialmente
compacto. Como, ademas, un espacio metrico separable es N2 por la proposi-
cion 3.3.18, el corolario 9.2.7 prueba que X es compacto.
2) 3) resulta de la proposicion 9.2.11.

Corolario 9.2.14. Todo espacio metrico compacto es separable.
Demostracio n. La demostracion es inmediata a partir de las proposicio-
nes 9.2.12 y 9.2.13.
Proposicio n 9.2.15. Sea {U }I un cubrimiento abierto de un espacio
metrico compacto (E, d). Entonces existe un n
umero positivo tal que, para
todo x E, existe (x) I tal que
B (x) U(x) .
Demostracio n. Dado x E, existe (x) tal que x U(x)
. Ademas,
como U(x)
es abierto, existe r(x) > 0 tal que
Br(x) (x) U(x) . (9.2.6)
La familia de bolas {B r(x) (x) : x E} tiene un subcubrimiento finito
2
{B r(xi ) (xi ) : i = 1, , n}.

2
Sea
r(xi )
:= Mn{ : i = 1, , n}.
2
Ahora, dado y E, y B r(xi ) (xi ) para alg un i = 1, n.
2
Entonces
B (y) B r(xi ) (y) Br(xi ) (x) U(x i).
2
Se toma ahora (y) =

(xi ).
n 9.2.16. El n
Definicio umero de la proposicion 9.2.15 es un n
umero
de Lebesgue del cubrimiento {U }I .
Captulo 10
Topologa cociente

Definicio n 10.1.1. Sean Y un conjunto, {X }I una familia de espacios
topologicos y f : X Y una funcion para cada I.
La topologa final en Y con respecto a {f } es la familia
= {A Y : f1 (A) es abierto en X para todo I}.
Observaciones 10.1.2. Las siguientes afirmaciones se verifican en forma
inmediata:
1. La familia es, efectivamente, una topologa.
2. es la mayor topologa en Y para la cual f es continua para todo
I.
3. Sean Z un espacio topologico y
g : Y Z.
Entonces g es continua si y solo si g f es continua para todo I,
ya que las dos afirmaciones son verdaderas si y solo si f1 (g 1 (U )) es
abierto para todo conjunto abierto U Z y todo I.
Notacio n 10.1.3. Sea una relacion de equivalencia en el conjunto X.
Recordamos que indicaremos con [x] (o con [x], si esto no da lugar a con-
fusion) la clase de equivalencia de un elemento x X, con X/ el conjunto
cociente
X/= {[x] : x X},
y con (o con ) la proyeccion en el cociente:
: X X/ (x) = [x] .
Definicio n 10.1.4. Sean X un espacio topologico y una relacion de
equivalencia en X. La topologa cociente en X/ es la topologa final con
respecto a la proyeccion .
n 10.1.5. La proyeccion
Observacio
: X X/
es continua con respecto a la topologa cociente en X/, por la observacion
10.1.2.2.
Observacio n 10.1.6. Sea una relacion de equivalencia en un espacio
topologico (X, ). La continuidad de implica que X/ es conexo (compacto)
si X lo es.
108
Proposicio n 10.1.7. Sean X e Y espacios topologicos y una relacion

de equivalencia en X. Entonces una funcion
f : X/ Y
es continua si y solo si f lo es.
n. La afirmacion es consecuencia de la observacion 10.1.2.3.
Demostracio

n 10.1.8. Sean una relacion de equivalencia en el conjunto X
Definicio
y B X. El saturado de B es el conjunto
sat B = 1 ((B)).
Se dice que B es saturado si B = sat B.
1. El saturado de un conjunto B es
sat B = {x X : x b para alg
un b B}.
2. Por ser sobreyectiva, se tiene que A = ( 1 (A)) para todo A
X/.
n 10.1.10. Sea una relacion de equivalencia en un conjunto
Proposicio
X.
1. Un conjunto B X es saturado si y solo si existe A X/ tal que
B = 1 (A):
2. Un conjunto A X/ es abierto si y solo si A = (B), donde B es
abierto y saturado.
Demostracio n.
1. Si B es saturado, B = 1 (A), donde A = (B).
Recprocamente, si B = 1 (A), entonces, por la observacion 10.1.9.2,
sat B = 1 ((B)) = 1 (( 1 (A))) = 1 (A) = B.
2. Si A es abierto, se tiene que
B := 1 (A)
es abierto, y es saturado por la parte 1. Ademas, (B) = A por la
observacion 10.1.9.2.
Recprocamente, si A = (B) y B es abierto y saturado, entonces
1 (A) = 1 ((B)) = B
es abierto. Por lo tanto, A es abierto.

Definicio n 10.1.11. Se dice que una relacion de equivalencia en un
conjunto X es abierta (cerrada) si la proyeccion es abierta (cerrada).
Observacio n 10.1.12. Se verifica inmediatamente a partir de las defini-
ciones que una relacion de equivalencia es abierta si y solo si el saturado de
todo conjunto abierto es abierto, y es cerrada si y solo si el saturado de todo
conjunto cerrado es cerrado.
Ejemplos 10.1.13.
1. Se considera la relacion de equivalencia en R definida por x y si y
solo si x y Z. Dado un conjunto A R,
[
sat A = A + k,
kZ
que es abierto por la observacion 5.1.22. Concluimos as que es abier-

ta.
No es cerrada, en cambio: si
1
F = {n + : n N},
n
se verifica facilmente que F es cerrado, mientras que
1
sat F = {m + : n N, m Z}
n
no lo es.
2. Se considera en [0, 1] la relacion de equivalencia definida como en el

ejemplo anterior. Esta relacion no es abierta ya que
1 1
sat ([0, )) = [0, ) {1},
2 2
que no es abierto en [0, 1]. S es cerrada, porque
(
F, si 0 6 F y 1 6 F
sat F =
F {0, 1}, en otro caso .
3. La relacion de equivalencia en R definida por

x y si y solo si x = y o x Z e y Z
es cerrada y no es abierta, porque
(
F, si F Z =
sat F =
F Z, en otro caso .
Veamos ahora que el espacio cociente R/ no verifica el primer axio-
ma de numerabilidad. Supongase que {Vn } es una familia de entornos
abiertos de (0) en R/. Entonces 1 (Vn ) es abierto en R y contiene
a Z.
Para cada entero n, sea an 1 (Vn )\Z tal que n < an < n+1, y sea
B = {an : n Z}c . Entonces B es abierto y saturado, porque Z B.
En consecuencia, (B) es un entorno abierto de (0), por 10.1.10, pero,
para todo n, Vn 6 (B), porque (an ) Vn y (an ) 6 (B).
4. (Cocientes de espacios normados por subespacios cerrados)

Sea Y un subespacio vectorial cerrado de un espacio normado X. El
espacio vectorial cociente X/Y es el espacio cociente X/, donde
x1 x2 si y solo si x1 x2 Y.
Por lo tanto, la clase de equivalencia de un vector x X es

[x] = x + Y = {x + y : y Y }.
La estructura de espacio vectorial en X/ esta definida por
(x + Y ) + (z + Y ) = (x + z) + Y y (x + Y ) = ( x) + Y,
para todo escalar y x, z X.
Veremos a continuacion que la topologa cociente en X/Y proviene
de la norma
kx + Y k = nf{kx + yk : y Y }. (10.1.1)
Comenzamos por verificar que (10.1.1) define una norma en X/Y . Es
claro que kx + Y k 0 para todo x X. Supongamos que
kx + Y k = 0.
Para cada n N podemos elegir yn Y tal que
1
kx + yn k < .
n
Por lo tanto, la sucesion {yn }nN Y converge a x. Como Y es
cerrado, concluimos que x Y y, en consecuencia,
x + Y = 0 + Y = 0X/Y .
Por otro lado, si es un escalar y x X,
k(x + Y )k = kx + Y k
= nf{kx + yk : y Y }
= nf{kx + yk : y Y }
= || nf{kx + yk : y Y }
= || kx + Y k .
Probamos ahora la desigualdad triangular: dados x1 y x2 X y > 0,
sean y1 , y2 Y tales que

kxi + yi k < kxi + Y k + para i = 1, 2.
2
Entonces
kx1 + x2 + Y k kx1 + x2 + (y1 + y2 )k
kx1 + y1 k + kx2 + y2 k
< kx1 + Y k + kx2 + Y k + . (10.1.2)
Como (10.1.2) vale para todo > 0, se tiene que
kx1 + x2 + Y k kx1 + Y k + kx2 + Y k .
Veamos ahora que k k induce la topologa cociente. Observemos
por un lado que la proyeccion en el cociente
: X (X/Y, k k )
es continua.
Efectivamente, se tiene que

k (x) (z)k = nf{kx z + yk : y Y } kx zk
para todo x, z X. Resulta entonces de la observacion 10.1.2.2 que
todo conjunto abierto con la norma k k es abierto en la topologa
cociente.
Sea ahora A X/Y un conjunto abierto en la topologa cociente.
Solo falta probar que tambien es abierto con la norma k k .
1
En efecto, si a + Y A, como (A) es abierto y contiene a a,
existe > 0 tal que
1
B (a) (A).
Probaremos a continuacion que
X/Y
B (a + Y ) A,
X/Y
lo cual concluira la demostracion. Sea x + Y B (a + Y ). Entonces
existe y0 Y tal que
kx a + y0 k < .
Por lo tanto,
1
x + y0 B (a) (A),
es decir,
x + Y = x + y0 + Y = (x + y0 ) A,
como queramos probar.
Proposicio n 10.1.14. (Propiedad universal del cociente) Sean X e Y
espacios topologicos, una relacion de equivalencia en X, y
f : X Y
una funcion continua tal que f (x) = f (y) si x y. Entonces existe una u
nica

funcion f tal que el diagrama
f
X /
=Y

f
X/
conmuta. Ademas, f es continua.
Demostracio nica forma posible de definir f de manera de que el
n. La u
diagrama conmute es por
f([x] ) = f (x),
y la condicion f (x) = f (y) si x y permite definir f as. La continuidad es
consecuencia directa de la proposicion 10.1.7.
n 10.1.15. La esfera Sn es el conjunto
Definicio
n+1
X
n n+1 2
S = {x R : kxk = 1}, donde k(x1 , , xn+1 )k = |xi |2 .
i=1
Observacio n 10.1.16. La esfera S 1 es homeomorfa al espacio cociente

[0, 1]/, donde es la relacion de equivalencia en [0, 1] definida en 10.1.13.2.
En efecto, la funcion
: [0, 1] S 1
dada por (t) = e2it define, como en la proposicion 10.1.14, una funcion
continua
: [0, 1]/ S 1 .
Claramente, es biyectiva. Por el corolario 9.1.14, es un homeomorfismo,
ya que S 1 es de Hausdorff y [0, 1]/ es compacto, por la observacion 10.1.6.
Ejemplo 10.1.17.
El toro n-dimensional Tn es el espacio cociente cociente Rn /, donde
(x1 , , xn ) (y1 , , yn ) si y solo si xi yi Z para todo i = 1, , n.
Observacio n 10.1.18. El toro T n es compacto para todo n 1, porque
es la imagen de [0, 1]n por la proyeccion en el cociente.
n 10.1.19. El toro T n es homeomorfo a (S 1 )n , porque la fun-
Observacio
cion
: Rn (S 1 )n dada por (x1 , x2 , , xn ) = (e2ix1 , e2ix2 , , e2ixn )
define, por la propiedad universal del cociente (proposicion 10.1.14), una fun-
cion continua
: T n (S 1 )n .
Es claro que es biyectiva. Ademas, su dominio es compacto, por la obser-
vacion 10.1.18, y su imagen es de Hausdorff. Por el corolario 9.1.14, es un
homeomorfismo.
Definicio n 10.1.20. Sea una relacion de equivalencia en un conjunto
X. El grafo de es el conjunto
G = {(x, y) X X : x y}.
Proposicio n 10.1.21. Sea una relacion de equivalencia en un espacio
topologico (X, ).
1. G X X es cerrado si X/ es de Hausdorff.
2. X/ es de Hausdorff si G es cerrado en X X y es abierta.
Demostracio n.
1. Sea (x, y) 6 G . Entonces (x) 6= (y) y, por lo tanto, existen abiertos
disjuntos U y V en X/ tales que (x) U y (y) V . Entonces
1 (U ) 1 (V ) es abierto en X X y contiene a (x, y).
Probaremos a continuacion que
1 (U ) 1 (V ) G = .

Si u, v 1 (U ) 1 (V ), entonces (u) U y (v) V , por lo cual

(u) 6= (v), es decir, (u, v) 6 G .
2. Sean x e y en X tales que (x) 6= (y). Entonces (x, y) 6 G y, por

lo tanto, existen abiertos A y B en X tales que (x, y) A B y
(A B) G = .
Se tiene que (A) y (B) son abiertos por ser abierta. Ademas,
(x) (A) y (y) (B). Solamente falta probar que (A) y (B)
son disjuntos. En efecto, si g (A) y h (B), sean a A y b B
tales que g = (a) y h = (b).
Entonces
(a, b) A B Gc .
Por lo tanto,
g = (a) 6= (b) = h.

Definicio umero natural n 1, el espacio proyec-
n 10.1.22. Dado un n
tivo real P Rn es el espacio cociente Rn+1 \ {0} /, donde x y si y solo
si existe R tal que x = y.
Observacio n 10.1.23. P Rn es conexo por la observacion 10.1.6. Ademas,
es compacto, porque P Rn = (S n ).
Proposicio n 10.1.24. P Rn es homeomorfo a S n /s , donde x s y si y
solo si x = y.
n. Sea : Rn+1 \ {0} S n dada por (x) = x
Demostracio kxk
.
El diagrama conmutativo

Rn+1 \ {0} / Sn
:=s
P R s
&
P Rn / S n /s

define una funcion continua, invertible y con dominio compacto.

Alcanza, entonces, con probar que S n /s es de Hausdorff. Esto es conse-
cuencia de que S n y s estan en las hipotesis de 10.1.21.2. Por un lado, el grafo
Gs es cerrado: si (x, y) 6 Gs , entonces x 6= y y existen abiertos disjuntos
U0 y V0 en S n tales que x U0 e y V0 y abiertos disjuntos U1 y V1 tales que
x U1 e y V1 .
Entonces
(x, y) (U1 U0 ) (V1 V0 ) Gcs ,
porque, dado (u, v) (U1 U0 ) (V1 V0 ), si u = v, entonces u U0 V0 y
si u = v, entonces u U1 V1 , contradiciendo lo anterior. Ademas, s es
abierta en virtud de las observaciones 5.1.22 y 10.1.12, porque
sat s (B) = B B.

Bibliografa
[ADQ] R. Ayala , E. Domnguez y A. Quintero. Elementos de la topologa general

Addison-Wesley (1997).
[DD] Dotti, I.G.; Druetta, M.J. Topologa,
Publicaciones FAMAF, Universidad Nacional de Cordoba, Serie C, 2/1992.
[Ha] Halmos, Paul, Naive Set Theory
Springer (1974)
[Li] Lima, E.L. Espacos Metricos
Instituto de Matematica Pura e Aplicada, CNPq (1977)
[Ke] Kelley, J.L.General Topology
Van Nostrand (1955).
[Ru] Runde, V. A Taste of Topology
Springer (2005).
115
Lista de smbolos
A Interior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
A Clausura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .30
B (x) Bola abierta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
B r (x) Bola cerrada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
C Conjunto de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
C([a, b]) Espacio de funciones complejas continuas en [a, b] . . . . . . . . . . . . . . . . . 18
Cb (X, E) Espacio de funciones continuas y acotadas . . . . . . . . . . . . . . . . . . . . . . . . 58
CR ([a, b]) Espacio de funciones reales continuas en [a, b] . . . . . . . . . . . . . . . . . . . . . 18
Cx Componente conexa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
CCx Componente conexa por caminos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .77
dsup Distancia del supremo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
A Frontera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
E
b Completacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
E/ Espacio cociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
F(S, T) Espacio de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Fb (S, E) Espacio de funciones acotadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
G Grafo de una relacion de equivalencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
`1 Espacio de sucesiones complejas sumables . . . . . . . . . . . . . . . . . . . . . . . . . 19
1
`R Espacio de sucesiones reales sumables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
`2 Espacio de sucesiones complejas de cuadrado sumable . . . . . . . . . . . . . 20
2
`R Espacio de sucesiones reales de cuadrado sumable . . . . . . . . . . . . . . . . . 20
` Espacio de sucesiones complejas acotadas . . . . . . . . . . . . . . . . . . . . . . . . . 20

`R Espacio de sucesiones reales acotadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
Nx Familia de entornos de un punto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Proyeccion en el cociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
P(A) Conjunto potencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
PF (A) Conjunto de partes finitas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
PRn Espacio proyectivo real . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
R Conjunto de sucesiones de ceros e infinitos unos . . . . . . . . . . . . . . . . . . . 13
sat B Saturado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
Sn Esfera n-dimensional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
Tn Toro n-dimensional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
[x] Clase de equivalencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
k ksup Norma del supremo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
c Conexion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
cc Conexion por caminos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
116
Indice alfab
etico
axioma de partes, 3
de elecci
on, 5 de partes finitas, 12
axiomas denso, 35
de separaci
on, 33 dirigido, 46
de numerabilidad, 35 finito, 9
primer axioma, 43 infinito, 9
segundo axioma, 39 infinito numerable, 9
numerable, 9
base nunca denso, 93
de entornos, 42 potencia, 3
de una topologa, 37 saturado, 109
local, 42 conjuntos
bola con el mismo cardinal, 5
abierta, 20 coordinables, 5
cerrada, 23 equipotentes, 5
continuidad, 52
cadena, 3 uniforme, 56
camino, 76 contraccion, 89
cardinal , 6 convergencia
clase de equivalencia, 4 de una red, 47
clausura, 30 de una sucesion, 45
cociente uniforme, 51
espacio, 4 cota
codominio, 1 inferior, 3
completaci on, 85 superior, 3
completitud, 81 cubrimiento abierto, 41
componente curva, 76
conexa, 74
conexa por caminos, 77 descomposicion binaria, 13
composici on, 2 desigualdad
conexion, 69 triangular, 17, 18
local, 75 diametro, 26
por caminos, 75 distancia, 17
conjunto acotada, 26
abierto de la convergencia uniforme, 51
en un espacio metrico, 21 del supremo, 51
en un espacio topologico, 27 equivalente, 24
acotado, 26 relativa, 17
cerrado dominio, 1
en un espacio metrico, 23
en un espacio topologico, 31 elemento
convexo, 72 maximal, 3
de Cantor, 59 minimal, 3
117
entorno, 29 de Alexander, 99
equivalencia leyes de De Morgan, 1
relaci
on de, 108
esfera, 112 maximo, 3
espacio metrica, 17
N1 , 43 discreta, 18
N2 , 39 equivalente, 24
T0 , 33 relativa, 17
T1 , 34 mnimo, 3
T2 , 34
compacto, 96 n
umero de Lebesgue, 107
completo, 81 norma, 18
conexo, 69 del supremo, 19
conexo por caminos, 77 orden
de Hausdorff, 34 parcial, 3
de Lindelof, 41 total, 3
de primera categora, 93
discreto, 18 PIF, 97
localmente conexo, 75 preimagen, 2
localmente conexo por caminos, 78 producto cartesiano, 1, 5
metrico, 17 propiedad
magro, 93 de Bolzano-Weierstrass, 104
secuencialmente compacto, 103 de interseccion finita, 97
separable, 36 metrica, 82
topologico, 27 topologica, 82
espacio proyectivo real, 114 proyeccion, 5
espacios en el cociente, 4
homeomorfos, 57 punto
isometricos, 56 aislado, 30
de acumulacion, 30
frontera, 31
de aglomeracion, 49
funcion, 1
fijo, 89
inversa, 2
interior, 30
abierta, 58
puntos
acotada, 51
conectados, 74
biyectiva, 2
conectados por caminos, 76
cerrada, 58
conectados por curvas, 76
continua, 52
invertible, 2 rango, 1
inyectiva, 2 red, 47
sobreyectiva, 2 acotada, 80
uniformemente continua, 56 relacion de equivalencia, 4
abierta, 109
grafo de una relaci
on de equivalencia, 113
cerrada, 109
homeomorfismo, 57
saturado de un conjunto, 109
imagen, 1 subbase, 38
infimo, 3 subcubrimiento abierto, 41
inmersion isometrica, 56 subred, 49
interior, 30 sucesion
intervalo, 72 de Cauchy, 80
isometra, 56 supremo, 3
lema teorema
de Zorn, 4 de Baire, 91
de Bolzano, 71
de Cantor, 8
de Cantor-Bernstein, 8
de cerrados encajados de Cantor, 91
de Heine-Borel, 97
de Lindel of, 41
de Tijonov, 101
topologa, 27
cociente, 108
de la convergencia puntual, 50
de los complementos finitos, 28
de los complementos numerables, 28
del cero, 28
discreta, 27
final, 108
generada, 38
indiscreta, 27
inducida por una metrica, 27
inicial, 65
mas fina, 39
mayor, 39
menor, 39
metrizable, 27
par-impar, 29
producto, 65
relativa, 28
toro, 113

Notas

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Notas

Cargado por

Copyright:

Formatos disponibles

Introduccion a la topologa

Captulo 1. Elementos de la teora de conjuntos 1

10.1. Definiciones y ejemplos 108

Elementos de la teora de conjuntos

La preimagen de un subconjunto B0 de B por f es el conjunto

que es, ademas, inyectiva.

2. Dado un conjunto A sea P(A) su conjunto potencia o conjunto de

3. Todo subconjunto de un conjunto ordenado es un conjunto ordenado

Observacio n 1.1.9. Todo conjunto finito y totalmente ordenado tiene

n 1.1.14. Sea {A }I una familia no vaca de conjuntos. El

Para cada 0 I, la proyecci

Axioma 1.1.16. (Axioma de eleccion) Sea {A }I una familia no vaca

3. El conjunto R de los numeros reales y el intervalo ( , ) tienen el

b) g : (a, b] [a, b) dada por g(b) = a y g(x) = x si x 6= a.

1. En virtud de la observacion 1.1.4, se tiene que

2. Sean A y B conjuntos equipotentes. Entonces

3. Sean A y B conjuntos tales que A B. Entonces

Teorema 1.2.8. (Cantor) Sean A un conjunto y P(A) su conjunto poten-

La primera igualdad en (1.2.2) se obtiene, entonces, por induccion en n ya que,

Demostracio n. Sea A N. Si A es vaco, es numerable. Supondremos

n. Si A es vaco, es numerable. Si A 6= , la inclusion

Corolario 1.3.16. Sean A un conjunto numerable y B un conjunto infi-

n. Definiremos la sucesion {an } por recurrencia.

Dados a1 , a2 , , an {0, 1} tales que

2.1. Definiciones y ejemplos

d(x, z) d(x, y) + d(y, z). (2.1.1)

2. La distancia habitual en R, es decir, la funcion

es efectivamente una distancia. Es la metrica que consideraremos en R

3. Son distancias en Rn las funciones d1 , d2 y d dadas por:

d (x, y) = max{|xi yi | : i = 1, , n},

4. Espacio m etrico discreto. La m

5. El conjunto C([a, b])de funciones continuas con valores complejos en el

sup |f (x) g(x)| + sup |g(x) h(x)|. (2.1.2)

Tambien es un espacio metrico, por el ejemplo 2.1.2.1, el conjunto

6. M etricas provenientes de normas. Si V es un espacio vectorial real

kf ksup = sup |f (x)|. (2.1.7)

Analogamente, las formulas en (2.1.6) definen en CR ([a, b]) una es-

7. Normas en espacios de sucesiones.

donde, como se hara de aqu en adelante, dada una sucesion x, se indica

para todo N N, que las formulas en 2.1.9 definen, efectivamente,

Otros ejemplos importantes de espacios normados de sucesiones son

Como en el caso de `1 , los subconjuntos `2R `2 y `

2.2. Conjuntos abiertos en espacios m

Observacio n 2.2.3. Sean (E, d) un espacio metrico, F E, x F y

metrica relativa, respectivamente.

n 2.2.4. Sean (E, d) un espacio metrico, x E y 0 < 1 2 .

2. El intervalo I = (0, 1] no es abierto en R: 1 I pero, para todo ,

3. El intervalo I = (0, 1] es abierto en (, 1], por la observacion 2.2.3 y

4. Todo intervalo abierto (a, b) en R es abierto en R: alcanza con obser-

5. Todo subconjunto de un espacio metrico discreto es abierto, por el

es abierto en `1 porque, si x A, entonces B|x0 | (x) A. En efecto, si

n 2.2.12. Sea (E, d) un espacio metrico. Un subconjunto F de

2. Un intervalo cerrado [a, b] es cerrado en R porque es la bola cerrada de

3. Por el ejemplo 2.2.7.6, el conjunto

2) Es consecuencia directa de la parte anterior y del hecho de que el com-

Bd2 (x) Bd1 (x).

Ejemplo 2.3.3. La metrica discreta y la metrica habitual en Z son equi-

donde e = (e1 , e2 , , en ) y f = (f1 , f2 , , fn ).

3.1. Definiciones y ejemplos

2. La topologa discreta en un conjunto X es

3. La topologa indiscreta en un conjunto X es

4. La topologa de los complementos numerables en un conjunto X

que es numerable, a menos que Ai = para

que es numerable por la proposicion 1.3.11, a menos que Ai = para

n 2.2.4. Sean (E, d) un espacio metrico, x E y 0 < 1 2 .

2. El intervalo I = (0, 1] no es abierto en R: 1 I pero, para todo ,

Bd2 (x) Bd1 (x).