TOPOLOGIA

1
CHAPTER 1
ESPACIOS TOPOL

OGICOS
1. Denicion y Ejemplos
Los espacios topologicos son la base, entre otras cosas, de la estructura matematica
que le dar a forma a los conjuntos. Como veremos en esta secci on, basicamente dos
espacios topologicos son los mismos (homeomorcos), si se puede moldear uno de
ellos en plastilina y transformar este hasta llegar al otro sin romper la plastilina,
sin hacerle agujeros. Por ejemplo, un vaso para tomar agua y una pelota, seran
los mismos desde el punto de vista de la topologa, as mismo, una taza con una
aza es equivalente a una dona, etc. Estos espacios han adquirido importancia en
varias ramas de la fsica y la ingeniera para poder hacer modelos. Por ejemplo, en
la ingeniera, las im agenes que se obtienen en la computadora son dijitales, estan
hechas por pixeles discontinuos. En este caso, resulta muy inexacto para algunas
aplicaciones tomar el espacio metrico correspondiente. En la actualidad existen
varios modelos topologicos que prometen ser mas ecientes. En fsica, los campos
estan cuantizados, el campo gravitacional es el espacio tiempo mismo, si este est a
cuantizado, no pude ser metrizable y por tanto no hay una metrica que lo repre-
sente, el campo gravitacional vive entonces en espacios que no pueden ser modelados
por espacios metricos simples. Los espacios topologicos podran ser mas exactos
en modelar espacios cuantizados o los espacios cuanticos mismos. La geometra
diferencial es una herramienta que se utiliza hoy en da intensivamente en varias
ramas de la ciencia. El control autom atico necesita de esta herramienta en gran
medida. En este captulo veremos tanto la topologa como la geometra diferencial.
Iniciemos con la denicion de espacio topologico.
Definici on 1. Sea X conjunto y
X
P (X) subconjunto del conjunto poten-
cia P (X) . Un espacio topol ogico es el par (X,
X
) , tal que: y X pertenecen a

X
y
X
es cerrado bajo uniones arbitrarias e intersecciones nitas.
Vamos a entender esta denicion. Explicitamente, un espacio topologico es un
subconjunto del conjunto potencia que cumple con los siguientes axiomas:
i) , X
X
es decir, el vacio y todo el conjunto siempre est an en la topologa

X
de X.
ii) Si U

X
con J (J un conjunto de ndices) entonces
J
U

X
, es
decir, la union arbitraria de elementos de
X
es un elemento de
X
.
iii) U
i

X
con i = 1, , n implica que
n
i=1
U
i

X
, es decir, la interseccion
nita de elementos de
X
es un elemento de
X
.
Notaci on 1. A los elementos de
X
se les llama abiertos, a sus complementos
cerrados y a
X
se le llama topologa sobre X.
3
4 1. ESPACIOS TOPOL

OGICOS
Comentario 1. Noten que tanto el conjungo vacio como todo el conjunto X
son abiertos y cerrados a la vez, ya que
c
= X y X
c
= . Esta es una propiedad
de todos los espacios topol ogicos.
M as adelante veremos algunos ejemplos de espacios topologicos para ser mas
explicitos, pero por ahora vamos a denir algunos conceptos que nos van a servir
durante nuestra discusi on.
Definici on 2. Sea (X,
X
) espacio topol ogico, U
X
y x U. Se dice
entonces que U es una vecindad de x, se denota x U
x
. Un entorno de x X
es un sobconjunto N X, tal que x N y existe U
x
N, vean la gura 1.
Es decir, una vecindad de alg un punto es siempre un abierto que contiene
al punto, mientras el entorno es un conjunto mas grande que alg un abierto, que
contiene al punto, pero no es un abierto el mismo.
Figure 1. U
x
es una vecindad de x, es decir, es un abierto que
contiene a x. Un entorno de x, en cambio, es un sobconjunto de
X tal que x esta en N y N contiene a una vecindad de x.
Definici on 3. Sea (X,
X
) espacio topol ogico. Una cubierta de A X, es
una familia de abiertos U = {U

}
K
tal que
K
U

= A. Una subcubierta V
de U, es una familia V = {V

}
J
tal que V es cubierta de A y V

V implica
V

U.
En forma sencilla, una cubierta de A es simplemente un conjunto de abiertos
que cubre todo el conjunto A y una subcubierta de la cubierta es un subconjunto
de la cubierta que tambien cubre A. Ahora veamos algunos ejemplos de espacios
topologicos.
Exemplo 1.
X
= P (X) es siempre una topologa llamada la topologa disc-
reta de X en donde cada elemento es un abierto de X.
Exemplo 2.
X
= {, X} es llamada la topologa indiscreta de X.
Estos dos ejemplos nos dicen que todo conjunto tiene al menos dos topologas,
la discreta y la indiscreta. Es decir, se puede hacer de cualquier conjunto un espacio
topologico, incluso de un conjunto de borreguitos del campo.
1. DEFINICI

ON Y EJEMPLOS 5
Exemplo 3. Si X = {x} , la unica topologa que existe es
X
= {{x} , }
Exemplo 4. Si X = {a, b} , existen 4 topologas
a)
1
X
= P (X) = {, {a} , {b} , {a, b}}
b)
2
X
= {{a, b} , }
c)
3
X
= {, {a} , {a, b}}
d)
4
X
= {, {b} , {a, b}}
A las topologas
3
X
y
4
X
se les llama topologas de Sierpinski.
Estos son, tal vez, los espacios topologicos mas simples que podemos construir.
Ahora veremos otros espacios mas interesantes. Vamos a iniciar con los espacios

n
. Estos son espacios topologicos y tienen, claramente, muchas topologas. Sin
embargo, la topologa que generalmente usaremos aqu es la siguiente:
Exemplo 5. X =
n
,
X
= {uni on de bolas B
r
(x
0
)}, donde B
r
(x
0
) =
{x
n
| |x x
0
| < r} . Esta es la topologa can onica de
n
.
Observen que la construcci on de esta topologa se basa de hecho en la estructura
metrica de
n
. La demostracion de que esta ultima es una topologa para
n
la
incluimos en la construcci on de una topologa para todo espacio metrico en la
siguiente proposicion.
Proposici on 1. Sea (X, d) espacio metrico y = { conjuntos abiertos en(X, d)} .
Entonces (X, ) es un espacio topol ogico.
Dem. 1. Se tiene que:
i) X y son abiertos en (X, d) , ya que la bola B

