Topologia

Notas de topologa
Resumen
Notas del curso dictado por la Dr. Beatriz Abadie en la facultad de ciencias en
el semestre impar del ano 2003.
Indice general
1. Numerabilidad 2
2. Espacios metricos 11
3. Espacios topologicos 15
3.1. Axiomas de separacion . . . . . . . . . . . . . . . . . . . . . . . . 17
3.2. Bases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.3. Convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.4. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.4.1. Un parentesis para espacios metricos . . . . . . . . . . . . 29
3.4.2. Volviendo a los espacios topologicos . . . . . . . . . . . . 31
4. El conjunto de Cantor (C ) 32
5. Topologa producto 36
5.1. Topologa en un producto cartesiano . . . . . . . . . . . . . . . . 36
5.2. Producto de espacios metricos . . . . . . . . . . . . . . . . . . . . 38
6. Espacios conexos 40
6.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
6.2. Espacios localmente conexos . . . . . . . . . . . . . . . . . . . . . 44
6.3. Espacios conexos por caminos . . . . . . . . . . . . . . . . . . . . 46
6.4. Espacios homeomorfos . . . . . . . . . . . . . . . . . . . . . . . . 48
7. Espacios metricos completos 49
8. Espacios compactos 57
8.1. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
8.2. Espacios metricos y topologicos secuencialmente compactos . . . 62
8.3. Espacios localmente compactos . . . . . . . . . . . . . . . . . . . 64
9. Espacio cociente 66
1
Captulo 1
Numerabilidad
En este captulo veremos un poco de numerabilidad, definiendo esta como la

equipotencia con los naturales. Un resultado bastante interesante de este captu-
lo es la no numerabilidad de los numeros reales y, por tanto, de los irracionales
mostrandonos as que en realidad hay muchos mas irracionales que racionales.
Empecemos enunciando las leyes de Morgan.
Proposicion 1.0.1. A A ) 8 2 I se tiene que
!{
[ \
A = A{
2I 2I
ademas !{
\ [
A = A{
2I 2I
Definicion 1.1. Una relacion en A es un subconjunto de A A.
Definicion 1.2 (Relacion de equivalencia). Sea A A, si (a, b) 2 lo

denotamos a b. Decimos entonces que es una relacion de equivalencia si
1. a a,
2. a b ) b a,
3. a b y b c ) a c.
Si A es un conjunto y es una relacion de equivalencia en A, entonces la
clase de equivalencia de a 2 A es
[a] = {b 2 A / b a}
y el espacio cociente es A/ = {[a] : a 2 A}
2
CAPITULO 1. NUMERABILIDAD 3
Definicion 1.3 (Relacion de orden parcial). Sea una relacion en A,

decimos que es de orden si
1. a a,
2. si a b y b a ) a = b,
3. si a b y b c ) a c.
Decimos que (A, ) es un conjunto ordenado.
Ejemplos.
1. R con el usual.
2. Sea A un conjunto, entonces el conjunto potencia de A P(A) = {X : X
A} con la relcion de inclucion:
X Y , X Y 8X, Y 2 P(A)
Definicion 1.4. Sea (A, ) un conjunto ordenado, S A )

a 2 A es un cota superior de S si s a8s 2 S,
m 2 S es un maximo de S si es cota superior de S.
Analogamente definimos cota inferior y mnimo.
Ejemplo. X = {a, b, c}, A = P(X) y sea S = {;, {a, b}, {a, c}}, una cota superior
de S es {a, b, c}, una cota inferior de S es el vacio, que ademas es mnimo,
observar que {a, b} no es el mas grande de S pero no hay ninguno mas grande
que el, esto motiva la siguiente definicion.
Definicion 1.5. m 2 S es maximal si dado s 2 S tal que m s ) m = s.
Ejemplo. Retomando el ejemplo anterior, {a, b} y {a, c} son elementos maxi-
males.
Definicion 1.6. Un conjunto ordenado (A, ) se dice totalmente ordenado si
ademas verifica que dados a, b 2 A entonces a b o b a.
Observacion. A finito y totalmente ordenado ) tiene maximo y mnimo.
Demostracion. Induccion en el cardinal (numero de elementos) de A, si vale
para conjuntos con cardinal menor o igual que n 1 y #A = n ) A =
{a1 , . . . , an }, sean m = mn{a2 , . . . , an } y M = max{a2 , . . . , an }, sea entonces
m0 = mn{a1 , m} ) m0 es mnimo de A y M0 = max{a1 , M } es maximo de
A.
Definicion 1.7. Sea (A, ) un conjunto ordenado, entonces una cadena en A
es un subconjunto de A totalmente ordenado.
Sea A = {a, b, c} con el orden definido anteriormente, entonces {a, b} es una
cadena en A.
Ejemplo. X = {a, b, c}, A = P(X), una cadena en A es C = {;, {a}, {a, c}}.
Lema 1.0.2 (de Zorn). Sea (A, ) un conjunto ordenado tal que toda cadena
tiene una cota superior, entonces A tiene un elemento maximal.
Ejemplo. PF (N) = {A N : A finito}, entonces PF (N) no tiene elementos
maximales, pues si A es maximal ) A 2 PF (N) y B A 8B 2 PF (N) pero
como A es finito 9n 2 N tal que n 2
/ A ) A [ {n} 2 PF (N) y A [ {n} A ) A
Zorn
no es maximal ) (PF (N), ) no tiene elementos maximales ) 9 una cadena
C de PF (N) que no esta acotada superiormente, por ejemplo
C = {{1}, {1, 2}, {1, 2, 3}, . . . {1 . . . n}, . . . }
es una cadena no acotada, pues si A fuera una cota ) A = N 2

/ PF (N).
Veamos un aplicacion del pasado lema.
Aplicacion: Todo espacio vectorial V tiene una base.
Demostracion. Vamos a pensar una base de un espacio vectorial como un sub-
conjunto L.i. maximal, sea entonces & = {A V / ASes L.i.} y sea A & una
cadena, vamos a provar que esta acotada, sea A = A veremos que es L.i.,
consideremos x1 , . . . xn 2 A, entonces xi 2 Ai , ademas {A1 , . . . , An } es fini-
to y totalmente ordenado, entonces tiene maximo A0 , entonces xi 2 A0 8i =
1, . . . , n ) {xi } es L.i. ) A 2 & ) A es cota superior de A , entonces & tiene
un elemento maximal. Concluyendo as que tiene una base
Definicion 1.8. Sea {A }2I una familia de conjuntos )
( )
Y [ .
A = f : I ! A f () 2 A con f funcion
2I 2I
Axioma de eleccion. Si A es una familia de conjuntos no vacos entonces

Y
A 6= ;
Supongamos que tenemos dos conjuntos finitos A y B, y queremos saber si

tienen la misma cantidad de elementos, entonces hacemos lo siguiente, tomamos
un elemento de A y le asociamos el natural 1, tomamos otro elemento de A,
distinto del primero, y le asociamos el natural 2, y as sucesivamente hasta
llegar al ultimo elemento de A asociado con el natural n, o sea existe f : A !
{1, . . . , n} biyectiva. Hacemos lo mismo para B y obtenemos g : B ! {1, . . . m}
biyectiva. Si m = n decimos que A y B tienen la misma cantidad de elementos,
podemos prescindir de los naturales, o sea que si m = n f g 1 : B ! A es
una funcion biyectiva entre B y A. Decimos entonces que dos conjuntos finitos
tienen la misma cantidad de elementos si existe una funcion biyectiva entre
ellos. Podemos generalizar esta definicion prescindiendo de que los conjuntos
sean finitos. Dos conjuntos A y B se dicen equipotentes (cordinables, tienen
mismo cardinal) si existe una biyeccion entre ellos.
Observacion.
A es equipotente con A.
A es equipotente con B ) B es equipotente con A.
A es equipotente con B, B es equipotente con C ) A es equipotente con C.
Ejemplo.
1. {0, 1, 2 . . . , n, . . . } es equipotente con {1, 2, . . . , n, . . . } ya que (n) = n+1
es una biyeccion entre N y N {0}.
2. #R = #R+ basta considerar la funcion f (x) = ex .
Definicion 1.9. #A #B si 9f : A ! B inyectiva.

Proposicion 1.0.3. Sean A y B dos conjuntos entonces 9 : A ! B inyectiva
, : B ! A sobreyectiva.
Demostracion.
()) : A ! B inyectiva, sea a0 2 A, entonces defino : B ! A de la
siguiente manera. Si b 2 Im( ) ) (b) = 1
(b), si b 2
/ Im( ) ) (b) = a0 .
Obtuvimos as una funcion : B ! A sobreyectiva, veamos el recproco.
(() Si : B ! A sobreyectiva para cada a 2 A definimos (a) 2 1

(a), en-
tonces inyectiva pues si (a1 ) = (a2 ) ) a1 = ( (a1 )) = ( (a2 )) = a2
Teorema 1.0.4 (de Cantor). Sea X 6= ; ) #X < #P(X)

Demostracion. Supongamos 9 : X ! P(X) biyectiva, x 7! (x) X, defi-
namos ahora el siguiente conjunto U = {x 2 X / x 2
/ (x)} X ) como
biyectiva 9u 2 X tal que (u) = U )
u2 / (u) = U , u 2 U
/U ,u2
Llegando as a un absurdo.
Proposicion 1.0.5 (Cantor-Bernstein). Si #A #B y #B #A )
#A = #B
Definicion 1.10.
A finito si #A = #{1, . . . , n} para algun n.
A infinito si no es finito.
A infinito numerable si A infinito y #A = #N.

A numerable si es finito o es infinito numerable.
Ejemplos.
1. Z y Q son numerables.
Demostracion. Con motivo de hacer mas facil de hacer la comprension de

las siguientes biyecciones, en vez de dar una formula vamos a describirlas.
Z es numerable :
... 4 2 0 1 3 ...
? ? ? ? ?
... 2 1 0 1 2 ...
De esta forma encontramos una biyeccion entre Z y N concluyendo que

Z es numerable. La demostracion de que Q es numerable la veremos mas
adelante cuando veamos que el producto cartesiano finito conjuntos nu-
merables es numerable, existe una forma de contarlos analoga a la usada
para Z.
2. Todo conjunto infinito tiene un subconjunto infinito numerable.
Demostracion. Sea A el conjunto infinito del que estamos hablando y sea

x0 2 A, entonces A {x0 } infinito, entonces existe x1 2 A tal que x1 6= x0 ,
entonces A {x0 , x1 } infinito, entonces existe x2 2 A / x2 6= xi con i = 0, 1.
En general, definidos {x1 , . . . , xk } tenemos que A {x1 , . . . , xk } infinito
as que existe xk+1 2 A / xk+1 6= xi con i = 1, . . . , k. Entonces la funcion
f : N ! {xi } dada por f (i) = xi es una biyeccion entre N y {xi }, por
tanto {xi } es numerable.
3. Si A es infinito y B es numerable entonces A es equipotente con A [ B.
Demostracion. Por la proposicion de Cantor-Bernstein, basta encontrar

una funcion inyectiva de A en A [ B y otra inyectiva de A [ B en A. La
funcion Identidad Id : A ! A [ B es claramente inyectiva. Solo faltara
encontrar una funcion inyectiva de A[B en A, para esto tenemos que usar
lo visto recientemente. Como A es infinito tiene un subconjunto infinito
numerable que llamaremos C.
Vamos a usar un resultado que veremos mas adelante que dice que la union
de dos conjuntos numerables es numerable, en realidad probaremos un
resultado mas general pero para este caso nos es suficiente. En conclucion,
C [ B es equipotente con N que es equipotente con C, o sea que existe
una funcion g0 : C [ B ! C biyectiva. Consideremos ahora la siguiente
funcion g : A [ B ! A tal que

a si a 2/ C [B
g(a) =
g0 (a) si a 2 C [ B
entonces g es inyectiva, por tanto A y A [ B son equipotentes.

4. Todo conjunto infinito entra en biyeccion con algun subconjunto propio,

entendiendo subconjunto propio de A como un subconjunto distinto de A.
Demostracion. Como A es infinito contiene algun subconjunto infinito nu-

merable B. Sea C = A B entonces, hay dos posibilidades, que C sea
finito o infinito. Si C finito entonces A = C [ B es numerable, entonces A
es equipotente con B. Si C es infinito como B numerable C es equipotente
con C [ B = A
Proposicion 1.0.6. A N ) A numerable.
Demostracion. Si A = ; es numerable, si A 6= ; entonces sea a1 = mn{A} )
si A = a1 es finito, por tanto, numerable. Si A 6= a1 sea a2 = mn{A {a1 }} )
si A = {a1 , a2 } es finito entonces es numerable. En general, si A 6= {a1 , . . . , ak }
definimos ak+1 = mn{A {a1 , . . . , ak }}. Sea
f : N ! A donde f (k) = mn{A {a1 , . . . , ak 1 }}
entonces f inyectiva ya que f (k) < f (k + 1), admeas es sobreyectiva:
Si a 2 A sea n = max{k / ak < a} entonces f (n) = mn{A {a1 , . . . , an 1 }} =a
Proposicion 1.0.7. A 6= ; ) A numerable , 9 : A ! N inyectiva (, 9 :

N ! A sobreyectiva).
Demostracion. Supongamos A numerable, entonces si A es infinito 9 : A ! N

biyectiva, por lo tanto, inyectiva. Si A es finito 9 : A ! {1, . . . , n} biyectiva,
por tanto : A ! N es inyectiva.
Supongamos ahora que existe una funcion inyectiva : A ! N, entonces

: A ! (A) es biyectiva, entonces #A = # (A) pero como (A) N (A)
es numerable, concluyendo asi que A es numerable.
Corolario 1.0.8. Si B es numerable y : A ! B es inyectiva ) A numerable.
Corolario 1.0.9. B numerable, A B ) A numerable.
Proposicion 1.0.10. N N es numerable.

Demostracion. Basta ver que la funcion : N N ! N dada por
(m, n) = 2m 3n
es inyectiva, por tanto N N es numerable.

Proposicion 1.0.11. N . . . N es numerable.
| {z }
j
Demostracion. Sean p1 , . . . , pj primos distintos, entonces : N...N ! N

n
donde (n1 , . . . , nj ) = pn1 1 . . . pj j es inyectiva.
Corolario 1.0.12. A1 , . . . , An numerables ) A1 . . . An es numerable.
Proposicion 1.0.13. Sean I numerable y {Ai }i2I una familia de conjuntos
con Ai numerable 8i ) [
Ai es numerable
i2I
Demostracion. S
Sean : N ! I sobreyectiva y i : N S ! Ai sobreyectiva, Sea
J : N N ! Ai / J(m, n) = (m) (n) ) sea a 2 Ai , entonces a 2 Ai0 ,
entonces existe m 2 N tal que (m) = i0 , ademas existe n /S i0 (n) = a )
J(m, n) = (m) (n) = a, entonces J es sobreyectiva, entonces Ai numerable.
Ejemplo. Q es numerable.
I = {(n, m) 2 N N {0}} N N es numerable, entonces
[ n
Q=
m
(n,m)2I
es numerable.
Proposicion 1.0.14. Pf (N) = {A N : A finito} es numerable.
Demostracion. Sea Pn (N) = {A N : #A = n} entonces
[
Pf (N) = Pn (N)
n2N
Bastaria probar entonces que Pn (N) es numerable 8n. Sea n : Pn (N) ! Nn

donde n (A) = (a1 , . . . , an ) con a1 < a2 < . . . < an donde A = {a1 , an }
necesitamos el orden para asegurarnos de que n sea una funcion, (si no es-
tubieran ordenados podria pasar que un conjunto tubiera dos imagenes dis-
tintas). Sea B = {b1 , . . . , bn } y supongamos que n (A) = n (B), entonces
(a1 , . . . , an ) = (b1 , . . . , bn ) ) ai = bi 8i ) A = B, entonces n inyectiva, por
tanto cada Pn (N) es numerable concluyendo as la demostracion.
Corolario 1.0.15. P1 (N) = {A N : A infinito} no es numerable.
Demostracion. De no ser as P(N) = Pf (N) [ P1 (N) seria numerable, contradi-
ciendo el teorema de Cantor.
Proposicion 1.0.16. Sea t 2 [0, 1] ) 9ak donde ak 2 {0, 1} 8k /
1
X 1
X
ak bk
t= ademas si t =
1
2k 1
2 k
con bk 2 {0, 1} y {ak } =

6 {bk } se tiene que 9k1 / ak = bk 8k k1 ademas bk = 1
y ak = 0 8k > k1
Demostracion. Si 0 < t < 1

2 entonces defino a1 = 0, si 1
2 < t < 1. En ambos
casos tenemos que
a1 1
0t <
2 2
Si 0 t a21 < 14 defino a2 = 0, si 1
4 <t a1
2 < 1
2 defino a2 = 1. En ambos
casos tenemos que
a1 a2 1
0t <
2 4 4
En general, definidos los primeros k terminos, si 0 t a1
2
a2
4 a2kk < 2k+1
1
defino ak+1 = 0, si 2k+1

1
< t a21 a2
4 a2kk < 1
2k
defino ak+1 = 1. En
ambos casos tenemos que
a1 a2 ak ak+1 1
0t < k+1
2 4 2k 2 k+1 2
o sea que
n
X ak 1
0t <
1
2k 2n
Tomando lmite en n tenemos que, como 1

2n !0)
1
X ak
t=
1
2k
P P
Si {ak } 6= {bk } y ak = bk sea, entonces, k1 = mn{k / ak 6= bk },
podemos suponer que ak1 = 1 y bk1 = 0 )
1
X 1
1 1 X 1 1
= = k1 )
2k 2k1 +1 0 2k 2
k1 +1
=0
1 kX
z}|{ 1 1
X 1 1 X kX
1 1 X kX
1 1
bk bk bk 1 bk ak 1 ak 1
= + + + = + k1 =
1
2k
1
2k 2 k1 2 k
1
2k 2 k
1
2k 2
k1 +1 k1 +1
kX
1 1 k1
X 1
X X bk 1
ak ak ak ak
= + k11 = = )
1
2k 2 1
2k 1
2k
1
2k
1
X 1
X k1
X 1
X
bk 1 ak ak
= y =
2k 2k
1
2 k
1
2k
k1 +1 k1 +1
) ak = 0 8k < k1 y bk = 1 8k > k1
Proposicion 1.0.17. #[0, 1] = #P1 (N)
Demostracion. Si t 2 [0, 1] existe una unica sucesion {ak } tal que {k / ak = 1}

es infinito:
Hay que probar que siempre existe

n
X ak
si t = )
1
2k
defino bk = ak 8k n y bk = 1 8k > n ).
n
X 1
X
ak bk
=
1
2k 1
2 k
Sea : [0, 1] ! P1 tal que (t) = {k / ak = 1} donde {k / ak = 1} es

