INTRODUCCION A LA TOPOLOGIA

Gua teorico-practica

Centro de Matematica
Facultad de Ciencias
Universidad de la Republica

14 de julio de 2016
 Estas notas son una gua del curso Introduccion a la Topologa en la modalidad
teorico-practica. Fueron elaboradas para el curso en el 2016 a cargo de Diego Armentano
y Emiliano Sequeira.
La mayora de los contenidos fueron elaborados en 2016, pero se basaron en material
de cursos anteriores de Alvaro Rovella y Alejandro Passeggi.
Los ejercicios estan numerados por captulos.
Los ejercicios que estan notados con * tienen cierta dificultad y se sugiere comple-
mentar con bibliografa para resolverlos.
Nota sobre modalidad teorico-practica:
Los ejercicios fueron abordados durante el curso por los estudiantes con la colabora-
cion de los docentes del curso. El pizarron fue utilizado para discutir algunos ejercicios
particulares, para motivar algunas definiciones, y para realzar algunas pruebas de teo-
remas o resultados que presentaban dificultades o ideas nuevas que estuvieran fuera
del alcance de los estudiantes.
Bibliografa

 J. Munkres Topology

 K. Janich Topology

 A. Hatcher Notes on Introductory Point-Set Topology

 B. Abadie Introduccion a la Topologa

 O. Viro, Ivanov, etal. Elementary Topology Problem Textbook

 E. Lages Lima Espacios Metricos

1
Indice general

1. CONJUNTOS 4
1.1. Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2. Relaciones de Equivalencia. . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3. Relaciones de Orden . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4. Ordenes de Infinitos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5. Producto Cartesiano y Axioma de Eleccion. . . . . . . . . . . . . . . . 10

2. ESPACIOS TOPOLOGICOS 12
2.1. Motivacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.2. Definiciones y Propiedades Basicas. . . . . . . . . . . . . . . . . . . . . 13
2.3. Bases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.4. Axiomas de Numerabilidad . . . . . . . . . . . . . . . . . . . . . . . . . 17

3. FUNCIONES CONTINUAS y HOMEOMORFISMOS 20

3.1. Funciones Abiertas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.2. Continuidad en Espacios Metricos . . . . . . . . . . . . . . . . . . . . 22
3.3. Identificacion de Algunas Superficies . . . . . . . . . . . . . . . . . . . 22

4. TOPOLOGIA PRODUCTO 24
4.1. Producto Finito de Espacios . . . . . . . . . . . . . . . . . . . . . . . . 24
4.1.1. Proyecciones y fibras . . . . . . . . . . . . . . . . . . . . . . . . 24
4.1.2. Producto cartesiano de mapas . . . . . . . . . . . . . . . . . . . 25
4.1.3. Ejemplos y aplicaciones . . . . . . . . . . . . . . . . . . . . . . 26
4.2. Producto Infinito de Espacios . . . . . . . . . . . . . . . . . . . . . . . 26
4.2.1. Funciones del intervalo en el intervalo . . . . . . . . . . . . . . . 27

5. ESPACIOS METRICOS 28
5.1. Definicion y Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
5.2. Topologa Metrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
5.2.1. Funciones continuas . . . . . . . . . . . . . . . . . . . . . . . . . 31
5.3. Topologas Metrizables . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
5.4. Continuidad Uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
5.5. Completitud . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33

2
 5.5.1. Sucesiones de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . 33
5.5.2. Espacios metricos completos . . . . . . . . . . . . . . . . . . . . 33
5.5.3. Espacios topologicos metrizablemente completos y Teorema de
Baire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
5.6. Completacion de Espacios Metricos . . . . . . . . . . . . . . . . . . . . 38
5.7. Miscelanea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39

6. AXIOMAS DE SEPARACION 43

7. CONEXION 45
7.1. Espacios Topologicos Conexos . . . . . . . . . . . . . . . . . . . . . . . 45
7.2. Componentes Conexas . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
7.3. Conexion Local . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
7.4. Conexion por Caminos . . . . . . . . . . . . . . . . . . . . . . . . . . . 48

8. COMPACIDAD 50
8.1. Definicion y Generalidades . . . . . . . . . . . . . . . . . . . . . . . . . 50
8.1.1. Compactos de la recta . . . . . . . . . . . . . . . . . . . . . . . 51
8.1.2. Compacidad en espacios Hausdorff . . . . . . . . . . . . . . . . 51
8.1.3. Producto de espacios compactos . . . . . . . . . . . . . . . . . . 52
8.2. Caracterizacion de Compacidad en Espacios Metricos . . . . . . . . . . 53
8.2.1. Espacios totalmente acotados . . . . . . . . . . . . . . . . . . . 53
8.2.2. Bolzano-Weierstrass y compacidad secuencial . . . . . . . . . . 54
8.2.3. Numero de Lebesgue de un cubrimiento . . . . . . . . . . . . . . 55
8.3. Espacios Localmente Compactos . . . . . . . . . . . . . . . . . . . . . . 55
8.3.1. Compactificacion por un punto . . . . . . . . . . . . . . . . . . 56
8.4. Miscelanea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
8.4.1. Propiedad de interseccion finita . . . . . . . . . . . . . . . . . . 56
8.4.2. Distancias a conjuntos . . . . . . . . . . . . . . . . . . . . . . . 57
8.4.3. Dimension infinita vs dimension finita. . . . . . . . . . . . . . . 57

9. TOPOLOGIA COCIENTE 58
9.1. Topologa Final y Topologa Cociente . . . . . . . . . . . . . . . . . . . 58
9.1.1. Propiedad universal del cociente y ejemplos . . . . . . . . . . . 58
9.2. Colapsado de Subespacios y Pegado de Espacios . . . . . . . . . . . . . 59
9.3. Miscelanea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

3
Captulo 1

CONJUNTOS

Comenzaremos este captulo haciendo un breve repaso sobre teora de conjuntos y

funciones.

1.1. Funciones
En las siguientes lineas vamos a repasar las definiciones basicas asociadas a una
funcion.

Definiciones.  Una funcion f : A B entre dos conjuntos A y B, es un sub-

conjunto de A B que verifica que para todo a A, existe un unico b B tal
que (a, b) pertenece al subconjunto. En tal caso b lo denotamos por f (a).

 El grafico de f se define por G(f ) := {(a, b) : b = f (a)}. (Observar que estamos

abusando notacion dado que formalmente la funcion f es G(f ).)

 La imagen de f se define como el subconjunto de B definido por

Im(f ) := {b B : a A, f (a) = b}.

 Si A0 A, definimos la restriccion de f a A0 como la funcion f |A0 : A0 B que

coincide con f en A0 , i.e., f |A0 (a0 ) = f (a0 ) para todo a0 A0 .

 Si A0 A, definimos f (A0 ) := Im(f |A0 ) B.

 Si B 0 B, definimos la imagen inversa de B por f como el subconjunto de A

definido por
f 1 (B 0 ) := {a A : f (a) B 0 }.

 Decimos que f : A B es inyectiva si siempre que a 6= a0 en A, se tiene

f (a) 6= f (a0 ).

4
  Decimos que f : A B es sobreyectiva si para todo b B, existe a A tal que
f (a) = b.

 Decimos que f : A B es biyectiva si es inyectiva y sobreyectiva.

 Dadas f : A B 0 , y g : B C, donde B 0 B, definimos la composicion de f

y g a la funcion g f : A C definida por (g f )(a) := g(f (a)), a A.

 Dado un conjunto A definimos la funcion identidad idA : A A como la funcion

que satisface idA (a) = a para todo a A.

 Dada f : A B biyectiva, entonces definimos la inversa de f como la funcion

f 1 : B A, tal que f 1 f = idA . (Observar que tambien vale f f 1 = IdB ).

y A es un conjunto para cada I, entonces: ( A )c = Ac

S T
1.1.
TSi I ces unSconjunto
y ( A ) = Ac .

1.2. Sea f : X Y una funcion, A X, B Y , {A } una coleccion de subconjuntos

de X y {B } una coleccion de subconjuntos de Y .

a) Tomar preimagenes preserva las operaciones con conjuntos:

f 1 ( B ) = f 1 (B )
S S

f 1 ( B ) = f 1 (B )
T T

f 1 (B c ) = (f 1 (B))c .

b) En el caso de las imagenes se tiene:

S S
f ( A ) = f (A )
T T
f ( A ) f (A ).

Mostrar que la inclusion puede ser estricta e investigar bajo que hipotesis sobre
la f la inclusion es siempre una igualdad. Comparar f (Ac ) con [f (A)]c .

c) Probar que f 1 (f (A)) A y que f (f 1 (B)) B. Mostrar que las inclusiones

pueden ser estrictas y averiguar cuando vale la igualdad.

1.3. Si {An : n N} es una coleccion de subconjuntos de X, entonces defina el lmite

superior: \ [
lm sup An = Ak
n
n0 kn

y el lmite inferior: [ \
lm inf An = Ak
n
n0 kn

Probar que

5
 T S
a) n An lm inf An lm sup An n An .
b) S
Si An es una sucesion creciente de conjuntos, entonces lm inf
T An = lm sup An =
An . Si es decreciente, entonces lm inf An = lm sup An = An
c) Se tiene x lm sup An si y solo si x pertenece a infinitos An . Ademas x
lm inf An si y solo si x pertenece a todos salvo una cantidad finita de los An .
d) Sea {an : n 0} una sucesion de numeros reales. Sea An = (, an ). Que dan el
lmite superior y el lmite inferior de los conjuntos An ? Repetir el ejercicio para
A0n = (, an ] y para Bn = (an , +)

1.2. Relaciones de Equivalencia.

Definiciones.  Una relacion en X es un subconjunto del producto cartesiano
X X. Dada una relacion R X X escribiremos xRy cuando (x, y) R.
 Una relacion de equivalencia en X es una relacion R que cumple con las siguientes
propiedades:
a) xRx para todo x X (reflexiva)
b) xRy implica yRx (simetrica)
c) xRy y yRz implica xRz (transitiva)
Para notar las relaciones de equivalencia suelen usarse smbolos como , ,
= o .
Ejemplo 1.2.1. Dado un entero no nulo n, definimos en Z la relacion n por a n b
si y solo si a b es multiplo de n. Es sencillo probar que se trata de una relacion de
equivalencia. La denominamos congruencia modulo n.
Definicion. Consideremos una relacion de equivalencia en X. La clase de equiva-
lencia de un elemento x0 X, se define como el subconjunto de X formado por

[x0 ] := {x X : x x0 }.

Al conjunto formado por las clases de equivalencia {[x] : x X} se denomina conjunto

cociente.
1.4. Describir Zn , el conjunto cociente de la congruencia modulo n.
1.5. En R diremos que x y si y solo si x y Z. Probar que es una rela-
cion de equivalencia. Interpretar geometricamente el conjunto cociente. Que sucede si
consideramos la misma relacion de equivalencia cambiando R por Z?
1.6. * En R2 ponemos la siguiente relacion: (x1 , x2 ) (y1 , y2 ) si y solo si (x1 , x2 )
(y1 , y2 ) Z2 . Al conjunto cociente se le denomina toro 2-dimensional T2 . Observar que
T2 puede ser identificado con la superficie de la dona.

6
1.7. * El toro tambien puede obenerse identificando los lados opuestos de un rectangu-
lo. Encontrar la relacion de equivalencia adecuada en el rectangulo de forma tal que
el cociente sea el toro. Pensar de que forma podramos obtener otras superficies (bi-
toro, tritoro, etc) como cociente de un polgono por una relacion de equivalencia que
identifique pares de lados.

1.8. (Plano proyectivo) En R2 {0} ponemos la siguiente relacion: x y si y solo

si existe 6= 0 tal que x = y. Probar que es una relacion de equivalencia, y des-
cribir geometricamente el conjunto de clases de equivalencia. El conjunto cociente se
denomina plano proyectivo real y se nota P(R2 ), o P1R .

Si X es un conjunto, P(X) denota el conjunto de todos los subconjuntos de X.

Definicion. Una particion en un conjunto X es una familia de subconjuntos A P(X)

que cumple:
S
a) AA A = X.
T
b) A B = A, B A.

1.9. El conjunto cociente de una relacion de equivalencia en X es siempre una particion

de X y que para toda particion en X existe una relacion de equivalencia cuyo cociente
es dicha particion.

1.3. Relaciones de Orden

Definicion. Un orden, tambien dicho orden parcial, es una relacion R en un conjunto
X que cumple dos propiedades:

a) xRy y yRz implica xRz (transitiva)

b) xRy y yRx implica x = y (antisimetrica)

Ejemplo 1.3.1. Si Z es un conjunto cualquiera y P(Z) denota al conjunto de los

subconjuntos de Z Se define R P(Z) P(Z) como ARB si y solo si A B. Notar
que R es una relacion de orden parcial.

Ejemplo 1.3.2. Sea X = {1, . . . , n} con la relacion R = X X. No es de orden.

Definicion. Una relacion es de orden total si dados x e y, dos elementos distintos de

X, se cumple que xRy o yRx. Notar que en el ejemplo anterior (de la inclusion) el
orden no es total.

En general se usa una notacion mas sugestiva: se escribe por ejemplo x  y. En-
tonces suele ponerse (X, ) para determinar que se ha considerado en X el orden ,

7
y se llama al par (X, ) un conjunto ordenado. En los reales R se tienen los ordenes
usuales , <, , >. Notar que todos son ordenes totales.
Otro ejemplo es el orden producto, de dos conjuntos ordenados (X, X ) y (Y, Y ),
definido como (x, y)  (x0 , y 0 ) si y solo si x X x0 y y Y y 0 . Probar que es un orden
parcial y observe que aunque ambos sean totales, el orden producto no lo es. Para
definir un orden total en el producto de dos conjuntos ordenados, se define el orden
lexicografico o de diccionario: (x, y)  (x0 , y 0 ) si x X x0 o bien x = x0 y y Y y 0 . Como
ejercicio, hacer un dibujo en R2 del conjunto de los (x, y)  (2, 1), cuando es el orden
producto y cuando es el orden lexicografico (considerando en R el orden >).
Si (X, ) es un conjunto ordenado, e Y es subconjunto de X, entonces Y hereda el
orden . Estudiar de que forma sucede esto.
Definiciones.  Si Y es subconjunto de X decimos que a X es cota de Y si
a  y para todo y Y ; a es maximo de Y si ademas a Y .

 Un elemento a Y es maximal en Y si se cumple que: Para todo y Y tal

que y  a se tiene y = a. Ver abajo en los ejercicios la diferencia entre maximo,
maximal y cota.

 Un elemento x X tiene sucesor inmediato si el conjunto de los s X \ {x}

tales que s > x tiene mnimo (cuya definicion dejamos a cargo del lector).

 Ahora, un conjunto totalmente ordenado (X, ) es un buen orden si se cumple

que todo subconjunto tiene mnimo. Por ejemplo (R, ) no es. Pero (N, ) s lo es.