(x) = {y X | d (x, y) |< }

X y es abierto trivialmente.
ii) Sea {A

}
I
una familia arbitraria de conjuntos abiertos en (X, d) . Para
cada , A

es uni on de bolas, A

=
K
B

(A

) y la uni on de la uni on de bolas

es abierto en (X, d) .
iii) Sean A
i
, i = 1, , n conjuntos abiertos en (X, d) y V =
n

i=1
A
i
. Si x V
implica que x A
i
para todo i = 1, , n. Entonces existen {r
i
> 0}
i=1, ,n
tales
que B
ri
(x) A
i
. Tomemos r = min {r
i
}
i=1, ,n
, entonces B
r
(x) B
ri
(x) para
todo i = 1, , n y por tanto B
r
(x) A
i
para todo i = 1, , n. Esto implica que
B
r
(x) V , i.e. V es conjunto abierto en (X, d) .
Ejercicio 1. Demuestren que en todo espacio topol ogico la intesecci on arbi-
traria de cerrados es cerrada y la uni on nita de cerrados es cerrada.
En los espacios metricos y normados es posible denir algunos conceptos como
continuidad o lmite debido a la existencia de la metrica o de la norma. En los
espacios topologicos esto tambien es posible, debido a la existencia de los abiertos.
Vamos a ejemplicar esto dando el concepto de lmite de una susecion. Veamos:
Definici on 4. Sea (X,
X
) espacio topol ogico y (x
i
) una sucesi on en X, i
Z
+
. Se dice que (x
i
) tiene el lmite x (o converge a x) si para todo vecindad
de x, U
x

X
existe un entero positivo N Z
+
tal que x
i
U
x
para todo indice
i N. Se denota como x
i
x o limx
i
= x.
Como ya vimos, todo espacio metrico es topologico, usando los abiertos denidos
por su metrica. Sin embargo, lo contrario no siempre se cumple, no todo espacio
6 1. ESPACIOS TOPOL

OGICOS
topologico es metrico. Es en este sentido que los espacios topologicos son mas gen-
erales que los espacios metricos. A veces es posible denir una metrica en un espacio
topologico, en este caso se dice que el espacio topologico es metrizable, formalmente
se dice que:
Definici on 5. Un espacio topol ogico (X,
X
) cuyos abiertos son los conjuntos
abiertos del espacio metrico (X, d), se dice metrizable. A la topologa
X
sobre X
se le llama topologa inducida por la distancia d.
Veamos la siguiente interesante proposicion:
Proposici on 2. En todo espacio topol ogico (X,
X
) metrizable, para cualquier
par de puntos, siempre existen dos vecindades disjuntas.
Dem. 2. (X,
X
) es metrizable, implica que existe una distancia d que induce

X
. Sean x, y X con x = y, entonces d (x, y) = 2 para alg un > 0. Tomemos las
bolas B

(x) = {z X | d (x, z) < } y B

(y) = {w X | d (w, y) < } , los cuales

son abiertos de
X
. Supongamos z B

(x) B

(y) , se sigue que d (x, y)

d (x, z) + d (z, y) < + = 2, pero d (x, y) = 2, lo cual es una contradicci on. Por
tanto z / B

(x) B

(y) se sigue entonces que B

(x) B

(y) = .
De esta proposicion se desprende que si queremos construir un espacio topologico
metrizable, le tenemos que pedir primero que existan dos vecindades disjuntas
para cada punto. Mas adelante veremos que a estos espacios se les llama espa-
cios topologicos tipo T
2
o Hausdor.
En ocaciones los conjuntos son productos cartesianos de espacios topologicos o
se pueden descomponer en productos cartesianos de estos. En ese caso, si cada com-
ponente es un espacio topologico, el espacio total tambien lo sera. Este resultado
se sigue de la proposicion:
Proposici on 3. El producto cartesiano de espacios topol ogicos es un espacio
topol ogico.
Dem. 3. Sean (X,
X
) y (Y,
Y
) espacios y (X Y,
XY
) con
XY
=
{uniones de elementos U V
X

Y
}. Entonces
i)
XY
ya que = , y X Y
XY
ya que X Y
X

Y
.
ii) Sean W =
j
U

y W

=
k
U

, U
,
U

X
, V
,
V

Y
,
para toda J, K. Entonces W W

=
J
U

k
U

(,)JK
U

XY
.
iii) Sea W

=
M
(U

)
XY
. Entonces
L
W

=
(,)LM
U

XY
.
Al par (X Y,
XY
) se le llama producto topologico de los espacios (X,
X
)
y (Y,
Y
).
As mismo, se puede construir un espacio topologico de un subconjunto de un
espacio topologico utilizando la topologa del espacio original. Esto se ve en la
siguiente proposicion:
Proposici on 4. Sea (X,
X
) espacio topol ogico y A X. Sea
A
= {A U, U
X
}.
Entonces el par (A,
A
) es un espacio llamado subespacio topol ogico de X.
2. CERRADURA, INTERIOR Y FRONTERA 7
Dem. 4. i)
A
ya que A = y A
A
ya que A X = A.
ii) Sean U

X
y AU

A
, J. Entonces
J
AU

= A
J
U

A
.
iii) Sean U
i

X
, i = 1, , n y A U
i

A
. Entonces
n

i=1
A U
i
=
A
n

i=1
U
i

A
. Se sigue que (A,
A
) es espacio topol ogico.
Notaci on 2. A
A
se le llama la topologa relativa o inducida por
X
sobre X.
Con esta proposicion es entonces facil ver que muchos espacios son topologicos
porque heredan la topolgia de alg un espacio mayor. Veamos un ejemplo importante
que usaremos a lo largo de este captulo.
Exemplo 6. Sea n Z. La n-esfera S
n
se dene como un subespacio de
n+1
como
S
n
=
_
x
n+1
|
n+1