infinito, entonces inyectiva, porque si (t) = (s) entonces defino ak = 1 si
k 2 (t) = (s) y ak = 0 si k 2/ (t) = (s) )
1
X ak
t= =s
1
2k
Ademas, si A 2 P1 (N) entonces defino ak = 1 si k 2 A y ak = 0 si k 2

/ A,
entonces, sea
X1
ak
t=
1
2k
entonces (t) = A, entonces biyectiva.

Captulo 2
Espacios metricos
Definicion 2.1. Sea E un conjunto no vaco, una metrica o distancia en E es

una funcion d : E E ! R que cumple las siguientes propiedades:
1. d(x, y) 0 8x, y 2 E
2. d(x, y) = d(y, x) 8x, y 2 E
3. d(x, y) d(x, z) + d(z, y) 8x, y, z 2 E (Desigualdad triangular)
4. d(x, y) = 0 , x = y
Al par (E, d) se le llama espacio metrico.
Ejemplos.
1. Si E = R d(x, y) = |x y| es una metrica.
2. Sea E = Rn , x = (x1 . . . xn ), y = (y1 . . . yn ), x, y 2 E, entonces podemos
definir las siguientes distancias:
euclideana v
u n
uX
d(x, y) = t d(xi , yi )2
i=1
de la suma
n
X
d1 (x, y) = d(xi , yi )
i=1
del maximo
d1 (x, y) = max{d(xi , yi )}
i
3. Dado E 6= ;
0 si x = y
d(x, y) =
1 si x 6= y
es una metrica llamada metrica discreta.
11
CAPITULO 2. ESPACIOS METRICOS 12
4. Sea E = CR [0, 1] = {f : [0, 1] ! R / f es continua} entonces definimos

la distancia infinito o del supremo de la siguiente manera:
d1 (f, g) = sup{|f (x) g(x)|}

x
Podemos tambien definir otra distancia:

Z 1
d1 (f, g) = |f (t) g(t)| d(t)
0
Obsevar que si eliminamos el valor absoluto de la integral deja de ser una

metrica y pasa a ser una pseudo-metrica, es decir que d(f, g) = 0 ; f = g.
Definicion 2.2. Sean (E, d) un espacio metrico (de ahora en mas simplemente
e.m.), x 2 E y " > 0. La bola abierta de centro x y radio " es el conjunto
B" (x) = {y 2 E / d(x, y) < "}
Proposicion 2.0.18. (E, d) un e.m., y 2 B" (x) ) 9 > 0 / B (y) B" (x)
Demostracion. Sea = " d(x, y) > 0 pues y 2 B" (x), entonces, sea z 2
B (y) ) d(x, z) d(x, y) + d(y, z) < d(x, y) + = " ) z 2 B" (x)
Definicion 2.3. Sea (E, d) un espacio metrico y F E distinto de vaco )
la restriccion de d a F F es una metrica en F llamada metrica relativa, si
x 2 F y " > 0 ) B"F (x) es la bola con la metrica relativa, y verifica que
B"F (x) = B"E (x) \ F
Definicion 2.4. Sea (E, d) un e.m. y A E, decimos que A es abierto sii
8x 2 A 9" > 0 tal que B" (x) A.
Ejemplos.
1. Las bolas abiertas son abiertas.
2. Sea (E, d) un espacio metrico donde d es la metrica discreta, entonces
cualquier conjunto es abierto, ya que si x 2 A {x} = B1 (x) A.
3. En CR [0, 1] A = {f 2 CR [0, 1] : f (0) < 0}. Sea f 2 A ) sea " = f (0)/2 y
sea g 2 B" (f ) ) d(f, g) < " ) sup{d(f (x), g(x))} < " ) |f (0) g(0)| <
" ) " < f (0) g(0) < " ) f (0) " < g(0) < f (0) + " )
0 < f (0)/2 < g(0) < 3f (0)/2
) g(0) > 0 ) B" (f ) A ) A abierto.

Proposicion 2.0.19. Sea (E, d) un e.m., entonces
1. E y ; son abiertos.
S
2. A una familia arbitraria de conjuntos abiertos ) 2I A es abierto.
Tj
3. Si A1 , . . . , Aj es una familia finita de abiertos ) i=1 Ai es abierto.
Demostracion.
1. B" (x) E 8x 2 E ) E es abierto
S
2. Si x 2 S A ) x 2 A0 , como A0 es abierto 9" > 0 / B" (x) A0 )
B" (x) A
T
3. Si x 2 Ai ) x 2 Ai 8i, entonces, como cada Ai es abierto 9"i tal
que B"i (x)
T Ai . T
Sea entonces " = mn{"1 , . . . , "j } ) B" (x) Ai 8i )
B" (x) Ai ) Ai es abierto.
Proposicion 2.0.20. (E, d) e.m. A E abierto , A es union de bolas abier-

tas.
Demostracion.
()) Si A es abierto entonces 8x 2 A 9"x / B"x (x) A )
[
B"x (x) = A
x2A
(() La union de bolas abiertas es abierto.

Proposicion 2.0.21. Sean (E, d) un e.m. y F E, un subconjunto A F es
abierto con la metrica relativa , A = U \ F con U abierto de E.
Demostracion. Sabemos que B"F (x) = B"E (x) \ F , si A es abierto en F )
!
[ [ [
A= B"x (x) =
F
B"x (x) \ F =
E
B"x (x) \ F
E
x2A x2A x2A

S
entonces si U = x2A B"Ex (x) tenemos que U es abierto en E, entonces A = U \F
S
Si U es abierto en E, entonces U = B"E (x) )
[ [ [
U \F = B"E (x) \ F = B"E (x) \ F = B"F (x)
que es abierto en F .
Definicion 2.5. (E, d) e.m. decimos que A E es cerrado sii A{ es abierto.
Observacion. (E, d) e.m.)
1. E y ; son cerrados
T
2. Si A es una familia de cerrados, entonces A es cerrado
S
3. Si A1 , . . . , An es una familia finita de cerrados ) Ai es cerrado
La prueba de esta observacion se dejara como ejercicio.

Proposicion 2.0.22. Sean d1 y d2 dos metricas en E, entonces son equivalentes
las siguientes afirmaciones:
1. Todo abierto con d1 es abierto con d2
2. Dados " > 0 y x 2 E 9 > 0 tal que B d2 (x) B"d1 (x)
Demostracion.
1!2 Dado " > 0 y x 2 E tenemos que B"d1 (x) es un conjunto abierto con d1 , en-
tonces es abierto con d2 , o sea que 8y 2 B"d1 (x) 9 > 0 tal que B d2 (y) B"d1 (x),
en particular para x existe tal que B d2 (x) B"d1 (x).
2!1 Si A es abierto con d1 entonces 8x 2 A 9" > 0 tal que B"d1 (x) A,
pero para cada x 2 A y para cada " > 0 existe > 0 / B d2 (x) B"d1 (x) A,
entonces A es abierto con d2 .
Definicion 2.6. Dos metricas d1 y d2 son equivalentes si
A es abierto con d1 , A es abierto con d2
Ejemplos.
1. Dado un e.m. (E, d) sea d0 : E E ! R dada por
d0 (x, y) = mn{1, d(x, y)}
entonces d0 es una metrica en E equivalente a d.

2. Las tres metricas que definimos en Rn son equivalentes.
Dado un espacio metrico (E, d) y A E definimos
diam(A) = sup{d(x, y) : x, y 2 A}.
Un conjunto se dice acotado si su diametro es finito, y se dice que es totalmente

acotado si dado " > 0 9x1 , . . . , xn /
n
[
A B" (xi )
i
En general se tiene un conjunto totalmente acotado esta acotado, pero no a la

inversa.
Captulo 3
Espacios topologicos
En este captulo vamos a ver propiedades de los espacios topologicos en-

tremezcladas con algunas propiedades de los espacios metricos, hay que tener
en cuenta que cualquier resultado que se obtenga para espacios topologicos vale
tambien para espacios metricos ya que, como veremos mas adelante, la metrica
induce una topologa.
Definicion 3.1. X 6= ;, una topologa en X es una familia de subconjuntos
P(X ) que verifica:
1. X y ; 2
S
2. Si {A } 2 ) A 2
T
3. Si A1 , . . . , An 2 ) Ai 2
Al par (X , ) se le llama espacio topologico (o simplemente e.t.).
Observacion. Sea (E, d) un espacio metrico, entonces = {A/A es abierto} es
una topologa en E
Demostracion. Para demostrar esto basta recordar una proposicion que vimos
en seguida despues de definir abiertos, mas precisamente la proposicion 2.0.19.
No es casualidad que una metrica defina una topologa ya que la idea es

abstraer las propiedades de los espacios metricos en espacios donde no hay
definida una metrica, tratamos de definir un abierto sin tener una distancia,
por eso, si decimos que un conjunto es abierto en relidad estamos queriendo
decir que esta en la topologa. Una topologa es metrizable si existe una metrica
que define la misma topologa.
Ejemplos.
1. La topologa discreta, = P(X ) es un ejemplo de topologa metrizable,
basta tomar la metrica discreta.
15
CAPITULO 3. ESPACIOS TOPOLOGICOS 16
2. La topologa indiscreta en X , = {X , ;}, no es metrizable.

3. X 6= ;, = {A X : A{ finito } [ {;} es una topologa en X .
S { T {
Demostracion. X y ; 2 , si {A } 2 ( A ) = A finito, si
A1 , . . . , An son abiertos
\ { n
[
Ai = A{i finito
1
X =6 ;, = {A X : A{ numerable } [ {;} tambien es una topologa en

X.
4. En Z, = {A Z : 2n 2 A , 2n 1 2 A 8n 2 Z} es una topologa en Z.
5. En R, = {;} [ {A R : 0 2 A} es una topologa.
Observacion. Sea (X , ) un e.t. y sea Y X , la topologa relativa en Y es
Y = {U \ Y : U 2 }
tenemos entonces que (Y, Y ) es un subespacio topologico.

Si X es un conjunto no vacio entonces la interseccion de una familia cualquiera
de topologas es una topologa.
Definicion 3.2. Sea (X , ) un e.t. y sea x 2 X ) U X es un entorno de x
si 9A 2 tal que x 2 A U
Nx = {U X / U es entorno de x}
Proposicion 3.0.23. Sea (X , ) un e.t. y x 2 X )

1. U 2 Nx y U V ) V 2 Nx
2. Si U, V 2 Nx ) U \ V 2 Nx
3. Nx 6= ;
4. A X , A 2 , A 2 Nx 8x 2 A
Demostracion. 4 ()) Si A 2 entonces x 2 A A 8x 2 A, entonces
A 2 Nx 8x 2 A
S
(() 8x 2 A 9Ax 2 tal que x 2 Ax A, entonces A = Ax , entonces,como
Ax 2 , A 2 .
Definicion 3.3. Sea (X , ) un e.t. A X , x 2 X es interior a A si A 2 Nx , A

es el conjunto de los puntos interiores a A.
Proposicion 3.0.24. Sea (X , ) un e.t. A X ) A es el mayor abierto

contenido en A.
Demostracion. A2 :
Sea x 2 A ) 9B 2 / x 2 B A, entonces 8b 2 B se tiene que b 2 B A,

entonces A es un entorno de b para todo b 2 B, entonces b 2 A 8b ) B A,
en definitiva tenemos que 8x 2 A 9B 2 / x 2 B A, entonces A2 .
Sea U 2 tal que U A, entonces 8u 2 U A 2 Nu , entonces U A.
Ejemplo. (R, ) donde A 2 , A = ; o 0 2 A, queremos hallar el interior de

un subconjunto A de R. Si A = {0, 1} ) A= {0, 1}, si A = {1, 2} A= ;, si
A = {0, 2, 4} A= A )
; si 0 2
/A
A =
A si 0 2 A
Corolario 3.0.25. A abierto , A = A
3.1. Axiomas de separacion

Definicion 3.4. Un e.t (X , ) es T0 si cumple que:
Nx = Ny ) x = y
Ejemplo. (Z, ) N2 = {A Z : {1, 2} A}, N1 = {A Z : {1, 2} A} )

N1 = N2 pero 1 6= 2 ) (Z, ) no es T0 .
Observacion. (X , ) es T0 , dados x e y distintos 9U 2 Nx / y 2
/ U o 9V 2 Ny
/x2/V
Demostracion. Si 9U 2 Nx / y 2/ U o 9V 2 Ny / x 2 / V se tiene que Nx 6= Ny ,
entonces X es T0 .
Si X es T0 y x 6= y ) Nx 6= Ny ) 9U 2 Nx / U 2 / Ny ) 9A 2 tal que
x 2 A U ) si y 2 A se tendra que U 2 Ny , por tanto y 2
/ A, si 9V 2 Ny tal
que V 2
/ Nx el razonamiento es analogo.
Definicion 3.5. Un e.t. es T1 si
\
V = {x}
V 2Nx
Observacion. (X , ) es T1 ) dados x e y distintos 9U 2 Nx / y 2

/U
T
Demostracion. Si @U 2 Nx tal que y 2 / U tendriamos que V 2Nx V = {x, y}
absurdo porque X es T1 .
Ejemplos.
1. (R, ) donde A 2 , A = ; o 0 2 A, entonces, si x = 1 e y = 2,
{0, 1} 2 N1 y {0, 2} 2 N2 ) N1 6= N2 .
En general, si x 6= y y x, y 6= 0 ) {0, x} 2 Nx e y 2 / {0, x}, ademas
{0, y} 2 Nx y x 2 / {0, y}.
Si x = 0 e y 6= 0 tenemos que N0 = {A / 0 2 A}, pero {0} 2 Nx y y 2
/ {0},
entonces (R, ) es T0 , pero
\
U = {0, x}
U 2Nx
entonces no es T1 .
2. X con la topologa de los complementos finitos, sean x e y distintos ) x 2
{y}{ 2 ) {y}{ 2 Nx y y 2 / {y}{ ) (X , ) es T1 .
Corolario 3.1.1. (X , ) es T1 ) (X , ) es T0 .
Definicion 3.6. (X , ) es de Hausdorff o T2 si dados x e y distintos existen
U 2 Nx y V 2 Ny tales que U \ V = ;.
Ejemplos.
1. X infinito con la topologa de los complementos finitos, supongamos que
existe dos abiertos A y B tales que A \ B = ; ) A B { que es finito,
entonces A es finito ) A{ infinito porque X es infinito ) A 2/ , absurdo,
entonces no hay abiertos disjuntos, entonces (X , ) no es de Hausdorff,
pero ya vimos que era T1 .
2. Todo espacio metrico es de Hausdorff.
Demostracion. Si x 6= y basta tomar " < d(x,y)

2 para obtener B" (x) \
B" (y) = ; pues si z 2 B" (x) \ B" (y) tenemos que d(x, y) d(x, z) +
d(z, y) < " + " < d(x, y) absurdo.
Corolario 3.1.2. Las topologa de los complementos finitos no es metriz-
able, tampoco lo son = {A 2 Z / 2n 2, 2n 1 2 A} y = {A / A = ;
o 0 2 A}
Tenemos entonces que un espacio topologico de Haudorff es T1 ya que si
\
{x, y} U
U 2Nx
tenemos que dado U 2 Nx , y 2 U ) 8V 2 Ny U \ V 6= ;, absurdo. Por lo tanto
T2 ) T1 ) T0
pero, debido a los ejemplos q hemos visto, no tenemos niguna de las implicancias
en el sentido contrario. La importancia de los espacios de Hausdorff es que
en ellos hay convergencia unica ya que podemos separar dos puntos distintos,
esto lo veremos mas adelante cuando veamos redes en espacios topologicos. Las
definiciones de T0 , T1 y de Hausdorff son tambien conocidas como Axiomas
de separacion, hay mas clasificaciones de espacios segun la separacion de sus
puntos, veremos esto despues de las siguientes definiciones.
Definicion 3.7.
Sea (X , ) un e.t. y sea A X , la clausura, o adherencia, de A es
A = {x 2 X / U \ A 6= ; 8U 2 Nx }
A cerrado , A = A
Observacion. A A, ademas, si A B ) A B
Ejemplos.
1. (R, ) donde A 2 si A = ; o 0 2 A, entonces si A = {1} A = {1}, si
A = {0, x} ) A = R )

R si 0 2 A
A=
A si 0 2
/A
2. Sea (E, d) un espacio metrico, la bola cerrada B" (x) = {y 2 E : d(x, y)

"} es un conjunto cerrado.
Demostracion. Sea y 2
/ B" (x) ) sea < d(x, y) " ) si z 2 B" (x) \
B (y) ) d(x, y) d(x, z) + d(z, y) < " + d(x, y) absurdo, entonces
/ B" (x) ) B" (x) = B" (x).
y2
Observacion. B" (x) 6= B" (x), basta considerar la metrica discreta, B1 (x) =
{x}, B1 (x) = E, como todo subconjunto es abierto tenemos que B1 (x) =
{x} = {x} = B1 (x) ) B1 (x) 6= B1 (x).
Un espacio topologico se dice regular si dados un cerrado F y un punto
x2 / F existen abiertos disjuntos V y V 0 tales que F V y x 2 V 0 , veremos
ma adelante que un espacio compacto de Hausdorff es regular. Un espacio es
normal si dados dos cerrados disjuntos F y F 0 existen abiertos disjuntos V y V 0
tales que F V y F 0 V 0 .
{
Proposicion 3.1.3. Sea (X , ) un e.t. y sea A X ) A = A{
/ A, entonces 9U 2 Nx / U \ A = ; ) U A{ . Sabemos
Demostracion. Si x 2
que 9B 2 tal que x 2 B U A{ , entonces A{ 2 Nx , entonces x 2 A{ ,
{
entonces A A{ .
Si x 2 A{ entonces 9B 2 tal que x 2 B A{ , entonces B \ A = ;, entonces
{
/ A ) A{ A , concluyendo as la demostracion.
x2
Corolario 3.1.4. A cerrado , A{ abierto.

Corolario 3.1.5. Un espacio topologico (X , ) es T1 , los puntos son cerrados.
Demostracion. Si X es T1 , sea x 2 X , entonces tenemos que dado y 6= x 9U 2
/ U ) U {x}{ ) {x} es cerrado. Si {x} es cerrado, sea
Ny abierto tal que x 2
{
y 6= x ) {x} 2 Ny ) dados x 6= y 9U 2 Ny tal que x 2 / U ) X es T1 .
Corolario 3.1.6. Sea (X , ) un e.t. )
1. X y ; son cerrados.
T
2. {A } familia de cerrados ) A es cerrado.
S
3. A1 , . . . , An cerrados ) Ai .
Definicion 3.8. Sea (X , ) un e.t. y sea A X
1. x 2 X es punto de acumulacion de A si A \ (U {x}) 6= ; 8U 2 Nx , al
conjunto de los puntos de acumulacion suele tambien llamarsele conjunto
derivado de A y es
A0 = {x tal que x es punto de acumulacion de A}
2. x es un punto aislado de A si x 2 A y no es punto de acumulacion.
3. La frontera de A es @A = A \ A{
Observacion. A cerrado , A0 A
Demostracion. Supongamos A cerrado y sea x un punto de acumulacion de A,
entonces A \ (U {x}) 6= ; 8U 2 Nx ) x 2 A = A ) A0 A. Si A0 A, sea
x 2 A ) A \ U 6= ; 8U 2 Nx ) si x 2/ A tenemos que A \ U {x} = 6 ; 8U 2
Nx ) x 2 A0 ) x 2 A ) A A ) A cerrado.
Definicion 3.9. Sea (X , ) un e.t. Y X es denso en X si Y = X , decimos
que X es separable si tiene un conjunto denso numerable.
Proposicion 3.1.7. Sea (X , ) un e.t. Y X denso , A \ Y 6= ; 8A 2 con
A 6= ;.
Demostracion.
()) Y X denso ) Y = X ) sea a 2 A 2 ) a 2 Y y A 2 Na ) A \ Y 6= ;.
(() Sean x 2 X y V 2 Nx ) 9A 2 tal que x 2 A V , entonces, como

