TOPOLOGIA


ESPACIOS TOPOLOGICOS
January 11, 2006

Definici
on y Ejemplos

Los espacios topologicos son la base, entre otras cosas, de la estructura metematica
que le dara forma a los conjuntos. Como veremos en esta seccion, basicamente
dos espacios topologicos son los mismos (homeomorficos), 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 baso 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 ingenieria para poder hacer modelos.
Por ejemplo, en la ingenieria, las imagenes 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 eficientes. En fsica, los campos estan cuantizados y viven 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. Asi mismo, la geometra diferencial es una herramienta que se utiliza
hoy en da intensivamente en varias ramas de la ciencia. El control automatico
necesita de esta herramienta en gran medida. En este capitulo veremos tanto la
topologia como la geometra diferencial. Iniciemos con la definicion de espacio
topologico.
Definici
on 1 Sea X conjunto y X P (X) subconjunto del conjunto potencia
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 finitas.
Vamos a entender esta definicion. Explicitatmente, 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 estan en la topologia
X de X.
ii) Si U X con J (J un conjunto de indices) entonces U x ,
J

es decir, la union arbitraria de elementos de X es un elemento de X .

iii) Ui X con i = 1, , n implica que ni=1 Ui X , es decir, la interseccion finita de elementos de X es un elemento de X .
2

Notaci
on 2 A los elementos de X se les llama abiertos, a sus complementos
cerrados y a X se le llama topologa sobre X.
Comentario 3 Note que tanto en vacio como todo el conjunto y 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.
Mas adelante veremos algunos ejemplos de espacios topologicos para ser mas
explicitos, pero por ahora vamos a definir algunos conceptos mas que nos van a
servir durante nuestra discusion.
Definici
on 4 Sea x U y U X . Se dice entonces que U es una vecindad
de x, se denota x Ux . Un entorno de x X es un sobconjunto N X, tal
que x N y existe Ux N , ver figura 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: Ux 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 5 Sea (X, X ) espacio topol
ogico. Una cubierta de A X, es
una familia de abiertos U = {U }K tal que U = A. Una subcubierta
K

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.
3

Ejemplo 6 X = P (X) es siempre una topologa llamada la topologa discreta de X en donde cada elemento es un abierto de X.
Ejemplo 7 X = {, X} es llamada la topologa indiscreta de X.
Estos dos ejemplos nos dicen que todo conjunto tiene al menos dos topologias, la discreta y la indiscreta. Es decir, se puede hacer de cualquier conjunto
un espacio topologico, incluso de un conjunto de borreguitos del campo.
Ejemplo 8 Si X = {x} , la u
nica topologa que existe es X = {{x} , }
Ejemplo 9 Si X = {a, b} , existen 4 topologas
1
a) X = P (X) = { {a} , {b} , {a, b}}
2
b) X = {{a, b} }
3
c) X
= {, {a} , {a, b}}
4
d) X
= {, {a} , {a, b}}
3
4
A las topologas X
y X
se les llama topologas de Sierpinski.
Esto son, tal vez, los espacios topologicos mas simples que podemos construir. Ahora iniciamos a ver espacios mas interesantes. Vamos a iniciar con
los espacios <n . Estos son espacios topologicos y tienen, claramente, muchas
topologias. Sin embargo, la toplogia canonica es la siguiente:
Ejemplo 10 X = <n X = {uni
on de Bolas} = {uni
on de bolas Br (x0 )}
donde Br (x0 ) = {x <n | |x x0 | < r} . Esta es la topologa can
onica de <n .
Observen que la construccion de esta toplogia se basa de hecho en la estructura metrica de <n . La demostracion de que esta u
ltima es una topologia para
<n la incluimos en la construccion de una topologia para todo espacio metrico
en la siguiente proposicion.
Proposici
on 11 Sea (X, d) espacio metrico y = {conjuntos abiertos en (X, d)} .
Entonces (X, ) es un espacio topol
ogico.
Demostraci
on. 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 union de bolas, A = B (A ) y la union de la union
K

de bolas es abierto en (X, d) .

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

i=1

Si x V implica que x Ai para todo i = 1, , n. Entonces existen

{ri > 0}i=1, ,n tales que Bri (x) Ai . Tomemos r = min {ri }i=1, ,n ,
entonces Br (x) Bri (x) para todo i = 1, , n y por tanto Br (x) Ai
para todo i = 1, , n. Esto implica que Br (x) V , i.e. V es conjunto abierto
en (X, d) .
4