i=1
_
x
i
_
2
= 1
_
As,
S
0
=
_
x | x
2
= 1
_
= {1, 1} ,
S
1
=
_
(x, y)
2
| x
2
+y
2
= 1
_
,
S
2
=
_
(x, y, z)
3
| x
2
+y
2
+z
2
= 1
_
etc.
La topologa de S
n
ser a
S
n = {S
n
U | U

n+1 } .
De la misma forma se pueden conocer los cerrados de un subespacio topologico,
conociendo los cerrados del espacio original, usando la proposicion siguiente:
Proposici on 5. Sea (A,
A
) subespacio topol ogico de (X,
X
) . V A es cer-
rado en A s y s olo s V = A R con R cerrado en X.
Dem. 5. =) V cerrado en A implica que existe W
A
tal que V = A \ W,
con W = AU, lo que implica que V = A\ AU = AU
c
con U
c
cerrado en X.
=) Sea R cerrado en X. Consideremos B = A R esto implica que B
c
=
A \ B = A \ A R = A R
c
, y como R
c
es abierto en X, B
c
es abierto en A, es
decir B es cerrado en A.
2. Cerradura, Interior y Frontera
En esta secci on veremos tres conceptos para distinguir regiones de nuestro
espacio topologico. Si nuestro conjunto tiene una topologa, podemos distinguir la
region en donde termina el espacio, donde es adentro y afuera. Vamos a denir
estos conceptos. Iniciemos por denir un punto de adherencia.
Definici on 6. Sea (X,
X
) espacio topol ogico, A X y p X. Un punto de
adherencia p de A es aquel que toda vecindad de p no es disjunta con A, es decir
p es punto de adherencia si para toda U
p

X
se cumple U
p
A = , vean la gura
2.
Al conjunto de todos los puntos de adherencia se le llama la clausura, que nos
servira para denir el interior del espacio.
Definici on 7. Al conjunto de puntos de adherencia se le llama clausura y
se denota por A, vean la gura 3
8 1. ESPACIOS TOPOL

OGICOS
Figure 2. Los puntos de adherencia del conjunto A. En la gura
se muestran puntos de adherencia y puntos que no son de adheren-
cia del conjunto A.
Figure 3. Los puntos de adherencia forman la clausura del con-
junto A. Hay que comparar esta gura con la gura ??, en donde
se muestran los puntos de adherencia del conjunto A.
Comentario 2. Noten que si p A, implica que U
p
A = , por tanto A A
Veamos una serie de proposiciones referentes a la cerradura de un conjunto,
con el objetivo de concluir que la clausura es un conjunto cerrado. Veamos esto.
Proposici on 6. A es cerrado ssi A = A.
Dem. 6. =) Sea p A, i.e. para todo U
p

X
se cumple U
p
A = .
Supongamos que p / A, entonces p A
c
= X \ A
X
, ya que A es cerrado.
Entonces existe V
p

X
con V
p
X \ A o sea V
p
A = , lo cual contradice el
hecho que p A, entonces p A, i.e. A A.
=) Sea q A
c
y por tanto q / A, entonces existe V
q

X
con V
q
A =
i.e. V
q
A
c
para toda q. Entonces A
c
es abierto.
2. CERRADURA, INTERIOR Y FRONTERA 9
Corolario 1. A cerrado implica que A es cerrado.
Proposici on 7. A es la intersecci on de todos los cerrados en X que contienen
a A.
Dem. 7. Sea R = {R

| A R

, R

cerrado}
J
. Sea x
j
R

. De-
mostremos que x es punto de adherencia de A, o sea que x A. Sea M
X
con
x M. Supongamos M A = esto implica que A M
c
que es un cerrado
que contiene a A, entonces x M
c
ya que M
c
= R

para alg un , lo que es una

contradicci on. Por lo tanto M A = . Sea q A y sea R

para alg un J.
A R

implica que A R

= R

se sigue entonces que q R

para todo J
es decir q
J
R

.
Corolario 2. A es cerrado.
Exemplo 7. Los ejemplos m as representativos y simples son en la recta real con
la topologa can onica. Es claro que [a, b] es cerrado. La cerradura de (a, b) = [a, b],
etc.
Exemplo 8. La cerradura del conjunto de los racionales o del conjunto de los
irracionales son los reales, ya que junto a un racional siempre hay un irracional y
junto a un irracional hay un racional.
Exemplo 9. Un ejemplo m as interesante es el conjunto \Z. Observemos que
\Z = .
Ejercicio 2. Demuestren que
a) A B A B
b) A B A B
De una manera analoga se puede hacer lo mismo para puntos interiores de un
conjunto. Estos se denen como:
Definici on 8. Sea (X,
X
) espacio topol ogico y p X. p es punto interior
de A X si existe V
p

X
con V
p
A, vean la gura 4.
Definici on 9. Al conjunto de puntos interiores de A X se le llama interior
y se denota por

A. Note que p

A implica que existe V

p

X
con p V
p
A, es
decir

A A, vean la gura 5
Proposici on 8. A es abierto ss A =

A.
Dem. 8. =) Sea p A, implica que existe V
p

X
con V
p
A, es decir
p

A se sigue entonces que A

A.
=) Sea p A, como A =

A, entonces existe V
p

X
con V
p
A, esto es, A
es abierto.
Proposici on 9.

A es la uni on de todos los abiertos de X contenidos en A .
Dem. 9. Sea U = {U

| U

A. U

abierto}
J
. Sea q
J
U

entonces
q U

para alg un J tal que U

A, por tanto q

A, sea x

A. Esto implica
que existe V
x

X
con x V
x
A, o sea x
xJ
U

, por lo tanto

A=
J
U

.
10 1. ESPACIOS TOPOL

OGICOS
Figure 4. La gura muestra los puntos interiores de A y algunos
que no son puntos interiores de A. Compare esta gura con las
guras ?? y ?? anteriores sobre puntos de adherencia.
Figure 5. El interior de A. Compare esta gura con la gura 3
que muestra la cerradura de A.
Corolario 3.