Y \ A 6= ; ) Y \ U 6= ;, entonces x 2 Y , entonces Y = X .
Ejemplos.
1. Q es denso en R y como son numerables, tenemos que R es separable.
2. Qn es denso en Rn y es numerable, entonces Rn separable.
3. (R, ) donde = {;} [ {A : 0 2 A}, como 0 2 Q tenemos que Q es denso

y ademas numerable, entonces (R, ) separable.
4. (Z, ) donde = {A Z : 2n 2 A , 2n 1 2 A}, si A = {7} A = {7, 8},
entonces I = {2n 1 : n 2 Z} es denso en (Z, ) y es numerable, entonces
(Z, ) es separable.
5. X infinito con la topologa de los complementos finitos, entonces si Y X
s infinito Y = X ya que corta a cualquier abierto: dado A abierto A{ finito
entonces Y no esta contenido en A{ entonces A\Y 6= ;. Tomando entonces
Y infinito numerable, que sabemos que existe, tenemos un subconjunto
denso numerable, as que X es separable.
6. lR1 = {sucesiones acotadas en R} donde d(x, y) = sup{|xn yn |} no es
separable.
Demostracion. Sea Y lR1 formado por las sucesiones que toman valores
0 y 1 ) #Y = P(N) ) Y no es numerable. Sean x, y 2 Y distintos
) d(x, y) = 1 ) B 12 (x) \ B 12 (y) = ;, B 12 (x) = {z 2 lR1 : d(x, z) < 12 }
es un conjunto infinito. Sea la familia {B 12 (x) : x 2 Y }, es una familia
no numerable de bolas abiertas disjuntas dos a dos, Si Z fuera denso
en lR1 ) 8x 2 Y dado cualquier U 2 Nx U \ Z 6= ;, en particular
B 12 (x) \ Z 6= ;. Sea zx 2 B 12 (x) \ Z entonces zx 6= zy ) Z contiene un
subconjunto no numerable, entonces Z no es numerable, entonces lR1 no
es separable.
3.2. Bases
Definicion 3.10. Sea (X , ) un e.t. , B es una base de la topologa si todo
elemento de se escribe como union de elementos de B.
Ejemplos.
1. (E, d) espacio metrico, la familia formada por bolas abiertas es una base.
2. (X , ) donde es la topologa discreta B = {{x} : x 2 X } es una base.
3. (R, ), = {;} [ {A R : 0 2 A}, entonces B = {{0, x} : x 2 X } es una
base de .
Proposicion 3.2.1. Sea X =
6 ;, B P(X ), 9 una topologa para la cual B es
una base ,
1. [
A=X
A2B
2. A, B 2 B, x 2 A \ B ) 9C 2 B / x 2 C A \ B.
Demostracion.
S Si B es una base de , entonces, como, X 2 tenemos que
X = A2B A, ademas,S si A y B 2 B, entonces A y B 2 , entonces A \ B 2 ,
entonces A \ B = C con C 2 B, entonces si x 2 A \ B se tiene que
x 2 C0 B
Si B verifica 1 y 2 entonces, sea la familia de conjuntos que son union de

elementos de B, entonces es una topologa:
S S
1. ; = A 2B A , X = A2B A, entonces ; y X 2
2. Claramente la union de conjuntos de esta en .
S
3. Si A y B 2 entonces A \ B = (A \ B ), si x 2 A \ B entonces
x 2 Ax \ Bx ) 9Cx tal que x 2 Cx Ax \ Bx )
[ [
A\B Cx Ax \ Bx A \ B
x2A\B x2A\B
S
entonces A \ B = Cx con Cx 2 B, entonces A \ B 2
Definicion 3.11. Sea (X , ) un e.t. , S es una subbase de si
B = {A1 \ . . . \ An : Ai 2 S , n = 0, 1 . . .}
es una base de .
S
Observacion. Si X =
6 ;, y S P(X ) / A2S A = X ) S es una subbase de
una topologa .
Demostracion. Sea B = {A1 \ . . . , \An / Ai 2 S, n 2 N} )
S
1. A2B A = X obvio.
2. Si A, B 2 B ) A = A1 \ . . . \ An y B = B1 \ . . . \ Bm ) A \ B =
A1 \ . . . \ An \ B1 \ . . . \ Bm con Ai y Bj 2 S, entonces B es una base
para alguna topologa, entonces S es una subbase para alguna topologa.
Definicion 3.12. Sean y dos topologas en X ) es mas fina que si

, o sea, todo abierto por es abierto por .
S
Observacion. X 6= ;; S P(X ) / A2S A = X ) la topologa genereada por
la subbase S es la menos fina en X que contiene a S.
Definicion 3.13. Sea (X , ) un e.t. , decimos que verifica el segundo axioma
de numerabilidad (N2 ) si tiene una base numerable.
Proposicion 3.2.2. Sea (X , ) un e.t. N2 , entonces es separable.
Demostracion. Sea {Bn } una base numerable y sea bn 2 Bn , entonces {bn } es

denso en X :
S
Sea A 2 distinto de vacio ) A = nk 2N Bnk ) bnk 2 A \ {bn } ) A \ {bn } =
6
; ) {bn } denso y numerable ) X separable.
Proposicion 3.2.3. Si (E, d) es un espacio metrico separable, entonces es N2 .
Demostracion. Sea {xm }m2N un conjunto denso y sea B = {B1/m (xn ) : m, n 2
N} ) B numerable. Sea A abierto y sea x 2 A, entonces 9" / B" (x) A, sea
m / 1/m < "/2 y sea xn 2 {xm } / d(x, xn ) < 1/m, sabemos que existe porque
{xm } es denso, entonces x 2 B m1 (xn ) B" (x) :
Si z 2 B m1 (xn ) ) d(x, z) d(x, xn ) + d(xn , z) 1/m + 1/m < " ) z 2 B" (x)
Entonces, 8x 2 A9mx y xnx / x 2 B1/mx (xnx ) A )
[
A= B m1 (xnx )
x
x2A
Definicion 3.14. Sea

S (X , ) un e.t. , un cubrimiento abierto de X es una familia
{A } tal que A = X , un subcubrimiento de {A } es una subfamilia
{A } {A } que sigue siendo un cubrimiento.
Definicion 3.15. Sea (X , ) un e.t. decimos que es de Lindelof si todo cubrim-
iento admite un subcubrimiento numerable.
Teorema 3.2.4. Si (X , ) es N2 entonces es de Lindelof.
Demostracion. Sean {Bn } una base numerable y {A } un cubrimiento abierto
de X . Definamos el conjunto Kn = {A / Bn A }, sea n tal que Kn 6= ; y
sea An Kn , entonces [
An = X :
n/Kn 6=;
S
Sea x 2 X ) x 2 Ae , como {Bn } es base Ae = nj 2N Bnj ) para algun
j0 x 2 Bnj0 Ae ) Knj0 6= ; y x 2 Bnj0 Anj )
0
[ [
x2 An ) An = X
n/Kn 6=;
) {An } es un subcubrimiento numerable.

Definicion 3.16. Sea (X , ) un e.t. y x 2 X , Bx Nx es una base de entornos
de x, o una base local si dado U 2 Nx 9V 2 Bx /V U .
Observacion. (X , ) e.t )
B base de , 8x 2 X Bx = {B 2 B / x 2 B} es una base local

Demostracion.
S
()) Sea V 2 Nx ) 9A 2 tal que x 2 A V ) A = B con B 2 B )
9B0 / x 2 B0 A V ) Bx es una base local.
(() Sea A 2 ) 8xA 2 Nx ) 9Ux 2 Bx tal que Ux A )

[ [ [
A= {x} Ux A ) A = Ux
x2A x2A x2A
entonces como Ux 2 B 8x B es una base de .

Definicion 3.17. Un espacio topologico (X , ) verifica el primer axioma de
numerabilidad (N1 ) si todo punto tiene una base local numerable.
Observacion. Si (X , ) es N2 es N1 .
Demostracion. Sea B una base numerable de entonces Bx = {B 2 B / x 2

B} es una base local y ademas #Bx #B, entonces Bx es una base local
numerable.
Observacion. Si (X , ) es un espacio N1 entonces tiene una base local numerable
decreciente.
Demostracion. Sea {Wn } una base numerable, sea entonces V1 = W1 , V2 =
W2 \ V1 , . . . , Vn = Wn \ Vn 1 ) {Vn } es una base local decreciente.
3.3. Convergencia
Definicion 3.18. Una sucesion {xn } en un e.t. (X , ) converge a x 2 X si dado
V 2 Nx 9n0 / xn 2 V 8n > n0 .
Ejemplos.
1. (X , ) donde = {X , ;}, cualquier sucesion converge a cualquier punto.
2. (E, d) espacio metrico. {xn } converge a x si 8B n1 (x)9n0 /xn 2 B n1 (x).
3. (X , ) donde es la topologa discreta, {xn } converge a x si xn = x a

partir de un n0 .
4. Sea X con la topologa de los complementos finitos y sea {xn } X una
sucesion, queremos estudiar su convergencia, tenemos 5 casos para estu-
diar:
xn toma una cantidad finita de puntos.
Si xn es constante a partir de un n0 es claramente convergente.

Si xn no es constante a partir de un n0 , hay mas de un punto

con preimagen infinita, sean {y1 , . . . , ym } esos puntos ) xn no
converge, consideremos
{
{y1 , . . . , yj 1 , yj+1 , . . . , ym } 2 Nyj 8j = 1 . . . m
{
, entonces @n0 tal que xn 2 {y1 , . . . , yj 1 , yj+1 , . . . , ym } 8n
n0 .
xn toma una cantidad infinita de puntos.
Si un unico punto tiene preimagen infinita la sucesion converge a
ese punto ya que cualquier entorno deja a lo sumo una cantidad
finita de elmentos de la sucesion fuera.
Si hay mas de un punto con preimagen infinita la sucesion no
converge, ya que si y y z tiene preimagen infinita entonces {z}{
que es un entorno de y pero no contiene, a partir de un n0 , todos
los elementos de la sucesion.
Si ningun punto tiene preimagen infinita la sucesion converge a
cualquier punto del espacio.
Proposicion 3.3.1. Sea (X , ) un e.t. N1 y sea A X , sea tambien x 2 X )
x 2 A , 9 una sucesion {xn } A / xn converge a x
Demostracion.
(() Si 9 una sucesion {xn } A convergente a x, sea entonces U 2 Nx , entonces
9n0 / 8n > n0 xn 2 U , entonces A \ U 6= ; 8U 2 Nx ) x 2 A
()) Si x 2 A, sea entonces {Vn } una base local decreciente de x ) Vn \ A 6= ;,

sea entonces xn 2 Vn \ A ) {xn } A y dado W 2 Nx sea n0 / Vn0 W )
8n > n0 xn 2 W , entonces xn converge a x.
Las sucesiones son una herramienta poderosa para probar propiedades en
espacios metricos, el problema es que muchos resultados se tornan falsos al
pasar a espacios topologicos, por ejemplo en un espacio metrico un punto x 2 A
si y solo si existe una sucesion contenida en A convergente a x, pero esto no es
cierto para espacios topologicos, necesitamos agregar como hipotesis que sea N1 .
Una generalizacion es necesaria, Moore y Smith se encargaron de arreglar esto
definiendo conjunto dirijido, tomando propiedades del orden de los naturales
pero permitiendo un poco mas de libertad, y definiendo redes cuyo dominio es
un conjunto dirigido.
Definicion 3.19. Un conjunto dirigido (D, ) consiste en un conjunto D 6= ;
y una relacion que verifica
1. d d 8d 2 D.
2. es transitiva.
3. d0 , d1 2 D ) 9d 2 D tal que d0 d y d1 d.
Ejemplos.
1. Sea (X , ) un e.t. y sea x 2 X ) (Nx , ), siendo el orden trivial
para conjuntos, es un conjunto dirigido. La unica propiedad que puede ser
complicada de demostrar es la numero 3 que se demuestra de la siguiente
manera. Si U, V 2 Nx ) U U \ V y V U \ V .
2. D = {a, b, c} tal que x x 8x 2 D y b ayb c es un conjunto dirigido.
3. Si (D, D ) y (E, E ) son conjuntos dirigidos ) (D E, ) es un conjunto
dirigido siendo el orden lexografico, esto es (d, e) (d0 , e0 ) , d D d0 o
si d = d0 y e E e0 .
Definicion 3.20. Sea (X , ) un e.t.
1. Sea (D, ) un conjunto dirigido, una red es una funcion T : D ! X y se
denota Td .
2. Sea Td una red y sea x 2 X , decimos que Td converge a x si dado U 2
Nx 9d0 2 D / Td 2 U 8d d0 .
Ejemplos.
1. Ya que N es un conjunto dirigido las sucesiones son redes.
2. En Z con la topologa A 2 sii 2n 2 A , 2n 1 2 A, si Td converge
a 6 entonces converge a 5 pues cualquier entorno de 6 contiene al 5 y
viceversa.
Proposicion 3.3.2. Sea (X , ) un e.t. y sea A X , sea tambien x 2 X )
x 2 A , 9 una red {Td } A / Td converge a x
Demostracion.
(() Analogo a sucesiones.
()) Si x 2 A ! sea el conjunto dirigido (Nx , ), con U V si U V , y

la red T : Nx ! A tal que TU 2 U \ A 6= ; porque x 2 A. Dado V 2 Nx si
U V ) TU 2 U V , entonces {TU } converge a x.
Corolario 3.3.3. Sea (X , ) un e.t. A X cerrado sii 8 red {Td } A conver-
gente a x se tiene que x 2 A.
Corolario 3.3.4. Sean y dos topologas sobre X )

, T d ! x ) Td ! x

Demostracion. Si y Td ! x entonces si U 2 Nx ) U 2 Nx ya que si

A 2 ) A 2 . Entonces 9d0 / 8d > d0 Td 2 U ya que Td ! x, entonces
Td ! x.

Sea A X es cerrado con , si x 2 A 9Td ! x ) Td ! x ) x 2 A = A )

A = A ) A cerrado por .
Proposicion 3.3.5. Sea (X , ) un e.t. toda red en X converge a lo sumo a un

punto sii X es de Hausdorff (T2 ).
Demostracion. (() Si X es de Hausdorff y T : D ! X converge a x y a
y distintos, entonces, sea U 2 Nx ) 9d0 / 8d > d0 Td 2 U . Como X es de
Hausdorff 9V 2 Ny tal que U \ V = ;, ademas como Td converge a y 9d1 tal
que 8d > d1 Td 2 V , pero como D es un conjunto dirigido 9d2 tal que d2 d1
y d2 d0 ) d2 2 U \ V , absurdo.
()) Supongamos que X no es de Hausdorff, sea entonces D = Nx Ny con la
relacion
(U, V ) (U 0 , V 0 ) si U 0 U y V 0 V
Entonces, si (U, V ) 2 Nx Ny T(U,V ) 2 U \ V , ) sea W 2 Nx ) si (U, V )
(W, X ) = d0 T(U,V ) 2 U W ) T(U,V ) conerge a x. Analogamente T(U,V )
converge a y, entonces T converge a dos puntos distintos, absurdo.
Definicion 3.21. Sea {Td } una red en un e.t. (X , ) decimos que x 2 X es de
aglomeracion de T si dados U 2 Nx y d0 2 D 9d d0 / Td 2 U
Definicion 3.22. Sea {Td } una red en un e.t. (X , ), sea (E, E ) un conjunto
dirigido y f : E ! D una funcion / 8d0 2 D 9e0 2 E / f (e) > d0 8e e0 ,
decimos entonces que {Tf (e) } es una subred de {Td }.
Teorema 3.3.6. Sea {T } una red en un e.t. (X , ) y x 2 X , entonces x es
punto de aglomeracion , 9 una subred de T convergente a x.
Demostracion. Si 9 una subred {Tf (e) } que converge a x ; f : E ! D ) dados
d0 2 D y U 2 Nx , sea e0 / f (e) d0 8e e0 , sea e1 tal que Tf (e) 2 U 8e e1
y sea e2 / e2 e1 y e2 e0 ) Tf (e2 ) 2 U y f (e2 ) d0 ) x es de aglomeracion
de {Td }.
Si x es de aglomeracion de T , sea E = Nx D con la relacion (U, d) (V, d0 )
si U V y d d0 . Dados (U, d) 2 Nx D sea f (U, d) 2 D / f (U, d) d y
T (f (U, d)) 2 U con f : Nx D ! D. Dado d0 2 D sea e0 = (X , d0 ) entonces
si (U, d) (X , d0 ) se tiene que f (U, d) d d0 ) {Tf (U,d) } es una subred.
{Tf (U,d) } converge a x:
Dado V 2 Nx sean d0 2 D y e0 = (V, d0 ) ) si (U, d) (V, d0 ) Tf (U,d) 2 U
V ) {Tf (U,d) } converge a x.
3.4. Continuidad
Definicion 3.23.
1. Sean X e Y dos espacios topologicos y f : X ! Y una funcion, decimos
que es continua en x 2 X si dado W 2 Nf (x) 9V 2 Nx / f (V ) W .
2. f es continua si es continua 8x 2 X .
Observacion. Si X e Y son espacios metricos, f : X ! Y es continua en
x 2 X , dada B" (f (x)) 9B (x) / f (B (x)) B" (f (x)).
Proposicion 3.4.1. Sean (X , X ) e (Y, Y ) dos espacios topologicos y f : X !

Y una funcion, entonces, las siguientes afirmaciones son equivalentes.
1. f es continua,
2. 8x 2 X y W 2 Nf (x) se tiene que f 1
(W ) 2 Nx ,
3. A Y abierto ) f 1
(A) abierto,
4. 8B base de la topologa en Y f 1
(A) es abierto 8A 2 B,
5. 8S subbase de la topologa en Y f 1
(A) es abierto 8A 2 S,
6. F Y cerrado ) f 1
(F ) cerrado.
Demostracion.
1 !2 W 2 Nf (x) ) 9V 2 Nx tal que f (V ) W ) V f 1
(W ) ) f 1
(W ) 2
Nx .
2 !3 Sea A abierto de Y y sea x 2 f 1 (A) ) A 2 Nf (x) porque es abierto )