Ejercicio 12 Demuestre que un todo espacio topol

ogico la intesecci
on arbitraria
de cerrados es cerrada y la uni
on finita de cerrados es cerrada.
En los espacios metricos y normados es posible definir 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 ejemplificar esto dando el concepto de lmite de una susecion.
Veamos:
Definici
on 13 Sea (X, X ) espacio topol
ogico y (xi ) una sucesi
on en X, i
Z + . Se dice que (xi ) tiene el lmite x (o converge a x) si para todo vecindad
de x, Ux X existe un entero positivo N Z + tal que xi Ux para todo
indice i N. Se denota como xi * x o lim xi = x.
Como ya vimos, todo espacio metrico es topologico, usando los abiertos
definidos por su metrica. Sin embargo, lo contrario no siempre se cumple,
no todo espacio topologico es metrico. Es en este sentido que los espacios
topologicos son mas generales que los espacios metricos. A veces es posible
definir una metrica en un espacio topologico, en este caso se dice que el espacio
topologico es metrizable, formalmente se dice que:
Definici
on 14 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:
ogico (X, X ) metrizable, para cualquier
Proposici
on 15 En todo espacio topol
par de puntos, siempre existen dos vecindades disjuntas.
Demostraci
on. (X, X ) es metrizable, implica que existe una distancia
d que induce X . Sean x, y X con x 6= 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 contradiccion. 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 espacios
topologicos tipo T2 o Hausdorff.
En ocaciones los conjuntos son productos cartesianos de espacios topologicos
o se pueden descomponer en productos cartesianos de estos. En ese caso, si cada
componente es un espacio topologico, el espacio total tambien lo sera. Este
resultado se sigue de la proposicion:
Proposici
on 16 El producto cartesiano de espacios topol
ogicos es un espacio
topol
ogico.
5

Demostraci
on. 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 .
0
0
0
0
ii) Sean W = U V y W 0 = U V , U, U X , V, V Y ,
j

para toda J, K. Entonces W W 0 = U V U V =

J

(,)JK

U U V V XY .

iii) Sea W = (U V ) XY . Entonces W =

M

(,)LM

V XY .
Al par (X Y, XY ) se le llama producto topologico de los espacios (X, X )
y (Y, Y ).
As mismo, se puede contruir un espacio topologico de un subconjunto de
un espacio topologico utilizando la topolgia del espacio original. Esto se ve en
la siguiente proposicion:
Proposici
on 17 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.
Demostraci
on. i) A ya que A = y A A ya que A X = A.
ii) Sean U X y A U A , J. Entonces A U = A U
J

A .
iii) Sean Ui X ,

i = 1, , n y A Ui A . Entonces A Ui =
i=1

A Ui A . Se sigue que (A, A ) es espacio topologico.

i=1

Notaci
on 18 A A
sobre X.

se le llama la topologa relativa o inducida por 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 capitulo.
Ejemplo 19 Sea n Z. La n-esfera S n se define como un subespacio de
<n+1 como
(
)
n+1
X 2
n
n+1
i
S = x<
|
x
=1
i=1

As,

S 0 = x < | x2 = 1 = {1, 1}
,
1
2
2
2
S = (x, y) < | x + y = 1 ,

S 2 = (x, y, z) <3 | x2 + y 2 + z 2 = 1 etc.

La topologa de S n ser
a S n = {S n U | U <n+1 } .
6

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 20 Sea (A, A ) subespacio topol
ogico de (X, X ) . V A es
cerrado en A ss V = A R con R cerrado en X.
Demostraci
on. =) V cerrado en A implica que existe W A tal que
V = A \ W, con W = A U , lo que implica que V = A \ A U = A U 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 Rc , y como Rc es abierto en X, B c es abierto
en A, es decir B es cerrado en A.

Cerradura, Interior y Frontera

En esta seccion veremos tres conceptos para distinguir regiones de nuestro espacio topologico. Si nuestro conjunto tiene una topologia, podemos distinguir la
region en donde termina el espacio, donde es adentro y afuera. Vamos a definir
estos conceptos. Iniciemos por definir un punto de adherencia.
Definici
on 21 Sea (X, X ) espacio, 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 Up X se cumple Up A 6= ,
ver figura 2.

Figure 2: Los puntos de adherencia del conjunto A. En la figura se muestran