A es abierto.
Exemplo 10. Los ejemplos m as representativos y simples de nuevo son en la
recta real con la topologa can onica. Es claro que (a, b) es abierto. El interior de
[a, b]
o
= (a, b), etc.
Exemplo 11. El interior del conjunto de los racionales o del conjunto de los
irracionales es vacio, ya que no hay abiertos que contengan racionales o irracionales
solamente.
Exemplo 12. Un ejemplo m as interesante es de nuevo el conjunto \Z. Ob-
servemos que (\Z)
o
= \Z
3. FUNCIONES CONTINUAS 11
Entonces, el interior es abierto y la cerradura es un cerrado. Para dar un
criterio de donde termina el espacio topologico, se dene la frontera del conjunto.
La idea intiutiva es simple y su denicion formal es como sigue:
Definici on 10. La frontera (topol ogica) de A es la intersecci on de las cer-
raduras de A y su complemento, se denota A, i.e.
A = A A
c
La frontera de A tiene las siguientes propiedades:
i) A es cerrado, ya que es interseccion de cerrados.
ii) A
c
= A
c
(A
c
)
c
= A
c
A = A
iii) A = AA ya que si p A y p / A se sigue que p A
c
A A
c
A = A,
lo que implica que A AA, de la misma forma, si p A esto implica que p A
o y si p A implica que p A ya que A = A A
c
.
iv) A = ss A es cerrado y abierto a la vez. Esto es debido a que si A =
se sigue que A = A ya que A = A A, es decir A es cerrado. Por otro lado como
A = A, si A A
c
= esto implica que A
c
A
c
, pero como A
c
A
c
, se sigue que
A
c
= A
c
, entonces A
c
es cerrado, por lo que A es abierto. Al contrario, si A es
cerrado, se sigue que A = A, A abierto implica que A
c
es cerrado y por lo tanto
A
c
= A
c
. Entonces A A
c
= A A
c
= .
v) X = = ya que X y son abiertos y cerrados.
vi) A es cerrado ss A A, ya que A cerrado implica que A = A = A A y
por lo tanto A A. A la inversa A A implica que A A = A = A de donde
se sigue que A es cerrado.
Exemplo 13. Tomemos de nuevo un ejemplo sobre la recta real con la topologa
can onica. La frontera de (a, b) = (a, b)

(a, b)
c
= [a, b]

(, a][b, ) = {a, b},

etc.
Exemplo 14. Regresemos al conjunto \Z. Observemos que
(\Z) = (\Z)

(\Z)
c
=

Z = Z.
Es decir, el conjunto \Z es un conjunto abierto, cuya cerradura es y su
frontera es Z. Esto tambien quiere decir que Z es un conjunto cerrado, pues es la
frontera de \Z.
Ejercicio 3. Demuestre que la frontera del conjunto de los racionales o del
conjunto de los irracionales son los reales.
Para terminar esta secci on, vamos a denir un conjunto denso. Un conjunto es
denso si su cerradura es todo el espacio, esto es:
Definici on 11. A es denso en X si A = X.
Exemplo 15. Cl aramente \Z es denso en los reales, pues su cerradura son
los reales.
Comentario 3. Note que si A es un espacio metrico, A es denso si para todo
x X y para todo > 0 existe p A tal que p B

(x).
3. Funciones Continuas
En esta secci on vamos a introducir conceptos tpicos de espacios normados
o metricos relacionados con funciones, pero usando solo la topologa del espacio.
12 1. ESPACIOS TOPOL

OGICOS
Vamos a iniciar con el concepto de continuidad de funciones en espacios topologicos.
Basicamente la idea es la misma que en espacios metricos, pero como aqu no
tenemos una distancia, tenemos que usar solo la existencia de los abiertos. La
idea es entonces, que si podemos mapear un abierto, tan arbitrario (peque no)
como sea, y este es tambien abierto en el dominio, entonces la funci on es continua.
Formalmente se tiene:
Definici on 12. Sean (X,
X
) y (Y,
y
) espacios topol ogicos. Se dice que el
mapeo f : X Y x f(x) es una funci on continua, si f
1
(V )
X
para todo
V
Y
, i.e. preim agenes de abiertos son abiertas.
Notaci on 3. Al conjunto de funciones continuas se denota por Map(X, Y ) =
C
0
(X, Y ).
Dado que en un espacio metrico la topologa se construye con los abiertos del
espacio, podemos demostrar una serie de proposiciones en espacios topologicos que
despues se pueden extender a espacios metricos o normados. Veamos la siguiente
proposicion.
Proposici on 10. Sean (X,
X
) y (Y,
Y
) espacios topol ogicos f : X Y,
funci on. Son equivalentes
1) f es continua.
2) Para todo x X y W
f(x)

Y
existe V
x

X
tal que f(V
x
) W
f(x)
3) f(A) f(A) para todo A X
4) f
1
(B) f
1
(B) para todo B Y
5) Si A es cerrado en Y implica que f
1
(a) es cerrado en X.
Dem. 10. 1) = 2) Sean x X y W
f(x)

Y
; como f es continua x
f
1
(W
f(x)
)
x
y entonces existe V
x

X
tal que V
x
f
1
(W
f(x)
), se sigue
entonces que f(V
x
) W
f(x)
.
2) = 3) Sea b A, entonces para todo U
b

X
se sigue que U
b
A = ,
entonces = f(U
b
A) f(U
b
) f(A). Sea W
f(b)

Y
arbitrario, por 2) existe
V
b

X
con f(V
b
) W
f(b)
, por lo que f(V
b
) f(A) W
f(b)
f(A) es decir
f(b) f(A).
3) = 4) Sea a = f
1
(B) con B Y ; por 3 f(A) f(A) = f (f
1
(B)) B,
ya que f
_
f
1
(B)
_
B. Por lo tanto, tambien f
1
_
f(A)
_
f
1
(B) y como
A f
1
_
f(A)
_
tenemos A f
1
(B); o sea f
1
(B) f
1
(B).
4) = 5) Sea B cerrado en Y , por 4) f
1
(B) f
1
(B) = f
1
(B) f
1
(B)
por lo que f
1
(B) = f
1
(B), entonces f
1
(B) es cerrado en X.
5) = 1) Sea B
Y
, entonces B
c
es cerrado en Y , como f
1
(B
c
) =
(f
1
(B))
c
, por 5) se tiene que
_
f
1
(B)
_
c
es cerrado en X, o sea f
1
(B)
X
.
Proposici on 11. La composici on de funciones continuas es continua.
Dem. 11. Sean (X,
X
) , (Y,
Y
) y (Z,
z
) espacios y f : X Y, g : Y Z
funciones continuas. Se tiene que si U