1.10. Sea Z+ el conjunto de los enteros positivos. Se consideran los siguientes ordenes
en el producto Z+ Z+ :
a) (x, y)  (x0 , y 0 ) si y x > y 0 x0 o bien y x = y 0 x0 y y > y 0 .
b) (x, y)  (x0 , y 0 ) si x + y > x0 + y 0 o bien x + y = x0 + y 0 y y > y 0 .
Probar que son ordenes totales. Que elementos tienen un sucesor inmediato? Hay
elementos maximos? Probar que los ordenes no son equivalentes entre s , ni al orden
lexicografico. (Dos conjuntos ordenados (X, X ) y (Y, Y ) son equivalentes si existe
una biyeccion h : X Y tal que h(x) Y h(x0 ) si y solo si x X x0 .)
1.11. Considere X = P(N) con el orden de inclusion, es decir A  B si A B.
a)  es un orden parcial, que no es total, y existe un elemento mnimo y un elemento
maximo.

b) Sea Y el subconjunto de X definido por A Y si A tiene menos de 32 elementos.

Averiguar si tiene maximo, si tiene elementos maximales y elementos minimales.

c) Hallar un subconjunto infinito de X que sea totalmente ordenado.

d) Hallar un subconjunto de X que sea acotado pero que no tenga elemento maximal.

8
1.12. Sea X = {n N : n 2} con la relacion de orden m n si m divide a
n. Probar que es efectivamente una relacion de orden y hallar elementos maximales y
minimales, si es que existen.

1.4. Ordenes de Infinitos.

Intuitivamente se define el cardinal de un conjunto como la cantidad de elemen-
tos del conjunto. Claro que los conjuntos infinitos en principio no se pueden contar
para decir cual tiene mas elementos. Pero la cosa se pone interesante con la siguiente
definicion:

Definicion. Decimos que un conjunto X es equipotente a otro Y si existe una funcion

biyectiva de X en Y .

Esta sera una relacion de equivalencia si no fuera por un detalle: no existe el con-
junto de todos los conjuntos. As que obviemos este problema suponiendo que tenemos
una determinada coleccion A de conjuntos y observemos que la relacion es de equiva-
lencia en A. A cada clase de equivalencia le llamamos numero cardinal. As, el numero
natural 2 puede ser visto como un numero cardinal, es decir, como la clase de todos
los subconjuntos de A que cuentan con 2 elementos. Tambien se usa decir que dos
conjuntos equipotentes tienen el mismo cardinal.
Lo mas interesante es que se puede definir un orden entre los numeros cardinales.
Decimos que un cardinal x es mayor o igual que y (que notaremos x y) si existe un
conjunto X en la clase x y uno Y en la clase y y una funcion inyectiva de Y a X. Para
probar que es una relacion de orden usamos sin demostracion el siguiente:

Teorema (Bernstein). Si existe una funcion inyectiva de X a Y y existe una funcion

inyectiva de Y a X, entonces existe una funcion biyectiva de X a Y , o sea, X e Y son
equipotentes.

1.13. a) Demostrar que esta bien esa definicion de orden en el conjunto de los
numeros cardinales, es decir, que no depende de la eleccion de los representantes
de x y de y.

b) Usando el teorema de Bernstein, probar que es una relacion de orden. Investigar

si esta relacion corresponde a un orden total. Pensaremos que A es el conjunto
de todos los subconjuntos de N.

Definicion. Un conjunto X se dice numerable si es finito o equipotente a N.

Ejemplo 1.4.1. El conjunto de los numeros pares es numerable, y Z tambien.

1.14. Los siguientes conjuntos son numerables: N N, los racionales, la union de

conjuntos numerables, el conjunto de los numeros algebraicos (races de polinomios de
coeficientes enteros), el conjunto de todos los subconjuntos finitos de N.

9
1.15. La existencia de una funcion f : A N inyectiva es condicion necesaria y
suficiente para que A es numerable.
1.16. Supongamos que existe f : N A sobreyectiva. Entonces A es numerable.
1.17. * El conjunto formado por todas las sucesiones de ceros y unos (denotado 2N )
no es numerable. Luego el intervalo (0, 1) es equipotente a 2N , de donde se deduce que
R es equipotente a 2N , y por lo tanto, R no es numerable.
1.18. Sea X un conjunto. Entonces 2X es equipotente a P(X). Deducir que R es
equipotente al conjunto de todos los subconjuntos de N.

1.5. Producto Cartesiano y Axioma de Eleccion.

Definicion. Dado un conjunto de ndices I y un conjunto X para cada I, se
define el producto cartesiano de los conjuntos X como
[
I X = {f : I X : f () X I}
I

Por ejemplo, si X es un conjunto y I = {1, . . . , n} entonces el producto 1kn X

no es otra cosa que el conjunto de las n-uplas ordenadas de elementos de X, o sea, es lo
que habitualmente se llama X n . En general, si todos los X son iguales a un conjunto
X entonces escribimos X I como abreviacion para I X. Note que X I es el conjunto
de todas las funciones de I en X.
1.19. Determinar cuales de los siguientes conjuntos son numerables:
a) Z[0,1]

b) [0, 1]Z

c) ZZ

d) El conjunto de funciones de Z en R que valen 0 salvo para finitos n Z.

e) El conjunto de funciones de Z en Z que valen 0 salvo para finitos n Z.

1.20. Hallar una sucesion de conjuntos infinitos Xn tales que el cardinal de Xn+1 es
mayor que el de Xn . Despues hallar un conjunto Z que tenga mayor cardinal que todos
los Xn .
El Axioma de eleccion dice que cualquiera que sea el conjunto I, si para cada I
se cumple que X es no vaco, entonces I X es distinto del vaco. En otras palabras,
si todo X es no vaco, entonces existe un objeto (una funcion) que consiste en elegir un
elemento de cada conjunto. As dicho parece que no debiera ser un axioma. La teora
de conjuntos es un area intrincada de la matematica.

10
1.21. Si A es infinito, entonces existe f : N A inyectiva. (Sugerencia: una manera de
formalizar la construccion es observar que si P(A) es las partes de A menos el vaco,
entonces usando el axioma de eleccion podemos Q elegir un punto de cada conjunto

B P(A) . Para eso basta ver que existe g BP(A)0 B, con g(B) B.)
1.22. Probar que un conjunto es infinito si y solo si es equipotente a un subconjunto
propio.
Lema (Zorn). Sea (X, ) un conjunto parcialmente ordenado. Si todo subconjunto
totalmente ordenado tiene cota superior, entonces existe un elemento maximal en X.
El Axioma de eleccion se usa en la demostracion del Lema de Zorn, son de hecho
equivalentes. La demostracion de estos hechos es algo complicada y no la haremos en
este curso, (ver 1.24 donde se prueba que el Lema de Zorn implica el Axioma de elec-
cion). Por otro lado, el Axioma de eleccion es tambien equivalente al principio de buena
ordenacion, que dice que todo conjunto puede ser bien ordenado, es decir, si X es un
conjunto, existe en X un buen orden. Es posible por lo tanto, hallar un orden en R
que es un buen orden. Se tiene entonces que todo subconjunto tiene un mnimo, por lo
tanto, R tendra un mnimo x0 , luego R \ {x0 } tendra un mnimo x1 y as sucesivamente
hasta agotar los reales.

1.23. Usar el Axioma de eleccion para demostrar que si f : X Y es una funcion

sobreyectiva, entonces existe una inversa por derecha de f , es decir, una funcion g :
Y X tal que f g = idX .
Probar que si f : X Y es inyectiva, entonces f tiene una inversa por izquierda; se
precisa el Axioma de eleccion?
1.24. Probar el Axioma de eleccion S usando el Lema de Zorn. Idea: Se quiere probar
que existe una funcion de I en I X tal que () X para todo I. Sea
F el conjunto de las funciones f definidas en algun subconjunto Df de I tales que
f () X para todo Df . Probar que este conjunto es no vaco. Luego se ordena F
de la siguiente manera: decimos que f g si Df Dg y f () = g() para todo Dg
(es decir, f g si f es una extension de g). Probar que eso da un orden parcial en F y
que todo subconjunto linealmente ordenado tiene una cota. Usando Zorn deducir que
hay un elemento maximal y concluir.
1.25. Probar el siguiente principio
Teorema (Induccion transfinita). Sea (X, >) un conjunto bien ordenado, y P una
propiedad aplicable a los elementos de X.
Hipotesis.
El mnimo elemento de X verifica la propiedad P .
Si y X y todo elemento x tal que y > x verifica la propiedad P , entonces
tambien y verifica P .
Tesis: Todo elemento de X verifica la propiedad P .

11
Captulo 2

ESPACIOS TOPOLOGICOS

Comenzaremos este captulo con una breve motivacion de la definicion de espacio

topologico.

2.1. Motivacion
La nocion de espacio topologico surge del estudio de la continuidad de las funciones
en R y en Rn . En el curso de Calculo 2 se prueba que todas las normas son equivalentes
y por lo tanto la definicion de continuidad de una funcion es independiente de la eleccion
de la norma. En este sentido, la idea de espacio topologico se introduce para rescatar
la esencia de la definicion de continuidad y de esta manera considerar objetos donde
esta definicion tiene sentido. Veamos esto con el ejemplo de funciones continuas de R
en R.
Tenemos dos definiciones equivalentes de continuidad, a saber, la definicion,
y a traves de sucesiones.
Decimos que U R es un conjunto abierto si para todo x U , existe un intervalo
(a, b) tal que x (a, b) U . En particular, todo intervalo (a, b) es abierto, y no as [a, b].
Veamos algunos ejemplos de conjuntos abiertos en R.

a) R;

b) Complemento de conjuntos finitos en R;

c) Complemento de conjuntos numerables en R;

d) Si A := {1/n : n N} {0}, entonces Ac es abierto;

e) Union arbitraria de abiertos en R;

f) Interseccion finita de abiertos (no vaca)

Observar que todo abierto es union de abiertos: si U es abierto, entonces para todo
x U existe (ax , bx ) U que contiene a x, de donde resulta U = xU (ax , bx ).

12
Definicion. Decimos que f : R R es continua si para todo U abierto en R se tiene
f 1 (U ) abierto (o vaco).
Veamos que esta definicion concuerda con la definicion de continuidad. Si no fuera
cierto existira U abierto tal que f 1 (U ) no es abierto. Es decir que existe x0 f 1 (U )
tal que no existe ningun intervalo que lo contenga que este incluido en f 1 (U ). Es decir
que hay puntos arbitrariamente proximos a x0 tal que sus imagenes caen fuera de U ,
o sea, a una distancia mayor que cierto numero positivo.
Pensemos en el otro sentido. Si f es discontinua en x0 si hay puntos arbitrariamente
cerca de x0 tal que sus imagenes estan a una distancia positiva de f (x0 ). Digamos
|f (x) f (x0 )| > para esos puntos. Entonces tomando U = (f (x0 ) , f (x0 ) + )
tenemos que f 1 (U ) contiene a x0 pero hay puntos arbitrariamente cerca de x0 en el
complemento de f 1 (U ). Lo cual implica que f 1 (U ) no es abierto.
Observar que esta definicion de continuidad la podemos extender facilmente a Rn
asumiendo que tenemos una definicion de abierto. Por ejemplo, U Rn es abierto
si para todo x U existe una bola que contiene a x y contenida en U . Aqu bola
significa B(z, r) := {x Rn : kx zk < r} donde k k es alguna normas conocidas en
Rn . Observar que para cualquiera de las normas que el lector conozca se tiene que la
definicion de abierto no depende de la norma elegida.

2.2. Definiciones y Propiedades Basicas.

Definicion. Sea X un conjunto. Una familia de subconjuntos de X es una topologa
de X si se cumplen:
a) El conjunto vaco y el conjunto X pertenecen a .
b) Si A1 , . . . , An pertenecen a , entonces n1 Aj pertenece a .
T

c) Si I es un conjunto y A es un subconjunto de X que pertenece a para cada

I, entonces I A pertenece a .
Si es una topologa en X, decimos que el par (X, ) es un espacio topologico. Los
elementos de se llaman los abiertos de la topologa.
Ejemplos 2.2.1. (i) Los abiertos antes definidos son una topologa para R (verifi-
car!).
(ii) Si X es un conjunto y = P(X), entonces es una topologa en X. Se llama la
topologa discreta. Es la mayor posible.
(iii) Si X es un conjunto cualquiera, = {, X} es una topologa, llamada topologa
indiscreta. Es la mnima posible.
(iv) En Rn , si definimos como el conjunto de todos los abiertos, entonces es una
topologa, llamada la topologa usual de Rn .

13
 (v) Considerar en R la topologa formada por el vaco, y los conjuntos U tales
que si x U entonces hay un intervalo [a, b) que contiene a x y contenido en
U . Observar que esta topologa contiene a la topologa usual generado por los
abiertos de R, pero hay abiertos de esta topologa que no son abiertos usuales.

(vi) Si (M, d) es un espacio metrico, entonces el conjunto de todos los abiertos de M

es una topologa en M . (ver definicion en Captulo 5.)

(vii) En un conjunto infinito X cualquiera, consideramos la llamada topologa de los

complementos finitos: un subconjunto de X esta en si es vaco o su complemento
es finito.

(viii) En un conjunto infinito no numerable X cualquiera, consideramos la llamada

topologa de los complementos numerables: un subconjunto de X esta en si es
vaco o su complemento es numerable.

Veamos algunas definiciones que usaremos a lo largo de este curso.

Definiciones. Sea (X, ) un espacio topologico.

 Un conjunto B X se dice cerrado si su complemento es abierto. Por lo tanto

se tiene que la union de una cantidad finita de conjuntos cerrados es cerrada y la
interseccion de una cantidad arbitraria de cerrados es cerrada.

 Diremos que V es entorno de un punto x de X si se cumple que x A V para

algun abierto A.

 Un punto x X es de acumulacion de un subconjunto A de X si todo entorno

de x contiene algun punto de A diferente de x.

 Un punto x X es interior de un subconjunto A de X si existe un entorno V de

x que esta contenido en A.

 Un punto x X es frontera o borde de un subconjunto A de X si todo entorno

V de x intersecta a A y a Ac .

 Una sucesion {xn : n N} converge a un punto x X si dado cualquier entorno

V de x existe un n0 tal que xn V para todo n n0 .

Observar que en las definiciones anteriores pueden sustituirse los entornos por en-
tornos abiertos.

2.1. a) En el Ejemplo 2.2.1(ii) suponiendo X = R, hallar los puntos frontera del

conjunto [0, 1].

b) En el Ejemplo 2.2.1(iii) hallar los puntos de acumulacion de X.

14
 c) En el Ejemplo 2.2.1(iv), para n = 1, con la topologa usual, hallar el conjunto