por hipotesis f 1 (A) 2 Nx , en resumen f 1 (A) 2 Nx 8x 2 f 1 (A) ) f 1 (A)
abierto.
3 !4 ! 5 trivial.
S
5 !6 F Y cerrado ) F { abierto ) F { = S1 \ . . . \ Sn )
!
[ [
{
f 1
F =f 1
S1 \ . . . \ Sn =

f 1 (S1 ) \ . . . \ f 1
(Sn )

pero f (Si ) es abierto por hipotesis, entonces tenemos que f
1 1
F { es abier-
{
to entonces f 1 (F ) = f 1 F { es cerrado.
{
6 !1 f 1
(F ) cerrado si F cerrado, entonces si A abierto f 1
(A) = f 1
A{
es abierto porque A{ cerrado. Entonces sea x 2 X y W 2 Nf (x) y sea A 2 Y
tal que x 2 A W ) f 1 (A) abierto, entonces f 1 (A) 2 Nx , ademas
f (f 1 (A)) A W ) f es continua.
Proposicion 3.4.2. Sean X e Y dos espacios topologicos; f : X ! Y y
x2X )
f continua , 8 red Td convergente a x se tiene que {f (Td )} converge a f (x)
Demostracion. ()) Sea Td convergente a x y sea W 2 Nf (x) ) f 1 (W ) 2

Nx ) 9d0 tal que Td 2 f 1 (W ) 8d > d0 ) f (Td ) 2 W 8d > d0 ) f (Td )
converge a f (x).
(() Supongamos que f no fuera continua ) 9W 2 Nf (x) tal que 8U 2 Nx

se tiene que f (U ) \ W 6= f (U ).
Sea D = Nx y T : D ! X una red donde TU 2 U / f (TU )) 2 / W ) {TU }
converge a x ya que dado V 2 Nx si U V ) Tu 2 U V . Pero f (Td ) no
converge a f (x) ya que f (Td ) 2/ W 8U 2 Nx .
Ejemplos.
1. Si la topologa de X es la dicreta f : X ! Y es continua.
2. Si Y tiene la topologa indiscreta f : X ! Y es continua.
Observacion. Sean y dos topologas en X )
, Id : (X , ) ! (X , ) es continua
Ejemplos. Sean X e Y dos espacios topologicos y f : X ! Y continua, entonces

1. A X , f |A : A ! Y donde f |A (a) = f (a). Si consideramos A con la
topologa relativa tenemos que f |A es continua:
Sea U Y abierto ) f |A1 (U ) = f 1 (U ) \ A que es abierto en A.
2. fe : X ! f (X ); f (X ) con la topologa relativa, entonces fe es continua,

sea U f (X ) abierto con la topologa relativa, entonces U = f (X ) \ W
con W Y abierto ) fe 1 (U ) = f 1 (W ) abierto porque f es continua.
3.4.1. Un parentesis para espacios metricos

Definicion 3.24. Sean E y F espacios metricos, f : E ! F es uniformemente
continua si dado " > 0 9 > 0 tal que
si d(x, y) < ) d(f (x), f (y)) < "
Observacion. Si f es uniformemente continua, entonces es continua.

Ejemplo. Sean E, F dos espacios metricos f : E ! F es una inmersion
isometrica si d(x, y) = d(f (x), f (y)). Como conclucion inmediata tenemos que
toda inmersion isometrica es uniformemente continua, tenemos ademas la in-
yectividad, si f (x) = f (y) ) 0 = d(f (x), f (y)) = d(x, y) ) x = y.
Definicion 3.25. Una isometria es una inmersion isometrica sobreyectiva.
Definicion 3.26. Sea (E, d) un e.m. y sea A E distinto de vacio, sea ademas
x2E)
d(x, A) = nf {d(x, a) con a 2 A}
a
Observacion. A = {x / d(x, A) = 0}
d(x, A) = 0 , 9 una sucesion {xn } A / d(xn , x) < 1/n , B n1 (x) \ A 6=

; 8n , x 2 A.
dA : E ! R / dA (x) = d(x, A) es uniformemente continua : dado " > 0 si

d(x, y) < "/2, sea a 2 A )
d(y, a) d(x, a) + d(x, y)
d(x, a) d(y, a) + d(x, y)

) d(x, a) d(x, y) d(y, a) d(x, a) + d(x, y)
dA (x) d(x, a) ) dA (x) d(x, y) d(y, a) 8a 2 A ) dA (x) d(y, a) +
d(x, y) < d(y, a) + "/2 8a 2 A ) dA (x) dA (y) + "/2, analogamante dA (y)
dA (x) + "/2 ) |dA (x) dA (y)| < "/2.
Definicion 3.27. Sean E, F espacios metricos F = {f : E ! F acotadas}

donde f es acotada si sup{d(f (x), f (y))} = diam(f (E)) es finito.
Observacion. Si f, g 2 F ) d(f, g) = sup{d(f (x), g(x))} es finito.
Demostracion. Sea e 2 E, 8x 2 E se tiene que
d(f (x), g(x)) d(f (x), f (e)) + d(f (e), g(e)) + d(g(e), g(x))
diam(f (E)) + d(f (e), g(e)) + diam(g(E)) que es finito.
Observacion. Una red {fd } F converge a f sii dado " > 0 9d0 2 D / 8d d0
y 8x 2 E se tiene que d(fd (x), f (x)) < ".
Demostracion. (() Si fd converge a f ) dado " > 0 9d0 / 8d d0 d(fd , f )

" ) sup{d(fd (x), f (x)} " ) d(fd (x), f (x)) " 8x 2 E.
()) Si d(fd (x), f (x)) " 8x 2 E ) sup{d(fd (x), f (x))} < " ) d(fd , f ) <
" ) fd converge a f .
Observacion. Sea Cb (E, F ) = {f 2 F/f es continua} F ) Cb (E, F ) es cerrado
en F.
Demostracion. Sea f 2 Cb (E, F ) ) 9{fn } Cb (E, F ) / fn converge a f . Dados
x 2 E y " > 0 sea n0 / d(fn , f ) < "/3 8n n0 y sea > 0 / d(fn0 (x), fn0 (y)) <
"/3, sabemos que existe porque las fn son continuas. Entonces
si d(x, y) < d(f (x), f (y)) d(f (x), fn0 (x)) + d(fn0 (x), fn0 (y))+
+d(fn0 (y), f (y)) < "/3 + "/3 + "/3 = "

Entonces f es continua ) Cb (E, F ) = Cb (E, F ) ) Cb (E, F ) es cerrado.
3.4.2. Volviendo a los espacios topologicos

Definicion 3.28. Sean X e Y espacios topologicos, f : X ! Y es un home-
omorfismo si es continua, invertible y con inversa continua. X e Y son homeo-
morfos si existe un homeomorfismo entre ellos.
Observacion. La composicion de funciones continuas es continua.
Demostracion. Sean f : X ! Y y g : Y ! Z continua en x y f (x) respec-
tivamente, entonces, sea W 2 Ng f (x) ) g 1 (W ) 2 Nf (x) ) f 1 g 1 (W ) 2
Nx ) f g continua.
Observacion. La composicion de homeomorfismos es un homeomorfismo.
Definicion 3.29. X e Y dos espacios topologicos, decimos que f : X ! Y es
abierta si la imagen de cualquier abierto es abierta, y decimos que es cerrada si
la imagen de cualquier cerrado es cerrada.
Proposicion 3.4.3. Sean X e Y espacios topologicos, f : X ! Y invertible,
entonces, las siguientes afirmaciones son equivalentes.
1. f es un homeomrfismo,
2. f es continua y abierta,
3. f es continua y cerrada.
1
Demostracion. 1 !2 A X abierto ) como f 1
es continua f (A) = f 1
(A)
es abierto.
{
2 ! 3 Sea F X cerrado ) f (F ) = f F { cerrado.
1
3 ! 1 F X cerrado ) f (F ) = f 1
(F ) cerrado, entonces f 1
con-
tinua.
Captulo 4
El conjunto de Cantor (C )
Consideremos el conjunto cuya construccion es la siguiente, partimos el in-

tervalo [0, 1] en 3 tercios, eliminamos el segundo tercio y nos quedamos con el
primer y tercer tercio, luego repetimos el proceso para estos tercios y as suce-
sivamente, el lmite de esta construccion es el conjunto de Cantor. Para en-
tender mas un poco esto vamos h primeroi a introducir un poco de notacion. Si
S S
I = [a, b] ) I = [a, b 3 a ] [ a + 2(b3 a) , b , si I = Ik ) I = Ik .
Introducida la notacion comenzemos, sea A0 = [0, 1]; A1 = A0 , en general,
An = An 1 ) el conjunto de Cantor es
1
\
C = An
n=0
An es la union de 2n intervalos disjuntos

n
2
[ 1
An = [ank , bnk ] y bnk ank =
3n
k=1
2 n
o sea la medidade An = 3 .
C es cerrado.
Demostracion. An es cerrado 8n porque es union finita de conjuntos cerrados,
entonces como C es interseccion de cerrados es cerrados.
C no contiene ningun intervalo abierto () C = ;).

Demostracion. Si (c, d) C (c, d) An 8n ) (c, d) [ank , bnk ] para algun
k ) d c < 31n 8n ) d = c.
Pn xi
{ank } = i 3i : xi 2 {0, 2} .
32
CAPITULO 4. EL CONJUNTO DE CANTOR (C ) 33
Demostracion. Por induccion en n, si n = 1 a1k = {0, 2/3}, si

( n ) n
X xi aj para algun j
{ak } =
n
: x 2 {0, 2} ) an+1
3 i i k anj + 3n+1
2
para algun j
i
En el que si an+1
k = anj xn+1 = 0 y si an+1
k = anj + 2/3n+1 xn+1 = 2, entonces
( n )
X xi
{ank } = : xi 2 {0, 2}
i
3i
P yi P xi
Si m > n y am m
j , bj \ [ank , bnk ] 6= ; donde am
j = 3i y ak =
n
3i ) xi = yi .
Demostracion. En ese caso am

j ank pues en caso de que no fuera as se tendra
que aj ak 3n y bj = aj + 3n < am
m n 1 m m 1
k absurdo. Entonces 0 aj
m
ank 31n .
+
Sea l tal que xl 6= yl y xi = yi 8i < l (l < n) ) yl xl = 2
1
X 1
1 1 X 1 1 1 1 1
= = k+1 =
3i 3k+1 0 3i 3 2/3 2 3k
k+1
Si yl xl = 2
2
z }| {
n
X m
X X n m n
yi xi yi 2 yi xi X yi 2 X 1
am ank = + = + + 2 >
j
1
3i n+1
3i 3l 3i n+1
3i 3 l 3i
l+1 l+1
| {z }
0
1
X
2 1 2 11 1 1
> l 2 = l 2 = l
3 3i 3 2 3l 3 3n
l+1
contradiciendo el hecho que am

j ank 3n .
1
Si yl xl = 2
n
X Xm m
2 yi xi yi 2 X 2
am ank = + + + <
j
3l 3i n+1
3i 3l 3i
l+1 l+1
1
X
2 2 2 11 1
< + = l +2 l = l
3l 3i 3 23 3
l+1
absurdo.
P1
C = 1
xi
3i xi 2 {0, 2} .
Pm
Demostracion. xi
1 3i xi 2 {0, 2}, n 2 N An 8m n)
(m ) (m )
X xi X xi
xi 2 {0, 2}, n 2 N C ) xi 2 {0, 2}, n 2 N C C
1
3i 1
3i
P1
) 1
xi
3i xi 2 {0, 2} C .
h i
Si t 2 C ) t 2 ankn (t) , bnkn (t) y ank(t) t < 1
3n ! 0 ) si m > n t 2
h i h i
am m n n
km (t) , bkm (t) \ akn (t) , bkn (t) )
m
X n
X 1
X
xi xi xi
km (t) =
am y ankn (t) = ) t = lm ankn (y) =
1
3i 1
3i n
1
3i
Definicion 4.1. Un subconjunto de un espacio topologico se dice perfecto sii

es igual al conjunto de sus puntos de acumulacion.
C es un conjunto perfecto.
Demostracion. Sabemos, como C es cerrado, que contiene a sus puntos de acu-
mulacion, restara probar que todo punto de C es de acumulacion. Para esto
tomemos un t 2 C )
X1
xi
t=
1
3i
Entonces si no existe n0 tal que xi = 0 8i n0 las sumas parciales son siempre
distintas de t y ademas siempre podemos encontrar una a distancia menor que
un " arbitrario.
Si 9n0 tal que xi = 0 8i n0 )
n0
X xi
t=
1
3i
dado " > 0 sea n > n0 tal que 2

3n <")t+ 2
3n 2 C \ (B" (t) {t}).
Existe una funcion f : C ! [0, 1] sobreyectiva y uniformemente continua.
Demostracion. Definimos
1
! 1
X xi X x1 /2
f =
1
3i 1
2i
Entonces f es sobreyectiva.
Dado " > 0 sea n0 tal que 1/2n0 < " )
1
X 1
xi X yi
si , 2C
1
3i 1 3i
y distan menos de 1/3n0 ) xi = yi 8i n0 . En ese caso

1
! 1
!! 1 1
X xi X yi 1 X xi yi 1 X xi yi
d f , f =
1
3i 1
3i 2 n +1 2i 2 n +1 2i
0 0
1 1
1 X 1 1 X 1 1
2 = = n0 < "
2 n +1 2i 2 n 0 +1
0
2i 2
0
) si t, s 2 C y d(t, s) < 1
3n0 ) d(f (t), f (s)) < ".
Corolario 4.0.4. C no es numerable.

Captulo 5
Topologa producto
5.1. Topologa en un producto cartesiano

Definicion 5.1. Sea X un conjunto y sea Y una familia de espacios topologi-
cos, f : X ! Y 2 I, la topologa inicial en X es la topologa generada por
{f 1 (A) donde A es abierto de Y , 2 I}
Definicion 5.2. Sea {X } una familia de espacios topologicos,
( )
Y [
X = f : I ! X tal que f () 2 X

Q
Para cada 2 I la proyeccion p : X ! X es la funcion definida
como p (f ) = f (). La topologa producto definida en el producto cartesiano
es la topologa inicial segun {p : 2 I}, tenemos entonces que una subbase de
la topologa producto es
p 1 (A) : A X abierto
entonces una base de la topologa producto es
( )
\
p (A) con F I finito y A X abierto
1
2F
El espacio producto es el producto cartesiano con la topologa producto.

Proposicion 5.1.1. La proyecciones son continuas y abiertas.
Demostracion. Como la topologa producto es la inicial segun las proyecciones
deducimos que son continuas. Como las proyecciones son continuas y todo abier-
to es union de elementos de la base basta probar solamente que p (A) es abierto
donde A es abierto de la base. Si A es un abierto de la base tenemos que
n
\
A= pi1 (Ai )
i=1
36
CAPITULO 5. TOPOLOGIA PRODUCTO 37
donde Ai Xi abierto, entonces solo basta aplicarle p 8 2 I, si 2

{1 , . . . , n } ) p (A) = A abierto y si 2
/ {1 , . . . , n } p (A) = X abierto
) las proyecciones son abiertas.
Q Q
Proposicion 5.1.2. Una red {ad } X converge a a 2 X sii p (ad )
converge a p (a) 8 2 I.
Demostracion. Si {ad } converge a a tenemos que, como las proyecciones son
continuas, p (ad ) converge a p (a). Si tenemos que p (ad ) converge a p (a) 8 2
I, tenemos que probar que dado W 2 Na 9d0 2 D tal queS8d d0 ad 2 W .
Como W 2 Na existe A 2 tal que a 2 A W ) A = U donde U son
abiertos de la base. Sea U 0 tal que a 2 U 0 ) a 2 U 0 A W , entonces
basta probar que dado un abierto U de la base que contanga a a 9d0 / 8d d0
se tiene que ad 2 U . Como U es un abierto de la base tenemos que
n
\
U= pi (Ai ) donde Ai abierto de Xi
i
a 2 U ) pi (a) 2 Ai 8i = . . . n. Sea di 2 D tal que 8d di pi (ad ) 2 Ai y

sea d0 di 8i = 1 . . . n ) si d d0 pi (ad ) 2 Ai 8i = 1 . . . n ) ad 2 U 8d
d0 .
Ejemplo.
Definicion 5.3. Sea X un conjunto e Y un espacio topologico
Y
YX = Y = {f : X ! Y}
x2X
Entonces, una red {fd } converge a f sii {fd (x)} converge a f (x) 8x, o sea, la
convergencia en la topologa producto es la convergencia puntual. El espacio
producto tambien nos da otra forma de ver las sucesiones, estas son elementos
del espacio X N .
Q
Proposicion 5.1.3. Sean X e Y espacios topologicos y sea f : Y ! X ,
entonces f es continua sii p f : Y ! X es continua 8.
Demostracion. Si f es continua tenemos que p f es contina 8 ya que p
es continua 8. Si p f es continua, sea ad una red convergente a a 2 Y )
p f (ad ) converge a p f (a) 8, pero como p es continua 8 f (ad ) converge
a f (a) ) f es continua.
Q
Proposicion 5.1.4. X es de Hausdorff , X es de Hausdorff 8 2 I.
Demostracion.
Q
(() X es de Hausdor 8 2 I. Sean a, b 2 X distintos ) 9 2 I tal
que a( ) 6= b( ) ) 9U, V X abiertos disjuntos tales que a( ) 2 U y
b( ) 2 V )
Q p (U ) y p (V ) son abiertos disjuntos y a 2 p (U ) y b 2 p (V ).
1 1 1 1
Entonces X es de Hausdor.
Q Q
()) Si X es de Hausdor. Sean x 6= y 2 X0 y a, b 2 X tales que
a() = b() 8 6= 0 y a(0 ) = x y b(0 ) = y ) existen
n
[ m
[
UA1 ,...,An = pi1 (Ai ) y VB1 ,...,Bm pi1 (B i )
i i
abiertos disjuntos tales que a 2 UA1 ,...,An y b 2 VB1 ,...,Bm . Entonces a 2

UA1 ,...,An ) a(i ) 2 Ai 8i = 1 . . . n, pero b 2 / UA1 ,...,An ) 9j tal que
b(j ) 2 / Aj pero b() = a() 8 6= 0 ) j es 0 ) y = b(0 ) 2 / A0 =
p0 (UA1 ,...,An ), analogamente x = a(0 ) 2
/ B0 = p0 (VB1 ,...,Bm ), como ademas
son disjuntos tenemos que X0 es de Hausdor.
5.2. Producto de espacios metricos