z
entonces g
1
(U

)
Y
y por lo tanto
f
1
(g
1
(U

)) = f g (U

)
Z
.
Las funciones en espacios que son productos cartesianos tambien tienen un cri-
terio de continuidad. Estas funciones son interesantes y seran usadas mas adelante,
por ahora veamos este criterio de continuidad usando la siguiente proposicion:
3. FUNCIONES CONTINUAS 13
Proposici on 12. Sean (X,
X
) , (Y,
Y
) y (Z,
Z
) espacios y f : X Y Z
funci on. f es continua ss para todo W
f(x,y)

z
existe U
x

X
y V
y

Y
tales
que f(U
x
U
y
) W
f(x,y)
.
Dem. 12. =) Sea W
f(x,y)

Z
esto implica que existe U
x

X
, V
y

Y
con
f(U
x
V
y
) W
f(x,y)
con U
x
V
y

X Y
, esto implica que para todo (x, y) X
Y existe U
x
V
y

X Y
tal que U
x
V
y
f
1
(W
f(x,y)
) por lo que f
1
(W
f(x,y)
)

XY
.
=) Sea W
f(x,y)

Z
, entonces f
1
(W
f(x,y)
)
XY
esto implica que para
todo (x, y) f(W
f(x,y)
) existe U
x
V
y

XY
tal que U
x
V
y
f
1
(W
f(x,y)
),
por tanto f(U
x
V
y
) W
f(x,y)
.
Mas adelante, en la construcci on de los haces, vamos a necesitar el uso de la
proyeccion, que es una funci on que mapea solo una parte de un producto cartesiano
de espacios topologicos. Vamos a introducir ahora este concepto.
Definici on 13. Sea (X Y,
XY
) espacio producto de los espacios (X,
X
) y
(Y,
Y
). A las funciones
x
: XY X, (x, y) x y
y
: XY Y, (x, y) y
se les llama las proyecciones de X Y , ver gura 6.
Figure 6. La proyeccion del producto cartesiano de X y Y . El
mapeo va de X Y a X, y mapea el punto (x, y) en x.
Proposici on 13.
x
y
y
son continuas.
Ejercicio 4. Demostrar la proposici on.
Definici on 14. Sea (A,
A
) subespacio topol ogico de (X,
X
). La inclusi on
de A en X es la funci on identidad restringida a A , i.e.
i : A X
x i(x) id |
X
|
A
Tambien se denota como i : A X.
14 1. ESPACIOS TOPOL

OGICOS
Proposici on 14. Sea f continua, f = X Y y (A,
A
) subespacio topol ogico
de (X,
X
). Entonces la restricci on de f a A es continua.
Ejercicio 5. Demostrar la proposici on
Ejercicio 6. Demostar que i es continua.
El concepto mas importante en espacios topologicos es tal vez este que nos
da el concepto de isomorsmo entre ellos. Los isomorsmos aqu son llamados
homeomorsmos. Ahora vamos a introducirlos, para esto necesitamos primero el
concepto de funci on abierta. Iniciemos con este.
Definici on 15. Sea f : X Y funci on. f se llama abierta si imagenes de
abiertos son abiertas, i.e. si para todo U
X
se tiene que f(U)
Y
.
Definici on 16. Un homeomorsmo es una funci on continua, biyectiva y
abierta.
Esta dinicion nos garantiza entonces que la inversa es una funci on continua y
abierta. Es decir:
Proposici on 15. Sea f homeomorsmo, entonces f
1
es continua.
Dem. 13. Por ser biyectiva existe f
1
con f
1
f = Id |
X
. Por ser abierta
se sigue que f(U) = V
Y
para todo U
x
ya que la inversa de f
1
es f. De
donde que f
1
es continua.
Definici on 17. Dos espacios topol ogicos se dicen homeomorfos si entre
ellos existe un homeomorsmo. A las propiedades invariantes bajo homeomorsmos
se les llama propiedad topol ogica.
Es decir, los homeomorsmos me dan un criterio para decir cuando dos espacios
topologicos son el mismo, desde el punto de vista de espacio topologico. Es mas,
los homeomorsmos separan el conjunto de los espacios topologicos en clases de
equivalencia. Vamos a ver esto, primero veamos que la relacion: dos espacios estan
relacionados entre si, si son homeomofos, es una relacion de equivalencia.
Proposici on 16. Sean (X,
X
), (Y,
Y
), (Z,
z
) espacios. La relaci on X
hom
Y
dos espacios son homeomorfos, es una relaci on de equivalencia.
Ejercicio 7. Demostrar la proposici on.
Entonces los espacios homeomorcos forman clases de equivalencia en las cuales
se conservan sus propiedades topologicas. Estas clases sirven para clasicar a los
espacios topologicos. Otra propiedad interesante y muy importante es el hecho que
los homeomorsmos con la operaci on de composicion de funciones forma un grupo,
llamado el grupo de automorsmos. Veamos esto.
Proposici on 17. Sea (X,
X
) espacio topol ogico y
Aut (X) = {f | f : X X homeomorsmo}. Entonces el par (Aut(X), ) es
un grupo llamado el grupo de automorsmos de X.
Ejercicio 8. Demostrar la proposici on.
Para terminar esta secci on veamos ahora el concepto de camino y trayectoria.
Estos conceptos son muy usados para denir geodesicas y conceptos relacionados
con estas. Formalmente, la denicion de camino o trayectoria es:
4. TOPOLOG

IA COCIENTE 15
Definici on 18. Sea (X,
X
) espacio topol ogico e I . A una funci on c :
I X se le llama un camino o trayectoria en X.
Entonces, una curva es la imagen de una trayectoria, esto es:
Definici on 19. Sea c C
0
(I, X). A la imagen de c se le llama la curva de
c.
Estos dos conceptos deben quedar claros, un camino es la funci on misma mien-
tras que la curva es la imagen de la funci on. Son conceptos muy distintos, el primero
es un elemento del conjunto de funciones y el segundo es un subconjunto del codo-
minio de la funci on. Por otro lado, una reparametrizaci on es una composicion de
la curva con un automorsmo monotono creciente del dominio I de de la curva,
es decir:
Definici on 20. Sea Aut
+
(I) = {f Aut(I) | f(t

) > f(t), t

> t} y c
C
0
(I, X). A la funci on