de todos los puntos de acumulacion de Q y de Qc .
d) En el Ejemplo 2.2.1(vi) , probar que V es un entorno de x si y solo si existe
r > 0 tal que la bola de centro x y radio r esta contenida en V .
e) En el Ejemplo 2.2.1(vii) hallar todos los puntos de acumulacion de N.
f) En el Ejemplo 2.2.1(viii) determinar que sucesiones son convergentes.
2.2. Sea X un espacio topologico. Entonces se satisfacen las siguientes propiedades:
a) Un subconjunto A de X es abierto si y solo si todos sus puntos son interiores.
b) Un subconjunto A de X es cerrado si y solo si contiene a todos sus puntos de
acumulacion.
c) Un subconjunto A de X es cerrado si y solo si contiene a todos sus puntos frontera.
Definiciones.  Sea A un subconjunto de X. Se define la clausura de A como la
interseccion de todos los cerrados que contienen a A. Se denota A. Se denota A .
 Sea A un subconjunto de X. Definimos el interior de A como la union de todos
los abiertos contenidos en A.
 El conjunto de puntos frontera de A se llama frontera de A y se denota A.
Observe que la clausura de A es un conjunto cerrado puesto que la interseccion de
cerrados es cerrada, por lo tanto es el mnimo cerrado que contiene a A. Observe que
el interior de A es un conjunto abierto, por lo tanto es el maximo abierto contenido en
A.
2.3. La clausura de A es la union de A con el conjunto de puntos de acumulacion de
A. Se deduce que A es cerrado si y solo si coincide con su clausura.
2.4. El interior de A es el conjunto de todos los puntos interiores de A. Se deduce que
A es abierto si y solo si coincide con su interior.
2.5. a) La clausura de la union de finitos conjuntos es igual a la union de las clau-
suras. Observar que si son infinitos solo vale una desigualdad (mostrar ejemplo
donde la desigualdad es estricta).
b) Se tiene que A B A B, donde la desigualdad puede ser estricta.
c) Se cumplen: [A]c = [Ac ] y [Ac ] = [A ]c .

Definicion. Un espacio topologico es de Hausdorff (se llama tambien T2 ) si se cumple

que para todo par de puntos distintos x e y, existen entornos V de x y W de y tales
que V W = .

15
Ejemplo 2.2.1. Los espacios metricos son Hausdorff, mientras que los Ejemplos (viii)
y (vii) en general no.
La propiedad Hausdorff es un axioma de separacion. En el Captulo 6 se veran otros
axiomas de separacion y las relaciones que hay entre ellos.
2.6. Si X es un espacio topologico de Hausdorff, entonces una sucesion converge a
lo mas, a un punto. Usar el Ejemplo 2.2.1(vii), para ver que una sucesion puede
converger a muchos puntos en el caso de que el espacio no sea de Hausdorff.
2.7. En un espacio es Hausdorff, todo conjunto formado por un solo punto es cerrado.
Investigar el recproco.
2.8. Sea M un espacio metrico. Un punto esta en la clausura de un subconjunto A de
M si y solo si existe una sucesion en A que converge a el.
En un espacio topologico cualquiera X, si una sucesion {xn } esta contenida en un
subconjunto A de X y es convergente a un punto x , entonces x A. Pero es posible
que un punto este en la clausura de un conjunto A y no exista una sucesion en A que
converge a x (usar el Ejemplo 2.2.1(viii)).

2.3. Bases
En esta seccion veremos como generar topologas a partir de otras conocidas.
Observar que cuando definimos una topologa en R lo hicimos declarando que los
abiertos son aquellos conjuntos A tales que para todo x A existe un intervalo (a, b) tal
que x (a, b) A. Analogamente, podramos definir que los abiertos son los conjuntos
formados por uniones de intervalos abiertos (verificar!). De esta manera vemos que
para definir la topologa antes mencionada en R basta con considerar los intervalos de
la forma (a, b) R. Al conjunto de estos intervalos se le llama base de la topologa.
Recordar que lo que necesitamos en el Ejemplo 2.2.1(i) para que los abiertos
as definidos sean una topologa en R era:
(a, b) (c, d) 6= implica que existe (e, f ) (a, b) (c, d);

Para que X = R pertenezca a la topologa solo se necesitaba que existe un

intervalo que contenga a un punto arbitrario: x R existe (ax , bx ) tal que
x (ax , bx ) R.
Esto motiva la siguinte definicion.
Definicion. Decimos que B P(X) es base de una topologa de un conjunto X si se
cumplen:
1. La union de todos los elementos de B es X.
2. Dados B1 y B2 elementos de B y un punto x B1 B2 , existe B B tal que
x B B1 B2 .

16
 Notar que si B es una base de una topologa de X y se define como el conjunto
de todas la uniones de elementos de B mas el vaco, entonces es una topologa de X,
que se llama la topologa generada por B. La topologa es la mnima que contiene a
todos los elementos de B. Tambien se dice en este caso que B es base de .
Ejemplos 2.3.1. (i) El conjunto de todos los intervalos abiertos es base de la topo-
loga usual de R.
(ii) Mas en general, si M es un espacio metrico, el conjunto de todas las bolas abiertas
es base de la topologa asociada a la metrica.
(iii) En un espacio metrico, el conjunto de todas las bolas abiertas de radio racional
es base de la topologa metrica.
(iv) Sea Br el conjunto de todos los intervalos (a, b], donde a y b son reales, a < b. Es
base de una topologa r de R.
Sea Bl el conjunto de todos los intervalos [a, b), donde a y b son reales, a < b. Es
base de una topologa l de R.
Un primer ejemplo de aplicacion de esta idea para formar nuevas topologas a partir
de una dada, es la topologa producto:
Definicion. Sean (X, X ), (Y, Y ) espacios topologicos. Sea BXY el conjunto de los
productos A B tales que A X y B Y . Entonces BXY es base de una topologa
de X Y que llamaremos la topologa producto de los espacios X e Y . Observar que
BXY no es una topologa en general.
2.9. Si se considera a R con la topologa usual, entonces en R2 la topologa usual y la
topologa producto coinciden.
2.10. Sean X, Y, Z espacios topologicos y se consideran el producto X Y Z. Para
darle una topologa a este producto se podra proceder de dos maneras: viendo XY Z
como (X Y ) Z o como X (Y Z). Probar que en ambos casos se llega a la misma
topologa en X Y Z.

2.4. Axiomas de Numerabilidad

Definicion. Un espacio topologico satisface el segundo axioma de numerabilidad si
existe una base numerable de la topologa de X.
2.11. R con la topologa usual satisface el segundo axioma de numerabilidad.
2.12. El producto de dos espacios topologicos que satisfacen el segundo axioma tambien
lo satisface.
2.13. Averiguar si R satisface el segunda axioma cuando se considera en la topologa
generada por la base Br del Ejemplo 2.3.1(iv).

17
Definicion. Un conjunto A es denso en X si la clausura de A es X.

Por ejemplo los racionales son densos en R con la topologa usual, y tambien con
las topologas del Ejemplo 2.3.1(iv).

Definicion. Un espacio topologico es separable si contiene un subconjunto A numerable

y denso en X.

2.14. Un espacio topologico que satisface el segundo axioma es separable.

2.15. Si M es un espacio metrico entonces segundo axioma y separable son equiva-

lentes. Sin embargo hay espacios topologicos separables que no satisfacen el segundo
axioma.

2.16. Si X satisface el segundo axioma, entonces todo conjunto no numerable tiene

punto de acumulacion.

Es tambien posible generar una topologa a partir de un concepto de entorno, este

procedimiento es un poco engorroso pero es muy practico a la hora de decidir cual es
la topologa que conviene a determinado fin.

Definicion. Sea (X, ) un espacio topologico, y x un punto de X. El sistema de entor-

nos de x, denotado N (x), es el conjunto de todos los entornos de x. Un subconjunto
V de N (x) es una base de entornos de x si para todo U N (x) existe V V tal que
V U.

2.17. Probar el siguiente resultado:

Teorema. Sea X un conjunto, y suponga que para cada x X se tiene un conjunto

no vaco N (x) de partes de X tal que:

a) x U para cada U N (x).

b) Si U y V son elementos de N (x), entonces existe W N (x) tal que W U V .

Sea T el conjunto de los A X tales que para todo x A existe U N (x) tal que
U A. Entonces T es una topologa de X. Ademas, para cada x se cumple que N (x)
es una base del sistema de entornos de x para esta topologa.

Definicion. Un espacio satisface el primer axioma de numerabilidad si todo punto

tiene una base de entornos numerable.

2.18. Todo espacio que satisface el segundo axioma tambien satisface el primero. Todo
espacio metrico satisface el primero, pero no necesariamente el segundo (considere la
metrica discreta d(x, y) = 0 si x = y, d(x, y) = 1 si x 6= y en un conjunto no numerable
X).

18
2.19. En un espacio que cumple el primer axioma se tiene lo siguiente: x pertenece a
la clausura de un conjunto A si y solo si existe una sucesion en A que converge a x.
Comparar este resultado con 2.8.

Definicion (Topologa relativa). (X, ) un espacio topologico e Y un subconjunto de

X. Se define la topologa relativa de Y como subespacio de (X, ) diciendo que A Y
es abierto si existe O abierto en X tal que A = O Y .

2.20. Sea (M, d) es un espacio metrico y N es un subconjunto de M , entonces la

topologa relativa de N como subespacio de M coincide con la topologa metrica de N .
Probar que si (X, ) es Hausdorff, entonces todo subespacio tambien lo es.

19
Captulo 3

FUNCIONES CONTINUAS y
HOMEOMORFISMOS

Definicion. Una funcion f : X Y entre espacios topologicos (X, X ) e (Y, Y ) es

continua si f 1 (A) X para cada A Y .
Obviamente la continuidad depende de las topologas en X e Y . Por ejemplo, si 1 y
2 son topologas en un conjunto X, entonces la funcion identidad id : (X, 1 ) (X, 2 )
es continua si y solo si 1 2 , en este caso diremos que la topologa 1 es mas fina
que 2 . Por eso, cuando hay riesgo de confusion, escribimos f : (X, X ) (Y, Y ), para
dar a entender con que topologas estamos considerando dominio y codominio.
Definicion. Sean (X, X ) e (Y, Y ) espacios topologicos. Una funcion f : X Y
es continua en x si para todo entorno V de f (x) existe un entorno U de x tal que
f (U ) V .
Veamos algunas equivalencias:
3.1. Sea f : (X, X ) (Y, Y ). Son equivalentes:
a) f es continua.
b) f es continua en x para todo x X.
c) f 1 (C) es cerrado en X para cada C cerrado en Y .
d) Para todo subconjunto A X se cumple que f (A) f (A)
3.2. Si X es un espacio metrico, la condicion 3.1d) es equivalente a la nocion de
continuidad por sucesiones.
3.3. Probar con ejemplos de funciones de R en R que no es cierto que si f es continua
entonces f (A) es abierto para cada A abierto, ni f (B) es cerrado para cada B cerrado.
Con la definicion dada es muy obvio que la composicion de funciones continuas es
continua.

20
Definicion. Una funcion biyectiva entre espacios topologicos se dice un homeomor-
fismo si tanto f como f 1 son continuas. En este caso, decimos que los espacios son
homeomorfos.

Es claro que cuando f es un homeomorfismo, entonces un conjunto A es abierto en

X si y solo si su imagen es un abierto en Y . Dos espacios homeomorfos son exactamente
el mismo objeto a los ojos de un topologo. Por ejemplo, si consideramos en todos los
casos la topologa usual de R o R2 , una recta es homeomorfa a una parabola, una elipse
homeomorfa a una circunferencia. La composicion de homeomorfismos es tambien un
homeomorfismo, por lo que se tiene que la relacion X e Y son homeomorfos es de
equivalencia.

3.4. Sea f una funcion continua y biyectiva entre espacios topologicos Es f necesa-
riamente un homeomorfismo?

3.5. Consideramos en R las topologas 1 dada por la usual, 2 dada por los comple-
mentos finitos, 3 dada por aquellos conjuntos que contienen al cero.

a) Encuentre una funcion continua f : (R, 1 ) (R, 1 ) que no lo sea para (R, 2 )
como espacio de salida.

b) Encuentre una funcion continua f : (R, 1 ) (R, 3 ) que no lo sea para (R, 2 )
como espacio de salida.

c) Muestre que toda funcion continua respecto (R, 2 ) como espacio de salida, lo es
respecto (R, 1 ) como espacio de salida.

3.6. Denotemos por C((X, X ), (Y, y )) al conjunto de las funciones continuas de (X, X )
a (Y, y ). Cuando (Y, Y ) sea R con la topologa usual notaremos simplemente C(X, X )
o C(X). Tomemos ahora en un conjunto infinito X la topologa discreta 1 , la indiscreta
2 y la de los complementos finitos 3 . Describir C(X, 1 ), C(X, 2 ) y C(X, 3 ).

3.1. Funciones Abiertas

Definicion. Una funcion f : X Y entre los espacios topologicos X y Y es abierta
si la imagen de un abierto es un abierto.

3.7. Un homeomorfismo es una funcion abierta. Importante: el recproco no es cierto,

encuentre un contraejemplo.

3.8. Es una funcion abierta necesariamente sobreyectiva?

3.9. Si f : X Y es continua y abierta entonces f (X ) = Y . Se cumple necesaria-

mente que f 1 (Y ) = X ?

21
3.10. La existencia de f : X Y continua y abierta, y de g : X Y continua y
abierta, implica necesariamente que X e Y son homeomorfos?

3.11. Dados dos naturales n < m existe una funcion abierta f : Rm Rn . La exis-
tencia de una funcion abierta f : Rn Rm no es posible, pero dar una prueba de
esto escapa las posibilidades del curso. Dicho resultado se conoce como Invariancia de
la Dimension.

3.12. Toda funcion continua y abierta f : R R es estrictamente monotona, y que si

es sobreyectiva es un homeomorfismo.

3.13. Sera cierto que una funcion abierta y sobreyectiva f : R2 R2 es un homeo-

morfismo?

3.2. Continuidad en Espacios Metricos

3.14. a) Una funcion entre dos espacios metricos f : (M, d) (N, e) es continua
si y solo si para todo x M y todo  > 0 existe > 0 tal que si d(x, y) <
entonces d(f (x), f (y)) <  (es decir que la definicion de continuidad entre espacios
topologicos extiende a la nocion de continuidad entre espacios metricos).

b) Sean (M1 , d1 ) y (M2 , d2 ) dos espacios metricos. Definimos d1 d2 : (M1 M2 )2

[0, +) por d1 d1 ((x, y), (x0 , y 0 )) = d(x, x0 ) + d(y, y 0 ).

a) d1 d2 es una metrica.
b) En todo espacio metrico (M, d) la funcion distancia d : (M M, d d)
[0, +) es continua.

3.3. Identificacion de Algunas Superficies