puntos de adherencia y puntos que no son de adherencia del conjunto A.
Entonces, al conjunto de todos los puntos de adherencia se le llama la
clausura, que nos servira para definir el interior del espacio.
7

Definici
on 22 Al conjunto de puntos de adherencia se le llama clausura y
se denota por A, ver figura 3

Figure 3: Los puntos de adherencia forman la clausura del conjunto A. Hay

que comparar esta figura con la figura ??, en donde se muestran los puntos de
adherencia del conjunto A.
Comentario 23 Note que si p A, implica que Up A 6= , 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 24 A es cerrado ssi A = A.
Demostraci
on. =) Sea p A, i.e. para todo Up X se cumple
Up A 6= . Supongamos que p
/ A, entonces p Ac = X \ A X , ya que
A es cerrado. Entonces existe Vp X con Vp X \ A o sea Vp A = ,
lo cual contradice el hecho que p A, entonces p A, i.e. A A.
=) Sea q Ac y por tanto q
/ A, entonces existe Vq X con
Vq A = i.e. Vq Ac para toda q. Entonces Ac es abierto.
Corolario 25 A cerrado implica que A es cerrado.
on de todos los cerrados en X que conProposici
on 26 A es la intersecci
tienen a A.
Demostraci
on. Sea R = {R | A R , R cerrado}J . Sea x
R . Demostremos 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

8

que es un cerrado que contiene a A, entonces x M c ya que M c = R para

alg
un , lo que es una contradiccion. Por lo tanto M A 6= . 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 R .
J

Corolario 27 A es cerrado.
Ejemplo 28 Los ejemplos mas representativos y simples son en la recta real con
la topologia can
onica. Es claro que [a, b] es cerrado. La cerradura de (a, b) =
[a, b], etc.
Ejemplo 29 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.
Ejemplo 30 Un ejemplo mas interesante es el conjunto <\Z. Observemos que
<\Z = <.
Ejercicio 31 Demuestre 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 definen como:
Definici
on 32 Sea (X, X ) espacio topol
ogico y p X. p es punto interior
de A X si existe Vp X con Vp A, ver figura 4.
Definici
on 33 Al conjunto de puntos interiores de A X se le llama interior
y se denota por
A. Note que p
A implica que existe Vp X con p Vp A,

es decir A A, ver figura 5

Proposici
on 34 A es abierto ss A =
A.
Demostraci
on. =) Sea p A, implica que existe Vp X con Vp A, es
.
decir p
A se sigue entonces que A A
=) Sea p A, como A =
A, entonces existe Vp X con Vp A, esto es,
A es abierto.
Proposici
on 35
A es la uni
on de todos los abiertos de X contenidos en A .
Demostraci
on. Sea U = {U | U A. U abierto}J . Sea q U
J

entonces q U para alg

un J tal que U A, por tanto q
A, sea x
A.
Esto implica que existe Vx X con x Vx A, o sea x U , por lo tanto
xJ

A= U .
J

Figure 4: La figura muestra los puntos interiores de A y algunos que no son

puntos interiores de A. Compare esta figura con las figuras ?? y ?? anteriores
sobre puntos de adherencia.
Corolario 36
A es abierto.
Ejemplo 37 Los ejemplos mas representativos y simples de nuevo son en la
recta real con la topologia can
onica. Es claro que (a, b) es abierto. El interior
o
de [a, b] = (a, b), etc.
Ejemplo 38 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.
Ejemplo 39 Un ejemplo mas interesante es el conjunto <\Z. Observemos que
(<\Z)o = <\Z
Entonces, el interior es abierto y la cerradura es un cerrado. Para dar un
criterio de donde termina el espacio topologico, se define la frontera del conjunto.
La idea intiutiva es simple y su definicion formal es como sigue:
Definici
on 40 La frontera (topol
ogica) de A es la intersecci
on de las cerraduras de A y su complemento, se denota A, i.e.
A = A Ac
La frontera de A tiene las siguientes propiedades:
i) A es cerrado, ya que es interseccion de cerrados.
c
ii) Ac = Ac (Ac ) = Ac A = A
iii) A = AA ya que si p A y p
/ A se sigue que p Ac A Ac A = A,
lo que implica que A A A, 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 Ac .
10

Figure 5: El interior de A. Compare esta figura con la figura 3 que muestra la