: C
0
(I, X) C
0
(I, X), c

(c) = c se le llama
una reparametrizaci on de c.
Lo interesante de este concepto es que las curvas (no los caminos) son invari-
antes ante estos automorsmos, es decir:
Proposici on 18. Las curvas son invariantes bajo reparametrizaciones.
Dem. 14. Sea c C
0
(I, X) trayectoria y
c
= c(I) la curva correspondiente.
Entonces
(c)
=

(c)(I) = c (I) = c((I)) = c(I) =

c
.
Exemplo 16. Al camino c(t) = p para todo t I se le llama camino con-
stante.
Exemplo 17. Sea c : [0, 1] X con c(0) = c(1) = p. A este camino se le
llama lazo o loop en X.
4. Topologa cociente
Imaginemos que podemos construir una funci on entre dos conjuntos y que el
dominio tiene una topologa. Entonces podemos mapear los abiertos del dominio
al codominio y denir estos como abiertos del codominio. Surge la pregunta si
ahora las imagenes de estos abiertos forman una topologa para el codominio. La
respuesta la podemos dar en la siguiente proposicion.
Proposici on 19. Sean (X,
X
) espacios Y conjunto y f : X Y funci on so-
bre. El conjunto
f
=
_
V P(Y ) | f
1
(V )
X
_
es una topologa para Y , llamada
topologa cociente de Y respecto a f.
Dem. 15. i)
f
ya que f
1
() =
X
y Y esta en
f
ya que f es sobre
y por lo tanto f
1
(Y ) = X ;
ii) Sean V
1
, , V
n

f
, entonces f
1
(
n
i=1
V
i
) =
n
i=1
f
1
(V
i
)
X
se sigue
que
n
i=1
V
i

f
ya que cada f
1
(V
i
)
X
;
iii) Sea {V

}
K
con V

f
. Entonces f
1
(
K
V

) =
K
f
1
(V

)
X
pues cada f
1
(V

)
X
, se sigue entonces que
K
V

f
.
Vamos a estudiar unos ejemplos de como podemos construir espacios topologicos
usando mapeos sobre. Para hacer esto, lo importante es construir la funci on sobre
con la cual construimos el espacio topologico del codominio. Sea (X,
X
) espacio
16 1. ESPACIOS TOPOL

OGICOS
topologico y una relacion de equivalencia en X. La funci on p = X X/ es
una funci on sobre que asocia a cada elemento de X, x [x] su clase. La topologa

X/
= {V P(X/ ) | p
1
(V )
X
} es una topologa para el conjunto de clases
de equivancia X/ .
Sea I I =
_
(x, y)
2
| 0 x 1, 0 < y < 1
_
subespacio topologico de
2
.
Entonces:
Exemplo 18. Sea la relaci on de equivalencia pr
1
q si p = q
2
i.e. (x, y) =
(x

, y

) , o si p = q (p, q) = ((0, y), (1, y)) o ((1, y), (0, y)) y la relaci on pr
2
q como
p = q o si p = q, (p, q) = ((0, y), (1, 1 y)) o ((1, y), (0, 1 y)) . Gr acamente se
ve en las gura 7 y gura 8.
Figure 7. El producto cartesiano de los intervalos [1, 1] [1, 1]
con la relacion r
1
, es topologicamente igual al cilindro.
Figure 8. De la misma forma, el producto cartesiano de los in-
tervalos [1, 1] [1, 1] con la relacion r
2
, es topologicamente igual a
la cinta de M obius
Cilindro=
_
I I/r
1
,
II/r1
_
Cinta de M obius=
_
I I/r
2
,
II/r2
_
5. ESPACIOS COMPACTOS 17
Exemplo 19. Sea I
2
=
_
(x, y)
2
| 0 x, y 1
_
. Sea la relaci on pr
3
q si
p = q, o p = q, (p, q) = ((0, y), (1, y)) o ((1, y), (0, y)) y (p, q) = ((x, 0), (x, 1)) o
((x, 1), (x, 0)). Y la relaci on pr
4
q si p = q o (p, q) = ((0, y), (1, y)) o ((1, y), (0, y))
y (p, q) = ((x, 0), (1 x, 1)) o ((1 x, 1), (x, 0)). Gr acamente se ve en las gura
9 y gura 10
Figure 9. El producto cartesiano de los intervalos [1, 1] [1, 1]
con la relacion r
3
, es topologicamente igual al Toro.
Figure 10. De la misma forma, el producto cartesiano de los in-
tervalos [1, 1] [1, 1] con la relacion r
4
, es topologicamente igual a
la Botella de Klein.
Toro=
_
I
2
/r
3
,
I
2
/r3
_
Botella de Klein=
_
I
2
/r
4
,
I
2
/r4
_
5. Espacios Compactos
Entre las nociones intuitivas que tenemos de conjuntos, existen dos clases que
se diferencian notablemente. Existen espacios como que no tienen n y otros
como la esfera que son nitos. Por supuesto, desde el punto de vista matematico
podemos dar una diferenciacion de estos espacios, ya que no es lo mismo que un
18 1. ESPACIOS TOPOL

OGICOS
conjunto no tenga n o principio o que este conjunto sea simplemeten muy grande.
Para dar una nocion concreta de estos conceptos, diremos que los conjuntos como
la esfera, son compactos. Basicamente la diferencia es que a la esfera la podemos
cubrir con un n umero nito de abiertos. La denicion formal es:
Definici on 21. Sean (X,
X
) espacio topol ogico y A X. A es un conjunto
compacto si toda cubierta U de A contiene una subcubierta nita.
Proposici on 20. Sean (X,
X
), (Y,
Y
) espacios y f : X Y funci on con-
tinua. Entonces la imagen de subconjuntos compactos de X son subconjuntos com-
pactos de Y .
Dem. 16. Sea A subconjunto compacto de X y sea V = {V

}
K
una cu-
bierta de f(A), entonces V
1
=
_
f
1
(V

)
_
K
es una cubierta de A. Como A
es compacto, existe una cubierta nita de A, U =
_
f
1
(V
j
)
_
N
J=1
, subcubierta de
V
1
. Como f
_
f
1
(V
j
)
_
V
j
tenemos que f(A) f
_