3.15. a) Sean X e Y dos espacios topologicos, A X, B Y y f : X Y ,
g : Y X dos funciones continuas tales que f (A) = B, g(B) = A y f |A y g |B
son inversa una de la otra. Entonces A y B son homeomorfos.

b) El disco abierto Dn = {x Rn / ||x|| < 1} y Rn son homeomorfos.

c) Los espcaios A = {x R2 / 1 < ||x|| < 2}, C = {(x, y, z) R3 / x2 + y 2 = 1},

y S1 = {x R2 / ||x|| = 1} son homeomorfos a A, C, R2 \ {0}, S1 R donde
la topologa del ultimo espacio esta generada por los conjuntos U (a, b) :=
{(, x) / U , x (a, b)} siendo U una abierto relativo de S1 .

d) El disco cerrado D2 y el cuadrado [0, 1] [0, 1] son homeomorfos.

22
e) El disco cerrado D2 y un conjunto de la forma D2 \C con C = {(x, y) R2 / y >
0, |x| < y} son homoeomorfos para todo [0, +). Los interiores de dichos
conjuntos son homeomorfos.

f) Si consideramos ahora el disco abierto D2 = {x R2 / ||x|| < 1} y D2 \{(x, y)y

0} son estos conjuntos homeomorfos?

23
Captulo 4

TOPOLOGIA PRODUCTO

4.1. Producto Finito de Espacios

En el Captulo 2 definimos de manera natural una topologa en el producto carte-
siano de dos espacios topologicos. Mas precisamente, dados (X, X ) y (Y, Y ) espacios
topologicos, definimos en el producto X Y la topologa generada por la base formada
por productos U V , donde U X , y V Y .
Es facil ver que cuando las topologas X e Y estan generadas por bases BX e
BY respectivamente, entonces la topologa producto esta generada por conjuntos de la
forma B B 0 , donde B BX y B 0 BY .
Mas en general, dados X1 , . . . , Xn espacios topologicos, podemos definir la topologa
producto en X1 Xn como la generada por la coleccion U1 Un , donde Ui
es abierto de Xi .

4.1.1. Proyecciones y fibras

El espacio producto X Y tiene dos mapas1 naturales 1 : X Y X, 2 :
X Y Y , llamadas proyecciones, definidas por 1 (x, y) = x, 2 (x, y) = y.

4.1. Las proyecciones son continuas.

4.2. La topologa producto es la topologa mas menos fina que hace a las proyecciones
continuas.

Definicion. Los conjuntos de la forma {x} Y , con x X, e X {y} con y Y se

llaman fibras del producto X Y .
1
En este curso hablaremos indistintamente de mapa o funcion. En algunos textos el termino mapa
se usa cuando hablamos de ciertas funciones con propiedades especficas asociadas al area donde se
trabaja. (Por ejemplo, es comun usar la palabra mapas entre espacios topologicos para referirse a
funciones continuas.)

24
 Para cada y Y , hay un mapa inclusion iy : X X Y , dado por iy (x) = (x, y).
(Analogamente, para cada x X podemos tomar la inclusion ix : Y X Y , dada
por ix (y) = (x, y).) Observar que el conjunto imagen de iy es la fibra X {y}.

4.3. Las inclusiones son continuas. Concluir que las fibras son homeomorfas al factor
correspondiente.

De esta manera el espacio producto X Y puede ser pensado como union de fibras
homeomorfas a uno de los dos factores.

4.1.2. Producto cartesiano de mapas

Una funcion f : Z X Y tiene la forma f (z) = (f1 (z), f2 (z)), para ciertas
funciones f1 : Z X y f2 : Z Y . Observar que f1 = 1 f y f2 = 2 f son las
componentes de f .

4.4. f : Z X Y es continua si y solo si f1 y f2 lo son.

4.5. Las funciones suma y producto de R R en R, dadas por (x, y) 7 x + y, y

(x, y) 7 x y respectivamente, son continuas.2

4.6. Si f, g : Rn R son continuas, entonces f + g y f g lo son. Concluir que los

polinomios en n-variables son funciones continuas.

Dos mapas g1 : X1 Y1 y g2 : X2 Y2 determinan un mapa g1 g2 : X1 X2

Y1 Y2 dado por g1 g2 (x1 , x2 ) = (g1 (x1 ), g2 (x2 )), (producto cartesiano de mapas).

4.7. El producto cartesiano de mapas continuos es continuo. Se concluye que si Xi es

homeomorfo a Yi (i = 1, 2), entonces X1 X2 es homeomorfo a Y1 Y2 .

4.8. Las proyecciones en un producto cartesiano son abiertas?. Que sucede si restrin-
gimos las proyecciones a subespacios del producto cartesiano? Considerar por ejemplo
el caso de S 1 R2 .

4.9. Sean X1 , . . . , Xn una familia finita de espacios topologicos. Entonces se satisfacen

las siguientes propiedades:

a) Si Xi es Hausdorff para todo i = 1 . . . n entonces ni=1 Xi tambien lo es.

b) Si Xi es separable para todo i = 1 . . . n entonces ni=1 Xi tambien lo es.

c) Si Xi es N1 para todo i = 1 . . . n entonces ni=1 Xi tambien lo es.

d) Si Xi es N2 para todo i = 1 . . . n entonces ni=1 Xi tambien lo es.

2
No hay un criterio sencillo para la continuidad de una funcion f : X Y Z. Recordar del curso
de Calculo 2 que hay ejemplos de funciones discontinuas que sin embargo son continuas como funcion
de cada variable.

25
4.1.3. Ejemplos y aplicaciones
4.10. Rn \ {0} es homeomorfo a S n1 R
4.11. En general si k < n son dos naturales, podemos pensar a Rk como subconjunto
de Rn de forma natural: son los puntos para los cuales solo las primeras k coordenadas
pueden ser no nulas. La esfera S j esta definida como los puntos de Rj+1 tales que
su distancia euclidea al origen es igual a 1. Probar que Rn \ Rk es homeomorfo a
S nk1 Rk+1
4.12. * Consideramos el conjunto de matrices n n invertibles con coeficientes reales
2
GL(n, R), con la topologa relativa dada como subconjunto de Rn con la topologa
usual. Probar que GL(n, R) es homeomorfo a SL(n, R) GL(1, R), donde SL(n, R) es
el subconjunto de matrices de GL(n, R) cuyo determinante es igual a 1.
Analogamente, consideramos el conjunto O(n) de matrices nn ortogonales (A O(n)
si At A = In ). Probar que O(n) es homeomorfo a SO(n) O(1), donde SO(n) es el
subconjunto de O(n) de matrices con determinante 1.

4.2. Producto Infinito de Espacios

Ahora queremos extender la nocion de topologa producto para el caso de produc-
tos arbitrarios. Consideremos {(X , )}A una familia de espacios topologicos y el
producto cartesiano A X . Nuestra primer candidata sera la topologa c generada
por los conjuntos de la forma A U con U para todo A. Notar que en el
caso de que A sea finito c es la topologa producto.
4.13. Las proyecciones son continuas para la topologa c .
Sin embargo la topologa c tiene algunas propiedades no deseadas, algunas de ellas
seran vistas mas adelante en el curso. Llamaremos a c topologa de cajas. El siguiente
ejercicio muestra que las funciones continuas con la topologa c no son las que tienen
todas sus componentes continuas.
4.14. Sea X = nN R = RN el espacio de sucesiones reales con la topologa de cajas.
Consideremos la funcion f : R X definida por f (x)n = nx. Observar que las
componentes fn = n f son continuas pero f no es continua.
Definicion (Topologa producto). Definimos en A X la topologa producto como
la mas gruesa que hace a las proyecciones continuas. Esta es la generada por las inter-
secciones finitas de conjuntos de la forma 1 (U ) donde U .
4.15. Si consideramos la topologa producto en X = A X , entonces se cumple que
toda funcion f : Y X es continua si y solo si las componentes f = f son todas
continuas.
4.16. * Estudiar si siguen valiendo las afirmaciones de 4.9 para productos infinitos.
(Para el caso de separabilidad estudiar solo productos numerables. Cualquier otro caso
es un problema difcil.)

26
4.2.1. Funciones del intervalo en el intervalo
Sea X el conjunto de todas las funciones de [0, 1] en s mismo, es decir, X = [0, 1][0,1] .
Como espacio producto tiene una topologa producto, donde en cada [0, 1] se considera
la topologa usual de R.

4.17. a) Describir los abiertos de la base.

b) No satisface el primer axioma de numerabilidad.

c) Es Hausdorff.

d) Es separable. (Sug: funciones poligonales.)

4.18. Una sucesion de funciones {fn } converge segun esta topologa si y solo si converge
puntualmente.

27
Captulo 5

ESPACIOS METRICOS

5.1. Definicion y Ejemplos

Comenzaremos estas notas recordando la definicion de metrica en un espacio.

Definicion. Una metrica en un conjunto X es una funcion d : X X R tal que

(i) d(x, y) 0 para todo x, y X, con d(x, x) = 0 y d(x, y) > 0 si x 6= y.

(ii) d(x, y) = d(y, x) para todo x, y en X.

(iii) d(x, y) d(x, z) + d(z, y) para todo x, y, z en X.1

En tal caso diremos que (X, d) es un espacio metrico. Veamos algunos ejemplos.

Ejemplos 5.1.1. (i) Metrica 0 1

Dado un conjunto X, definimos d(x, y) = 1 si x 6= y, y d(x, x) = 0. Es facil ver
que d es una metrica en X.

(ii) Metricas en Rn
En Rn podemos definir las siguientes metricas
1/2
 d(x, y) := ( ni=1 |xi yi |2 ) ;
P

 d1 (x, y) := ni=1 |xi yi |;

P

 d (x, y) := maxi=1,...,n |xi yi |.

(iii) Metrica inducida

Sea (X, d) es un espacio metrico, y A X. La restriccion de d a A A es una
metrica, y por lo tanto (A, dAA ) es un espacio metrico.
1
A esta propiedad se le llama desigualdad triangular.

28
(iv) Distancia uniforme
Sea X un conjunto, y sea B(X, R) el conjunto de funciones f : X R acotadas.2
En B(X, R) definimos la metrica

d(f, g) := sup |f (x) g(x)|.

xX

(v) Espacios normados

Sea V un espacio vectorial real o complejo. Una norma en V es una funcion real
k k : V R que verifica

(i) kxk 0, y kxk = 0 si y solo si x = 0 en V ;

(ii) kxk = || kxk, para todo escalar, y x V ;
(iii) kx + yk kxk + kyk, para todo x, y en V .

Si (V, k k) es un espacio normado entonces d(x, y) := kx yk es una metrica en

V.
Observar que las metricas definidas en Rn en el Ejemplo 5.1.1(ii) son metricas
que provienen de las normas respectivas
1/2
 kxk := ( ni=1 |xi |2 ) ;
P

 kxk1 := ni=1 |xi |;

P

 kxk := maxi:1,...,n |xi |.

El conjunto B(X, R) es un espacio vectorial definiendo de manera natural las ope-

raciones punto a punto. De esta forma podemos ver facilmente que la metrica definida
en el Ejemplo 5.1.1(iv) proviene de la norma kf k := supxX |f (x)|.