Proposicion 5.2.1. Sean E1 , . . . , En espacios metricos y
n
Y n
Y
d1 : Ei Ei ! R
1 1
tal que d1 ((x1 , . . . , xn ), (y1 , . . . , yn )) = max{di (xi , yi )} ) la topologa inducida

por d1 es la topologa producto.
Demostracion. Sea Td una red convergente a x con d1 ) 8" > 0 9d0 /
max{di (pi (Td ), xi )} < " , di (pi (Td ), xi ) < " 8i = 1 . . . n , pi (Td ) converge
a xi 8i = 1 . . . n , (por una proposicion anterior) Td convegre a x con la
topologa producto.
Proposicion
Q 5.2.2. Sea {En }n2N una familia numerable de espacios metricos
) En es metrizable.
Demostracion. Un espacio metrico es acotado si existe un numero k positivo tal
que la distancia de cualquiera de sus puntos siempre es menor o igual que k.
Tenemos definida una metrica en un producto finito de espacios metricos, esta
es la llamada distancia de la suma y es
n
X
d(x, y) = d(xi , yi )
1
tendria sentido generalizar esta metrica a un producto numerable de espacios

metricos de la siguiente manera
1
X
d(x, y) = d(xi , yi )
1
el problema resultante es que esta serie no tiene porque converger, por eso nece-
sitamos estar trabajando en espacios metricos acotados. Ya sabemos que dada
una metrica d, d0 (x, y) = mn{1, d(x, y)} tambien es una metrica y ademas es
equivalente a d, la ventaja es que el espacio nos queda acotado. Sea di la metrica
en Ei entonces definimos di (x, y) = mn{1, di (x, y)}. Estamos en condiciones de
definir una metrica en el producto:
1
Y 1
Y 1
X di (x(i), y(i))
d: Ei Ei ! R dada por d(x, y) =
1 1 1
2i
P
esta bien definida pues d(x, y) 1
2i = 1 < 1.
d induce la topologa producto:

Si una red Te converge a x con la topologa producto entonces Te (i) converge
a x(i) con la topologa de Ei , o sea Te (i) converge a x(i) con di . Dado " > 0
9k 2 N tal que
X1
1 "
<
2i 2
k+1
Como Te (i) converge a x(i) con di sea ei / 8e ei di (Te (i), x(i)) < "/2. Tomem-
os e0 ei 8i = 1, . . . , k ) si e e0 di (Te (i), x(i)) < "/2 8i = 1, . . . , k. Entonces
si e e0 tenemos que
1
X k
X 1
X
di (Te (i), x(i)) di (Te (i), x(i)) di (T e(i), x(i))
d(Te , x) = = +
1
2i 1
2i 2i
k+1
k
X 1
X
"/2 1 " "
+ < + ="
1
2i 2i 2 2
k+1
) Te converge a x con d. Supongamos ahora que Te converge a x con d ) dados

" > 0 y n 2 N 9e0 / d(Te , x) < "/2n entonces 21n dn (Te (n), x(n)) d(Te , x) <
"/2n ) dn (Te (n), x(n)) < " 8n 2 N ) Te (i) converge a xi con di entonces Te
converge a x con la topologa producto.
Q
Conclucion: Sea {Te } una red en Ei )
Te converge a x con d , Te converge a x con la topologa producto.

Captulo 6
Espacios conexos
6.1. Introduccion
Un espacio topologico X es conexo si no es union de dos abiertos disjuntos,
es decir, @A, B abiertos / A \ B = ; y A [ B = X . Un subconjunto Y de X es
conexo si lo es con la topologa relativa.
Ejemplos.
1. X con la topologa discreta, si tiene mas de un punto no es conexo.
2. X infinito con la topologa de los complementos finitos, como no hay abier-
tos disjuntos concluimos que X es conexo.
p p
3. Q con la topologa relativa no es conexo, x 2 Q / x < 2 [ x 2 Q / x > 2 =
Q y son dos abiertos disjuntos.
Proposicion 6.1.1. Sea (X , ) un e.t. ) las siguientes afirmaciones son equiv-
alentes:
1. X es conexo,
2. No existen cerrados disjuntos no vacios cuya union sea todo el espacio,
3. Si A X es abierto y cerrado entonces A = X o A = ;,
4. No existe f : X ! {0, 1} continua y sobreyectiva, {0, 1} con la topologa
relativa.
Demostracion.
1 !2 Si existieran cerrados A y B disjuntos tales que A [ B = X entonces A{
y B { son abiertos disjuntos que verifican A{ [ B { = X ) X no es conexo.
2 !3 Si A es abierto y cerrado entonces A y A{ son dos cerrados disjuntos

cuya union es X , entonces A = X o A = ;.
40
CAPITULO 6. ESPACIOS CONEXOS 41
3 !4 Si existiera f : X !{0, 1} continua y sobreyectiva entonces f 1 (1) es

abierto y f 1 (1){ = f 1 1{ = f 1 (0) es abierto ) f 1 (1) = X o f 1 (1) = ;,
entonces f no es sobreyectiva.
4 !1 Supongamos que X no es conexo, entonces existen A y B abiertos dis-

juntos tales que A [ B = X ) defino f : X ! {0, 1} tal que f (A) = 0 y
f (B) = 1 ) f es continua y sobreyectiva, absurdo.
Ejemplo. Todo conjunto conexo en R es un intervalo.
Demostracion. Si A R fuera conexo y no fuera un intervalo, es decir que
dados a, b 2 A 9c 2 (a, b) tal que c 2
/ A ) ( 1, c) \ A y (c, +1) \ A son
abiertos disjuntos cuya union de A.
Proposicion 6.1.2. [0, 1] es conexo.
Demostracion. Supongamos que no lo fuera, entonces existen A y B abiertos
disjuntos tales que [0, 1] = A [ B ) podemos suponer que 0 2 A, sea S = {a 2
A : a b8b 2 B}, entonces S 6= ; pues 0 2 S y es acotado por 1, entonces
tiene extremo superior 2 S A = A ) [0, ] \ B = ;. Si 8" > 0 se tiene que
(, + ") \ B 6= ; entonces 2 B = B ) 2 A \ B = ;, absurdo, entonces
9" > 0 tal que (, + ") \ B = ; ) no es extremo superior, absurdo.
Teorema 6.1.3 (de Bolzano). Sea (X , ) un e.t. conexo, entonces la imagen
de X por una funcion continua es un conjunto conexo.
Demostracion. f : X ! Y continua, si f (X ) no fuera conexo existiria una
funcion g : f (X ) ! {0, 1} continua y sobreyectiva, entonces g f : X ! {0, 1}
es continua y sobreyectiva, entonces X no es conexo, absurdo.
Proposicion 6.1.4. Sea (X , ) un e.t. y sea C X conexo, entonces si C

D C ) D es conexo.
Demostracion. Sean A, B abiertos tales que A \ D y B \ D son disjuntos y
A\D[B\D =D )
C =C \D =A\D\C [B\D\C =A\C [B\C
A \ C y B \ C son abiertos disjuntos, entonces alguno de ellos debe ser vacio,

por ejemplo A \ C. Si a 2 A entonces A 2 Na , pero como A \ C = ; a 2 /C)
a2/ D ) A \ D = ;, por lo tanto D es conexo.
Corolario 6.1.5. C conexo ) C conexo.

Proposicion 6.1.6.
S Sea X un e.t., {Y }2I tal que Y X 8 2 I y Y \Y 6=
; 8, 2 I ) Y es conexo.
S
Demostracion. Sea g : Y ! {0, 1} continua, entonces g|Y es continua pero
no es sobreyectiva porque
S Y conexo, entonces es constante, podemos suponer
g(Y ) = 0 ) sea a 2 Y ) a 2 Y0 ) g|Y0 es continua pero no puede ser
sobreyectiva porque Y0 es conexo, entonces g|Y0 es constante y como
S Y0 \
Y 6= ; tenemos que g(a) = g|Y0 (a) = 0 ) g constante, entonces Y es
conexo.
Proposicion 6.1.7. Un espacio topologico X es conexo sii dados x e y distintos
existe C conexo tal que {x, y} C.
Demostracion. Si X es conexo, dados dos puntos cualesquiera x, y 2 X tenemos
que {x, y} X conexo. Reciprocamente, sea y 2 X entonces para cada x 2
X 9Cx X conexo tal que {x, y} Cx )
[
X = Cx
x2X
y Cx \ Cx0 3 y ) por la proposicion anterior X es conexo.

Ejemplos.
1. I R es conexo , I es un intervalo.
Demostracion. Ya vimos que todo conjunto conexo de R era un intervalo,

falta ver que un intervalo es un conjunto conexo, para esto, dados x, y 2 Y
tenemos que [x, y] es un conexo (porque es homeomorfo a [0, 1]) contenido
en I, entonces por la proposicion anterior I es conexo.
2.
Definicion 6.1. Sea (X , k k) un espacio normado, un conjunto A es convexo
si 8x, y 2 A se tiene que tx + (1 t)y 2 A 8t 2 [0, 1]
Observacion. Todo conjunto convexo en un espacio normado es conexo.
Demostracion. Si x, y 2 A sea C = {tx + (1 t)y, t 2 [0, 1]} ) sea

h : [0, 1] ! C tal que h(t) = tx + (1 t)y entonces h es continua y
sobreyectiva, entonces C es conexo, entonces, por la proposicion anterior
A es conexo.
Proposicion 6.1.8. Sea {X } una familia de espacios topologicos )
Y
X es conexo , X conexo 8

Demostracion.
Q Q
()) Si X es conexo, entonces X = p ( X ) es conexo porque p es con-
tinua.
Q
(() Sea
Qf : X ! {0, 1} continua, probaremos que es constante. Para
un a 2 X definimos
( )
Y
A1 (a) = x 2 X / x() = a() 8 6= 1

Entonces p1 |A1 (a) es un homeomorfismo:

Es continua, inyectiva
Q y sobreyectiva, faltara ver que su inversa es continua,
sea ' : X1 ! X definida por '(z)() = a() si 6= 1 y '(z)(1 ) = z,
claramente ' es la inversa de p1 |A1 (a) . Entonces sea zd convergente a z en
X1 entonces '(zd )() = a() = '(z)(), y '(zd )(1 ) = zd convergente a
z = '(z)(1 ), entonces ' es continua.
Como X1 es conexo y p1 |A1 (a) es un homeomorfismo, tenemos que A1 (a) es

conexo, entonces f |A1 (a) es continua pero no es sobre, entonces es constante.
O sea, si x 2 A1 (a) f (x) = f (a). Definimos
( )
Y
A1 ,2 (a) = x 2 X / x() = a() 8 6= {1 , 2 }

Q
Tomemos x 2 A1 ,2 (a) y sea y 2 X tal que y() = a() si = 6 1 y
x(1 ) = y(1 ) ) y 2 A1 (a) ) f (y) = f (a), pero x 2 A2 (y) ) f (x) =
f (y) = f (a) ) 8x 2 A1 ,2 (a) f (x) = f (a). Sea
( )
Y
A1 ,...,n (a) = x 2 X /x() = a() 8 6= {1 , . . . , n }

entonces f es constante en A1 ,...,n (a):

Probaremos por induccion, para n = 1, 2 ya esta probado. Si vale para n 1,
sea x 2 A1 ,...,n 1 (a) ) f (x) = f (a) y sea y 2 A1 ,...,n (a) entonces y 2
An (x) ) f (y) = f (x) = f (a).
Sea
[ n Y o
A= AF (a) con AF (a) = x 2 X / x() = a() 8 2
/ F finito
F I
A es denso: Tn 1
Veremos que corta a cualquier abierto
Q de la base, sea U = 1 pi (Ui ) con
Ui 2 Xi abierto, consideremos x 2 X / x() = a() 8 6= {1 , . . . , n } y
x(i ) 2 Ui ) x 2 U y x 2 A ) x 2 U \ A.
Q
Como A es denso dado x 2 X 9{xd } A / xd converge a x, pero como
{xd } A f (xd ) = f (a) como {0, 1} es de Hausdor y f es continua f (xd )

convergeQ
a f (x) ) f (a) converge a f (x) ) f (a) = f (x) ) f es constante y por
lo tanto X es conexo.
Dados dos puntos x, y en un e.t decimos que estan conectados si existe un
conexo que los contiene, ya probamos que un espacio es conexo sii todos sus
puntos estan conectados, veremos ahora que la relacion de estar conectados es
una relacion de equivalencia justificando la notacion . {x} es conexo, por tanto
x x, si x y es claro que y x. Si x y e y z entonces como ambos conexos
que contienen a y su union es un conjunto conexo que contiene a x, y, z ) x z.
Una componente conexa de un punto x en un espacio topologico X es la clase
de equivalencia de x, o sea, son todos los puntos que estan conectados con x.
La denotamos Cx .
Proposicion 6.1.9. Cx es el mayor conexo que contiene a x.
Demostracion. Si D es un conexo tal que x 2 D ) 8y 2 Dx y ) y 2 Cx ,
resta probar que Cx es conexo. Dados dos puntos cualquiera y, z 2 Cx ) y
x z ) y z ) 9C conexo tal que {y, z} C Cx ) por una proposicion
anterior Cx es conexo.
Corolario 6.1.10. Cx es cerrado.
Demostracion. Como Cx es conexo tenemos que Cx Cx ) Cx es cerrado.
Ejemplos.
1. Q Cx = {x},
2. C Cx = {x}.
6.2. Espacios localmente conexos

Definicion 6.2. Sea (X , ) un e.t. decimos que es localmente conexo si 8x 2 X
se tiene una base de entornos conexos.
Ejemplos.
1. R es localmente conexo, {(x ", x + ") : " > 0} es una base de entornos
conexos. ademas R es conexo.
2. (0, 1) [ (2, 3] es localmente conexo pero no es conexo.
3. R Q es localmente conexo pero no es conexo.
4. R Q [ {(x, x) : x 2 R} R2 no es localmente conexo pero si es conexo.
Proposicion 6.2.1. Sea (X , ) un e.t. . Las siguientes afirmaciones son equiv-
alentes:
1. X es localmente conexo.
2. Si A 2 las componentes conexas de A son abiertas.

3. Existe una base de de miembros conexos.
Demostracion.
1 !2 Si A X abierto, sea x 2 A y sea CxA la componente conexa de x en
A, como X es localmente conexo existe B una base local de entornos conex-
os, entonces existe V 2 B conexo tal que x 2 V A ) como V es conexo
x 2 V CxA ) CxA es un entorno de todos sus puntos, entonces es abierto.
2 !3 Sea
S B = {A 2 /A es conexo} entonces dado un abierto A tenemos
que A = CxA y CxA 2 B entonces B es una base de miembros conexos.
3 !1 Bx = {V 2 B / x 2 V } es una base local de entornos conexos.

Ejemplo. Si A R abierto ) A es union de intervalos abiertos disjuntos.
Demostracion. R es localemente conexo, entonces si A R es abierto sus com-
ponentes conexas son abiertas, como ya vimos que los unicos cojuntos conexos
de R son intervalos tenemos que A es union disjunta de intervalos, pero como sus
componentes conexas son abiertas tenemos que A es union disjunta de intervalos
abiertos.
Proposicion 6.2.2. Sea X localmente conexo y sea f : X ! Y continua y
abierta o cerrada ) f (X ) es localmente conexo.
Demostracion. f abierta: Dado x 2 X y dado W 2 Nf (x) existe un entorno V

conexo de x tal que f (V ) W \ f (X ), ademas f (V ) es conexo ) {f (V ) : V 2
Nx conexo} es una base de entornos conexos de f (x).
f cerrada: Podemos suponer que f es sobre. Sea A Y abierto, vamos a probar

que sus componentes
S conexas son abiertas. Sea D una componente conexa de
A, f 1 (A) = C con C componentes conexas de f 1 (A).
[ [
f 1 (D) = C \ f 1 (D) = C \ f 1 (D)
si 9 / C \ f 1 (D) 6= ; ) f (C ) \ D 6= ; como ademas f (C ) conexo tenemos

que f (C ) D pues D es una componente conexa, entonces
[
f 1 (D) = C que es abierto
/ C \f 1 (D)6=;

Entonces como f 1 (D){ = f 1
D{ cerrado ) f f 1
D{ = D{ cerrado,
entonces D es abierto.
6.3. Espacios conexos por caminos

Definicion 6.3. Sea (X , ) un e.t. y sean x, y 2 X . Un camino de x a y es una
funcion f : [0, 1] ! X continua tal que f (0) = x y f (1) = y, decimos que x e
y estan conectados por caminos (c ) si existe un camino entre ellos.
Si x e y estan conectados por caminos tambien estan conectados ya que, al
ser f continua y [0, 1] conexo, tenemos que {x, y} f ([0, 1]) que es conexo. Al
igual que estar conectados era una relacion de equivalencia, estar conectados
por caminos tambien es una relacion de equivalencia:
i x c x basta tomar f (t) = x,
ii si x c y 9f : [0, 1] ! X continua tal que f (0) = x y f (1) = y, tomando
g(t) = f (1 t) tenemos que y c x,
iii si x c y 9f : [0, 1] ! X continua tal que f (0) = x y f (1) = y, si
y c z 9g : [0, 1] ! X continua tal que g(0) = y y g(1) = z ) tenemos
que h : [0, 1] ! X dada por

f (2t) si t 2 [0, 1/2]
h(t) =
g(2t 1) si t 2 [1/2, 1]
es continua ya que h(1/2) = f (1) = g(0) = y, ademas h(0) = x y h(1) =

z ) x c z.
La componente conexa por caminos de x es su clase de equivalencia y se denota
CCx . Decimos que un espacio es conexo por caminos si todos sus puntos estan
conectados por caminos. O sea, 8x, y 2 X x c y.
Observacion. X conexo por caminos ) X conexo ya que dos puntos cualesquiera
estan conectados por caminos y por tanto conectados.
Si X es conexo por caminos y f : X ! Y continua entonces f (X ) es conexo
por caminos.
Demostracion. Dados f (x) y f (y) en f (X ) sea g un camino entre x e y ) f g
es un camino entre f (x) y f (y) ya que f g(0) = f (x) y f g(1) = f (y).
Ejemplos.
X = {(x, sen(1/x)) : x 2 (0, 1)} = {0} [ 1, 1] [ {(x, sen(1/x)) : x 2
(0, 1)} es conexo porque x 7! (x, sen(1/x)) es continua y la adherencia
de un conexo es conexa, pero no es conexo por caminos ya que si x 2
{0} [ 1, 1] e y 2 {(x, sen(1/x)) : x 2 (0, 1)} no hay ningun camino entre
ellos.
Sean f, g 2 C(X , Y) = {f : X ! Y : f continua} donde X , Y son
espacios topologicos. Decimos que f y g son homotopicas si existe una
funcion continua H : X [0, 1] ! Y tal que H(x, 0) = f (x) 8x 2 X y
H(x, 1) = g(x) 8x 2 X , dotando a X [0, 1] con la topologa producto. H
es la homotopa entre f y g. Basicamente dos funciones son homotopicas

si podemos deformar continuamente una en la otra, sin salir del espacio Y.
Por ejemplo, si Y es un espacio vectorial normado entonces la funcion

H(x, t) = tg(x) + (1 t)f (x) es una homotopa entre f y g. Concluimos
que en este caso, cualquier dos funciones continuas son homotopicas.
Supongamos que X = [0, 2] e Y = R2 {0}, consideremos la funcion

f : X ! Y dada por f (t) = eit o sea, el crculo, entonces f no es homotopi-
ca una funcion constante ya que no podemos deformarla continuamente
sin pasar por el 0.
Si Y es un espacio metrico entonces dos funciones son homotopicas sii

estan en la misma componente conexa por caminos de (C(X , Y), d1 ).
Definicion 6.4. X es localmente conexo por caminos (l.c.c) si todo punto tiene
una base de entornos conexos por caminos.
Proposicion 6.3.1. Sea (X , ) un e.t. entonces las siguientes afirmaciones son
equivalentes.
1. X es localmente conexo por caminos,
2. Si A 2 ) las componentes conexas por caminos de A son abiertas,
3. existe una base de cuyos miembros son conexos por caminos.

Demostracion.
(1 !2) Dado A 2 sea a 2 A ) 9Va 2 Na conexo por caminos tal que
a 2 Va A pero como Va conexo por caminos Va CCaA y eso es 8a 2 A )
CCaA 2 Na 8a 2 A ) CCaA abierto.
(2 !3) B = {A 2 / A es conexo por caminos } es una base de miembros

