Documentos de Académico
Documentos de Profesional
Documentos de Cultura
UN CURSO BÁSICO
Con este curso se pretende, además de dar los conocimientos suficientes requeridos
por un curso de pregrado, ubicar al estudiante en un conocimiento óptimo para que
pueda recibir, posteriormente, un curso en álgebra topológica o topología algebrai
i
ca. El curso de topología aquí descrito, puede ser estudiado en un promedio de 16
semanas con una intensidad promedio de 4 horas semanales, para poder abarcarlo
en su mayoría. Por tratarse de un curso que es continuación del cálculo en varias
variables y el análisis real, es necesario que el estudiante tenga unos conocimientos
básicos de teoría de conjuntos: uniones, intersecciones, complementos, imágenes
directa e inversa de funciones, propiedades de los cardinales, Lema de Zorn y el
Axioma de Completitud de los números reales; además debe conocer algunos crite
rios de convergencia de series y la continuidad de las funciones más usuales de valor
real (funciones trigonométricas, exponenciales, logarítmicas, polinómicas y raciona
les). Aunque no es necesario, conocer el concepto de categoría (se puede ubicar
como ejemplo de categoría, el de los espacios vectoriales como objetos y las trans
formaciones lineales como morfismos) puede hacer que el estudiante comprenda las
comparaciones que se hacen a lo largo del escrito, se recomienda [8] para tal fin. Al
final de cada capítulo se da una lista de ejercicios, los cuales no están ordenados por
complejidad ni por temas, la idea es que el estudiante intente resolverlos sin preven
ciones. Los resultados de algunos ejercicios son citados en las pruebas de algunos
teoremas o proposiciones, de aquí la importancia de hacer la mayor cantidad ellos.
Aunque un número considerable de pruebas son dejadas como ejercicio al lector, se
ha hecho un esfuerzo por hacer demostraciones rigurosas y con detalles. Se piensa
que una buena instrucción puede conllevar al estudiante a convertirse en un amante
de las matemáticas con ganas de comprobarlo todo en detalle y de escribir con ri
gor. Varios ejercicios son propuestos con el objeto de inducir al estudiante a escribir
y demostrar o refutar conjeturas, que aunque ya son resultados conocidos, se consi
dera que si él lo ha hecho motivado por su intuición, son resultados propios. Es muy
motivante para un matemático en formación, dar respuestas acertadas.
En el segundo capítulo se estudian los espacios topológicos por dentro: las rela
ciones de posición entre un punto y un conjunto, lo que caracterizar los espacios
topológicos y las funciones continuas a partir de las posiciones de los puntos en re
lación con los subconjuntos del espacio.
ii
muy usuales en otras categorías, aquí son abordadas con muy poca profundidad,
el tutor o profesor podría considerar omitirlas. Al final del capítulo se estudian los
cocientes, los cuales constituyen formas de generar espacios nuevos, además ca
racterizan las imágenes continuas y abiertas de un espacio topológico.
En el quinto capítulo estudiamos los axiomas de separación, por cada uno de ellos
damos una lista de caracterizaciones, donde la atención es fijada en los espacios
T2 , en los que los filtros, las sucesiones y las súper sucesiones son de convergencia
única. Además se establece la relación de cada axioma de separación con el produc
to, los subespacios y la suma de espacios topológicos. Se ha dedicado una sección
de este capítulo a la semirregularización de un espacio topológico, cuya importancia
radica en que nos permite estudiar la topología de los espacios T3 , pero no abordarla
no tendrá implicaciones en la comprensión del resto de las temáticas.
Mis agradecimientos a los profesores María Ofelia Vázquez Ávila y Humberto Pérez
González y a mi gran amiga Rose Sossa, por leer y sugerir correcciones al manus
crito inicial, los errores que aún permanezcan son responsabilidad única del autor.
Agradezco en forma especial al Profesor Joaquín Luna Torres por sus conversacio
nes, las cuales me han invitado a meditar en torno a la enseñanza de la topología.
iii
Índice general
1. Espacios topológicos 1
1.1. Definición de espacio topológico y ejemplos . . . . . . . . . . . . . . . 2
1.2. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Formas de generar topologías . . . . . . . . . . . . . . . . . . . . . . 6
1.3.1. Bases y subbases . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3.2. Unión e intersección de topologías . . . . . . . . . . . . . . . . 11
1.3.3. Topología final y topología inicial . . . . . . . . . . . . . . . . . 12
1.4. Espacios métricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.4.1. Definición de métrica y ejemplos . . . . . . . . . . . . . . . . . 15
1.4.2. Topologías metrizables . . . . . . . . . . . . . . . . . . . . . . 16
1.5. Vecindades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.6. Axiomas de numerabilidad . . . . . . . . . . . . . . . . . . . . . . . . 22
1.7. Homeomorfismos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
4. Convergencia 59
4.1. Filtros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
4.2. Sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
iv
ÍNDICE GENERAL
5. Axiomas de separación 74
5.1. Espacios T0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
5.2. Espacios T1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
5.3. Espacios T2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
5.4. Espacios T3 y regulares . . . . . . . . . . . . . . . . . . . . . . . . . . 85
5.5. La semirregularización de un espacio topológico . . . . . . . . . . . . 89
5.6. Espacios T3,5 y Tychonoff . . . . . . . . . . . . . . . . . . . . . . . . . 91
5.7. Espacios T4 y normales . . . . . . . . . . . . . . . . . . . . . . . . . . 94
6. Compacidad 105
6.1. Caracterizaciones de la compacidad y propiedades . . . . . . . . . . 106
6.1.1. Algunas propiedades de los espacios compactos . . . . . . . . 106
6.1.2. Caracterizaciones de la compacidad . . . . . . . . . . . . . . . 109
6.2. Teorema de Tychonoff . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
6.3. Compacidad local . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
6.4. Una caracterización de la compacidad en Rn . . . . . . . . . . . . . . 115
7. Conexidad 123
7.1. Propiedades de los espacios conexos . . . . . . . . . . . . . . . . . . 123
7.2. Teorema del valor medio . . . . . . . . . . . . . . . . . . . . . . . . . . 126
7.3. Conexos maximales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
7.4. Espacios conexos por caminos . . . . . . . . . . . . . . . . . . . . . . 129
v
Capítulo 1
Espacios topológicos
En las primeras secciones de este capítulo tratamos las definiciones básicas de los
espacios topológicos, dado que las pruebas se hacen usando propiedades básicas
de álgebra de conjuntos (uniones, intersecciones e imágenes inversas y directas de
funciones), una gran parte de estas serán dejadas como ejercicio al lector. Además
de presentar los espacios topológicos, definimos aquellas funciones entre estos es
pacios que preservan algunas propiedades de sus topologías, a saber, las funciones
continuas, funciones abiertas y funciones cerradas, siendo las primeras las más im
portantes.
1
CAPÍTULO 1. ESPACIOS TOPOLÓGICOS
Sección 1.1
Definición 1.1.1
Una topología sobre un conjunto no vacío X, es una familia τ, de subconjuntos
de X, que satisface las siguientes propiedades:
i) ∅ y X están en τ.
ii) Si U y V pertenecen a τ, entonces U ∩ V ∈ τ. S
iii) Si {Ui }i∈I es una familia de elementos de τ, entonces i∈I Ui ∈ τ.
Un espacio topológico es un par (X, τ ), donde X es un conjunto no vacío y τ
es una topología en X. Los elementos de τ se llaman abiertosa en (X, τ ). Un
conjunto B contenido en X se llama cerrado en (X, τ ) si X \ B es abierto en
(X, τ ). A los elementos de X los llamaremos puntos.
Sean τ y ρ dos topologías en un conjunto X. Decimos que τ que es una to
pología más fina que ρ o que ρ es una topología más gruesa que τ, si ρ ⊆ τ .
a
Es G. Cantor (18451918) en 1872, quien introduce la noción de conjunto abierto, pero
solo en la recta de los números reales.
2
1.1. DEFINICIÓN DE ESPACIO TOPOLÓGICO Y EJEMPLOS
Ejemplo 1.1.1
τp := {U ⊆ X : p ∈ U } ∪ {∅}
y
τ p := {U ⊆ X : p ∈
/ U } ∪ {X}
son topologías en X, llamadas topología punto incluido y topologia punto ex
cluido, respectivamente.
Ejemplo 1.1.2
Ejemplo 1.1.3
Ejemplo 1.1.4
3
CAPÍTULO 1. ESPACIOS TOPOLÓGICOS
Ejemplo 1.1.5
Ejemplo 1.1.6
Los espacios cofinitos son de gran importancia para caracterizar los espacios T1 ,
como lo veremos en la Sección 5.2.
Es normal que un lector que se inicia en estos temas, dejándose guiar por el sentido
literal o por el sentido común, piense que un conjunto que no es abierto, es cerrado
y si no es cerrado, es abierto. Se pueden construir muchos ejemplos que permi
ten refutar esto, pues en un espacio topológico pueden haber conjuntos que no son
abiertos ni cerrados, o conjuntos que sean a la vez abiertos y cerrados. Una manera
de que el lector se apropie del concepto de espacio topológico es construir ejemplos
de espacios topológicos, no indiscretos, donde hayan conjuntos que no sean abier
tos ni cerrados y espacios no discretos en los que hayan conjuntos que sean a la
vez abiertos y cerrados (ver Ejercicio 1.3).
4
1.2. CONTINUIDAD
Sección 1.2
Continuidad
Hemos comentado hasta el momento solo de los espacios topológicos, sin establecer
relaciones entre ellos. Definiremos ahora un tipo de funciones que establecen rela
ciones entre las estructuras topológicas, las cuales llamaremos funciones continuas.
Algo similar sucede en los espacios vectoriales (grupos), donde las transformaciones
lineales (respectivamente, homomorfismos de grupos) establecen relaciones entre
las estructuras algebraicas.
Definición 1.2.1
Sean X e Y espacios y f : X −→ Y una función. f se llama una función conti
nua, si f −1 (U ) es abierto en X para cada U abierto en Y . Si existe una función
continua y sobreyectiva de X a Y decimos que Y es una imagen continua de
X.
Ejemplo 1.2.1
Ejemplo 1.2.2
Ejemplo 1.2.3
Ejemplo 1.2.4
5
CAPÍTULO 1. ESPACIOS TOPOLÓGICOS
Ejemplo 1.2.5
Ejemplo 1.2.6
Ejemplo 1.2.7
Proposición 1.2.1
Sean X e Y , espacios y f : X −→ Y una función. Entonces f es continua si y
solo si f −1 (B) es cerrado en X para cada B cerrado en Y .
Sección 1.3
6
1.3. FORMAS DE GENERAR TOPOLOGÍAS
Definición 1.3.1
Sea (X, τ ) un espacio topológico. Una base para (X, τ ) es un subconjunto B
de τ, tal que todo elemento no vacío de τ se puede escribir como unión de
elementos de B. A los elementos de B se les llama abiertos básicos.
Cuando no haya peligro de confusión diremos que B es una base para X, en lugar
de decir que es una base para (X, τ ).
Proposición 1.3.1
Sean X un espacio y B una familia de abiertos en X. Entonces B es una
base para X si y solo si dado U abierto en X y x ∈ U, existe B ∈ B tal que
x ∈ B ⊆ U.
Teorema 1.3.1
Sean X un conjunto no vacío y B un subconjunto no vacío de ℘(X). Entonces
B es una base para una única topología en X si y solo si se cumplen las
siguientes condiciones:
i) Dado x ∈ X, existe B ∈ B tal que x ∈ B.
ii) Dados B1 y B2 en B y x ∈ B1 ∩B2 , existe B3 ∈ B tal que x ∈ B3 ⊆ B1 ∩B2 .
7
CAPÍTULO 1. ESPACIOS TOPOLÓGICOS
B3
B1
B2
Ejemplo 1.3.1
Ejemplo 1.3.2
Sea X = R. Entonces
B1 = {[a, ∞) : a ∈ R}
y
B2 = {(−∞, a] : a ∈ R}
son bases para una topología en R. A R, dotado de las topologías generadas
por estas bases lo notaremos por R[ y R] , respectivamente.
8
1.3. FORMAS DE GENERAR TOPOLOGÍAS
Ejemplo 1.3.3
Ejemplo 1.3.4
Ejemplo 1.3.5
Sea X = R, entonces
B = {[a, b) : a, b ∈ R}
es una base para una topología en R. A R dotado de la topología generada
por esta base se le llama Línea de Sorgenfrey.
Ejemplo 1.3.6
B→ = {(x, ∞), x ∈ R}
y
B← = {(−∞, x) : x ∈ R},
son bases para una topología. Las topologías generadas por estas bases las
llamamos topología de las colas derechas y la topología de las colas izquier
das, respectivamente. A R dotado de estas topologías lo notaremos por R→ y
R← , respectivamente.
Es posible obtener mucha información topológica, mas que de una base, de un sub
conjunto de una base. El propósito es tener la menor cantidad de abiertos posibles
que contengan toda la información valiosa de la topología, por tanto recurrimos a la
siguiente definición.
9
CAPÍTULO 1. ESPACIOS TOPOLÓGICOS
Definición 1.3.2
Sea (X, τ ) un espacio topológico. Una subbase para (X, τ ) (o simplemente
una subbase para X cuando no haya peligro de confusión) es un subconjunto
D de τ, tal que las intersecciones finitas de elementos de D constituyen una
base para (X, τ ). A los abiertos de una subbbase los llamaremos abiertos sub
básicos de (X, τ ) (o simplemente abiertos subbásicos de X, cuando no haya
peligro de confusión).
B = {D1 ∩ D2 ∩ . . . ∩ Dn : n ∈ N y Di ∈ D, i = 1, 2, 3, . . . , n}
Dado un conjunto X, encontrar una familia de subconjuntos de X que sea una sub
base para una topología en X, es muy fácil, basta con encontrar familias de subcon
juntos de X que cubran todo X, esto es lo que nos dice la siguiente proposición.
Proposición 1.3.2
Sean X un conjunto
S no vacío y D una familia no vacía de subconjuntos de X
tal que X = D. Entonces D es una subbase para una única topolgía en X.
B = {D1 ∩ D2 ∩ . . . ∩ Dn : n ∈ N y Di ∈ D, i = 1, 2, 3, . . . , n}
10
1.3. FORMAS DE GENERAR TOPOLOGÍAS
La siguiente proposición nos indica que para la continuidad solo es necesario te
ner en cuenta los abiertos subbásicos. Para su demostración, T tenga enTcuenta que
−1 −1
si f : XS−→ Y esSuna función, entonces su cumple que f ( i∈I Ui ) = i∈I f (Ui )
y f −1 ( i∈I Ui ) = i∈I f −1 (Ui ), para cada familia {Ui }i∈I de subconjuntos de Y.
Proposición 1.3.3
Sean X e Y espacios y f : X −→ Y una función. Entonces f es continua si y
solo si f −1 (U ) es abierto en X para cada U ∈ D, siendo D una subbase para
Y.
Teorema 1.3.2
SeanTX un conjunto no vacío y {τi }i∈I una familia de T
topologías en X. Entonces
τ = i∈I τi es una topología sobre X. Además τ = i∈I τi es la topología
V más
grande contenida en cada una de las τi , la cual notaremos por por i∈I τi .
Teorema 1.3.3
Sean
S X un conjunto y {τi }i∈I una familia de topologías sobre X. Entonces
i∈I i es una subbase para una topología en X, la topología generada por
τ
estaWsubbase es la más pequeña que contiene a cada una de las τi y es notada
por i∈I τi .
11
CAPÍTULO 1. ESPACIOS TOPOLÓGICOS
SS
Demostración.
S Como ( i∈I τi ) = X, (¿por qué?) W
la Proposición 1.3.2 nos dice que
τ
i∈I i es una subbase para
W una topología y sea i∈I τi la topología generada por
esta subbase. Para ver que i∈I τi es la topología más pequeña S que contiene a cada
una de las τi , para i ∈ I, sea τ la topología generada por i∈I τi y ρ cualquier otra
topología en X que contiene a cada una de las τi , con i ∈ I, probaremos que τ ⊆ ρ.
En efecto, sea U ∈ τ, luego existe S {Bj }j∈J , donde cada
S Bj es intersección de una
cantidad finita de elementos de i∈I τi , tal que U = j∈J Bj . Por nuestro supuesto,
para cada j ∈ J, tenemos que Bj ∈ ρ, como ρ es una topología, U ∈ ρ. Hemos
probado que τ ⊆ ρ, esto completa la prueba.
Esto de construir estructuras iniciales es un privilegio del que no gozan todas las
categorías. Por ejemplo, dada una familia de espacios vectoriales {Wi }i∈I , un con
junto V y una familia de funciones {Ti : V −→ Wi }i∈I , no siempre es posible construir
una estructura de espacio vectorial sobre V que haga que cada Ti : V −→ Wi , con
i ∈ I, sea una transformación lineal. Además de los espacios topológicos, hay otras
categorías donde es posible construir estructuras iniciales, de hecho esta propiedad
es una de las que tienen las llamadas categorías topológicas. Gracias a la topología
inicial, será posible construir la topología producto.
12
1.3. FORMAS DE GENERAR TOPOLOGÍAS
Teorema 1.3.4
Sean X un conjunto no vacío, {Yi }i∈I una familia de espacios topológicos y
F = {fi : X −→ Yi } una familia de funciones. Entonces
D = {fi−1 (Vi ) : Vi ∈ τi , i ∈ I}
S
Demostración. Como X = D, la Proposición 1.3.2 nos dice que D es una subbase
para una topología. Se puede probar que τ F es la menor topología en X que hace
que cada fi sea continua (¡complete los detalles!). Ahora, si f es continua lo será
cada fi ◦ f . Recíprocamente, supongamos que cada fi ◦ f es continua y veamos
que f es continua. En efecto, sea V abierto en (X, τ F ), según la Proposición 1.3.3
podemos asumir que V es un abierto subbásico, es decir, que V = fi−1 (Vi ), donde
Vi ∈ τi , para algún i ∈ I. Así f −1 (V ) = f −1 (fi−1 (Vi )) = (fi ◦ f )−1 (Vi ), el cual es abierto
en X dado que fi ◦ f es continua, luego f es continua.
En el caso en el que F esté formado por una única función f, escribiremos simple
mente τ f en lugar de τ {f } .
13
CAPÍTULO 1. ESPACIOS TOPOLÓGICOS
Teorema 1.3.5
Sean X un conjunto no vacío, {Yi }i∈I una familia de espacios topológicos y
F = {fi : Yi −→ X}i∈I una familia de funciones, entonces
define una topología sobre X, la cual es la más fina que hace que cada fi
sea continua. Además g : (X, τF ) −→ Y, siendo Y un espacio topológico, es
continua si y solo si g ◦ fi es continua para cada i ∈ I.
Demostración. Probar que τF es la topología más fina para la cual cada fi es conti
nua, lo dejaremos como ejercicio al lector. Si g : (X, τF ) −→ Y es continua, entonces
g ◦ fi es continua para cada i ∈ I. Recíprocamente, supongamos que g ◦ fi es conti
nua para cada i ∈ I y sea U abierto en Y, veamos que g −1 (U ) es abierto en X. Note
que fi−1 (g −1 (U )) = (g ◦ fi )−1 (U ) el cual es abierto para cada i ∈ I, esto completa la
prueba.
Definición 1.3.3
Una función f : X −→ Y se llama una función cociente, si satisface que U es
abierto en Y si y solo si f −1 (U ) es abierto en X.
En otras palabras, una función entre espacios topológicos f : (X, τ ) −→ (Y, ρ), se
llama cociente si τf = ρ.
Sección 1.4
Espacios métricos
14
1.4. ESPACIOS MÉTRICOS
Definición 1.4.1
Sea X un conjunto no vacío. Una métrica sobre X es una función d : X ×X −→
R+ ∪ {0}, que satisface las siguientes condiciones:
i) d(x, y) ≤ d(x, z) + d(z, y) (desigualdad triangular)
ii) d(x, y) = 0 si y solo si x = y
iii) d(x, y) = d(y, x) (simetría)
para cada x, y, z ∈ X. Para cada x, y ∈ X, a d(x, y) se le llama distancia de x
a y. Al par (X, d) se le llama espacio métrico.
Ejemplo 1.4.1
Ejemplo 1.4.2
Sea (X, d) un espacio métrico. Entonces d∗ (x, y) = mín{1, d(x, y)} define una
métrica en X.
Ejemplo 1.4.3
15
CAPÍTULO 1. ESPACIOS TOPOLÓGICOS
Ejemplo 1.4.4
Ejemplo 1.4.5
d(x, y)
d′ =
1 + d(x, y)
Definición 1.4.2
Sean (X, d) un espacio métrico, r ∈ R+ y a ∈ X. Definimos la bola abierta con
centro en a y radio r, notada por Bd (a, r), como
El siguiente lema nos describe cómo obtener una topología a partir de las bolas
abiertas.
1
Fueron intriducidos por Fréchet en 1906.
16
1.4. ESPACIOS MÉTRICOS
Lema 1.4.1
Sea (X, d) un espacio métrico. Entonces las bolas abiertas constituyen una ba
se para una topología en X, la cual notaremos por τd y la llamaremos topología
inducida por d.
Demostración. Basta probar las propiedades i) y ii) del Teorema 1.3.1. La condición
i) se sigue del hecho de que para cada x ∈ X tenemos que x ∈ Bd (x, r), donde
r ∈ R+ . Para ver ii) dado x ∈ Bd (a1 , r1 ) ∩ Bd (a2 , r2 ), con a1 , a2 ∈ X y r1 , r2 ∈ R+ .
Sea r = mín{r1 − d(x, a1 ), r2 − d(x, a2 )}, como x ∈ Bd (x, r), falta ver que Bd (x, r) ⊆
Bd (a1 , r1 ) ∩ Bd (a2 , r2 ). En efecto, sea y ∈ Bd (x, r), luego
U X
r
x
Teorema 1.4.1
Sean d y m métricas sobre un conjunto X. Si existe c > 0 tal que m(x, y) ≤
cd(x, y) para todo x, y ∈ X, entonces τd es más fina que τm .
17
CAPÍTULO 1. ESPACIOS TOPOLÓGICOS
Corolario 1.4.1
Sean d y m, métricas sobre un conjunto X. Si existen constantes c y k en R+
tales que d(x, y) < cm(x, y) y m(x, y) < kd(x, y), entonces τd = τm .
Ejemplo 1.4.6
El siguiente es el ejemplo más familiar de espacio metrizable. Tal vez ya el lector haya
hecho apreciaciones topológicas desde hace tiempo, sin haberse dado cuenta.
Ejemplo 1.4.7
Sección 1.5
Vecindades
18
1.5. VECINDADES
Definición 1.5.1
Sean X un espacio y x ∈ X. Decimos que un subconjunto Vx de X, es una
vecindad en X de x, (o simplemente una vecindad de x cuando no haya peligro
de confusión) si existe U abierto en X tal que x ∈ U ⊆ Vx . El conjunto de todas
(X)
las vecindades en X de x es notado por Vx o simplemente por Vx , cuando
no haya peligro de confusión.
U
x
Vx
Proposición 1.5.1
Sean X un espacio y x ∈ X. Entonces se cumple que:
i) U, V ∈ Vx , entonces U ∩ V ∈ Vx .
ii) Si U ∈ Vx y U ⊆ V , entonces V ∈ Vx .
Definición 1.5.2
Sean f : X −→ Y una función entre espacios y x ∈ X. Decimos que f es
continua en x si dada V ∈ Vf (x) , existe U ∈ Vx , tal que f (U ) ⊆ V . La función
f se llama localmente continua en X si es continua en cada punto x ∈ X.
19
CAPÍTULO 1. ESPACIOS TOPOLÓGICOS
X Y
f
x f (x)
U V
( ( ) ) ( )
a x−δ x x+δ b f (x) − f (x) f (x) +
20
1.5. VECINDADES
Definición 1.5.3
Sean X un espacio y x ∈ X. Un subconjunto no vacío B(x) ⊆ Vx , se llama
una base local en x, si para cada vecindad Vx de x, existe Ux ∈ B(x), tal que
Ux ⊆ Vx .
Proposición 1.5.3
21
CAPÍTULO 1. ESPACIOS TOPOLÓGICOS
Sección 1.6
Axiomas de numerabilidad
En esta sección el interés está centrado en aquellos espacios que tienen bases o ba
ses locales “pequeñas” (de cardinalidad no mayor que ℵ0 ). Los espacios metrizables
están entre esos que tienen una base local numerable y Ru está entre los espacios
que tienen una base numerable. Los axiomas de numerabilidad fueron mencionados
por primera vez en 1914, por Hausdorff.
Definición 1.6.1
Un espacio X se llama segundo contable, segundo numerable, 2contable o
que satisface el segundo axioma de numerabilidad, si tiene una base nume
rable. X se llama primero contable, primero numerable, 1contable o que sa
tisface el primer axioma de numerabilidad, si cada punto de X tiene una base
local numerable.
Demostración. Sean (X, d) un espacio métrico y x ∈ X. Veamos que {Bd (x, n1 )}n∈N
es una base local en x. En efecto, sea U una vecindad de x, luego existe un abierto
V tal que x ∈ V ⊆ U . Por la definición de topología para una métrica, tenemos que
existe r > 0 tal que Bd (x, r) ⊆ V . Podemos elegir n ∈ N, lo suficientemente grande,
de forma que n1 < r. Luego Bd (x, n1 ) ⊆ Bd (x, r) ⊆ V ⊆ U. Por tanto {Bd (x, n1 )}n∈N es
una base local en x numerable, es decir, (X, d) es primero contable.
Proposición 1.6.1
Ru es segundo contable.
22
1.7. HOMEOMORFISMOS
Lema 1.6.1
Sea X un espacio 1contable. Entonces para cada x ∈ X, existe una base
local en x, digamos B(x) = {B1 , B2 , . . .}, tal que B1 ⊇ B2 ⊇ B3 . . .. A una base
con esta propiedad se le llama base local encajada.
Más adelante veremos las bondades topológicas que tienen los espacios primero y
segundo contables.
Sección 1.7
Homeomorfismos
Definición 1.7.1
Sea f : X −→ Y una función entre espacios topológicos. Decimos que f es
un homeomorfismo si f es una biyección y tanto f como f −1 son funciones
continuas. Dos espacios X e Y se llaman homeomorfos, si existe un homeo
morfismo de X a Y .
23
CAPÍTULO 1. ESPACIOS TOPOLÓGICOS
Con la topología usual de R, los intervalos [a, b] y [c, d], son homeomorfos.
d−c
Demostración. Defina f por f (x) = b−a (x − a) + c, para cada x ∈ [a, b]. Esta es una
función continua, cuya inversa, dada por f −1 (x) = b−ad−c
(x − c) + a, es continua (ver
Ejercicio 1.50). Por tanto f es un homeomorfismo de [a, b] en [c, d].
Ejemplo 1.7.2
Demostración. Por simplicidad haremos la prueba para R3 , pero esta misma es váli
da para Rn . Veremos que cada esfera es homeomorfa a la esfera de radio 1 y centro
en 0 = (0, 0, 0) ∈ R3 . Sean S 2 = {x ∈ R3 : d1 (x, 0) = 1} y B = {x : d1 (x, a) = r},
siendo r > 0. Tomemos f : S 2 −→ B dada por f (x) = rx + a. Se pude probar que
f es un continua cuya inversa es f −1 (x) = 1r (x − a), que también es continua (ver
Ejercicio 1.50), luego f es un homeomorfismo.
Ejemplo 1.7.3
1 1
Demostración. Tome la función f (x) = c− b−a + b−x . Como f es una función continua
−1
de (a, b) en (c, ∞) y su inversa dada por f (x) = b− (x−c)(b−a)+1
b−a
también es continua,
luego f es un homeomorfismo.
Ejemplo 1.7.4
24
1.7. HOMEOMORFISMOS
es continua. Por tanto Ru es homeomorfo a (0, ∞). Por el Ejemplo 1.7.4, este último
es homeomorfo a (a, b), luego Ru es homeomorfo a (a, b), dado que la relación “ser
homeomorfos” es transitiva (ver Ejercicio 1.45).
p
Si notamos con ||x|| = d1 (x, 0) = x21 + x22 + . . . + x2n para cada x = (x1 , x2 , . . . , xn ) ∈
Rn , tenemos que || · || : Rn −→ R+ ∪ {0} define una norma, la que llamaremos norma
euclidiana (ver Ejercicio 1.57).
Hay un problema en los espacios topológicos que no tienen los espacios vectoria
les, los grupos ni los anillos. Si T : V −→ W es una transformación lineal biyectiva
(respectivamente, un homomorfismo de grupos o anillos), entonces inmediatamen
te T −1 : W −→ V es una transformación lineal (respectivamente, un homomorfismo
de grupos o anillos). Es decir, para que T sea un isomorfismo, basta que sea una
transformación lineal biyectiva. En los espacios topológicos no ocurre lo mismo, por
ejemplo, si τ y ρ son topologías en un conjunto X, donde τ es estrictamente más
finas que ρ (ρ ⊂ τ ), entonces la aplicación idéntica iX : (X, τ ) −→ (X, ρ) es biyec
tiva y continua, sin embargo su inversa, iX : (X, ρ) −→ (X, τ ), no es continua. Es
decir, que f sea una biyección continua no implica que su inversa f −1 también sea
continua.
Ejercicios
Ejercicio 1.1. Sean X 6= ∅ un conjunto, {Yi }i∈I una familia de espacios y {fi : Yi −→
X}i∈I una familia de funciones. Si hacemos
25
CAPÍTULO 1. ESPACIOS TOPOLÓGICOS
W
pruebe que τF = τ ∈B τ.
Ejercicio 1.2. Sean X 6= ∅ un conjunto, {Yi }i∈I una familia de espacios y {fi : X −→
Yi }i∈I una familia de funciones. Si
26
1.7. HOMEOMORFISMOS
τ1 (D) = {U ⊆ X : D ⊆ U } ∪ {∅}
y
τ2 (D) = {U ⊆ X : U ∩ D = ∅} ∪ {X}.
Pruebe que τ1 (D) y τ2 (D) definen topologías en X. ¿Qué topologías son estas cuan
do D = ∅ o cuando D = X?
Ejercicio 1.15. Sean B1 y B2 bases para un espacio topológico X. ¿Es B1 ∩ B2
una base para X?
Ejercicio 1.16. Sean (X, τ ) un espacio espacio topológico y B una base para este
espacio. Sea ∅ 6= A ⊆ X. Pruebe que BA = {B ∩ A : B ∈ B} es una base para
(A, τA ). Deduzca que un subespacio de un espacio segundo contable es segundo
contable.
Ejercicio 1.17. Sean X un espacio, A un subespacio de X y x ∈ A. Pruebe que si
B(x) es una base local para x en X, entonces {A ∩ U : U ∈ B(x)} es una base
local para x en A. Deduzca que un subespacio de un espacio primero numerable es
primero numerable.
Ejercicio 1.18. Sean (X, d) y (Y, s) espacios métricos y f : X −→ Y una función.
f llama una isometría si d(x, y) = s(f (x), f (y)). Pruebe que si f es una isometría,
entonces es continua e inyectiva. Pruebe además que f −1 : f (X) −→ X es también
una isometría. Deduzca que si f es una isometría, X es homeomorfo a f (X).
Ejercicio 1.19. Dos espacios métricos X e Y son isométricos, si existe una isometría
sobreyectiva de X a Y . Pruebe la relación “ser isométricos ” es una relación de
equivalencia en la clase de los espacios métricos (ver Ejercicio 1.18).
Ejercicio 1.20. Pruebe que un espacio es discreto si y solo si todos sus conjuntos
de un solo punto son abiertos.
Ejercicio 1.21. Prueba que Z es un subespacio discreto de Ru .
27
CAPÍTULO 1. ESPACIOS TOPOLÓGICOS
Ejercicio 1.22. Pruebe que lo definido en el Ejemplo 1.4.1 al Ejemplo 1.4.5 son
métricas.
Ejercicio 1.23. Sean (X, τ1 ) y (X, τ2 ) espacios topológicos y B1 , B2 , bases para τ1
y τ2 , respectivamente. Pruebe que τ1 ⊆ τ2 si y solo si dados B ∈ B1 y x ∈ B existe
C ∈ B2 tal que x ∈ C ⊆ B.
Ejercicio 1.24. Sean f : X −→ Y una función entre espacios topológicos y B una
base para Y . Pruebe que f es continua si y solo si f −1 (V ) es abierto en X para todo
V ∈ B.
Ejercicio 1.25. Sean X e Y espacios y U y V subconjuntos cerrados no vacíos de
X tales que X = U ∪ V . Sean f : U −→ Y y g : V −→ Y funciones continuas, tales
que f (x) = g(x) para cada x ∈ U ∩ V . Pruebe que h : X −→ Y definida por
f (x) si x ∈ U
h(x) =
g(x) si x ∈ V,
es una función continua. Este resultado es conocido como el Lema del Pegamiento
(ver [7]).
Ejercicio 1.26. Sean X un espacio y A un subespacio de X. Pruebe que B es un
conjunto cerrado en A si y solo si B = K ∩ A, siendo K cerrado en X.
Ejercicio 1.27. Sean Y un espacio topológico y X un conjunto no vacío. Notemos
con Y X el conjunto de todas las funciones que van de X en Y . Dado x ∈ X y U ,
abierto en Y definamos O(x, U ) := {f ∈ Y X : f (x) ∈ U }. Pruebe que {O(x, U ) :
x ∈ X y U es abierto en Y } es una subbase para una topología en Y X . La topología
generada por esta subbase se le llama topología de la convergencia puntual.
Ejercicio 1.28. Pruebe la Proposición 1.3.3.
Ejercicio 1.29. Sean (X, d) un espacio métrico y ∅ 6= A ⊆ X. Sea dA , la métrica d,
restringida a A: dA = (d×d) |A . Pruebe que (τ )dA = (τd )A , deduzca que un subespacio
de un espacio metrizable es metrizable.
Ejercicio 1.30. Sean (X, τ ) un espacio y A ⊆ X. Pruebe que τA ⊆ τ si y solo si
A ∈ τ . Esto quiere decir que todo abierto de A es abierto en X si y solo si A es
abierto en X.
Ejercicio 1.31. Sea f : (X, τd ) −→ (Y, ρ) un homeomorfismo, siendo d una métrica
en X.
i) Pruebe que s : Y × Y −→ R+ ∪ {0} definida por s(f (x), f (y)) = d(x, y), para
cada x, y ∈ X, define una métrica en Y .
ii) Pruebe que f (Bd (x, r)) = Bs (f (x), r) para cada x ∈ X y deduzca que cada
bola abierta en (Y, s) es un conjunto abierto en (Y, ρ).
28
1.7. HOMEOMORFISMOS
29
CAPÍTULO 1. ESPACIOS TOPOLÓGICOS
30
1.7. HOMEOMORFISMOS
notaremos por κ y al espacio (Z, κ), lo llamaremos Recta de Khalimiski. Pruebe que
en la Recta de Khalimiski los conjuntos de la forma {3n + 1}, con n ∈ Z son abiertos,
pero que los de la forma {2n}, no lo son.
Ejercicio 1.56. Si x ∈ (a, b), tenemos que [x, b) ⊆ (a, b). Use este hecho y el Ejercicio
1.23 para deducir que la topología usual de R es más gruesa que la topología de la
Línea de Sorgenfrey. Pruebe que un conjunto de la forma [a, ∞) es abierto y cerrado
en la Línea de Sorgenfrey.
Ejercicio 1.57. Sea V un espacio vectorial real. Una norma en V es una función
|| · || : V −→ R+ ∪ {0}, que satisface los siguientes axiomas:
i) ||v|| = 0 si y solo si v = 0.
Ejercicio 1.58. Pruebe que {(a, ∞) : a ∈ Q} es una base para R→ y deduzca que
R→ es 2contable. Encuentre un resultado análogo para R← .
Ejercicio 1.59. Pruebe que dos espacios discretos son homeomorfos si y solo si
tienen el mismo cardinal.
31
CAPÍTULO 1. ESPACIOS TOPOLÓGICOS
32
Capítulo 2
Clausuras, interiores y fronteras
Hasta el momento solo hemos estudiado los abiertos y los cerrados sin tener en
cuenta los puntos que los componen. Es decir, hemos estudiado propiedades to
pológicas casi sin tener en cuenta la relación entre los puntos del espacio con los
abiertos o los cerrados. Los conceptos de clausura, interior y frontera nos permiten
estudiar los espacios por dentro, teniendo en cuenta la posición de los puntos en
relación con los conjuntos.
Sección 2.1
Definición 2.1.1
Sean X un espacio y A ⊆ X. Definimos la clausura o adherencia de A en X,
notada por, ClX (A), por
\
ClX (A) = {B : B es cerrado en X y A ⊆ B}.
33
CAPÍTULO 2. CLAUSURAS, INTERIORES Y FRONTERAS
Ejemplo 2.1.1
Ejemplo 2.1.2
34
2.1. LA CLAUSURA DE UN CONJUNTO EN UN ESPACIO TOPOLÓGICO
z
Uz
x
A
y
Teorema 2.1.2
Sea X un espacio topológico, entonces se cumple que:
i) ∅ = ∅.
ii) A = A, para cada A ⊆ X.
iii) A ⊆ A, para cada A ⊆ X.
iv) A ∪ B = A ∪ B, para cada A, B ⊆ X.
Demostración.
35
CAPÍTULO 2. CLAUSURAS, INTERIORES Y FRONTERAS
Proposición 2.1.1
La Proposición 2.1.1 nos indica que si x está “pegado” a A, entonces f (x) está pe
gado a f (A). Esto se entiende diciendo que las funciones continuas no modifican
las posiciones de los puntos de clausura. Si ya tenemos la posibilidad de estudiar
los cerrados (y por tanto los abiertos por ser complementos de los cerrados) y las
funciones continuas, vía clausuras, entonces solo necesitamos conocer cómo es
la posición de los puntos en relación con los conjuntos. Una vez establecido esto,
conocemos tanto los objetos como los morfismos en la categoría de los espacios
topológicos. Esto lo dejaremos más claro en la Sección 2.3
Definición 2.1.2
Sean A un subconjunto de un espacio X y x ∈ A. Decimos que x es un punto
de acumulación de A si toda vecindad de x intercepta a A \ {x}. El conjunto
de todos los puntos de acumulación de A es notado por Aa y es llamado el
conjunto derivado de A.
36
2.2. INTERIOR Y FRONTERA DE UN CONJUNTO EN UN ESPACIO
TOPOLÓGICO
de acumulación del dominio de una función f (de variable y valor real), entonces
límx→x0 f (x) siempre va existir y tendrá como valor cualquier L ∈ R, lo cual se puede
comprobar fácilmente mediante la definición de ϵ y δ para los límites. Esto carece en
realidad de sentido, por tanto en la definición de lím siempre está, aunque de manera
inconsciente, la idea de punto de acumulación (ver Ejercicio 2.40).
Proposición 2.1.2
Sea A un subconjunto de un espacio X. Entonces A es cerrado si y solo si
contiene todos sus puntos de acumulación.
Sección 2.2
Así como la clausura describe los cerrados, el concepto de interior describe los abier
tos.
Definición 2.2.1
Sea A un subconjunto de un espacio X. Un punto x ∈ X se llama un punto
interior de A en X, si existe U abierto en X, tal que x ∈ U ⊆ A. El conjunto
de todos los puntos interiores de A en X lo notaremos por IntX (A) y lo lla
mamos interior de A en X. Cuando no haya peligro de confusión escribiremos
simplemente Int(A).
Proposición 2.2.1
S
IntX (A) = {U : U es abierto en X y U ⊆ A}.
La Proposición 2.2.1 nos dice que Int(A) es el conjunto abierto más grande conte
nido en A, por tanto Int(A) = A si y solo si A es abierto y esto equivale a decir que
todos los puntos de A son interiores.
37
CAPÍTULO 2. CLAUSURAS, INTERIORES Y FRONTERAS
Definición 2.2.2
Sean A un subconjunto de un espacio X y x ∈ X. Decimos que x es un punto
de frontera de A si toda vecindad de x intercepta a A y a X \ A. Al conjunto de
todos los puntos de frontera de A lo llamamos frontera de A y lo notamos por
F r(A).
Hemos visto que un abierto de un espacio topológico está caracterizado por sus
puntos interiores: un conjunto es abierto si y solo si todo sus puntos son interio
res. Análogamente: un conjunto es cerrado si y solo contiene todos sus puntos de
clausura. Es decir, la topología de un espacio X quedará totalmente definida, si co
nocemos la posición de los puntos en relación con los subconjuntos de X, por eso
nuestra insistencia en que la topología es la geometría de las posiciones. De hecho,
en la escolaridad desde muy temprano se les enseña a los niños sobre topología,
cuando se les dan nociones de dentro, fuera, arriba,..., etc. En la geometría de las
congruencias dos figuras son congruentes si tienen la misma forma y tamaño. En
esta caso son interesantes aquellas funciones que mantienen invariantes esas dos
propiedades, que son las rotaciones, traslaciones y reflexiones. Por otro lado, en la
geometría de las semejanzas, dos figuras son semejantes si tienen la misma for
ma, en este caso son interesantes aquellas funciones que mantienen invariante esta
propiedad, que son las homotecias. Pero el caso de la topología es más simple y
solo estamos interesados en que se preserven las posiciones, y como lo muestra la
próxima proposición, las funciones que mantienen esta propiedad son los homeo
morfismos, la prueba es un interesante ejercicio para lector. Un caso curioso, que
nos permite ser más certeros en nuestra argumentación, es que cuando a un niño
de preescolar se le manda a hacer un dibujo que represente al papá, generalmente
recurre al dibujo de palitos. Por muy “malo” que quede el dibujo, lo que sí es cierto es
que el niño hace un círculo que representa la cabeza y dentro (en el interior) coloca
los ojos y en medio de los ojos la nariz. En resumen, coloca cada parte del cuerpo
donde debe ir, siguiendo la fisionomía humana (Figura 2.2).
Desde el punto de vista de las congruencias y las semejanzas su dibujo tal vez
no se parezca mucho a la figura de su papá, pero como topológicamente solo nos
interesa que se preserven las posiciones, podríamos decir que topológicamente sí lo
representa con exactitud. Este comentario lo hemos hecho para ver que en los niños
las nociones topológicas aparecen primero que las nociones de otras geometrías un
poco más complejas 1 .
1
Estas apreciaciones son parte de las largas charlas acerca de la enseñanza de la topología con
el Profesor Joaquín Luna Torres.
38
2.3. OPERADORES DE CLAUSURA Y DE INTERIOR
Proposición 2.2.2
Sea f : X −→ Y una función biyectiva entre espacios topológicos. Entonces
las siguientes afirmaciones son equivalentes:
i) f es un homeomorfismo.
ii) f (ClX (A)) = ClY (f (A)) para todo A ⊆ X.
iii) f (IntX (A)) = IntY (f (A)) para todo A ⊆ X.
Sección 2.3
39
CAPÍTULO 2. CLAUSURAS, INTERIORES Y FRONTERAS
Así como hemos razonado con la clausura podemos también razonar con el interior.
Dado un espacio X, si hacemos I(A) = IntX (A), tenemos que I es un operador en
2X que satisface las siguientes propiedades (ver Ejercicio 2.3):
40
2.3. OPERADORES DE CLAUSURA Y DE INTERIOR
i) I(X) = X.
ii) I(A) ⊆ A.
iii) I(I(A)) = I(A).
iv) I(A ∩ B) = I(A) ∩ I(B).
Un operador en 2X que satisfaga las propiedades i) a iv) se le llama operador interior
en X. El siguiente teorema es un análogo del Teorema 2.3.1 y la prueba será dejada
como ejercicio al lector.
Teorema 2.3.2
Sea I un operador interior en X. Entonces existe una única topología en X
que tiene como abiertos a los puntos fijos de I. A esta topología se le llama
topología inducida por I.
Ejercicios
41
CAPÍTULO 2. CLAUSURAS, INTERIORES Y FRONTERAS
42
2.3. OPERADORES DE CLAUSURA Y DE INTERIOR
43
CAPÍTULO 2. CLAUSURAS, INTERIORES Y FRONTERAS
44
Capítulo 3
Productos, sumas y cocientes de espacios
topológicos
Sección 3.1
Productos.
45
CAPÍTULO 3. PRODUCTOS, SUMAS Y COCIENTES DE ESPACIOS
TOPOLÓGICOS
Q
denotemos con pk la késima Q proyección p k : QXi −→ Xk , definida por pk ((ai )i∈I ) =
i∈I
a
Qk, para cada (a )
i i∈I ∈ i∈I X i . Una caja en i∈I Xi es un conjunto de la
Q forma
i∈I Ai , donde Ai ⊆ Xi , para cada i ∈ I. Definiremos ahora una topología en i∈I Xi .
Definición 3.1.1
Q
La topología
Q inicial sobre i∈I Xi generada por la familia de funciones
Q
{pk : i∈I Xi −→ Xk }k∈I , la llamaremos topología producto sobre i∈I Xi . .
Proposición 3.1.1
Q
Sean Y un espacio, {Xi }i∈I una familia de espacios y f : Y −→ i∈I Xi una
función. Entonces f es continua si y solo si f ◦ pk es continua, para cada k ∈ I.
Q
Sea f : Y −→ i∈I Xi una función, si para cada i ∈ I definimos fi = f ◦ pi , entonces
f (x) = (fi (x))i∈I , para cada x ∈ Y . A fi le llamamos la iésima componente de f ,
para cada i ∈ I. La Proposición 3.1.1 nos dice que f es continua si y solo si cada
una de sus componentes es continua.
\
n Y
p−1
kj (Ukj ) = Uk1 × Uk2 × . . . × Ukn × Xi ,
j=1 i∈I,i̸=k1 ,k2 ,...,kn
para cierto n ∈ N, siendo Ukj abierto en Xkj , para cada j = 1, 2, . . . , n. A menos que
se indique lo contrario, la topología sobre un producto de espacios será la topología
producto, un producto cartesiano dotado de la topología producto es también llama
do producto de Tychonoff.
Proposición 3.1.2
46
3.1. PRODUCTOS.
Proposición 3.1.3
SeaQ {Xi }i∈I una familia de espacios. Entonces para cada k ∈ I, la proyección
pk : i∈I Xi −→ Xk , es abierta.
Demostración. Según el Ejercicio 1.36, para probar que pk es Q abierta, basta probar
que pk (U ) es abierto en Y para Q cada abierto básico U de i∈I Xi . En efecto, sea
∅ 6= U = Uk1 ×Uk2 ×. . .×Ukn × i∈I,i̸=k1 ,k2 ,...,kn Xi , para cierto n ∈ N y Ukj abierto en Xkj ,
para cada j = 1, 2, . . . , n. Note que pk (U ) = Xk si k 6= kj , para cada j = 1, 2, . . . , n,
y pk (U ) = Ukj si k = kj , para algún j = 1, 2, . . . , n. En ambos casos vemos que
pk (U ) es abierto, como se quería demostrar. Si U = ∅, entonces pk (U ) = ∅ el cual es
abierto para cada k ∈ I.
Ejemplo 3.1.1
Q
La siguiente proposición nos dice cómo construir una base para el producto i∈I Xi ,
a partir de las bases de los Xk .
Proposición 3.1.4
Sean {Xi }i∈I una familia de espacios y Bi una base para Xi , para cada i ∈ I.
Entonces
Y
B = {Bk1 × Bk2 × . . . × Bkn × Xi : n ∈ N y Bkj ∈ Bkj 1 ≤ j ≤ n}
i∈I,i̸=k1 ,k2 ,...,kn
Q
es una base para i∈I Xi .
Q
Demostración. Sean U abierto Q en i∈I Xi y x = (xi )i∈I ∈ U . Podemos encontrar
V = Uk1 × Uk2 × . . . × Ukn × i∈I,i̸=k1 ,k2 ,...,kn Xi , para cierto n ∈ N y Ukj abierto en Xkj ,
para cada j = 1, 2, . . . , n, tal que x ∈ V ⊆ U . Como xkj ∈ Ukj para cada j = 1, 2, . . . , n
y Bkj es una base para Xkj ,Q podemos hallar Bkj ∈ Bkj tal que xkj ∈ Bkj ⊆ Ukj . Así
x ∈ Bk1 × Bk2 × . . . × Bkn × i∈I,i̸=k1 ,k2 ,...,kn Xi ⊆ U . Esto completa la prueba.
47
CAPÍTULO 3. PRODUCTOS, SUMAS Y COCIENTES DE ESPACIOS
TOPOLÓGICOS
Corolario 3.1.2
El producto numerable de espacios 2contables es 2contables.
Ahora daremos una condición necesaria y suficiente para que el producto de espa
cios segundo contables sea segundo contables.QEl Ejercicio 1.52 y la Proposición
3.1.3, nos dicen que si el producto de espacios i∈I Xi es 2contable (1contable),
así mismo es cada espacio Xk , con k ∈ I. El recíproco no siempre es cierto, pero la
siguiente proposición nos da una condición para la cual sí lo es.
Teorema 3.1.1
Q
Sea {Xi }i∈I una familia de espacios. Entonces i∈I Xi es 2contable si y solo
si cada Xi , con i ∈ I, es 2contable y salvo una cantidad numerable, todos los
Xi , con i ∈ I, son indiscretos.
48
3.1. PRODUCTOS.
Definición 3.1.2
Sea τi una familia de topologías sobre un conjunto X. La diagonal de
Q
i∈I (X, τi ), notada por 4i∈I (X, τi ), se define como 4i∈I (X, τi ) = {(xi )i∈I :
xi = xj para cada i, j ∈ I}.
W Q
La siguiente proposición nos identifica a (X, i∈I τi ) con un subespacio de i∈I (X, τi ),
el resultado es importante porque de él se puede deducir que cualquier propiedad
topológica que se preserve por productos y subespacios, también se preservará al
tomar sup de topologías.
Proposición 3.1.5
W
Demostración. Sea f : (X, i∈I τi ) −→ 4i∈I (X, τi ), dada por f (x) = (xi )i∈IW , siendo
xi = x para cada i ∈ I. Claramente f es una biyección continua, si Idk : (X, i∈I τi ) −→
(X, τk ) es la aplicación
Q W k ∈ I, entonces Idk = pk ◦ f , siendo pk , la
idéntica para cada
proyección de i∈I Xi en Xk . Note que i∈I τi es la menor topología sobre X que ha
ce cada Idk continua, es decir, es la topología inicial sobre X inducida por la familia
{pα ◦ f }i∈I . Aplicando el Teorema 1.3.4, y el hecho de que pk = Idk ◦ f −1 es continua
para cada k ∈ I tenemos que f −1 es continua y por tanto es un homeomorfismo.
49
CAPÍTULO 3. PRODUCTOS, SUMAS Y COCIENTES DE ESPACIOS
TOPOLÓGICOS
Teorema 3.1.2
τd coincide con la topología producto sobre X.
i
di (xi , yi ) ≤ d(x, y) < r ≤ ri .
2
′
Luego d∗i (xi , yi ) < 2i ri ≤ ri , por tanto yi ∈ Bd∗i , para cada i = 1, 2, . . . , n, esto prueba
que x ∈ Bd (x, r) ⊆ U , es decir, U ∈ τd . Recíprocamente, sea U abierto en (X, τd )
y x = (x1 , x2 , . . .) ∈ U . Podemos hallar
Pn r 1> 0 tal que Bd (x, r) ⊆ U . Sabemos que la
sucesión de sumas parciales Sn = i=1 2i → 1, luego podemos hallar N ∈ N tal que
P PN 1 P
| ∞n=1 2n −
1
n=1 2n | < 2 , es decir,
r 1 r
i>N 2i < 2 . Probaremos que
r r r Y
x ∈ Bd∗1 (x1 , ) × Bd∗2 (x2 , ) × . . . × Bd∗N (xN , ) × Xi ⊆ Bd (x, r).
2 2 2 i>N
Q
En efecto, sea y = (y1 , y2 , . . .) ∈ Bd∗1 (x1 , 2r ) × Bd∗2 (x2 , 2r ) × . . . × Bd∗N (xN , 2r ) × i>N Xi ,
luego
X 1
d(x, y) = d∗ (xi , yi )
i i
i∈N
2
XN
1 ∗ X 1
= i
d i (x i , y i ) + i
d∗i (xi , yi )
i=1
2 i>N
2
XN
1r r
< +
i=1
2i 2 2
rX 1
∞
r
= +
2 i=1 2i 2
r r
= (1) +
2 2
= r.
50
3.1. PRODUCTOS.
Aplicando los ejercicios 1.29 y 1.31, la Proposición 3.1.5 y el Teorema 3.1.2 obtene
mos el siguiente corolario.
Corolario 3.1.3
W
Sea {τn }n∈N una familia de topologías en un conjunto X. Entonces (X, n∈N τn )
es metrizable si y solo si para cada n ∈ N, tenemos que (X, τn ) es metrizable.
Sea {Xi }∈I una familia de espacios. Supongamos que existe un espacio Y
con una familia de funciones continuas
Q fi : Y −→ Xi . Entonces existe una
única función continua f : Y −→ i∈I Xi , tal que para cada i ∈ I el siguiente
diagrama es conmutativo:
fi
Y / Xi .
B
pi
f
Q
i∈I Xi .
Q
Además i∈I Xi es el único espacio, salvo homeomorfismos, que satisface la
propiedad universal anterior.
51
CAPÍTULO 3. PRODUCTOS, SUMAS Y COCIENTES DE ESPACIOS
TOPOLÓGICOS
cada i ∈ I, tenemos que f es continua; además f así definida es la única que sa
tisface el diagrama. Sea ahora otro espacio P , junto con una familia de funciones
{fi : P −→ Xi } que Q
satisface la propiedad universal anterior. Existe una única apli
cación continua f :Q i∈I Xi −→ P , tal que fi ◦ f = pi y existe una única aplicación
continua g : P −→ i∈I Xi , tal que pi ◦g = fi , para cada i ∈ I. Note que pi ◦(g ◦f ) = pi
para cada i ∈ I, pero la aplicación idéntica, en lugar de g ◦ f , también satisface la
igualdad, dada la unicidad tenemos que g ◦ f = id∏i∈I Xi . Análogamente f ◦ g = idP ,
por tanto f es un homeomorfismo.
Estaremos muy atentos en probar que propiedades que abarquemos son produc
tivas. Una propiedad P se llama una propiedad
Q productiva si se cumple que: dada
una familia de espacios {Xi }i∈I , entonces i∈I Xi tiene la propiedad P si y solo si
cada Xi , con i ∈ I, tiene la propiedad P.
Sección 3.2
Sumas
Dada una familia de espacios {Xi }i∈I , construiremos un espacio X, donde cada Xi
es homeomorfo a un subespacio abierto y cerrado de X, por tanto, podemos decir
que cada Xi es un subepacio abierto y cerrado de X.
Sea {Xi }i∈I una familia de espacios disyuntos dos a dos. Tomemos la unión X =
S
i∈I Xi , dotado de la siguiente topología (probar que en realidad es una topología):
En la definición hemos exigido que los Xi sean disyuntos, pareciera que fuera una
condición que no siempre se pudiera conseguir, pero este problema puede ser re
suelto fácilmente. Tomemos la familia {Xi × {i}}i∈I , aquí siempre los espacios son
disyuntos dos a dos y para cada i ∈ I, tenemos que Xi es homeomorfo a Xi × {i},
por tanto, topológicamente, no cometemos ningún error al reemplazar Xi por Xi ×{i}
para cada i ∈ I (Ejercicio 3.2).
Proposición 3.2.1
L L
En i∈I Xi , cada Xi es aberrado. Además B es cerrado en i∈I Xi si y solo
si B ∩ Xi es cerrado en Xi para cada i ∈ I.
52
3.2. SUMAS
L
Demostración. Veamos que cada Xk , con k ∈ I es abierto en i∈I Xi . En efecto,
como Xk ∩ Xi es vacío si k 6= i y es Xk en caso contrario, tenemos que Xk ∩ Xi es
Xi para cada i ∈L
abierto en L I, por tanto porSla definición de suma topológica,
L Xk es
abierto en i∈I Xi . Ahora, i∈I XiL \ Xk = i∈I,i̸=k Xi el cual es abierto en i∈I Xi .
Esto prueba que Xk es cerrado en i∈I Xi para cada k ∈ I. El resto de la prueba es
dejada como ejercicio al lector.
Definición 3.2.1
Sean X e Y espacios. Decimos que X está embebido en Y , si existe una
función inyectiva f : X −→ Y , tal que X y f (X) con homeomorfos. En este
caso, a f se le llama un embebimiento. Si X está embebido en Y decimos
que Y contiene una copia homeomórfica de X.
L
Dada una familia de espacios {(Xi , τi )}i∈I , hemos construido un espacio X = i∈I Xi ,
que recoge a cada uno de los Xi , con i ∈ I (en realidad recoge una copia homeo
mórfica de cada Xi ). Pero note que los (Xi , τi ) como subespacio de X, no pierde
ninguna propiedad de topológica, es decir, Xi es embebido en X, pero no solo como
un subconjunto, sino que también se lleva consigo todas sus propiedades topológi
cas, inclusive se viene con Q todos sus abiertos y cerrados, lo que no pasa con los
productos. De hecho Y = i∈I Xi contiene una copia hemoemórfica de cada Xk
para cada k ∈ I (ver Ejercicio 3.2), sin embargo, nada garantiza que esa copia sea
siempre abiertaL o cerrada en Y . La Proposición 3.2.1 garantiza que cada Xk es un
subespacio de i∈I Xi . La suma topológica nos permite tomar un conjunto de espa
cios, tal vez sin ninguna propiedad en común, y hacerlos todos subespacios abiertos
de un mismo espacio.
Proposición 3.2.2
L
Una función f : i∈I Xi −→ Y , siendo Y un espacio, es continua si y solo si
f |Xi es continua para cada i ∈ I.
Proposición 3.2.3
Dada unaLfamilia Lde funciones continuasL {fi : Xi −→ Y }i∈I , existe una única
función, i∈I fi : i∈I X i −→ Y , tal que i∈I fi |Xi = fi , para cada i ∈ I.
53
CAPÍTULO 3. PRODUCTOS, SUMAS Y COCIENTES DE ESPACIOS
TOPOLÓGICOS
L L
Demostración. Definamos i∈I fi , así i∈I fi (x) = fi (x), si x ∈ Xi . Dado que los
Xi son
L disyuntos dos a dos esta función está bien definida. De la definición se
L tiene
que i∈I fi |Xi = fi , para cada i ∈ I, y de la Proposición 3.2.2, tenemos que i∈I fi ,
es continua.
El siguiente lema nos indica cómo obtener una base para la suma de espacios.
Lema 3.2.1
S
para el espacio Xi para cada i ∈ I. Entonces B =
Sea Bi una base L i∈I Bi
es una base para i∈I Xi .
L
Demostración.
L Obviamente cada elemento de B es abierto en i∈I Xi . Sean U
abierto en i∈I Xi y x ∈ U , luego x ∈ Xi para un único i ∈ I, como x ∈ U ∩ Xi
es abierto en Xi existe B ∈ Bi tal que x ∈ B ⊆ U ∩ Xi ⊆ U , esto completa la prueba.
Lema 3.2.2
L
Sea {Xi }i∈I una familia de espacios. Entonces si i∈I Xi es 2contable, I es
numerable y cada Xi es 2contable.
L
Demostración. Supongamos que i∈I Xi es 2contable, el Ejercicio L 1.16 garantiza
que cada Xi es 2contable. Sea B una base numerable para i∈I Xi , elijamos una
familia de puntos {xi }i∈I tal que xi ∈ Xi . Luego existe Bi ∈ B, tal que xi ∈ Bi ⊆ Xi .
Como los Xi son disyuntos, entonces los Bi son distintos, luego cardinal de I no
puede superar al cardinal de B, por tanto I es numerable.
Teorema 3.2.1
L
i∈I Xi es 2contable si y solo si cada Xi es 2contable e I es numerable.
L
Demostración. Si i∈I Xi es 2contable, el Lema 3.2.2 garantiza que cada Xi es
2contable e I es numerable. Recíprocamente, supongamos que I es numerable y
cada Xi es S L para Xi , para cada i ∈ I, según el Lema
2contable. Sea Bi una base
3.2.1, B = i∈I Bi es una base para i∈I Xi . Como la unión de una cantidad nu
merable de conjuntos numerables es numerable, entonces B es numerable y así
L
i∈I Xi es 2contable.
54
3.3. COCIENTES
Sección 3.3
Cocientes
Sea f : (X, τ ) −→ (Y, ρ) una función cociente, luego ρ, coincide con τf , por tanto, del
Teorema 1.3.5 tenemos que g : (Y, ρ) −→ Z es continua si y solo si g ◦ f es continua.
Teorema 3.3.1
Sea f : X −→ Y una aplicación cociente sobreyectiva. Entonces existe una
relación de equivalencia sobre X, llamémosla Rf , tal que (X/Rf , τRf ) es ho
meomorfo a Y .
Ejemplo 3.3.1
55
CAPÍTULO 3. PRODUCTOS, SUMAS Y COCIENTES DE ESPACIOS
TOPOLÓGICOS
Sección 3.4
Ejercicios
Ejercicio 3.4. Pruebe que cada función continua cerrada y sobreyectiva, es cociente.
Ejercicio 3.5. Sea q : Ru −→ (Z, κ) (ver ejercicio 1.54) definida por q(2n) = 2n y
q(x) = 2n + 1 si x ∈ (2n, 2n + 2). Demuestre que q es abierta.
Ejercicio 3.11. Pruebe que d definida en la Ecuación 3.1 define una métrica.
Q
Ejercicio 3.12. Sean
Q {X i }i∈I una familia de espacios y X = i∈I Xi . Pruebe que las
cajas de la forma i∈I Ui , siendo Ui abierto en Xi para cada i ∈ I, constituyen una
base para una topología en X. La topología generada por esta base es llamada la
topología caja.
56
3.4. EJERCICIOS
la topología de la convergencia
Q puntual en Y X (ver Ejercicio 1.27) coincide con la
topología producto de x∈X Yx .
Ejercicio 3.18. Enuncie y demuestre un resultado análogo al Teorema 3.1.1 para
espacios 1contables.
Ejercicio 3.19. Enuncie y demuestre un resultado análogo al Teorema 3.2.1, para
espacios 1contables.
Ejercicio 3.20. Sea X un espacio y definamos en X la siguiente relación de equi
valencia: x ∼ y si {x} = {y}. Pruebe que:
i) ∼ es una relación de equivalencia en X.
ii) Si π : X −→ X/ ∼ es la respectiva aplicación cociente, pruebe que π −1 (π(U )) =
U para cada U abierto o cerrado en X. Deduzca que π es abierta y cerrada.
Ejercicio 3.21. Sean X un espacio y f : X −→ Y una función. Dotemos a Y de la
topología final inducida por f . Pruebe que Y \ f (X) es abierto, cerrado y discreto en
(Y, τf ).
Ejercicio 3.22. Sean X un espacio y A ⊆ X. Decimos que A es un retracto de X si
existe una función continua r : X −→ A, tal que f |A = idA . A r se le llama retracción.
Pruebe que cada retracción es una función cociente.
Ejercicio 3.23. Pruebe que que si A es un retracto de X y f : A −→ Y es una
función continua, entonces existe una extensión continua de f a X. Es decir, existe
F : X −→ Y continua, tal que F |A = f .
Ejercicio 3.24. Sea X un espacio. Pruebe que cada subconjunto abierto y cerrado
en X es un retracto.
Ejercicio 3.25. Sea (X, d) un espacio métrico. Pruebe que d : X × X −→ R+ ∪ {0} ⊆
Ru es una función continua.
Ejercicio 3.26. Pruebe que la suma (producto) + : Ru ×Ru −→ Ru , dada por (a, b) 7→
a + b (respectivamente, (a, b) 7→ ab) es continua. Deduzca que si f, g : X −→ Ru , son
funciones continuas, siendo X un espacio cualquiera, entonces las funciones f + g
57
CAPÍTULO 3. PRODUCTOS, SUMAS Y COCIENTES DE ESPACIOS
TOPOLÓGICOS
58
Capítulo 4
Convergencia
Sección 4.1
Filtros
Definición 4.1.1
Sea X un conjunto no vacío. Una familia F de subconjuntos de X, se llama un
filtro en X, si satisface los siguientes axiomas:
i) ∅ ∈
/ F.
ii) Si F1 , F2 ∈ F, entonces F1 ∩ F2 ∈ F.
iii) Si F ⊆ G y F ∈ F, entonces G ∈ F.
Ejemplo 4.1.1
Si nos hemos dado cuenta, cada vez que hemos utilizado el concepto de vecindad
59
CAPÍTULO 4. CONVERGENCIA
Ejemplo 4.1.3
Algunos subconjuntos de ℘(X), no siempre cumplen las condiciones para ser filtro,
pero sí es posible obtener filtros a partir de ellos.
Definición 4.1.2
Sea F un filtro en X. Decimos que B ⊆ F es una base para F, si dado F ∈ F,
existe G ∈ B, tal que G ⊆ F .
Al igual que en los espacios topológicos, muchas veces no es posible tener filtros,
pero podemos encontrar subconjuntos en 2X , que pueden ser base para un filtro.
Proposición 4.1.1
60
4.1. FILTROS
Podría uno preguntar ¿cuál es la diferencia entre una base de filtro y una base?
(ver Teorema 1.3.1 y Proposición 4.1.1). La respuesta radica en la localidad, en el
Teorema 1.3.1, el B3 existe para cada x ∈ B1 ∩ B2 , esto garantiza que B1 ∩ B2 se
puede escribir como unión de elementos de B, en la Proposición 4.1.1 no ocurre
esto. Es decir, que B sea una base para un filtro F, no significa que cada elemento
de F se puede escribir como unión de elementos de B.
Definición 4.1.3
Sean X un espacio topológico, x ∈ X y F un filtro en X. Decimos queF con
vergea a x, notado por F → x, si Vx ⊆ F. Decimos que F converge en X, si
existe x ∈ X tal que F → x. En caso contrario decimos que F es divergente.
a
La idea de convergencia de filtros fue dada por Cartan en 1937 y desarrollada por Bourbaky
en 1940.
Definición 4.1.4
Sean X un conjunto y F un filtro en X. Decimos que F es un ultrafiltro si F es
maximal, es decir, si ningún filtro de X contiene a F como subconjunto propio.
61
CAPÍTULO 4. CONVERGENCIA
Teorema de Tychonoff.
Lema 4.1.1
Cada filtro está contenido en un filtro maximal.
R = {G : G es un filtro en X y F ⊆ G}.
Ordenemos a R, por inclusión y veamos que S en R cada cadena, tiene sup. En efecto
sea C una cadena en R. No es difícil ver que C es un filtro (pruébelo) y es el sup de
C. Aplicando el Lema de Zorn podemos decir que R tiene un elemento maximal.
Lema 4.1.2
Sean f : X −→ Y una función y F un filtro en X. Entonces:
i) f (F) es una base de filtro en Y, pero si f es sobreyectiva, f (F) es un filtro.
ii) Si f es sobreyectiva y F es un ultrafiltro, f (F) es un ultrafiltro en Y .
62
4.1. FILTROS
Definición 4.1.5
Sean X un espacio, F un filtro en X y x ∈ X. Decimos que x es un punto de
acumulación de F, si dado V ∈ Vx y F ∈ F, tenemos que F ∩ V 6= ∅.
Proposición 4.1.2
Sean F un filtro en un espacio X y x ∈ X. Entonces x es un punto de acumu
lación de F si y solo si x ∈ F , para cada F ∈ F.
Lema 4.1.3
Si x es un punto de acumulación de un filtro F en un espacio X, entonces existe
un filtro G que contiene a F y converge a x.
Demostración. Sea
B = {V ∩ F : V ∈ Vx , F ∈ F}.
Se puede ver que B es una base de filtro en X (¡pruébelo!) y que además G = hBi
contiene tanto a Vx como a F, luego G → x.
Teorema 4.1.3
Cada ultrafiltro converge a cada uno de sus puntos de acumulación.
Recomendamos estudiar [3] para profundizar en tópicos relacionados con los ultra
filtros.
63
CAPÍTULO 4. CONVERGENCIA
Sección 4.2
Sucesiones
Definición 4.2.1
Sean (xn )n∈N una sucesión en un espacio X y x ∈ X. Decimos que (xn )n∈N
converge a x, lo que notaremos por xn → x, si para cada Vx ∈ Vx , existe
N ∈ N, tal que xn ∈ Vx , para cada n > N . Una sucesión (xn )n∈N , se llama una
sucesión convergente en X, si existe x ∈ X, tal que xn → x. En caso contrario
decimos que (xn )n∈N es divergente.
Ejemplo 4.2.2
Ejemplo 4.2.3
64
4.2. SUCESIONES
Ejemplo 4.2.4
Ejemplo 4.2.5
Rcoe es de convergencia trivial.
En un espacio métrico (X, d), una sucesión (xn )n∈N converge a un punto x en X si y
solo si podemos obtener infinitos puntos de la sucesión tan cerca a x como se desee,
como se ve en el siguiente ejemplo.
Ejemplo 4.2.6
Sea (X, d) un espacio métrico, el Ejercicio 4.46 y la Proposición 1.5.4 nos dice
que una sucesión (xn )n∈N converge a un punto x en X, si y solo si dado ϵ > 0
existe N ∈ N tal que si n > N , entonces xn ∈ Bd (x, ϵ). Es decir, si n > N ,
tenemos que d(xn , x) < ϵ.
Sea (xn )n∈N una sucesión de puntos de un espacio X. Pongamos Bn = {xk : k ≥ n}.
Se puede probar que B(xn )n∈N = {Bn : n ∈ N} es una base de filtro, y además
que B(xn )n∈N → x si y solo si xn → x (Ejercicio 4.26). A hB(xn )n∈N i le llamaremos
filtro asociado a (xn )n∈N . Pongamos F(xn )n∈N) = hB(xn )n∈N i, de la demostración de
la Proposición 4.1.1 tenemos que F ∈ F(xn )n∈N si y solo si existe n ∈ N tal que
{xn , xn+1 , . . .} ⊆ F . Por lo tanto, si (xn )n∈N es una sucesión de puntos de un conjunto
A ⊆ X, tenemos que B1 ⊆ A, luego A ∈ F(xn )n∈N .
Proposición 4.2.1
Demostración. Como (an )n∈N es una sucesión de puntos de A, luego A ∈ F(an )n∈N .
Si an → x, el Ejercicio 4.26 garantiza que F(an )n∈N → x, luego F(an )n∈N es un filtro
al cual A pertenece y converge a x. Dado Vx ∈ Vx , como Vx , A ∈ F(an )n∈N , luego
Vx ∩ A ∈ F(an )n∈N . Como ∅ ∈
/ F(an )n∈N , debe ser A ∩ Vx 6= ∅, luego el Teorema 4.1.1
nos garantiza que x ∈ A.
65
CAPÍTULO 4. CONVERGENCIA
Teorema 4.2.1
Sean X un espacio 1contable, A ⊆ X y x ∈ X. Entonces x ∈ A si y solo si
existe una sucesión de puntos de A que converge a x.
Definición 4.2.2
Una función f : X −→ Y entre espacios, se llama secuencialmente continua o
continua por sucesiones en un punto x ∈ X, si para cada sucesión (xn )n∈N de
puntos de X, tal que xn → x, tenemos que f (xn ) → f (x). Decimos que f es
secuencialmente continua en X si lo es en cada punto de X.
66
4.3. SÚPER SUCESIONES
Sección 4.3
Súper sucesiones
Definición 4.3.1
Sea X un conjunto, una súper sucesión es una función f : I −→ X, siendo I un
conjunto dirigido. Si para cada α ∈ I, hacemosf (α) = xα , notaremos la súper
sucesión f , como (xα )α∈I . Si X es un espacio, decimos que una súper sucesión
(xα )α∈I de puntos de X converge a un punto x ∈ X, notado por xα → x, si para
cada Vx ∈ Vx , existe α0 ∈ I, tal que α ≥ α0 , implica que xα ∈ Vx . La súper
sucesión (xα )α∈I se llama convergente en X, si existe x ∈ X tal que xα → x.
En caso contrario decimos que (xα )α∈I es divergente.
Dado que N con el orden usual es un conjunto dirigido, tenemos que cada sucesión
es una súper sucesión.
Ejemplo 4.3.1
Sea (xα )α∈I una súper suscesión en un espacio X. Supongamos que I tiene
máximo y sea este m, entonces xα → xm .
1
La convergencia en términos de súper sucesiones fue introducida por Birkhoff en 1937 y la equi
valencia entre la convergencia de súper sucesiones y filtros fue dada por Bartle en 1955.
67
CAPÍTULO 4. CONVERGENCIA
Ejemplo 4.3.2
A diferencia de las sucesiones y al igual que los filtros, las súper sucesiones sí ca
racterizan la clausura, como se muestra en el siguiente teorema.
Teorema 4.3.1
Sea A un subconjunto de un espacio X. Entonces x ∈ A si y solo si existe una
súper sucesión de puntos de A que converge a x.
Demostración. Probar que si existe una súper sucesión de puntos de A que conver
ge a x implica que x ∈ A es análogo a la Proposición 4.2.1, veamos el recíproco. En
efecto, sea x ∈ A, luego para cada V ∈ Vx , existe xV ∈ V ∩ A (Teorema 2.1.1). Sea
I = Vx , ordenado así: V ≤ W , si W ⊆ V . Se puede ver que (Vx , ≤) es un conjunto
dirigido. Veamos que xV → x. En efecto, sea Vx ∈ Vx . Sea α0 = Vx , luego si V ≥ α0 ,
entonces xV ∈ V ⊆ α0 = Vx . Hemos probado que xV ∈ Vx , para cada V ≥ α0 , por
tanto xV → x.
Proposición 4.3.1
Sea f : X −→ Y una función entre espacios, supongamos que f es continua
en x ∈ X. Luego si xα → x, entonces f (xα ) → f (x), para cada súper sucesión
(xα )α∈I de puntos de X.
Proposición 4.3.2
68
4.3. SÚPER SUCESIONES
Sea (xα )α∈I una red. Para cada σ ∈ I, definamos Bσ = {xα : α ≥ σ}. Definamos
B(xα )α∈I = {Bσ : σ ∈ I}.
Proposición 4.3.3
B(xα )σ∈I es una base de filtro (Al filtro generado por esta base lo llamaremos
filtro asociado (xα )α∈I ), además B(xα )σ∈I → x si y solo si xα → x.
Ejercicios
Ejercicio 4.1. Dar un ejemplo de una base de filtro que no sea filtro.
Ejercicio 4.2. Sean f : X −→ Y una función sobreyectiva y F un filtro en Y . Pruebe
que f −1 (F) = {f −1 (B) : B ∈ F} es una base de filtro en X.
Q
Ejercicio 4.3. Sea F un filtro en el espacio producto X = i∈I Xi . Pruebe que F → x
en X si y solo si pk (F) → pk (x), para cada k ∈ I.
Ejercicio 4.4. Pruebe el recíproco del Teorema 4.1.1.
Ejercicio 4.5. Pruebe el Lema 4.1.2.
Ejercicio 4.6. ¿Cuáles filtros convergen a un punto x en un espacio discreto X?¿Y
en un espacio indiscreto X?
Ejercicio 4.7. Pruebe lo enunciado en el Ejemplo 4.2.5.
69
CAPÍTULO 4. CONVERGENCIA
70
4.3. SÚPER SUCESIONES
Ejercicio 4.21. Use el Ejercicio 4.20 para probar que en Rcof todo ultrafiltro converge.
Ejercicio 4.22. Pruebe que si un ultrafiltro contiene un conjunto finito es principal.
Ejercicio 4.23. Pruebe lo enunciado en los ejemplos 4.3.1 y 4.3.2.
Ejercicio 4.24. Sean F un filtro en X y τ = F ∪ {∅}, una topología filtrosa en X
¿Cómo es la convergencia de los filtros en (X, τ )?
Ejercicio 4.25. Considere A = Rcoe \ {x}, siendo x ∈ Rcoe .
i) Pruebe que A = R.
ii) Use el Ejercicio 4.7 para probar que no existe una sucesión de puntos A que
converja a x.
Ejercicio 4.26. Pruebe que B(xn )n∈N es una base de filtro, y además que B(xn )n∈N → x
si y solo si xn → x.
Ejercicio 4.27. Sea F = {A ⊆ R : 0, 1 ∈ A}. Pruebe que F es un filtro en Ru , que 0
y 1 son puntos de acumulación de F, pero que F no converge a ninguno de ellos.
Ejercicio 4.28. Demuestre que un ultrafiltro no principal, no puede ser generado por
una base numerable.
Ejercicio 4.29. Demuestre lo enunciado en el Ejemplo 4.2.4, ¿qué se puede decir
de R← ?
Ejercicio 4.30. Considere la topología de la convergencia puntual en Y X (ver Ejer
cicio 1.27). Sea (fn ) una sucesión en Y X y f ∈ Y X . Demuestre que fn converge a f
si y solo si fn (x) converge a f (x) para todo x ∈ X.
Ejercicio 4.31. Sean X un espacio, x ∈ X y Bx una base local en x.
a) Pruebe que un filtro F converge a x si y solo si Bx ⊆ F.
b) Pruebe que una súper sucesión (xi )i∈I de X converge a x si y solo si dado
B ∈ Bx existe σ0 ∈ I tal que xi ∈ B para todo i ≥ σ0 . Es decir, para estudiar la
convergencia basta considerar las vecindades básicas.
Ejercicio 4.32. Pruebe que un espacio indiscreto toda súper sucesión converge a
cualquier punto del espacio.
Q 4.33. Sean {Xi }i∈I una familia de espacios y x un punto del producto
Ejercicio
X = i∈I Xi . Pruebe que una sucesión (xn )n∈N , converge a x en X si y solo si
pk (xn ) → pk (x), para cada k ∈ I. Esto prueba que la conveniencia en el producto
se da componente a componente. Enuncie y demuestre un resultado análogo para
súper sucesiones.
Ejercicio 4.34. Pruebe que si F → x en un espacio X, entonces x es un punto de
acumulación de F. ¿Es cierto el recíproco? Sustente (ver Ejercicio 4.27).
71
CAPÍTULO 4. CONVERGENCIA
Ejercicio 4.40. Sea (xn )n∈N una sucesión en un conjunto X. Si (kn )n∈N es una su
cesión estrictamente creciente de números naturales, a (xkn )n∈N se le dice una sub
sucesión de (xn )n∈N . Pruebe que si X es un espacio topológico y xn → x en X,
entonces xkn → x en X.
Ejercicio 4.41. Pruebe que la sucesión ((−1)n )n∈N no converge en Ru , pero que sin
embargo ((−1)2n )n∈N y ((−1)2n+1 )n∈N son subsucesiones convergentes. Esto prueba
que el recíproco de lo enunciado en el Ejercicio 4.40 no se cumple.
Ejercicio 4.43. Enuncie un resultado análogo al del Ejercicio 4.42, para filtros y súper
sucesiones.
Ejercicio 4.44. Sea (xn )n∈N una sucesión decreciente (x1 > x2 > . . .) (respectiva
mente, creciente x1 < x2 < x3 . . .) en Ru . Pruebe que (xn )n∈N converge en Ru si y solo
si es acotada inferiormente (superiormente). Si este es el caso xn → ínf{x1 , x2 , . . .}
(respectivamente, xn → sup{x1 , x2 , . . .}).
Si |x| < 1, pruebe que (|x|n )n∈N es una sucesión decreciente en Ru con ínf igual a 0.
Deduzca que |x|n → 0.
Ejercicio 4.46. Sean (xn )n∈N una sucesión en un espacio X, x ∈ X y Bx una base
local en x. Pruebe que xn → x en X si y solo si para cada Vx ∈ Bx existe N ∈ N tal
que n ≥ N implica xn ∈ Vx .
72
4.3. SÚPER SUCESIONES
3
Los conceptos de filtro de Cauchy y espacio completo pueden ser estudiados en contextos más
generales que los espacios métricos, como lo son los espacios uniformes (ver [4]).
73
Capítulo 5
Axiomas de separación
En este capítulo estudiaremos los axiomas de separación, unos débiles que separan
puntos de puntos y otros fuertes que separan puntos de cerrados y cerrados de
cerrados. Dentro de los débiles, el más importantes es el axioma de separación
T2 , el cual hacía parte de la definición de topología que dio Hausdorff (de hecho
los espacios T2 son llamados además Hausdorff), sin embargo, dentro del proceso
evolutivo del concepto este axioma fue excluido de la definición.
En general veremos cómo es el comportamiento de los axiomas de separación al
tomar productos, subespacios y coproductos.
Sección 5.1
Espacios T0
Definición 5.1.1
Un espacio X se llama un espacio T0 , si dados x, y ∈ X, con x 6= y, o existe
Vx ∈ Vx tal que y ∈
/ Vx , o existe Vy ∈ Vy tal que x ∈
/ Vy .
Ejemplo 5.1.1
R con la topología de las colas derechas o izquierdas es un espacio T0 .
1
En el libro Topologie I.
74
5.1. ESPACIOS T0
Ejemplo 5.1.2
Sean X = {0, 1} y τ = {∅, {0}, X}. Se puede probar que (X, τ ) es T0 . Este
espacio es conocido como el espacio de Sierpinski, el cual notaremos por S.
Proposición 5.1.1
Ser T0 es una propiedad topológica.
Proposición 5.1.3
Un espacio X es T0 si y solo si para cada x, y ∈ X, con x 6= y, se tiene que
{x} 6= {y}.
75
CAPÍTULO 5. AXIOMAS DE SEPARACIÓN
Proposición 5.1.4
Un espacio X es T0 si y solo si para cada x, y ∈ X, con x 6= y, existe un función
continua f : X −→ S tal que f (x) 6= f (y).
Teorema 5.1.1
Sea X un espacio, entonces las siguientes condiciones son equivalentes:
i) X es T0 .
ii) Para cada par de puntos distintos x, y de X, existe un función continua
f : X −→ S tal que f (x) 6= f (y).
iii) Para cada par de puntos distintos x, y de X, tenemos que {x} 6= {y}.
iv) Para cada par de puntos distintos x, y de X, tenemos que Vx 6= Vy .
Proposición 5.1.5
Todo subespacio de un espacio T0 es T0 .
76
5.2. ESPACIOS T1
Teorema 5.1.2
Q
Sea {Xi }i∈I una familia de espacios. Entonces X = i∈I Xi es T0 si y solo si
cada Xi es T0 .
Sección 5.2
Espacios T1
Definición 5.2.1
Un espacio X se llama un espacio T1 , si dados x, y ∈ X, con x 6= y, existen
vecindades Vx y Vy , de x e y, respectivamente, tales que x ∈
/ Vy y y ∈
/ Vx .
x y
Vx
Vy
77
CAPÍTULO 5. AXIOMAS DE SEPARACIÓN
Ejemplo 5.2.1
Ejemplo 5.2.2
Los espacios cofinitos son los espacios T1 más importantes, como lo veremos en el
Corolario 5.2.1 y la Proposición 5.2.3.
Ejemplo 5.2.3
Ejemplo 5.2.4
Ejemplo 5.2.5
Xcoe es T1 , para cada conjunto no vacío X.
Ejemplo 5.2.6
Proposición 5.2.1
X es un espacio T1 si y solo si cada singulete de X es cerrado en X.
78
5.2. ESPACIOS T1
Como cada conjunto finito es unión finita de singuletes y la unión de una cantidad
finita de conjuntos cerrados es un conjunto cerrado (Ejercicio 1.4), la Proposición
5.2.1 nos da el siguiente corolario.
Corolario 5.2.1
X es un espacio T1 si y solo si cada subconjunto finito de X es cerrado en X.
Proposición 5.2.2
Proposición 5.2.3
Sea X un espacio. Entonces X es T1 si y solo si para cada par de puntos
distintos x, y ∈ X, podemos hallar una función continua f : X −→ Ycof , para
algún conjunto Y, tal que f (x) 6= f (y).
Proposición 5.2.4
T
Sea X un espacio, entonces X es T1 si y solo si {x} = Vx ∈Vx Vx para cada
x ∈ X.
Demostración.
T Supongamos que X es T T1 , tomemos x ∈ X arbitrario y veamos que
{x} = Vx ∈Vx Vx . Obviamente {x} ⊆ Vx ∈Vx Vx , falta ver la otra contenencia. En
efecto, sea y ∈ X tal que y 6= x, como X es T1 , existe Vx ∈ Vx tal que y ∈
/ Vx , luego
79
CAPÍTULO 5. AXIOMAS DE SEPARACIÓN
T T
y ∈
/ Vx ∈Vx Vx , esto prueba que Vx ∈Vx Vx ⊆ {x}. ProbemosTahora el recíproco,
sean x,Ty puntos distintos de X,Tluego por nuestro supuesto Vx ∈Vx Vx = {x} 6=
{y} = Vy ∈Vy Vy , por tanto y ∈
/ Vx ∈Vx Vx , es decir, existe Vx ∈ Vx tal que y ∈
/ Vx .
Análogamente existe Vy ∈ Vy tal que x ∈/ Vy , esto prueba que X es T1 .
Teorema 5.2.1
Sea X un espacio topológico.Entonces las siguientes condiciones son equiva
lentes:
i) X es T1 .
ii) {x}
T es cerrado en X para cada x ∈ X.
iii) Vx ∈Vx Vx = {x} para cada x ∈ X.
iv) Para cada par de puntos distintos x, y ∈ X, existe una función continua
f : X −→ Ycof tal que f (x) 6= f (y), para cierto conjunto Y .
v) La topología de X contiene la topología de los cofinitos.
vi) Cada subconjunto finito de X es cerrado en X.
Proposición 5.2.5
Todo subespacio de un espacio T1 es T1 .
Hemos visto que los espacios T0 se pueden caracterizar vía espacio de Sierpinski
(Proposición 5.1.4), mientras que los espacios T1 son caracterizados vía espacios
cofinitos (Proposición 5.2.3), por tanto una prueba similar a la del Teorema 5.1.2
nos lleva al siguiente resultado, teniendo en cuenta que ser T1 es una propiedad
topológica (ver Ejercicio 5.23).
Teorema 5.2.2
Q
Sea {Xi }i∈I una familia de espacios. Entonces X = i∈I Xi es T1 si y solo si
cada Xi es T1 .
80
5.3. ESPACIOS T2
Sección 5.3
Espacios T2
x y
Vx Vy
De la definición se tiene claramente que ser T2 implica ser T1 . Al igual que hicimos
con los espacios T0 y T1 , tendremos varias caracterizaciones para espacios T2 .
Ejemplo 5.3.1
Rcof y Rcoe son T1 pero no son T2 .
Ejemplo 5.3.2
2
Hausdorff era alemán, por eso los axiomas de separación son notados con la letra T , que proviene
de la palabra en alemán trennung, que traduce “separación”
3
En su libro GrundzAuge der Mengenlehre.
81
CAPÍTULO 5. AXIOMAS DE SEPARACIÓN
Proposición 5.3.1
T
Sea X un espacio, entonces X es T2 si y solo si Vx ∈Vx Vx = {x}.
T
Demostración. Sean X un espacio T2 y x ∈ X, veamos que Vx ∈Vx Vx = {x}. En
T T
efecto, dado que x ∈ Vx ∈Vx Vx , tenemos que {x} ⊆ Vx ∈Vx Vx . Para ver la otra
T
contenencia, supongamos que y ∈ Vx ∈Vx Vx , pero que y ∈ / {x}, es decir, y 6= x, por
ser X un espacio T2 , existen Vx ∈ Vx Ty Vy ∈ Vy tales que Vx ∩ Vy = ∅, el Teorema
2.1.1 nos dice que y ∈/ Vx , luego y ∈
/ Vx ∈Vx Vx , contradiciendo lo supuesto, luego
T T
debe ser Vx ∈Vx Vx = {x}. Recíprocamente, supongamos que Vx ∈Vx Vx = {x} se
cumple para cada x ∈ X y veamosT que X es T2 , para ellos sean x, y puntos distintos
de X, por nuestra hipótesis, y ∈ / Vx ∈Vx Vx , luego existe Vx ∈ Vx tal que y ∈ / Vx .
Usando el Teorema 2.1.1, existe Vy ∈ Vy tal que Vx ∩ Vy = ∅, es decir, X es T2 .
Definición 5.3.2
Sea X un conjunto, definimos la diagonal de X, notada por 4X, como 4X =
{(x, x) : x ∈ X}.
Proposición 5.3.2
Sea X un espacio. Entonces X es T2 si y solo si 4X es cerrado en el producto
X × X.
82
5.3. ESPACIOS T2
Definición 5.3.3
Un espacio X se llama de convergencia única, si cada sucesión en X converge
a lo más a un punto de X.
Proposición 5.3.3
Si X es un espacio T2 , entonces es de convergencia única.
Ejemplo 5.3.3
Proposición 5.3.4
Si X es un espacio primero contable y es de convergencia única, entonces es
T2 .
83
CAPÍTULO 5. AXIOMAS DE SEPARACIÓN
84
5.4. ESPACIOS T3 Y REGULARES
Proposición 5.3.7
Todo subespacio de un espacio T2 es T2 .
Teorema 5.3.2
Q
Sea {Xi }i∈I una familia de espacios. Entonces X = i∈I Xi es T2 si y solo si
cada Xi es T2 .
Sección 5.4
Espacios T3 y regulares
Hasta el momento solo hemos considerado axiomas de separación entre puntos, los
axiomas que estudiaremos en esta sección consideran propiedades de separación
entre puntos y cerrados. Los espacios regulares fueron introducidos por L. Vietoris
en 1921.
Definición 5.4.1
Un espacio X se llama T3 si dado un punto x de X y un cerrado A en X, tal
que x ∈
/ A, existen Vx y VA en Vx y VA , respectivamente, tales que Vx ∩ VA = ∅.
85
CAPÍTULO 5. AXIOMAS DE SEPARACIÓN
x
B
Vx
U
Ejemplo 5.4.1
Ejemplo 5.4.2
La siguiente proposición nos indica que un espacio es T3 si y solo si cada punto tiene
una base local formada por vecindades cerradas.
Proposición 5.4.1
Un espacio X es T3 si y solo si dado U abierto en X y x ∈ U, existe V ∈ Vx ,
tal que V ⊆ U.
86
5.4. ESPACIOS T3 Y REGULARES
Ejemplo 5.4.3
Proposición 5.4.2
T
Un espacios es T3 si y solo si A = VA ∈VA VA , para cada A ⊆ X, no vacío.
Según el Ejemplo 5.4.2, es posible que existan espacios T3 que no son T1 , es decir,
que los singuletes no son cerrados (Teorema 5.2.1), por tanto aunque es posible
separar cerrados de puntos, no es posible separar puntos. Proponemos ahora un
nuevo axioma de separación que además de ser T3 , sí nos permite separar puntos.
Definición 5.4.2
A un espacio T3 y T1 se le llama espacio regular o espacio Tr .
Ejemplo 5.4.4
Ru es un espacio regular, dado que es T1 y T3 . En general cada espacio métrico
es regular.
Dado que T1 implica T0 , los ejercicios 5.19 y 5.20 nos garantizan que un espacio es
regular si y solo si es T3 y T0 . Como en un espacio regular cada singulete es cerrado,
tenemos que Tr implica T2 . El recíproco no siempre se cumple, como lo muestra el
siguiente ejemplo.
87
CAPÍTULO 5. AXIOMAS DE SEPARACIÓN
Ejemplo 5.4.5
Demostración. Basta aplicar el Ejercicio 1.26, los detalles son dejados al lector.
Corolario 5.4.1
Cada subespacio de un espacio regular es regular.
Teorema 5.4.1
Q
Sea {Xi }i∈I una familia de espacios, entonces el producto X = i∈I Xi es T3
si y solo si Xk es T3 para cada k ∈ I.
88
5.5. LA SEMIRREGULARIZACIÓN DE UN ESPACIO TOPOLÓGICO
Del Teorema 3.1.2, el Ejemplo 5.4.3 y el Teorema 5.4.1, podemos ver que Rnu es T3
para cada n ∈ N.
Siguiendo el Teorema 5.2.2 y la Proposición 5.4.1 tenemos el siguiente corolario.
Corolario 5.4.2
Q
El producto i∈I Xi es Tr si y solo si Xk es Tr para cada k ∈ I.
Sección 5.5
Definición 5.5.1
Sea (X, τ ) un espacio topológico. U ⊆ X se llama abierto regular en X, si
Intτ (clτ (U )) = U .
Proposición 5.5.1
Lema 5.5.1
Los abiertos regulares en (X, τ ), constituyen una base para una topología en
X.
Definición 5.5.2
La topología en X generada por los abiertos regulares en (X, τ ), es notada por
τsr y al espacio (X, τsr ) se le llama semirregularización de (X, τ ) y es notada
por Xsr . Decimos que (X, τ ) es un espacio semirregular si τ = τsr .
89
CAPÍTULO 5. AXIOMAS DE SEPARACIÓN
Definición 5.5.3
Un espacio topológico X se llama un espacio casi regular, si dados un abierto
regular U en X, y x ∈ U , existe un abierto W en X, tal que x ∈ W ⊆ W ⊆ U .
Teorema 5.5.1
Sea (X, τ ) un espacio topológico. Entonces Xsr es T3 si y solo si X es casi
regular.
Proposición 5.5.2
Si X es T2 , entonces Xsr es T2 .
Corolario 5.5.1
Sea X un espacio casi regular. Entonces Xsr es regular si y solo si X es T2 .
Teorema 5.5.2
Sean X un espacio y f : X −→ Y una función continua, siendo Y un espacio
T3 . Entonces f : Xsr −→ Y, sigue siendo continua.
90
5.6. ESPACIOS T3,5 Y TYCHONOFF
Sección 5.6
Definición 5.6.1
Un espacio X se llama T3,5 o funcionalmente T3 , si dados B cerrado en X y
x ∈ X, tal que x ∈
/ B, existe f : X −→ I continua tal que f (B) ⊆ {0} y f (x) = 1.
Un espacio se llama Tychonoff, Tt o completamente regular, si es T3,5 y T1 .
Los valores de 1 y 0 en la definición anterior pueden ser invertidos sin que topológi
camente se afecte la definición.
Ejemplo 5.6.1
I es T3,5 . Este resultado será generalizado para espacios métricos.
Proposición 5.6.1
Todo espacio T3,5 es T3 .
Ejemplo 5.6.2
91
CAPÍTULO 5. AXIOMAS DE SEPARACIÓN
Lema 5.6.1
Sean B es cerrado en I y f : X −→ I continua. Si x ∈ / f −1 (B), existe una
−1
función continua g : T (X) −→ I, tal que g(x) = 0 y g(f (B)) ⊆ {1}.
Proposición 5.6.2
T (X) es T3,5 .
Proposición 5.6.3
92
5.6. ESPACIOS T3,5 Y TYCHONOFF
Proposición 5.6.4
Todo subespacio de un espacio T3,5 es T3,5 .
Corolario 5.6.1
Todo subespacio de un espacio Tt es Tt .
Teorema 5.6.1
Q
Un producto de espacios X = i∈I Xi es T3,5 si y solo si cada Xi , con i ∈ I es
T3,5 .
Corolario 5.6.2
Q
Un producto de espacios X = i∈I Xi es Tt si y solo si cada Xi con i ∈ I es
Tt .
93
CAPÍTULO 5. AXIOMAS DE SEPARACIÓN
Sección 5.7
Espacios T4 y normales
A
V
B
U
Ejemplo 5.7.2
Ejemplo 5.7.3
R[ es un espacio T4 .
94
5.7. ESPACIOS T4 Y NORMALES
Ejemplo 5.7.4
La siguiente proposición es análoga a la Proposición 5.4.1 que fue dada para espa
cios T3 .
Proposición 5.7.1
Sea X un espacio, entonces X es T4 si y solo si para cada cerrado F y cada
abierto U ∈ VF , existe V abierto en X tal que
F ⊆ V ⊆ V ⊆ U.
Proposición 5.7.2
Sean X un espacio y A, B ⊆ X. Si existe una función continua f : X −→ I, tal
que f (A) ⊆ {1} y f (B) ⊆ {0}, entonces existen abiertos disyuntos VA ∈ VA y
VB ∈ VB .
Corolario 5.7.1
Sea X un espacios tal que para cada par de cerrados disyuntos A y B, existe
una función continua f : X −→ I tal que f (A) ⊆ {0} y f (B) ⊆ {1}. Entonces
X es T4 .
95
CAPÍTULO 5. AXIOMAS DE SEPARACIÓN
Lema 5.7.1
Sean (X, d) un espacio métrico y A ⊆ X, no vacío. La función f : X −→ Ru ,
dada por f (x) = d(x, A), es continua (ver Ejercicio 1.46).
Tomando ínf sobre todos los a ∈ A, tenemos que f (x) ≤ f (y) + d(x, y), o equiva
lentemente f (x) − f (y) ≤ d(x, y). Intercambiado x con y en la última desigualdad y
multiplicando por −1, tenemos que −d(x, y) ≤ f (x) − f (y) ≤ d(x, y) y esto equivale
a decir que |f (x) − f (y)| ≤ d(x, y). Por tanto dado ϵ > 0, tomamos δ = ϵ, tal que
d(x, y) < δ implica |f (x) − f (y)| < ϵ. Luego f es continua.
Probaremos ahora que cada espacio métrico es T4 y como por el Ejemplo 5.3.2,
cada espacio métrico es T2 y por ende T1 , tendríamos que cada espacio métrico es
normal.
Corolario 5.7.2
Todo espacio métrico es normal.
Demostración. Basta probar que cada espacio métrico es T4 . Sean (X, d) un espa
cio métrico y A, B cerrados disyuntos en X. Sea g : X −→ I definida por g(x) =
d(x,A)
d(x,A)+d(x,B)
. El Lema 5.7.1 nos dice que g es continua y además g(A) ⊆ {0} y
g(B) ⊆ {1} (ver Ejercicio 2.34). Del Corolario 5.7.1 tenemos que X es T4 .
Teorema 5.7.1
Sea X un espacio, entonces X es T4 si y solo si dados dos cerrados disyuntos
A y B en X, podemos hallar una función continua f : X −→ I, tal que f (A) ⊆
{0} y f (B) ⊆ {1}.
4
Establecido por Urysohn en 1925.
96
5.7. ESPACIOS T4 Y NORMALES
ínf{r ∈ A : x ∈ Ur } si x ∈ X \ B,
f (x) =
1 si x ∈ B.
Como A ⊆ U0 , luego f (A) ⊆ {0} y de la definición se tiene que f (B) ⊆ {1}, para
finalizar la prueba falta ver que f es continua. Los abiertos de la forma [0, a) y (b, 1],
donde a, b ∈ (0, 1), constituyen una subbase para la topología de [a, b] (¿por qué?),
luego por la Proposición 1.3.3, para ver que f es continua, basta probar que f −1 [0, a)
y que f −1 (b, 1], son abiertos para cada a, b ∈ (0, 1). En efecto, x ∈ f −1 ([0, a)) si y solo
si f (x) < a, luego ínf{r ∈ A : x S ∈ Ur } < a y esto ocurre si y solo si x ∈ Ur para
algún r < a, luego f −1 [0, a) = r∈A,r<a Ur , por tanto f −1 [0, a) es abierto. Ahora,
x ∈ f −1 ((b, 1]) si y solo si f (x) > b. Si f (x) = 1, entonces x ∈ B, es decir, x ∈ /
X \ B ⊆ X \ U 1 . Si f x) < 1 veremos que existe r ∈ A, con r > b, tal que x ∈ / Ur . Para
llegar a una contradicción supongamos que para cada r ∈ A, con r > b, tenemos
que x ∈ Ur . Como f (x) > b, la densidad de los racionales, me indica que existe una
sucesión de racionales (tn )n∈N en (b, f (x)), que converge a b. Por nuestro supuesto
97
CAPÍTULO 5. AXIOMAS DE SEPARACIÓN
Por el Ejemplo 1.7.1, el intervalo I es homeomorfo a cualquier intervalo [a, b], pode
mos entonces poner [a, b] en lugar de I en el Teorema 5.7.1 y enunciarlo como en el
siguiente corolario.
Corolario 5.7.3
Sea X un espacio, entonces X es T4 si y solo si dados dos cerrados disyuntos
A y B en X, podemos hallar una función continua f : X −→ [a, b], tal que
f (A) ⊆ {a} y f (B) ⊆ {b}.
Del Lema de Urysohn podemos deducir que cada espacio normal es Tychonoff y
por tanto satisface todos los axiomas de separación aquí estudiados. En particular
el Corolario 5.7.2 garantiza que todo espacio métrico satisface desde el axioma T0
hasta el axioma Tn .
Proposición 5.7.3
Q
Si un producto X = i∈ Xi es T4 , entonces cada Xi es T4 .
Demostración.
Q Fijemos k ∈ I Q y sean A y B cerrados disyuntos en Xk . Entonces
A = A× i∈I,i̸=k Xi y B = B × i∈I,i̸=k Xi son cerrados disyuntos en X (ver Ejercicio
3.16). Por el Lema de Urysohn podemos hallar una función continua f : X −→ I, tal
que f (A) ⊆ {0} y f (B) ⊆ {1}. Para cada i ∈ I, i 6= k, sea xi ∈ Xi . Para cada t ∈ Xk ,
definamos g(t) ∈ X, tal que pi (g(t)) = xi si i 6= k y pk (g(t)) = t, luego g es continua.
Note que f ◦ g(A) ⊆ {0} y que f ◦ g(B) ⊆ {1}, por Proposición 5.7.2 tenemos que
Xk es T4 .
98
5.7. ESPACIOS T4 Y NORMALES
(0, 1)J , como RJu no es T4 luego (0, 1)J tampoco lo es, ya que ser T4 es una propie
dad topológica. En la Sección 6.2 probaremos que X = [0, 1]J sí es T4 , por tanto
A = (0, 1)J sería un subespacio de un espacio T4 que no es T4 . Tendríamos así que
el producto de espacios T4 no siempre es T4 y que un subespacio de un espacio
T4 no siempre es T4 . Pero algunos subespacios de espacios T4 sí son T4 , como lo
muestra la siguiente proposición.
Proposición 5.7.4
Todo subespacio cerrado de un espacio T4 es T4 .
Definición 5.7.2
Sean A ⊆ X y f : A −→ Y una función. F : X −→ Y se llama una extensión
de f si F |A = f , es decir, si f (a) = F (a) para cada a ∈ A.
Demostración. Por el Ejemplo 1.7.1, el intervalo [a, b] es homeomorfo a [−1, 1], luego
no hay ningún problema si reemplazamos [a, b] por [−1, 1]. Sea A cerrado en X, no
vacío, siendo X un espacio T4 y f : A −→ [−1, 1] una función continua. Por ser f
continua, entonces los conjuntos A1 = f −1 ([−1, − 31 ]) y A2 = f −1 ([ 13 , 1]) son disyuntos
cerrados en A y como A es cerrado en X, también son cerrados en X. Por el Coro
lario 5.7.3, existe una función continua, f : X −→ [− −1 , 1 ] tal que f (A1 ) ⊆ {− 13 }
3 3
y f (B1 ) ⊆ { 13 }. Note que A = A1 ∪ B1 ∪ (A \ (A1 ∪ B1 ), por tanto si x ∈ A1 ,
−1 − (− 13 ) ≤ f (x) − f1 (x) ≤ − 13 − (− 13 ) es decir, (f − f1 )(x) ∈ [− 32 , 0]. Si x ∈ B1 ,
entonces 13 − 13 ≤ f (x) − f1 (x) ≤ 1 − 13 , es decir, (f − f1 )(x) ∈ [0, 23 ]. Finalmen
te, si x ∈ A \ (A1 ∪ B2 ), tenemos que − 13 < f (x) < 13 y − 31 ≤ f (x) ≤ 13 , así
que 0 ≤ (f − f1 )(x) ≤ 23 . Hemos probado que (f − f1 )(A) ⊆ [− 23 , 23 ], es decir,
99
CAPÍTULO 5. AXIOMAS DE SEPARACIÓN
por tanto, la propiedad ii) implica que |f (x) − Fn (x)| < ϵ si n ≥ N , por tanto
Fn (x) → f (x) para cada x ∈ A. Note que (Fn (x))n∈N es una sucesión creciente,
P P P 1−( 23 )n
además Fn (x) = ni=1 fn (x) ≤ ni=1 ≤ 13 ni=1 ( 23 )i−1 = 1−x 1
< 1−x , luego Fn (x) es
acotada superiormente, por tanto el Ejercicio P∞ 4.44 garantiza que (Fn (x))n∈N conver
ge para todo x ∈ X. Si hacemos F (x) = i=1 fi (x), como para cada x ∈ A tenemos
que Fn (x) → f (x), luego, la unicidad en la convergencia de sucesiones implica que
F (x) = f (x) para cada x ∈ A, es decir, F es una extensión de f . Falta probar que
Pes
F continuaPy∞que además su imagen está contenida en [−1, 1]. Como la sucesión
Pi=1
n
( 3 ) →P i=1 ( 3 ) , dado ϵ > 0, podemos
2 i 2 i
P∞ hallar k ∈ N tal que n > k implica que
∞ 2 i
i=1 ( 3 ) −
n 2 i ϵ
i=1 ( 3 ) < 2 es decir,
P∞ i=n+1
2 i
( 3 ) < 2ϵ como k + 1 > k, en particular
para n = k + 1, tenemos que i=k+1 ( 3 ) < 2ϵ . Sea x ∈ X, como f1 , f2 , . . . , fk son
2 i
100
5.7. ESPACIOS T4 Y NORMALES
X
∞
|F (x) − F (y)| = | (fi (x) − fi (y))|
i=1
X
∞
≤ |fi (x) − fi (y)|
i=1
X
k X
∞
= |fi (x) − fi (y)| + |fi (x) − fi (y)|
i=1 i=k+1
ϵ X
∞
2
<k + ( )i
2k i=k+1 3
ϵ ϵ
< +
2 2
= ϵ,
es decir, F es continua en cada x ∈ X. Para ver que F toma valores en [−1, 1], note
que para cada x ∈ X
X
∞ X
∞
1 X 2 i−1
∞
|F (x)| = | fi (x)| ≤ |fi (x)| ≤ ( ) = 1.
i=1 i=1
3 i=1 3
TO t C / T3,5 / T3
CC | >
CC |||
CC ||
C! ||
Tn Tr / T2 / T1 / T0
T4 .
Ejercicios
101
CAPÍTULO 5. AXIOMAS DE SEPARACIÓN
102
5.7. ESPACIOS T4 Y NORMALES
es no vacío. Use
W la Proposición 3.1.5, el Teorema 5.4.1 y la Proposición 5.4.3 para
probar que (X, ρ∈A ρ) es T3 . Deduzca que existe la topología más grande contenida
en τ que hace a X un espacio T3
Ejercicio 5.29. Complete la prueba de la Proposición 5.4.3.
Ejercicio 5.30. Sean X un espacio y B una base para X. Pruebe que X es T3 si y
solo si dado U ∈ B y x ∈ U , existe V ∈ Vx , tal que V ⊆ U .
Ejercicio 5.31. Sea f : X −→ Y una función continua. Pruebe que si Y es T3 , (X, τ f )
es T3 .
103
CAPÍTULO 5. AXIOMAS DE SEPARACIÓN
Ejercicio 5.32. Pruebe que Rn dotado de la topología de Zarisky (ver Ejercicio 1.55)
es T1 pero no es T2 .
Ejercicio 5.33. Sean X un espacio y R una relación de equivalencia en X. Sean X/R
el respectivo espacio cociente y π : X −→ X/R la respectiva aplicación cociente.
Pruebe que si X/R es T2 , entonces R es cerrada en X × X. Pruebe que el recíproco
se cumple si π es abierta.
Ejercicio 5.34. Sean X un espacio y R una relación de equivalencia en X, Sean X/R
el respectivo espacio cociente y π : X −→ X/R la respectiva aplicación cociente.
Pruebe que X/R es T1 si y solo si cada clase de equivalencia en X es cerrada en
X.
Ejercicio 5.35. Sea f : X −→ Y una función continua, donde X es dotado de la
topología punto excluido τp (o punto incluido) y Y es un espacio T1 . Pruebe que
f (x) = f (p), para cada x ∈ X.
Ejercicio 5.36. Sean {fi : X −→ Xi }i∈I una familia de funciones, donde {Xi }i∈I es
una familia de espacios topológicos. Pruebe que (X, τ {fi }i∈I ) es T2 si y solo si cada
Xi , con k ∈ I, es T2 y la familia de funciones {fi }i∈I separa puntos; es decir, dados
x, y ∈ X, con x 6= y, existe k ∈ I, tal que fk (x) 6= fk (y).
Ejercicio 5.37. Pruebe que un espacio X es Tt si es T3,5 y la familia {f : X −→ I :
f es continua} separa puntos (ver Ejercicio 5.36).
Ejercicio 5.38. Sean X un espacio Hausdorff y f : X −→ X una función continua.
f f
Sea EX el conjunto de todos los puntos fijos de f . Pruebe que EX es cerrado en
X (sugerencia: Considere la función g : X −→ X × X definida por g(x) = (f (x), x).
Note que g es continua y que g −1 (∆X) = EX f
).
Ejercicio 5.39. Sea f : Dom(f ) ⊆ X −→ Y una función, siendo X e Y espacios.
Supongamos que x0 ∈ (Dom(f ))a . Pruebe que si Y es T2 , entonces el límite de f
cuando x tiende a x0 es único (ver Ejercicio 2.40).
104
Capítulo 6
Compacidad
En cualquier curso de cálculo siempre son estudiados los dos siguientes resultados
clásicos:
Teorema de la continuidad uniforme: Si f : [a, b] −→ Ru es una función continua, en
tonces dado ϵ > 0 existe δ > 0 tal que |x − y| < δ implica que |f (x) − f (y)| < ϵ. Y
el Teorema del valor máximo (Ejercicio 6.45). Estos resultados están muy ligados a
una propiedad topológica que tienen los intervalos cerrados: la compacidad. En este
capítulo presentamos esta propiedad para espacios más generales.
El hecho de que un espacio sea compacto, de manera intuitiva nos dice que no
es un espacio “muy grande”, ya que los cubrimientos abiertos pueden ser reducidos
a cubrimientos “muy pequeños”. Aquí lo de grande tiene poco que ver con la cardina
lidad, a pesar de que los conjuntos finitos son siempre compactos. Lo que queremos
significar es que en un espacio compacto sus puntos están tan “unidos” que si es
cubierto por una cantidad cualquiera de abiertos, es posible prescindir de casi todos,
de modo que exista una cantidad finita de ellos que lo pueda seguir cubriendo.
El concepto de compacidad inicia con el Teorema de Borel en el año 1894, el cual pro
bó que cada cubrimiento abierto contable de un intervalo cerrado admite un subcubri
miento finito (lo que conocemos hoy como contablemente compacto). Este resultado
fue generalizado por Lebesgue, quien probó que esto se cumple para cualquier cu
brimiento abierto. El concepto de espacio topológico compacto fue introducido por
Vietoris en 1921 pero fueron Kuratowsky y Sierpinsky quienes probaron la equiva
lencia de algunas propiedades topológicas con la noción de BorelLebesgue ([6]).
El concepto de compacidad entendido como aquellos que satisfacen el Teorema de
Borel, se extendió a espacios métricos y luego a espacios más generales, dándose
cuenta que algunas propiedades eran equivalentes en espacios métricos. El proble
ma de tomar la compacidad en el sentido de Borel, es que esta propiedad no se
porta bien al hacer algunas operaciones con espacios topológicos, por ejemplo to
mar productos de Tychonoff, lo que no sucede con el concepto de compacidad que
se ha optado en la literatura más reciente y daremos en este capítulo.
105
CAPÍTULO 6. COMPACIDAD
Sección 6.1
Definición 6.1.1
Sean X un espacio topológico y A ⊆ X. Un cubrimiento S de A en X, es una
familia {Ui }i∈I de subconjuntos de X, tal que A ⊆ i∈I Ui . Si además Ui es
abierto en X para cada i ∈ I, decimos que {Ui }i∈I es un cubrimiento abierto
de A en X, o simplemente cubrimiento abierto de A, cuando no haya peligro
de confusión. Si en adición I es numerable, decimos
S que {Ui }i∈I es un cubri
miento abierto numerable. Si J ⊆ I y A ⊆ i∈J Ui , decimos que {Ui }i∈J es
un subcubrimiento de {Ui }i∈I . Si J es finito (numerable) a {Ui }i∈J le llamamos
subcubrimiento finito (numerable).
A se llama compacto en X si cada cubrimiento abierto de A en X tiene un
subcubrimiento finito. Diremos X es compacto en lugar de X es compacto en
X.
Proposición 6.1.1
Ejemplo 6.1.1
106
6.1. CARACTERIZACIONES DE LA COMPACIDAD Y PROPIEDADES
Ejemplo 6.1.2
Ejemplo 6.1.3
Ejemplo 6.1.4
En un espacio con la topología punto incluido los únicos subconjuntos com
pactos son los finitos.
Ejemplo 6.1.5
Ejemplo 6.1.6
Proposición 6.1.2
Si A es cerrado en un espacio X y X es compacto, entonces A es compacto.
Demostración.
S Sea {Ui }i∈I un cubrimiento abierto de A. Luego X = A ∪ (X \ A) ⊆
( i∈I Ui ) ∪ (X \ A). Como X \ A es abierto tenemos que {Ui }i∈I ∪ (X \ A) es un
cubrimiento abierto para X, como X es compacto, existe un subcubrimiento finito
digamos X ⊆ Ui1 ∪ Ui2 ∪ . . . ∪ Uik ∪ (X \ A) (podemos agregar a X \ A sin perder
generalidad), donde ij ∈ I para cada i = 1, 2, . . . , k. Luego A ⊆ Ui1 ∪ Ui2 ∪ . . . ∪ Uik ,
por tanto A es compacto.
107
CAPÍTULO 6. COMPACIDAD
Ejemplo 6.1.7
Proposición 6.1.3
Los siguientes corolarios nos indican que en los espacios compactos el axioma de
separación T2 implica todos los demás axiomas de separación.
Corolario 6.1.1
Cada espacio compacto y T2 es regular.
Corolario 6.1.2
Todo espacio compacto y T2 es normal.
108
6.1. CARACTERIZACIONES DE LA COMPACIDAD Y PROPIEDADES
Sn Tn
existen a1 , a2 , . . . , an ∈ A , tales que A ⊆
S i=1 Vai . Tome VB = i=1 VBai y VA =
i=1 Vai . Se puede ver que VB ∩ VA = ∅.
n
Proposición 6.1.4
Sea f : X −→ Y una función continua. Entonces si A es compacto en X,
tenemos que f (A) es compacto en Y.
Demostración. Sea {Ui }i∈I un cubrimiento abierto de f (A) en Y . Como S {f −1 (Ui )}i∈I
es un cubrimiento abierto de A en X, existen i1 , . . . , ik ∈ I, tales que A ⊆ kj=1 f −1 (Uij ).
S S
Por tanto f (A) ⊆ kj=1 f (f −1 (Uij )) ⊆ kj=1 Uij . Es decir, f (A) es compacto en Y.
Corolario 6.1.3
Sea f : X −→ Y una biyección continua. Si X es compacto y Y es T2 entonces
f es un homeomorfismo.
Proposición 6.1.5
Un espacio X es compacto si y solo si cualquier familia de subconjuntos cerra
dos de X con la propiedad de la intersección finita tiene intersección no vacía.
109
CAPÍTULO 6. COMPACIDAD
T S
a una contradicción supongamos que i∈I Ai = ∅. Luego X = i∈I X \ Ai . Como
X \ Ai es abierto
S para cada i ∈ I y XTes compacto, podemos hallar J ⊆ I, finito,
tal que X = i∈J X \ Ai . De aquí que i∈J Ai = ∅, contradiciendo el hecho de que
F tiene la propiedad de la intersección finita. Para el recíproco supongamos que X
no es compacto, luego existe un cubrimiento abierto, digamos {Ui }i∈I que no S admite
un subcubrimiento
T finito, por tanto, para cada J ⊆ I, finito, tenemos que i∈J Ui 6=
X, luego i∈J X \ Ai 6= ∅. Es decir, {X \ Ui }i∈I es una familia de cerrados
S con la
propiedad
T de la intersección finita, sin embargo, del hecho de X = U
i∈I i , vemos
que i∈I (X \ Ui ) = ∅, lo que es una contradicción, luego X debe ser compacto.
Proposición 6.1.6
Sea X un espacio, entonces, X es compacto si y solo si cada filtro en X tiene
un punto de acumulación en X.
Proposición 6.1.7
Sea X un espacio, entonces X es compacto si y solo si cada ultrafiltro en X
converge en X.
110
6.1. CARACTERIZACIONES DE LA COMPACIDAD Y PROPIEDADES
Definición 6.1.3
Sean X un espacio, (xα )i∈I una súper sucesión en X y x ∈ X. Decimos que x
es un punto de acumulación de (xα )α∈I , si dada Vx ∈ Vx y σ0 ∈ I, existe α ⩾ σ0
tal que xα ∈ Vx .
Ejemplo 6.1.8
Ahora daremos una condición necesaria y suficiente para que un espacio se com
pacto, en términos de las súper sucesiones.
Proposición 6.1.8
Sea X un espacio. Entonces X es compacto si y solo si cada supér sucesión
en X tiene un punto de acumulación.
Demostración. Supongamos que X es compacto y sea (xα )α∈I una súper sucesión
en X y F el filtro asociado a (xα )α∈I (ver Proposición 4.3.3). Por Proposición 6.1.7,
F tiene un punto de acumulación en X, digamos x. Sean Vx ∈ Vx y σ0 ∈ I, dado
que F = {xα : α ⩾ σ0 } ∈ F, tenemos que F ∩ Vx 6= ∅, así que existe α ⩾ σ0 tal que
xα ∈ Vx , esto prueba que x es un punto de acumulación de (xα )α∈I . Para el recíproco
usaremos la Proposición 6.1.6 y probaremos que cada filtro en X tiene un punto de
acumulación en X. En efecto, sean F un filtro en X y (xF )F ∈F una súper sucesión
asociada a F. Por hipótesis (xF )F ∈F tiene un punto de acumulación en X, digamos
x. Sea Vx y F ∈ F, por definición de punto de acumulación existe G ⩾ F , tal que
xG ∈ Vx , pero como G ⊆ F , entonces xG ∈ F ∩ Vx . Luego Vx ∩ F 6= ∅, así x es un
punto de acumulación de F.
111
CAPÍTULO 6. COMPACIDAD
Teorema 6.1.1
Sea X un espacio, entonces las siguientes afirmaciones son equivalentes:
i) X es compacto.
ii) Cada familia de cerrados en X con la propiedad de la intersección finita,
tiene intersección no vacía.
iii) Cada filtro en X tiene un punto de acumulación.
iv) Cada ultrafiltro en X converge.
v) Cada súper sucesión en X tiene un punto de acumulación.
Sección 6.2
Teorema de Tychonoff
Teorema 6.2.1
Q
Un producto de espacios, X = i∈I Xi , es compacto si y solo si cada Xi es
compacto.
Sección 6.3
Compacidad local
112
6.3. COMPACIDAD LOCAL
Definición 6.3.1
Un espacio X es localmente compacto si cada punto de X tiene una vecindad
compacta.
Ejemplo 6.3.1
Ejemplo 6.3.2
Ejemplo 6.3.3
Ejemplo 6.3.4
Teorema 6.3.1
Sea X un espacio de Hausdorff. Entonces X es localmente compacto si y solo
si para cada x ∈ X, se cumple que: Dada una vecindad abierta Ux de x, existe
una vecindad abierta Vx ∈ Vx , tal que Vx es compacta y Vx ⊆ Vx ⊆ Ux .
113
CAPÍTULO 6. COMPACIDAD
Proposición 6.3.1
Sea f : X −→ Y una función continua, abierta y sobreyectiva. Entonces si X
es localmente compacto, Y es localmente compacto.
Teorema 6.3.2
Q
Sea {Xi } una familia de espacios T2 . Entonces X = i∈I Xi es localmente
compacto si y solo si cada espacio Xi con i ∈ I, es localmente compacto y
salvo una cantidad finita, todos los Xi son compactos.
114
6.4. UNA CARACTERIZACIÓN DE LA COMPACIDAD EN RN
Q
compacta de x. Pero Ux = Vi1 × Vi2 × . . . × Vin × i∈I,i̸=i1 ,i2 ,...,in Xi , por el Teore
ma de Tychonoff, todos los Xi son compacto, salvo Xi1 , Xi2 , . . . , Xin , completando
la primera parte de la prueba. Para el recíproco, supongamos que todos los Xi son
compactos, salvo Xi1 , Xi2 , . . . , Xin , pero que todos los Xi son localmente compac
tos. Sea x = (xi )i∈I ∈ X. Como Xik es localmente compacto para k = 1, 2, .., n, sea
Vik una vecindad compacta de xik , k = 1, 2, . . . , n. Por el Teorema deQ Tychonoff y la
definición de topología producto tenemos que Vi1 × Vi2 × . . . × Vin × i∈I,i̸=i1 ,i2 ,...,in Xi
es una vecindad compacta en X de x, luego X es localmente compacto.
Sección 6.4
Proposición 6.4.1
115
CAPÍTULO 6. COMPACIDAD
Proposición 6.4.2
Cada subconjunto compacto en un espacio métrico es acotado.
Dado que todo espacio métrico es T2 (Corolario 5.7.2), entonces la Proposición 6.1.3
y la Proposición 6.4.2 nos llevan al siguiente Corolario.
Corolario 6.4.2
Cada subconjunto compacto en un espacio métrico es cerrado y acotado.
Demostración. Sea {Ui }i∈I un cubrimiento abierto para [a, b]. Consideremos el si
guiente conjunto
Existe i ∈ I tal que a ∈ Ui . Por la topología de Ru podemos encontrar r > 0 tal que
(a − r, a + r) ⊆ Ui . Tomemos x0 , tal que a < x0 < mín{a + r, b}. Entonces [a, x0 ] ⊆ Ui ,
luego x0 ∈ A y A 6= ∅. Como A es acotado superiormente por b, entonces A tiene sup,
digamos m = sup A. Observe que a < m ya que a < x0 y x0 ∈ A. Veamos que m = b.
2
Introducido en 1872 por el alemán H. Heine (18211881) y modificado en 1894 por el francés F.
Borel (18711956).
116
6.4. UNA CARACTERIZACIÓN DE LA COMPACIDAD EN RN
Claramente m ≤ b, si m < b, entonces m ∈ (a, b), luego existe V ∈ {Ui }i∈I , tal que
m ∈ V . Pero V y (a, b) son abiertos en Ru y m ∈ (a, b)∩V , por tanto existe ϵ > 0 tal que
[m−ϵ, m+ϵ] ⊆ V ∩(a, b) ⊆ V . Pero m−ϵ no puede ser cota superior para A, por tanto
existe t ∈ AStal que t ≥ m − ϵ. Como t ∈ A, existen Ui1 , Ui2 , . . . , Uin S
∈ {Ui }i∈I , tales
que [a, t] ⊆ k=1 Uik . Si t ≥ m + ϵ, tenemos que [a, m + ϵ] ⊆ [a, t] ⊆ nk=1SUik ∪ V . Si
n
t < m+ϵ, tenemos que [a, m+ϵ] = [a, t]∪[t, m+ϵ] ⊆ [a, t]∪[m−ϵ, m+ϵ] ⊆ nk=1 Uik ∪V.
Esto probaría que m + ϵ ∈ A, por lo S cual m + ϵ ≤ m y esto es una contradicción, de
donde m = b. Dado
Sn que [a, m + ϵ] ⊆ k=1 Uik ∪ V , entonces, como [a, m] ⊆ [a, m + ϵ],
n
Ejemplo 6.4.1
Teorema 6.4.2
En Rn con la topología usual, cada subconjunto cerrado y acotado es compac
to.
Corolario 6.4.3
En Rn con la topología usual, un conjunto es compacto si y solo si es cerrado
y acotado.
Al iniciar este capítulo habíamos dicho que los espacios compactos no son muy gran
des (en algún sentido) y ahora tenemos muchos más argumentos para sustentarlo,
puesto que algunas propiedades de los conjuntos finitos son satisfechas por los con
juntos compactos. Por ejemplo, en los espacios discretos el concepto de compacidad
y el de finitud coinciden. Los espacios compactos en espacios métricos son acota
dos (se pueden meter en una bola) y cerrados, en particular en Ru , tienen elemento
117
CAPÍTULO 6. COMPACIDAD
máximo y elemento mínimo, lo que ocurre con los conjuntos finitos de R. Si el lector
tiene experiencia en teoría de grupos, sabrá que todo semigrupo cancelativo y finito
es un grupo. Si ponemos este resultado meramente algebraico en un contexto topo
lógico, se puede probar que todo semigrupo topológico cancelativo y compacto es
un grupo (ver [1]). Entonces vemos como la palabra “finito” puede ser cambiada por
“compacto” en algunos resultados.
Ejercicios
Ejercicio 6.6. Pruebe que la unión de una cantidad finita de subconjuntos compactos
de un espacio X, es compacta. Dé un ejemplo para un caso infinito en el cual no se
cumpla.
118
6.4. UNA CARACTERIZACIÓN DE LA COMPACIDAD EN RN
tos localmente finita en X (ver Ejercicio 2.18) es finita 3 . Pruebe que la imagen con
tinua de un espacio tenuemente compacto es tenuemente compacto.
Ejercicio 6.10. Un espacio X se llama un kespacio si satisface que: A ⊆ X es
cerrado en X si y solo si A ∩ K es cerrado en K para cada K compacto en X.
Pruebe que si f : X −→ Y es cociente sobreyectiva y X es localmente compacto,
entonces Y es un kespacio.
Ejercicio 6.11. ¿Es la imagen inversa mediante una función continua de un conjunto
compacto, un conjunto compacto?
Ejercicio 6.12. Complete los detalles de la prueba de la Proposición 6.1.6.
Ejercicio 6.13. Pruebe la Proposición 6.3.1.
L
Ejercicio 6.14. Pruebe que una suma de espacios i∈I Xi es compacto si y solo si
I es finito y cada Xi es compacto.
Ejercicio 6.15. Pruebe los detalles del Ejemplo 6.1.8.
Ejercicio 6.16. Pruebe lo dicho en los ejemplos del 6.3.1 a 6.3.4.
Ejercicio 6.17. Sean (X, τ ) un espacio topológico no compacto y ∞ ∈
/ X. Sea
A(X) = X ∪ {∞} y definamos τ ∗ por: U ∈ τ ∗ si
i) ∞ ∈
/ U y U ∈ τ.
ii) ∞ ∈ U y A(X) \ U es cerrado y compacto en X.
a) Pruebe que τ ∗ es una topología en A(X) y que (A(X), τ ∗ ) es compacto (A A(X)
lo llamaremos compactación de Alexandroff o compactación por un punto de
X).
b) Pruebe que X es denso en A(X).
c) Pruebe que si X es T2 y localmente compacto, A(X) es T2 .
d) Use el Corolario 6.1.2, el Ejemplo 5.7.4 y el Corolario 5.6.1 para probar que
todo espacio localmente compacto y T2 es Tychonoff.
Ejercicio 6.18. Sea X un espacio métrico. Una sucesión (xn )n∈N se llama acotada
si el conjunto {xn : n ∈ N} es acotado. Pruebe que cada sucesión convergente en
X es acotada. Use el Ejercicio 4.41 para ver que el recíproco no se cumple.
Ejercicio 6.19. Un espacio X se llama espacio de Lindelöff, si todo un cubrimiento
abierto admite un subcubrimiento numerable. X se llama contablemente compacto
si cada cubrimiento abierto numerable admite un subcubrimiento finito. Pruebe que
un espacio es compacto si y solo si es Lindelöff y contablemente compacto.
3
Se puede probar que un espacio Tychonoff es tenuemente compacto si y solo si es pseudocom
pacto (ver [4]).
119
CAPÍTULO 6. COMPACIDAD
Ejercicio 6.31. Sean X e Y espacios. Notemos con C(X, Y ) el conjunto de las fun
ciones continuas. Si K ⊆ X y U ⊆ Y , notemos A(K, U ) como
Pruebe que
120
6.4. UNA CARACTERIZACIÓN DE LA COMPACIDAD EN RN
es una base para una topología en C(X, Y ). Esta topología es llamada topología
compacto abierta o topología de convergencia compacta. A C(X, Y ) dotado de esta
topología se le llama espacio de funciones continuas de X en Y .
Ejercicio 6.32. Pruebe que todo subespacio cerrado de un espacio normal y pseu
docompacto, es pseudocompacto.
Ejercicio 6.33. Use un procedimiento similar al usado en el Ejercicio 6.30, pero con
la topología punto excluido, para probar que la pseudocompacidad no se hereda a
subespacios abiertos.
Ejercicio 6.34. Pruebe que la imagen continua de un espacio pseudocompacto es
pseudocompacto.
Ejercicio 6.35. Pruebe que la imagen continua de un espacio secuencialmente com
pacto es secuencialmente compacta.
Ejercicio 6.36. Pruebe que la imagen continua de un espacio contablemente com
pacto es contablemente compacta.
Ejercicio 6.37. Pruebe que {(n, ∞) : n ∈ Z} es un cubrimiento abierto para Ru , que
no admite subcubrimiento finito. Deduzca que Ru no es contablemente compacto.
Ejercicio 6.38. Un espacio se llama σcompacto si es
Sunión de una colección nume
rable de subespacios compactos. Pruebe que Ru = n∈Z [n, n + 1] y use el Teorema
de HeineBorel para deducir que Ru es σcompacto.
Ejercicio 6.39. Pruebe que [a, ∞] es compacto en R[ , para cada a ∈ R. Deduzca
que R[ es localmente compacto.
Ejercicio 6.40. Pruebe que {(a − n1 , ∞) : n ∈ N} es un cubrimiento abierto para
(a, ∞) en R→ , que no admite subcubrimiento finito.
Ejercicio 6.41. Pruebe que el producto de dos espacios σcompactos es σcompacto.
Deduzca por inducción, que el producto de una cantidad finita de espacios σcompac
tos es σcompacto. Use el ejercicio 6.38 para deducir que Rnu es σcompacto para
cada n ∈ N.
Ejercicio 6.42. Pruebe que todo espacio σcompacto es de Lindelöff.
Ejercicio 6.43. Pruebe que todo espacio σcompacto y contablemente compacto,
es compacto.
Ejercicio 6.44. Sean A un subconjunto de un espacio X y f : X −→ Ru una función
continua. Pruebe que si f (A) es acotado entonces f (A) es acotado. Deduzca que
si A es un subespacio pseudocompacto de X, entonces así mismo es A. Esto nos
permite concluir que que cada espacio con un subsepacio denso pseudocompacto
es pseudocompacto.
121
CAPÍTULO 6. COMPACIDAD
122
Capítulo 7
Conexidad
A quien haya visto un curso de cálculo integral, se le hará conocido el Teorema del
valor medio:
Si f : [a, b] −→ Ru es una función continua y c está entre f (a) y f (b), existe x ∈ [a, b]
tal que f (x) = c.
Este teorema está ligado a una propiedad topológica llamada conexidad 1 . En este
capítulo veremos que este resultado es válido en espacios topológicos más genera
les que el intervalo [a, b]. Un espacio es conexo si no se “puede dividir”.
Sección 7.1
Definición 7.1.1
Sea X un espacio y sean U y V abiertos no vacíos en X. A {U, V } se le llama
una separación de X, si U ∪ V = X y U ∩ V = ∅. Decimos que X es un espacio
conexo, si no tiene separación. Un subconjunto A de X se llama conexo en X,
si visto como un subespacio de X es conexo . Un subconjunto de X se llama
disconexo en X (o simplemente disconexo, si no hay peligro de confusión) si
no es conexo en X.
Intuitivamente, nada puede ser más conexo que un punto, pues un punto es indivi
sible desde las ideas de la geometría euclidiana.
Ejemplo 7.1.1
1
La definición de conexidad fue dada por Jordan en 1893 para subconjuntos compactos del plano
y generalizado por Riesz en 1907, Lennes en 1911 y Hausdorff en 1914.
123
CAPÍTULO 7. CONEXIDAD
V
U
Ejemplo 7.1.2
Definición 7.1.2
Sean D el espacio discreto {0, 1} y X un espacio. Una función a dos valores
en X, es una función continua de X en D.
Las funciones a dos valores nos permiten caracterizar los espacios conexos.
Teorema 7.1.1
Un espacio X es conexo si y solo si todas las funciones a dos valores en X
son constantes.
124
7.1. PROPIEDADES DE LOS ESPACIOS CONEXOS
que g◦f es constante, por tanto g es constante, esto prueba que f (X) es conexo.
Proposición 7.1.2
Proposición 7.1.3
Proposición 7.1.4
T S
Demostración. Sean a ∈ i∈I Ai y f una función a dos valores en i∈I Ai . El Teo
rema 7.1.1, nos dice que para cada i ∈ I,Stenemos que S f (Ai ) es unitario, así que
f (Ai ) = {f (a)}, para cada i ∈ I. Luego f ( i∈I Ai ) =S i∈I f (Ai ) = {f (a)}, por tanto
f es constante, el Teorema 7.1.1 nos garantiza que i∈I Ai es conexo.
125
CAPÍTULO 7. CONEXIDAD
Lema 7.1.1
El producto de dos espacios conexos es conexo.
Teorema 7.1.2
Q
Sea {Xi }i∈I una familia de espacios, entonces X = i∈I Xi es conexo si y
solo si cada Xk , con k ∈ I, es conexo.
Sección 7.2
126
7.3. CONEXOS MAXIMALES
Teorema 7.2.1
En Ru los únicos subconjuntos conexos son los intervalos y los conjuntos uni
puntuales.
Demostración. Los conjuntos unipuntuales son conexos según el Ejemplo 7.1.1. Sea
A un conjunto conexo de Ru que no es un intervalo, luego existen a, b ∈ A, con
a < b, tal que a < x < b y x ∈ / A. Se puede ver que (−∞, x) ∩ A y (x, ∞) ∩ A,
es una separación de A. Recíprocamente, sea C un intervalo y para llegar a una
contradicción sea {A, B} una separación de C. Podemos tomar a ∈ A y b ∈ B y
suponer que a < b. Pongamos K = {x ∈ A : a < x < b}, como K es acotado,
podemos tomar m = sup K. Si m ∈ A, como A es cerrado, m ∈ A, así m < b. Sea
Vm ∈ Vm , que la podemos suponer de la forma Vm = (m − r, m + r) ∩ C, siendo
r > 0. Ningún número real entre m y b puede estar en A, por tanto, todo número
entre m y b está en B, así que Vm ∩ B 6= ∅, esto prueba que m ∈ B = B, es
decir, m ∈ A ∩ B, contradiciendo el hecho de que {A, B} es una separación de C.
Supongamos que m ∈ / A, pero por Ejercicio 2.31, tenemos que m ∈ K ⊆ A, luego
A 6= A, contradiciendo el hecho de que A es cerrado, esto completa la prueba.
Ahora presentamos el Teorema del valor medio en un contexto más general a las
funciones continuas de valor real definidas en intervalos de Ru .
Teorema 7.2.2
Sean X un espacio conexo y f : X −→ Ru una función continua. Entonces
dados x, y en X y z entre f (x) y f (y), existe w ∈ X tal que z = f (w).
Demostración. Supongamos que f (x) < f (y), el Teorema 7.2.1 nos garantiza que
f (X) es un intervalo, así que [f (x), f (y)] ⊆ f (X), luego z ∈ f (X), es decir, existe
w ∈ X tal que f (w) = z.
Corolario 7.2.1
Si f : [a, b] ⊆ Ru → Ru es una función continua y y está entre f (a) y f (b),
entonces existe x ∈ [a, b], tal que f (x) = y.
Sección 7.3
Conexos maximales
127
CAPÍTULO 7. CONEXIDAD
S T
vacío. Podemos por tanto considerar Cx = A∈Mx A. Como x ∈ A∈Mx A, de la
Proposición 7.1.4 tenemos que Cx es conexo. De la definición de Cx , vemos que
cualquier conjunto conexo que contenga a x está contenido en Cx , es decir, es un
conjunto conexo maximal que contiene a x. A Cx le llamamos Componente conexa
de x.
Proposición 7.3.1
Toda componente conexa es cerrada.
La siguiente proposición nos dice que el conjunto formado por las componentes co
nexas de un espacio X es una partición de X.
Proposición 7.3.2
En un espacio X dos componentes conexas son iguales o disyuntas.
Proposición 7.3.3
Q
el producto de la familia de espacios {Xi }i∈I y x = (xi )i∈I ∈
Sean X = i∈I Xi , Q
X. Entonces Cx = i∈I Cxi .
Q
Demostración. Por el Teorema 7.1.2 tenemos Q que i∈I Cxi es conexo y contiene a
x,
Q por la maximalidad de C x tenemos que C
i∈I xi ⊆ Cx . Faltaría probar que Cx ⊆
i∈I Cxi , en efecto, sea t = (ti )i∈I ∈ Cx . Como xk ∈ pk (Cx ) y por Proposición 7.1.1
pk (Cx ) es conexo, entonces la maximalidad de Cxk implica que tk ∈ pkQ (Cx ) ⊆ Cxk .
Luego paraQ cada k ∈ I, tenemos que tk ∈ Cxk , esto prueba que t ∈ i∈I Cxi , por
tanto Cx ⊆ i∈I Cxi , como se quería.
128
7.4. ESPACIOS CONEXOS POR CAMINOS
Sección 7.4
Definición 7.4.1
Sea X un espacio. Un camino en X es una función continua f : [0, 1] ⊆ Ru −→
X. Si a = f (0) y b = f (1), decimos que f es un camino que une a a con b. X
se llama conexo por caminos si dado dos puntos de X existe un camino que
los une.
1
f
a b
f
X
0
Proposición 7.4.1
Todo espacio conexo por caminos es conexo.
129
CAPÍTULO 7. CONEXIDAD
Ejemplo 7.4.1
Un subconjunto A de Rnu se llama convexo, si dado dos puntos a, b ∈ A, se
tiene que {(1 − t)a + tb : t ∈ [0, 1]} ⊆ A. A {(1 − t)a + tb : t ∈ [0, 1]}, lo
llamaremos segmento que una a a con b. Note que cada segmento define un
camino, luego cada subconjunto convexo es conexo por caminos. El espacio
X = Rnu es convexo y por ende conexo por caminos. Si n > 1, podemos
quitarle un punto a X y sigue siendo conexo por caminos a pesar de que ya no
es convexo. Por tanto X \ {0} es conexo por caminos y por Proposición 7.4.1,
es conexo. Algo diferente ocurre con X cuando n = 1, si a Ru le quitamos un
punto, el Teorema 7.2.1 nos dice que deja de ser conexo.
Proposición 7.4.2
Si X es conexo por caminos, entonces cualquier imagen continua de X es
conexo por caminos.
Proposición 7.4.3
Q
El producto de espacios X = i∈I Xi es conexo por caminos si y solo si cada
Xi , con i ∈ I, es conexo por caminos.
Demostración. Si X es conexo por caminos, dado que las proyecciones son con
tinuas, la Proposición 7.4.2 nos indica que cada Xi es conexo por caminos. Recí
procamente, supongamos que cada Xi , con i ∈ I es conexo por caminos y sean
a = (ai )i∈I y b = (bi )i∈I puntos de X. Para cada i ∈ I, existe una función con
tinua fi : [0, 1] −→ Xi tal que fi (0) = ai y fi (1) = bi . Sea f : [0, 1] −→ X, dada por
f (x) = (fi (x))i∈I . La Proposición 3.1.6 garantiza que f es continua, además f (0) = a
y f (1) = b. Por tanto X es conexo por caminos.
Ejercicios
130
7.4. ESPACIOS CONEXOS POR CAMINOS
131
CAPÍTULO 7. CONEXIDAD
Ejercicio 7.19. Use el Ejercicio 7.15 para probar que la disconexidad total es una
propiedad topológica.
Ejercicio 7.20. Use la Proposición 7.3.3 para probar que el producto de espacios
totalmente disconexos es totalmente disconexo. Use los ejercicios 3.2, 7.18 y 7.19
para deducir que la disconexidad total es una propiedad productiva.
Ejercicio 7.21. Pruebe que todo espacio discreto es totalmente disconexo.
Ejercicio 7.22. Un espacio X se llama localmente conexo en un punto x ∈ X, si
existe una base local en x formada por subconjuntos conexos de X. Decimos que
X es localmente conexo si lo es en cada punto x ∈ X. Pruebe que un espacio X es
localmente conexo si y solo si cada componente conexa de X es abierta.
Ejercicio 7.23. Es posible, guiados por el sentido común, pensar que los únicos
espacios totalmente disconexos son los espacios discretos. Es posible probar que
el producto de una cantidad infinita de espacios discretos e infinitos es un espacio
que no es discreto, pero que por Ejercicio 7.20, sí es totalmente disconexo (¡comple
te los detalles!). Por lo tanto hemos exhibido un ejemplo de un espacio totalmente
disconexo que no es discreto.
Ejercicio 7.24. Use el Ejercicio 7.22 para probar que un espacio localmente conexo
y compacto tiene un número finito de componentes conexas.
Ejercicio 7.25. Pruebe que todo retracto de un espacio conexo es conexo (ver Ejer
cicio 3.23).
Ejercicio 7.26. Sean X un espacio y a, b, c ∈ X. Pruebe que si f es un camino que
une a a con b, entonce g : I −→ X, definido por g(t) = f (1−t), es un camino que une
a b con a. Si además, h es un camino que une a b con c, pruebe que f ∗ h definida
por
f (2s) si s ∈ [0, 12 ]
(f ∗ h)(s) =
h(2s − 1) si s ∈ [ 12 , 1]
es un camino que une a a con c. (Sugerencia: use el Lema del Pegamiento, Ejercicio
1.25). A f ∗ h se le llama concatenación de f y h.
132
Bibliografía
133
Índice alfabético
Ext(A), 44 τ F , 13
(Z, κ), 31 τ {f } , 13
2X , 2 τ p, 3
Bd (a, r), 16 τA , 3
C(X, Y ), 120 τF , 13
Cx , 128 τcoe , 3
ClX (A), 33 τcof , 4
F r(A), 38 τd , 17
IntX (A), 37 τf , 14
S n−1 , 131 τp , 3
T (X), 92 ℘(X), 2
T0 identificación, 102 f |A , 5
Xcoe , 3 iX , 6
Xcof , 4 kespacio, 119, 122
Xsr , 89 pk , 46
I, 2 L
N, 2 W i∈I Xi , 52
Q, 2 i∈I τi , 11
R, 2 Vx , 19
R+ , 2 Abierto
R[ , 8 básico, 7
R← , 9 en la topología producto, 46
R→ , 9 regular, 89
R] , 8 subbásico, 10
Ru , 9 en la topología producto, 46
Z, 2 Adherencia, 34
ℵ
V0 , 2 Análisis de la posición, 2
i∈I τi , 11 Análysis situs, 2
I, 2 Axioma de separación
ínf de una familia de topologías, 11 débil, 74
κ, 31 fuerte, 74
(X)
Vx , 19
σproducto, 58 Base, 7, 10
sup de una familia de topologías, 11 de cerrados, 31
134
ÍNDICE ALFABÉTICO
135
ÍNDICE ALFABÉTICO
136
ÍNDICE ALFABÉTICO
137
ÍNDICE ALFABÉTICO
138
ÍNDICE ALFABÉTICO
139