Ejemplos 5.1.2. (vi) Espacios `1 (N), `2 (N), ` (N)

Sea `1 (N) el espacio de la sucesiones complejas x = {xn }nN tales que
P
n=1 |xn | <
. Es facil dotar a este espacio con una estructura de espacio vectorial definiendo
la suma y producto
P por numero coordenada a coordenada. En `1 (N) se define la
norma kxk1 := n=1 |xn |.
Analogamente se definen

|xn |2 < };
P
`2 (N) := {{xn } :
` (N) := {{xn } : supn |xn | < },

Al igual que `1 (N) es facil ver que estos conjuntos son espacios vectoriales con
las operaciones habituales. Se definen para estos espacios las normas siguientes
1/2
kxk2 := ( |xn |2 ) , donde x = {xn } `2 (N).
P

2
Decimos que f : X R es acotada si existe K > 0 tal que |f (x)| K para todo x X.

29
 kxk := supn |xn | < }, donde x = {xn } ell (N).
(vii) Pull-back de una metrica
Sea X un conjunto, (M, d) un espacio metrico, y f : X M una funcion
inyectiva. Para cada x, y X, la funcion d0 (x, y) =: d(f (x), f (y)) define una
metrica en X. (Comparar con Ejemplo 3. mas arriba).
5.1. Probar en cada caso de los ejemplos anteriores que las funciones definidas son
realmente metricas.
5.2. Si consideramos el conjunto R([0, 1]) definido por las funciones f : [0, 1] R tales
3
que su parte
R 1 positva y negativa sean integrables Riemann, entonces podemos definir
d(f, g) := 0 |f (x) g(x)| dx. Es d una metrica? En caso contrario, en que subcon-
junto de R([0, 1]) sera una metrica?

5.2. Topologa Metrica

Definicion. Si (X, d) es un espacio metrico, definimos la bola de centro x y radio r
como el conjunto B(x, r) := {y X : d(x, y) < r}.
Definicion. Recordar que el conjunto de bolas de un espacio metrico forman una base
de X (cf. Ejemplo (iii) de Seccion 2.3). A la topologa generada por esta base se le
llama topologa metrica.4
5.3. La topologa metrica generada por la metrica del Ejemplo 5.1.1(i) es la topologa
discreta.
5.4. La topologa usual de R es generada por la metrica d(x, y) := |x y|.
Definicion. Diremos que dos distancias d1 y d2 son equivalentes si existe una constante
C 1 tal que para todo par de puntos x, y M se tiene
1
d1 (x, y) d2 (x, y) Cd1 (x, y)
C
5.5. Verificar que la relacion definida arriba es realmente una relacion de equivalencia.
5.6. Dos metricas equivalentes inducen la misma topologa. El recproco no es cierto.
(Sugerencia: observar que si d es una metrica entonces d0 (x, y) = mn{1, d(x, y)} es una
metrica que genera la misma topologa que d).
5.7. Las metricas d, d1 , d definidas en Rn generan la topologa producto en Rn .
5.8. Las funciones
R1 reales continuas de [0, 1], las topologas generadas por las distancias
d1 (f, g) := 0 |f (x) g(x)| dx y d (f, g) := supx[0,1] |f (x) g(x)| no son las mimsmas.
Alguna de las topologas generadas por estas metricas es mas fina que la otra?
3
Dada f : [0, 1] R, la parte positiva f + se define como f + (x) = max{0, f (x)}. Analogamente,
la parte negativa f se define por f (x) = max{0, f (x)}. Observar que f = f + f
4
Cuando no especifiquemos la topologa en un espacio metrico significa que estamos trabajando
con la topologa metrica asociada.

30
5.2.1. Funciones continuas
Recordar que la nocion de continuidad de una funcion entre espacios topologicos
generados por metricas coincide con la definicion  de continuidad, es decir que
una funcion entre espacios metricos f : (X, dX ) (Y, dY ) es continua con respecto a
las topologas metricas si y solo si dado x X se tiene que > 0, > 0 tal que si
dX (x, y) < entonces dY (f (x), f (y)) < .

5.9. Sea f : X Y , donde X es un espacio topologicos generados por una metrica.

Entonces f es continua si y solo si para toda sucesion convergente xn x, se tiene que
la sucesion f (xn ) converge a f (x). (Sugerencia: usar 3.1d).)

Definicion. Una funcion entre espacios metricos f : (M, d1 ) (N, d2 ) es Lipschitz si

existe una constante K > 0 tal que para todo par de puntos x, y M se cumple

d2 (f (x), f (y)) Kd1 (x, y)

Diremos que es bi-Lipschitz si existe C 1 tal que
1
d1 (x, y) d2 (f (x), f (y)) Cd1 (x, y)
C
Observar que dos metricas d1 y d2 en M son equivalentes si y solo si id : (M, d1 )
(M, d2 ) es bi-Lipschitz. Tambien suele decirse que dos metricas son bi-Lipschitz equi-
valentes en este caso
Un ejemplo de funciones bi-Lipschitz son las isometras.

Definicion. Una isometra es una funcion sobreyectiva entre espacios metricos f :

(M, d1 ) (N, d2 ) que preserva la metrica, es decir, satisface d2 (f (x), f (y)) = d1 (x, y)
para todo par de puntos x, y M . Cuando exista una isometra entre espacios metricos
diremos que son isometricos.

Cuando dos espacios son isometricos significa que no pueden distinguirse desde el
punto de vista de los espacios metricos. El siguiente ejercicio muestra en particular que
espacios isometricos son espacios homeomorfos con las respectivas topologas metricas.

5.10. Las funciones Lipschitz son continuas (cf. 3.14), y una funcion sobreyectiva y
bi-Lipschitz es un homeomorfismo.

5.3. Topologas Metrizables

Definicion. Diremos que un espacio topologico es metrizable cuando la topologa
esta generada por alguna metrica.

31
 Como hemos visto a lo largo del curso, los espacios metricos tienen ciertas propie-
dades agradables que permiten estudiarlos con mayor facilidad. Es por esta razon
que es razonable presguntarse cuando un espacio topologico es metrizable.
En los siguientes ejercicios mostraremos ejemplos de espacios que son y que no son
metrizables.
5.11. Recordar la definicion de metrica producto dada 3.14b). Probar que la topologa
inducida por el producto de finitas metricas es justamente la topologa producto.
5.12. Consideremos una sucesion de espacios metricos {(Mn , dn )}nN y X = n Mn con
la topologa producto. Encontrar una metrica en X que induzca la topologa producto.
(Cf. 5.16)
5.13. Sea X un producto no numerable de espacios metricos . Es X metrizable para la
topologa producto? (Sugerencia: cf. 4.17.) Que nos dice lo anterior de la topologa
de la convergencia puntual de funciones de X en Y , donde X es un conjunto no
numerable e Y es un espacio metrico?

5.4. Continuidad Uniforme

Definicion. Sean (M, d1 ) y (N, d2 ) espacios metricos. Una funcion f : (M, d1 )
(N, d2 ) es uniformemente continua si para cada  > 0 existe un > 0 tal que d1 (x, y) <
implica d2 (f (x), f (y)) < .
Es claro que toda funcion uniformemente continua es continua. Ademas observar
que la continudad uniforme es una nocion global de la funcion, al contrario de la nocion
de continuidad.
5.14. Averiguar cuales de las siguientes funciones son uniformemente continuas:
x2 definida en R; x2 definida en [0, 1]; 1/x definida
en (0, +); 1/x definida en [1, +);
sin(x) definida en R; sin(x2 ) definida en R; x definida en [0, ). (Como siempre, si
no especificamos las estructuras nos referimos a las usuales.)
5.15. Una funcion Lipschitz entre espacios metricos es uniformemente continua. Es
valido el recproco? (Considerar la funcion raz cuadrada vista en el ejercicio anterior.)
Q
5.16. Consideremos el producto cartesiano numerable n Mn de espacios metricos
n
P
(M
Q n , dn ), con la metrica d(x, y) := n mn{1/2 , dn (xn , yn )}. Las proyecciones
Q j :
n Mn Mj , j (x) = xj son uniformemente continuas. Una funcion f : X n Mn
definida en un espacio metrico (X, dX ) es uniformemente continua si y solo si j f :
X Mj lo son.
5.17. Una funcion continua de [0, 1] en R es continua si y solo si es uniformemente
continua. (Sugerencia: si f no es uniformemente continua, existe un  > 0 y sucesiones
{xn } {yn } tales que |xn yn | < 1/n pero |f (xn ) f (yn )|  para todo n. Por ser
contenida en [0, 1], la sucesion {xn } tiene una subsucesion convergente. Probar que si
x es el lmite de esa subsucesion, entonces f no es continua en x.)

32
5.5. Completitud
5.5.1. Sucesiones de Cauchy
La nocion de sucesion convergente no es una nocion intrnseca de la sucesion dado
que asume la existencia de un punto particular, el lmite de la sucesion. La idea es
construir una nocion de convergencia de sucesiones que sea intrnseca.

Definicion. Una sucesion {xn } en un espacio metrico es de Cauchy si para todo > 0
existe un N tal que d(xn , xm ) < para todos n y m mayores que N .

Observar que intuitivamente las terminos de una sucesion de Cauchy se aproximan

entre si, a medida que n crece. (Comparar con la definicion de sucesiones convergentes,
donde los terminos se aproximan a un mismo punto.)

5.18. Toda sucesion convergente es de Cauchy. Mostrar con un ejemplo que el recproco
no es necesariamente cierto.

5.19. En R se considera la funcion d : R R R definida por

Z y 
 
d(x, y) =  f (t)dt ,
x
R
donde f es una funcion continua, positiva y tal que f es finita. Probar que d es
una distancia. Probar que la sucesion {n} es de Cauchy pero no converge.

5.20. Toda sucesion de Cauchy es acotada.

5.21. Si una sucesion de Cauchy tiene una subsucesion convergente, entonces ella
misma es convergente, y al mismo lmite.

5.22. Toda transformacion entre espacios metricos uniformemente continua transforma

sucesiones de Cauchy en sucesiones de Cauchy. Mostrar con un ejemplo que una funcion
continua puede no tener esta propiedad.

5.5.2. Espacios metricos completos

Intuitivamente, los espacios metricos completos son aquellos espacios que no le
faltan puntos. Una forma natural para describir estos espacios es via las sucesiones
de Cauchy.

Definicion. Un espacio metrico es completo si toda sucesion de Cauchy es convergente.

Por ejemplo, es facil ver que el intervalo (1, 1) con la metrica usual no es completo.
Mas interesante aun, el conjunto de numeros racionales Q como espacio metrico no es
completo. Sin embargo estos espacios se vuelven completos una vez que agregamos

33
ciertos puntos (el 1 y 1 al primer ejemplo, y los irracionales en el segundo). Mas
abajo veremos que la completacion de un espacio es siempre posible.
El gran ejemplo de espacio metrico completo es R con la distancia usual. Esto
se demuestra usando el Axioma de Completitud : si A 6= es un subconjunto de R
acotado superiormente, entonces A tiene supremo. Ambos enunciados son, de hecho,
equivalentes: es decir, se puede sustituir el Axioma de Completitud por el enunciado
R es completo y se obtiene el Axioma como resultado. Ver 5.46.

5.23. Sea (M, d) un espacio metrico completo. Un subconjunto N de M es completo

con la metrica inducida si y solo si N es cerrado en M .

5.24. El espacio ` de todas las sucesiones complejas acotadas (ver Ejemplo 5.1.2
(vi)), es un espacio metrico completo.
Deducir que c, el conjunto de las sucesiones complejas convergentes, y c0 , el conjunto
de las sucesiones convergentes a 0 con la metrica inducida por la del ejercicio anterior,
son completos. Es completo el subconjunto de las sucesiones que son cero a partir de
un n?

5.25. Sea X un conjunto, y consideremos el espacio metrico B(X, R) de funciones

acotadas de X en R con la distancia de la convergencia uniforme d (ver Ejemplo
5.1.1(iv)). Entonces (B(X, R), d ) es completo.

Observar que para el resultado anterior lo unico que necesitamos de R es que es com-
pleto. En este sentido se puede probar que el conjunto B(X, Y ), de funciones acotadas
de un conjunto X en un espacio metrico completo (Y, d), es completo si consideramos
la distancia d (f, g) := supxX d(f (x), g(x)).
Si dotamos el conjunto X con una estructura de espacio topologico podemos es-
tudiar el subespacio de B(X, Y ) formado por funciones continuas. Veamos un caso
particular de esto.

5.26. Sea C([0, 1], R), el conjunto de todas las funciones continuas de [0, 1] en R. En-
tonces (C([0, 1], R), d ) es un espacio metrico completo.
(Sugerencia: basta ver que C([0, 1], R) es cerrado en B([0, 1], R).)

5.27. El producto cartesiano M1 Mn es completo, si y solo si, Mi es completo para

todo i = 1, . . . , n. (Sugerencia: usar que las proyecciones son uniformemente continuas.)
Extender el resultado a productos numerables con la metrica definida en 5.16.

5.28. Probar el siguiente teorema.

Teorema (Punto fijo de Banach). Sea (M, d) un espacio metrico completo, y f :

M M . Suponga que existe una constante < 1 tal que d(f (x), f (y)) d(x, y)
para todos x e y en M . Encontes f tiene un unico punto fijo, es decir, existe un unico
z M tal que f (z) = z. (Sugerencia: tomar un x0 cualquiera y trabajar con la sucesion
xn = f (xn1 ).)

34
5.29. Probar el siguiente teorema.

Teorema ( Encaje de Cantor). Sea (M, d) un espacio metrico. Entonces son equiva-
lentes:

 (M, d) es completo.

 Si {An } es una sucesion de subconjuntos de M que cumplen:

a) Cada An es cerrado no vaco.

b) Para todo n se cumple que An An1 .
c) El diametro de An tiende a 0 cuando n .

Entonces n An 6= .

5.5.3. Espacios topologicos metrizablemente completos y Teo-

rema de Baire
Definicion. Decimos que un espacio topologico es metrizablemente completo si su
topologa es generada por una metrica completa.

Por ejemplo, vimos que R con la topologa usual es un espacio metrizablemente

completo. Sin embargo, existen otras metricas en R que generan la misma topologa
pero que no son completas.

5.30. Encontrar en (0, 1) una metrica que genere la topologa usual, pero que sea
completa.

En el siguiente ejercicio veremos que la propiedad de completitud es una propiedad

metrica.

5.31. Si un espacio metrico es completo, entonces es completo con cualquier otra metri-
ca equivalente. (Recordar que d y d0 son metricas equivalentes en M si existen cons-
tantes positivas , tales que d(x, y) d0 (x, y) d(x, y), para todo x, y M .

La propiedad de completitud se preserva entre espacios metricos isometricos (fun-

cione biyectivas que preservan la distancia). Ademas vimos que la completitud de los
espacios no es una caracterstica topologica, dado que una misma topologa puede ser
generada por metricas completas y no completas a la vez. Desde este punto de vista,
la completitud no es un invariante topologico. Sin embargo, los espacios topologicos
metrizablemente completos poseen ciertas propiedades interesantes desde el punto de
vista de la topologa que motiva a estudiarlos en este curso.
Veamos primero como introducir una nocion de conjunto insignificante para una
topologa. Una primera aproximacion sera tomar conjuntos con interior vaco. El in-
conveniente de esta definicion es que R puede escribirse como union de Q y R\Q, ambos

35
con interior vaco. Una mejor definicion de insignificante sera que su clausura tiene
interior vaco. El siguiente resultado muestra que union de conjunto insignificantes es
insignificante.

5.32. Sean A y B dos conjuntos en un espacio topologico. Entonces el interior de A B

coincide con el interior de A B.

Definicion. Sea (X, ) un espacio topologico. Un subconjunto A de X es nunca denso

en X si su clausura tiene interior vaco.

Veamos algunos ejemplos de nunca densos.

Ejemplos 5.5.1. (i) Z es nunca denso en R.

(ii) A = {1/n : n N}, es nunca denso en R: A = {0} A tiene interior vaco.

(iii) Puntos no-aislados en espacios T1 (un punto x es aislado si {x} es abierto).

(iv) El conjunto de Cantor en R.

5.33. a) Subconjuntos de nunca densos son nunca denso.

b) * La frontera de un conjunto abierto es nunca denso (sin embargo el conjunto

puede ser grande desde el punto de vista de la teora de la medida, cf. queso
suizo).

c) Si (X, ) es un espacio topologico, entonces X no es nunca denso. Mas aun, sub-

conjuntos nunca densos no son nunca densos en s mismo con topologa relativa).
De hecho son densos.

d) El complemento de un nunca denso continene un abierto denso.

e) Union finita de nunca densos es nunca denso.

f) Union numerable de nunca densos puede no ser nunca denso. Conoce algun
ejemplo que sea denso?

Observacion 1. Del resultado c) resulta que la propiedad de ser nunca denso depende
de donde se lo mira.

Definicion. Un subconjunto A de X se llama magro, si es union numerable de con-

juntos nunca densos.

Ejemplos 5.5.2. (i) Todo subconjunto de un magro es magro, y union numerable

de magros tambien lo es.

(ii) Q = qQ {q} es magro en R, y tambien en Q. (Es Hausdorff y no tiene puntos

aislados.)

36
(iii) Union numerable de rectas en R2 .

(iv) El conjunto de Cantor es magro en R.

5.34. a) Puede un conjunto magro ser denso? (Sug: pensar en conjuntos separables
en espacios metricos.)

b) Puede un conjunto magro tener interior no vaco?

5.35. a) Si un conjunto es abierto y denso, entonces su complemento es nunca denso.

b) Si un conjunto es nunca denso, entonces su complemento contiene un abierto

denso.

Puede R ser magro en R? Es decir, existen cerrados {Fn } de interior vaco tal que
R = n Fn . Puede ser el conjunto de Cantor magro en s mismo?. La respuesta a estas
preguntas es no como consecuencia del Teorema de Baire que veremos mas abajo.

Definicion. Un subconjunto A de X se llama residual si es una interseccion numerable

de conjuntos abiertos y densos.

5.36. R \ Q es residual.