conexos por caminos.
(3 !1) Dada B una base de miembros conexos por caminos Bx = {B 2 B

tal que x 2 B} es una base de entornos conexos por caminos.
Corolario 6.3.2.
i Si X es localmente conexo por caminos CCx es abierta 8x 2 X ,
ii Si X es localmente conexo por caminos CCx es cerrada 8x 2 X .
Demostracion.
i ya esta.
S
ii CCx{ = D donde D son componentes conexas por caminos que sabe-
mos abiertas.
Corolario 6.3.3. Si X es l.c.c ) CCx = Cx 8x 2 X .

Demostracion. Cx \ CCx es abierto y cerrado pero como Cx es conexo CCx \
Cx = ; o CCx \Cx = Cx , pero como {x} 2 CCx \Cx deducimos que CCx \Cx =
Cx ) Cx CCx , pero ya teniamos CCx Cx .
Corolario 6.3.4. Sea X l.c.c, entonces
X conexo , X es conexo por caminos.
6.4. Espacios homeomorfos

Dijimos, cuando vimos continuidad, que dos espacios eran homeomorfos si
existe un homeomorfismo entre ellos, o sea, existe una funcion continua biyectiva
con inversa continua, ahora veremos como la conexion nos puede decir si dos
espacios no son homeomorfos.
Definicion 6.5. Sea (X , ) un e.t. y sea A X , decimos que A es un desconec-
tor de X si X A = A{ no es conexo. Se dice que un desconector es minimal
si ningun subconjunto propio es desconector.
El conjunto {(0, y) : y 2 R2 } es un desconector minimal de R2 , basta con
quitarle un punto a esta recta para que el complemento sea conexo. Si tenemos
una funcion f : X ! Y continua y sobreyectiva la preimagen por f de un
desconector de Y es un desconector de X .
Demostracion. Sea A un desconector de Y ) f 1 (Y A) no es conexo porque
si lo fuera f f 1 (Y A) tambien lo seria. Entonces f 1 (A) es un desconector
de X .
Queremos averiguar si la circunferencia S 1 es homeomorfa al intervalo [0, 1],
supongamos que lo fuera, entonces existe un homemorfismo ' : S 1 ! [0, 1],
entonces, x 2 (0, 1) es un desconector de [0, 1] ) ' 1 (x) es un desconector de
S 1 , pero si eliminamos un punto de la circunferencia esta sigue siendo conexa,
entonces ' 1 (x) es mas de un punto, entonces ' no es un homeomorfismo.
Proposicion 6.4.1. Sea f : M ! N continua, entonces f (M ) tiene, a lo
sumo, la misma cantidad de componentes conexas que M .
Esta proposicion nos da otra forma de ver si dos espacios no son homeomor-
fos. Si tienen distinta cantidad de componentes conexas entonces no pueden ser
homemomorfos.
Captulo 7
Espacios metricos
completos
Definicion 7.1. Una sucesion {xn } en un espacio metrico (E, d) es de Cauchy

, dado " > 0 9n0 / 8n, m n0 d(xm , xn ) < ".
Observacion.
1. Toda sucesion convergente es de Cauchy.
Demostracion. Si xn ! x, dado " > 0 sea n0 / d(xn , x) < " ) si n, m

n0 ) d(xn , xm ) d(xn , x) + d(x, xm ) < "/2 + "/2 = "
2. Una sucesion de Cauchy que tiene una subsucesion convergente, es con-

vergente.
Demostracion. Sea xnk convergente a x y sea " > 0 ) sea n0 tal que
d(xn , xm ) < "/2 y sea k0 tal que 8k > k0 nk n0 y d(xnk , x) < "/2 )
d(xn , x) d(xn , xnk )+d(xnk , x) < "/2+"/2 = " entonces xn converge a x.
Definicion 7.2. Un espacio metrico es completo si toda sucesion de Cauchy es

convergente.
Proposicion 7.0.2. (E, d) es completo y F E es cerrado ) F completo.
Demostracion. Sea {xn } una sucesion de Cauchy contenida en F , entonces como

E es completo 9x tal que xn converge a x, pero como {xn } F x 2 F = F ,
entonces F completo.
Proposicion 7.0.3. Sea (E, d) un e.m.; F E completo, entonces F cerrado.
Demostracion. Sea {xn } F una sucesion convergente a x, entonces {xn } es
de Cauchy, entonces, como F es completo x 2 F , entonces F cerrado.
49
CAPITULO 7. ESPACIOS METRICOS COMPLETOS 50
Proposicion 7.0.4. (E, d) e.m. {xn } E de Cauchy entonces esta acotada.

Demostracion. Sea n0 / d(xn , xm ) < 1 8n, m n0 y sea M = max{d(xn , xm )
con n, m n0 } ) si i < n0 y j n0 d(xi , xj ) d(xi , xn0 ) + d(xn0 , xj )
M + 1 ) d(xn , xm ) M + 1 8n, m.
Proposicion 7.0.5. Sean E y F espacios metricos, f : E ! F uniformemente
continua, {xn } E de Cauchy ) {f (xn )} F de Cauchy.
Demostracion. Dado " > 0 9 > 0 / si d(xn , xm ) < ) d(f (xn ), f (xm )) < "
entonces, como 9n0 tal que 8n, m n0 d(xn , xm ) < tenemos probada la
proposicion.
Proposicion 7.0.6. E y F espacios metricos, f : E ! F continua, biyectiva

con inversa uniformemente continua, si E es completo ) F es completo.
Demostracion. Sea {xn } una sucesion de Cauchy en F , entonces {f 1 (xn )} es
de Cauchy en E. Como E es completo tenemos que {f 1 (xn )} converge a x,
entonces como f es continua xn = f f 1 (xn ) converge a f (x), entonces F
completo.
Proposicion 7.0.7. E, F espacios metricos completos , E F completo con
d1 , d2 , d1 .
Demostracion. x 2 E F ) B"d1 (x) B"d1 (x) B2" d1
(x), ademas B"d2 (x)
d1 d
B" (x) Bp2" (x) ) las funciones Id : (E f, d1 ) ! (E F, di ) con i = 1, 2
2
son uniformemente continuas, biyectivas y con inversa uniformemente continua,

entonces (E F, d ) completo , (E F, d1 ).
Supongamos E F completo ) sea {xn } 2 E de Cauchy y sea y 2 F , en-

tonces {(xn , y)} es de Cauchy en E F , entonces converge a (x, y), entonces xn
converge a x ) E completo. Analogo para F .
Si E y F son completos ) sea {(xn , yn )} de Cauchy en (EF, d1 ) ) d(xn , xm )

d((xn , yn ), (xm , ym )) < " ) {xn } de Cauchy en E entonces xn converge a x.
Analogamente yn de Cauchy en F entonces yn converge a y ) (xn , yn ) converge
a (x, y) ) E F completo.
Ejemplo. Sean E, F espacios metricos con F completo, ) F(E, F ) = {f : E !
F acotadas} con d1 (f, g) = sup{d(f (x), g(x))} es completo.
Demostracion. Sea {fn } F de Cauchy ) 9n0 tal que dado " > 0 d(fn (x), fm (x)) <
" 8x 2 E ) {fn (x)} de Cauchy en F para todo x 2 E, entonces como F es
completo {fn (x)} converge a cierto f (x), este es nuestro candidato a lmite,
vamos a probar que la funcion f que lleva x 7! f (x) pertenece a F, o sea que
sup{d(f (x), f (y))} es finito.
Como {fn } 2 F d(fn (x), fn (y)) < Mn 8x, y 2 E, ademas como fn de Cauchy
tenemos que d(fn (x), fm (y)) < K 8x 2 E 8n, m, entonces
d(f (x), f (y)) = lm d(fn (x), fn (y)) < 2K + M1

n
ya que d(fn (x), fn (y)) d(fn (x), f1 (x)) + d(f1 (x), f1 (y)) + d(f1 (y), fn (y))
2K + M1 .
fn converge a f en F:
d(fn (x), f (x)) = lm d(fn (x), fm (x)) 8n

m
Dado " > 0 sea n0 tal que 8n, m > n0 d1 (fn , fm ) < "/2, entonces si n
n0 d(fn (x), fm (x)) d1 (fn , fm ) "/2 8m > n0 8x 2 E )
lm d(fn (x), fm (x)) "/2 < " 8x )

m
d(fn (x), f (x)) "/2 < " 8x ) d1 (fn , f ) < "

Entonces F es completo.
Corolario 7.0.8. C(E, F ) = {f : E ! F continuas} es completo.
Demostracion. C(E, F ) F es cerrado con d1 (f, g) = sup{d(f (x), g(x))} y
F(E, F ) es completo.
Proposicion 7.0.9. Sean M y N espacios metricos , N completo, X M
denso y f : X ! N uniformemente continua ) existe una unica extencion
continua de f a M que llamaremos fe, ademas fe es uniformemente continua y
si f es una inmersion isometrica fe tambien lo es.
Demostracion. Dado m 2 M sea {xn } X convergente a m, entonces si ex-
istiera una extencion continua tendria que verificar que fe(m) = lmn fe(xn ) =
lmn f (xn ) entonces si existiera sera unica.
f (xn ) converge :
Como {xn } converge es de Cauchy, entonces , como f es uniformemente contin-
ua, {f (xn )} es de Cauchy, entonces, como N es completo, f (xn ) converge.
Si yn converge a m ) lm f (yn ) = lm f (xn ):

Sea " > 0 y sea > 0 tal que si d(x, y) < ) d(f (x), f (y)) < ". Sea en-
tonces n0 tal que d(xn , m) < /2 d(yn , m) < /2 8n > n0 ) d(xn , yn )
) d(f (xn ), f (yn )) " ) lm d(f (xn ), f (yn )) " 8n > n0 ) lm f (xn ) =
lm f (yn ).
Entonces defino fe : M ! N donde fe(m) = lm f (xn ) con {xn } X conver-
gente a m.
fe es uniformemente continua:
Dado " > 0 sea > 0 tal que si d(x, y) < ) d(f (x), f (y)) < ", si m0 , m1 2 M
son tales que d(m0 , m1 ) < /3, sean {xn } y {yn } contenidas en X y con-
vergentes a m0 y a m1 respectivamente, sea n0 tal que d(xn , m0 ) < /3 y
d(yn , m1 ) < /3 8n n0 )
d(xn , yn ) d(xn , m0 ) + d(m0 , m1 ) + d(m1 , yn ) < ) d(f (xn ), f (yn )) < "
) d(fe(m0 ), fe(m1 )) = lm d(f (xn ), f (yn )) < ".

Si f es una inmersion isometrica, sean m0 , m1 2 M y {xn } y {yn } contenidas en
X y convergentes a m0 y a m1 respectivamente )
d(fe(m0 ), fe(m1 )) = lm d(f (xn ), f (yn )) = lm d(xn , yn ) = d(m0 , m1 )
Entonces fe es una inmersion isometrica.

En general se tiene que f (X) fe(M ) f (X).
Definicion 7.3. Sea M un espacio metrico. Una completacion de M es un par
(Mc, i) donde M
c es completo e i : M ! M c con i(M ) = Mc es una imersion
isometrica.
Proposicion 7.0.10. M, N espacios metricos con N completo, sea f : M !
c, i) una completacion de M ) 9! fe : M
N uniformemente continua y sea (M c !
N que conmuta el diagrama
M
f
- N

i
fe
?
c
M
o sea que i fe = f . ademas, si f es una inmersion isometrica, entonces, fe

tambien lo es y fe M
c = f (M ).
Demostracion. Sean X = i(M ) M c y f0 : X ! N tal que f0 = f i 1 , co-

mo f es uniformemente continua e i 1 tambien, f0 es uniformemente continua,
ademas, como X = M c 9! fe extencion continua de f0 que ademas es uniforme-

mente continua, ) si m 2 M fe i (m) = fe(i(m)) = (f i 1 )(i(m)) = f (m) )
el diagrama conmuta. ademas, si f es una inmersion isometrica f0 tambien lo
es y, por tanto, fe tambien lo es.
fe(Mc) es cerrado :
Sea fe(mk ) convergente a y 2 N ) mk es de Cauchy porque f es una inmer-
c es completo, entonces
sion isometrica, entonces converge a cierto x porque M
f (x) = y, entonces y 2 fe(Mc).
Entonces como f (M ) = (f i 1 )(X) fe(M c) (f i 1 )(X) = f (M ) y fe(M
c)
e c
es cerrado tenemos que f (M ) = f (M ).
Proposicion 7.0.11. Sean (M c1 , i1 ) y (Mc2 , i2 ) dos completaciones del espacio

metrico (M, d), entonces existe una isometra j : M c1 ! M c2 que conmuta el
diagrama
M
i2
- M c2
i1

j
?
c
M1
Demostracion. Por la proposicion anterior, tomando f = i2 , N = M2 tenemos

que j = fe y ademas j(Mc1 ) = i2 (M ) = Mc2 , entonces j es una isometra que
conmuta el diagrama.
Teorema 7.0.12. Todo espacio metrico tiene una completacion.
Demostracion. Sea M un e.m., vamos a dar una inmersion isometrica
i: M !
F(M, R) que es completo porque R es completo. Entonces i(M ), i es una
completacion porque i(M ) es cerrado en un completo. Sea m0 2 M ) si
m 2 M i(m) : M ! R dada por i(m)(x) = d(x, m) d(x, m0 ).
i(m) 2 F(M, R):
d(i(m)(x), i(m)(y)) = |i(m)(x) i(m)(y)| = |d(x, m) d(x, m0 ) d(y, m)+
+d(y, m0 )| |d(x, m) d(x, m0 )| + |d(y, m0 ) d(y, m)| 2d(m, m0 ) 8x, y.

i es una inmersion isometrica :
d(i(m), i(n)) = sup{d(i(m)(x), i(n)(x))} =
= sup {|d(x, m) d(x, m0 ) + d(x, m0 ) d(x, n)|} =

= sup{|d(x, m) d(x, n)|} d(m, n)
pero tomando x = n tenemos que |d(x, m) d(x, n)| = d(m, n) ) sup{|d(x, m)
d(x, n)|} = d(m, n).
) d(i(m), i(n)) = d(m, n) ) i(M ), i es una completacion.
Definicion 7.4.
1. Sea M un espacio metrico y f : M ! M . x 2 M es un punto fijo de f si
f (x) = x,
2. f es una contraccion si 9c 2 [0, 1) / d(f (x), f (y)) cd(x, y) 8x, y 2 M .
3. Un punto a 2 M es atractor si 8x 2 M se tiene que f n (x) converge a a,
entendiendo el producto como composicion.
Observacion. Una contraccion es uniformemente continua.

Teorema 7.0.13 (De la contraccion o del punto fijo). Si M es un espacio

metrico completo y f : M ! M es una contraccion, existe un unico punto fijo
que ademas es atractor.
Demostracion. Sea x 2 M ) d(f 2 (x), f (x)) < c d(f (x), x), mas en general
d(f n+1 (x), f n (x)) < cn d(f (x), x), incluso mas general, sean m, n 2 N con
m > n =)
m
X1 m
X1
d(f m (x), f n (x)) d(f k (x), f k+1 (x)) < ck d(f (x), x) =
k=n k=n
m
X1 1
X 1
X
n
= d(f (x), x) ck < d(f (x), x) ck ! 0 pues ck converge con c 2 (0, 1)
k=n k=n k=1
Entonces vimos que dado " > 0 9n0 / 8n, m > n0 d(f m (x), f n (x)) < " de lo
que se deduce que {f n (x)}n2N es de Cauchy, y como el espacio es completo,
{f n (x)}n2N es convergente a un cierto a 2 M . Entonces se tiene que f n (x)
converge a a y f n+1 (x) = f (f n (x)) converge a f (a) porque f es continua, pero
como {f n (x)}n2N = f n+1 (x) n2N f (a) = a.
Supongamos que 9 otro punto fijo b ) d(a, b) = d(f (a), f (b)) < c d(a, b)
con c 2 (0, 1), que es absurdo, por lo tanto hay un unico punto fijo.
Proposicion 7.0.14. Sea M un espacio metrico completo y f una contraccion,
d(a,f (a))
para cualquier a 2 M tomamos r 1 c , entonces f (Br (a)) Br (a), en
particular el punto fijo esta dentro de esta.
Demostracion. Si x 2 Br (a) )
d(f (x), a) d(f (x), f (a)) + d(f (a), a) cd(x, a) + r(1 c) cr + (1 c)r < r
Teorema 7.0.15 (De Cantor). M es un espacio metrico completo siiT dados

