Documentos de Académico
Documentos de Profesional
Documentos de Cultura
31 de enero de 2011
Contenido
Introducci
on 1
1 Espacios topologicos 5
1.1 Espacios metricos . . . . . . . . . . . . . . . . . . . . . 7
1.2 Espacios topologicos . . . . . . . . . . . . . . . . . . . 12
1.3 Comparacion de topologas . . . . . . . . . . . . . . . . 15
1.4 Conjuntos cerrados . . . . . . . . . . . . . . . . . . . . 17
1.5 Bases, subbases y bases locales . . . . . . . . . . . . . . 20
1.6 Subespacios . . . . . . . . . . . . . . . . . . . . . . . . 27
1.7 Generacion de topologas a partir de subcolecciones del
conjunto potencia de X . . . . . . . . . . . . . . . . . . 29
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . 35
iii
iv
A T
opicos de teora de conjuntos 345
A.1 Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . 345
A.2 Producto cartesiano de dos conjuntos . . . . . . . . . . 349
A.3 Relaciones . . . . . . . . . . . . . . . . . . . . . . . . . 350
A.4 Funciones . . . . . . . . . . . . . . . . . . . . . . . . . 355
A.5 Cardinalidad . . . . . . . . . . . . . . . . . . . . . . . 359
A.6 Axioma de Eleccion . . . . . . . . . . . . . . . . . . . . 367
A.7 Producto cartesiano y aritmetica de n umeros cardinales 372
A.8 N
umeros Ordinales . . . . . . . . . . . . . . . . . . . . 379
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . 391
Bibliografa 405
Los autores
Mexico, D.F.
Enero de 2011
4 Introduccion
Captulo 1
Espacios topologicos
5
6 1. Espacios topologicos
f+e
fn
f-e
en donde R+ es el conjunto de n
umeros reales estrctamente mayores
que 0.
1.8. DEFINICIONES.
1.9. EJEMPLOS.
Elementos de Topologa de Conjuntos 13
T = {} {E X : |X \ E| < 0 }.
(6) Dado un espacio metrico (X, d), el teorema 1.3 nos garantiza que
la coleccion Td = {} {E X : E es union de bolas abiertas}
14 1. Espacios topologicos
es una topologa en X que llamaremos topologa en X inducida
por la metrica d.
1.11. EJEMPLOS.
(3) Sea X = {a, b, c}. Se puede verificar facilmente que las coleccio-
nes T1 = {, {a}, {b, c}, X}, T2 = {, {a}, {b}, {a, b}, X} y T3 =
{, {a}, X} son tres topologas diferentes en X (vease el ejercicio
1.B.(1)).
P(X)
@
R
@
T1 T2
@
R
@
T3
?
{, X}
TY = {A E : A T y E Y }.
(C1) F y X F.
1.15. EJEMPLOS.
f+r
h
f
g
f-r
1.19. EJEMPLOS.
(2) Ya habamos mencionado que para cada espacio metrico (X, d), la
coleccion de bolas abiertas en X forma una base para la topologa
generada por d. Sin embargo, podemos exhibir una base a un mas
fina y manejable como Ed = {B(x, 1/n) : x X y n N}. El
lector puede verificar que Ed es una base para Td .
C(b
x, )
B(b
x, )
en donde a, b, c, d son n
umeros reales que satisfacen a < b y c < d,
tambien es una base para la topologa Te (ver ejercicio (3) en 1.E).
( -
a
(a, )
)
b
(, b)
a b
Figura 1.8: (a, b) (c, d) = (a, b) R R (c, d)
1.26. OBSERVACIONES.
1.6 Subespacios
Supongamos que T es una topologa definida sobre un conjunto X y que
Y es un subconjunto de X. Ya hemos mencionado en las secciones an-
teriores como, dado un subconjunto S de X, T proporciona una forma
de medir que tan cercanos a S se encuentran otros objetos contenidos
en X, as que una forma natural de proporcionarle a Y una nocion de
cercana es la siguiente: para un A Y fijo, B Y esta cercano a
A en Y si, considerados como objetos de X, B esta cercano a A. La
presente seccion esta dedicada a analizar algunas consecuencias de esta
idea.
Dado el espacio topologico (X, T) y dado Y X, definimos la
coleccion
TY = {A Y : A T}.
1.30. PROPOSICION
. TY es una topolog
a en Y .
. Como , X T, tenemos que , Y TY . Si A, B
DEMOSTRACION
T, entonces A B S T y (A Y ) (B YS) = (A B) Y . Y para
concluir, si A T, {A Y : A A} = ( A) Y .
A+ = {B Y : B A} BY .
1.33. EJEMPLO.
(1) Sabemos que una base para (R, Te ) es {(a, b) : a < b}, as que
una base para la topologa relativa en [0, 1] es
{[0, b) : 0 < b 6 1}{(a, b) : 0 < a < b < 1}{(a, 1] : 0 6 a < 1}.
[ ( ) ]
0 a b 1
[ ) ]
0 b 1
[ ( ]
0 a 1
f
g
x1 x2 x3 x4 x5
Figura 1.11: g [f ; x1 , x2 , x3 , x4 , x5 ; ]
Sea Bp la familia
y
0 = max{|g(yi ) h(yi )| : 1 6 i 6 m} < s.
32 1. Espacios topologicos
[ )
a b
Ejercicios
1.A. Espacios m
etricos
(3) Pruebe que cada una de las siguientes funciones es una metrica en Rn .
Figura 1.14: En obscuro una vecindad del punto [(0, 0)] en el erizo
metrizable con 0 espinas.
(5) Definimos
R1 la funcion d1 : C(I) C(I) R+ {0} como d1 (f, g) =
0 |f (x) g(x)|dx (v ease la figura 1.15). Demuestre que d1 es una
metrica en C(I).
(6) Pruebe que para cualesquiera dos funciones u, v C(I) se cumple
s
Z 1 Z 1 Z 1
u(x) v(x)dx 6 2
u (x)dx v 2 (x)dx
0 0 0
Elementos de Topologa de Conjuntos 37
y considere el n
umero
R1
0 u(x) v(x)dx
= R1 .
v 2 (x)dx
0
(a) (x, x) = 0,
(b) (x, y) = (y, x),
(c) (x, y) 6 (x, z) + (z, y).
1.C. Comparaci
on de topologas
(1) Demuestre lo que se pide en los ejemplos 1.11 inciso (2) e inciso (3).
(5) (Bases para los conjuntos cerrados) Sea X un espacio topologico. Una
base para los subconjuntos cerrados es una coleccion de cerrados F tal
que cualquier subconjunto cerrado de X es la intersecci on de todos
los elementos de alguna subfamilia de F.
(5) Considere los espacios topologicos (N, T), (N, T1 ) y (N, T2 ) definidos
en el ejemplo 1.10 y en el ejercicio 1.C.(3). Para cada n N muestre
una base local de vecindades de n en cada una de las topologas T, T1
y T2 .
(6) Sea (R, TP ) la lnea de Michael (ejemplo 1.12). Demostrar que para
cada numero irracional x, la coleccion {{x}} es una base de vecindades
para x en (R, TP ); y para cada numero racional y, B(y) = {(y n1 , y +
1
n ) : n N} es una base de vecindades de y en este mismo espacio.
1.F. Subespacios
B = {V(U1 , ..., Un ) : n N, Ui T 1 6 i 6 n}
d(E, F ) = inf{d(x, y) : x E, y F }.
q
p
q
p
49
50 2. La cerradura, el interior y otros operadores
(1) der() = .
Observese que tanto los puntos de E como los puntos del der(E) son
los u
nicos elementos de X que podemos pensar que estan pegados a
54 2. La cerradura, el interior y otros operadores
E. Esta es la razon por la que se acostumbra llamar a los puntos del
conjunto cl(E) puntos adherentes a E.
En la siguiente proposicion se establecen algunas de las propiedades
mas importantes de la cerradura de un conjunto.
2.6. PROPOSICION . Sea (X, T) un espacio topologico y sean E, F sub-
conjuntos de X. Las siguientes proposiciones son validas.
(1) x cl(E) si y solo si cada subconjunto abierto de X que contiene
a x tiene interseccion no vaca con E.
(2) cl(E) es cerrado.
(3) Si F X es un cerrado que contiene a E, entonces cl(E) F .
(4) E es cerrado si y solo si E = cl(E).
(5) Si E F entonces cl(E) cl(F ).
T
(6) cl(E) = {F X : F es un cerrado y E F }.
(7) cl(E F ) = cl(E) cl(F ).
(8) cl(E F ) cl(E) cl(F ).
.
DEMOSTRACION
(1) ] Si x cl(E) entonces x E o x der(E). En el primer caso,
es claro que cualquier abierto que contenga a x intersecta a E.
Si x der(E), por definicion de punto de acumulacion, cualquier
vecindad de x tiene puntos de E diferentes de x.
] Si x E, entonces es claro que x cl(E). Supongamos
entonces que x 6 E. Entonces cada vecindad de x debe tener
puntos de E diferentes de x. Esto implica que x der(E).
(2) Si x X \ cl(E), entonces existe una vecindad V de x tal que
V E = . Tomemos un abierto G de X tal que x G V .
Entonces G E = . Note que tambien sucede que G der(E) =
. Por ello, tenemos que x G X \ cl(E). Esto muestra que el
conjunto X \ cl(E) es abierto. En consecuencia, cl(E) es cerrado.
Elementos de Topologa de Conjuntos 55
T
(3) Por (3), cl(E) {F : F X es un cerrado tal que E T F }.
Como cl(E) es un cerrado que contiene a E, se cumple que {F :
F X es un cerrado tal que E F } cl(E).
2.7. EJEMPLOS.
2.9. PROPOSICION
. Para cualquier subconjunto E de un espacio (X, T),
se tiene que:
(1) int(X) = X,
(2) int(E) E,
2.13. DEFINICIONES.
(1) ext() = X;
(2) ext(E) X \ E;
(1) fr() = ;
T = {, R} {(a, ) : a R}.
62 2. La cerradura, el interior y otros operadores
Puede verificarse que T es una topologa en R contenida en Te . La
cerradura de E con respecto a S es igual a
1
clS (E) = [0, 1) {3 : n N} [4, );
n
en cambio, si consideramos la topologa euclidiana obtenemos
1
clTe (E) = [0, 1] {3 : n N} {3} [4, ),
n
y por otro lado clT (E) = R. Sin embargo, intS (E) = intTe (E) =
intT (E) = (4, ). Ademas,
1
extS (E) = (, 0) [1, 4) \ {3 : n N},
n
extTe (E) = (, 0) (1, 4) \ {3 n1 : n N} y extT (E) = .
Y en el caso de la frontera tenemos que
1
frS (E) = [0, 1) {3 : n N} {4},
n
y que
1
frTe (E) = [0, 1] {3 : n N} {3, 4}
n
y ademas frT (E) = (, 4].
2.22. DEFINICION
. Diremos que una funcion : P(X) P(X) es un
operador de Kuratowski u operador cerradura si satisface las siguientes
Elementos de Topologa de Conjuntos 65
condiciones, conocidas como axiomas de Kuratowski:
(1) () = .
(2) E X, se tiene que E (E).
(3) E X : ((E)) = (E).
(4) E, F X : (E F ) = (E) (F ).
El primer ejemplo de un operador de Kuratowski es el operador de
cerradura asociado a un espacio topologico (X, T). El siguiente lema
establece una propiedad de monotona de los operadores de Kuratowski,
que sera de gran utilidad.
2.23. LEMA. Si es un operador de Kuratowski en un conjunto X,
entonces, para todo E, F X, E F implica que (E) (F ).
. Como (F ) = (E F ) = (E) (F ), tenemos que
DEMOSTRACION
(E) (F ).
2.25. DEFINICION
. Sea X un conjunto. Diremos que una funci on
: P(X) P(X) es un operador interior si satisface las siguientes
condiciones:
(1) (X) = X;
(2) (E) E para cualquier E X;
(3) ((E)) = (E) para cualquier E X; y
(4) (A B) = (A) (B).
En la siguiente proposicion mostraremos como generar una topologa
en un conjunto X utilizando a un operador interior. Antes de ello
demostraremos que los operadores interior tambien son monotonos.
Elementos de Topologa de Conjuntos 67
2.28. EJEMPLOS.
(a) () = ;
(b) E (E) E X;
(c)
(E) si E es finito
((E)) =
(X) si E es infinito
68 2. La cerradura, el interior y otros operadores
E si E es finito
= = (E)
X si E es infinito
2.30. PROPOSICION
. Sea (X, T) un espacio topol
ogico.
(a) E X es fronterizo;
(b) cada elemento A T \ {} contiene puntos de X \ E;
(c) cl(X \ E) = X;
(d) X \ E es denso en X.
2.32. PROPOSICION
. Para un espacio topol
ogico X se cumple que
V = [cr ; x0 , . . . , xk ; ]
Ejercicios
(2) Pruebe (1), (2) y (3) en 2.15; proporcione ejemplos que muestren
que las igualdades en (3) y (4) de esta proposicion, no se satisfacen
necesariamente; y verifique que las relaciones en la proposicion 2.16
son ciertas.
(3) Sea X = {a, b, c, d, e} y T = {, X, {a}, {c, d}, {a, c, d}, {b, c, d, e}}.
Verifique que (X, T) es un espacio topologico. Consideremos el sub-
conjunto E = {b, c, d}. Determine los conjuntos int(E), ext(E) y
fr(E).
2.C. Construcci
on de topologas a partir de operadores
(3) Sea : P(X) P(X) una funcion con las siguientes propiedades:
(a) () = .
(b) Para cada A X, ((A)) A (A).
(c) Para cada dos subconjuntos A y B de X, (AB) = (A)(B).
(d) Para cada x X, x 6 ({x}).
(4) Sea : P(X) P(X) una funcion con las siguientes propiedades:
Elementos de Topologa de Conjuntos 79
(a) () = .
(b) Para cada A X, ((A)) (A).
(c) Para cada dos subconjuntos A y B de X, (A B) (A)
(X \ B).
(d) Para cada dos subconjuntos A y B de X, (A B) A B
(A B).
Sea = {A X : (A) A} y = {V X : X \ V }.
Entonces es una topologa en X y, para cada A X, (A) es el
conjunto frontera de A con respecto a la topologa .
(7) Demuestre todas las afirmaciones hechas en el ejemplo 2.28 inciso (3).
2.G. Conjuntos F y G
87
88 3. Funciones continuas y propiedades...
un > 0 de tal modo que si x es un elemento del dominio de f que
satisface |x x0 | < , entonces |f (x) f (x0 )| < .
Es facil darse cuenta de que esto u ltimo tiene una generalizacion
inmediata a espacios metricos. En efecto, si (X, dX ) y (Y, dY ) son
espacios metricos, x0 X y f : X Y es una funcion, entonces di-
remos que f es continua en x0 si dado cualquier > 0 existe > 0
de tal modo que dY (f (x), f (x0 )) < , siempre que dX (x, x0 ) < . Re-
curriendo al lenguaje de las bolas abiertas, lo anterior se puede ex-
presar como sigue: f es continua en x0 si y solo si para cada bola
abierta BdY (f (x0 ), ) existe una bola abierta BdX (x0 , ) que satisface
f [BdX (x0 , )] BdY (f (x0 ), ).
En esta seccion, generalizaremos estas ideas a espacios topologicos
y estableceremos de manera formal la nocion de continuidad y explo-
raremos algunas de sus consecuencias.
(1) f es continua.
(4) f [clX (A)] clY (f [A]) para cualquier A X, donde clX y clY
son los operadores cerradura en X y Y , respectivamente.
p(x) = a0 + a1 x + a2 x2 + + an xn ,
(1) f 1 es continua.
(2) f es abierta.
(3) f es cerrada.
. Sea A un subconjunto abierto de X. Si f 1 es con-
DEMOSTRACION
tinua entonces (f 1 )1 [A] es un subconjunto abierto de Y , y como
(f 1 )1 [A] = f [A] (ejercicio 1.D, incisos (4) y (5)), ya podemos con-
cluir que f es abierta.
Supongamos que f es abierta y sea F un subconjunto cerrado de X.
Esto u ltimo implica que U = X\F es abierto en X, as que f [U ] debe
ser abierto en Y . Ahora, la biyectividad de f garantiza que f [F ] =
f [X\U ] = Y \f [U ] (ejercicio A.III inciso (4)) y, por consiguiente, f [F ]
es cerrado en Y .
Finalmente demostraremos que si f es cerrada, entonces f 1 es con-
tinua. Si F es un subconjunto cerrado de X, tenemos que f [F ] es
cerrado en Y ; este hecho, junto con la igualdad (f 1 )1 [F ] = f [F ], nos
prueban la continuidad de f 1 .
3.20. EJEMPLOS.
3.25. EJEMPLOS.
(1) Como ya mencionamos, (R, Te ) es separable, segundo numera-
ble y primero numerable. No es difcil corroborar que cualquier
espacio euclidiano Rn cumple tambien estas propiedades. Por
ejemplo, la coleccion de puntos D en Rn cuyas coordenadas son
umeros racionales, es un subconjunto denso y numerable de Rn ;
n
y {B(d, 1/n) : d D, n N} es una base numerable de Rn .
(2) Para un espacio discreto (X, T) y un punto x en el, el conjunto
{x} es abierto, de tal manera que el u
nico subconjunto denso en
X es X mismo, y cualquier base de X debe contener a todos
los subconjuntos unipuntuales de X. Por lo cual, en el espacio
(X, T) son equivalentes el segundo axioma de numerabilidad, la
separabilidad, y la cualidad: |X| 6 0 . De esta forma tenemos
que la condicion |X| > 0 implica que X, con la topologa discre-
ta, es un ejemplo de un espacio metrico (y por lo tanto primero
numerable) que no es separable (y claro, tampoco es segundo
numerable).
(3) Consideremos ahora un conjunto X de cardinalidad mayor a 0
y sea T su topologa cofinita. Como el complemento de cualquier
elemento no vaco en T es finito, todo subconjunto infinito nume-
rable Y de X es denso. As, (X, T) es separable. Pero este espacio
Elementos de Topologa de Conjuntos 105
Hemos visto pues, por medio de los ejemplos anteriores, que podemos
tener espacios que son separables pero no primero numerables (y por lo
tanto, no pueden ser segundo numerables), y espacios que son primero
numerables pero no separables (y por lo tanto, tampoco son segundo
numerables). Ahora veremos que la separabilidad y el segundo axioma
de numerabilidad son equivalentes en la clase de espacios metricos.
siempre que n > n(). En particular, si n > n() entonces |f0 (xi )
fn (xi )| < , para cada i {1, . . . , k}. Esto u ltimo quiere decir que
fn [f0 ; x1 , . . . , xk ; ] para cualquier n > n(). De esta manera, si
fn f0 en T entonces fn f0 en Tp .
Observe que la convergencia de (fn )nN a f0 en T significa que las
graficas de las funciones fn van siendo cada vez mas parecidas a la
grafica de f0 en la medida en que n es muy grande. Es por esto que a
T se le conoce como la topologa de la convergencia uniforme.
Por otro lado, en Tp , la convergencia de (fn )nN a f0 es equivalente a
la convergencia de cada una de las sucesiones (fn (x))nN a f0 (x) para
cada punto x I. Es por esto que a Tp se le llama la topologa de la
convergencia puntual.
Si una sucesion (fn )nN en C(I) converge a f0 con respecto a T ,
diremos que converge uniformemente a f0 y escribiremos fn f0 . Por
u
otra parte, si la convergencia es con respecto a Tp , se dira que (fn )nN
converge puntualmente a f0 y se escribira fn f0 .
p
Con la notacion del parrafo anterior tenemos que si fn f0 , entonces
u
fn f0 . El recproco no es valido en general, tal y como se puede
p
corroborar con el siguiente ejemplo.
Elementos de Topologa de Conjuntos 111
Sea fn : I R definida mediante la formula:
1
2nx si x [0, 2n ],
1 1
fn (x) = 2(1 nx) si x [ 2n , n ],
0 si x [ n1 , 1].
f3 f1
f2
1 1 1 1
6 4 3 2 1
(1) Si F F y F F1 X, entonces F1 F.
116 3. Funciones continuas y propiedades...
(2) Si F1 , F2 F, entonces F1 F2 F.
Es facil probar que la condicion (2) de la definicion anterior es valida
para cualquier cantidad finita de elementos de F. Por otra parte, es
com un decir que la condicion (1) significa que la coleccion F es cerrada
bajo superconjuntos. De esta manera un filtro en un conjunto X es
una coleccion no vaca de subconjuntos no vacos que es cerrada bajo
superconjuntos y bajo intersecciones finitas.
El lector debe notar que la nocion de filtro pertenece enteramente al
ambito de la teora de conjuntos. En lo que sigue involucramos a los
filtros en el mundo de los espacios topologicos.
3.45. EJEMPLOS.
(1) Es facil verificar que en todo espacio topologico (X, T), la coleccion
V(x) de todas las vecindades de un punto x X es un filtro en X,
dicho filtro es llamado filtro de vecindades de x en X o sistema
de vecindades del punto x (vease la definicion 1.23).
F(A) = {B : A B X}
Los filtros Fp en el inciso (2) del ejemplo 3.45 tienen una propiedad
especial; ellos no estan contenidos propiamente en ning un otro filtro.
Es decir, los filtros de tipo Fp son filtros maximales.
3.49. DEFINICION . Un filtro F sobre un conjunto X es un filtro maxi-
mal si no existe un filtro G sobre X tal que F $ G. Los filtros maximales
son tambien llamados ultrafiltros.
Probemos ahora que efectivamente los filtros de tipo Fp (p X)
son ultrafiltros. Para ello supongamos que G es un filtro en X tal que
Fp G. Tomemos un elemento cualquiera G G. Como {p} y G
son elementos de G, {p} G 6= . Entonces p G y en consecuencia
G Fp .
El Lema de Zorn (cf. teorema A.40) produce el siguiente resultado
relevante. Recuerdese que una familia C de subconjuntos de un con-
junto X tiene la propiedad de la interseccion finita (o es una familia
centrada)
T 0 si para toda subfamilia finita C0 no vaca de C, se tiene que
C 6= .
3.50. PROPOSICION . Sea X un conjunto. Para toda familia centrada
C de subconjuntos de X existe un ultrafiltro F que contiene a C.
. Consideremos el conjunto
DEMOSTRACION
3.54. DEFINICION
. Sea X un espacio topol
ogico.
3.55. OBSERVACION
.
Ejercicios
(2) Verique que las funciones r y s del ejemplo 3.3 inciso (2) son efectiva-
mente funciones continuas.
(1) (El peso de un espacio topologico) Dado un espacio topologico (X, T),
podemos fijarnos en la coleccion B de todas las posibles bases de T.
132 3. Funciones continuas y propiedades...
Esta coleccion es un subconjunto de P(P(X)). El peso de X, que se
denota como w(X), es el n umero cardinal mn{|B| : B B} + 0 .
(Observe que esto tiene sentido pues cualquier conjunto de n umeros
cardinales considerados con su orden definido en A.26, constituye un
conjunto bien ordenado.) Resulta entonces que un espacio X es se-
gundo numerable si y solo si w(X) = 0 .
Pruebe que:
{0} { n1 + 1
m : n N, m > n + 1} R.
3.H. Redes
Una pareja (, 6), en donde es un conjunto y 6 es una relacion en ,
es un conjunto dirigido si se satisfacen las siguientes condiciones:
(b) si 1 6 2 y 2 6 3 , entonces 1 6 3 , y
(1) Observe que los espacios euclidianos y los espacios discretos son espa-
cios metrizables.
137
138 4. Construccion de espacios topologicos...
f en funcion continua. De entre estas topologas nos interesan las mas
pequenas.
En el apendice se hace notar que para cada funcion f definida en
un conjunto X y con valores en un conjunto Y , y para cada familia
{Aj : j J} de subconjuntos de Y , se cumple
(i) f 1 [] = y f 1 [Y ] = X,
S S
(ii) f 1 [ jJ Aj ] = jJ f 1 [Aj ], y
T T
(iii) f 1 [ jJ Aj ] = jJ f 1 [Aj ].
4.3. PROPOSICION
.
(2) Ademas f T es la u
nica topologa en X que satisface (1).
. (1) Naturalmente, si g es continua, entonces, por la
DEMOSTRACION
proposicion 3.8, f g tambien. Supongamos ahora que f g es continua,
y sea A f T. Esto significa que existe B T tal que A = f 1 [B]. Por
lo tanto, g 1 [A] = g 1 [f 1 [B]] = (f g)1 [B]. Como f g es continua
y B es un subconjunto abierto de Y , entonces g 1 [A] es abierto en Z.
Con lo cual queda demostrado que g es continua.
(2) Supongamos ahora que T 0 es una topologa en X que satisface la
misma condicion que f T en (1). La funcion identidad idX : (X, T 0 )
(X, T 0 ) es continua, por lo cual f = f id : (X, T 0 ) Y es continua.
Aplicamos ahora la proposicion 4.2 y obtenemos f T T 0 .
Ahora consideremos la funcion id : (X,f T) (X, T 0 ). La com-
posicion f id : (X,f T) Y es continua. Como estamos suponiendo
que T 0 satisface (1), entonces id : (X,f T) (X, T 0 ) es continua. Pero
esto significa que T 0 f T.
4.4. EJEMPLOS.
(1) Consideremos un espacio topologico (X, T), y sea E un subcon-
junto de X. Sea j : E , X la funcion inclusion (j(x) = x x
E). Por lo ya dicho, la topologa j T es igual a {j 1 [A] : A T} =
{E A : A T}; es decir, j T coincide con la topologa TE que
transforma a E en subespacio de (X, T) y que ya revisamos en la
seccion 1.6.
(2) Sea E un subconjunto de un conjunto X, y sea R la lnea real
con la topologa usual. Consideremos la funcion caracterstica de
E, E : X R, dada por
0 si x 6 E
E (x) =
1 si x E
E T = {, X, E, X \ E}
140 4. Construccion de espacios topologicos...
ya que si A es un subconjunto abierto de R, entonces
si {0, 1} A =
X si {0, 1} A
(E )1 [A] =
X \E
si 0 A y 1 6 A
E si 0 6 A y 1 A
F = {fj : X Xj : j J}
B = {fj1
1
[A1 ] fj1
n
[An ] : n N, ji J y Ai Tji 1 6 i 6 n}.
S
Por lo tanto, T = {U X : U B tal que U = U}.
Elementos de Topologa de Conjuntos 141
Ahora bien, cada elemento de S pertenece a T; as, para cada j J
y cada A Tj , fj1 [A] T; lo cual significa que, para cada j J,
fj : (X, T) (Xj , Tj ) es continua.
Por otro lado, si T 0 es una topologa en X tal que fj : (X, T 0 ) Xj es
continua para cada j J, entonces, fj1 [A] T 0 para cada j J y cada
A Tj . Por lo tanto, como estamos suponiendo que T 0 es una topologa,
tenemos que para cualquier coleccion finita j1 , ..., jn de elementos en J,
y cada eleccion Ai Tji (1 6 i 6 n), fj1 1
[A1 ] fj1
n
[An ] T 0 ; es
decir, T T 0 .
(2) La demostracion de la proposicion de este inciso se puede hacer
de manera analoga a la demostracion de la proposicion 4.3.(2).
4.9. DEFINICION . Dados dos espacios topol ogicos (X, T) y (Y, S), lla-
maremos topologa producto P, o topologa de Tychonoff, en X Y ,
a la topologa {X ,Y } T; es decir, P es la menor de las topologas en
X Y que convierte a X y a Y en funciones continuas.
4.10. OBSERVACIONES.
j1
1
[B1 ] j1
k
[Bk ]
B = {n1
1
[{1 }] n1
k
[{k }) :
x1
1
[(a1 , b1 )] x1
k
[(ak , bk )]
que es el conjunto
De ahora en adelante,
Q una de nuestras preocupaciones constantes
sera saber si X = jJ Xj satisface una propiedad topologica P cuando
cada espacio topologico (Xj , Tj ) cumple P . En la seccion 4.2 ya dis-
cutimos este problema cuando J es finito y P {segundo numerable,
primero numerable, separable}. La proposicion 4.13 puede ser generali-
zada a productos numerables como se observa en los ejercicios 4.C.(10),
4.C.(11) y en la proposicion siguiente.
4.19. PROPOSICION . Sea {Xj : j J} una familia no vac
a de espa-
cios topologicos no vacos.
(1) Si cada Xj es segundo
Q numerable y |J| 6 0 , entonces el producto
Tychonoff X = jJ Xj es segundo numerable.
Q
(2) Si X = jJ Xj es segundo numerable, entonces cada Xj es
segundo numerable.
. El inciso (2) es consecuencia del corolario 3.32.
DEMOSTRACION
Cuando J es finito, el inciso (1) se obtiene por un proceso inductivo
a partir de la proposicion 4.13.
Podemos suponer pues que J = N. Para cada natural k, tomamos
una base numerable Bk = {B1k , B2k , . . . , Bnk , . . . } del espacio Xk . (Ob-
Elementos de Topologa de Conjuntos 151
serve que no pedimos que los Bik sean diferentes por pares; incluso
podra suceder que Bk sea un conjunto finito.) Por la definicion de la
topologa en X, la siguiente coleccion es una base para X:
B = {i1
1
[A1 ] i1
n
[An ] : n N, i1 , . . . in N y
Aj Bj para cada j {i1 , . . . , in }}.
S Ahora
k
bien, el conjunto B es numerable ya que la aplicacion : B
kN N definida por
(i1
1
[A1 ] i1
n
[An ]) = (i1 , ..., in , l1 , ..., ln )
i
cuando Aj = Bljj para cada j {i1 , . . . , in }, es una funcion inyec-
S
tiva. Pero kN Nk es un conjunto numerable por lo expuesto en las
proposiciones A.48.1 y A.35; por lo tanto B es numerable. Concluimos
entonces que X es segundo numerable.
4.20. TEOREMA.
(3) Tf es la u
nica topologa en Y que satisface la propiedad P.
. Pedimos al lector que demuestre la proposici
DEMOSTRACION on en (1).
(2) La continuidad de f es una consecuencia directa de la definicion
de Tf . Ademas, si T 0 es una topologa que hace continua a f , entonces
f 1 [A] debe ser un elemento de T para cada A T 0 . Lo cual significa
que T 0 Tf .
(3) Si g : Y Z es continua, como f tambien lo es, entonces la
proposicion 3.8 nos garantiza que g f es continua. Ahora supon-
gamos que g f es una funcion continua; es decir, supongamos que
(g f )1 [A] = f 1 [g 1 [A]] T para cada subconjunto abierto A de Z.
La manera en que esta definida la familia Tf nos indica que g 1 [A] debe
ser un elemento de Tf para cada abierto A de Z; es decir, g es continua.
Por otro lado, si T 0 es una topologa en Y que satisface la propiedad P,
entonces la funcion identidad idY : (Y, T 0 ) (Y, Tf ) es continua ya que
idY f lo es. Por lo tanto, Tf T 0 . Ademas idY : (Y, T 0 ) (Y, T 0 ) es,
trivialmente, continua. Como estamos suponiendo que (Y, T 0 ) satisface
P, f = idY f : (X, T) (Y, T 0 ) es continua. Aplicando (2) obtenemos
T 0 Tf .
4.22. TEOREMA.
(3) TF es la u
nica topologa en Y que satisface: Para cualquier espacio
Z, una funcion g : (Y, TF ) Z es continua si y solo si g fj es
continua para toda j J.
An Xn
A2 X2
A1
X1
S
Figura 4.1: Ai es un subconjunto abierto en Xi . iN Ai es un sub-
conjunto abierto de la suma libre jN Xj .
L
jJ Xj , es el espacio suma de la familia {Xj {j} : j J}. Sus
subconjuntos abiertos se obtienen, simplemente, uniendo subconjuntos
abiertos de los espacios sumandoL (vease la figura 4.1). Por ejemplo,
si
S Rn = R para cada2 n N, nN Rn es homeomorfo al subespacio
nN (R {n}) de R .
S 1 = {(x, y) R2 : k (x, y) k = 1}
4.29. DEFINICIONES.
(3) Sea D una particion del espacio topologico (X, T). Consideremos
en el conjuntoS D la topologa TD definida de la siguiente forma:
A TD A es un subconjunto abierto de X. A la pareja
(D, TD ) le llamaremos espacio particion de X.
Elementos de Topologa de Conjuntos 157
4.32. OBSERVACIONES.
4.34. EJEMPLOS.
Elementos de Topologa de Conjuntos 159
I I S1 I
X I Con(X)
Ejercicios
4.A. Topologas d
ebiles inducidas por funciones
[0, 1] N E(0 )
definida por
B (x) = x B
Elementos de Topologa de Conjuntos 167
Q
para todo x { X : A } se llama
Q Q proyecci
on del producto
{ X : A } a su subproducto { X : B }. Entonces,
(B (x)) = x para todo B.
Compruebe que la funcion B es continua, abierta y suprayectiva.
(4) S
Sea (X, T) un espacio topologico y sea C una cubierta de X (esto es,
C = X). En cada C C cosideremos la topologa TC que C hereda
168 4. Construccion de espacios topologicos...
de (X, T). Sea Ts la topologa suma en X. Demuestre que T Ts , y
determine Ts cuando C = {{x} : x X}. Es natural preguntarnos:
(?) Bajo que condiciones en C, la coleccion Ts coincide con T?
Observe que planteada de modo tan general, la respuesta a (?) puede
ser muy variada seg
un la naturaleza de C. Responda a (?) cuando:
qP
n
Sea S n1 la esfera unitaria {(x1 , ..., xn ) : 2
i=1 xi = 1}. Tomemos
en Dn la particion D = {{x} : x \Dn S n1 }
{S n1 }.
Demuestre
que el espacio (D, TD ) es homeomorfo a la esfera unitaria S n en Rn+1 .
1
3
1
1 2
n
1
b
0
(1) Del ejercicio 3.A.(6) se desprende que el conjunto de los numeros reales
considerado con su suma usual, asi como el conjunto R \ {0} con el
producto usual de n umeros reales, son ejemplos de grupos topologicos
(verifique esta afirmacion). Ademas no es difcil demostrar que (Z, +)
y (Q, +) son subgrupos topologicos de (R, +, Te ).
Q
(2) Demuestre que el producto Tychonoff G = J G de una coleccion
no vaca {(G , , T ) : J} de grupos topologicos es un grupo
topologico cuando se considera el producto f g de elementos f, g G
como el elemento en G que asocia a cada J, el elemento
f () g()
en G .
(3) En particular, si se considera en la recta real R su suma usual, y X es
un conjunto no vaco, entonces el producto RX es un grupo topologico.
Si ademas, X es un espacio topologico, entonces el espacio de funciones
continuas Cp (X) (vease 6.D.(4)) es un subgrupo topologico de RX .
172 4. Construccion de espacios topologicos...
(4) Verifique que para todo grupo topologico (G, , T) y todo a G, las
funciones f : G G Y g : G G definidas por f (x) = a x y
g(x) = x a son homeomorfismos.
Q
de jJ Xj . Verifique que si cada Xj es un grupo topologico, entonces
cualquier -producto, y cualquier
Q -producto, de {Xj : j J} es
un subgrupo topologico de jJ Xj cuando lo consideramos con la
operacion definida en (2).
(4) Pruebe que siempre se cumple (X) 6 c(X) para cualquier espacio
topologico linealmente ordenado.
n (f (n), g(n))
(f, g) = nN .
2n
Demuestre que es una metrica en X y que T coincide con la
topologa producto en X.
Axiomas de separacion
175
176 5. Axiomas de separacion
x y
U
5.1 Espacios T0 , T1 y T2
El primer axioma de separacion que estudiaremos fue introducido por
A. N. Kolmogoroff, y es conocido como axioma T0 .
5.1. DEFINICION . Un espacio topol ogico (X, T) sera llamado espacio
T0 (tambien se dice que T es una topologa T0 ) si para cada par de
puntos distintos x y y de X existe un subconjunto abierto U tal que
U contiene a uno de los puntos x o y, pero no al otro; esto es, para
cada par de puntos distintos x y y de X, existe un abierto U tal que
|U {x, y}| = 1. (Vease Figura 5.1).
No todos los espacios topologicos son espacios T0 . Por ejemplo,
cualquier espacio topologico X (formado por mas de un punto) cuya
topologa sea de la forma
T = {X} {A Y : A es un subconjunto propio de X},
donde Y X es tal que |X \ Y | > 1, no es un espacio T0 (observe que
cuando Y = , la topologa de X es la indiscreta).
No es muy complicado verificar que cualquier espacio discreto y
cualquier espacio euclidiano Rn es T0 y que toda topologa mas fina
que una topologa T0 es tambien una topologa de este tipo. En parti-
cular, el plano radial y la lnea de Sorgenfrey son espacios T0 . Ademas,
cualquier modificacion de una topologa T0 de tipo
TY = {A E : A T y E Y }
Elementos de Topologa de Conjuntos 177
5.2. EJEMPLOS.
U x y V
(1) X es un espacio T1 ;
x y
U V
5.15. EJEMPLOS.
(2) Toda topologa mas fina que una topologa T2 es una topologa
T2 . Por ello, la lnea de Michael (R, TP ) y la lnea de Sorgenfrey
(R, S) son espacios T2 (recuerde que tanto la topologa de la lnea
de Michael y la de la lnea de Sorgenfrey son mas finas que la
184 5. Axiomas de separacion
Caso (1). Existe un punto z con x < z < y. En este caso, note
que los conjuntos Iz y Dz son subconjuntos abiertos ajenos de X
que contienen a x y a y, respectivamente.
Caso (2). No existe z con x < z < y. Observe que los conjuntos
Iy y Dx son subconjuntos abiertos de X que contienen a x y y,
respectivamente. Ademas estos conjuntos son ajenos.
Ya es bien conocido por nosotros que la condicion X es un espacio
T1 es necesaria para poder garantizar la propiedad: toda sucesion
en el espacio X converge a lo mas a un punto. Debemos mencionar
ahora que esta ultima condicion no es suficiente para poder garantizar
T1 . Por ejemplo, en un conjunto infinito X que posee la topologa
cofinita Tc cualquier sucesion converge a todos los puntos de X, y X
es un espacio T1 . Por todo esto, el resultado en el siguiente teorema es
relevante.
5.16. PROPOSICION . Sea (X, T) un espacio de Hausdorff. Si (xn )nN
es una sucesion convergente, entonces (xn )nN converge a un solo punto.
. Supongamos, por el contrario, que la sucesi
DEMOSTRACION on (xn )nN
converge a dos puntos distintos x y y. Como el espacio X es T2 , y x 6= y,
Elementos de Topologa de Conjuntos 185
existen subconjuntos abiertos A y B de X tales que x A, y B y
A B = . Ahora, aplicando el hecho de que la sucesion (xn )nN
converge a x, podemos garantizar la existencia de un n
umero natural
N tal que xm A para toda m > N . De igual manera, existe un
n
umero natural M tal que para toda m > M se tiene que xm B.
Consideremos ahora un n umero natural k > max{N, M }. Entonces
sucede que xk A B. Pero esto ultimo contradice el hecho de que
A y B sean ajenos, por lo cual tenemos que la sucesion (xn )nN solo
puede converger a un punto de X.
(1) X es un espacio T2 ;
U V
x F
z r
C(z, r)
D(z, r) r
z z
x B j1
1
(cl Bj1 ) j1
2
(cl Bj2 ) j1
n
(cl Bjn ) A.
Ejercicios
5.A. Espacios T0 , T1 , y T2
(16) Pruebe que el espacio de Sierpinski (ver 5.2 inciso (1)) y cualquier
espacio indiscreto con mas de un punto no son espacios T2 .
(12) Sea X un espacio regular tal que para cada abierto V de X, se tiene
que |X \ V | < 0 . Verifique que X debe ser finito.
Ahora suponga que X es un espacio regular infinito. Demuestre que X
contiene una familia celular (vease el ejercicio 3.F.(2)) de cardinalidad
0 cuyos elementos son cerrados regulares de X (vease el ejercicio
2.D.(13)). (Use induccion).
202 5. Axiomas de separacion
(13) Sea X un conjunto no vaco, y sea una cadena de topologas para
X tal que si T entonces TSes una topologa T3 . Corrobore que la
topologa en X generada por es tambien una topologa T3 .
(1) Para todo p X (i.e, para todo ideal primo p de A), cl {p} = V (p);
(2) Use el inciso anterior para demostrar que para cada vecindad U de e,
podemos encontrar una segunda vecindad V de e que satisface clG V
U.
Vease el ejercicio 3.E para consultar las definiciones de las funciones car-
dinales d y w.
(3) Demuestre que no existe cota superior para las cardinalidades de los
espacios separables T1 (compare con el problema anterior).
207
208 6. Espacios normales y...
6.2. EJEMPLOS.
(1) Todo espacio metrico es un espacio normal. Supongamos que
(X, d) es un espacio metrico, y sean F1 , F2 subconjuntos cerrados
ajenos en X. Como F1 X\F2 , para cada punto x F1 podemos
elegir x > 0 tal que x B(x, x ) X\F2 . Analogamente, para
todo punto y F2 podemos elegir y > 0 tal que y B(y, y )
X\F1 . Definamos
[ [
A1 = B(x, 3x ) y A2 = B(y, 3y ).
xF1 yF2
Elementos de Topologa de Conjuntos 209
Claramente los conjunto A1 y A2 son subconjuntos abiertos de
(X, d) que contienen a F1 y a F2 , respectivamente. Ademas, A1
y A2 son ajenos ya que si z A1 A2 entonces existen x F1 y
y F2 tales que z B(x, 3x ) B(y, 3y ). Pero entonces d(x, y) 6
d(x, z) + d(z, y) < 3x + 3y < max{x , y }, y en consecuencia
x B(y, y ) o bien y B(x, x ), lo cual no es posible. De esta
manera, A1 y A2 son ajenos.
En particular, cualquier espacio de Baire es normal (vease el
ejercicio 4.C.(9)).
6.8. DEFINICION
. Un espacio topol ogico (X, T) es completemente re-
gular (o Tychonoff) si satisface las siguientes condiciones:
(1) (X, T) es un espacio T1 ; y
(2) para cualquier subconjunto cerrado F de X y cualquier punto
x 6 F , existe una funcion continua f : X [0, 1] tal que f [F ]
{1} y f (x) = 0.
De la misma definicion de espacio completamente regular podemos
deducir facilmente que los espacios completamente regulares son espa-
cios regulares. En efecto, si X es un espacio completamente regular,
F X es un subconjunto cerrado y x / F es arbitrario, entonces exis-
te una funcion continua f : X [0, 1] tal que f [F ] {1} y f (x) = 0.
Entonces, los subconjuntos A1 = f 1 [( 21 , 1]] y A2 = f 1 [[0, 21 )] son
subconjuntos abiertos de X ajenos y satisfacen F A1 y x A2 .
En la seccion siguiente demostraremos que todo espacio normal es
un espacio completamente regular, utilizando para ello un relevante
resultado debido a P. Uryshon (vease teorema 6.14). Como una conse-
cuencia de ello, la clase de los espacios completamente regulares es una
clase intermedia entre la clase de los espacios regulares o espacios T3
y la clase de los espacios normales o espacios T4 , y este hecho justifica la
muy usada denominacion de espacios topologicos T3 1 para los espacios
2
completamente regulares.
6.9. OBSERVACION . Algunos autores definen la regularidad, norma-
lidad y regularidad completa como aquellos espacios que satisfacen
la condicion (2) en 5.23, 6.1 y 6.8, respectivamente, excluyendo la
propiedad T1 . Sugerimos al lector tener cuidado en lo referente a la
nomenclatura de estos axiomas de separacion en otros textos.
6.10. EJEMPLOS.
(1) Como la suma y el producto de funciones reales continuas defini-
das en un espacio topologico arbitrario son continuas, podemos
dar una prueba directa y sencilla de que todo espacio metrico es
un espacio completamente regular.
216 6. Espacios normales y...
d(x, p)
f (x) = ,
d(x, p) + d(x, F )
d(x, z)
f (x) = mn{ , 1}
r
Para todo a (0, 1), los conjuntos f 1 ([0, a)) = C(z, ra) y
f 1 ((a, 1]) = X \ cl C(z, ra) son subconjuntos abiertos de X,
de donde f es continua. Es claro que f (z) = 0 y f (F )
f (X) \ C(z, r) = {1}.
(1) F U0 y U1 X \ G; y
De esta manera, los conjuntos f 1 [[0, a)] y f 1 [(b, 1]] son siempre sub-
conjuntos abiertos de X para cualquier eleccion de los puntos a, b
(0, 1). Por lo tanto, f es una funcion continua.
f : F [a, b],
224 6. Espacios normales y...
definida en alg
un subconjunto cerrado F de X, tiene una extension
continua a todo X; esto es, existe g : X [a, b] continua tal que
f (x) = g(x) para toda x F .
. ] Basta demostrar el resultado para el caso cuando
DEMOSTRACION
[a, b] = [1, 1] ya que para todo a, b R con a < b, [a, b] es homeomorfo
a [1, 1]. Para ello verificaremos primero la siguiente afirmacion.
Afirmacio n Sea F un subconjunto cerrado de X, y sea k : F R
una funcion continua acotada; es decir, existe un n
umero real tal que
|k(x)| 6 para toda x F . Entonces existe una funcion continua
h : X R que tiene las siguientes propiedades:
(1) |h(x)| 6 3
para toda x X;
2
(2) |k(x) h(x)| 6 3
para toda x F .
n de la afirmacio
Demostracio n: Consideremos los conjuntos
A = k 1 [, 3 ] y B = k 1 [ 3 , ].
h = [f (h1 + h2 + + hn )] F.
6.19. DEFINICION
.
Elementos de Topologa de Conjuntos 227
Ejercicios
S S
Compruebe que los conjuntos U = i=1 Un y V = i=1 Vn son sub-
conjuntos abiertos ajenos de X con la propiedad A U y B V .)
Pn = {x P : [x, x + n1 ) [x, x + n1 ) U2 }.
S S
Verifique que P = nN Pn . Entonces P nN clR (Pn ). Con-
secuentemente
[ [
R= clR (Pn ) {q} .
nN qQ
Elementos de Topologa de Conjuntos 231
Demuestre que existe un n N tal que int(clR (Pn )) 6= (re-
cuerde que R no es igual a la union numerable de subconjuntos
densos en ninguna parte de R, cf. ejercicio 2.H). Concluya que
existe un intervalo abierto (a, b) clR (Pn ). Pruebe ahora que el
conjunto
S
Para demostrar que R pPn [p, p + n1 ) [p, p + n1 ), conside-
re un punto arbitrario (x, y) R. Como (a, b) clR (Pn ) 6= y
(d, x) (a, b) donde d = max {a, y}, se tiene que (d, x) Pn 6=
. Fije un elemento p (d, x) Pn . Entonces p < x y p < y <
x + n1 . En consecuencia (x, y) [p, p + n1 ) [p, p + n1 ).
Consideremos ahora un n umero racional q (a, b). Es facil
comprobar que (q, q) derLS LS (R), y como R U2 , entonces
(q, q) clLS LS (U2 ). Como (q, q) F1 U1 , tenemos que
U1 U2 6= ).
(a) |X| 6 0 .
(b) Cp (X) es primero numerable.
(c) Cp (X) es segundo numerable.
Espacios compactos
239
240 7. Espacios compactos
celebre artculo de 1929 Memoire sur les espaces topologiques compacts [1].
Ellos definen a la compacidad inspirandose en la caracterizacion de Borel-
Lebesgue de los subconjuntos cerrados y acotados de Rn , y llaman a sus
espacios topologicos bicompactos. Ademas de todo ello, introducen tambien
la nocion de compacidad local, definen la compactacion por un punto (o
compactacion de Alexandroff) de un espacio localmente compacto, y dan
una serie de ejemplos de espacios que son ahora clasicos como el Duplicado
de Alexandroff del crculo, el cuadrado lexicografico, el espacio de la doble
flecha, y lo que ahora llamamos la lnea de Alexandroff-Sorgenfrey.
En este captulo estudiaremos las propiedades mas relevantes de la com-
pacidad en espacios topologicos arbitrarios e introduciremos algunos otros
conceptos relacionados a ella. Demostraremos el importante teorema de
Tychonoff sobre la compacidad de un producto de espacios topologicos,
y trataremos temas estrechamente relacionados como la compactacion de
Stone-Cech.
T = { U X {} : U X es abierto en X y
U X o X \ U es subespacio compacto de X }.
finita de U.
F0 = [0, 1]
F1 = [0, 31 ] [ 23 , 1]
F2 = [0, 91 ] [ 29 , 39 ] [ 96 , 79 ] [ 98 , 1]
..
.
En general, Fn se obtiene de Fn1 descartando los intervalos abiertos que
son el intervalo abierto tercio medio de cada uno de los intervalo cerrados
que forman Fn1 , es decir,
n1
[ 1+3k k
Fn = Fn1 \ 3n , 2+3
3n n > 1.
k=0
7.9. COROLARIO.
x j1
1
[Bj1 ] j1
n
[Bjn ] V.
Como cada xji = ji (x) Bji y cada Bji es un abierto en Xji , tene-
mos que Bji ji [F] para cada i {1, 2, . . . , n} (puesto que ji [F] xji ).
De donde, existen Fji F tales que Bji = ji [Fji ] para toda i. Entonces
Fji j1
i
[Bji ] para cada i = 1, 2, . . . , n. Como F es un filtro, lo anterior
implica que j1i
[Bji ] F para toda i. Pero entonces, siendo F cerrado bajo
intersecciones finitas, sucede que j1
1
[Bj1 ] j1
n
[Bjn ] F. Y como F es
cerrado con respecto a superconjuntos, V F. Podemos entonces concluir
que toda vecindad de x en X pertenece al filtro F. Esto u ltimo demuestra
que F x.
clX (Y V ) clX (Y V ) Y,
clX Y V clX (Y V )
T = P(X) {U {} : U X y |X \ U | < 0 }.
El u
ltimo resultado de esta seccion muestra el comportamiento de la com-
pacidad local en los productos de Tychonoff.
.
7.26. DEFINICION
7.27. OBSERVACIONES.
B0 = {B B : existe un U U con B U }.
S1 = A1 T1 = B1 \ cl(S1 )
S2 = A2 \ cl(T1 ) T2 = B2 \ cl(S1 S2 )
S3 = A3 \ cl(T1 T2 ) T3 = B3 \ cl(S1 S2 S3 )
.. ..
. .
S S
Dejamos al lector verificar que los conjuntos S = nN Sn y T = nN Tn
son subconjuntos abiertos ajenos de X que contiene a F1 y a F2 , respecti-
vamente.
.
7.36. PROPOSICION
B = {B(d, n1 ) : d D, n N}
7.37. EJEMPLOS.
(1) Como consecuencia interesante de las proposiciones 7.34 y 7.36 re-
sulta que cada funcion continua f : [0, 1 ) R es constante a partir
de alg un n
umero 0 < 1 . En efecto, para cada < 1 , el subespa-
cio X = [, 1 ) es numerablemente compacto. De hecho, [, 1 ) es
homeomorfo a [0, 1 ). Por lo tanto, la coleccion {f [X ] : < 1 } es
una familia centradaTde compactos contenidos en el compacto f [X0 ].
Por lo tanto, F = <1 X es un subconjunto no vaco de R. Si
r F , entonces f 1 [r] es un subconjunto cerrado y no acotado de
[0, 1 ). Ahora, para cada n N tomemos el subconjunto cerrado
7.5 Compactaciones
Un problema clasico en topologa esta relacionado con la necesidad de ex-
tender un espacio topologico dado a un espacio con propiedades deseadas y
Elementos de Topologa de Conjuntos 263
ventajosas como la compacidad. En esta seccion y en la siguiente trataremos
este tema.
7.38. DEFINICION . Sea X un espacio topol ogico. Una pareja (h, K) se
llama compactacion de X si K es un espacio compacto y h : X K
es un encaje topologico tal que h[X] es un subespacio denso en K. Una
compactacion (h, K) de X es una compactacion T2 si el espacio compacto
K es Hausdorff.
Es claro que todo espacio compacto X es una compactacion de s mismo.
Por otro lado, en el ejercicio 1.B.(7) y en la definicion 7.3 ya hablamos de
la compactacion de Alexandroff A(X) de un espacio no compacto X. La
pareja (i, A(X)), en donde i es la funcion inclusion, es un ejemplo de una
compactacion de X seg un la definicion anterior. En particular (i, [0, 1 ]) es
la compactacion por un punto del espacio de ordinales [0, 1 ).
En el caso particular de la recta real R con la topologa usual, la pareja
(k, [ 2 , 2 ]) en donde k : R [ 2 , 2 ] esta definida por
k(x) = arctan(x)
es una compactacion de R tal que el residuo [ 2 , 2 ]\k[R] tiene exactamente
dos puntos: 2 y 2 (vease la figura 7.1).
4 3 2 1
1 2 3 4
De hecho sucede que para los espacios Tychonoff se puede hallar una
compactacion Hausdorff que tenga su mismo peso.
X h2 - K2
HH
HH p
h1 H
Hj ?
H
K1
es conmutativo; es decir p h2 = h1 .
Observe que p h = i.
Veamos ahora que p es continua. Eligamos primero y h[X]. Existe
x X tal que y = h(x) y p(y) = ph(x). Sea V un abierto que contiene
a p(y). Como X es localmente compacto, i[X] es abierto en A(X) (vease
la proposicion 7.20). Por lo tanto, podemos suponer, sin perdida de gener-
alidad, que V i[X]. Tenemos que W = (h i1 )[V ] es un subconjunto
abierto de h[X]. Aplicando una vez mas la Proposicion 7.20, obtenemos que
h[X] es un subconjunto abierto de K, lo que implica que W es abierto en
K, y es claro que p[W ] V . Con esto hemos demostrado que p es continua
en y = h(x).
Ahora tomemos y K \ h[X]. Tenemos que p(y) = . Sea V una
vecindad abierta de . Resulta que M = A(X) \ V es un subconjunto
266 7. Espacios compactos
X h -K
HH
HH p
i HH
j ?
H
A(X)
conmuta, entonces (i, A(X)) (h, K).
Por otro lado, (h, S 1 ) en donde h : R S 1 es la funcion
h(x) = ei(2k(x)+) ,
(F X, F [K])
g = f p : K2 [0, 1]
y
r2 : C(K2 , [0, 1]) C(K2 X, [0, 1])
son biyecciones, podemos suponer que F1 es un encaje de K1 en el espacio
[0, 1]C(K1 X,[0,1]) y F2 es un encaje de K2 en [0, 1]C(K2 X,[0,1]) . Sea
F2 X
X - [0, 1]C(K2 X,[0,1])
HH
j
H
[0, 1]C(K1 ,[0,1])
HH
p = C(K1 X,[0,1]) F2 [K2 ]
F1 X HH
j ?
H
[0, 1]C(K1 X,[0,1])
7.6 La compactacion de Stone-Cech
En esta seccion estudiaremos la compactacion Hausdorff maxima de un es-
pacio Tychonoff X. Es decir estudiaremos a la compactacion de Stone-Cech
de X.
definida por
H()(g) = (g h),
X - X [0, 1]C(X,[0,1])
HH
H H
h Hj
H ?
K [0, 1]C(K,[0,1])
f (x) + C
g(x) = , x X.
2C
Entonces g C(X, [0, 1]), y por el lema 7.51, g tiene una extension continua
g : X [0, 1]. La funcion
g = f : X K X.
272 7. Espacios compactos
Es claro que la familia {f, } distingue puntos de subconjuntos cerrados de
X; de donde g es un encaje de X en el espacio compacto K X. Sea Y
la cerradura de g[X] en K X. La pareja (g, Y ) es una compactacion T2
de X. Por el teorema 7.49, existe una extension continua g : X Y
de g. Sea K : K X K la proyecci on al segundo factor. La funcion
f = K Y g es una extension continua de f .
7.55. EJEMPLOS.
(1) El intervalo cerrado [0, 1] no es la compactacion de Stone-Cech del
1
intervalo (0, 1) ya que la funcion continua x sen( x ) definida en
(0, 1), no tiene una extension continua sobre [0, 1].
Ejercicios
7.E. Compactaciones
7.F. La compactaci
on de Stone-Cech
(a) Compruebe que |N| > |Q| (Considere una funcion biyectiva
de N sobre Q y aplique el teorema 7.54).
(b) Demuestre que |Q| > |R| (Considere la funcion inclusion de
Q en R y aplique el teorema 7.54).
(c) Pruebe que |N| = |Q| = |R|. (Recuerde que N est a C -
encajado en R y use el inciso (g) del ejercicio 7.F.(4)).
(d) Demuestre que |N| = 2c .
(Sugerencia: Observe que |C(N, [0, 1])| = 2 y use la definicion
7.48 para obtener |N| 6 2c . Para obtener la otra desigual-
dad, use el Teorema de Hewitt-Marczewski-Pondiczeri (vease el
284 7. Espacios compactos
ejercicio 4.C.10) para concluir que [0, 1]c es separable. As, si
f : N D es una funcion biyectiva, en donde D es un sub-
conjunto numerable y denso de [0, 1]c , podemos encontrar una
extension continua y suprayectiva fe : N [0, 1]c .)
(6) Conserva el rango de una funcion perfecta las cualidades del dominio
cuando nos referimos a alguna de las propiedades enumeradas en los
dos incisos anteriores?
(a) X es paracompacto.
(b) Cualquier cubierta abierta de X tiene un refinamiento abierto
-localmente finito.
(c) Cada cubierta abierta de X posee un refinamiento localmente
finito cuyos elementos no son necesariamente abiertos.
(d) Cada cubierta abierta de X tiene un refinamiento cerrado local-
mente finito.
S
(Sugerencias. Para demostrar (b) (c): Sea U = nN Un una
cubierta abierta de X en donde cada Un es localmente
S finita. Sea Un =
n
{Us : s SJn }. Para cada n, tomamos Wn = sJn Usn . Definimos
An = Wn \ i<n Wi . Demuestre que la coleccion {An Usn : n N, s
Jn } es una cubierta localmente finita de X que refina a U.
291
292 8. Espacios conexos
ple observacion podemos captar una diferencia entre estos dos subespacios,
como se aprecia en la figura 8.1
A [ ] [ ]
1 0 2 3
B [ ]
0 1
R, (a, b), [a, b), (a, b], [a, b], (, b), (, b], (a, ) y [a, )
en donde a, b R y a < b.
Si fr(A) = , entonces
El resultado anterior nos permite dar una demostracion de que la recta real
y el plano euclideano no son homeomorfos, como se aprecia en el siguiente
ejemplo.
8.14. EJEMPLOS.
(1) Sea n N, y sean a, b dos puntos diferentes del espacio euclidiano Rn .
Al conjunto {ta + (1 t)b : t [0, 1]} le llamamos segmento cerrado
de lnea recta que une al punto a con b en Rn . Cualquier segmento
cerrado I de lnea recta en Rn es homeomorfo al intervalo cerrado
[0, 1] en R (vea la figura 8.3)
Una poligonal en Rn es una sucesion finita de segmentos de lnea
cerrados I1 , I2 , ..., In tales que un extremo de I1 est
a unido a uno de
Elementos de Topologa de Conjuntos 299
0 1 b
I1 I2
I3
I4
I5
un Rn para n > 1. En
(2) La lnea Euclideana R no es homeomorfa a ning
efecto, si h : R Rn fuera un homeomorfismo y p R, entonces
b
p
a
Figura 8.5: Dos puntos en R2 \ {p} pueden ser unidos por una poli-
gonal.
En general,Q para i {2, ..., n}, definimos Ci como el conjunto de todos los
puntos y jJ Xj tales que jk (y) = ak si k {1, ..., i 1}, ji (y) Xji ,
y j (y) = j (x) para toda j J \ {j1 , ..., ji1 }.
Del ejercicio 4.C.(2) se sigue que Ci es homeomorfo a Xji para cada i
{1, ..., n}. Por lo tanto, Ci es conexo para cualquier Q i {1, ..., n}. Ahora
bien, para cada k {1, ..., n 1}, el punto y jJ Xj con coordenadas
ji (y) = ai para cada i {1, ..., k} y j (y) = j (x) para S cualquier j
J \ {1, ..., k} pertenece a Ck Ck+1 . Concluimos que D = ni=1 Ci es conexo
y contiene a x. As, D C. Pero A D 6= ; por lo tanto A Q C 6= . Con
esto hemos demostrado que C es un subconjunto denso de jJ Xj , con lo
cual terminamos nuestra demostracion.
8.18. EJEMPLOS.
(2) El espacio de ordinales [0, 1 ] tiene tambien una base constituida por
cerrado-abiertos. En efecto, para cada < 6 1 , el conjunto (, ]
es cerrado-abierto (vease el ejercicio 1.G.(6).(a). Por esta razon, [0, 1 ]
es disconexo.
8.20. EJEMPLOS.
(1) Ya vimos que los espacios euclidianos Rn son espacios conexos. Son
tambien localmente conexos pues cada bola abierta en Rn es conexo.
304 8. Espacios conexos
(2) Un espacio puede ser localmente conexo y disconexo, como sucede con
cualquier espacio discreto formado por mas de un punto. En efecto,
para cada punto x en un espacio discreto X, el conjunto {x} es una
vecindad conexa de x y la coleccion B(x) = {{x}} es una base local
para x.
(3) Tambien podemos encontrar espacios que son conexos pero no local-
mente conexos. Un ejemplo de esto lo da el espacio
Y = {(x, sen( x1 )) R2 : x (0, 1]} {(0, 0)} R2
(vease la figura 8.6). En el ejemplo 8.16 se vio que Y es un espacio
conexo. Veamos ahora que Y no es localmente conexo en el punto
(0, 0). En efecto, cualquier vecindad de (0, 0) en Y contenida en la
bola abierta Y B((0, 0), 41 ) contiene piezas separadas de la grafica Y ,
como se puede apreciar en la figura 8.7. Este ejemplo muestra que en
la definicion de conexidad local dada en 8.19, no puede ser substituida
la expresion cada vecindad de x contiene una vecindad conexa de x
por cada x tiene una vecindad conexa.
Un concepto de particular importancia y que esta relacionado con la
conexidad local es la nocion de componente conexa de un punto.
Elementos de Topologa de Conjuntos 305
8.21. DEFINICION . Dado un punto x en un espacio X, podemos consi-
derar la coleccion de todos los subconjuntos conexos de X que contienen
a x. La union de todos ellos es un espacio conexo (proposicion 8.12) que
denotaremos por Cx . El conjunto Cx es el mayor subespacio conexo de X
que contiene a x. Le llamaremos componente conexa de x en X.
8.22. EJEMPLO.
(1) Si X es un espacio conexo, entonces es claro que Cx = X para
cualquier x X.
8.27. EJEMPLOS.
(1) Es claro que cualquier espacio con mas de un punto que posee una
base formada por conjuntos cerrado-abiertos no es localmente conexo
308 8. Espacios conexos
(ver ejercicio 8.B.(5)). As resulta que ni la lnea de Sorgenfrey ni
los espacios de ordinales son espacios localmente conexos (vease el
ejemplo 8.18).
(3) Por el teorema 8.26 tenemos que los espacios productos [0, 1] y R
son localmente conexos, y los espacios 2 y N son localmente conexos
cuando, y solo cuando, es finito. El espacio es conexo (localmente
conexo) solo cuando = 1.
8.29. EJEMPLOS.
ta + (1 t)b
(t) =
||ta + (1 t)b||
Aplicando la proposicion 8.12 veremos que todo espacio conexo por trayec-
torias es conexo. El recproco no es cierto.
t x + (1 t) e,
8.4 Continuos
G. Cantor fue el primero en utilizar el nombre de continuo para designar a
los subconjuntos conexos y cerrados de los espacios euclideanos. Mas tarde,
Janiszewski obtuvo los primeros resultados sobre subconjuntos conexos com-
pactos de espacios euclideanos. La definicion de continuo que utilizaremos
es a
un mas general.
(0, 0)
8.38. EJEMPLOS.
316 8. Espacios conexos
S
(1, 0) (0, 1)
Si S = {X , , } es un sistema
Q inverso de espacios topologicos, un
punto x del producto topologico X es un hilo del sistema inverso
S si para
Q todo , con Q 6 se tiene que ( (x)) = (x), donde
: X X y : Q X X son las proyecciones a los
factores X y X del producto X , respectivamente. Es decir, si
S = {X , , } es un sistema inverso y si 6 , el siguiente diagrama
conmuta:
Q
X - X
H
HH
HH
HH
HH
j
H ?
X
Q
Dado un sistema inverso S = {X , , }, el subespacio de X
formado por todos los hilos del sistema inverso S es conocido como lmite
del sistema inverso S, y denotado con limS o con lim{X , , }, es decir
Y
limS = {x X : ( (x)) = (x) para todo , con 6 }
Elementos de Topologa de Conjuntos 319
Nuestro siguiente corolario establece que el lmite de un sistema inverso
de continuos es un continuo.
8.43. COROLARIO. El lmite de un sistema inverso S = {X , , } de
continuos es un continuo.
Q
DEMOSTRACION . Sea X =
X y para cada sea
lim{Xn , fnn+1 , N}
(0, 1)
(0, 0) ( 12 , 0) (1, 0)
(0, 12 )
(0, 0) ( 14 , 0) ( 13 , 0) ( 12 , 0) (1, 0)
Figura 8.14: En este espacio la componente del punto (0, 0) es dife-
rente a su quasi-componente.
F = {W X : x W y W es cerrado-abierto en X}
T T
satisface G U V . El conjunto G = G es claramente cerrado-abierto
y ademas
(q2 , 12 )
(q3 , 31 )
(qn , n1 )
X [(qt , qt + ) [0, )]
para alguna < . Como existe una cantidad infinita de n umeros racionales
en [0, 1] (qt , qt + ), existe un n
umero natural k tal que el racional qk
es un elemento de [0, 1] (qt , qt + ) y k1 < . Pero esto significa que el
punto (qk , k1 ) pertenece a A. Observe que (qk , k1 ) tambien es un elemento de
V . Por lo tanto, hemos demostrado que (qt , 0) clX V . Pero V es cerrado
en X, as que (qt , 0) V , lo cual es una contradicci on pues por hipotesis
(qt , 0) U y U V = .
j1
1
[A1 ] ... j1
k
[Ak ],
8.56. EJEMPLO.
Kc = {(x, y) Lc : y Q}.
Si c P , definimos
Kc = {(x, y) Lc : y P}.
El espacio [
K= Kc
cC
(2) (El espacio de Erdos [26]) Un espacio metrico separable que es to-
talmente disconexo y no es 0-dimensional: Consideremos el espacio
de Hilbert H que esta constituido de todas las sucesiones (xn )nN de
umeros reales que satisfacen nN x2n R, con la metrica definida
n
como p
(x, y) = nN (xn yn )2
en donde x = (xn )nN y y = (yn )nN .
Elementos de Topologa de Conjuntos 331
El ejemplo deseado es el subespacio X cuyos elementos son las suce-
siones infinitas (rn )nN de n
umeros racionales que pertenecen a H.
Una consecuencia de la proposicion 8.45 es la siguiente (vase el ejercicio
8.E.(3)):
8.57. PROPOSICION . Sea X un espacio compacto T2 . Entonces X es
hereditariamente disconexo si y solo si X es totalmente disconexo.
Este u
ltimo resultado puede mejorarse como veremos en lo que sigue.
Un espacio X es perifericamente compacto si cada punto x X tiene una
base local de vecindades V tal que para cada V V, el subespacio fr(V )
es compacto. Todo localmente compacto es perifericamente compacto, y la
lnea de Sorgenfrey es un ejemplo de espacio perifericamente compacto que
no es localmente compacto.
8.58. PROPOSICION . Sea X un espacio perifericamente compacto. Si X
es totalmente disconexo, entonces X es 0-dimensional.
DEMOSTRACION . Sea x X y sea U una vecindad de x en X. Por hip otesis
existe una vecindad V de x tal que V U y fr(V ) es compacta. Como
X es totalmente disconexo, cl(V ) es totalmente disconexo. Por lo tanto,
para cada y fr(V ) existe un cerrado-abierto Ay de cl(V ) que contiene a
x y no contiene a y. La coleccion {cl(V ) \ Ay : y fr(V )} es una cubierta
de fr(V ) formada por abiertos en cl(V S). Como fr(V ) es compacto, existen
y1 , ..., yk fr(V ) tales que fr(V ) ki=1 (cl(V ) \ Ayi ). Resulta as que
T
A = ki=1 Ayi es un cerrado-abierto en cl(V ) que contiene al punto x y no
intersecta a fr(V ). Por lo tanto A es una vecindad cerrado-abierta de x en
X contenida en U ; es decir, X es 0-dimensional.
Ejercicios
(5) Demuestre que cualquier espacio con mas de un punto que posee una
base formada por conjuntos cerrado-abiertos no es localmente conexo.
(7) Sea
Q {Xs : s S} una familia Q finita de espacios topologicos con
sS Xs 6= . Pruebe que X = sS Xs es conexo por trayectorias si
y solo si cada Xs es conexo por trayectorias.
8.D. Continuos
Elementos de Topologa de Conjuntos 337
(1) (Componentes y quasi-componentes conexas)
(3) Verifique que el espacio K del ejemplo 8.46, el peine roto, no es local-
mente compacto.
(6) (Caracterizacion del intervalo [0, 1] como continuo metrico con solo dos
puntos de corte) Demuestre que cualquier continuo separable (X, T)
con exactamente dos puntos que no son de corte, es homeomorfo al
intervalo [0, 1].
(Sugerencia: Sean a y b los elementos de X que no son puntos de corte.
Para cada x X \ {a, b}, existe una separacion (Ax , Bx ) de X \ {x}
tal que a Ax y b Bx . Es decir, X \ {x} = Ax Bx , Ax Bx = y
Ax y Bx son subconjuntos abiertos de X \ {x}. Definimos en X una
relacion de orden: para x, y X \ {a, b} diferentes, x < y significa
Ax Ay . Ademas, para cada x X, definimos a < x < b. Demuestre
que la relacion < as definida es una relacion de orden lineal en X, y
que la topologa definida por < coincide con la topologa original T de
X. Ahora utilice el ejercicio 8.F.(4) y concluya que X es homeomorfo
a [0, 1].)
es un subconjunto cerrado-abierto de X.
Elementos de Topologa de Conjuntos 341
(b) Sea x = (rn )nN un elemento fijo de X. Para cada n N sea
Fn = {t P : rn < t}. Pruebe que la coleccion {W (n, t) :
n N y t Fn } es una pseudobase de x. Concluya que X es
totalmente disconexo.
(c) Sea 0 el elemento de X cuyas coordenadas son iguales a 0. Sea
V la bola centrada en 0 y de radio 1: B(0, 1) = {(rn )nN
X : 2
i=1 ri < 1}. Y sea U un subconjunto abierto que contiene
a 0 y contenido en V . Sean a1 , a2 , ..., am n umeros racionales
tales que (a1 , ..., am , 0, 0, ...) U . Para cada i {0, 1, ..., m + 1}
i
sea xi = (a1 , ..., am , m+1 , 0, 0...). Observe que para alg un i
i
{0, 1, ..., m + 1}, x U y x i+1 6 U . Construya, por induccion,
una sucesion 0 = a1 , a2 , a3 , ... de n umeros racionales tales que
(a) G es conexo,
(b) No existe subgrupo cerrado-abierto propio de G,
S
(c) G = n
n=1 V para cualquier vecindad abierta V de e.
Apendice A
A.1 Conjuntos
El metodo mas preciso para estudiar a los conjuntos es el axiomatico; sin
embargo, para los fines de este texto nos bastara contar con una idea intu-
itiva de estos: Por un conjunto se entiende un agrupamiento en un todo de
objetos que distingue con claridad nuestra intuicion o nuestro pensamiento
(G. Cantor [13]). A traves de todo el texto, usaremos las palabras coleccion
y familia como sinonimos de conjunto. Al lector interesado en una intro-
duccion axiomatica, cuidadosa y basica de la Teora de los Conjuntos, le
recomendamos la consulta de [35] y [38], para un primer acercamiento, o de
345
346 A. Breviario de Teora de Conjuntos
[43], para un estudio mas avanzado. La referencia [10] tambien es un texto
introductorio; en ella se enfatiza la parte logica del tema.
Las colecciones N = {1, 2, 3, . . . }, de n umeros naturales, R, de n umeros
reales y P, de n
umeros irracionales, son ejemplos de conjuntos.
Si A es un conjunto y x es un objeto de A, a x le llamaremos elemento o
punto de A y el smbolo x A debera leerse x es un elemento de A.
Dados dos conjuntos A y B, si cualquier elemento de A pertenece tambien
a B, decimos que A es un subconjunto de B. A este hecho corresponde el
smbolo A B. Si A y B tienen los mismos elementos entonces diremos
que A y B son iguales, y escribiremos A = B. Esto es equivalente a A B
y B A.
Si A B pero A 6= B entonces diremos que A es un subconjunto propio
de B; en smbolos A $ B.
El conjunto Z = {. . . , n, . . . , 1, 0, 1, 2, . . . , n, . . . } de n
umeros enteros
es un subconjunto del conjunto de n umeros racionales
Q = {m
n : m Z n N}.
(2) si A B y B A entonces A = B; y
(3) si A B y B C entonces A C.
Consideremos tambien como conjunto a la coleccion que carece de ele-
mentos: {x : x 6= x}. A este conjunto lo denotaremos por y le llamaremos
conjunto vaco. Afirmamos que si A es un conjunto, entonces A; en
efecto, la u
nica forma de que esto ultimo no suceda es que tenga un ele-
mento que no este en A; situacion absurda.
Sea X un conjunto. Denotaremos por P(X) a la coleccion de subconjuntos
de X. A este conjunto le llamaremos el conjunto potencia de X. Por
ejemplo, si X = {1, 2, 3}, entonces
P(X) = {, X, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}}.
Elementos de Topologa de Conjuntos 347
Si A y B son subconjuntos de X, denotaremos por A B al conjunto
union de A y B, que definimos como
A B = {x X : x A x B}.
A B = {x X : x A x B}.
A\B = {x X : x A x 6 B}.
(1) Conmutatividad:
(a) A B = B A
(b) A B = B A
(2) Asociatividad:
(a) A (B C) = (A B) C
(b) A (B C) = (A B) C
(3) Distributividad:
(a) A (B C) = (A B) (A C)
(b) A (B C) = (A B) (A C)
A.3 Relaciones
Una relacion R de un conjunto A en un conjunto B es un subconjunto del
producto cartesiano A B. La expresion (a, b) R se denota tambien por
aRb y decimos que a esta relacionado con b por medio de R. En el caso en
que A = B, diremos simplemente que R es una relacion en A. En particular,
es una relacion de A en B.
El dominio de una relacion R A B es el conjunto dom (R) = {a
A : (a, b) R para alg un b B}, y el rango es el conjunto ran (R) = {b
B : (a, b) R para alg un a A}. Ademas, la relacion inversa de R es
R1 = {(b, a) B A : (a, b) R}.
A.5. EJEMPLO. Si A = B = R, definamos R en R como aRb si y solo si
a 6 b, en donde 6 es el orden usual en R. En este caso R es el conjunto
de puntos en el plano R2 que se encuentran arriba de la diagonal a 45 ,
incluyendo a la diagonal (vease la figura A.1).
A.8. EJEMPLOS.
A.13. EJEMPLO.
A.4 Funciones
Una funcion f de un conjunto X en un conjunto Y 6= , es una relacion de
X en Y tal que
A.17. EJEMPLOS.
A.21. EJEMPLOS.
f 1 = {(y, x) : (x, y) f }
resulta ser una funcion con dominio Y e imagen X. Esta funcion relacionara
cada elemento y Y con el u nico elemento x X que satisface f (x) = y.
A f 1 le llamaremos funci on inversa de f . Resulta claro que f 1 tambien
es una biyeccion.
358 A. Breviario de Teora de Conjuntos
Dadas un par de funciones f : X Y y g : Y Z, podemos considerar
la funcion composicion g f : X Z definida por
(g f )(x) = g(f (x)).
A.5 Cardinalidad
Dado un conjunto X, nos podemos preguntar sobre el n umero de elemen-
tos que contiene. En el caso de conjuntos finitos, la expresion X tiene n
elementos significa que es posible poner los elementos de X en correspon-
dencia biunvoca con los elementos del conjunto {1, 2, . . . , n}. Esto es lo que
llamamos contar los elementos de X.
En matematicas, sin embargo, la mayora de los conjuntos importantes
con los que se trabaja no son finitos. No obstante, as como contar los
elementos de un conjunto finito X significa comparar el tama no de X con el
tamano de {1, . . . , n}, as tambien es posible dar criterios por medio de los
cuales podamos saber cuando dos conjuntos cualesquiera tienen la misma
cantidad de elementos o cuando un conjunto tiene m as elementos que
otro. En este contexto, el conjunto de los n umeros naturales jugara un
papel importante, pues en general sera nuestro referente principal cuando
tratemos de calcular la cantidad de elementos de un conjunto.
(1) X es equipotente a X;
(1) m 6 m, y
(2) m 6 n y n 6 s implica m 6 s.
A.28. EJEMPLOS.
es una biyeccion.
Probaremos ahora que NN es un conjunto infinito numerable, exhibiendo
una funcion biyectiva entre este conjunto y N. Definamos g : N N
N mediante g(m, n) = 2m1 (2n 1). Para demostrar que g es inyectiva,
supongamos que g(m, n) = g(p, q) y, sin perder generalidad, que m 6 p.
Entonces 2m1 (2n 1) = 2p1 (2q 1) y, por ende, 2n 1 = 2pm (2q 1).
De aqu tenemos que si p > m, entonces el n umero 2pm (2q 1) es par,
mientras que 2n 1 es impar. Por lo tanto, debe suceder p = m, y con esto
2n 1 = 2q 1, o en otras palabras n = q.
Dado n N, sea m = max{k N {0} : 2k es un divisor de n}. La
definicion de m garantiza que 2nm es un n
umero impar, as que debe existir
un numero natural p con la propiedad de que la igualdad 2nm = 2p 1 se
satisface. Con todos estos antecedentes tenemos que g(m + 1, p) = n, y ya
podemos concluir que g es suprayectiva.
- -
(1,1) (1,2) (1,3)
(2,1) (2,2) (2,3)
(3,1) (3,2) (3,3)
.. .. ..
?
. . .
(Ademas cada expansion decimal a0 .a1 a2 a3 ... que satisface (a) y (b) es un
n
umero real.)
Para cada n N, sea 0.xn,1 xn,2 xn,3 . . . la expansion decimal de xn A
que satisface las propiedades mencionadas anteriormente. Formemos ahora
el n
umero x0 cuya expansion decimal es
El Teorema A.34 implica que c > 0 . Surge entonces una pregunta muy
natural [13]: existe algun subconjunto A de R cuya cardinalidad cumpla
la desigualdad 0 < |A| < c? Georg Cantor conjeturo que la respuesta
era negativa, y de esta forma se enunci o por primera vez la Hipotesis del
Continuo (HC): no existe un subconjunto A de R que satisfaga 0 < |A| < c.
En particular, suponiendo que HC es cierta, los u nicos subconjuntos de R
son los finitos, los equipotentes a N o los equipotentes a R.
La veracidad o falsedad de HC permanecio como un problema sin resolver
durante muchos a nos. De hecho aparecio como el problema 1 de la lista de
problemas no resueltos que David Hilbert present o en el celebre congreso de
matematicas de 1900 en Pars. En 1940 Kurt Godel en [31] probo que la
negacion de HC no puede ser demostrada a partir de los axiomas usuales
de la Teora de Conjuntos (a un incluyendo el Axioma de Eleccion) (vease
la seccion A.6); es decir, Godel demostro que si los axiomas de Zermelo-
Fraenkel y el Axioma de Eleccion (ZFE) forman un sistema de axiomas
consistente (es decir, si a partir del conjunto de axiomas ZFE no se de-
duce un teorema T y su negacion T ), entonces el conjunto de axiomas de
Zermelo-Fraenkel mas el Axioma de Eleccion mas la Hipotesis del Continuo,
que denotaremos con ZFE + HC, tambien es consistente.
Posteriormente, en 1963 Paul Cohen, [23] y [24], completo el trabajo al
demostrar que a partir de estos mismos axiomas basicos, ZFE, es imposible
demostrar HC; o sea, si los axiomas de Zermelo-Fraenkel y el Axioma de
Eleccion (ZFE) forman un sistema de axiomas consistente, entonces ZFE +
HC tambien es consistente, en donde HC es la negacion de la Hipotesis
del Continuo; es decir, HC es la afirmacion: existe un subconjunto A de
numeros reales tal que 0 < |A| < c.
En resumen, la Hipotesis del Continuo es una proposicion independiente
de los axiomas basicos ZFE de la Teora de Conjuntos. (Un magnfico texto
para iniciarse en lo relacionado con pruebas de independencia es [43].)
En todo este libro usamos como axiomas, sin mencion explcita, el Axioma
de Eleccion y los axiomas basicos de la Teora de Conjuntos, llamados de
Elementos de Topologa de Conjuntos 367
Zermelo-Fraenkel. Se pueden ver los enunciados de estos en la seccion que
sigue, y de manera mas extensa en [38] y [35].
A.38. TEOREMA (Zermelo [67]). Todo conjunto puede ser bien orde-
nado; es decir, si X es cualquier conjunto, entonces existe un orden parcial
R de tal forma que (X, R) es un conjunto bien ordenado.
{ : es cardinal y 0 < 6 c}
A.45. PROPOSICIONES.
(a) m + n = n + m y m n = n m,
(b) (m + n) + s = m + (n + s) y (m n) s = m (n s),
(c) m (n + s) = m n + m s.
(3) Sea m un n
umero cardinal infinito y sea n 6 0 . Entonces m + n = m.
DEMOSTRACION . Sean M , N y S conjuntos tales que |M | = m, |N | = n,
|S| = s y M N = M S = N S = .
A.46. TEOREMA.
(1) Si m es un n
umero cardinal infinito, entonces m + m = m y m m = m.
jJ mj 6 jJ m = |J| m.
(1) m 6 mn si n > 0,
(2) n 6 mn si m > 1, y
(3) mn 6 st si m 6 s y n 6 t.
Ademas, para n
umeros cardinales m, n y s se cumple:
(1) mn+s = mn ms .
A.51. TEOREMA. 20 = c.
DEMOSTRACION on, 20 = |{0, 1}N |. Para cada {0, 1}N ,
. Por definici
(n)
la serie nN 3n es un n umero real, y la asociacion 7 nN (n)
3n es
inyectiva; por lo tanto 20 6 c.
Ahora, usando el Axioma de Eleccion, podemos relacionar con cada numero
real r una sucesion srn de n
umeros racionales que converge a r. La relacion
r 7 srn es inyectiva, con dominio R y rango incluido en P(N Q). Por lo
tanto, |R| 6 |P(N Q)|. Pero |P(N Q)| = 2|NQ| = 20 0 = 20 .
Ahora aplicamos el teorema de Cantor-Schr oder-Bernstein y terminamos
la demostracion.
A.52. EJEMPLOS.
(2) El tipo de orden del conjunto {0} con su buen orden trivial sera 1.
380 A. Breviario de Teora de Conjuntos
(3) Observe que si n N, n > 1, y si A y B son dos conjuntos bien
ordenados con n elementos, entonces ellos son isomorfos (demuestrelo,
vea el ejercicio A.VIII.(1)). Usaremos n para denotar el tipo de orden
de {0, 1, 2, . . . , n1} con el orden heredado del orden usual de N{0}:
0 < 1 < 2 < < n < n + 1 < ....
y tambien 3:
(2) + = + si y solo si = ; y
(3) ( + ) + = + ( + ).
Elementos de Topologa de Conjuntos 387
DEMOSTRACION . (1) Por definici
on de suma y por la proposicion A.61, +
es el tipo de orden del conjunto bien ordenado P t P . Si <o , entonces,
existe x P tal que P es isomorfo al segmento inicial P (x). Sea : P
P (x) un isomorfismo de orden. Resulta que el conjunto P t P (x) es el
segmento inicial
de P t P y la aplicacion
F : P t P (P t P )(x, 1)
definida por
(
(a, 0) si a P y = 0
F (a, ) =
((a), 1) si a P y = 1.
[P {0}] = P {0}.
: P t Px (P t Px )(z).
es un isomorfismo de orden. Esto significa que (b, 1) <+ (b, 1), lo cual
contradice la proposicion A.56. Esta contradiccci
on muestra que si x
P+1 y P+1 (x) B, entonces x debe pertenecer a B. Por el Principio de
Induccion Transfinita concluimos que B = P+1 . En particular, + 6o
+ .
En los textos [35] y [41] pueden encontrarse buenas exposiciones sobre los
n
umeros ordinales con enfoques diferentes.
Elementos de Topologa de Conjuntos 391
Ejercicios
A.I. Conjuntos
(a) A A = A = A A.
(b) A A A A A.
(c) Si A C y B C, entonces A B C.
(d) Si C A o C B, entonces C A B.
(e) A (X\A) = X y A (X\A) = .
(f) X\(X\A) = A.
(g) Si A B = X y A B = , entonces B = X\A.
(h) Si A B, entonces X\B X\A.
(3) Pruebe que las siguientes proposiciones son equivalentes para cualquier
par de subconjuntos A, B X.
(a) A B = A;
(b) A B = B;
(c) A B;
(d) X\B X\A;
(e) A (X\B) = ;
(f) (X\A) B = X.
(2) Constate que las siguientes igualdades son ciertas, suponiendo que
A, B X y C, D Y .
(a) (A C) (B D) = (A B) (C D);
(b) (A B) (C D) = (A C) (A D) (B C) (B D);
(c) (X Y )\(B D) = [(X\B) Y ] [X (Y \D)].
A.III. Relaciones
(a) En R, xRy x y Q;
dp dq
(b) En R[x], pSq dx = dx ;
(c) En R[x], pEq el grado de p es igual al grado de q.
(3) Sean X = {x, y, z} y R = {(x, x), (x, y), (x, z), (y, y), (z, z)}. De-
muestre que la relacion R es una relacion de orden parcial en X.
Demuestre tambien que x es tanto elemento minimal como elemento
mnimo, y que y y z son elementos maximales, pero que X carece de
elemento maximo.
394 A. Breviario de Teora de Conjuntos
(4) Sea (X, 6) un conjunto parcialmente ordenado. Demuestre que si
(X, 6) tiene elemento mnimo (respectivamente, elemento maximo)
entonces dicho elemento es el u
nico elemento minimal de X (respec-
tivamente, el u
nico elemento maximal de X).
A.IV. Funciones
Elementos de Topologa de Conjuntos 395
(1) Complete la demostracion de la proposicion A.18 y verifique las proposi-
ciones A.19 y A.22.
(a) f A = f j.
(b) Defina g = f A. Entonces g 1 (B) = A f 1 (B) para toda
B Y.
A.V. Cardinalidad
(4) Demuestre los incisos (1), (2) y (3) del teorema A.48.
(c) (Distributividad.) m jJ mj = jJ (m mj )
(8) Los resultados en el inciso (2) de la proposicion A.45 pueden ser ge-
neralizados de la siguiente manera.
Demuestre que si {mj : j J} y {nj : j J} son dos familias de
n
umeros cardinales que
Q satisfacen
Q mj 6 nj para cada j J, entonces
jJ mj 6 jJ nj y jJ mj 6 jJ nj .
(a) m0 = 1.
(b) mn+s = mn ms .
(c) (mn )s = mns .
(a) m 6 mn si n > 0,
400 A. Breviario de Teora de Conjuntos
(b) n 6 mn si m > 1
(c) mn 6 st si m 6 s y n 6 t.
A.VIII. N
umeros ordinales
(1) Sea n N, con n > 1, y suponga que A y B son dos conjuntos bien
ordenados con n elementos, demuestre que ellos son isomorfos.
(8) Hemos visto que cada n umero ordinal puede ser identificado con el
conjunto de los n
umeros ordinales que son <o provisto con su buen
orden 6o . Para cada ordinal podemos asociarle su cardinalidad ||
que es igual al n
umero cardinal |{ : es un n
umero ordinal y <o
}|. Existen n umeros ordinales que tienen la caracterstica que
para cada , || < ||. A un numero ordinal con esta propiedad
se le llama ordinal inicial. Compruebe que , 1 y 2 son ordinales
iniciales.
Demuestre, usando el Axioma de Eleccion (vease la proposicion A.62)
que dado un numero cardinal m existe un u
nico n
umero ordinal inicial
(m) tal que |(m)| = m.
De esta manera, al suponer el Axioma de Eleccion, podemos identificar
cada numero cardinal m con el n umero ordinal (m). As, al primer
cardinal infinito 0 se le denota como el primer ordinal inicial , y al
n
umero cardinal 1 se le escribe tambien como 1 .
(10) Dado un n umero ordinal (en particular, por lo dicho en el inciso (3),
dado un numero cardinal) definimos su cofinalidad: cf (), como el
n
umero cardinal mas pequeno m tal que existe A que es cofinal
en y |A| 6 m. Observe que siempre se cumple que cf () 6 ||.
Un n umero ordinal (respectivamente, un n umero cardinal) es regular
si cf () = ||. Y es singular si cf () < ||.
Verifique que los n
umeros cardinales y 1 son regulares. Se puede
demostrar que el numero cardinal es singular.
Ejercicios adicionales
A.IX. Producto de n
umeros ordinales
(1) 0 = 1,
[11] R. G. Bartle, The elements of real analysis, John Wiley & Sons, Inc.,
1964.
405
406 Bibliografa
[12] R. H. Bing, Metrization of topological spaces, Canad. J. Math. 3 (1951),
175-186.
[14] G. Cantor, Ueber die Ausdehming eines Satzes aus der theorie der
trigonometrischen Reihen, Math. Ann. 5 (1872), 123-132.
[15] G. Cantor, Uber eine Eigenschaft des Inbegriffs aller reelen algebraishen
Zahlen, J. Reine Angew. Math. 77 (1874), 258-262.
[18] G. Cantor, Uber einen Satzaus der theorie der stetigen Mannig-
faltigkeiten, Gottinger Nachr. (1879), 127-135.
[21] H. Cartan, Theories des filters, Compt. Rend. 250 (1937), 595-598.
[26] P. Erdos, The dimension of the rational points in Hilbert space, Ann.
Math. 41 (1940), 734-736.
Elementos de Topologa de Conjuntos 407
[27] R. Escobedo, S. Macas, H. Mendez, Invitaci
on a la teora de con-
tinuos y sus hiperespacios, Aportaciones Matematicas 31, Sociedad
Matematica Mexicana, 2006.
[31] K. Godel, Consistency of the axiom of choice and the generalized con-
tinuum hypothesis with the axioms of set theory, Princeton Univ. Press,
1940.
[34] O. Hanner, Solid spaces and absolute retracts, Ark. for Mat. 1 (1951),
375-382.
[48] E. Michael, The product of a normal space and a metric space need not
be normal, Bull. Amer. Math. Soc. 69 (1963), 375-376.
[51] F. Riesz, Die Genesis des Raumbegriffs, Math. und Naturwiss. Berichte
aus Ungarn 24 (1907), 309353.
[53] H. Rubin, J.E. Rubin, Equivalents of the Axiom of Choice, II, Studies
in Logic and the Foundations of Mathematics, vol. 116, North Holland,
Amsterdam - New York - Oxford, 1985.
[56] W. Sierpinski, Sur les ensemble connexes et non connexes, Fun. Math.
2 (1921), 8195.
[67] E. Zermelo, Beweiss dass jade Menge wohlgeordnet werden kass, Math.
Ann. 59 (1904) 514-516.
410
Elementos de Topologa de Conjuntos 411
TE0 , , 40 ext(E), 59
TY , 27 , 345
T1 6 T2 , 15 fr(E), 59
TY , 17 m + n, 373
TD , 156 m n, 373
T , 40 m 6 n, 360
T6 , 32 mn , 378
Tp, , 40 f : X Y , 355
Z, 346 , 345
2 , 385 int(E), 56
0 , 360 6l , 352
1 , 371 6, 351
+ , 386 N, 346
, 389 P, 346
X, 269 R, 346
C,
T 328 M, 17
T C, 348 c, 360
T{An : n N}, 348 , 384
T{E : E C}, 348
Q2 , 385
TEC E, 348 mj , 374
QjJ
n
Sn=1 n , 348
A
Qi=1
A i , 373
ultrafiltro, 118
union
de dos conjuntos, 347
de una familia de conjuntos, 348
Uryshon, 239