Teorema (Baire). Sea (M, d) un espacio metrico completo. Entonces todo subconjunto
residual es denso.
T
Demostracion. Sea A = n An un conjunto residual en M , donde cada An es abierto
y denso. Sea B0 = B(x0 , r0 ) una bola cualquiera en M . Se probara que B0 A 6= .
Por ser A1 denso y abierto, existe una bola B1 de radio r1 > 0 cuya clausura esta
contenida en B0 A1 . Ahora, por ser A2 abierto y denso, existe una bola B2 de radio
r2 cuya clausura esta contenida en B1 A2 , donde ademas se puede tomar r2 < r1 /2.
Por induccion se prueba que existe una sucesion de bolas Bn de radios rn < rn1 /2,
tales que la clausura de Bn esta contenida en Bn1 An para todo n.
n
Luego para cada n tenemos que Bn es no vaco, Bn Bn1 yTdiam(Bn ) 0.
Luego por el teorema de encaje de Cantor existe z M tal que z = n Bn . Dado que
Bn An para cada n 1 entonces z B0 A y el teorema queda demostrado.

5.37. Ningun espacio completo es magro en s mismo.

Por ejemplo, el conjunto de Cantor es nunca denso en R pero no es magro en

s mismo. Q es magro en s mismo.

5.38. Averiguar si en R con la topologa generada por la base de los intervalos semi-
abiertos se cumple que todo residual es denso.

37
Comentarios y aplicaciones Teorema de Baire
a) El teorema de Baire es un resultado topologico y por lo tanto continuara siendo
cierto en cualquier otra metrica que genere la misma topologa, sin necesidad
de ser completa. En particular el resultado sigue siendo cierto en (0, 1) con la
topologa usual. Por ejemplo, (0, 1) no puede ser expresado como n Fn con Fn
nunca densos.

b) Todo espacio topologico metrizablemente completo no es magro en si mismo.

c) El conjunto de Cantor es no numerable:

Es cerrado en R entonces completo. Ademas como no tiene puntos aislados, de
no ser no numerable sera magro en si mismo.

d) El espacio vectorial P := {f : R R, f polinomio} (con las operaciones habi-

tuales) no se puede dotar de una norma completa (es decir, no es un espacio de
Banach.) Esto resulta de lo siguiente: S
Si k k es una norma completa en P, entonces P = n Pn donde Pn := {f
P, grado(f ) n} es cerrado y nunca denso.

Pn es un subespacio vectorial de dimension finita y normado, entonces com-

pleto y cerrado.
En general, todo subespacio vectorial (propio) de dimension finita tiene in-
terior vaco: si contiene una bola, entonces trasladando contiene una bola
centrada en el origen, y entonces por escalando cualquier vector esta en el
subespacio.

5.6. Completacion de Espacios Metricos

5.39. Sean (M, d) y (N, d0 ) espacios metricos donde N es completo. Sea f : A N
definida en A, un subconjunto denso de M . Si f es uniformemente continua, entonces
existe una unica extension continua de f a M (esto es, existe una unica funcion continua
fe : M N tal que f (x) = fe(x) para todo x A). Ademas la extension resulta
uniformemente continua.

Antes de la demostracion, analice el siguiente ejemplo: Sea f definida en (0, 1] por

f (x) = 1/x; es continua en (0, 1] pero no puede extenderse como una funcion continua
a todo el intervalo [0, 1]. Para la prueba, considerar x M y {xn } una sucesion en A
que tiende a x. Entonces {f (xn )} es una sucesion de Cauchy en N , de donde se deduce
que tiene una subsucesion convergente. Su lmite es el candidato a definicion de fe(x).
Entre otras cosas, hay que probar que fe(x) no depende de la eleccion de la sucesion
{xn }.

38
Definicion. Un encaje isometrico entre espacios metricos es una funcion que preserva
distancias. Esto implica que una encaje isometrico es inyectivo, pero no necesaria-
mente es sobreyectivo. Cuando es sobreyectiva resulta ser una isometra (como vimos
anteriormente).
Definicion. Sea (M, d) un espacio metrico. Decimos que un espacio metrico completo
(M e es una completacion de (M, d) si existe un encaje isometrico i : (M, d) (M
f, d) f, d)
e
tal que i(M ) es denso en M
f.

Por ejemplo, Q con la distancia usual no es completo, una completacion de este

espacio es R con la distancia usual.

5.40. Sea (Mf, d)

e una completacion de (M, d), siendo i el encaje isometrico de M en M
f.
0
Sea (N, d ) otro espacio metrico y f : M N una funcion uniformemente continua.
Probar que entonces existe una funcion uniformemente continua fe : M f N tal que
f i = f.
e
Deducir que dos completaciones de (M, d) son isomorfas. Por eso se habla de la com-
pletacion de (M, d).
5.41. Todo espacio metrico (M, d) tiene una completacion. (Sugerencia: Fije un x0
M . Considere, para cada x M la funcion fx : M R definida por fx (y) = d(y, x)
d(y, x0 ). Demuestre que fx B(M ), es decir, que fx es una funcion acotada (probar
aqu que |fx (y)| d(x, x0 ) para todo y M ). Sea i : M B(M ) definida por i(x) =
fx . Probar que es un encaje isometrico y deducir que (i(M ), d ) es una completacion
de (M, d).)

5.7. Miscelanea
5.42. Metricas Conformes en el Plano
Sea C un abierto y : [0, +) una funcion C 2 . Definimos la longitud de una
curva diferencible : [a, b] como
Z b
long() = ((s))|0 (s)|ds.
a

Probar que la longitud de una curva no depende de la parametrizacion. Observar que

esta definicion se puede extender a curvas diferenciables a trozos. Ahora dados dos
puntos x, y definimos d (x, y) como el infimo de las longitudes de las curvas
diferenciables a trozos que unen x con y. Probar que d es una metrica.
Un ejemplo clasico es el llamado Plano Hiperbolico: = H = {z C : Im(z) >
1
0}, (z) = Im(z) . Probar que si z1 y z2 tienen parte real nula entonces la distancia
d (z1 , z2 ) es realizada por cualquier parametrizacion inyectiva del segmento que une
dichos puntos. Concluir que el semi-eje vertical es una curva que minimiza la distancia

39
entre cualquier par de sus puntos. Una curva con esta propiedad es llamada geodesica.
Puede verse (pero no lo pedimos aqu) que las geodesicas del plano hiperbolico son las
rectas verticales y las semi-circunferencias con centro en el eje real. El plano hiperbolico
es un modelo de geometra no euclideana donde por un punto exterior a una geodesica
pasan infinitas geodesicas que no cortan a la primera, es dicir, infinitas geodesicas
paralelas a la primera.
5.43. Una cuasi-metrica es una funcion d : X X R que cumple:
(i) d(x, y) 0 para todo x, y X, con d(x, x) = 0 y d(x, y) > 0 si x 6= y.
(ii) d(x, y) = d(y, x) para todo x, y en X.
(iii) Existe M 1 tal que d(x, y) M (d(x, z) + d(z, y)) para todo x, y, z en X.
A diferencia de las metricas, las cuasi-metricas no necesariamente generan topologa.
Para ver un ejemplo tomemos en d : C C R definido por
 1
2
|x y| si x, y R,
d(x, y) =
|x y| si no.
Probar que d es una cuasi-metrica cuyas bolas no son base para ninguna topologa.
5.44. Sea (X, d) un espacio metrico. Consideremos C(X) el conjunto de todas las
sucesiones de Cauchy en X. Decimos que {xn } {yn } si y solo si lmn d(xn , yn ) = 0.
Probar que es una relacion de equivalencia.
Definimos X = C(X)/ y d : X X R por d([{x n }], [{yn }]) = lm d(xn , yn ). El

espacio metrico (X, d) resultara ser una completacion de X.
a) Probar que d esta bien definida y es una metrica.
b) Demostrar que : X X definida por (x) = [{xn = x}] es un encaje isometrico
y que (X) es denso en X.
c) Probar que X es completo. Sugerencia: para una sucesion de Cauchy an =
[{xnm }mN ] considerar zn = xnkn donde kn es tal que para todo m, m0 kn se
cumple d(xnm , xnm0 ) < n1 , luego probar que lm an = [{zn }].
5.45. Curva de Peano
El objetivo de este ejercicio es probar el siguiente teorema.
Teorema. Sea I = [0, 1]. Existe un mapa contnuo y sobreyectivo f : I I I.
Decimos que una curva g : [a, a + r] [c, c + r] [d, d + r] es un mapa triangular
si resulta de componer con una isometra del cuadrado [c, c + r] [d, d + r] la curva
h : [a, a + r] [c, c + r] [d, d + r] definido por

(c + t, d + t) si t a + r/2
h(a + t) =
(c + t, d + 1/2 + t) si t > a + r/2
Observar la figura para mejor entendimiento de los mapas triangulares.

40
 Un mapa g : I I 2 es n-triangular si cada uno de los mapas g|[k 1n ,(k+1) 1n ] son
4 4
triangulares sobre los cuadrados que resultan de la division de I en 4n cuadrados iguales.
Definimos en estos mapas una operacion como sigue: dado un mapa triangular g
definimos g 0 el mapa 1-triangular como se ve en la figura. Luego dado g n-triangular
se define g 0 el mapa (n + 1)-triangular resultante al aplicar la operacion a cada una de
las restricciones a los 4n cuadraditos de la subdivision.
Tomamos ahora una sucesion de funciones definidas por recursion: f0 = h y f(n+1) =
(fn )0 .

a) Observar que fn es n-triangular y contnua para todo n.

b) Considerar en I 2 la metrica d(x, y) dada por la norma del maximo y en C(I, I 2 ) =

{g : I I 2 : g continua} la distancia (g1 , g2 ) = sup{d(g1 (t), g2 (t)) : t I}.
Observar que (C(I, I 2 ), ) es completo y {fn } es de Cauchy.

c) Probar que f = lm fn es sobreyectiva. Sugerencia: probar que dado x y n N

existe t0 I tal que d(x, fn (t0 )) 21n , luego usando que fn converge a f y la
desigualdad triangular probar que en todo entorno de x hay un punto de f (I).
Luego por compacidad de f (I) el punto x debe estar en la imagen de f .

5.46. Probar que el Axioma de Completitud es equivalente a decir que R es completo.

Idea de la prueba: Probemos primero que R es completo usando el Axioma: Sea A =
{x R : x < xn para infinitos valores de n}. Para empezar, note que A es acotado

41
superiormente porque la sucesion {xn } es acotada superiormente. Por otro lado, A es
no vaco porque la sucesion {xn } esta acotada inferiormente. Sea x el supremo de A.
Se prueba ahora que x es el lmite de la sucesion {xn }: notar que por la definicion de
A, en cada entorno de x hay infinitos puntos de la sucesion. Se deduce que {xn } tiene
una subsucesion convergente a x, y de 5.21 se deduce que converge a x.
Para probar el recproco, sea A un conjunto acotado superiormente y no vaco. Sea
x0 el menor entero que es cota superior de A y defina por recurrencia una sucesion
{xn }n0 as : conocido xn defina xn+1 = xn 2n si xn 2n es cota de A y xn+1 = xn
si no. Entonces la sucesion xn es de Cauchy, y por hipotesis tiene lmite x. Entonces x
es el supremo de A.

42
Captulo 6

AXIOMAS DE SEPARACION

Definicion. Un espacio topologico X se dice T0 , o de Kolmogorov, si dados dos puntos

x e y existe un entorno U de x tal que y
/ U o un entorno de V de y tal que x / V.
Desde el punto de vista topologico un espacio es T0 si los puntos son topologica-
mente distinguibles. Los espacios topologicas con la topologa discreta, y los espacios
metrizables son T0 . Sin embargo un espacio X con card(X) > 1 con la topologa indis-
creta no es T0 . Otro ejemplo de espacio no T0 es R2 donde los abiertos son de la forma
U R, donde U R es abierto.
6.1. Un espacio topologico X es T0 si y solo si para todo x, y X, Nx = Ny implica
x = y.
Definicion. Un espacio X es T1 si dados dos puntos x e y existen U entorno de x y
V entorno de y tal que x /V yy / U.
T
6.2. X es T1 si y solo si U Nx U = {x}. Ademas X es T1 si y solo si todos los puntos
son cerrados.
Ejemplo 6.0.1. Consideremos R con la topologa dada por los conjuntos que contienen
al cero. Este espacio es T0 pero no es T1 ya que si x 6= 0 no existe ningun entorno abierto
de x que no contenga a 0.
Definicion. Recordar que un espacio topologico X es T2 o de Hausdorff si para todo
par de puntos x, y X existen entornos U y V de x e y respectivamente tal que
U V = .
Ejemplo 6.0.2. Consideremos X un conjunto infinito con la topologa de los comple-
mentos finitos. Es facil ver que X es T1 pero no de Hausdorff.
6.3. Todo subespacio de un espacio de Hausdorff es de Hausdorff.
Definicion. El espacio X se dice regular o T3 si los puntos son cerrados y dados un
punto x y un cerrado C que no contiene a x existen un entorno U de x y un entorno
abierto V de C tal que U V = .

43
 Observar que la condicion de que los puntos son cerrados es necesaria para que todo
espacio regular sea de Hausdorff: si X es un conjunto de dos puntos con la topologa
indiscreta no es de Hausdorff pero sin embargo cumple con la segunda parte de la
definicion de espacio regular.

6.4. Sea X un espacio T1 . X es regular si y solo si para todo punto x y entorno U de

x existe un entorno V de x de forma tal que V U .

6.5. Todo subespacio de un espacio regular es tambien regular.

Definicion. El espacio X es normal o T4 si los puntos son cerrados y dados dos

cerrados disjuntos C1 y C2 existen respectivos entornos U y V disjuntos.

6.6. Sea X un espacio T1 . X es normal si y solo si para todo cerrado C y abierto U

que contiene a C existe un abierto V tal que C V U .

6.7. Todo espacio metrizable es normal.

44
Captulo 7

CONEXION

7.1. Espacios Topologicos Conexos

Definicion. Una separacion de un espacio topologico X es un par A, B, de conjuntos
abiertos, no vacos, disjuntos tal que su union es X. Un espacio topologico X es conexo
si no existe una separacion.

Observar que la propiedad de ser conexo es un invariante topologico, esto es, es un

invariante por homeomorfisomos. Esto resulta del simple hecho que una separacion en
un espacio induce una separacion en cualquier espacio homeomorfo.

Observacion 2. Diremos que un subconjunto C de un espacio topologico X es conexo,

si lo es con la topologa relativa.

Dado que es mas facil verificar que existe una separacion de un espacio, que probar
que es conexo, veamos algunos ejemplos de espacios no conexos.

7.1. Encontrar separaciones para los siguientes subespacios topologicos de la recta real:
R \ {0}; Q; X = [0, 1) (1, 2]. Mas en general, probar que un espacio de mas de un
punto con la topologa discreta, no es conexo.

7.2. Probar que el espacio GL(n, R), de matrices reales n n invertibles, no es conexo.
(C.f. 4.12.)

7.3. Considerar el subespacio X de R2 dado por la union R {0} y {(x, y) R2 : y =

1/x, x > 0}. Probar que X no es conexo.

7.4. El intervalo [0, 1] es conexo.

(Sugerencia: Suponer que existe una separacion A y B de [0, 1]. Suponiendo 0 A,
estudiar el supremo del conjunto C := {x A : x b, b B}.)