cerrados no vacos Fn M / Fn Fn 1 y diamn Fn ! 0 9a 2 M / Fn =
{a}.
Demostracion. ()) Si M es completo, sea Fn una sucesion de cerrados tales
n
que Fn Fn 1 y diam(Fn ) ! 0, sea entonces {xn } tal que xn 2 Fn y
sea " > 0 ) 9n0 tal que 8n n0 diam(Fn ) < " ) si m, n n0 entonces
xn 2 Fn y xm 2 Fm , podemos suponer Fn Fm , entonces xn y xm 2 Fm y
d(xn , xm ) diam(Fm ) < " ) {xn } es de Cauchy, entonces xn converge a cierto
a.
T
Fn = a:
Dada B" (a) 9n0 tal que
T 8n n0 Txn 2 B" (a) ) B" (a) \ Fn 6= ; 8" y 8n n0 )
a 2 Fn = Fn ) a 2 Fn . Si b 2 Fn ) d(a, b) diam(Fn ) ! 0 ) a = b.
(() Sea {xn } de Cauchy, sea Fn = {xk : k n}, entonces Fn Fn 1 .

diam(Fn ) ! 0:
Dado " > 0 sea n0 tal que d(xn , xm ) < "/3 8n, m n0 ) sean a, b 2 Fn con
n n0 , sean xk y xj tales que d(a, xk ) < "/3 y d(b, xj ) < "/3 )
d(a, b) d(a, xn ) + d(xn , xm ) + d(xm , b) < "/3 + "/3 + "/3 = " 8a, b 2 Fn
) diam(F
Tn ) < " ) diam(Fn ) ! 0.
Sea a = Fn , entonces dado " > 0 sea n0 tal que diam(Fn ) < " 8n > n0 ) si
xn 2 Fn d(a, xn ) diam(Fn ) ! 0 ) xn converge a a.
Teorema 7.0.16 (De Baire). Sea MT completo y sea {Un }n2N una familia
numerable de abiertos densos en M ) Un es denso.
T
Demostracion. Alcanza con probar que Un \ Br (x) 6= ;8x 2 M con r > 0,
para esto, sea B1 = Br (x), como U1 es denso tenemos que U1 \ B1 6= ; )
9x2 2 U1 \ B1 , y como U1 es abierto 9" > 0 / B" (x2 ) U1 \ B1 ) sea "2 =
mn{1/2, "/2} ) B"2 (x2 ) B" (x2 ) U1 \ B1 , sea entonces B2 = B"2 (x2 ) )
B2 U1 \ B1 B1 . Como U2 es denso, tenemos que 9x3 2 U2 \ B2 )
analogamente 9" < 1/3 y B3 = B"3 (x3 ) tales que B3 U2 \ B2 B2 .
Obtubimos as {xn } y "n / si Bn = B"Tn (xn ) ) Bn Un 1 \ Bn 1 Bn 1 )
Bn Bn 1 yTdiam(Bn ) < 2/n ! 0 ) Bn = {a} ) 8nTa 2 Bn+1 Un \B Tn
Bn ) a 2 Un y a 2 B2 U1 \ B1 B1 ) a 2 Un \ Br (x) ) Un
denso.
Definicion 7.5. Sea M un e.t. y sea X M, decimos que X es nunca denso
si X= ;, X es magro si es union numerable de conjuntos nunca densos.
Proposicion 7.0.17. Sea (X , ) un e.t.
{
1. Si A X A = A{ ,
2. A nunca denso en X , A{ es denso en X ,

3. A cerrado, A es nunca denso , A{ denso.
Demostracion.
1. Ya esta probado.
{ {
2. Sea B = A , entonces A nunca denso , A= ; , B { = ; , B = ; ,
B = X , A{ = X , A{ denso en X ,
3. A cerrado, entonces A nunca denso , A{ denso , A{ denso.

Proposicion 7.0.18. M un e.m. completo, A magro en M ) A= ;.

S
Demostracion. A = An con An nunca densos ) si An cerrado 8n ) A{n
T T
abierto y denso en M 8n ) por Baire A{n denso en M ) A{ = A{n = M )
{
A{ = ; ) A= ;.
S
En general A = An con An nunca densos ) An nunca denso porque A= A=
S
;, sea B = An ) An B = ;.
Ejemplo. Existe x 2 R tal que (C + x) \ Q = ;, o sea, existe un real x tal que
el conjunto de Cantor trasladado x no contiene ningun racional.
Demostracion. El teorema de Baire nos dice que la interseccion numerable de

abiertos densos es denso, o sea que la union numerable de cerrados con interior
vaco tiene interior vaco. C + q con q 2 Q es un cerrado con interior vaco, en-
tonces si cualquier real lo pudieramos obtener como C + q con q 2 Q tendramos
que [
R= C +q
q2Q
entonces R sera magro, absurdo.

Corolario 7.0.19. Si M es un e.m. completo, no es magro en si mismo.
Ejemplo. C es magro en R pero no es magro en si mismo.
Captulo 8
Espacios compactos
8.1. Definiciones
Definicion 8.1. Un espacio topologico X es compacto si cualquier cubrimiento
por abiertos admite un subcubrimiento finito. Y X es compacto si lo es con
la topologa relativa.
Ejemplos.
1. X infinito con la topologa de los complementos finitos es compacto.
Demostracion. Sea {U } un cubrimiento por abiertos, sea U0 , entonces

U{0 = {a1 , . . . , an } finito ) sea Ui tal que ai 2 Ui ) {Ui } para
i = 0, 1 . . . n es un subcubrimiento finito.
2. (R, ) donde A 2 si A = ; o 0 2 A no es compacto ya que el cubrimiento

{{0, x} : x 2 R} no admite un subcubrimiento finito.
3. Teorema de Heire Borel, este teorema estimula la definicion de com-
pacidad.Todo cubrimiento abierto de un conjunto cerrado y acotado de R
admite un subcubrimiento finito.
Demostracion. Probaremos algo mas humilde, probaremos que [a, b]S R

es compacto. Sea {U } una familia de abiertos de R tal que [a, b] U ,
sea ( )
[
S = x 2 [a, b] / [a, x] U con F finito
2F
) S 6= ; ya que a S 2 S, ademas S acotado

S por b ) S tiene extremo
superior c ) [a, c] 2F U ) [a, c+"] 2F U [U0 contradiciendo
el
S hecho de que c era extremo superior, entonces c = b ) [a, b ] =
2F U con F finito pero como 9Uj tal que (b , b] Uj tenemos
que b 2 S ) [a, b] compacto.
57
CAPITULO 8. ESPACIOS COMPACTOS 58
Proposicion 8.1.1. Sea (X , ) un e.t. compacto, y sea Y X cerrado ) Y

compacto.
Demostracion. Sea {U } un cubrimiento abierto de Y , entonces {U } [ Y { es
un cubrimiento abierto de X , entonces tiene un subcubrimiento finito
{U1 , . . . , Un } [ Y {
(Y { no necesariamente tiene que formar parte del subcubrimiento) )

{U1 , . . . , Un } cubre Y y es un subcubrimiento de {U }, por tanto Y compacto.
Ejemplo. A R cerrado y acotado ) A compacto.

Demostracion. A [a, b] y A cerrado.
Proposicion 8.1.2. Sea (X , ) un e.t. de Hausdorff y sea Y X compacto
) Y cerrado.
Demostracion. Sea a 2 / Y ) dado x 2 Y 9Vx 2 Nx y Ux 2 Na tal que
Vx \ Ux = ;, podemos supner que Vx y Ux son abiertos ya que cada uno de
ellos contiene un abierto. Entonces {Vx }x2Y es un cubrimiento abierto T de Y )
como
T Y compacto
S tiene un
T subcubrimientoT finito {V x1 , . . . , V xk } ) Uxi 2 Na
y Uxi \ Vxi = ; ) Uxi \ Y = ; ) Uxi 2 Y { ) Y cerrado. En relidad
probamos algo mas general:
Si X es un espacio de Hausdor, Y X compacto y a 2

/ Y ) existen U y
V abiertos disjuntos tales que a 2 U y Y V .
Corolario 8.1.3. Sea (X , ) un e.t. compacto y de Hausdorff, entonces dado
Y X cerrado y x 2 / Y existen U y V abiertos disjuntos tales que Y U y
x 2 V , en otras palabras X es un espacio regular.
Demostracion. Como X es compacto e Y es cerrado tenemos que Y es com-
pacto, ahora, como X es de Hausdor, vale el resultado general probado en la
proposicion anterior.
Proposicion 8.1.4. Si X es un espacio topologico compacto de Hausdorff todo
punto tiene una base de entornos cerrados.
Demostracion. Sea x 2 X y sea U 2 Nx , entonces existe A abierto tal que
x 2 A U ) A{ cerrado, entonces, como X es de Hausdorff existen V0 y V1
abiertos disjuntos tales que x 2 V0 y A{ V1 ) V0 A ) existe V = V0 2 Nx
cerrado contenido en U .
Ejemplos.
1. R con la topologa A 2 si A = ; o 0 2 A ) {0} es compacto pero no es
cerrado.
2. A R compacto , A cerrado y acotado.
Demostracion. (() Hecho.

()) A compacto ) A cerrado pues R es de Hausdorff y es acotado porque
{( n, n) : n 2 N} es un cubrimiento.
Definicion 8.2. Sean X un conjunto y {S }2I una familia de subconjuntos de
X , se dice que {S } tiene la propiedad de interseccion finita (PIF) si cualquier
interseccion de una cantidad finita de ellos es no vacia, o sea
\
S 6= ; con F I finito
2F
Proposicion 8.1.5. Sea (X , ) un e.t. )

\
X compacto , 8{F } familia de cerrados con PIF se tiene que F 6= ;

Demostracion. Supongamos que X es compacto y sea {Fn } una o familia de cerra-

T S
dos con PIF, supongamos F = ; ) F{ = X ) F{ es un cubrimiento
n o
abierto de X ) tiene un subcubrimiento finito F{1 , . . . , F{n )
n
[ n
\
F{i = X ) Fi = ;
i=1 1
T
) {F } no cumple PIF, absurdo ) F 6= ;.
S
Para demostrar el reciproco
n o tomemos un cubrimiento abierto {U } ) U =
T T
X ) U{ = ; ) U{ es una familia de cerrados que no verifica U{ 6= ;
n o
entonces tampoco verifica la PIF, entonces existen U{1 , . . . , U{n tales que
n
\ n
[
U{i = ; ) Ui = X
i i
Entonces X es compacto.
T
Ejemplo. X = R Sx = [x, +1), entonces {Sx } tiene la PIF y Sx = ;.
Proposicion 8.1.6. La imagen de un espacio compacto por una funcion con-
tinua es compacta.
Demostracion. Sean X un espacio topologico compacto e Y un espacio topologi-
co y sea f : X ! Y continua. Sea entonces {U } un cubrimiento por abiertos
de f (X ) ) {f 1 (U )} es un cubrimiento abierto de X porque f es continua,
entonces tiene un subcubrimiento finito {f 1 (Ui )} con i = 1, . . . n.
Entonces {Ui } subcubrimiento de f (X ):

Sea y 2 f (X ) )Sy sea x 2 X tal que f (x) = y ) x 2 f 1
(Ui ) ) y = f (x) 2
Ui ) f (X ) Ui .
Corolario 8.1.7. X un e.t. compacto e Y de Hausdorff , f : X ! Y continua

) f es cerrada.
Demostracion. Ejercicio.
Lema 8.1.8 (Alexander). Sea (X , ) un e.t. y sea S una subbase de , si todo
cubrimiento de X por abiertos de S admite un subcubrimiento finito ) X es
compacto.
Demostracion. Supongamos que X no es compacto, entonces hay que encontrar
un cubrimiento por abiertos de le subbase S que no tenga un subcubrimiento
finito.
Sea F la familia de cubrimientos que no tiene subcubrimiento finito, sabemos

que no es vacia porque X no es compacto, ordenamos F con la inclucion, o sea
A, B 2 F A B si A B.
Toda cadena {A } en F esta acotada:

[
A A 8
S
entonces, si A tuviera un subcubrimiento finito {A1 , . . . ,SAn } con Ai Ai
para algun i ) sea A0 = max{Ai } ) Ai 2 A0 y Ai = X ) A0
tiene un subcubrimiento finito, absurdo porque A0 2 F ) por lema de Zorn
9 un elemento maximal M de F. Sea A 2 , A 2 / M , 9M1 , . . . , Mn 2 M /
X = A [ M 1 [ . . . [ Mn :
()) Si A 2
/ M ) {A} [ M M ) como M es un elemento maximal de F
tenemos que {A} [ M 2 / F ) tiene un subcubrimiento finito ) 9M1 , . . . , Mn
/ X = A [ M1 [ . . . [ Mn .
(() Si X = A [ M1 [ . . . [ Mn ) A 2
/ M porque si estuviera M tendra un
subcubrimiento finito.
(a) Sean A, B 2 / A B, si A 2
/M)B2 /M:
A2 / M ) X = A [ M1 [ . . . [ Mn ) X = B [ M1 [ . . . [ Mn ) B 2
/ M.
(b) Sean A, B 2 , si A 2 / MyB 2/ M ) A\B 2
/ M: 9M1 , . . . , Mn , Mn+1 , . . . Mm
/ X = A [ M1 [ . . . [ Mn y X = B [ Mn+1 [ . . . [ Mm ) X = A \ B [ M1 [
. . . [ Mn [ Mn+1 [ . . . [ Mm .
Concluyendo la demostracion, sea x 2 X ) x 2 Mx para algun Mx 2 M )

(a)
9S1 , . . . Sn 2 S / x 2 S1 \ \ Sn Mx , como Mx 2 M ) S1 \ \ Sn 2
(b)
M ) Si 2 M para algun i ) para cada x 2 X 9Sx 2 S y Sx 2 M ) {Sx }x2X
es un cubrimiento por elementos de S que no tiene subcubrimiento finito.
Teorema 8.1.9 (de Tijonov). Sea {X } una familia de espacios topologicos

) Y
X es compacto , X compacto 8
2I
Demostracion. Si cada X es compacto, sea S = {p 1 (A) con A abierto de X }.

Por el lema de Alexander basta probar que si A es un cubrimiento por abiertos
de S entonces A tiene un subcubrimiento finito.
Si 2 I sea A = {A X / p 1 (A) 2 A} ) 90 tal que A0 es un
cubrimiento de X0 :
De lo contrario sea
[ Y
x 2 X A y sea x 2 X tal que x() = x 8
A2A
S
)x2 / U 2A U porque si x 2 U A ) U = p 1 (A) y p (x) 2 A ) x 2 A y
A A . Absurdo porque A es un cubrimiento.
Si A0 es un cubrimiento de X0 sea {A1 , . . . , An } un subcubrimiento finito

(A1 ), . . . , p01 (An )} A y es un subcubrimiento finito:
) {p01Q
Si x 2 X ) p0 (x) 2 Ai para algun i, es decir
n
[ Y
p01 (Ai ) = X
i=1
Q
Reciprocamente,
Q como X compacto y p es continua, tenemos que X =
p ( X ) es compacto.
Corolario 8.1.10. X Rn es compacto , es cerrado y acotado.
Demostracion. Si X es compacto es cerrado porque Rn esde Hausdorff, ademas
{Bn (0) : n 2 N} es un cubrimiento,
Q asi que esta acotado. Reciprocamente, si
X es acotado tenemos que X [ai , bi ] que es compacto por el teorema de
Tijonov, y como X es cerrado tenemos que X compacto.
Proposicion 8.1.11. Un espacio topologico (X , ) es compacto sii toda red en
X tiene un punto de aglomeracion.
Demostracion. Si X es compacto y {Td } es una red en X , para d 2 D definimos
Fd = {Te : e d}, entonces Fd es una familia de cerrados con la PIF:
Sean Fd1 , . . . , Fdn ) sea e 2 D tal que e di 8i = 1 . . . n ) Fe Fd1 \. . .\Fdn .
T T
Entonces, como X es compacto se tiene que Fd 6= ;, entoces, sea a 2 Fd )
dados V 2 Na y d0 tenemos que a 2 Fd0 ) V \ {Td : d d0 } 6= ; ) 9d d0
/ Td 2 V , entonces a es punto de aglomeracion de Td .
Supongamos ahora que toda red tiene un punto de aglomeracion. Sea {F } con
2 I una familia de cerrados con la PIF y sea D = {subconjuntos finitos de I}
ordenado
T con la inclucion. Consideremos la red Td donde T
si d = {1 , . . . n }Td 2
F
i i ) sea x un punto de aglomeracion de T d ) x 2 F :
Dado 2 I sea d0 = {} y V 2 Nx ) 9d d0 Td 2 V )
\
Td 2 V \ F V \ F ) x 2 F = F
2d
T
) x 2 F 8 2 I ) F 6= ; ) X compacto.
Corolario 8.1.12. X compacto , toda red tiene una subred convergente.
8.2. Espacios metricos y topologicos secuencial-

mente compactos
Definicion 8.3. Un e.t. es secuencialmente compacto sii toda sucesion tiene
una subsucesion convergente.
Ejemplo. Si X es N1 y compacto, entonces es secuencialmente compacto.
Demostracion. Sabemos que una sucesion {xn } tiene un punto de aglomeracion
a, sea {Vn } una sucesion decreciente de entornos de a, entonces dado k 2 N 9nk
/ xnk 2 Vnk ) dado U 2 Na sea k0 / Vk0 U ) si k k0
xnk 2 Vnk Vnk0 U
Corolario 8.2.1. Si X es un espacio metrico compacto, es completo.

Demostracion. Sea {xn } una sucesion de Cauchy, entonces como X es compacto
{xn } tiene una subsucesion convergente, pero como es de Cauchy ella misma es
convergente, entonces X es completo.
Proposicion 8.2.2. Si (X , ) es secuancialmente compacto y N2 es compacto.
Demostracion. Si (X , ) es N2 y no es compacto, sea {U } un cubrimiento
sin subcubrimiento finito. Como (X , ) es N2 tenemos que es de Lindelof, en-
tonces tiene un subcubrimiento numerable {Un } que tampoco tiene subcubrim-
Sn
iento finito. Sea x1 2
/ U1 ) 9n1 tal que x1 2 Un1 , Ssea A1 = 1 1 Ui )
n2
A1 6= X ) 9xS 2 2/ A1 , sea n2 / x2 2 Un2 ) A2 = 1 Ui 6= X . En gen-
n
eral, si Ak = 1 k Ui 6= X existen xk+1 y nk+1 tales que xk+1 2 Uk+1 y
xk+1 2 / Ak . Creamos as dos sucesiones {xk } y {nk } esrictamente creciente
Sk 1
tal que xk 2 Unk+1 y xk 2 / Ak 1 = 1 Ui .
{xk } no tiene ningun punto de acumulacion:

Sea x 2 X ) x 2 Ui para algun i ) sea k0 tal que nk0 1 i < nk0 ) si k >
k0 xk 2
/ Ak 1 ) xk 2 / Ak0 ) xk 2/ Ui , entonces, Ui 2 Nx y xk 2
/ Ui 8k > k0 ) x
no es punto de aglomeracion de {xk }, entonces no tiene ninguna subsucesion
convergnete, absurdo.
Definicion 8.4. Sea (X , ) un e.t. decimos que tiene la propiedad de Bolzano-