cerradura de A.
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 Ac = esto implica que Ac Ac , pero como
Ac Ac , se sigue que Ac = Ac , entonces Ac es cerrado, por lo que A es abierto.
Al contrario, si A es cerrado, se sigue que A = A, A abierto implica que Ac es
cerrado y por lo tanto Ac = Ac . Entonces A Ac = A Ac = .
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.
Ejemplo 41 Tomemos de nuevo un ejemplo
T sobre la rectaTreal con la topologia
can
onica. La frontera de (a, b) = (a, b) (a, b)c = [a, b] (, a] [b, ) =
{a, b}, etc.
Ejemplo 42 Regresemos
T al conjunto
T <\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 43 Demuestre que la frontera del conjunto de los racionales o del
conjunto de los irracionales son los reales.
Para terminar esta seccion, vamos a definir un conjunto denso. Un conjunto
es denso si su cerradura es todo el espacio, esto es:
11

Definici
on 44 A es denso en X si A = X.
Ejemplo 45 Claramente <\Z no es denso en los reales, pues su cerradura no
son los reales.
Comentario 46 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).

Funciones Continuas

En esta seccion vamos a introducir conceptos tpicos de espacios normados o

metricos relacionados con funciones, pero usando solo la topologia del espacio. Vamos a iniciar con el concepto de continuidad de funciones en espacio
topologicos. Basicamente la idea es la misma que en espacios metricos, pero
como aqui no tenemos una distancia, tenemos que usar solo la exitencia 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
funcion es continua. Formalmente se tiene:
Definici
on 47 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 48 Al conjunto de funciones continuas se denota por M ap(X, Y ) =
C 0 (X, Y ).
Dado que en un espacio metrico la topologia se contruye 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 49 Son equivalentes
1) f es continua.
2) Para todo x X y Wf (x) Y existe Vx X tal que f (Vx ) Wf (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.
Demostraci
on. 1) = 2) Sean x X y Wf (x) Y ; como f es continua
x f 1 (Wf (x) ) y entonces existe Vx X tal que Vx f 1 (Wf (x) ), se
sigue entonces que f (Vx ) Wf (x) .
2) = 3) Sea b A, entonces para todo Ub X se sigue que Ub A 6= ,
entonces 6= f (Ub A) f (Ub ) f (A). Sea Wf (b) Y arbitrario, por 2)
existe Vb X con f (Vb ) Wf (b) , por lo que f (Vb ) f (A) Wf (b) f (A) es
decir f (b) f (A).

12

1
3) = 4) Sea a = f 1 (B) con B Y ; por 3 f (A)
f (A)= f (f (B)) B,
1

ya que f f (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.
c
5) = 1) Sea B Y , entonces
f 1 (B c ) =
1 Bc es cerrado en Y , como 1
1
c
(f (B)) , por 5) se tiene que f (B) es cerrado en X, o sea f (B) X .
Proposici
on 50 La composici
on de funciones continuas es continua.
Demostraci
on. Sean (X, X ) , (Y, Y ) y (Z, z ) espacios y f : X Y, g :
Y Z funciones continuas. Se tiene que si U 00 z entonces g 1 (U 00 ) Y y
por lo tanto f 1 (g 1 (U 00 )) = f g (U 00 ) Z .
Las funciones en espacios que son productos cartesianos tambien tienen un
criterio de continuidad. Estas funciones son interesantes y seran usadas mas
adelante, por ahora veamos este criterio de continuidad usando la siguiente
proposicion:
Proposici
on 51 Sean (X, X ) , (Y, Y ) y (Z, z ) espacios y f : X Y Z
funci
on. f es continua ss para todo Wf (x,y) z existe Ux X y Vy Y
tales que f (Ux Uy ) Wf (x,y) .
Demostraci
on. =) Sea Wf (x,y) Z esto implica que existe Ux
X , Vy Y con f (Ux Vy ) Wf (x,y) con Ux Vy X Y , esto implica que
para todo (x, y) X Y existe Ux Vy X Y tal que Ux Vy f 1 (Wf (x,y) )
por lo que f 1 (Wf (x,y) ) X y .
=) Sea Wf (x,y) Z , entonces f 1 (Wf (x,y) ) X y esto implica que para
todo (x, y) f (Wf (x,y) ) existe Ux Vy X Y tal que Ux Vy f 1 (Wf (x,y) ),
por tanto f (Ux Vy ) Wf (x,y) .
Mas adelante, en la contruccion de los haces, vamos a necesitar el uso de
la proyeccion, que es una funcion que mapea solo una parte de un producto
cartesiano de espacios topologicos. Vamos a introducir ahora este concepto.
Definici
on 52 Sea (X Y, X Y ) espacio producto de los espacios (X, X )
y (Y, Y ). A las funciones x : X Y X, (x, y) x y y : X Y Y,
(x, y) y se les llama las proyecciones de X Y , ver figura 6.
Proposici
on 53 x y y son continuas.
Ejercicio 54 Demostrar la proposici
on.
Definici
on 55 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.
13

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 56 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 57 Demostrar la proposici
on
Ejercicio 58 Demostar que i es continua.
El concepto mas importante en espacios topologicos es tal vez este que nos
da el concepto de isomorfismo entre espacios topologicos. Los isomorfismos
aqu son llamados homeomorfismos. Ahora vamos a introducirlos, para esto
necesitamos primero el concepto de funcion abierta. Veamos este.
Definici
on 59 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 60 Un homeomorfismo es una funci
on continua, biyectiva y abierta.
Esta difinicion nos garantiza entonces que la inversa es una funcion continua
y abierta. Es decir:
Proposici
on 61 Sea f homeomorfismo, entonces f 1 es continua.
Demostraci
on. 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.
14