Es facil adaptar la prueba del ejercicio anterior para concluir que R es conexo. En
particular, todo intervalo abierto de la recta es conexo.

45
7.5. Sea X un espacio topologico. Son equivalentes:

a) X es conexo.

b) X no es la union de dos conjuntos cerrados disjuntos y no vacos.

c) Todo subconjunto de X que no es ni X, tiene frontera no vaca.

d) Si un subconjunto A de X es abierto y cerrado, entonces A = o A = X.

e) Toda funcion continua f : X {0, 1} es constante.

f) Para toda f : X R continua se cumple que f (X) es un intervalo.

7.6. Probar el siguiente teorema.

Teorema (Bolzano). Si f : X Y es continua y X es conexo entonces f (X) es

conexo.

7.7. Un espacio metrico conexo con mas de un punto es no numerable. (Sug: considerar
la funcion distancia a un punto.)

El teorema de Bolzano nos permite probar que ciertos espacios son conexos. Por
ejemplo, el crculo S 1 es conexo, por ser imagen de una funcion continua con dominio
R.

7.8. La clausura de un conjunto conexo es conexo. Concluir que si X Y X, y X es

conexo, entonce Y es conexo. (Sugerencia: quien es la clausura de X como subespacio
de Y ?)

El anterior resultado nos permite probar nuevamente que el ccrulo S 1 es conexo

probando que S 1 menos un punto es homeomorfo a un intervalo abierto. Ademas nos
permite concluir que los intervalos semi-abierto, semi-cerrados tambien son conexos.

7.9. Los conexos de R son intervalos. (Decimos que I es un intervalo si dados a, b I,

con a < b, entonces (a, b) I.)

Observacion 3. El grafico G(f ) R2 de la funcion f : R+ R, f (x) = cos(1/x)

es un conexo. (Esto resulta de que G(f) es homeomorfo al dominio.) Observar que la
clausura G(f ) = G(f ) V , donde V es el segmento vertical {0} [1, 1]. Por lo tanto
concluimos que G(f ) es conexo. Sin embargo, resulta poco intuitivo que dado cualquier
subjconjunto A V se tiene que G(f ) A es conexo.

7.10. La union de conjuntos conexos que tienen un punto en comun es conexo. Concluir
que un espacio X es conexo si y solo s dados dos puntos arbitrarios x, y en X, se tiene
que existe un subconconjunto Xx,y conexo que los contiene.

46
 Del resultado anterior podemos concluir que los espacios vectoriales normados son
conexos. Esto resulta de que para cualesquiera dos puntos x e y, la recta {x + t(y x) :
t R} es un conexo que los contiene. Resulta entonces que toda bola abierta es conexa
por ser homeomorfa al espacio ambiente, y tambien toda bola cerrada por ser en este
caso la clausura de la bola abierta. En particular Rn es un espacio topologico conexo, y
la bolas tambien lo son. Observar ademas que esto permite probar que la esfera unidad
S n1 es conexa.

7.11. X e Y son espacios conexos, si y solo si X Y es conexo.

(Idea de la ida: Observar que las fibras del producto son conexas por ser homeomorfas
a uno de los factores. Por lo tanto la union de dos fibras de distintos factores son
homeomorfas. Escribir el espacio como union de estos conexos con un punto en comun.)

El resultado anterior se extiende facilmente pare el caso de productos finitos de

espacios. A continuacion extenderemos este resultado a productos arbitrarios.

7.12. El producto arbitrarios de espacios, es conexo, si y solo s, sus factores son

conexos. Q
(Idea de la prueba: Consideremos un punto fijo base b = {b }I I X := X.
Para 1 , . . . , n I sean X(1 , . . . , n ) el subespacio del producto formado por todos
los x tal que (x) = b , para todo 6= i , (i = 1, . . . , n). Entonces X(1 , . . . , n ) es
conexo por ser homeomorfo al producto X1 Xn . Sea Y = X(1 , . . . , n ),
donde la union se toma en las partes finitas de subndice de I. Es facil ver que Y es
conexo, pero ademas es denso en X.)

7.2. Componentes Conexas

Cuando estamos en la presencia de un espacio que no es conexo, es natural pre-
guntarse cuantas piezas o componentes tiene el espacio. Esta pregunta es de suma
importancia en algunos contextos como la topologa algebraica y la topologa diferen-
cial. A modo de ejemplo considere el espacio C(S 1 ) de funciones continuas de S 1 en S 1 .
Cuales son las componentes conexas de este espacio?
Sea X un espacio topologico, llamemos C al conjunto de todos los subconjuntos
conexos de X (conexos como subespacios). Consideremos a C ordenado por la inclusion.

7.13. C tiene elementos maximales. (Sugerencia: usar lema de Zorn).

Definicion. Los elementos maximales de C se denominan componentes conexas de X.

Si las componentes conexas de X son puntos diremos que X es totalmente disconexo.

7.14. Las componentes conexas son cerradas. Encontrar un ejemplo en el cual no sean
abiertas (Sugerencia: pensar en un espacio totalmente disconexo que no sea discreto).

El siguiente resultado nos da una definicion alternativa de componente conexa.

47
7.15. Las componentes conexas de un espacio X son las clases de equivalencia por la
relacion: x y si y solo si ambos pertenecen a un subespacio conexo de X. Concluir
que las componenentes conexas son conexos, cerrados, disjuntos, tal que su union es
todo el espacio.
7.16. Hallar las componentes conexas de Q, y del conjunto de Cantor.
Observar que sacando puntos a un espacio y contando la cantidad de componentes
conexas, es facil ver que el intervalo (a, b] no es homeomorfo a un intervalo cerrado o
abierto.
7.17. Consideramos en un espacio X dos topologas 1 y 2 con la primera mas fina
que la segunda.

a) Un conjunto conexo en 1 lo es en 2 . Muestre con un ejemplo que no vale el

recproco.
b) Las componentes conexas respecto 1 son mas chicas que las componentes conexas
respecto a 2 .

7.3. Conexion Local

Definicion. Un espacio topologico se dice localmente conexo si para todo punto existe
una base de entornos conexos.
Ejemplos 7.3.1. Consideremos X = R {0} Q R R2 con la topologa relativa.
Observar que X es conexo pero no localmente conexo. Un espacio vectorial normado
es localmente conexo.
7.18. Mostrar ejemplos de espacios que cumplen que son conexos pero no localmente
conexos, y viceversa.
7.19. En un espacio es localmente conexo sus componentes conexas son abiertas.

7.4. Conexion por Caminos

Definicion. Un espacio topologico X se dice conexo por caminos o arcoconexo si para
todo par de puntos x, y X existe una curva continua : [0, 1] X tal que (0) = x
y (1) = y.
7.20. Los siguientes ejemplos son espacios conexos por caminos:
(i) Rn ; (ii) Rn \ {0}; (iii) S n1 Rn ; (iv) el subconjunto de R2 de pares con al
menos una coordenada irracional,
7.21. La imagen, por una funcion continua, de un conjunto conexo por caminos es
conexo por caminos.

48
7.22. La union de conjuntos arcoconexos, con al menos un punto en comun, es arco-
conexo. Es el producto cartesiano de arcoconexos, arcoconexo?

7.23. Si X es conexo por caminos, entonces es conexo.

7.24. Sea X la clausura el grafico de f : (0, +) R, f (x) = cos( x1 ). Probar que X

es conexo pero no conexo por caminos. (Sugerencia: probar que si : [0, 1] X es
continua, entonces 1 ({0} [1, 1]) es abierto y cerrado.)

Observar que del ejercicio anterior resulta que la clausura de un conjunto conexo
por caminos no tiene por que ser conexo por caminos.

Definicion. Un espacio topologico se dice localmente arcoconexo si para todo punto

existe una base de entornos arcoconexos. Definimos las componentes arcoconexas de un
espacio topologico como las clases de equivalencia de la relacion: x y si existe una
curva continua que los une.

7.25. La componente arcoconexa de x X es el conjunto arcoconexo maximal que lo

contiene.

7.26. En un espacio localmente arcoconexo, las componentes arcoconexas coinciden

con las componentes conexas.

Observacion 4. En particular los abiertos conexos de Rn son conexos por caminos.

49
Captulo 8

COMPACIDAD

8.1. Definicion y Generalidades

S cubrimiento de un espacio X es una familia de subconjuntos U
Definicion. Un
P(X) tal que U U U = X. En tal caso decimos que U cubre a X. Diremos que U es
un cubrimiento abierto si esta formado por conjuntos abiertos. Un subconjunto V U
que cubre a X es un subcubrimiento de U.

Definicion. Decimos que X es compacto si todo cubrimiento abierto de X tiene un

subcubrimiento finito.

8.1. Estudiar si los siguientes subespacios Y de R son compactos: Y = R; Y = {0}

{1/n : n N}; Y un subconjunto finito (se puede generalizar?); Y = (0, 1].

8.2. N con la topologa de los complementos finitos es compacto, mas aun, todos sus
subespacios son compactos.

8.3. Un subespacio Y de un espacio topologico X es compacto si y solo s todo cubri-

miento abierto de Y por abiertos de X tiene un subcubrimiento finito que lo cubre.

8.4. Todo subconjunto cerrado de un espacio compacto es compacto.

8.5. Sea f : X Y es una funcion continua entre espacios topologicos. Si X es

compacto entonces tambien lo es f (X).

8.6. Consideremos R con la topologa de los complementos numerables.

a) Decidir si el espacio es compacto.

b) Caracterizar todos los subespacios compactos.

c) Usar la parte anterior para probar que no es conexo por caminos.

50
8.1.1. Compactos de la recta
8.7. El objetivo de este ejercicio es probar el teorema de Heine-Borel: Un subconjunto
de R es compacto si y solo si es cerrado y acotado.
a) Probar que si A R no es acotado, existe un cubrimiento abierto sin subcubri-
mientos finitos.
b) Supongamos que A R no es cerrado. Construir un cubrimiento abierto que no
tenga subcubrimientos finitos y concluir el directo del teorema. (Sug.: tomar en
A una sucesion convergente a un punto de Ac y un cubrimiento formado por el
complemento de dicha sucesion y entornos de cada termino de la misma.) (C.f. .)
c) Observar que para probar el recproco es suficiente probar que un intervalo ce-
rrado es compacto.
S
d) Probar el recproco. Sugerencia: Considerar [a, b] iI Ui con Ui abierto para
todo i I. Definir A = {x [a, b] : [a, x] esta contenido en una union finita de
Ui }, probar que A es un intervalo abierto y cerrado.
8.8. Toda funcion continua a valores reales definida en un compacto tiene maximo y
mnimo.

8.1.2. Compacidad en espacios Hausdorff

8.9. Un subconjunto compacto en un espacio Hausdorff es cerrado.
Observacion 5. El resultado anterior nos permite concluir que un espacio metrico
M compacto es necesariamente completo. Esto resulta de que M es un compacto es
su completacion M , que es completo. Por lo tanto M es un subespacio cerrado en un
completo, y por lo tanto completo.
8.10. La interseccion arbitraria de compactos, en un espacio Hausdorff, es compacta.
8.11. Sea X un espacio compacto e Y Hausdorff. Una funcion f : X Y continua es
cerrada. Concluir que si f es continua y biyectiva entonces es un homeomorfismo.
Observacion 6. Del resultado anterior se pueden concluir dos observaciones intere-
santes.
No existe una funcion f : [0, 1] [0, 1] [0, 1] continua y biyectiva (c.f. curva de
Peano).
La topologa de un espacio compacto y Hausdorff satisface cierta propiedad de
optimalidad:
Sea (X, ) un espacio compacto y Hausdorff. Entonces, si 0 es una topologa
estrictamente mas fina que entonces (X, 0 ) no es compacto. En el otro sentido,
si 00 es una topologa estrictamente menos fina que entonces (X, 00 ) no es
Hausdorff. (Considerar la funcion identidad con distintas topologas.)
8.12. Un espacio compacto y Hausdorff es normal.

51
8.1.3. Producto de espacios compactos
8.13. Si X e Y son espacios compactos, entonces X Y es compacto.

8.14. Un subconjunto X Rn es compacto si y solo si es acotado y cerrado.

Teorema (Tijonov). Sea {(Xi , i )}iI una familia de espacios topologicos. El espacio
producto X = iI Xi es compacto si y solo si cada uno de los espacios Xi es compacto.

Antes de probar el Teorema de Tijonov probemos el siguiente lema:

Lema 1 (de Alexander). Sea (X, ) un espacio topologico. Si tiene una subbase S tal
que todo cubrimiento U de X contenido en S tiene un subcubrimiento finito, entonces
X es compacto.

Demostracion. Supongamos que X no es compacto, probemos que no existe tal subbase

S. Sea F la familia de cubrimientos abiertos de X que no tienen subcubrimientos
finitos. La ordenamos por inclusion. Es facil observar que toda cadena esta acotada
por superiormente por su union, luego existe un elemento maximal M.
Consideremos A y B abiertos en X, luego se cumplen las siguientes propiedades:

a) A
/ M si y solo si existen M1 , . . . , Mn M tal que X = A M1 . . . Mn .

b) Si A, B
/ M entonces A B
/ M.

c) Si A B y B M entonces A M.

La prueba de estas propiedades se deja como ejercicio.

Sea ahora S una subbase de . Sean M M y S1 , . . . , Sn S tales que
n
\
Si M
i=1
Tn
entonces por 3 se tiene i=1 Si M y por 2 Si M para algun i. Ahora dado x X
tomamos Mx M tal que x Mx , y sean Six S con i = 1, . . . , n(x) tales que
n(x)
\
x Six Mx .
i=1

Existe ix {1, . . . , n(x)} tal que Sixx Mx . Luego {Sixx : x X} M es un cubri-

miento abierto de X contenido en S que no tiene subcubrimientos finitos (ya que M
no tiene subcubrimientos finitos).
Demostracion(Tijonov). El directo es obvio ya que las proyecciones son continuas. Para
el recproco tomemos la subbase

S = {i1 (A) : i I, A i }.

52
Veamos que cumple las hipotesis del Lema de Alexander.
Sea U S un cubrimiento abierto de X. Consideramos para cada i I

Ui = {A Xi : i1 (A) U}

Podemos afirmar que existe i0 I tal que Ui0 es un cubrimiento abierto S de Xi0 , pues
si no lo fuera existira para cada i un puntoSxi Xi tal que xi / Ui . Entonces si
x X es tal que i (x) = xi se tiene que x / U, lo cual contradice el hecho de que U
es cumbrimiento de X.
Finalmente si {A1 , . . . , An } Ui0 es un subcubrimiento finito de Xi0 entonces

{i1
0
(A1 ), . . . , i1
0
(An )} U

8.2. Caracterizacion de Compacidad en Espacios Metri-