N
j=1
f
1
(V
j
)
_

N
j=1
f
_
f
1
(V
j
)
_

N
j=1
V
j
, por lo que {V
j
}
N
J=1
es una cubierta nita de f(A).
El punto mas importante de los espacio compacto es el hecho que:
Proposici on 21. Ser espacio compacto es una propiedad topol ogica.
Dem. 17. S olo daremos una idea de la demostraci on. Se desprende del hecho
que si X es compacto, f(X) lo es y si f es homeomorsmo, f
1
(X) tambien es
compacto.
En lo que sigue hablaremos de algunas propiedades de los espacios compactos
y de como se puede saber si un espacio es o no compacto. Por lo general no es facil
demostrar que un espacio es o no compacto. Pero usando las dos siguientes proposi-
ciones, de la segunda no daremos su demostracion, se puede vericar la propiedad
de compacto en muchas ocaciones. Comencemos por la siguiente proposicion.
Proposici on 22. Si (X,
X
) es compacto y Y tiene la topologa cociente
f
con respecto a f : X Y , sobre, entonces se sigue que (Y,
f
) es compacto.
Dem. 18. Como
Y
=
f
, f es continua y como f es sobre f(X) = Y . Entonces
Y es imagen continua de un compacto por lo tanto es compacto.
Proposici on 23. [0, 1] es compacto.
Otra propiedad que ayuda a vericar si un espacio es o no compoacto es la
siquiente:
Proposici on 24. Todo subconjunto cerrado de un espacio compacto, es com-
pacto.
Dem. 19. Sea A subconjunto cerrado de X y sea U = {U

}
J
una cubierta
de A. A cerrado implica que A
c

X
y U
ext
= {U

, A
c
}
J
es una cubierta de X,
ya que A
J
U

. Si X es compacto, entonces existe una subcubierta nita V de

U
ext
. V
ext
= {V
i
, A
c
}
n
i=1
que cubre X. Por tanto V = {V
i
}
N
i=1
es cubierta nita
de A, ya que para todo V
j
V
ext
existe U
r
U
ext
tal que V
j
= U
r
, es decir, A es
compacto.
Tambien es facil imaginarse que el producto cartesiano de espacios compactos,
es compacto. Formalmente se tiene la siguiente proposicion:
5. ESPACIOS COMPACTOS 19
Proposici on 25. El producto topol ogico (X Y,
xy
) es compacto s cada
(X,
X
) y (Y,
y
) es compacto.
Dem. 20. Solo demostraremos una direcci on. =) Como X Y es compacto,
entonces
1
: X Y = X y
2
: X Y Y son compactos, ya que
1
y
2
son
continuas.
De estas propiedades resultan algunos ejemplos y resultados sencillos. Por
ejemplo tenemos que el n-cubo es compacto, i.e. I
N

n
es compacto.
Otro concepto relacionado con espacios compactos, es el concepto de conjunto
acotado, concepto que se puede dar en un espacio normado. Entonces podemos
denir conjuntos acotados en los reales, utilizando su norma canonica. Intuiti-
vamente, un espacio compacto debe ser acotado, nito. Formalmente se tiene la
denicion:
Definici on 22. Sea A subconjunto de (
n
,

n) y n Z
+
. Se dice que A es
un conjunto acotado si para todo x = (x
1
, , x
n
) A, existe K
+
, tal que

x
i

K para todo i = 1, , x
m
.
Con el siguiente teorema podemos relacionar entonces ambos conceptos.
Teorema 21 (de Heine-Borel). Todo subconjunto de
n
cerrado y acotado, es
compacto.
Dem. 22. A acotado A [K, K]
n
hom
I
n
para alg un K. A cerrado y
[K, K]
n
compacto implica A compacto.
Ahora usemos lo anterior para vericar si algunos espacios son compactos,
veamos algunos ejemplos.
Exemplo 20. I
n

n
es cerrado y acotado, por lo tanto es compacto.
Exemplo 21. S
n
R
n+1
es cerrado y acotado, por lo tanto es compacto, etc.
Otro concepto interesante, que solo mencionaremos, es el de espacios paracom-
pactos. Para denirlo, es necesario introducir la siguiente denicion.
Definici on 23. Una familia F de subconjuntos de (X,
X
) es localmente
nita o nita por vecindades, si para todo x X existe U
x

X
tal que U
x
intersecta a lo m as un n umero nito de elementos de F.
Definici on 24. Un renamiento de U es una cubierta V = {V

}
K
de
(X,
X
) tel que para todo V

V existe U

U con V

. Se denota por
{V

}
J
< {U

}
J
.
Proposici on 26. Toda subcubierta de una cubierta es un renamiento.
Dem. 23. Sea V una subcubierta de U, esto implica que para todo V

V
existe U

U con V

= U

.
Definici on 25. Un espacio es paracompacto si toda cubierta tiene un re-
namiento nito por vecindades.
Este concepto, en cierta forma, es m as general que el concepto de espacios
compactos, ya que:
Proposici on 27. Todo espacio compacto es paracompacto.
20 1. ESPACIOS TOPOL

OGICOS
Dem. 24. X compacto implica que toda cubierta U de X tiene una subcubierta
nita, esto quiere decir que cualquier vecindad U
x
de x X intersecta a lo m as un
n umero nito de elementos del renamiento V de U.
Los espacios que no son compactos, se pueden en ocaciones, compacticar. La
forma mas simple de entenderlo es dando un ejemplo sencillo. Imaginemos la recta
real, la cual se extiende indenidamente hacia los n umeros positivos y negativos.
Ahora tomemos la recta real y unamos los puntos extremos, tanto de lado negativo
como del lado positivo. Lo que se tendra es un crculo, que puede ser de radio 1,
por simplicidad. Este crculo es una forma compacta de escribir la recta real, donde
ahora si tenemos un n umero que representa el innito (en los reales, el innito no es
un n umero, es solo un concepto para designar muy grande). Formalmente se puede
hacer este proceso, siguiendo los pasos de la siguiente proposicion que enunciaremos
sin demostracion.
Proposici on 28. Sea (X,
X
) espacio topol ogico y / X. Sea