Definici
on 62 Dos espacios topol
ogicos se dicen homeomorfos si entre
ellos existe un homeomorfismo. A las propiedades invariantes bajo homeomorfismos se les llama propiedad topol
ogica.
Es decir, los homeomorfismos me dan un criterio para decir cuando dos
espacios topologicos son el mismo, desde el punto de vista de espacio topologico.
Es mas, los homeomorfismos separa el conjunto de los espacios topologicos en
clases de equivalencia. Vamos a ver esto, primero veamos que la relacion: dos
espacios homeomofos es una relacion de equivalencia.
hom

Proposici
on 63 Sean (X, X ), (Y, Y ), (Z, z ) espacios. La relaci
on X Y
dos espacios son homeomorfos, es una relaci
on de equivalencia.
Ejercicio 64 Demostrar la proposici
on.
Entonces los espacios homeomorficos forman clases de equivalencia en las
cuales se conservan sus propiedades topologicas. Estas clases sirven para clasificar a los espacios topologicos. Otra propiedad interesante y muy importante es
el hecho que los homeomorfismos con la operacion de composicion de funciones
forma un grupo, llamado el grupo de automorfismos. Veamos esto.
Proposici
on 65 Sea (X, X ) espacio topol
ogico y
Aut (X) = {f | f : X X homeomorfismo}. Entonces el par (Aut(X), )
es un grupo llamado el grupo de automorfismos de X.
Ejercicio 66 Demostrar la proposici
on.
Para terminar esta seccion veamos ahora el concepto de camino y trayectoria.
Estos conceptos son muy usados para definir geodesicas y conceptos relacionados
con este. Formalmente, la definicion de camino o trayectoria es:
Definici
on 67 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 imagne de una trayectoria, esto es:
Definici
on 68 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 funcion misma
mientras que la curva es la imagen de la funcion. Son conceptos muy distintos,
el primero es un elemento del conjunto de funciones y el segundo es un subconjunto del codominio de la funcion. Por otro lado, una reparametrizacion es una
composicion de la curva con un automorfismo monotono cresciente del dominio
I de < de la curva, es decir:
Definici
on 69 Sea Aut+ (I) = {f Aut(I) | f (t0 ) > f (t), t0 > t} y c
0
C (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.
15

Lo interesante de este concepto es que las curvas (no los caminos) son invariantes ante estos automorfismos, es decir:
Proposici
on 70 Las curvas son invariantes bajo reparametrizaciones.
Demostraci
on. 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 .
Ejemplo 71 Al camino c(t) = p
stante.

para todo t I se le llama camino con-

Ejemplo 72 Sea c : [0, 1] X con c(0) = c(1) = p. A este camino se le llama

lazo o loop en X.

Topologa cociente

Imaginemos que podemos construir una funcion entre dos conjuntos y que el
dominio tiene una topologia. Entonces podemos mapear los abiertos del dominio
al codominio y definir estos como abiertos del codominio. Surge la pregunta si
ahora las imagenes de estos abiertos forman una topologia para el codominio.
La respuesta la podemos dar en la siguiente proposicion.
Proposici
on 73 Sean (X, X ) espacios Y conjunto
y f : X Y funci
on sobre.

El conjunto f = V P (Y ) | f 1 (V ) X es una topologa para Y , llamada

topologa cociente de Y respecto a f .
Demostraci
on. 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 V1 , , Vn f , entonces f 1 (ni=1 Vi ) = ni=1 f 1 (Vi ) X se sigue
que ni=1 Vi f ya que cada f 1 (Vi ) X ;
iii) Sea {V }K con V f . Entonces f 1 ( V ) = f 1 (V ) X
K