cos
8.2.1. Espacios totalmente acotados
Un espacio metrico compacto es necesariamente acotado ya que todo cubrimiento
por bolas de radio 1 tiene un subcubrimiento finito. De lo visto en el captulo anterior
(para espacios Hausdorff) podemos concluir que en un espacio metrico los subconjuntos
compactos son cerrados y acotados. Ademas vimos una descripcion completa de los
compactos de Rn : los compactos son los subconjuntos cerrados y acotados (Heine-
Borel). Sin embargo este resultado no es cierto en general.

8.15. Sea X = {en : n N} `2 (N), donde en es la sucesion que en el lugar n tiene

un 1 y el resto son ceros. X es cerrado, acotado, pero no compacto.

Observacion 7. En particular la bola unidad cerrada de `2 (N) no es compacta.

Veamos a continuacion una propiedad interesante que tienen los compactos.

Definicion. Decimos que un espacio metrico es totalmente acotado si para todo > 0
se tiene que X puede descomponerse en union finita de conjuntos con diametro menor
que .

Observacion 8. Observar que un espacio metrico X es totalmente acotado si y solo

si para todo > 0 el espacio puede escribirse como X = B(x1 , ) B(xn , ). En
este sentido, un espacio metrico es totalmente acotado si para todo > 0 existe un
conjunto finito de puntos x1 , . . . , xn X tal que todo punto x X dista menos de
de algun xi .

53
Observacion 9. Es claro que un espacio metrico totalmente acotado, es acotado. En
R, cualquier subconjunto acotado, es totalmente acotado. Sin embargo, esto no ocurre
en general.

Observacion 10. En un espacio metrico, si un subconjunto A es acotado entonces

diam(A) = diam(A). Por lo tanto, en la descomposicion de un espacio totalmente
acotado podemos pedir que los subconjuntos sean cerrados.

8.16. Si X es un espacio metrico totalmente acotado entonces es separable. En parti-

cular, un espacio metrico compacto es separable.

8.2.2. Bolzano-Weierstrass y compacidad secuencial

Definicion. Decimos que un espacio X satisface la propiedad de Bolzano-Weierstrass
si todo subconjunto infinito de X tiene un punto de acumulacion en X.

8.17. La compacidad implica la propiedad de Bolzano-Weierstrass.

Ejemplo 8.2.1. El recproco del resultado anterior no es cierto. Un ejemplo de esto es

(Z, ), con la topologa generada por la base B := {(n, n) Z : n N}. Verificar!

Definicion. Un espacio X se dice secuencialmente compacto si toda sucesion tiene

una subsucesion convergente.

8.18. Un espacio secuencialmente compacto cumple la propiedad de Bolzano-Weierstrass.

Ejemplo 8.2.2. El recproco no es cierto. Basta considerar el espacio topologico (Z, )

dado en el ejemplo anterior. Verificar!

Teorema. Sea X un espacio metrico. Entonces son equivalentes:

(i) X es compacto;

(ii) X es satisface la propiedad de Bolzano-Weierstras;

(iii) X es secuencialmente compacto;

(iv) X es completo y totalmente acotado.

8.19. Probar el teorema. Se sugiere hacerlo en el orden establecido. Para probar (iv)
implica (i) se sugiere seguir de manera analoga a la siguiente prueba del Teorema de
Heine-Borel en R. S
Supongamos por absurdo que existe un cubrimiento abierto [a, b] I U , sin sub-
cubrimiento finito. Partiendo [a, b] en dos intervalos cerrados (por el punto medio),
tenemos que alguno de los dos intervalos no puede ser cubierto por una cantidad finita
de U s. Sea [a1 , b1 ] dicho intervalo. De manera analoga construimos una sucesion de
intervalos cerrados encajados que no tienen un subcubrimiento finito. Dado que [a, b]

54
es completo, por le teorema de encaje de Cantor tenemos que existe un unico punto
c [a, b] comun a todos los intervalos. Pero c pertenece a algun abierto U lo cual es
un absurdo dado que en algun momento los intervalos son interiores a ese abierto, y
por lo tanto son cubiertos por un abierto solo.

Observacion 11. Las propiedades (i), (ii) y (iii) son puramente topologicas, por con-
siguiente su equivalencia sigue siendo valida para espacios topologicos metrizables.

8.20. Usar la clasificacion anterior para dar una prueba del Teorema de Tijonov para
el caso de productos de espacios metricos numerables usando el proceso diagonal de
cantor.

8.2.3. Numero de Lebesgue de un cubrimiento

Definicion. Dado un cubrimiento de un espacio metrico X por conjuntos C , I,
el numero de Lebesgue del cubrimiento es el real  > 0 tal que toda bola B(x, ) en X
esta contenida en al menos un C .

8.21. Todo cubrimiento abierto de un espacio metrico compacto tiene un numero de

Lebesgue. (Sug: considera la funcion distancia d(x, Uic ), definida en el 8.29, donde Ui
es un abierto del cubrimiento (finito). )

8.22. Sea f : X Y una funcion continua entre espacios metricos, donde X es

compacto. Entonces f es uniformemente continua.

8.3. Espacios Localmente Compactos

Definicion. Decimos que un espacio topologico X es localmente compacto (l.cc.) si
todo x X contiene un entorno compacto, i.e., existe K Nx tal que x int(K).

Ejemplos 8.3.1. Todo espacio compacto es l.cc., R es l.cc. Todo espacio discreto es
l.cc. Todo subconjunto abierto o cerrado de un espacio metrico l.cc. es l.cc. Sin embargo
Q, `2 (N) y cualquier bola cerrada de `2 (N) no son l.cc.

Observacion 12. Observar que la definicion no es local: en general una espacio cumple
una propiedad localmente si para todo x X y todo U Nx se tiene que existe V Nx
que cumple la propiedad P y V U .

8.23. Sea X es un espacio topologico Hausdorff, entonces son equivalentes:

a) X es localmente compacto;

b) Para todo x X y entorno U Nx , existe V Nx tal que V es compacto y

V U.

55
8.3.1. Compactificacion por un punto
Definicion. Una compactificacion de un espacio X es un espacio X compacto junto
con una inmersion (homeomorfismo sobre su imagen) : X X que cumple (X) = X.

Ejemplo 8.3.1. Consideremos el intervalo (0, 1) con la topologa heredada de R. El

intervalo [0, 1] junto con la inclusion es una compactificacion de (0, 1). Otra compacti-
ficacion de (0, 1) es el par (S 1 , ) donde (t) = e2it . Este ejemplo nos permite observar
que la compactificacion de un espacio (de existir) no es unica.

Tomemos (X, ) un espacio, Hausdorff, y no compacto. Definimos X = X {X},

para simplificar la notacion renombremos el punto agregado como = {X}. Un
entorno abierto de es VK = X K donde K es un compacto de X. Llamemos N a
la familia de entornos abiertos de y consideramos la toploga = N . El espacio
(X, ) es la compactificacion por un punto de (X, ).

8.24. Probar que (X, ) es efectivamente una compactificacion de (X, ), es decir que
es compacto y que la inclusion es una inmersion con imagen densa. Que sucede si no
pedimos que X sea no compacto?

8.25. Sea X un espacio y X su compactificacion por un punto. X es de Hausdorff si y

solo si X es localmente compacto.

8.26. Si (X, , 1 ) y (X, , 2 ) son dos compactificaciones de (X, ) tal que X X y

X X tienen un punto, entonces X y X son homemorfos.

8.27. La compactificacion por un punto de R2 es homeomorfa a la esfera S 2 .

8.4. Miscelanea
8.4.1. Propiedad de interseccion finita
La nocion de compacidad tambien puede ser formulada en terminos de conjuntos
cerrados.

Definicion. Sean X un conjunto y F P(X) una familia de subconjuntos de X.

Decimos que F satisface la propiedad de interseccion finita si para toda subfamilia
finita {F1 , . . . , Fn } F se tiene ni=1 Fi 6= .

8.28. Un espacio topologico X es compacto si y solo si para toda familia

T de subcon-
juntos cerrados de X con la propiedad de interseccion finita se tiene F F F 6= .

56
8.4.2. Distancias a conjuntos
8.29. Sea (X, d) un espacio metrico, y A X.

a) Recordar que el diametro de un conjunto se define por diam A := sup{d(a, b) :

a, b A} (en caso de que exista). Probar que si A es compacto entonces el
diam A existe, y existen a , b A tal que diam A = d(a , b ).

b) Si x X se define d(x, A) := nf{d(x, a) : a A}. Probar que x X 7 d(x, A)

R es continua. Estudiar en que casos esa distancia es realizada discutiendo segun
A cerrado, compacto. (Sug: en `2 (N) considere d((0)nN , F ) donde F = {(1 +
1/n)en : n N}.)

8.4.3. Dimension infinita vs dimension finita.

8.30. No existe n N tal que l2 (N) sea homeomorfo a Rn con la distancia usual.
Observar, por otro lado, que para todo natural n se tiene un encaje isometrico i :
Rn l2 (N), donde la distancia en Rn es la eucldea.

8.31. a) [0, 1][0,1] con la topologa producto no es secuencialmetne compacto, aunque

si compacto.

b) [0, 1][0,1] con la topologa producto no es homeomorfo a [0, 1]n para ningun n N.

c) El espacio vectorial Fb de las funciones acotadas del [0, 1] a R con la topologa

producto heredada de R[0,1] no es homeomorfo a Rn para ningun n N.

8.32. Se define el cubo de Hilbert H l2 (N) dado por H = {x l2 (N) : 0 xn

1
n
, for all n N}. Probar que H es compacto. Probar que para todo n N se cumple
que H tiene una copia del cubo n-dimensional [0, 1]n Rn , es decir, H contiene un
subconjunto homeomorfo al cubo n-dimensional.

57
Captulo 9

TOPOLOGIA COCIENTE

9.1. Topologa Final y Topologa Cociente

Consideremos un espacio topologico (X, ), una relacion de equivalencia en X y
: X X/ la proyeccion al cociente.
9.1. La familia = {A X/ : 1 (A) } es una topologa y es la mas fina que
hace a la proyeccion contnua.
A la topologa del ejercicio anterior se le llama topologa cociente de X/ . Observar
que los abiertos en el cociente estan definidos por el conjunto de clases de equivalencia
tales que su union es abierta en X.
En general si X es un espacio topologico y f : X Y es una funcion podemos
definir del mismo modo una topologa en Y que resulta ser la mas fina que hace a f
contua. Esta se denomina topologa final de Y con respecto a f .
Ejemplo 9.1.1. En el 1.7 del Captulo 1 se vio que el toro, bitoro, tritoro, etc, pueden
ser vistos como el cociente de poligonos de 4n lados por una relacion que identifica
pares de lados. Observar que la topologa natural de estas superficies como subespacios
de R3 es la topologa cociente.
9.2. f : X/ Y es contnua si y solo si f : X Y lo es.

9.1.1. Propiedad universal del cociente y ejemplos

9.3. Propiedad Universal del Cociente. Sean X e Y dos espacios topologicos,
una relacion en X, y f : X Y continua constante en las clases de equivalencia (i.e.
x y entonces f (x) = f (y)). Entonces existe una unica funcion contnua f : X/ Y
tal que f = f .
9.4. Sea X compacto e Y Hausdorff, y sea f : X Y continua y sobreyectiva.
Definimos la relacion de equivalence en X declarando x y si y solo si f (x) = f (y).
Entonces X/ es homeomorfo a Y .

58
9.5. Se considera en R la siguiente relacion: x y si y solo si xy Z. Entonces R/
es homeomorfo a [0, 1] identificando 0 y 1 (Sugerencia: probar que R/ es Hausdorff).
Concluir que el cociente R/ es homeomorfo al circulo S 1 .
9.6. El toro n-dimensional Tn se define como el cociente Rn / donde (x1 , . . . , xn )
(y1 , . . . , yn ) si y solo si xi yi Z para i = 1, . . . , n. Tn es homeomorfo a (S 1 )n .
9.7. Sea X un espacio topologico, y sea una relacion de equivalencia en X. Las
propiedades en X de ser compacto, conexo o arcoconexo son propiedades que pasan al
cociente X/ .

9.2. Colapsado de Subespacios y Pegado de Espa-

cios
9.8. Sea X un espacio topologico y A X. Ponemos en X la relacion: x y si x, y A
o x = y. Obtenemos as un espacio X/ al que notaremos (solo en este curso) X/A.
Observar que : X X/A es la identidad en X A y lleva el conjunto A a un solo
punto, se dice que colapsa A a un punto.
Estudiar (y dibujar si es posible) los siguientes espacios:
a) S 2 /A donde A es el Ecuador, es decir, A = S 2 {(x, y, z) R3 : z = 0}.
b) R2 /{(x, y) : xy = 0}.
c) R/Z.
d) R/Q.
9.9. Pegado de Espacios. Sean X e Y dos espacios topologicos, A X y f : A Y
una funcion continua. Consideremos en X Y la relacion: x y si x = y o y = f (x).
Notaremos al cociente por esta relacion como X f Y .
Estudiar X f Y en los siguientes casos:
a) X = B[0, 1] R2 , Y = {y0 } y f : S 1 Y .
b) X = B[0, 1] {0}, Y = B[0, 1] {1} Rn , f : S n1 {0} Y , f (x, 0) = (x, 1).
c) Sean D T2 homeomorfo a un disco, X = (T2 D) {0} e Y = (T2 D) {1},
f : D {0} D {1}, f (x, 0) = (x, 1).

9.3. Miscelanea
9.10. (X, ) una compactificacion del espacio X (X es de Hausdorff y no compacto).
Consideremos en X la siguiente relacion de equivalencia: x y si x = y o x, y
/ (X).
Probar que X/ es homeomorfa a la compactificacion por un punto de X.
9.11. Sea X un espacio topologico. Consideremos la relacion: x y si y U para todo
U Nx y x V para todo V Ny . Observar que X/ es siempre T0 y que si X es
T0 entonces X = X/ . Pensar que tiene que cumplir para que X/ sea T1 .

59
9.12. Probar que X/ es T 1 si y solo si las clases de en X son cerradas.

9.13. Sea f una funcion continua y abierta entre espacios topologicos X e Y . Mostrar
que Y es homeomorfo al cociente de X identificando los conjuntos de nivel.

9.14. Para n 1 definimos Pn = S n / , donde x y si y solo si x = y o x = y

(i.e. se idenfican puntos antipodales). El espacio Pn se llama espacio proyectico real de
dimension n. Observar que Pn puede ser pensado como el conjunto de rectas por el
origen. Probar los siguientes resultados

a) Pn es compacto y Hausdorff.
b) La proyeccion : S n Pn es un homeomorfismo local, esto es, cada punto
x S n tiene un entorno abierto que es mapeado homeomorfamente por en un
entorno abierto de (x).
c) P1 es homeomorfo al crculo S 1 .
d) Pn es homeomorfo al cociente de la bola unidad cerrada B[0, 1] Rn identificando
puntos antipodales de S n1 .

60