Weierstras si todo conjunto infinito tiene un punto de acumulacion.
Proposicion 8.2.3. Sea (X , ) un e.t. )
1. (X , ) es secuencialmente compacto ) verifica Bolzano-Weierstras.
2. Si verifica Bolzano-Weierstras, es T1 y N1 es secuencialmente compacto.
Demostracion.
1 Sea A X infinito, sea entonces {xn } A tal que xn 6= xm si n 6= m sabemos
que existe porque A tiene un subconjunto numerable ) xn tiene un punto de
aglomeracion x. Sea V 2 Nx ) 9n0 tal que si n > n0 xn 2 A \ V , pero como
xn 6= x tenemos que A \ V {x} = 6 ; entonces x es punto de acumulacion de A.
2 Sea {xn } una sucsesion, si {xn } es finito hay alguna subsucesion constante y,
por lo tanto, convergente. Si {xn } es infinito tiene un punto de acumulacion
x. Como X es N1 tenemos que tiene una base local numerable, sea {Uk } esa
sucesion de entornos decreciente, entonces dado k0 sabemos que si k > k0 Uk
Uk0 y {xn } \ Uk {x} = 6 ;, sea entonces la subsucesion xnk 2 {xn } \ Uk {x} )
xnk converge a x, ya que dado U 2 Nx 9k0 tal que si k > k0 Uk Uk0 U )
xnk 2 Uk Uk0 U 8k > k0 .
Proposicion 8.2.4. Si (E, d) es un espacio metrico secuencialmente compacto
es separable.
Demostracion. Si E tiene un solo punto vale. Supongamos #E > 1, si n 2 N
sea En = {A E / d(x, y) 1/n si x, y 2 A y x 6= y} ) 9n0 tal que
En 6= ; 8n > n0 :
Sean x, y 2 E distintos tales que 1/n0 < d(x, y) ) 1/n d(x, y) si n n0 )
{x, y} 2 En 8n n0 . Ordenamos En con la inclucion ) En esta en las hipotesis
del lema de Zorn: S S
Sea {A } una cadena en En , A 2 En ya que si x, y 2 A , x 2 A1 e
y 2 A2 ) x, y 2 max{A1 , A2 } 2 En ) d(x, y) 1/n.
Entonces En tiene un elemento maximal Mn 8n n0 , ademas Mn es fini-

to:
Si fuera infinito, como E es secuencialmente compacto, contendria una sucsesion
convergente no constante, pero d(x, y) 1/n, absurdo.
Sea
1
[
M= Mn
n0
) M es numerable , ademas M = E:
Sea " > 0 y sea x 2 E ) si x 2 Mn para algun n, entonces x 2 M ) x 2 M . Si
x2/ Mn 8n n0 sea n n0 tal que 1/n < " ) Mn Mn [ {x} ) como Mn es
maximal Mn [ {x} 2 / En ) 9y 2 Mn / d(x, y) < 1/n < " ) y 2 B" (x) \ M .
Teorema 8.2.5. Sea (E, d) un espacio metrico, entonces, las siguientes afir-
maciones son equivalentes.
1. E es compacto,
2. E es secuencialmente compacto,
3. E verifica Bolzano-Weierstras.
Demostracion.
1 !2 Como E es N1 por ser un espacio metrico tenemos, por el ejemplo 8.2,
que es compacto.
2 !3 Ya esta probado.
3 !1 Como E es un e.m. E es T1 y N1 , como ademas verifica Bolzano-
Weierstrass tenemos que E es secuencialmente compacto, como ademas es N2 ,
tenemos que es compacto.
8.3. Espacios localmente compactos

Un espacio es localmente compacto si es de Hausdor y todo punto tiene
un entorno compacto. Tenemos as que R es localmente compacto pero Q no
porque un subconjunto de Q compacto tiene que ser completo. Z es localmente
compacto ya que un punto es un entorno de si mismo. Como Z y Q son nu-
merables existe una funcion biyectiva entre ellos, ademas la topologa de Z es
la discreta as que culaquier funcion con diminio Z es continua. Encontramos
as una funcion continua y biyectiva de un espacio localmente compacto en uno
que no lo es.
Proposicion 8.3.1. Si un espacio es localmente compacto entonces tiene una
base de entornos compactos.
Lo interesante de esta proposicion es que basta pedir que un entorno sea
compacto para encontar una base de entornos compactos, cosa que no pasaba
en espacios localmente conexos.
Demostracion. Sea x 2 X y sea U 2 Nx compacto. Consideremos el subespacio
topologico U , tenemos que este subespacio es compacto y de Hausdorff, entonces
tenemos una base de x de entornos cerrados, pero como U es compacto estos
entornos son compactos en U y, por tanto, compactos en X , encontramos de
esta forma una base de entornos compactos.
Proposicion 8.3.2. El producto finito de espacios localmente compactos es
localmente compacto.
Demostracion. Ya sabemos que el producto de una cantidad cualquiera de es-
pacios de Hausdor es de Hausdor. Sea
n
Y
x2 Xi
i=1
con Xi localmente compacto 8i entonces existe Ui 2 Nx(i) compacto 8i = . . . n,

entonces
Yn
Ui es compacto
1
Q
pero como es un producto finito tenemos que Ui 2 Nx .
Ejemplo. RN = {{xn } 2 R 8n 2 N} no es localmente compacto.
Captulo 9
Espacio cociente
Definicion 9.1. Sea {X } una familia de espacios topologicos y sea Y un

conjunto, f : X ! Y para cada . La topologa final en Y es
= {A Y tal que f 1 (A) abiero en X 8}
Observacion. La topologa final es la mayor topologa que hace a f continua.

Definicion 9.2. Sea (X , ) un e.t. y sea una relacion de equivalencia en
X , X / es el espacio cociente, sea : X ! X / tal que (x) = [x] . La
topologa cociente X / es la topologa final respecto a .
Observacion. A X / , 1 (A) = A ya que dado a 2 A se tiene que a =
(x) ) x 2 1 (A) ) a 2 1 (A) . No es siempre cierto que 1 ((B)) =
B, en general se tiene que 1 ((B)) = {x 2 X / x b para algun b 2 B}.
Definicion 9.3. Se dice que B X es saturado si 1
((B)) = B, el saturado
de C X es 1 ((C)).
Observacion. B es saturado sii 1
(A) = B para algun A X / .
Demostracion. ()) B es saturado, entonces B = 1 ((B)).
(() Si B = 1 (A) ) (B) = 1 (A) = A ) 1 ((B)) = 1
(A) =
B ) B saturado.
En general, B saturado , si b 2 B y c b implica c 2 B.

Observacion.
{
1. A X / es cerrado , A{ abierto , 1
A{ es abierto , 1
(A)
es abierto , 1
(A) cerrado.
2. : X ! X / es continua y sobre ) si X es compacto X / = (X ) es
compacto. Analogamente si X es conexo.
3. A X / es abierto sii A = (B) donde B X es un abierto saturado.
66
CAPITULO 9. ESPACIO COCIENTE 67
Demostracion. Si A es abierto sea B = 1 (A) ) B es abierto y es satu-

rado por una observacion anterior y (B) = 1 (A) = A. Reciproca-
mente si A = (B) con B abierto y saturado ) 1 (A) = 1 ((B)) =
B abierto ) A abierto.
Definicion 9.4. Se dice que es abierta si es abierta y decimos que es
cerrada si es carrada.
Ejemplo. X = R, x y sii x y 2 Z, B R
1
((B)) = {b + n : b 2 B, n 2 Z}
B + n es homemorfo a B, por tanto, si B es abierto B + n es abierto entonces

[
1 ((B)) = B + n es abierto
n
Entonces es abierta.
B = {n + 1/n, n 2} es cerrado, 1 ((B)) = {n + 1/n + m, n 2, m 2 Z}.
Tomamos m = n ) {1/n} 1 ((B)) )
02 1 ((B)) 1
((B))
) 1
((B)) no es cerrado ) no es cerrada.
Observacion. es abierto (cerrada) si y solo si el saturado de un abierto (cer-
rado) es abierto (cerrado).
Demostracion. Sea B un abierto, entonces (B) es abierto , 1
((B)) es
abierto , el saturado de B es abierto.
Ejemplo. X = R x y si x = y o x, y 2 Z. Si B R, el saturado de B es

B si B \ Z = ;
sat(B) = 1 ((B)) =
B [ Z si B \ Z 6= ;
Si B es cerrado sat(B) = 1
((B)) es cerrado. Entonces cerrada.
Sea B = ( 21 , 12 ) ) sat(B) = 1
((B)) = ( 2 , 2)
1 1
[ Z que no es abierto,
entonces no es abierta.
R/ no es N1 :
Si {Un } es una base local de abiertos numerable decreciente de (0), entonces
1 (Un ) es abierto y Z 1 (Un ) ) 8n 9an 2 1 (Un ) / n < an < n + 1.
Entonces B = {an : n 2 N}{ es abierto y saturado pues Z B, entonces
(B) 2 N(0) pero Un no esta contenido en (B) 8n, absurdo; ( si (an ) 2
(B) ) 9b 2 B / b an , como an 2 / Z ) b = an y an 2/ B).
Proposicion 9.0.3. Sea f : X / ! Y, siendo X e Y espacios topologicos y
una relacion de equivalencia, entonces f continua sii f es continua.
Demostracion. Si f es continua f es continua porque tambien es continua.

1
Si f es continua sea U Y abierto ) 1 f 1 (U ) = (f ) (U ) es
abierto, f (U ) es abierto.
1
Proposicion 9.0.4 (Propiedad Universal del Cociente.). Sean X e Y dos

espacios topologicos, sea una relacion de equivalencia y sea f : X ! Y
continua tal que f (x) = f (y) si x y, entonces existe una unica funcion fb :
X / ! Y que conmuta el diagrama
X
f
- Y

? fb
X /
o sea f = fb , ademas fb es continua y f (X ) = fb(X / ).

Demostracion. Unicidad : Si existiera fb deberia ser fb([x] ) = fb (x) =
f (x) esto nos asegura la unicidad ) definamos fb : X / ! Y como fb([x] ) =
f (x), entonces como f (x) = f (y) si x y , fb esta bien definida, ademas fb es
continua porque fb = f que es continua, y como es sobreyectiva f (X ) =
fb(X / )
Ejemplos.
1. Sea I = [0, 1] y sea donde x y si x = y o {x, y} = {0, 1} ) I/ es
homeomorfo a S 1 .
Demostracion. Sea : I ! S 1 tal que (t) = e2it , si (t) = (s) )

e2it = e2is , s t 2 Z ) t = s o {t, s} = {0, 1} , t S, entonces
existe b : I/ ! S 1 continua tal que b = . Entonces si b ([t] ) =
b ([s] ) ) (t) = (s) ) t s ) [t] = [s] ) b inyectiva, y como
sobre b es sobre. b tiene dominio compacto e imagen de Hausdorff,
entonces b cerrada, entonces b es un homeomorfismo.
2. El toro n-dimensional. T n = Rn / con (x1 , . . . , xn ) (y1 , . . . , yn ) ,

xi yi 2 Z 8i, entonces
T n es homeomorfo a S 1 S 1
| {z }
n
Demostracion. Sea : Rn ! (S 1 )n tal que
(x1 , . . . , xn ) = (e2ix1 , . . . , e2ixn )
) (x) = (y) sii x y; b : Rn / ! (S 1 )n , con argumentos analogos

al anterior, ya que Rn / es compacto porque Rn / = ([0, 1]n ), obten-
emos el resultado.
3. J = [ 2 , 2]
1 1
en J 2 definimos la relacion de equivalencia (x, y) (x0 , y 0 ) ,
+
(x, y) = (x0 , y 0 ) o x = 2,
1
y = y 0 , entonces J 2 / es homeomorfo al
cilindro.
4. Cinta de Mobius. En J 2 definimos (x, y) (x, y) y ( 21 , y) ( 12 , y),
tenemos entonces que J 2 / es homeomorfo a la cinta de Mobius.
5. La botella de Klein. En J 2 definimos (x, y) (x, y), ( 21 , y) ( 12 , y) y
(y, 12 ) (y, 21 ), entonces J 2 / es homeomorfo a la botella de Klein.
Ejemplo. Espacio Proyectivo Real PRn = (Rn+1 {0})/ donde x y , x =
y para algun 2 R.
+
PRn es homeomorfo a S n /2 donde x 2 y , x = y.
Sea : Rn+1 {0} ! S n con (x) = kxk 1
x, paso a : Rn+1 {0} ! S n /2
h i + +
y
con (x) = kxk 1
x , entonces si (x) = (y) ) kxk 1
x = kyk ) x =
2 h i h i
kxk y y
kyk y ) x y. Si x y ) x = y ) (x) = k yk = | | kyk =
2 2
+ y
1 kyk = (y). Entonces (x) = (y) , x = y ) b : PRn ! S n es
2
inyectiva, continua y sobre, ademas PRn es compacto porque PRn = (S n ),
: Rn+1 {0} ! Rn+1 {0}/ , y ademas S n es de Hausdor ) b es un
homeomorfismo.
Indice alfabetico
abierto, 12 funcion
Axioma de eleccion, 4 uniformemente continua, 29
funcion continua, 27
base, 21
local, 24 homeomorfismo, 31
Bola, 12
botella de Klein, 69 interior, 16
cerrado, 14 Lema
cinta de Mobius, 69 de Alexander, 60
clausura, 19 de Zorn, 4
completacion, 52
componente conexa, 44 metrica relativa, 12
conjunto dirigido, 25 metricas
contraccion, 53 equivalentes, 14
convergencia, 24 magro, 55
cubrimiento, 23 maximal, 3
desconector, 48 numerable, 5
distancia, 11 nunca denso, 55
entorno, 16 propiedad de interseccion finita, 59

equipotente, 4 propiedad universal del cociente, 68
espacio punto
cociente, 2 aislado, 20
compacto, 57 de acumulacion, 20
conexos por caminos, 46 de aglomeracion, 27
localmente compacto, 64 red, 26
localmente conexo por caminos, 47 relacion, 2
localmente conexos, 44 de equivalencia, 2
metrico, 11 de orden, 2
metrico completo, 49
proyectivo, 69 saturado, 66
secuencialmente compacto, 62 subbase, 22
topologico de Hausdor, 18 subred, 27
topologco, 15 sucesion
espacios conexos, 40 de Cauchy, 49
70
INDICE ALFABETICO 71
Teorema
de Baire, 55
de Bolzano, 41
de Cantor, 5, 54
de Heire-Borel, 57
de la contraccion, 54
de Tijonov, 61
topologa, 15
cociente, 66
final, 66
inicial, 36
producto, 36
toro, 68

Topologia

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

Topologia

Cargado por

Copyright:

Formatos disponibles

Notas de topologa

7. Espacios metricos completos 49

En este captulo veremos un poco de numerabilidad, definiendo esta como la

Definicion 1.1. Una relacion en A es un subconjunto de A A.

Definicion 1.2 (Relacion de equivalencia). Sea A A, si (a, b) 2 lo

y el espacio cociente es A/ = {[a] : a 2 A}

Definicion 1.3 (Relacion de orden parcial). Sea una relacion en A,

Definicion 1.4. Sea (A, ) un conjunto ordenado, S A )

C = {{1}, {1, 2}, {1, 2, 3}, . . . {1 . . . n}, . . . }

es una cadena no acotada, pues si A fuera una cota ) A = N 2

Axioma de eleccion. Si A es una familia de conjuntos no vacos entonces

Supongamos que tenemos dos conjuntos finitos A y B, y queremos saber si

Definicion 1.9. #A #B si 9f : A ! B inyectiva.

(() Si : B ! A sobreyectiva para cada a 2 A definimos (a) 2 1

Teorema 1.0.4 (de Cantor). Sea X 6= ; ) #X < #P(X)

A infinito numerable si A infinito y #A = #N.

Demostracion. Con motivo de hacer mas facil de hacer la comprension de

De esta forma encontramos una biyeccion entre Z y N concluyendo que

2. Todo conjunto infinito tiene un subconjunto infinito numerable.

Demostracion. Sea A el conjunto infinito del que estamos hablando y sea

3. Si A es infinito y B es numerable entonces A es equipotente con A [ B.

Demostracion. Por la proposicion de Cantor-Bernstein, basta encontrar

entonces g es inyectiva, por tanto A y A [ B son equipotentes.

4. Todo conjunto infinito entra en biyeccion con algun subconjunto propio,

Demostracion. Como A es infinito contiene algun subconjunto infinito nu-

f : N ! A donde f (k) = mn{A {a1 , . . . , ak 1 }}

entonces f inyectiva ya que f (k) < f (k + 1), admeas es sobreyectiva:

Si a 2 A sea n = max{k / ak < a} entonces f (n) = mn{A {a1 , . . . , an 1 }} =a

Proposicion 1.0.7. A 6= ; ) A numerable , 9 : A ! N inyectiva (, 9 :

Demostracion. Supongamos A numerable, entonces si A es infinito 9 : A ! N

Supongamos ahora que existe una funcion inyectiva : A ! N, entonces

Proposicion 1.0.10. N N es numerable.

es inyectiva, por tanto N N es numerable.

Demostracion. Sean p1 , . . . , pj primos distintos, entonces : N...N ! N

Bastaria probar entonces que Pn (N) es numerable 8n. Sea n : Pn (N) ! Nn

con bk 2 {0, 1} y {ak } =

Demostracion. Si 0 < t < 1

defino ak+1 = 0, si 2k+1

Tomando lmite en n tenemos que, como 1

Demostracion. Si t 2 [0, 1] existe una unica sucesion {ak } tal que {k / ak = 1}

Hay que probar que siempre existe

Sea : [0, 1] ! P1 tal que (t) = {k / ak = 1} donde {k / ak = 1} es

Ademas, si A 2 P1 (N) entonces defino ak = 1 si k 2 A y ak = 0 si k 2

entonces (t) = A, entonces biyectiva.

Definicion 2.1. Sea E un conjunto no vaco, una metrica o distancia en E es

4. Sea E = CR [0, 1] = {f : [0, 1] ! R / f es continua} entonces definimos

d1 (f, g) = sup{|f (x) g(x)|}

Podemos tambien definir otra distancia:

Obsevar que si eliminamos el valor absoluto de la integral deja de ser una

B" (x) = {y 2 E / d(x, y) < "}

0 < f (0)/2 < g(0) < 3f (0)/2

) g(0) > 0 ) B" (f ) A ) A abierto.

Proposicion 2.0.20. (E, d) e.m. A E abierto , A es union de bolas abier-

(() La union de bolas abiertas es abierto.

x2A x2A x2A

La prueba de esta observacion se dejara como ejercicio.

A es abierto con d1 , A es abierto con d2

d0 (x, y) = mn{1, d(x, y)}

entonces d0 es una metrica en E equivalente a d.

diam(A) = sup{d(x, y) : x, y 2 A}.

Un conjunto se dice acotado si su diametro es finito, y se dice que es totalmente

En general se tiene un conjunto totalmente acotado esta acotado, pero no a la

En este captulo vamos a ver propiedades de los espacios topologicos en-

No es casualidad que una metrica defina una topologa ya que la idea es