pues cada f 1 (V ) X , se sigue entonces que V f .

Vamos a dar unos ejemplos de como podemos construir espacios topologicos

usando mapeos sobre. Para hacer esto, lo importante es contruir la funcion sobre
con la cual contruimos el espacio topologico del codominio. Sea (X, X ) espacio
topologico y una relacion de equivalencia en X. La funcion p = X X/
es una funcion sobre que asocia a cada elemento de X, x [x] su clase. La
topologa X/ = {V P (X/ ) | p1 (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:
Ejemplo 74 Sea la relaci
on de equivalencia pr1 q si p = q <2 i.e. (x, y) =
0 0
(x , y ) ,
o si p 6= q (p, q) = ((0, y), (1, y))
o ((1, y), (0, y)) y la relaci
on
pr2 q como p = q
o si p 6= q, (p, q) = ((0, y), (1, 1 y))
o ((1, y), (0, 1 y)) .
Gr
aficamente se ve en las figura 7 y figura 8.
16

Figure 7: El producto cartesiano de los intervalos [1, 1] [1, 1] con la relacion

r1 , es topologicamente igual al cilindro.

Cilindro=

I I/r1 , II/r1

Cinta de M
obius=

I I/r2 , II/r2

2
Ejemplo 75 Sea I = (x, y) <2 | 0 x, y 1 . Sea la relaci
on pr3 q si
p = q,
o p 6= 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 pr4 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
aficamente se ve en las
figura 9 y figura 10
2

Toro= I /r3 , 2
Botella de Klein= I /r4 , 2
I /r3
I /r4

Espacios Compactos

Entre las nociones intuitivas que tenemos de conjuntos, exiten dos clases que
se diferencian notablemente. Existe espacios como < que no tienen fin y otros
como la esfera que son finitos. Por supuesto, desde el punto de vista matematico
podemos dar una diferenciacion de estos espacios, ya que no es lo mismo que
un conjunto no tenga fin o principio o que este conjunto sea simplemten 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 numero finito de abiertos. La definicion formal
es:
Definici
on 76 Sean (X, X ) espacio topol
ogico y A X. A es un conjunto
compacto si toda cubierta U de A contiene una subcubierta finita.
Proposici
on 77 Sean (X, X ), (Y, Y ) espacios y f : X Y funci
on continua. Entonces la imagen de subconjuntos compactos de X son subconjuntos
compactos de Y .
17

Figure 8: De la misma forma, el producto cartesiano de los intervalos [1, 1][1, 1]

con la relacion r2 , es topologicamente igual a la cinta de Mobius
Demostraci
on. Sea A subconjunto
compacto
de X y sea V = {V }K una

cubierta de f (A), entonces V 1 = f 1 (V ) K es una cubierta de A. Como

N
A es compacto, existe una cubierta finita de A, U = f 1 (Vj ) J=1 , subcubierta

1
de V 1 . Como f f 1 (Vj ) Vj tenemos que f (A) f N
(Vj ) N
j=1 f
j=1

N
f f 1 (Vj ) N
V
,
por
lo
que
{V
}
es
una
cubierta
finita
de
f
(A).
j
j
j=1
J=1
El punto mas importante de los espacio compacto es el hecho que:
ogica.
Proposici
on 78 Ser espacio compacto es una propiedad topol
Demostraci
on. Solo daremos una idea de la demostracion. Se desprende
del hecho que si X es compacto, f (X) lo es y si f es homeomorfismo, 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
proposiciones, de la segunda no daremos su demostracion, se puede verificar
la propiedad de compacto en muchas ocaciones. Comencemos por la siguiente
proposicion.
Proposici
on 79 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.
Demostraci
on. 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 80 [0, 1] < es compacto.
Demostraci
on. Sin Dem.
Otra propiedad que ayuda a verificar si un espacio es o no compoacto es la
siquiente:
18

Figure 9: El producto cartesiano de los intervalos [1, 1] [1, 1] con la relacion

r3 , es topologicamente igual al Toro.
Proposici
on 81 Todo subconjunto cerrado de un espacio compacto, es compacto.
Demostraci
on. Sea A subconjunto cerrado de X y sea U = {U }J
una cubierta de A. A cerrado implica que Ac X y Uext = {U , Ac }J es
una cubierta de X, ya que A U . Si X es compacto, entonces existe
J

una subcubierta finita V de Uext . Vext = {Vi , Ac }i=1 que cubre X. Por tanto
N
V = {Vi }i=1 es cubierta finita de A, ya que para todo Vj Vext existe Ur Uext
tal que Vj = Ur , es decir, A es compacto.
Tambien es facil imaginarse que el producto cartesiano de espacios compactos, es compacto. Formalmente se tiene la siguiente proposicion:
Proposici
on 82 El producto topol
ogico (X Y, xy ) es compacto s cada (X, X )
y (Y, y ) es compacto.
Demostraci
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.
=) Sin Dem.
De estas propiedades resultan algunos ejemplos y resultados sencillos. Por
N
ejemplo tenemos que el n-cubo es compacto, i.e. I <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 definir conjuntos acotados en los reales, utilizando su norma canonica.
Intuitivamente, un espacio compacto debe ser acotado, finito. Formalmente se
tiene la definicion:
Definici
on 83 Sea A subconjunto de (<n , <n ) y n Z + . Se dice que A es un
conjunto
acotado si para todo x = (x1 , , xn ) A, existe K <+ , tal que
i
x K para todo i = 1, , xn .
19

Figure 10: De la misma forma, el producto cartesiano de los intervalos [1, 1]

[1, 1] con la relacion r4 , es topologicamente igual a la Botella de Klein.
Con el siguiente teorema podemos relacionar entonces ambos conceptos.
Teorema 84 (de Heine-Borel) Todo subconjunto de <n cerrado y acotado,
es compacto.
n hom

Demostraci
on. A acotado A [K, K] u I para alg
un K. A
n
cerrado y [K, K] compacto implica A compacto.
Ahora usemos lo anterior para verificar si algunos espacios son compactos,
veamos algunos ejemplos.
n

Ejemplo 85 I <n es cerrado y acotado, por lo tanto es compacto.

Ejemplo 86 S n Rn+1 es cerrado y acotado, por lo tanto es compacto, etc.
Otro concepto interesante, que solo mensionaremos, es el de espacios paracompactos. Para definirlo, es necesario introducir la siguiente definicion.
Definici
on 87 Una familia F de subconjuntos de (X, X ) es localmente finita
o finita por vecindades, si para todo x X existe Ux X tal que Ux intersecta a lo mas un n
umero finito de elementos de F.
Definici
on 88 Un refinamiento de U es una cubierta V = {V }K de (X, X )
tel que para todo V V existe U U con V U . Se denota por {V }J <
{U }J .
Proposici
on 89 Toda subcubierta de una cubierta es un refinamiento.
Demostraci
on. Sea V una subcubierta de U, esto implica que para todo
V V existe U U con V = U U .
20

Definici
on 90 Un espacio es paracompacto si toda cubierta tiene un refinamiento finito por vecindades.
Este concepto, en cierta forma, es mas general que el concepto de espacos
compactos, ya que:
Proposici
on 91 Todo espacio compacto es paracompacto.
Demostraci
on. X compacto implica que toda cubierta U de X tiene una
subcubierta finita, esto quiere decir que cualquier vecindad Ux de x X intersecta a lo mas un n
umero finito de elementos del refinamiento V de U.
Los espacios que no son compactos, se pueden en ocaciones, compactificar.
La forma mas simple de entenderlo es dando un ejemplo sencillo. Imaginemos
la recta real, la cual se extiende indefinidamente hacia los numeros 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 numero que representa el infinito (en
los reales, el infinito 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.

Proposici
on 92 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.
Demostraci
on. Sin Dem.

Notaci
on 93 A la topologa = X {V {}}V K con K = {abiertos con
complemento compacto en X} se le llama la compactificaci
on por un punto
de (X, X ) o simplemente compactificaci
on de X.
Ahora veamos el ejmplo de la compactificacion de la recta real formalmente.
Lo que vamos a hacer es agregarle un punto a la recta real, que podemos llamar
tambien el infinito, pero puede ser lo que sea. Y luego definimos un hemeomorfismo que vaya del crculo a la recta real. Asi demostramos que el crculo es
una compatificacion de la recta real. Aqu daremos el ejemplo mas general de
la compactificacion de <n , esto es:

on por un punto de <n est

a dada por <n = <n
Ejemplo 94 La compactificaci
{}, veamos esto.
21

Consideremos la funci
on:
n
: S n <
es decir

x , , xn / 1 xn+1
si x 6= (0, , 0, 1)
: x1 , , xn+1

si x = (0, , 0, 1)
n S n dada por
el cual es un homeomorfismo, con inversa 1 : <

1
1
1+(x1 )2 ++(x
x , , xn
2x , , 2xn , (x1 )2 + + (xn )2 1
n )2
1
:

(0, , 0, 1)
hom

hom

n . Ejemplos de esto son el crculo S 1

y la esfera
Entonces S n
= <
= <
hom
<
2 = <2 {}
S2 =
= C {} llamada esfera de Riemann, etc. A la
funci
on se le llama proyecci
on estereogr
afica. Ver figura 11

Figure 11: La proyeccion estereografica en el plano. Esta funcion proyecta los

puntos del circulo 1 -1 en la lnea recta. De la misma forma, la proyeccion
estereografica proyecta 1 -1 cualquier esfera de dimension arbitraria (finita) en
un plano de la misma dimension.
Para terminar esta seccion daremos una clasificacion interesante de los espacios topologicos seg
un su estructura.
Definici
on 95 Sea(X, X ) espacio topol
ogico.
Se dice que X es espacio T0 si para todo x, y X, x 6= y, existe Ux con
y
/ Ux
o existe Uy con x
/ Uy
Se dice que X es espacio T1 si para todo x, y X, x =
6 y, existe Ux y
Uy con y
/ Ux y x
/ Uy

22

 Se dice que X es espacio T2 o Hausdorff si para todo x, y X, x 6= y,

existe Ux , Uy con Ux Uy =
Se dice que X es espacio T3 o espacio regular, si X es T1 y si para
todo x X y F cerrado en X con x
/ F , existe Ux y U en X con F U y
Ux U =
Se dice que X es espacio T4 o espacio normal , si X es T1 y para
todo F, G cerrados disjuntos en X, existe U, V X tal que U V = y
F U, G V , ver figura 12.

Figure 12: Clasificacion de los espacios topologicos.

Ejercicio 96 Muestre que todo espacio T2 es T1
23

Ejercicio 97 Muestre que todo espacio T1 es T0

Ejercicio 98 Muestre que todo espacio metrizables es T2
Ejercicio 99 Muestre que todo espacio metrico es Hausdorff.

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
espacios conexos. Para definir los espacios conexos es mas sencillo definir los
espacios disconexos, es decir:
Definici
on 100 Un espacio topol
ogico (X, X ) es disconexo si existen A, B
X tales que A, B 6= , A B = X y A B = .
Definici
on 101 Un espacio es conexo si no es disconexo.
ogico y A X (subespacio). A es
Definici
on 102 Sea (X, X ) espacio topol
conexo si lo es como subespacio topol
ogico de X.
Algunos ejemplos simples son:
Ejemplo 103 El espacio de Sierpinski es conexo, ya que X = {a, b} y X =
{ {a, b} , {a}}, siempre {a, b} {a} = X y {a, b} {a} = .
Ejemplo 104 La topologa discreta es disconexa, ya que para todo A 6= , X
con A P (X), Ac P (X) y A Ac = , con A Ac = X
Por definicion, 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 105 Sea (X, X ) espacio. X es conexo, ss los u
nicos abiertos y
cerrados a la vez son X y , adem
as no existe f C 0 (X, {0, 1}) sobre.
Demostraci
on. Sin Dem.
Finalmente, ser conexo es tambien una propiedad topolologica. Para ver
esto, veamos la siguiente proposicion.
Proposici
on 106 La imagen continua de conexos es conexa.
Demostraci
on.
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 hipotesis.
Proposici
on 107 Ser conexo es una propiedad topol
ogica.
24

Demostraci
on. Basta tomar un homeomorfismo, como es sobre y continuo,
la imagen de un conexo sera conexa y lo mismo para la inversa.
Vamos a ver algunos ejemplos representativos:
Ejemplo 108 Todos los intervalos en < son conexos.
hom

Ejemplo 109 < es conexo, ya que <

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

25