=
X

{V {}}
V K
con K = {abiertos con complemento compacto en X}. Entonces
1)

es una topologa para

X = X {}
2) (X,
X
) es subespacio topol ogico de
_

X,

_
3)
_

X,

_
es compacto
4) X es denso en
_

X,

_
si X no es compacto.
Notaci on 4. A la topologa

=
X
{V {}}
V K
con K = {abiertos con
complemento compacto en X} se le llama la compacticaci on por un punto de
(X,
X
) o simplemente compacticaci on de X.
Ahora veamos el ejmplo de la compacticacion de la recta real formalmente. Lo
que vamos a hacer es agregarle un punto a la recta real, que podemos llamar tambien
el innito, pero puede ser lo que sea. Y luego denimos un homeomorsmo que vaya
del crculo a la recta real. As demostramos que el crculo es una compacticacion
de la recta real. Aqu estudiaremos el ejemplo mas general de la compacticacion
de
n
, esto es:
Exemplo 22. La compacticaci on por un punto de
n
est a dada por

n
=

n
{}, veamos esto.
Consideremos la funci on:
: S
n

n
es decir
:
_
x
1
, , x
n+1
_

_ _
x
1
, , x
n
_
/
_
1 x
n+1
_
si x = (0, , 0, 1)
si x = (0, , 0, 1)
el cual es un homeomorsmo, con inversa
1
:

n
S
n
dada por

1
:
_
_
x
1
, , x
n
_

1
1+(x
1
)
2
++(x
n
)
2
_
2x
1
, , 2x
n
, (x
1
)
2
+ + (x
n
)
2
1
_
(0, , 0, 1)
Entonces S
n
hom

n
. Ejemplos de esto son el crculo S
1
hom

=

y la esfera S
2
hom

2
=
2
{}

= C {} llamada esfera de Riemann, etc. A la funci on se
le llama proyecci on estereogr aca . Vean la gura 11
6. ESPACIOS CONEXOS 21
Figure 11. La proyeccion estereogr aca en el plano. Esta funci on
proyecta los puntos del crculo 1 -1 en la lnea recta. De la misma
forma, la proyeccion estereogr aca proyecta 1 -1 cualquier esfera
de dimensi on arbitraria (nita) en un plano de la misma dimensi on.
Para terminar esta secci on daremos una clasicacion interesante de los espacios
topologicos seg un su estructura.
Definici on 26. Sea(X,
X
) espacio topol ogico.
Se dice que X es espacio T
0
si para todo x, y X , x = y, existe U
x
con
y / U
x
o existe U
y
con x / U
y
Se dice que X es espacio T
1
si para todo x, y X, x = y, existe U
x
y U
y
con y / U
x
y x / U
y
Se dice que X es espacio T
2
o Hausdor si para todo x, y X, x = y,
existe U
x
, U
y
con U
x
U
y
=
Se dice que X es espacio T
3
o espacio regular, si X es T
1
y si para todo
x X y F cerrado en X con x / F, existe U
x
y U en
X
con F U y U
x
U =
Se dice que X es espacio T
4
o espacio normal , si X es T
1
y para todo
F, G cerrados disjuntos en X, existe U, V
X
tal que U V = y F U, G V ,
ver gura 12.
Ejercicio 9. Muestre que todo espacio T
2
es T
1
Ejercicio 10. Muestre que todo espacio T
1
es T
0
Ejercicio 11. Muestre que todo espacio metrizables es T
2
Ejercicio 12. Muestre que todo espacio metrico es Hausdor.
6. Espacios Conexos
Un espacio topologico puede ser tambien hecho de piezas separadas, o pedazos
sin union. Cuando los espacios son hechos de una sola pieza, se dice que son espa-
cios conexos. Para denir los espacios conexos es mas sencillo denir los espacios
disconexos, es decir:
Definici on 27. Un espacio topol ogico (X,
X
) es disconexo si existen A, B

X
tales que A, B = , A B = X y A B = .
22 1. ESPACIOS TOPOL

OGICOS
Figure 12. Clasicaci on de los espacios topologicos.
Definici on 28. Un espacio es conexo si no es disconexo.
Definici on 29. Sea (X,
X
) espacio topol ogico y A X (subespacio). A es
conexo si lo es como subespacio topol ogico de X.
Algunos ejemplos simples son:
Exemplo 23. El espacio de Sierpinski es conexo, ya que X = {a, b} y
X
=
{, {a, b} , {a}}, siempre, ya que {a, b} {a} = X y {a, b} {a} = .
Exemplo 24. La topologa discreta es disconexa, ya que para todo A = , X
con A P(X), A
c
P(X) y A A
c
= , con A A
c
= X
Por denicion, en un espacio topologico el vacio y todo el espacio son abiertos
y cerrados a la vez. En base a esto, un criterio para decidir si un espacio es conexo,
es el siguiente.
Proposici on 29. Sea (X,
X
) espacio. X es conexo, ss los unicos abiertos y
cerrados a la vez son X y , adem as no existe f C
0
(X, {0, 1}) sobre.
6. ESPACIOS CONEXOS 23
Finalmente, ser conexo es tambien una propiedad topolologica. Para ver esto,
veamos la siguiente proposicion.
Proposici on 30. La imagen continua de conexos es conexa.
Dem. 25. Sea f : X Y continua y (X,
X
) espacio conexo. Supongamos que
_
f(X),
f(x)
_
(Y,
Y
) no es conexo. Entonces existe g : f(X) {0, 1} continua
y sobre y por lo tanto g f C
0
(X, {0, 1}) y es sobre, lo que implica que (X,
X
)
no es conexo, lo que contradice la hip otesis.
Proposici on 31. Ser conexo es una propiedad topol ogica.
Dem. 26. Basta tomar un homeomorsmo, como es sobre y continuo, la ima-
gen de un conexo ser a conexa y lo mismo para la inversa.
Vamos a ver algunos ejemplos representativos:
Exemplo 25. Todos los intervalos en son conexos.
Exemplo 26. es conexo, ya que
hom

= (1, 1) que es conexo.

Exemplo 27. S
1
es conexo ya que f : [0, 1] S
1
, (cos (2t) , sen(2t))
es continua.