Professional Documents
Culture Documents
O
[un primer curso]
N
IA
UB
.R
G
G
.R
UB
IA
N O
Topologı́a general
O
[un primer curso]
N
IA
UB
.R
G
Gustavo N. Rubiano O.
Profesor titular
1. Topologı́a general
Gustavo N. Rubiano O.
O
Topologı́a general, 3a. edición
Universidad Nacional de Colombia, Sede Bogotá
N
Facultad de Ciencias, 2010
IA
Mathematics Subject Classification 2000: 00–00.
Impresión:
Editorial UN
Bogotá, D. C.
Colombia
Contenido
O
Prólogo IX
N
1. Conjuntos con topologı́a 1
1.1. Los reales —una inspiración—
IA . . . . . . . . . . . . . . . 1
1.2. Abiertos básicos (generación de topologı́as) . . . . . . . . 8
1.3. Vecindades . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.4. Nuevos ejemplos: subespacios de un espacio . . . . . . . . 22
UB
2. Espacios métricos 28
2.1. Métrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.2. Espacios unitarios o euclidianos . . . . . . . . . . . . . . . 36
.R
3. Bases y numerabilidad 57
3.1. 2-contable . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.2. 1-contable . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
v
vi CONTENIDO
O
6.1. Homeomorfismos . . . . . . . . . . . . . . . . . . . . . . . 89
6.2. Invariantes topológicos . . . . . . . . . . . . . . . . . . . . 97
N
7. Espacios de identificación –cociente–
IA 102
7.1. Topologı́a cociente . . . . . . . . . . . . . . . . . . . . . . 102
7.1.1. Descomposición canónica por una función . . . . . 105
UB
8. La topologı́a producto 112
8.1. Definición sintética de producto entre conjuntos . . . . . . 112
8.2. La topologı́a producto –caso finito– . . . . . . . . . . . . . 113
8.3. La topologı́a producto —caso infinito— . . . . . . . . . . 115
.R
10.Compacidad 156
10.1. Espacios compactos . . . . . . . . . . . . . . . . . . . . . . 157
10.2. Dos caracterizaciones de la compacidad . . . . . . . . . . 163
O
10.2.1. Compacidad vı́a cerrados . . . . . . . . . . . . . . 163
10.2.2. Compacidad vı́a filtros . . . . . . . . . . . . . . . . 165
N
10.2.3. Compacidad vı́a ultrafiltros . . . . . . . . . . . . . 166
10.3. Producto de dos compactos . . . . . . . . . . . . . . . . . 167
IA
10.4. Teorema de Tychonoff . . . . . . . . . . . . . . . . . . . . 171
10.5. Compacidad y sucesiones . . . . . . . . . . . . . . . . . . 175
UB
10.6. Compacidad para métricos . . . . . . . . . . . . . . . . . . 181
10.7. Ordinales como ejemplo . . . . . . . . . . . . . . . . . . . 185
10.8. Compacidad local . . . . . . . . . . . . . . . . . . . . . . . 190
10.8.1. Compactación . . . . . . . . . . . . . . . . . . . . 193
.R
13.Conexidad 238
13.1. La conexidad como invariante topológico . . . . . . . . . . 238
13.2. Subespacios conexos maximales . . . . . . . . . . . . . . . 246
O
13.3. El conjunto C de Cantor . . . . . . . . . . . . . . . . . . . 247
13.4. Conexidad local . . . . . . . . . . . . . . . . . . . . . . . . 252
N
13.5. Conexidad por caminos . . . . . . . . . . . . . . . . . . . 255
Bibliografı́a
IA 264
O
sirva como guı́a para un primer curso formal en topologı́a general o de
conjuntos. Se han hecho cambios importantes que justifican que se trate
de una nueva edición y no de una simple reimpresión de la anterior.
N
La mayorı́a de las herramientas y conceptos utilizados en el estudio
de la topologı́a se agrupan en dos categorı́as: invariantes topológicos y
IA
construcciones de nuevos espacios a partir de los ya conocidos.
En la parte de invariantes, el énfasis en los espacios 1-contable o es-
pacios que satisfacen el primer axioma de enumerabilidad, como espacios
UB
para los cuales las sucesiones son suficientes para describir la topologı́a,
justifica la introducción del concepto de filtro como una adecuada no-
ción de convergencia, que resulte conveniente para describir la topologı́a
en espacios más generales; de paso, este concepto nos proporciona una
manera cómoda para llegar al teorema de Tychonoff, imprescindible en
cualquier curso no trivial, teorema que corresponde a la parte de con-
.R
strucciones.
Nuevos capı́tulos, secciones, demostraciones, gráficos y referencias
históricas han sido introducidos a fin de motivar al lector y presentar
de manera activa una de las áreas más prolı́ficas de la matemática y la
G
ciencia.
Como en casi todo libro de texto, poco o nada es original por parte del
autor, excepto posiblemente la manera de manejar la influencia de varios
clásicos sobre el tema o la introducción de algunos ejemplos nuevos.
Agradezco a la Facultad de Ciencias de la Universidad Nacional de
Colombia, Sede Bogotá, el darme ese tiempo extra que siempre necesi-
tamos los docentes para plasmar de forma escrita la experiencia diaria.
Gustavo N. Rubiano O.
ix
x CONTENIDO
gnrubianoo@unal.edu.co
N O
IA
UB
.R
G
1 Conjuntos con topologı́a
O
1.1. Los reales —una inspiración—
N
No hay nada más familiar a un estudiante de matemáticas que el
IA
conjunto R de los números reales y las funciones f : R −→ R. Si única-
mente tuviéramos en cuenta la definición usual de función de R en R,
es decir, una colección de pares ordenados (x, y) ∈ R × R donde cada
elemento de R es la primera componente de una y de solo una pareja
UB
ordenada, estarı́amos desperdiciando el concepto de intervalo que cono-
cemos para los números reales y, aún más, el hecho de que en R podemos
decir quiénes son los vecinos de un punto x ∈ R.
En efecto, los vecinos al punto x en una distancia menor que un
ε > 0 son todos los y ∈ R tales que |x − y| < ε; es decir, el intervalo
.R
1
2 Conjuntos con topologı́a
2ε f (c) g(c)
c c
2δ
O
básicas, esta definición es:
N
“Dada una vecindad básica de radio ε alrededor de f (c), podemos
encontrar una vecindad básica de c y con radio δ tal que
si x ∈ (c − δ, c + δ) entonces f (x) ∈ (f (c) − ε, f (c) + ε)”.
IA
Lo que de nuevo reescribimos como: “Dada una vecindad de f (c)
podemos encontrar una vecindad de c con la propiedad que, la imagen
por f de esta última se encuentra dentro de la vecindad de f (c)”.
UB
Informalmente decimos que:
K Un cambio ‘pequeño’ en c produce un cambio ‘pequeño’ en f (c).
Hemos visto entonces que el concepto de continuidad en R está liga-
do esencialmente a la definición que podamos hacer de ‘vecindad’ para
.R
2. R es abierto.
T = {Ui : i ∈ I}, Ui ⊆ X
tal que:
O
1. ∅ ∈ T, X ∈ T.
N
i∈F
3. Ui ∈ T para cada J ⊆ I.
S
i∈J
IA
Esto es, T es una familia de subconjuntos de X cerrada tanto para
la unión arbitraria como para la intersección finita. La condición 1 es
consecuencia de 2 y 3 cuando tomamos como conjunto de ı́ndices I = ∅.
UB
EJEMPLO 1.1
Ru . En R definimos una topologı́a T conocida como la usual (el espacio
es notado Ru ) definiendo U ∈ T si U es unión de intervalos abiertos.
O de manera equivalente, U ⊆ R es abierto si para cada punto x ∈ U
existe un intervalo (a, b) que contiene a x y está contenido en U .
1
Se le acuña la invención de la palabra topologı́a al matemático alemán de ascen-
dencia checa Johann B. Listing (1808-1882) en una carta dirigida a su viejo maestro
de escuela Müller.
4 Conjuntos con topologı́a
EJEMPLO 1.2
Orden. El ejemplo 1.1 lo podemos generalizar a todo conjunto X que
sea linealmente —totalmente— ordenado por una relación ≤. Definimos
T≤ la topologı́a del orden o la topologı́a intervalo sobre (X, ≤)
tomando como abiertos todos los U ⊆ X que se pueden expresar como
unión de intervalos de la forma
O
3. (←, y) := {t : t < y} —colas a izquierda abiertas—.
N
En el caso en que X no posea elementos máximo y mı́nimo, basta con-
IA
siderar tan solo los intervalos acotados (x, y) —¿por qué?—.
EJEMPLO 1.3
UB
Discreta: Dado un conjunto X definimos T = 2X —partes de X o
℘(X)—. Esta es la topologı́a discreta de X —permite que todo sea
abierto—. Es la topologı́a sobre X con la mayor cantidad posible de
abiertos.
.R
EJEMPLO 1.4
Punto incluido. Sea X un conjunto y p un punto elegido en X. Definimos
la topologı́a punto incluido Ip como U ∈ Ip si p ∈ U , o, U = ∅.
EJEMPLO 1.5
Extensión cerrada de (X, T). La anterior topologı́a permite la siguiente
generalización. Dado un espacio (X, T) y p ∈
/ X, definimos la extensión
X = X ∪ {p} y T = {V ∪ {p} : V ∈ T} ∪ {∅}. (X ∗ , T ∗ ) es un espacio y
∗ ∗
O
EJEMPLO 1.6
Punto excluido. Sea X un conjunto y p un punto elegido en X. Definimos
la topologı́a punto excluido Ep como U ∈ Ep si U = X, o, p ∈ / U.
N
EJEMPLO 1.7
IA
Sierpinski. En X = {0, 1} construimos todas las posibles topologı́as:
J4
•
UB
1. J1 = {∅, X},
2. J2 = {∅, X, {0}},
J2 • •J3
3. J3 = {∅, X, {1}},
.R
EJEMPLO 1.8
Complementos finitosa . Dado un conjunto X, definimos la topologı́a
(T, cof initos) como U ⊆ X es abierto si su complemento U c es fini-
to, o U = ∅. En este ejemplo —como en cada ejemplo donde los abiertos
se definan en términos de cardinalidad— es interesante tener en cuen-
ta los tres casos, dependientes de que X sea finito, infinito contable, o
infinito no contable.
También conocida como la topologı́a de Zariski en honor al matemático bielorruso
a
O
EJEMPLO 1.9
N
Complementos enumerables. Dado un conjunto X, definimos la topolo-
gı́a (T, coenumerables) como U ⊆ X es abierto si su complemento U c es
IA
enumerable o contable —finito o infinito—, además del ∅, por supuesto.
EJEMPLO 1.10
Espacio de Fort. Sea X un conjunto y p un punto en X. Definimos
UB
U ∈ Eωp si U c es finito, o p ∈
/ U.
O
9 63.260.289.423
10 8.977.053.873.043
11 1816846038736192
N
12 519355571065774021
13 207881393656668953041
IA
14 115617051977054267807460
15 88736269118586244492485121
16 93411113411710039565210494095
17 134137950093337880672321868725846
UB
18 261492535743634374805066126901117203
Ejercicios 1.1
G
1. ¿Cómo son los cerrados para los espacios de los ejemplos anteri-
ores?
2. Construya todas las topologı́as para X = {a, b, c}.
3. Muestre que, para un conjunto X, la intersección de topologı́as
sobre X es de nuevo una topologı́a.
4. Muestre que la unión de dos topologı́as sobre un conjunto X no
necesariamente es una topologı́a.
5. En cada uno de los ejemplos dados en esta sección, revise la per-
tinencia de la cardinalidad del conjunto X.
8 Conjuntos con topologı́a
• • • • • • • • •
• • • • • • • • •
• • •
O
6. Muestre que (T op(X), ⊆) es un retı́culo completo. En particular,
N
para el caso de dos topologı́as T, I el sup ∨{T, I} está formado por
todas las posibles uniones de conjuntos de la forma
IA
{U ∩ V : U ∈ T, V ∈ I}.
EJEMPLO 1.11
Los intervalos abiertos de R constituyen una base para la topologı́a en
Ru . Revise la definición de la topologı́a del orden.
Por supuesto, para un espacio (X, T), T en sı́ misma es una base de
manera trivial; la palabra trivial se justifica porque una de las cualidades
1.2 Abiertos básicos (generación de topologı́as) 9
más importantes para una base es exigir que su cardinalidad no sea muy
grande —espacio 2–contable—.
¿Cómo reconocer que una colección B de subconjuntos de X pueda
ser base para alguna topologı́a?
K
Teorema 1.3. Sea X un conjunto. B ⊆ ℘(X) es base de una topologı́a
para X si y solo si se cumple que
O
2. Dados cualesquiera U, V ∈ B y x ∈ U ∩ V , existe B en B con
x ∈ B ⊆ U ∩ V . Esto es, U ∩ V es unión de elementos de B para
N
todo par U, V de B.
EJEMPLO 1.12
Si X es un conjunto y p ∈ X, una base de la topologı́a Ip del punto
incluido es B = {{x, p} : x ∈ X}.
3
Una misma topologı́a puede ser generada por bases diferentes.
10 Conjuntos con topologı́a
EJEMPLO 1.13
Partición. Dada una partición R sobre un conjunto X —o lo que es igual
una relación de equivalencia R—, la colección R junto con el conjunto ∅ es
una base para una topologı́a sobre X. Un subconjunto de X es entonces
abierto si es unión de subconjuntos pertenecientes a la partición.
EJEMPLO 1.14
Lı́nea de Khalinsky. En Z definimos la base
O
[
B = {{2n − 1, 2n, 2n + 1} : n ∈ Z} {{2n + 1} : n ∈ Z}.
N
En la topologı́a generada, cada entero impar es abierto y cada entero
par es cerrado.
EJEMPLO 1.15
IA
Topologı́a a derecha. Para un conjunto (X, ≤) parcialmente ordenado, el
conjunto de las colas a derecha y cerradas
UB
x ↑ := [x, →) := {t : x ≤ t},
4
En general una topologı́a se dice de Alexandroff o A–topologı́a si las intersec-
ciones arbitrarias de conjuntos abiertos son de nuevo un abierto. Fueron estudiadas
inicialmente por P. S. Alexandroff en 1937. Nótese que toda topologı́a finita es de
Alexandroff.
1.2 Abiertos básicos (generación de topologı́as) 11
EJEMPLO 1.16
Una topologı́a puede tener diferentes bases. En R2 definamos dos bases
B1 , B2 que nos conducen a una misma topologı́a: la usual.
1/2
B1 : U ∈ B1 si U = {(x, y) : (x − u)2 + (y − v)2 < ε} para algún
2
ε > 0 y algún (u, v) en R . U se acostumbra denotar como Bε ((u, v))
—U es el interior de un disco en R2 de centro en (u, v) y radio ε—.
O
algún (u, v) en R2 —V es el interior de un rombo en R2 con centro en
(u, v)—.
N
IA
Es un ejercicio verificar que lo que se puede expresar como unión de
elementos de B1 , lo puedo expresar tambiéncomo unión de elementos de
B2 , con lo cual las dos topologı́as generadas coinciden.
UB
EJEMPLO 1.17
De manera más general, en Rn definimos una base B de la manera si-
guiente:
.R
i=1
O
si las topologı́as generadas son iguales, i. e., hB1 i = hB2 i.
Proposición 1.5. B1 ≡ B2 si y solo si dados B1 ∈ B1 y x ∈ B1 existe
N
B2 ∈ B2 tal que x ∈ B2 ⊆ B1 , con lo cual hB1 i ⊆ hB2 i y viceversa.
Demostración. Ejercicio.
IA
El lector debe verificar que esta relación es de equivalencia sobre el
conjunto de todas las posibles bases para un conjunto X fijo. Ası́ que,
UB
dada una topologı́a sobre X podemos escoger, de la clase de equivalencia
que representa esta topologı́a, el elemento base que mejor se acomode a
nuestro interés —canónico—.
Dado un cubrimiento D de X, es posible crear la menor topologı́a sobre
X que tenga entre sus abiertos la colección D. Para ello, creamos a
.R
EJEMPLO 1.18
Los intervalos de la forma (a, →), (←, b) con a, b ∈ R forman una subbase
para la topologı́a usual. Generalice a la topologı́a del orden.
O
EJEMPLO 1.19
Para un conjunto X la colección D = {X − {x} : x ∈ X} es una subbase
para la topologı́a de los cofinitos.
N
IA
Ejercicios 1.2
c•
b•
N O
Figura 1.2: Las regiones del ejercicio 2.
IA
es generada por los inferiores x ↓ de cada elemento. En estos
dos casos no es necesario que el orden sea total, basta tener
una relación de orden parcial en X.
UB
Bi también genera los intervalos de la forma
[
(←, a) = (←, b],
.R
b<a
O
[
B+ genera: (a, b) = [t, b),
t>a
N
[
[a, →) = [a, b),
a<b
IA (a, →) =
[
a<b
[
(a, b),
5
Introducida por R. H. Sorgenfrey (1915-1996) en 1947 para los números reales,
es una fuente de útiles contraejemplos.
16 Conjuntos con topologı́a
O
[
(←, b) = (a, b).
a<b
N
Verifique el diagrama 1.3, el cual muestra la relación de con-
tenencia entre estas topologı́as y dice quiénes no son compa-
rables.
IA 2X....
.
........... ..........
...... ......
.
..
...... .....
.....
.. .....
..... .....
....
UB
J− J+
. ...... . ......
........... ........ .......... ..........
..... ..... ..... .....
......
. ....
..... ..
.....
. .....
..... .... .....
.....
..... ..... .....
....
.... .... ..
Ji ......... J0. . Jd
........ .......
.... .. ....... ........
.
.... ........ ......... ..
.
.... ...... ....
.
..... ....
.... .
....
.. ..... ....
....
.... .....
.....
.... .. . ....
.R
X = M or(I, I) = {f | f : I −→ I}.
1.3. Vecindades
O
......................................
N
..
...
....
............. ................ .... ..
. ........... ....
.... ........ ......... ................ V ....
.
. .......
.... .... .......... x ...
.....
.
....... ..
...
...
...
....
IA ..... U ... ...
..
...
...
...
. • x ...
. ...
... .
. .
.
...
...
.... y •
....
. ...
.... .......
........................ ......
.... .
...... ....
.......
......... .
...
........
............ .......
...............................................................
UB
1. Si V ∈ V(x) entonces x ∈ V .
N O
IA
UB
.R
Felix Hausdorff
O
U = {y ∈ V : V ∈ V(y)}; claramente x ∈ U ⊆ V , ası́ que solo resta
mirar que U ∈ T. Por definición, si y ∈ U entonces V ∈ V(y) y por
4 existe W en V(y) tal que V ∈ V(z) para cada z ∈ W , con lo cual
N
W ⊆ U , y por 2, U está en V(y), pero como esto se tiene para cada
y ∈ U , entonces U ∈ T por la definición de T.
IA
Es un ejercicio verificar que la topologı́a T es única.
EJEMPLO 1.20
En (X, discreta) el conjunto W(x) = {{x}} es un SFV de x. En Ru el
conjunto W(x) = {(x − n1 , x + n1 )}n∈N es un SFV de x ∈ R.
Ejercicios 1.3
O
vecindad de cada uno de sus puntos.
N
rados.
d
b) ¿Cómo es geométricamente el in-
tervalo ((0, 0), (2, 3))?
b c) ¿Qué relación existe entre la topo-
logı́a usual y la topologı́a de orden
asociada al lexicográfico?
O
d ) ¿Cómo puede usted generalizar es-
ta topologı́a a cualquier conjunto
a c
ordenado?
N
e) Trate de observar cómo es esta topo-
IA logı́a si el conjunto X es el cuadra-
do unidad I × I.
11. Muestre que B = {((a, b), (a, c)) : b < c} es también una base para
la topologı́a del orden lexicográfico.
UB
12. La topologı́a del orden para N es la topologı́a discreta.
a) V(x) = {A ⊆ X : x ∈ A}.
b) V(x) = {{x}}.
c) V(x) = {X}.
d ) Sea X = N ∪ {ω} donde ω ∈
/ N. Por cada n ∈ N definamos
1) V(n) = {A ⊆ X : n ∈ A},
2) V(ω) = {A ⊆ X : ω ∈ A y Ac es finito}.
e) Sea X = (N × N) ∪ {ω} donde ω ∈
/ N × N. Por cada (m, n) ∈
N × N definamos:
22 Conjuntos con topologı́a
O
tiene a ω si únicamente un número finito de filas contienen
‘huecos significativos’. Revise el ejemplo 1.10.
N
1.4. Nuevos ejemplos: subespacios de un espacio
IA
Esta sección presenta una ‘máquina’ de construcción para nuevos
espacios a partir de espacios ya conocidos.
UB
Dados un espacio (X, T) y A ⊆ X, A hereda una estructura topológi-
ca TA de manera natural con respecto a T.
TA := {U ∩ A | U ∈ T}
.R
EJEMPLO 1.21
1. Sea X = R2u . Entonces cualquier subconjunto del plano puede ser
visto como un espacio topológico. En particular las figuras de la
geometrı́a, como circunferencias, discos, polı́gonos, etc., pueden ser
ahora vistas como espacios.
Examinemos el caso de la recta real R = {(x, 0) : x ∈ R} ⊆ R2 .
O
La topologı́a de subespacio es la topologı́a usual de R. En efecto,
dado M abierto de R, M = R ∩ V para V abierto de R2 . Luego
N
V = ∪i∈I Bi , donde cada Bi es una bola abierta; entonces
M = R ∩ (∪i∈I Bi ) = ∪i∈I (R ∩ Bi )
IA
y cada R ∩ Bi es un intervalo abierto o el ∅, luego M es reunión
de intervalos abiertos, i. e., M es abierto de la topologı́a usual.
UB
.R
a las esferas S n .
EJEMPLO 1.22
En Ru , la topologı́a inducida sobre los enteros es la discreta; {n} es
O
ahora abierto en Z, pero no lo era en R. Por tanto, debemos tener cierta
discreción cuando hablamos de abiertos en el contexto de espacios o
subespacios.
N
Ası́, Z es un subespacio discreto de R, mientras que Q pareciera que
también lo es ya que entre cada par de racionales existe un número
irracional; sin embargo, no lo es; de hecho, este subespacio es un ejemplo
IA
de un espacio con propiedades interesantes.
EJEMPLO 1.23
UB
Sea A = [0, 2] ∪ [3, 7) subconjunto de R y consideremos la topologı́a
inducida de Ru . El subconjunto [3, 7) es abierto en TA pero no lo es en
Ru .
.R
EJEMPLO 1.24
Si B = { n1 : n ≥ 1}, la topologı́a inducida de Ru es la discreta. Si
agregamos a B el punto 0 ya no obtenemos la discreta.
G
EJEMPLO 1.25
En R3u consideremos el siguiente subconjunto T llamado el toro (ver fig.
1.6). Dados a > b, dos reales positivos, T está formado por todas las
triplas de la forma
N O
IA
Figura 1.5: Parametrizaciones interrumpidas para θ y para φ respectivamente.
UB
.R
G
EJEMPLO 1.26
Sea M3×3 o M3 (R) el conjunto de todas las matrices reales de tamaño
3×3. Usando las 9 entradas (ai,j ) en cada matriz como coordenadas para
un vector, podemos identificar M3×3 con R9 . El subconjunto GL(3, R) ⊆
R9 de las matrices invertibles es un espacio con la topologı́a de subespacio
(ver ejemplo 2.7).
26 Conjuntos con topologı́a
EJEMPLO 1.27
Aunque en R la topologı́a inducida por el orden usual coincide con la
topologı́a usual, esto no sucede para los subespacios.
O
8 ∈ (a, b) ⊆ [8, 9).
N
EJEMPLO 1.28
Sobre el cuadrado A = I × I = [0, 1] × [0, 1] podemos considerar y
IA
comparar tres topologı́as:
• •
G
(a) (b)
Figura 1.7: (a) un abierto en TI×I , (b) un abierto en T .
O
Ejercicios 1.4
N
1. ¿Cómo es la topologı́a de subespacio para S 1 ⊆ R2 ?
cerrado de X.
O
En este capı́tulo vemos los espacios métricos como una clase par-
N
ticular de espacios topológicos. Por supuesto que los espacios métri-
cos, en sı́ mismos, son extremadamente importantes y dentro de la
matemática merecen su propio espacio y por supuesto su propio tex-
IA
to. La presentación que aquı́ hacemos es con la finalidad de prepararnos
—motivarnos, dar ejemplos— para las futuras definiciones en topologı́a
concernientes a las nociones de cercanı́a y lı́mite, pero no pretendemos
hacer una exposición tan siquiera incompleta.
UB
Estos espacios —el concepto— fueron introducidos por el matemático
francés Maurice René Fréchet (1878–1973) en 1906 y constituyeron uno
de los pasos decisivos en la creación de la Topologı́a general. Se trataba
de definir el concepto de ‘distancia’ de la manera más general posible
para objetos matemáticos de naturaleza no especı́fica —no necesaria-
.R
2.1. Métrica
1. d(x, y) = 0 si y solo si x = y,
28
2.1 Métrica 29
O
distancia es algo que nosotros hemos definido por medio de d, a nuestro
antojo—.
Una consecuencia inmediata de 3 es
N
|d(x, y) − d(z, y)| ≤ d(x, z)
IA (2.1)
Dados (X, d), x ∈ X y > 0, el conjunto de puntos y tales que d(x, y) <
lo llamamos la bola abierta B (x). (Ver definición 2.8).
.R
EJEMPLO 2.1
El conjunto R de los números reales, con la función d(x, y) = |x − y| es
G
EJEMPLO 2.2
Sea X el conjunto de pueblos en un mapa vial escogido; si definimos
d(x, y) como la longitud del camino más corto entre todas las rutas que
comunican a x con y, tenemos que d es una métrica.
30 Espacios métricos
EJEMPLO 2.3
Métrica discreta. Si X es un conjunto cualquiera, la métrica discreta
se define como: para x, y ∈ X
(
1 si x 6= y,
d(x, y) :=
0 si x = y.
EJEMPLO 2.4
O
Dados x = (x1 , x2 , . . . , xn ), y = (y1 , y2 , . . . , yn ) dos puntos en Rn defin-
imos
N
d2 (x, y) = |x − y| = ((x1 − y1 )2 + (x2 − y2 )2 + · · · + (xn − yn )2 )1/2 . (2.3)
IA
Esta métrica se llama distancia euclidiana —la manera de medir usu-
al—. Para verificar la desigualdad triangular basta recordar las desigual-
dades de:
Minkowski,
UB
n
!1 n
!1 n
!1
2 2 2
(xi + yi )2 2 2
X X X
≤ xi + yi (2.4)
i=1 i=1 i=1
.R
Bunjakovski-Cauchy-Schwartz,
n n
!1 n
!1
2 2
xi 2 yi 2
X X X
|xi yi | ≤ (2.5)
i=1 i=1 i=1
G
d(x, y) + d(y, z) = |x − y| + |y − z|
≥ |(x − y) + (y − z)| = |x − z|
= d(x, z).
n
!1
p
p
(x, y ∈ Rn ).
X
dp (x, y) := |xi − yi | , p ≥ 1,
i=1
O
EJEMPLO 2.5
El espacio l∞ de todas las sucesiones acotadas. Sea l∞ el conjunto
de todas las sucesiones acotadas de números reales, i. e., las sucesiones
N
x = (x1 , x2 , ...) = (xn ) tales que supn |xn | < ∞. Si x = (xn ), y = (yn ) ∈
l∞ , definimos la métrica IA
d∞ (x, y) = sup |xn − yn |.
n
Por tanto,
EJEMPLO 2.6
Sea C([0, 1], R) el conjunto de todas las funciones continuas de [0, 1] en
R, y definamos la métrica d2 como
Z 1 21
d2 (f, g) = (f (x) − g(x))2 dx .
0
EJEMPLO 2.7
Grupo lineal general GLn o GL(n, R). Denotemos por Mn (R) el con-
junto de las matrices de tamaño n × n con entradas en R (ver ejemplo
1.26).
Si cada matriz A = (aij ) se identifica con el punto
2
(a11 , . . . , a1n , a21 , . . . , a2n , . . . , an1 , . . . , ann ) ∈ Rn
2
entonces GL(n, R) queda identificado con Rn y por tanto lo podemos
O
ver como un espacio métrico.
N
Una matriz A es invertible (multiplicación) si existe una matriz B
tal que AB = I = BA (donde I es la matriz identidad) o de manera
equivalente Det(A) 6= 0 (determinante distinto de cero).
IA
En Mn (R) se distingue el subconjunto GL(n, R) o GLn (R) de las
matrices invertibles. Por su sigla lo llamamos grupo lineal general.
Recordemos que At denota la transpuesta de A, donde las filas de
UB
At son las columnas de A, esto es, (At )ij = Aji . Cada matriz define una
función A : Rn → Rn como A(x) = Ax.
Una matriz A se llama ortogonal si es invertible con A−1 = At , i.
e., AAt = I.
.R
EJEMPLO 2.8
On o O(n, R). El subconjunto On ⊆ GLn de las matrices ortogonales,
se llama grupo ortogonal y corresponde a las transformaciones lineales
de Rn que preservan la longitud de los vectores, o de manera equivalente
G
EJEMPLO 2.9
El subconjunto SOn ⊆ On de las matrices A ∈ On con det(A) = 1
se llama grupo ortogonal especial y corresponde a las matrices que
tienen determinante 1 y cuya inversa corresponde a su transpuesta. Este
subconjunto coincide con las rotaciones de Rn alrededor del origen.
2.1 Métrica 33
O
es de la forma Sθ para algún θ.
Rθ representa una rotación de medida θ en sentido contrario a las
manecillas del reloj.
N
Sθ representa una reflexión por la lı́nea que pasa por el origen en
ángulo θ/2 con respecto al eje x.IA
Una isometrı́a de Rn es una función f : Rn → Rn de la forma
f (x) = Ax + a para alguna matriz ortogonal A ∈ On y algún vector a ∈
Rn . Denotamos por Isomn el conjunto de tales funciones. Como lo indica
UB
su nombre, una isometrı́a f preserva distancias, esto es, d(f (x), f (y)) =
d(x, y) para todo x, y ∈ Rn . De manera recı́proca, para cualquier función
f : Rn → Rn que preserva distancias existen A ∈ On y a ∈ Rn tal que
f (x) = Ax + a para todo x ∈ Rn .
.R
Ejercicios 2.1
a)
1
d2 (x, y) := (d(x1 , x2 )2 + m(y1 , y2 )2 ) 2 . (2.6)
c)
d(x, y) := d(x1 , x2 ) + m(y1 , y2 ). (2.8)
O
El mensajero reparte en p, vuelve a la oficina en 0 y sale nueva-
mente a repartir en q (figura 2.1). ¿Cómo es B1 (p), i.e., qué puntos
pertenecen a esta bola?
N
p•
IA
•q
UB
O
Sea k la longitud del mayor prefijo común entre a y c, y sea m la
longitud del mayor prefijo común entre c y b. Si n = mı́n{k, m},
N
sabemos que las primeras n letras de a coinciden con las primeras
n letras de c; y que las primeras n letras de c coinciden con las
primeras n letras de b. Ası́, las primeras n letras de a coinciden
IA
con las primeras n letras de b. Luego, el prefijo común entre a y
b tiene longitud al menos n.
Por tanto,
UB
d(a, b) ≤ (1/2)n = (1/2)mı́n{k,m} (2.9)
k m
= máx{(1/2) , (1/2) } (2.10)
= máx{d(a, c), d(c, b)}. (2.11)
que
máx{d(a, c), d(c, b)} ≤ d(a, c) + d(c, b).
O
m
N
2.2. Espacios unitarios o euclidianos
1. x + y = y + x.
2. x + (y + z) = (x + y) + z
x para todo x.
5. α(βx) = (αβ)x.
6. (α + β)x = αx + βx.
7. α(x + y) = αx + αy.
2.2 Espacios unitarios o euclidianos 37
8. 1x = x.
O
3. kx + yk ≤ kxk + kyk, para x, y ∈ X —subaditiva o triangular—.
N
Al par (X, k k) lo llamamos espacio —vectorial— normado.
IA
Como consecuencia de la subaditividad 3 tenemos
kxk = kx − y + yk ≤ kx − yk + kyk
kyk = ky − x + xk ≤ ky − xk + kxk
.R
con lo cual
d(x, y) := ky − xk
d(x, y) + d(y, z) = ky − xk + kz − yk
≥ k(y − x) + (z − y)k = kz − xk = d(x, z).
O
Definición 2.5. Un producto interior —o un producto escalar— para
un espacio vectorial real X es una función h , i : X × X −→ R que a
cada par (x, y) le asocia el número real hx, yi y satisface:
N
1. hx, xi ≥ 0, y hx, xi = 0 si y solo si x = 0 —definido positivo—.
IA
2. hx, yi = hy, xi —simetrı́a—.
kxk := hx, xi
p
EJEMPLO 2.10
En Rn veamos las siguientes normas y sus respectivas métricas inducidas:
2.2 Espacios unitarios o euclidianos 39
O
kxk2 = (x21 + x22 + · · · x2n )1/2 ,
N
la cual proviene del producto interior
hx, yi = x1 y1 + x2 y2 + · · · + xn yn ,
con lo cual
IA
d2 (x, y) = ((x1 − y1 )2 + (x2 − y2 )2 + · · · + (xn − yn )2 )1/2 .
UB
n
!1
p
|xi − yi |p (x, y ∈ Rn ).
X
dp (x, y) := ,
i=1
EJEMPLO 2.11
El espacio l∞ de todas las sucesiones acotadas (ejemplo 2.5) es un
espacio vectorial con la suma usual (xn )n + (yn )n = (xn + yn )n y multi-
plicación por escalar α(xn )n = (αxn )n . Si para x ∈ l∞ definimos
O
El siguiente espacio métrico es un clásico de la topologı́a y del análisis
funcional; por esto, lo discutimos de manera amplia y reiterada.
N
EJEMPLO 2.12 IA
El espacio de Hilbert H, también notado como l2 :
∞
!1
.R
(xi − yi )2
X
(2.14)
i=1
O
sigualdad, la cual asegura que la serie converge absolutamente
∞ ∞
!1/2 ∞
!1/2
N
x2k yk2
X X X
hx, yi ≤ |xk ||yk | ≤ . (2.16)
k=1 k=1 k=1
IA
Por tanto, el par (H, h , i) es un espacio euclidiano de dimensión infinita
—será de Hilbert cuando demostremos que es completo—.
De otra parte, tenemos canónicamente asociada a este espacio una
UB
métrica d inducida por la norma asociada a este producto interior
∞
!1/2
2
X
d(x, y) = kx − yk = (xk − yk ) (2.17)
k=1
.R
Z 1 12
2
m(f, g) := [f (t) − g(t)] dt
0
.....
.......
..
...
.....
..
... .......................
. ....
... .......................
....................... ..
.. ...
... ...................... ...
... ....................... ...
.
.
...... .
....
...... .........
.................. ..
... ..........
.
. .
... .
.
.......
......... .
..... .
...
...
....f..− g .... .
........ ...
...
... ...
.
... ... ...
... .. .... .. . ...
. ..
.
.
.
.
.
... ... .
... .... .... ...
...
...
... . .... ..
... ... ..
.. ...
...
...
.. .... ..
.. ....
.
... .
...
.
.
.
...
.
...f. + g
...
...
... .... ..
...
...
.
... ... ...
.
.. .... ....
.
. ..
. ... ....
... ...
...
..
.... ..
.... .... ..
................
. ..........................
.........
.......................
....
....... .......................
.... .......................
..................................................................................................................................................................................................................................................................................
O
Figura 2.2: La ley del paralelogramo.
N
2.2.1. Caracterización de los espacios euclidianos
para cada f, g ∈ V .
1
hf, f i = k2f k2 + kf − f k2 = kf k2 (2.21)
4
lo cual muestra que este producto escalar efectivamente genera la norma.
O
De (2.20) y (2.21) tenemos que
N
2. hf, gi = hg, f i.
IA
La demostración de las propiedades de linealidad
hf + g, hi = hf, hi + hg, hi
UB
hαf, gi = αhf, gi
requiere de más trabajo y se deja como ejercicio de consulta.
EJEMPLO 2.13
.R
La desigualdad triangular
y por tanto,
sup |f (x) − h(x)| ≤ sup |f (x) − g(x)| + sup |g(x) − h(x)| (2.24)
x x x
EJEMPLO 2.14
C([0, π/2], R) con la norma k k∞ no es euclidiano. Consideremos el par
de funciones f (t) = cos(t) y g(t) = sen(t). Entonces
O
kf k∞ = kgk∞ = 1,
√
kf + gk∞ = max0≤t≤π/2 : cos(t) + sen(t) := 2,
N
√
kf − gk∞ = max0≤t≤π/2 : cos(t) − sen(t) := 1,
con lo cual IA
kf + gk2∞ + kf − gk2∞ 6= 2(kf k2∞ + kgk2∞ ).
Por lo tanto, la norma no puede ser generada por ningún producto es-
calar. Lo mismo es cierto para el espacio (C[a, b], R) para cada a < b.
UB
EJEMPLO 2.15
De manera más general: sean (Y, d) un espacio métrico con una métrica
acotada d y J un J
Q conjunto cualquiera no vacı́o. Sobre el conjunto Y =
.R
Ejercicios 2.2
G
O
3. Rnp o lpn no es euclidiano si p 6= 2 —la norma no puede ser generada
por un producto escalar—.
N
Sugerencia: considere el par de vectores u = (1, 1, 0, . . . , 0) y v =
(1, −1, 0, . . . , 0). IA
4. El siguiente ejercicio generaliza los ejemplos 2.5 y 2.13. Sea X
conjunto. La colección
E = {f | f : X −→ R, acotada}
UB
es un espacio vectorial con las operaciones usuales de suma de
funciones y multiplicación por escalar. Para cada f ∈ E definimos
∞ p
tales que la serie n=1 |xn | < ∞. Si x, y ∈ lp , muestre que
x − y ∈ lp y que la función dp es una métrica en lp , donde
∞
!1
p
p p
X
d (x, y) = |xn − yn | .
n=1
O
son respectivamente, la bola abierta, la bola cerrada y la esfera de
centro en x y de radio ε en el espacio (X, d).
N
•
IA • •
UB
Figura 2.3: Bola abierta, bola cerrada y esfera en R2 .
.R
G
EJEMPLO 2.16
En R32 una bola tiene efectivamente la forma de una ‘bola usual’; pero
esto está bien lejos de suceder cuando utilizamos en R2 otras métricas
diferentes a la usual, como en R31 y R37 (fig. 2.4) donde una bola puede
tener otras formas, pero al fin bolas.
2.3 Topologı́a para una métrica 47
EJEMPLO 2.17
En el espacio (C([0, 1]), d∞ ) (ejemplo 2.13) las bolas abiertas toman
una forma muy especial (fig. 2.5), son franjas abiertas llenas de todos
los segmentos continuos imaginables —no se alza la mano del papel al
trazarlos— i. e., dados ε > 0 y f ∈ C(I, R), la bola Bε (f ) consiste
de todas las funciones que permanecen estrictamente dentro del área
acotada por las funciones f − ε, f + ε.
O
f +ε
f
N
IA f −ε
δ y ε
x •
◦• p
•
N O
Figura 2.6: Las bolas en un espacio métrico forman una base.
IA
De manera similar se muestra la otra contenencia.
Una métrica induce una base, ası́ que la pregunta 2 puesta en térmi-
nos de bases nos conduce a la siguiente definición.
O
—una bola ‘cuadrada’ en d— y un punto y
y con y ∈ Bεd (x), es posible encontrar una bola
N
ε Bδm (y) —‘redonda’ en m y de centro en y—
de tal manera que
x IA y ∈ Bδm (y) ⊆ Bεd (x).
UB
punto; esto es, para cada x ∈ X dada Bεd (x) existe Bδm (x) ⊆ Bεd (x) y
viceversa.
diámetro de A como
EJEMPLO 2.18
Dado el espacio métrico (X, d), definimos dos nuevas métricas:
O
e = mı́n{1, d} tenemos que para la bola Brd (x) —radio r en la métrica
d— al tomar s = mı́n{1, r} se satisface Bse (x) ⊆ Brd (x). La otra inclusión
d
es obvia. Para el caso f = es fácil verificar que
N
1+d
EJEMPLO 2.19
El recı́proco del teorema anterior no es cierto. Sabemos que toda métri-
ca d es topológicamente equivalente a la métrica e = mı́n{1, d}; pero
claramente d, e no tienen por qué serlo métricamente. Por ejemplo, en el
caso de Rnu no es posible encontrar s > 0 que satisfaga d(x, y) ≤ se(x, y)
para todo par de puntos x, y ∈ Rnu . Sin embargo, la métrica e es métrica-
d
mente equivalente a la métrica f = pues tenemos la desigualdad
1+d
f ≤ e ≤ 2f .
O
Normas equivalentes. Para el caso de un espacio vectorial normado,
N
decimos que dos normas k k1 , k k2 son topológicamente o métricamente K
equivalentes si las respectivas métricas asociadas lo son. De otra parte,
decimos que ellas son equivalentes si existen s, t ∈ R>0 tales que,
IA
k k1 ≤ sk k2 y k k2 ≤ tk k1 —las notamos k k1 ≡ k k2 —.
EJEMPLO 2.20
Las métricas l1n , l2n y l∞
n son topológicamente equivalentes. Para esto,
∞√
Br/ 2
(x) ⊆ Br1 (x) ⊆ Br2 (x) ⊆ Br∞ (x).
Para el caso del plano, al graficar las bolas B1 ((0, 0)) para cada una de
las métricas dp , obtenemos la figura 2.7 donde, en la medida en que p
crece, obtenemos una deformación continua del rombo de d1 al cuadrado
de d∞ , en que la circunferencia en d2 no es más que un paso en el
camino.
La justificación de la notación d∞ para la métrica del sup la obtenemos
del siguiente lema.
52 Espacios métricos
0.5
-1 -0.5 0.5 1
O
-0.5
N
IA-1
UB
Lema 2.15. Para cada x = (x1 , . . . , xn ) ∈ Rn se tiene que
lı́m kxkp = máx{|x1 |, . . . , |xn |} = kxk∞ .
p→∞
EJEMPLO 2.21
Una máquina para construir métricas equivalentes. Dados un espacio
métrico (X, d) y una función f : R+ → R+ estrictamente creciente, con
f (0) = 0 y f (u + v) ≤ f (u) + f (v), la compuesta f ◦ d es una métrica. Si
además f es continua en 0, las dos métricas f y f ◦ d son topológicamente
equivalentes.
Verifiquemos, antes de todo, que m = f ◦ d definida como m(x, y) =
f (d(x, y)) es una métrica.
O
1. m(x, y) es positiva por la definición de f . Por ser f creciente ten-
emos que f (d(x, y)) = 0 implica d(x, y) = 0 con lo cual x = y.
Para la recı́proca de ésta afirmación recordemos que f (0) = 0.
N
2. La simetrı́a en m es consecuencia de la simetrı́a en d.
3. La desigualdad triangular,
IA
m(x, z) = f (d(x, z)) ≤ f (d(x, y) + d(y, z))
≤ f (d(x, y)) + f (d(y, z))
UB
= m(x, y) + m(y, z)).
Para verificar que las dos métricas nos llevan a la misma topologı́a,
debemos tener las contenencias entre las respectivas bolas.
Como f es continua en 0, dado ε > 0, existe δ > 0 tal que x < δ implica
.R
f (x) < ε. Por tanto d(x, y) < δ implica m(x, y) = f (d(x, y)) < ε, lo cual
no es más que contenencia entre bolas.
Por ser f creciente se verifica que si m(x, y) = f (d(x, y)) < f (ε) entonces
d(x, y) < ε, con lo cual tenemos la otra contenencia entre las bolas.
G
O
tas descritas por la figura —en este
caso se restan, pero si x y y tienen
diferente signo entonces se suman—. Es una métrica acotada por π, y
N
además resulta ser topológicamente equivalente con la usual ya que la
función f es continua en 0.
En el sentido contrario a como hemos desarrollado esta última sec-
IA
ción, obtenemos una pregunta que ha influenciado el desarrollo de la
Topologı́a: dado un espacio topológico (X, T) ¿existe una métrica d para
X tal que la topologı́a T sea inducida por d? El estudio de la metriz-
abilidad, es decir, la búsqueda de condiciones necesarias y/o suficientes
UB
para que una topologı́a provenga de una métrica, es un capı́tulo abierto
a la investigación con sus propios teoremas, algunos de ellos clásicos en
la literatura matemática.
Ningún espacio topológico (X, T) donde X es un conjunto finito y T no
.R
Ejercicios 2.3
G
2. ¿Cómo son las bolas en la métrica del mensajero? —ver pág. 34—.
4. Dados dos espacios métricos (X, m), (Y, n) muestre que las métri-
cas d1 , d2 , d∞ (ejercicio 1 de 2.1) son equivalentes.
2.3 Topologı́a para una métrica 55
O
7. Dé un ejemplo de una métrica sobre un conjunto enumerable que
no genera la topologı́a discreta.
N
8. Ya hemos definido la métrica d∞ del sup para el conjunto de las
funciones continuas C([0, 1], R). Pero la notación nos lleva a con-
jeturar la existencia de toda la gama de métricas dp para p ≥ 1
IA
—notamos C p [0, 1] = ((C[0, 1], R), dp )— que mide la distancia en-
tre dos funciones f, g asignándoles el número
Z 1 p1
UB
p
dp (f, g) := |f (x) − g(x)| .
0
a) hd∞ i * hd2 i.
b) hd2 i ⊆ hd∞ i.
c) hd1 i * hd∞ i.
d ) hd∞ i * hd1 i.
G
1 − nx si 0 ≤ x ≤ n1
(
gn (x) =
0 si n1 ≤ x ≤ 1
56 Espacios métricos
1 ......
...........
.... ...
......................
........... ....
... . ..
................. ......
.. ...... ... ....
.. . ...
.. ......... ..... ....
...
.. ... .. ... ....
... ... ... ...
... ... ... ... ....
.. ... ... ... ...
....
. .. .
... .... .... ..... ....
...
.. ... ... ... ....
... ... ... ...
... ... ... ... ....
.. ... ... .
. ...
... ... ..... ....
...
... .. ... .... ....
.. ... ... .... ...
... .. ....
.. ... .. . .... ...
.. ... .. . .... ....
... .... ... ...
O
... ... ... . ....
.. ... ... ... ...
.... ....
... ... ... . ...
... ... ... ....
.. ... .. . .... ...
. . ....
.. ... ... .... ...
.. .. . . .. ....
x
1 1 1 1
1
N
n 4 3 2
O
Un espacio (X, T) puede poseer muchas bases, siendo la mayor de
N
todas la misma T. Cuando en un espacio tenemos en cuenta la cardinal-
idad de las bases, motivamos las siguientes definiciones, cuyos nombres
responden más a un carácter histórico que descriptivo.
IA
3.1. 2-contable
UB
Definición 3.1. Un espacio (X, T) se dice 2-contable si entre sus bases
existe alguna con un número enumerable —finito o infinito— de elemen-
tos.
EJEMPLO 3.1
Ru es 2-contable. Por supuesto la base formada por todos los intervalos
abiertos no es enumerable, pero de ella podemos extraer la subfamilia
enumerable
B = {(p, q) : p < q, p, q ∈ Q}.
Esta subfamilia es de nuevo una base —verifı́quelo!— y es enumerable
ya que su cardinal es el mismo de Q × Q.
EJEMPLO 3.2
(R, cof initos) no es 2-contable.
57
58 Bases y numerabilidad
EJEMPLO 3.3
O
X = (RN , primeriza) no es 2-contable (ver ej. 4 de la pág. 34).
N
inicial de las sucesiones, a diferencia de lo ‘usual’ en sucesiones, donde
importa el comportamiento final. Si existiera una base B = {B1 , B2 , . . .},
por cada n ∈ N tomamos un elemento (i. e., una sucesión) tn = (tnk )∞
IA k=1 ∈
n ∞
Bn . Ası́, la sucesión {t1 }n=1 está formada por la primera coordenada de
cada sucesión tn .
Construimos ahora una sucesión q = (qn ) en la cual q1 6= tn1 para cada n,
con lo que la primera componente de q es diferente de la primera com-
UB
ponente de cada una de las sucesiones tn , lo que implica tn ∈ / B1/2 (q)
para todo n, puesto que al diferir q y tn en su primera componente, ya
están lo más lejanas posible, esto es d(q, tn ) = 1. Ası́ que ninguna Bn
de la base puede estar contenida en B1/2 (q).
.R
EJEMPLO 3.4
El espacio H de Hilbert es 2-contable.
G
k=N +1
O
ε2
|qk − tk | < ,
9N
N
y por tanto q = {q1 , q2 , . . . , qN , 0, 0, 0, . . .} verifica que d(q, t) < ε/3.
IA
Nótese que t ∈ B2ε/3 (q) ⊆ Bε (t). Sea r ∈ Q con ε/3 < r < 2ε/3,
entonces t ∈ Br (q) ⊆ Bε (t), pues si d(z, q) < r entonces
3.2. 1-contable
O
una base local enumerable.
EJEMPLO 3.5
N
Todo espacio métrico es 1-contable. Dado x ∈ X, la familia de las bolas
abiertas
Bx = {B 1 (x) : n ∈ N},
es una base local en el punto x.
IAn
UB
EJEMPLO 3.6
Todo espacio 2-contable es 1-contable. Si B ⊆ T es una base enumerable
para un espacio (X, T) y p ∈ X, el conjunto Bx = {B ∈ B : p ∈ B} es
una base local y enumerable en p.
.R
EJEMPLO 3.7
El espacio de Sorgenfrey (R, [a, b)) es 1-contable. Dado x ∈ R el conjunto
Bx = {[x, q) : q ∈ Q, q > x} es una base local enumerable. Muestre que
no es 2-contable.
G
EJEMPLO 3.8
El espacio Tωp del ejemplo 1.11 puede ser generado por una base consti-
tuida por dos clases de elementos: cualquier conjunto unitario diferente
de {p}, o el complemento de cualquier conjunto finito de puntos. Este
espacio falla en ser 1-contable tan solo por uno de sus puntos. Sea X un
conjunto no contable y p un elemento elegido en X. Esta topologı́a para
X no admite una base local enumerable en el punto p —pruébelo—.
1
Esta clasificación se debe al matemático estadounidense Robert L. Moore (Dallas,
Texas 1882 -1974 Austin, Texas) en 1916 en su intento por dar fundamento a la
topologı́a en una serie de axiomas. Moore es reconocido por su manera inusual de
enseñar con un método llamado hoy por su nombre.
3.2 1-contable 61
O
S = {n : Bn ⊆ U, algún U ∈ U}.
N
Sabemos que la colección enumerable C = {Bn : n ∈ S} cubre a X, pues
dado x ∈ X, existe U ∈ U con x ∈ U . Como B es base, existe
S Bk ∈ B
con x ∈ Bk ⊆ U , luego k ∈ S y por tanto Bk ∈ C y ası́ x ∈ C.
IA
Por cada n ∈ S elegimos Un ∈ U tal que Bn ⊆ Un . Definimos D
—el subcubrimiento contable— como D := {Un : n ∈ S}. Claramente
C ⊆ D y por tanto D es un cubrimiento de X y D ⊆ U.
S S
UB
EJEMPLO 3.9
(R, coenumerables) es de Lindelöf y no es 2-contable.
G
EJEMPLO 3.10
(R, [a, b)) es de Lindelöf y no es 2-contable. Dado un intervalo [q, s) con
q irracional, solo otro intervalo de la forma q ∈ [q, a) con a < s puede
contener al punto q y estar contenido en [q, s). por tanto, toda base debe
tener un cardinal mayor o igual al cardinal de los números irracionales.
√
2 4
2
Ernst Leonard Lindelöf (1870-1946), matemático finlandés, nacido en Helsinki.
62 Bases y numerabilidad
O
base, cada elemento Bn ∈ B se puede escribir como Bn = i∈I Qi , (Qi ∈
Q) y esta colección se puede reducir a una contable para cada Bn , pues
dado x ∈ Bn existe Qx ∈ Q tal que x ∈ Bx ⊆ Qx ⊆ Bn . Bx ∈ B y la
N
colección {Bx : x ∈ Bn } es claramente contable y por tanto también lo
es la colección Qn = {Qx : Bx ⊆ Qx }. Al variar n en Bn , obtenemos una
colección enumerable de enumerables Qn , la cual es una base.
IA
Ejercicios 3.2
UB
O
15. El espacio de Arens-Fort (pág. 22, ejercicio 15 de 1.3) no es 1-
contable ya que no es 2-contable. Pruébelo!
N
tarias.
N O
Hasta aquı́ hemos definido y tenemos lo que podrı́amos llamar los
objetos de nuestra teorı́a, es decir, ası́ como en la teorı́a de conjuntos
IA
los objetos principales son los conjuntos, no basta el que ellos existan
para que la teorı́a sea valorada: necesitamos contar con un medio o una
manera de relacionar los conjuntos entre sı́, esto es, requerimos las flechas
de las funciones, para que ası́ podamos llegar a conceptos como los de
UB
cardinalidad, infinito, isomorfismo, producto cartesiano, etc.
Por tanto necesitamos de flechas o medios de comunicación entre
nuestros espacios topológicos. Como ellos primariamente son conjuntos,
nuestras flechas, en su base, serán funciones entre estos conjuntos. Pero
debemos enriquecerlas en el sentido que tengan en cuenta la estructura
.R
topológica adicional que hay en cada espacio; por eso, requerimos fun-
ciones con un adjetivo como lo da la siguiente definición.
G
EJEMPLO 4.1
La definición de continuidad del cálculo coincide con esta definición
cuando a los números reales les damos la topologı́a usual.
64
4.1 Funciones continuas 65
O
está contenido en V , luego Ux ⊆ f −1 (V ) y ası́
f −1 (V ) = {Ux | x ∈ f −1 (V )}.
[
N
⇐) Sean x ∈ X y V ∈ H tales que f (x) ∈ V . Como x ∈ f −1 (V ) ∈
IA
T y f (f −1 (V )) ⊆ V , tenemos que f es continua en x, y como x fue
cualquiera, f es continua.
UB
Para verificar la anterior caracterización de continuidad es suficiente K
que verifiquemos la condición f −1 (B) ⊆ T para una base B cualquiera
¿por qué?; más aun, f −1 (S) ⊆ T de una subbase S cualquiera.
Por supuesto la continuidad no es algo que dependa exclusivamente
de la función en sı́; las topologı́as son determinantes como lo muestran
.R
EJEMPLO 4.2
1. Cualquier función f : (X, 2X ) −→ (Y, H) es continua.
G
O
espacios métricos de la manera siguiente.
Definición 4.3. Sean (X, d), (Y, m) dos espacios métricos. Una función
N
f : X −→ Y se llama uniformemente continua si para cada ε > 0,
existe δ > 0 tal que si d(x, y) < δ entonces m(f (x), f (y)) < ε.
IA
En otras palabras, dado cualquier ε > 0, existe δ > 0 —δ dependi-
endo únicamente de ε, con lo que δ es uniforme para todos los puntos
x ∈ X a diferencia de la continuidad usual— tal que para cualquier
x ∈ X, f (Bδ (x)) ⊆ Bε (f (x)).
UB
EJEMPLO 4.3
Sean (X, d), (Y, m) dos espacios métricos. f : (X, d) −→ (Y, m) se lla-
ma Lipschitziana con factor de contracción k si para todo par de
puntos x, y ∈ X se tiene
.R
esto es, m(f (x), f (y)) = d(x, y) decimos que f es una isometrı́a —es
continua e inyectiva—. Si f es sobreyectiva entonces f −1 es una isometrı́a
con lo que los espacios resultan homeomorfos.
EJEMPLO 4.4
Por supuesto toda función uniformemente continua es continua. Pero lo
contrario no se tiene:
δ tal que |x − y| < δ implique |x2 − y 2 | < 1 para todo par x, y; por
1 δ 1
ejemplo para x = + , y = . Pero si x2 es restringida a un intervalo
δ 2 δ
cerrado y acotado [−A, A] entonces sı́ es uniformemente continua, pues
ε
|x − y| < implica
2A + 1
ε
|x2 − y 2 | = |x + y||x − y| ≤ 2A <ε
2A + 1
para x, y ∈ [−A, A]. Contrario a la anterior función, las funciones x 7→
O
x
x + 1 y x 7→ de R en R sı́ lo son.
1 + x2
La propiedad de ser uniformemente continua es métrica —no topoló-
N
gica— en el sentido de que cambiando la métrica d sobre el espacio
(X, d) por una métrica d∗ topológicamente equivalente, podemos hacer
IA
que una función continua f sea o no uniformemente continua.
De acuerdo con el ejercicio 9 de la página 88, desde un punto de vista
estrictamente topológico, todas las funciones continuas entre espacios
métricos resultan ser en un sentido uniformemente continuas. Aunque
UB
parezca extraño, podemos cambiar la métrica del espacio en el dominio
por una equivalente que nos produzca la uniformidad.
EJEMPLO 4.5
.R
En efecto, dado ε > 0 encontremos δ > 0 tal que si d(x, y) < δ entonces
|d(x, A) − d(y, A)| < ε. Para esto es suficiente probar que para cada par
de puntos x, y ∈ X se tiene |d(x, A) − d(y, A)| ≤ d(x, y), con lo cual
δ = ε satisface la condición —tenemos una contracción—.
d(x, A) = ı́nf{d(x, a) | a ∈ A}
≤ ı́nf{d(x, y) + d(y, a) | a ∈ A}
= d(x, y) + ı́nf{d(y, a) | a ∈ A}
= d(x, y) + d(y, A),
68 Funciones —comunicaciones entre espacios—
EJEMPLO 4.6
Dado (X, d), la función d : X × X −→ R es uniformemente continua
cuando a X × X lo dotamos de la métrica
O
d∞ (x, y) = máx{d(x1 , y1 ), d(x2 , y2 )}
N
para x = (x1 , x2 ), y = (y1 , y2 ).
EJEMPLO 4.7
.R
I I I I
EJEMPLO 4.8
La función
EJEMPLO 4.9
Métricas exóticas para R. Sean X un conjunto y (Y, m) un espacio
métrico. Dada una función inyectiva f : X −→ Y , definimos una métrica
d∗ llamada la métrica inducida por la función f como
O
Para el caso X = Y = R y m = usual, obtenemos métricas exóticas
según consideremos a f . Por ejemplo, d∗ (x, y) =| arctag(x) − arctg(y) |,
| ex − ey |, o en el caso de considerar R>0 obtenemos | 1/x − 1/y |.
N
Pero ¿cuáles de estas métricas resultan equivalentes a la usual?
IA
Si f : (X, d) −→ (Y, m) es un homeo- f
morfismo —f es biyectiva y tanto f como (X, d) - (Y, m)
f −1 son continuas— entonces la métrica @
d∗ (x, y) := m(f (x), f (y)) es equivalente a @
f −1
UB
la métrica d. Para ello basta ver que la fun- idX
@
ción identidad idX : (X, d) −→ (X, d∗ ) es
@
R ?
@
un homeomorfismo —ejercicio 4 pág. 69— (X, d∗ )
.
En el caso de la función tan : (−π/2, π/2) −→ R y su inversa
.R
Ejercicios 4.1
G
O
(cerrada) si la imagen de un subconjunto abierto (cerrado) es
un abierto (cerrado) en Y . Dé ejemplos de funciones abiertas que
no sean continuas, de funciones continuas que no sean abiertas,
N
de funciones continuas y abiertas, de funciones ni continuas ni
abiertas.
Sugerencia: considere las proyecciones de R2u en Ru .
IA
9. Sean X, Y conjuntos linealmente ordenados. Toda f : X −→ Y
estrictamente creciente —x < y implica f (x) < f (y)— y sobreyec-
tiva es continua.
UB
Además 1, 2 y 3 satisfacen:
4.2 La categorı́a Top 71
4. h ◦ (g ◦ f ) = (h ◦ g) ◦ f —asociatividad —.
O
Definición 4.4. Una categorı́a (O, M)consiste en una colección O K
llamada los objetos de la categorı́a, y de una colección M de conjuntos
N
cuyos elementos se llaman los morfismos o las flechas de la categorı́a, con
la propiedad que para cada par de objetos A, B ∈ O existe un conjunto
M or(A, B) ∈ M que satisface:
IA
1. Para cada trı́o A, B, C de objetos existe la composición de mor-
fismos denotada por ◦ tal que si f ∈ M or(A, B), g ∈ M or(B, C)
UB
entonces g ◦ f ∈ M or(A, C).
EJEMPLO 4.10
1. La clase de todos los conjuntos y las funciones entre conjuntos es
una categorı́a.
O
4.3. Propiedades heredables
N
Cuando una propiedad del espacio también pasa a los subespacios,
decimos que la propiedad es hereditaria; por ejemplo, la propiedad de
poseer una base enumerable es hereditaria, al igual que poseer una base
IA
enumerable en un punto. Otro ejemplo de una propiedad que se hereda
a los subespacios es la metrizabilidad.
EJEMPLO 4.11
Si X es un espacio discreto —grosero— entonces cualquier A ⊆ X hereda
la discreta —grosera— como la topologı́a de subespacio, pues dado a ∈ A
el conjunto {a} = A ∩ {a} es un abierto de la topologı́a inducida.
4.3 Propiedades heredables 73
EJEMPLO 4.12
Sea (X, T) un espacio y (A, TA ) un subespacio de X. La función inclusión
i : A ,→ X con i(x) = x es una función continua, pues claramente si U
es abierto de X, i−1 (U ) = U ∩ A que es la forma como hemos definido
los abiertos.
O
Ejercicios 4.3
N
1. ¿Cuáles de las siguientes propiedades son hereditarias: discreto,
IA
1-contable, 2-contable, T1 , Hausdorff, convergencia trivial, conver-
gencia única, Alexandroff?
O
Los conceptos de filtro1 y ultrafiltro aparecen en un espectro amplio
N
de ramas de la matemática: teorı́a de modelos, topologı́a, álgebra com-
binatoria, teorı́a de conjuntos, lógica, etc. En esta sección estudiamos su
relación con la topologı́a y en especial con el concepto de convergencia.
IA
5.1. Filtros
UB
Recordemos que el conjunto V(x) de las vecindades de un punto x
en un espacio (X, T) satisface las propiedades: 1) La intersección de dos
vecindades es una vecindad —cerrado para intersecciones finitas— 2) Si
Vx es una vecindad de x entonces cualquier conjunto W tal que Vx ⊆ W
es de nuevo una vecindad —cerrado para superconjuntos—.
.R
1. Si F1 , F2 ∈ F entonces F1 ∩ F2 ∈ F,
2. Si F ∈ F y F ⊆ G entonces G ∈ F.
74
5.1 Filtros 75
EJEMPLO 5.1
Dados un espacio (X, T) y un punto x ∈ X, el conjunto V(x) de las
vecindades de x es un filtro para X.
O
Usualmente los filtros se definen dando tan solo algunos de sus ele-
mentos, a partir de los cuales los demás pueden obtenerse por la con-
N
tenencia de la propiedad 2 de la definición 5.1, i. e., los elementos del
filtro son los superconjuntos de los elementos de la base.
IA
La definición de base de filtro no es puntual, como en el caso de la
definición de base para una topologı́a.
1. ∅ ∈
/ B y B 6= ∅,
Demostración. Definimos
G
F := {F ⊆ X | B ⊆ F para algún B ∈ B} = h B i.
EJEMPLO 5.2
1. Sea A ⊆ X. B = {A} es una base de filtro. El filtro generado
O
FhAi = hA i se llama filtro principal asociado a A. El caso en
que A = {a} —un conjunto unitario— es un ejemplo interesante.
N
2. Para un punto x en un espacio, el conjunto de las vecindades abier-
tas es una base de filtro para el filtro V(x). Nótese que V(x) ⊆ hxi.
IA
3. Sea B ⊆ 2N el conjunto de las colas de N, esto es
Nota. Análogo a como sucede con las bases en los espacios topológicos,
es de esperarse que existan bases de filtro que generen un mismo filtro;
en tal caso, también es útil definir una relación de equivalencia.
EJEMPLO 5.3
Dado un filtro F en X, T = F ∪ {∅} es una topologı́a —filtrosa—.
O
En particular F il(X) es inductivo, esto es, toda cadena tiene una
cota superior —¿por qué?— luego será posible ‘zornificar’ como en
N
el teorema 5.6. Si admitimos el filtro impropio ℘(X) (a los demás
filtros los llamamos propios) entonces F il(X) resulta ser un retı́culo
completo.
IA
5.2. Ultrafiltros
UB
que F ⊆ U.
M = {G | F ⊆ G y G un filtro en X}.
O
Demostración. ⇐) Si F es un filtro tal que U ⊆ F, debemos mostrar
que U = F. Si existiera F ∈ F tal que F ∈ / U entonces F c ∈ U y por
N
tanto F c ∈ F, lo cual implica que ∅ ∈ F.
IA / U y Ac ∈
⇒) Supongamos que existe A tal que A ∈ / U. La colección
B := {F ∩ A | F ∈ U}
EJEMPLO 5.4
El filtro de Frèchet en N no es un ultrafiltro, pues N = P ∪ I —los pares
unidos con los impares— y tanto P como I no están en Frèchet.
5.2 Ultrafiltros 79
O
no principal o libre. Lo interesante es anotar que este es el único tipo
de ultrafiltro libre.
N
Teorema 5.10. Sea U un ultrafiltro sobre un conjunto infinito X. En-
tonces Fc ⊆ U o U es principal.
IA
Demostración. Si no se tiene la contenencia, existe A ∈
/ U con A ∈ Fc .
Como Ac es finito y Ac ∈ U existe x ∈ Ac con {x} ∈ U y ası́ U es
principal.
UB
Si U no es principal, para todo T x ∈c X tenemos {x}c ∈ U. Dado
A ∈ Fc , la intersección finita A = {{x} : x ∈ Ac } está en U.
Ejercicios 5.2
.R
A ∩ B ∈ F ⇔ A ∈ F y B ∈ F.
G
G(p, U) := 2X−{p} ∪ U.
O
A, esto es,
F ∩ A := {F ∩ A | F ∈ F}
N
es una base de filtro en A si y solo si cada F ∩ A 6= ∅. ¿Cómo
es la relación de contenencia entre estos filtros? (creando nuevos
IA
filtros).
Fréchet.
es un filtro sobre X.
5.3 Sucesiones 81
5.3. Sucesiones
O
Si una sucesión converge a un punto x, cualquier vecindad del punto
es un superconjunto para alguna cola de la sucesión. Es como si las
N
colas fuesen una base para un filtro más fino que las vecindades de x.
EJEMPLO 5.5
IA
En R con la topologı́a cofinita casi todas las sucesiones convergen, las
únicas sucesiones no convergentes son las sucesiones en las cuales existe
más de un punto que se repite de manera infinita —existe más de una
UB
subsucesión constante—.
EJEMPLO 5.6
En (R2 , lexi) la sucesión ( n1 , n12 ) no converge al punto (0, 0). Para que una
sucesión converja a (0, 0), debe hacerlo a lo largo de una recta vertical
.R
EJEMPLO 5.7
El espacio del disco tangente, plano de Moore o semiplano de
G
O
Figura 5.1: La topologı́a del disco tangente.
N
Definición 5.12. Decimos que el espacio X es de convergencia única
si dada cualquier sucesión (xn ) que converge, ella lo hace a un único
IA
punto.
Proposición 5.13. Si X es un espacio de Hausdorff entonces X es de
convergencia única.
UB
Demostración. Si (xn ) converge tanto a x como a y para x, y ∈ X, por
ser X de Hausdorff existen Vx , Vy con Vx ∩ Vy = ∅. Pero de otra parte,
casi toda (xn ) está en Vx y casi toda (xn ) está en Vy , y esto no puede
suceder a menos que x = y.
.R
EJEMPLO 5.8
Un espacio discreto es de convergencia trivial.
EJEMPLO 5.9
El espacio de Arens-Fort X = (N × N) ∪ {w} (pág. 22) es un espacio de
convergencia trivial:
O
que a la larga sea constante, ya que para estos puntos los conjuntos
unitarios son abiertos.
N
2. Ninguna sucesión puede converger a w. Si xn → w entonces cada
fila contendrá, a lo más, finitos términos de la sucesión. Excluyendo
estos términos en cada una de las filas, obtenemos un conjunto
IA
abierto que contiene a w y no contiene los términos de la sucesión.
O
X tal que xn ∈ B1/n (x) y f (xn ) ∈ / Vf (x) . Claramente, para la sucesión
ası́ definida tenemos que xn → x, y de otra parte Vf (x) no contiene a
ningún f (xn ), lo que niega la propiedad.
N
En la demostración anterior lo realmente básico para esta caracteri-
IA
zación de continuidad es el hecho de que en (X, d) existe una base local
contable en cada punto, i.e., 1-contable; luego podemos generalizar el
teorema anterior.
UB
Teorema 5.18. Para los espacios 1-contable, la continuidad secuencial
es equivalente a la continuidad en general.
EJEMPLO 5.10
G
EJEMPLO 5.11
1. Si X es un espacio y x ∈ X, el filtro principal Fx → x. Si X tiene
la topologı́a discreta, Fx converge no solo a x sino a cualquier otro
punto.
O
puede describirse completamente en términos de la convergencia de suce-
siones; esto es, un subconjunto A ⊆ X es cerrado si y solo si, dada (xn ) K
una sucesión de puntos en A con xn → x, entonces debemos tener que
N
x ∈ A. Este resultado no se generaliza a espacios topológicos arbitrarios.
Por ejemplo el conjunto A = (0, 1) no es cerrado en (R, coenumerables)
y sin embargo satisface la propiedad, i. e., toda sucesión en A que es
IA
convergente lo hace a un punto en A —solo convergen las sucesiones
constantes—.
En los espacios topológicos, en general, no podemos caracterizar el
UB
ser de Hausdorff —al menos sobre los que no son 1-contable— en térmi-
nos de la convergencia usual de sucesiones. Necesitamos entonces de un
mecanismo de convergencia no en términos de sucesiones. Veremos que
los filtros nos proporcionan este mecanismo.
O
Demostración. ⇒) Si xn → x entonces dada Vx tenemos por la definición
N
de convergencia de sucesiones que Vx está en el filtro asociado.
⇐) Si cada vecindad está contenida en el filtro asociado a la sucesión,
entonces dada una Vx existe una cola Xn tal que Xn ⊆ Vx .
IA
El hecho que el concepto de filtro sea más general que las propiedades
de vecindad tiene reflejos en la continuidad entre los espacios topológi-
UB
cos, ya que esta continuidad se puede caracterizar en términos de filtros,
ası́ como la caracterizamos en términos de convergencia de sucesiones.
f (F) := {f (F ) | F ∈ F}
O
f (x) y esto no puede suceder ya que Vf (x) ∈
/ hf (V(x))i.
N
Ejercicios 5.3
IA
1. Un espacio X es de Hausdorff si y solo si todo filtro F que converge
es de convergencia única.
O
muestre que d, d∗ son equivalentes si
N
IA
UB
.R
G
6 Homeomorfismos –o geometrı́a del
caucho–
N O
En teorı́a de conjuntos, dos conjuntos A, B se definen equivalentes
—iguales en algún sentido y el sentido es precisamente la definición de
IA
la relación de equivalencia— si ellos tienen el mismo cardinal, es decir,
si existe una biyección f : A −→ B. Que f sea una biyección también
se puede expresar diciendo que existe g tal que f ◦ g = 1B y g ◦ f = 1A .
Al querer generalizar este concepto a los espacios topológicos, a
UB
más de la cardinalidad, parte inherente a los conjuntos, debemos pedir
una relación entre las topologı́as de los dos espacios. En una categorı́a
cualquiera D dados dos objetos A, B decimos que son equivalentes iso-
morfos si existen f ∈ M or(A, B) y g ∈ M or(B, A) tales que f ◦ g = 1B
y g ◦ f = 1A . Modelando esta definición para el caso de los espacios
.R
6.1. Homeomorfismos
G
Definición 6.1. Dados dos espacios (X, T), (Y, H) decimos que X es
homeomorfo a Y —o que X es topológicamente equivalente a Y
y notamos X ≈ Y — si existe una biyección f : X −→ Y con f y f −1
continuas.
La función f se llama un homeomorfismo y
U ∈ T ⇐⇒ f (U ) ∈ H.
89
90 Homeomorfismos –o geometrı́a del caucho–
O
EJEMPLO 6.1
La redondez —es una sensación— no afec-
N
............
........ ......
ta para nada el hecho que dos subespacios ...........
.
......
.......
....... . .... .....
..... .....
... ...
...... ...
EJEMPLO 6.2
El tamaño —es subjetivo— no interesa en topologı́a, por ejemplo el
intervalo (−1, 1) y R, cada uno con la topologı́a usual, son homeomorfos
x
mediante f : R −→ (−1, 1) definida como f (x) = , la cual es
.R
1 + |x|
un homeomorfismo. Note que f tiene como inversa a g : (−1, 1) −→ R
x
donde g(x) = .
1 − |x|
G
EJEMPLO 6.3
La proyección estereográfica de S 2 −{p} en R2 , donde el punto p =
(0, 0, 1) es el polo norte.
x y
F (x, y, z) = , ,0 .
1−z 1−z
6.1 Homeomorfismos 91
O
...............................................................................................................................
....
...
.......
◦
.......... ... .................... ...
S2
...
..... ......
.....
.. ... . ...........
.
....
...
... . .. . .... ...
.....
...
..
.
. ... ..... ...
. ... . ...
◦ (x, y, z)
.. . ...
..... ...
. . .
. .
...... .. ...
.... .
.
. . .....
....
...
... . . . .... . . . . . . . . . . . . . ..... ....
N
.. .. . . .
. . . .. .......
...
.. . .. . . ...
...
..
.
.....
.
. . .
.... ..... ..
. ...
.
.
...
.....
.....
.
◦ .
.
..
...
! .
..
.
. ....
......
......
.......
.
...
...
...
....
...
..
.
... .
...
.
... . .....
.
.
.
.
.. . . . . . . . . . . . . . . . . . . ...
.
.
. • .
....... ...
...
....
F (x, y, z)
.. .
... ... . .
... ... ...
....
.....
•
IA ......
.
.
....
. ....
.
..... ....
...
..................................................................................................................................................................................................................................................................
...
...... ....
. .
........ .....
.....................................
R2
O
que sea posible deformar la una en la otra
—a la manera del caucho—. Se trata sim-
plemente de un Toro enredado como una
N
manguera —no nos importa el número de
vueltas— donde la única manera de de-
IA
senredarlo serı́a cortando, lo que es inter-
pretado como un paso no continuo.
Otro ejemplo es pensar en la cinta de Möbius1 , una tira de papel
donde los bordes más pequeños se pegan —identifican— después de dar
UB
un giro de media vuelta. (Ver ejemplo 7.2).
.R
Dos cintas de Möbius (ver fig. 6.3) son homeomorfas si ambas tienen
un número impar de giros. Ellas son homeomorfas aunque en este mundo
real —de tres dimensiones— nos sea imposible deformar la una en la otra
a menos de romperlas. Si el número de giros es par, obtenemos un espacio
no homeomorfo a la cinta de Möbius; se trata en efecto de un cilindro.
1
August Ferdinand Möbius (1790-1868), matemático y astrónomo alemán. Hizo el
descubrimiento de esta superficie cuando era profesor en la Universidad de Leipzig. El
nombre de Möbius está ligado con muchos objetos matemáticos importantes, como la
función de Möbius, que introdujo en su artı́culo de 1831 Über eine besondere Art von
Umkehrung der Reihen (Sobre una forma especial de invertir las series), y la fórmula
de inversión de Möbius.
6.1 Homeomorfismos 93
O
Figura 6.3: Cintas de Möbius homeomorfas con diferente número de giros.
N
Claro que la posibilidad o no de deformación manual en estos ejem-
plos tiene relación directa con la dimensión del espacio en que los hemos
construido y el espacio 3-dimensional en que actuamos.
IA
UB
N O
Figura 6.5: Botella de Klein.
IA
UB
Una de las construcciones más famosas en cuatro dimensiones es el
hipercubo —algo como un cubo de cubos— el cual fue imaginado en tres
dimensiones —desdoblado— y utilizado por Salvador Dalı́ en su pintura
del año 1954 Hipercubo de Cristo (figura 6.6).
.R
EJEMPLO 6.4
La circunferencia se deforma en un cuadrado. Sean la circunferencia
S 1 = {(x1 , x2 ) : x21 + x22 = 1} y el rombo R = {(x1 , x2 ) | |x1 | + |x2 | = 1}.
G
x1 x2
Definimos f : S1 −→ R como f ((x1 , x2 )) = ,
|x1 | + |x2 | |x1 | + |x2 |
........
...
................. ....................... ....
.... ......
la cual es una biyección continua, con
......
......
..... .... ...
....
.....
inversa también continua
..... ....
.... .... .... ....
... ... .... ....
..... ... .....
. ....
....
... ... ..... ....
f−1 ((x1 , x2 )) =
.. .... .
..
.. ....
....
.....
...
...
.. f
.. ................................................. ........
...
..
. ....
....
....
... . ... .... ..
... .. ....
x1 x2
....
... ....
...
..
. ....
.... ..
..
...
... ... .... ......
, .
. . .
...
... ....
.
....
.. .
.....
... .. ....
....
.
... ....
N O
IA
UB
EJEMPLO 6.5
El plano punteado se deforma en un cilindro infinito.
G
x1 x2 1
h((x1 , x2 )) = , , log(x1 2 + x2 2 )
2 2
(x1 + x2 )1/2 2 2
(x1 + x2 ) 1/2 2
donde
h−1 ((x1 , x2 , x3 )) = (x1 ex3 , x2 ex3 ) .
96 Homeomorfismos –o geometrı́a del caucho–
. ... . ..
.. . .......... .. .. . .... .... .... .... .... .... .... .... .
.. ... .. .. .. .... ... ... ...
.. .. .. .... .. . ...
.. .. ... . . .. .... ..
. . .. .. ... ..
..
.
.. ..... . .
. . . .. .. .. . ....
.....
.. .. . . .... .. .. .. ... ...
. .... ....
.. .. . . ... .. .. .. .... .... .... ..
.. ...
.. ....
.. .. ...... . .. .. .... .... .... ..
.. .... .... .... .... .... .... .... .... ...
.. .. .. . .. .. . ..
. . . . . . .. ..... .....
. . . . ... .. .
.. .. .. .... .. .. .... ....
..
. ..
..
..
..
..
..
.
... . .
... .
. . ..
..
.
..
. . .. h ...
.....
...
.....
. .. . ..
............................................................................................................................................................ ...................... .. ..
. .. . . . .... ....
.. .. . . ... .. .. ..
.. . . ... .. . .. .. .... ....
.. . .
.. .. .. ..... .. .. .. ..... .....
.. . .. .. .
. .. .. ... ...
. . . . . . ..
..
. .. .. . ..... .... .... ....
.... .... .... .... .... .... .... ...
.. .. .... .. .. .. . .... ..
. . .... .... . ....
.. .. .. .... . . .. .. ...... .... ... ...
. .. .. .. ...
. .. .. .....
.....
..
. . . . . . ...
.. .. ...... .. .. ...
.. .. . . ... .. .. ....
.... . . ..
..
.. .. . . ... . .. .. ... .... ... ...
.. .. .. ... . .. .... .... .... .... .... .... .... .... .... .... .
.. .. .. .. . ..
O
Ejercicios 6.1
N
1. En un espacio la función idéntica es un homeomorfismo.
f (B) := {f (B) | B ∈ B}
G
O
f |A : (A, TA ) −→ (f (A), Hf (A) )
es un homeomorfismo.
N
9. Sean (X, ≤), (Y, E) espacios totalmente ordenados. Una biyección
f : (X, T≤ ) −→ (Y, TE ) es un homeomorfismo si y solo si f es
estrictamente creciente.
IA
6.2. Invariantes topológicos
UB
EJEMPLO 6.6
La propiedad de ser 2-contable es un invariante topológico.
O
En efecto, sean (X, T), (Y, H) espacios homeomorfos y X 2-contable; si
h : X −→ Y es un homeomorfismo y B = {B1 , B2 , . . .} es una base para
X, veamos que h(B) = {h(B1 ), h(B2 ), . . .} es una base para Y . Sean
N
V un abierto de Y y y ∈ V , entonces existe U tal que h−1 (y) ∈ U y
h(U ) ⊆ V . Por ser B una base, existe Bi tal que h−1 (y) ∈ Bi ⊆ U .
Luego y ∈ h(Bi ) ⊆ h(U ) ⊆ V .
IA
Nota. La propiedad de ser Lindeloff es un invariante topológico, pero
aún más: tan solo utilizamos la continuidad de h para demostrar la
UB
invarianza topológica —es decir, la imagen continua de un espacio de
Lindeloff es de nuevo de Lindeloff —. Sin embargo, este no siempre es el
caso, es decir, existen propiedades donde no es suficiente la continuidad
en un solo sentido; por ejemplo
O
un homeomorfismo. Si X es metrizable entonces Y es metrizable.
N
imos
∗
z ∈ Bεd (y). Como h−1 (z) ∈ Bεd h−1 (y) tenemos z ∈ h Bεd (h−1 (y)) .
Pero Bεd (h−1 (y)) ∈ T implica h(Bεd (h−1 (y))) ∈ H pues h es homeo-
∗
morfismo y además h(Bεd (h−1 (y)) está contenido en Bεd (y); por tanto,
∗
Bεd (y) es unión de elementos de H y esto implica que W también es
G
unión de elementos de H.
O
EJEMPLO 6.7
N
El intervalo unidad I = [0, 1] con la topologı́a de subespacio de los
reales tiene la PPF. IA
En efecto, dada f : I −→ I continua, definimos g : [0, 1] −→ R como
g(x) = f (x) − x; lo que g hace es medir la distancia entre (x, x) y
(x, f (x)). Luego necesitamos ver que g(x) es igual a cero en algún punto
UB
de [0, 1]. Si f (0) = 0 o f (1) = 1 ya lo hemos encontrado. Si f (0) > 0 y
f (1) < 1, tenemos que g(0) > 0 y g(1) < 0. Como g es continua, por el
teorema de Bolzano del cálculo elemental, existe x tal que g(x) = 0.
.R
EJEMPLO 6.8
Los subespacios [0, 1] y (0, 1) de R no son homeomorfos, ya que el se-
gundo no posee la PPF —¿por qué?—.
G
Uno de los teoremas del folklore de la teorı́a de puntos fijos —su de-
mostración usual utiliza técnicas de la topologı́a algebraica— conocido
como el teorema del punto fijo de Brower asegura que un disco cerrado
—homeomorfo al cuadrado [0, 1] × [0, 1]— tiene la PPF. Una manera
fı́sica de interpretar este teorema es la siguiente: tome una taza de
café, revuelva suavemente el contenido y espere hasta que el café de-
je de moverse. Cada partı́cula de café tiene una posición inicial y una
final. Como el movimiento fue suave, los puntos de la superficie, home-
omorfa a I × I, permanecen superficiales, de tal suerte que debe existir
un punto que regresa a la posición inicial, esto es, su café no quedó bien
revuelto.
6.2 Invariantes topológicos 101
Ejercicios 6.2
O
y X y Y tienen el mismo cardinal.
N
5. Muestre que (R, [a, →)) y (R, Tx ) no son homeomorfos.
N O
En un curso de álgebra se encuentran los conceptos de grupo cociente
o anillo cociente, en los cuales la idea es dar una estructura algebraica al
IA
conjunto de coclases de un subgrupo o un ideal. Estos conceptos (basados
en una relación de equivalencia) dan una estructura algebraica a una
partición del grupo o del anillo.
En lo concerniente a la topologı́a, el concepto equivalente es el de es-
UB
pacio cociente al dar una topologı́a a una partición del espacio donde
los elementos serán ahora las clases de equivalencia inherentes a la par-
tición.
Si R es una relación de equivalencia en el espacio X, ¿cómo dar una
topologı́a al conjunto cociente X/R (de las clases de equivalencia o
.R
102
7.1 Topologı́a cociente 103
EJEMPLO 7.1
O
En el intervalo [0, 1] 1
S identificamos 0 ≡ 1. [0, 1]0≡1 ≈ S . Tenemos que la
partición es {0, 1} {{a} : a ∈ (0, 1)}.
N
IA
UB
Figura 7.1: Esquema para la construcción de S 1 .
EJEMPLO 7.2
Cinta de Möbius a . Muchos espacios se construyen a través de otro iden-
.R
después de su muerte.
(0, y)
(3, 1 − y)
O
Figura 7.3: La imagen inversa de un abierto en la cinta de Möbius.
N
La preimagen de un disco abierto en la cin-
ta es, o bien el conjunto formado por los
dos semidiscos abiertos, o un disco abier-
IA
to interior al rectángulo. En todo caso se
trata de un abierto en X/R pues su preim-
agen por q corresponde a un abierto en la
topologı́a del rectángulo (fig. 7.3).
UB
O
Demostración. Si f es continua claramente f ◦q también lo es. En el otro
N
sentido, asumamos que f ◦ q es continua y sea U ⊆ Z con U ∈ T. Para
ver que f −1 (U ) es un abierto de X/R debemos tener que q −1 (f −1 (U ))
sea abierto de X, es decir, (f ◦ q)−1 (U ) lo sea.
IA
7.1.1. Descomposición canónica por una función
UB
Dada una función sobreyectiva f : X −→ Y entre conjuntos, la
colección de las fibras Rf := {f −1 (y)}y∈Y determina una partición en
X.
q
La función cociente q : X −→ X/Rf satis- X - X/R
f
face q(x) = [x] = f −1 (f (x)); luego la función
.R
@
hf : X/Rf −→ Y dada por hf ([x]) := f (x) @ hf
f @
o hf (f −1 (y)) = y está bien definida y es una R ?
@
biyección. Y
G
con lo cual
q −1 (h−1 −1
f (U )) = q (q(f
−1
(U )) = f −1 (U ),
O
es. Sea U un subconjunto abierto en X/Rf , entonces hf (U ) = f (q −1 (U ))
el cual es un abierto. En caso que f sea cerrada, la demostración se deja
como ejercicio.
N
La siguiente clase de funciones generaliza a las funciones cociente
q : X −→ X/R .
IA
Definición 7.6. Sean (X, T) un espacio, Y un conjunto y f : X −→ Y
una función sobreyectiva. La topologı́a cociente o identificación sobre
Y es la colección
UB
TYf = {V ⊆ Y | f −1 (V ) ∈ T}.
O
propiedades.
N
función cociente si la topologı́a sobre Y es la topologı́a cociente.
IA
Esto significa que una función sobreyectiva f : (X, T) −→ Y es una
función cociente si y solo si para todo V ⊆ Y . K
q
to de X/Rf . Como f es una función cociente, X - X/R
f
basta mostrar que f −1 (hf (U )) es abierto en X. @
Pero f −1 (hf (U )) = q −1 (U ) y como q es contin- @ ≈hf
f
ua, tenemos que q −1 (U ) es abierto. Si observa- @
mos que hf ◦ q = f obtenemos que h−1 f ◦f = q
R ?
@
Y
es continua y como f es una cociente, por el
teorema anterior h−1 f es continua.
¿Cómo podemos reconocer las funciones cociente? i. e., ¿bajo qué condi-
ciones una topologı́a dada proviene de una función cociente? Parte de
la respuesta la da el siguiente teorema.
108 Espacios de identificación –cociente–
O
función f es abierta y sobreyectiva.
Si f es cerrada, el mismo argumento se aplica cambiando ‘abierto’
N
por ‘cerrado’.
EJEMPLO 7.3
Sean X = [0, 2π] y Y = S 1 . f : X −→ Y definida como f (x) :=
.R
EJEMPLO 7.4
El toro. Sea X = [0, 1] × [0, 1] con la topologı́a de subespacio usual de
R2 . Particionamos a X en cuatro clases mediante la siguiente relación
R (ver figura 7.4).
1. {(0, 0), (1, 0), (0, 1), (1, 1)}: las esquinas se identifican.
2. {(x, 0), (x, 1)} para cada x ∈ (0, 1): ‘pegamos’ el borde inferior con
el borde superior.
3. {(0, y), (1, y)} para cada y ∈ (0, 1): ‘pegamos’ los lados.
O
Figura 7.4: Una partición sobre I × I que conduce al Toro
N
El espacio T asociado a esta partición es el toro, también descrito
como T = S 1 × S 1 , el producto de dos circunferencias.
Estas dos descripciones coinciden. Definimos
IA
f : [0, 1] × [0, 1] → S 1 × S 1
UB
como f (x, y) = e2πix , e2πiy donde e2πix := (cos 2πx, sin 2πx) y e2πiy :=
(cos 2πy, sin 2πy). La relación Rf en [0, 1] × [0, 1] definida por la función
f , es decir
Rf = {f −1 (a) : a ∈ T }
.R
EJEMPLO 7.5
Nuevamente en X = [0, 2π] × [0, 2π] —nuestra hoja de papel— consid-
eramos una relación definida como en el esquema de la figura 7.6, donde
los lados verticales nos producen el cilindro y los lados horizontales iden-
tifican la base de la botella con su boca pero en sentido contrario —como
lo habı́amos hecho en la cinta de Möbius— y es aquı́ donde surge la im-
posibilidad de realización en tres dimensiones; y hablamos de botella ya
que esta construcción se conoce como botella de Klein
N O
IA
UB
Ejercicios 7.1
O
Figura 7.7: Botella de Klein partida por la mitad.
N
3. Sean ≡, ∼ relaciones de equivalencia sobre los espacios X, Y re-
spectivamente. Dada una función continua f : X −→ Y tal que
IA
a ≡ b implica f (a) ∼ f (b) entonces fb : X/≡ −→ Y /∼ definida por
fb([x]) = [f (x)] es una función bien definida y continua.
O
Dados dos conjuntos X, Y , una construc-
N
ción familiar es su producto cartesiano, C
f H g
el cual se define —de manera analı́tica—
HH
como X × Y := {(x, y) | x ∈ X, y ∈ Y }.
X Y
j
IA [f,g]
H
Y
HH *
pX ? pY
Visto X × Y de otra manera — sintética X ×Y
y no analı́tica— tenemos lo siguiente.
UB
112
8.2 La topologı́a producto –caso finito– 113
O
8.2. La topologı́a producto –caso finito–
N
partir de los ya conocidos. La sección anterior motiva la definición de
producto para dos espacios topológicos, donde además de mirar la parte
conjuntista debemos hacer intervenir la estructura topológica; es decir,
IA
dados (X, T), (Y, H) dos espacios topológicos, el producto X × Y de los
dos espacios debe tener una topologı́a que haga que las dos proyecciones
sean morfismos topológicos, es decir, las dos funciones pX : X ×Y −→ X
UB
y pY : X × Y −→ Y ‘deben’ ser continuas.
Como pX debe ser continua, dado un abierto U ⊆ X, p−1 X (U ) = U ×Y
debe ser abierto en X ×Y ; similarmente p−1Y (V ) = X ×V debe ser abierto
si V lo es en Y . Ası́ que tanto U × Y como X × V deben ser abiertos,
y puesto que queremos una topologı́a en X × Y la intersección de los
.R
B = {U × V : U ∈ T, V ∈ H}
O
S = {p−1
i (Ui ) : Ui abierto de Xi , i = 1, . . . , n}.
Los conjuntos
N
p−1
Y
i (Ui ) = X1 × X2 × · · · × Ui × · · · × Xn = Ui × Xj
j6=i
IA
se denominan cilindros abiertos. De suerte que los elementos de la
base generada (llamados cajas abiertas) son de la forma
UB
B = U1 × U2 × · · · × Un . (8.1)
Ejercicios 8.2
.R
BX × BY = {BX × BY : BX ∈ BX , BY ∈ BY }
4. ¿Se puede localizar el anterior ejercicio para obtener una base local
en el punto (x, y) ∈ X × Y a partir de bases locales para x y y
respectivamente?
O
10. * Sean (X, <), (Y, <) dos conjuntos ordenados linealmente. Muestre
que si Y no tiene máximo ni mı́nimo entonces la topologı́a del or-
N
den (X × Y )< es igual a la producto Xd × Y< donde Xd es X con
la topologı́a discreta y Y< es Y con la del orden. Esta topologı́a
(X × Y )< es más fina que la producto X< × Y< .
Sugerencia: muestre que
IA
!
[ [
(←, (a, b)) = {x} × Y ({a} × (←, b)) .
UB
x<a
11. Cuando (X, <), (Y, <) son dos conjuntos ordenados linealmente
tenemos dos topologı́as para (X × Y ), la producto X< × Y< y
la del orden para el producto (X × Y )< , donde Y< es Y con la
.R
O
proyecciones sean continuas; es decir, dados i ∈ I yQcualquier Ui abierto
de Xi el subconjunto p−1 i (Ui ) debe ser abierto en i∈I Xi .
N
subbase S conformada por los cilindros abiertos p−1
i (Ui ), exactamente
S = {p−1
IA
i (Ui ) | Ui ∈ Ti , i ∈ I}.
De suerte que los abiertos U que conforman la base son las cajas
abiertas
Tn formadas por la intersección de finitos cilindros, i. e., U =
−1
p (U ik ) o, de manera equivalente,
UB
k=1 ik
Y
U = Ui1 × Ui2 × · · · × Uin × Xi , i 6= i1 , i2 , . . . , in .
i∈I
N O
Figura 8.1: Andrei N. Tychonoff y Pavel S. Alexandroff.
IA
..
.
........
......... . . . .......... .
... ........... .... .... .... ......... .... .....
.........
... ....... .... .... .... ......... .... ....
◦ ........
UB
...... ..
.... ..... . . ........... ..... . ... .
..
. . ....... .. ................ . ... . . ..
.................................. ...............
..
..... ....... ........... .... ......... ..... ..
.... ............ ...........
...... ........ .. ....... ... ... ..... .................... . ...
....... . ........ .................................................................... ................................................... ... ...
... ....... ......... . .... .............. ........ .. ....................... ......................
.... ..... .........
. ........... ....
.................... .
..
..
...... .................. ...............
. .... ... ..... .. ...... .. ... .................. ...... ...
........................ ............ . .
................................................................ ... ....
... ... .... .
.
. . .... ...................... ...
. ..... .... ............ . ...
...
..... . ..... . ...
..... . .. .................. .. ... ......
.... .... ..... .......................................................................... ....... ....... ... ...
... . ....... .. ...... ...
...
.......................
.
. ................................. .... ................
................ ...........
......... ....◦ .....
..... ....
...
.... ...... ...... . ..... .......
. .
. ...... .
.
............................ ... .......... .............. .......... .... .... .... ...
........... . ........... ..... ...
.. ....... ......................................................... ..... ........................................................ .... .... ....
...... ... ... ... ......
....... .... ...
.... ... .... .... ....... ...
...... .... ...
.... .... ...
....
··· ...
....
··· ...... ..
....... ...
... .... ......
.... ... ... ... .... ..... ...
... ... ... .... .... ...
...
.R
EJEMPLO 8.1
Topologı́a caja. Para el caso infinito el producto arbitrario de abiertos
—cajas infinitas— no tiene por qué ser un abierto en la topologı́a pro-
ducto de Tychonoff, pues solo para finitos ı́ndices estos factores abiertos
pueden ser diferentes del espacio. Si tomamos como base para una nueva
topologı́a los conjuntos que sean producto arbitrario de abiertos, esto es,
definimos ×Ui una caja, como
Y
×Ui := Ui , con Ui abierto en Xi
i∈I
118 La topologı́a producto
O
Posee demasiados abiertos si lo que queremos es hacer a las proyec-
ciones continuas.
N
No siempre el producto de espacios compactos es compacto.
No siempre el producto de espacios conexos es conexo.
IA
La continuidad de una función que llega a un espacio producto
no puede ser caracterizada en términos de la continuidad de las
funciones coordenadas.
UB
Aun en el caso de productos enumerables no se garantiza que el
producto de espacios 1-contable es 1-contable.
O
A continuación veremos varios teoremas concernientes a propiedades
N
productivas.
O
base de la topologı́a.
Al variar n en los Bn , la unión enumerable de estos finitos ı́ndices
N
es enumerable, y como J no es enumerable, existe un ı́ndice j ∈ J para
el cual pj (Bn ) = Xj para todo Bn ∈ Bx . Pero para este j sabemos que
existe Vj 6= Xj , luego p−1
j (Vj ) es una vecindad abierta de x para la cual
−1
IA
no existe algún Bn ⊆ pj (Vj ) y esto contradice a Bx como base local.
⇐) Supongamos que cada espacio factor Xi es 1–enumerable y que
además existe K ⊆ I subconjunto enumerable tal que si i ∈ I − K
UB
entonces Xi es grosero. Dado x = (xi ) ∈ X veamos que existe una base
local enumerable Bx de x. Por cada xi sea Bxi una base local enumerable
en Xi —claramente Bxi = {Xi } si i ∈ I − K—. Sea
B = {p−1
.R
i (U ) | i ∈ I, U ∈ Bxi }
AI =
Y [
Xi = {f | f : I −→ A = Xi }.
i∈I i∈I
8.4 Propiedades productivas 121
EJEMPLO 8.2
El conjunto de las sucesiones de números reales con la topologı́a caja.
!
Y
X = (R , caja) =
N
Ri , caja donde cada Ri = (R, usual).
i∈N
O
sucesión constante a cero— con cada Bn = i∈N (ani , bni ), se tiene que
para la vecindad
Y an bn
n
, n
N
V0 =
2 2
n∈N
no existe Bn ⊆ V0 . IA
El siguiente espacio producto —conjunto de las sucesiones digitales—
es toda una fuente de contraejemplos.
UB
EJEMPLO 8.3
El producto infinito de espacios discretos no necesariamente es discreto.
Sean ({0, 1}, discreta) y X = {0, 1}N . Veamos que el conjunto unitario
B cuyo único elemento es la sucesión constante a cero B = {0} = {(0)n }
.R
EJEMPLO 8.4
Ejercicios 8.4
O
las funciones proyección continuas.
N
espacio 1–contable es un espacio 1–contable.
O
c) Si F, G son filtros con F ⊆ G entonces la F-topologı́a está con-
tenida en la G-topologı́a.
N
d ) La U-topologı́a en el caso de un ultrafiltro U es una ultra-
topologı́a en el sentido que solo es superada por la discreta.
IA
8.5. La topologı́a producto —en los métricos—
UB
La topologı́a usual de los espacios euclidianos Rn es precisamente la
topologı́a producto cuando cada espacio coordenado es Ru .
ε
G
n
!1/2 2 !1/2
ε
(xi − ui )2
X
d(x, u) = < n √ = ε.
n
i=1
O
El siguiente teorema muestra que el producto finito de espacios métri-
cos es de nuevo un espacio métrico.
Teorema 8.7. Sean (X1 , d1 ), (X2 , d2 ), . . . , (Xn , dn ) espacios métricos.
N
Entonces la topologı́a producto proviene de una métrica en X = ni=1 Xi .
Q
IA Qn Qn
Demostración. Consideremos la métrica d : i=1 Xi × i=1 Xi −→ R
n
!1/2
2
X
d(x, y) = di (xi , yi)
i=1
UB
donde x = (x1 , . . . , xn ), y = (y1 , . . . , yn ). Procediendo como en el teore-
ma anterior se tiene el resultado.
∞
X d∗ (xi , yi )
i
d(x, y) =
2i
i=1
8.5 La topologı́a producto —en los métricos— 125
luego
d(x, y) = d(y, x) ≥ 0.
O
2. d(x, y) = 0 si y sólo si 2−i mı́n{1, di (xi , yi )} = 0 para cada i ∈ N,
esto es, para cada i se tiene di (xi , yi ) = 0 lo cual sucede si y solo
N
si xi = yi por cada i. En otras palabras, x = y.
luego
UB
2−i d∗i (xi , zi ) ≤ 2−i d∗i (xi , yi ) + 2−i d∗i (zi , yi ),
lo que implica
d(x, z) ≤ d(x, y) + d(y, z).
.R
2−i di (xi , yi )
X
d(x, y) =
i≥0
p−1
2−i di (xi , yi ) + 2−i
X X
≤
i=0 i≥p
p−1
ε X −i
2−i +
X
< 2
4
O
i=0 i≥p
ε X ε ε
≤ 2 + 2−i < + = ε.
4 2 2
N
i≥p
Para ε = mı́n{ε1 /2, . . . , εk /2k } la bola Bεd (x) ⊆ U , pues si y es tal que
d(y, x) < ε entonces
d∗n
y esto implica yni ∈ Bεi i (xni ) para cada i = 1, · · · , k; luego y ∈ U .
EJEMPLO 8.5
Para Xi = ({0, 1}, discreta), (i ∈ R) el espacio i∈R Xi no es metrizable.
Q
Muestre que este espacio producto no es 1–contable, verificando que no
existe una base local contable en 0 = (xi ), donde xi = 0 para cada i.
8.6 Continuidad para el producto 127
O
Demostración. ⇒) Si f es continua, claramente lo son las fi = pi ◦ f
N
para cada i ∈ I.
to —nótese que casi todos los fi−1 (Vi ) son iguales a X excepto para fini-
tos ı́ndices i—. Como es suficiente este criterio sobre los abiertos básicos,
tenemos que f es continua.
UB
EJEMPLO 8.6
Podemos identificar a R con el subespacio R × {0} de R2 , etc.
Ejercicios 8.6
O
Y Y Y
f= fi : Xi → Yi
N
definida por f ((xi )) = (fi (xi )) es continua.
f1
X X1
f2
..
. X2
X3
fi
X4
O
Xi
N
Figura 8.3: Objeto inicial.
inicial para X que haga continuas las funciones fi (la topologı́a discreta
IA
es una solución, pero no es la mejor); esto es, la topologı́a menos fina
o más gruesa —como se trata del dominio será la menor en el orden
de inclusión, la que menos abiertos posea—. Lo que entonces queremos
es que cada fi−1 (Vi ) sea abierto cuando Vi lo sea en Xi ; esta topologı́a
UB
inicial T G (notada T si no hacemos referencia a la familia) es la generada
por la subbase
B = {fi−1 (Vi ) | Vi ∈ Ti , i ∈ I}.
ción de funciones G.
La topologı́a inicial nos sirve para caracterizar las funciones con-
tinuas que llegan a X; en efecto, tenemos el siguiente teorema.
G
O
Demostración. ⇒) Ya hemos demostrado que T satisface la propiedad
universal.
⇐) Supongamos entonces que H también satisface la propiedad uni-
N
versal y veamos que H = T. Al aplicar la propiedad de H para idX :
(X, H) −→ (X, T) tenemos que fi es una función continua fi = fi ◦
IA
idX : (X, H) −→ (X, T) −→ (Xi , Ti ); luego, si cada fi es continua,
T ⊆ H por definición de T. Para la otra contenencia tomemos la función
idX : (X, T) −→ (X, H). Como cada fi ◦ idX = fi es continua, por la
propiedad de H tenemos que idX es continua, luego H ⊆ T.
UB
EJEMPLO 8.7
Sean (X, d) un espacio métrico y f : Y −→ X una biyección. La
topologı́a inicial para Y inducida por f se puede caracterizar como la
topologı́a inducida por la métrica df : Y × Y −→ R donde df (m, n) :=
.R
Ejercicios 8.7
O
5. Para la función f : R −→ Ru , f (x) = x2 , ¿cómo es la topologı́a
inicial?
N
Sugerencia. Los abiertos serán los abiertos en el sentido usual que
además son simétricos con respecto al origen.
IA
8.7.2. La topologı́a final
UB
f1
X1 X
f2
..
X2 .
.R
X3 fi
X4
Xi
G
O
inducida por G = {fi : Xi −→ X}i∈I . Una función g : (X, T) −→ (Y, H)
es continua si y sólo si g◦fi : (Xi , Ti ) −→ (X, TG ) −→ (Y, H) es continua
para cada i ∈ I.
N
Demostración. ⇒) Si g es continua claramente también lo son las fun-
ciones compuestas g ◦ fi ya que TG hace cada fi continua.
IA
⇐) Sea U un abierto en Y . Como fi−1 (gi−1 (U )) = (g ◦ fi )−1 (U ) es
abierto para cada i, entonces g −1 (U ) es un abierto en X.
UB
Ejercicios 8.7
2. Enuncie una proposición para las topologı́as finales que sea dual a
la proposición 8.13.
9 Posición de un punto respecto a un
conjunto
N O
Con conceptos relativamente simples como los de abierto y continui-
IA
dad, hemos podido crear una gran variedad de espacios topológicos y, a
partir de estos, otros espacios teniendo en mente algunas construcciones
conjuntistas. Para continuar desarrollando nuevos espacios y poderlos
analizar, es necesario que tengamos más herramientas. En esta sección
UB
discutiremos otras maneras de dotar de una topologı́a a un conjunto,
entre ellas el operador de adherencia en el sentido de K. Kuratowski.
También se podrı́an usar otros operadores como interior, exterior, fron-
tera o derivado dado que cualquiera de ellos determina completamente
la topologı́a sobre el conjunto.
.R
si su complemento F c es abierto.
EJEMPLO 9.1
En Ru los intervalos cerrados [a, b] son conjuntos cerrados.
Por supuesto un conjunto no tiene por qué ser abierto o cerrado, por
ejemplo, el subconjunto N en (R, cof initos). Tampoco estos adjetivos
son excluyentes, pues en un espacio discreto todo conjunto es simultánea-
mente abierto y cerrado, i. e., aberrado. En (R, Sorgenf rey) los miem-
bros de la base [a, b) son aberrados.
133
134 Posición de un punto respecto a un conjunto
EJEMPLO 9.2
En un espacio (X, T), a partir de las leyes de De Morgan podemos inferir:
1. ∅ y X son cerrados.
3. Si
S {Aj }j∈J —J finito— es una colección de cerrados entonces
j Aj es cerrado.
O
El concepto de topologı́a se puede introducir a partir del concepto de
cerrado. Dado un conjunto X y una familia C de subconjuntos cerrada
N
para intersecciones arbitrarias y uniones finitas, definimos la topologı́a
T como la colección de todos los Ac con A ∈ C.
IA
Las funciones continuas se pueden caracterizar en términos de los
conjuntos cerrados.
Proposición 9.2. Sean (X, T), (Y, H) espacios y f : X −→ Y . f es
continua si y solo si la imagen inversa por f de un subconjunto cerrado
UB
de Y es un subconjunto cerrado de X.
EJEMPLO 9.3
Los cerrados del subespacio A son las intersecciones de los cerrados de
X con A. Sean (X, T) un espacio y A ⊆ X donde A hereda la topologı́a
de subespacio. Un M ⊆ A es cerrado en A si M = F c para un F abierto
de A, esto es M = F c = (A ∩ U )c donde U es abierto de X; luego,
G
O
En el otro sentido, sea x ∈ A. Si x ∈
/ {F | F es cerrado y A ⊆ F }
T
existe F cerrado tal que A ⊆ F y x ∈ / F . Luego x ∈ F c con F c abierto
N
y además F c ∩ A = ∅ lo cual contradice que x ∈ A.
Corolario 9.5. Sean (X, T) un espacio y A, B ⊆ X. Entonces
IA
1. ∅ = ∅.
2. A ⊆ A, para cada A ⊆ X.
UB
3. A es cerrado.
4. A = A si y solo si A es cerrado.
5. A = A.
6. Si A ⊆ B entonces A ⊆ B.
.R
7. A ∪ B = A ∪ B.
8. A ∩ B ⊆ A ∩ B.
G
EJEMPLO 9.4
La propiedad 7 del corolario 9.5 no es verdad más allá del caso finito,
aún en el caso de una unión enumerable. Por ejemplo, si cada An = { n1 }
entonces
1 [1
[ [
:n∈N = An 6= An = {0} :n∈N ,
n n n
n
EJEMPLO 9.5
Si X es un espacio infinito con la topologı́a de los cofinitos y A ⊆ X
entonces A = X si A es infinito.
EJEMPLO 9.6
La topologı́a para R determina la adherencia de [0, 1]. Por ejemplo,
cofinitos o coenumerables satisfacen [0, 1] = R.
O
EJEMPLO 9.7
En (I × I, lexi), la lı́nea A sobre el x-eje, i. e.,
N
A = {(x, y) : 0 ≤ x ≤ 1, y = 0},
IA
tiene como puntos adherentes, a más del propio A, los que están en la
lı́nea de la parte superior del cuadrado excepto la esquina (1, 1), esto es,
A = A ∪ {(x, y) : 0 ≤ x < 1, y = 1}.
UB
.R
G
EJEMPLO 9.8
Sean T1 , T2 dos topologı́as sobre un conjunto X con T1 ⊆ T2 . Para
i
A ⊆ X notemos por A la clausura de A con respecto a Ti . Entonces
2 1
A ⊆A .
En T1 hay menos abiertos y por tanto menos cerrados que en T2 . Por
esta razón, la intersección de todos los cerrados en T1 que contienen a
A no puede ser más pequeña que la intersección de todos los cerrados
en T2 que contienen a A.
9.1 Conjuntos cerrados y adherencia 137
O
n ∈ N tal que B1/n (x) ⊆ Vx –estas bolas forman una base local– y
ası́ B1/n (x) ∩ A = ∅, lo cual contradice d(x, A) = 0.
N
Si el espacio es 1-contable, las sucesiones caracterizan la adherencia.
EJEMPLO 9.9
Si el espacio no es 1-contable, la anterior caracterización de la adherencia
no siempre es cierta. Este es el caso para los números irracionales I si
G
EJEMPLO 9.10
(RN , caja) no es metrizable ya que no se tiene el lema de las sucesiones.
O
9.1.1. Operadores de clausura
N
dades que tenı́a la adherencia y las resumió en el siguiente operador
llamado de clausura. Para un conjunto X la adherencia es una función
K : 2X −→ 2X tal que para cada A ⊆ X, K(A) := A con las siguientes
propiedades:
IA
1. K(∅) = ∅.
UB
2. A ⊆ K(A) —expansión—.
T = {U ⊆ X | K(U c ) = U c }.
c
con lo cual K i∈I Vi ⊆ i∈I K(V c) ⊆ c
c i∈I VSi y esto junto con la
T T T
i
contenencia en 2 nos dice que K V = ( V )c.
S
i∈I i i∈I i
O
complemento es un punto fijo.
N
La unicidad de T es clara, pues la definición determina la unicidad de
los cerrados, que son aquellos para los cuales F = K(F ).
IA
EJEMPLO 9.11
Sea X un conjunto con más de un elemento. Dado p ∈ X definimos
K(A) = A ∪ {p}, K(∅) = ∅. K satisface los axiomas del teorema anterior.
UB
¿Cómo es la topologı́a generada?
O
una vecindad abierta del punto x = (xi ). QExiste un abierto i∈I Ui de
la base de la topologı́a producto con x ∈ i∈I Ui ⊆ Vx . Como xi ∈ Ai
tenemos Ui ∩ Ai 6= ∅ para cada i y ası́
N
! !
Y Y Y Y
Vx ∩ Ai ⊇ Ui ∩ Ai = (Ui ∩ Ai ) 6= ∅, IA
i∈I i∈I i∈I i∈I
luego x ∈ Ai .
Q
i∈I
UB
A
.. . . . . . ..... .
... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ........................................
.... ........
........
...................... .....
........
......
.. ........... ..................
.... .....
..... ..... ....... ....
.... .........................
......................................................
...
...
. ...
.. ...
.
.
.....................................
....
...
...
p (A).
...
.... ..................................... ...
..
.....................................
..
.... ..
....
2
.....
.....................................
.. ....
.
..
... .
.................................
..
... ..
.R
.. .....
... .
.. ......
.. . ...........................
...... ...
...... ...
.. ..................... .
......
........
.......
...
....... ...
.
..
... .........
.
... ... ... ... ... ........ ... ... ... ... ... ... ........................................................................
......... ..
..
..
.. ..
.. ..
.. ..
.. ..
.. ..
.................p.....(A)
................................
.. ..
.. ..
.. ..
.. ..
G
para Q
cada i, luego i∈I Ai ⊆ Ai pues si A ⊆ Xi entonces
Q Q Q
i∈I i∈I
A ⊆ i∈I pi (A) (ver fig. 9.2).
9.1 Conjuntos cerrados y adherencia 141
Y Y Y
Ai = Ai = Ai (9.2)
O
i∈I i∈I i∈I
N
⇐) Como cada Ai = Ai entonces,
Y
i∈I
IA
Ai =
Y
i∈I
Ai =
Y
i∈I
Ai . (9.3)
UB
Ejercicios 9.1
a) A con respecto a S 1 .
b) A con respecto a R2 .
O
y solo si para todo A ⊆ X se tiene f (A) ⊆ f A .
N
morfismo si y solo si para cada A ⊆ X se tiene f A = f (A).
A = A ∪ Aa .
9.2 Puntos de acumulación 143
O
Demostración. A = A = A ∪ Aa , lo que implica Aa ⊆ A.
EJEMPLO 9.12
N
/ Aa aunque
1. En el subespacio A = (0, 2] ∪ {3} ⊆ Ru se tiene que 3 ∈
esté en A, mientras 0 ∈ Aa aunque no esté en A.
IA
2. En el ejemplo anterior 3 ∈ A − Aa es un punto ‘aislado’ de su
comunidad.
3. En (X, 2X ) se tiene X a = ∅.
UB
/ X a.
4. En un espacio X el conjunto {a} es abierto si y solo si a ∈
O
∅=
6 f ((Ux − {x}) ∩ A) ⊆ f (Ux − {x}) ∩ f (A) ⊆ (Vf (x) − {f (x)}) ∩ f (A)
N
con lo cual f (x) ∈ f (A)a .
EJEMPLO 9.13
En Ru consideremos:
G
1. El subconjunto Z. Si n ∈ Z entonces
1 1
{n} = Z ∩ (n − , n + ).
2 2
Por tanto la topologı́a de subespacio para Z es la discreta.
Ejercicios 9.2
O
1. Si (X, T) es un espacio y A, B ⊆ X, muestre que el conjunto deriva-
do posee las siguientes propiedades:
N
a) Si A ⊆ B entonces Aa ⊆ B a .
b) (A)a = Aa para A ⊆ X.
IA
c) (A ∪ B)a = Aa ∪ B a para A, B ⊆ X.
d ) i∈I Aai ⊆ ( i∈I Ai )a , Ai ⊆ X.
S S
UB
2. En contraposición a la clausura, el segundo conjunto derivado no
tiene por qué ser igual al original. Dé un ejemplo donde Aaa * Aa .
4. Sea R con la topologı́a generada por la base formada por las colas
(a, →). Muestre que {0}a no es cerrado.
a) Ais(A) ∩ Aa = ∅.
b) Ais(A) ∪ Aa = A.
c) Ais A ⊆ Ais(A).
d ) Ais(A) = ∅ si y solo si A ⊆ Aa .
10. * El filtro de las vecindades Vx es un ultrafiltro si y solo si el punto
x es un punto aislado de X.
O
9.3. Interior – exterior – frontera
N
Definición 9.19. Sean (X, T) un espacio y
A ⊆ X. Decimos que b ∈ X es un punto
IA
interior de A si existe U ⊆ X abierto tal
que b ∈ U ⊆ A. Al conjunto de puntos inte-
riores de A lo llamamos el interior de A y
lo notamos A◦
UB
A◦ = {x : x es interior a A}.
A = {Ui ⊆ X : Ui ⊆ A y Ui es abierto}.
y ası́ x ∈ A.
Si x ∈ A existe i para el cual x ∈ Ui ⊆ A y por tanto x ∈ A◦ .
S
1. A◦ ⊆ A.
2. (A ∩ B)◦ = A◦ ∩ B ◦ .
3. (A◦ )◦ = A.
4. X ◦ = X.
5. A◦ ∪ B ◦ ⊆ (A ∪ B)◦ .
O
Demostración. Se deja como ejercicio.
N
Cualquier operador I : 2X −→ 2X que satisface las propiedades de
la anterior proposición genera una topologı́a G sobre X definida por
IA
G = {A ⊆ X : I(A) = A}
y para esta topologı́a I(A) = A◦ .
Dual al concepto de punto interior está el concepto de punto exterior.
UB
EJEMPLO 9.14
Para Q como subconjunto de Ru se tiene Q◦ = ∅, Ext(Q) = ∅, F r(Q) =
O
R. ¿Cómo es la partición si tomamos a (R, cof initos)?
N
Ejercicios 9.3
IA
1. Continuidad en términos del interior. Una función f : X −→ Y es
continua si y solo si f −1 (B ◦ ) ⊆ (f −1 (B))◦ para cada B ⊆ Y .
2. Muestre que:
UB
a) A = Ext(A)c .
b) A = (X − M )◦ .
c) A◦ = X − (X − A).
.R
d ) F r(A) = A ∩ Ac .
e) F r(A) = F r(Ac ).
f ) F r(A) ⊆ F r(A).
g) F r A◦ ⊆ F r(A).
G
3. Muestre que:
O
f ) {(0, y) | y > 0}.
g) R × {0}.
h) {0} × R.
N
6. Si (X, T) es un espacio y A, B ⊆ X entonces A◦ × B ◦ = (A × B)◦ .
¿Qué sucede si el conjunto de ı́ndices es arbitrario?
IA
7. Muestre que Cl Int Cl Int A = Cl Int A, i. e., A◦ =A◦ .
◦
problema.
9. Si (X, T) es un espacio y A ⊆ X, muestre que la función carac-
terı́stica Ξ|A : X −→ Ru es continua en el punto x si y solo si
x∈/ F r(A).
G
Un subconjunto A que está por todas partes del espacio (X, T) merece
un nombre especial.
Definición 9.26. Sean (X, T) un espacio y A, B ⊆ X. A se llama denso
en B si B ⊆ A. Si A es denso en X, i. e., A = X, lo llamamos denso
en toda parte o simplemente denso —no hacemos referencia a ningún
subconjunto—. En otras palabras, A es denso si para cualquier Vx de
cualquier x ∈ X tenemos Vx ∩ A 6= ∅.
150 Posición de un punto respecto a un conjunto
EJEMPLO 9.15
Los números irracionales I son densos en R con la topologı́a usual.
EJEMPLO 9.16
Un espacio X es discreto si y solo si tiene un único subconjunto denso.
O
⇐) Si X no fuera discreto, existe un punto x tal que {x} no es abierto,
y por tanto X − {x} es denso.
N
Si el conjunto denso no es muy grande, el espacio merece un adjetivo.
IA
Definición 9.27. Sea (X, T) un espacio. Decimos que X es separable
si existe A ⊆ X enumerable y denso.
EJEMPLO 9.17
UB
Cada Rn es separable —basta considerar a Qn —.
EJEMPLO 9.18
x ∈ B 2ε (dm ) ⊆ Bε (x) ⊆ U
O
ε
pues si t ∈ B 2ε (dm ) entonces d(t, x) ≤ d(t, dm ) + d(dm , x) ≤ 2 + 4ε .
N
La utilidad de la equivalencia de estos dos conceptos en los espacios
metrizables se muestra en el siguiente ejemplo.
EJEMPLO 9.19
IA
(R, [a, b)) no es metrizable, ya que es separable pero no es 2-contable.
UB
EJEMPLO 9.20
La propiedad de separabilidad no es hereditaria (no se hereda a los
subespacios); por ejemplo, en R2 la siguiente colección B de ‘cuadrados
semiabiertos’ forma una base
.R
L = {(x, −x) : x ∈ R}
y
◦..................................
.. . . . . . .
..... .... . . . . ..
..... .......... .. . .. . .. . .. . .. ....
..... ...... . . . . . . . . . ...
..... ...... . . . . . . . . . ..
.........................................................◦.
.....
.....
.....
.....
.....
.....
.....
..... x
.....
.....
O
...
N
Figura 9.3: Un abierto en la topologı́a de Sorgenfrey.
IA
En caso que el subespacio sea abierto la separabilidad sı́ se hereda.
merable de factores.
SK = {f | f : K −→ N}.
xnf(n) ,
(
si n está en el dominio de f ,
xf (n) =
xf (n) = xno si n no está en el dominio de f .
9.4 Subconjuntos densos 153
Sea Y
U = Un1 × · · · × Unj × Xn
i6=nj
un abierto básico. Por cada ni escogemos mi tal que xnmii ∈ Uni (densidad
de Dni ). Para f definida como f (ni ) = mi , (i = 1, . . . , k) se tiene que
xf ∈ U . Luego D := {xf : f ∈ F } es denso.
EJEMPLO 9.21
O
El producto arbitrario de espacios separables no siempre es separable.
N
ı́ndices. Veamos que el producto
X = {0, 1}2 =
Y
Xi
IAR
i∈I
EJEMPLO 9.22
Ser 2–contable tiene consecuencias interesantes.
O
abiertos en X puede ser acotada; en efecto, el cardinal de T es a
lo más el cardinal del continuo 2ℵ0 . Como cada U ∈ T es unión de
elementos de la base, hay tantos abiertos como uniones de elementos en
N
la base enumerable; esto es, tantos como subconjuntos de un conjunto
enumerable. IA
También podemos acotar el número de elementos en X. Como X es de
Hausdorff, la función f : X −→ T con f (x) := X − {p} es inyectiva y por
tanto el cardinal del dominio es menor o igual al cardinal del codominio.
UB
EJEMPLO 9.23
Si debilitamos aún más las hipótesis sobre los espacios del ejemplo
anterior, es decir, exigimos que (X, T) sea 1–contable, separable y
Hausdorff, 2ℵ0 = 2ω es todavı́a una cota para la cardinalidad de X.
.R
N · 2ω = #(N) · c = c = 2ω .
9.4 Subconjuntos densos 155
ω
Luego el número de conjuntos abiertos en X es a lo más 22 . Además,
2ω
2 es la mejor cota sobre el número de conjuntos abiertos para estos
espacios. Por ejemplo R2 con la topologı́a de Sorgenfrey (ver ej. 9.20).
Si solo asumimos que (X, T) es un espacio de Hausdorff y separable,
ω
la mejor cota para la cardinalidad de X es 22 y la mejor cota para el
2 ω
número de abiertos en X es 22 .
De otra parte, 2ω es una cota para el número de funciones continuas
de X en R. En efecto, sea S un subconjunto denso y contable de X.
O
El número de funciones de S en R es a lo más (2ω )ω = 2ω . Si f, g son
funciones continuas de X en R, que coinciden sobre S, entonces f = g.
El hecho de que X sea de Hausdorff no se usa en este argumento.
N
Ejercicios 9.4
IA
1. Muestre que A ⊆ X es denso si y solo si A intercepta a todo abierto
no vacı́o de X.
UB
2. Sean A, B subconjuntos densos en X, Y respectivamente. Muestre
que A × B es denso en X × Y .
3. Muestre que C([0, 1]) con la topologı́a hd∞ i del sup es separable.
Sugerencia: Teorema de aproximación de Weierstrass 1.885. Los
.R
O
Iniciamos este capı́tulo recordando el célebre teorema del cálculo
N
conocido con el nombre de Heine-Borel-Lebesgue1 el cual resalta una
propiedad importante (si no la más) de los intervalos cerrados y acotados
de R que permite restringir el estudio de los cubrimientos abiertos de
IA
estos intervalos a cubrimientos finitos; esto es, tenemos una condición
sobre el cardinal.
iento finito.
156
10.1 Espacios compactos 157
O
Esta propiedad de los intervalos cerrados y acotados de R la gene-
N
ralizamos a los espacios topológicos y con la siguiente definición2 le
damos nombre.
EJEMPLO 10.1
1. Si X es un conjunto finito toda topologı́a es compacta.
O
finito.
N
(X, Ta ) no lo es.
EJEMPLO 10.2
IA
La compacidad no se hereda.
Por ejemplo, el intervalo (0, 1) ⊆ [0, 1] no es compacto pues {(0, 1 −
UB
1/n)}n∈N es un cubrimiento abierto de (0, 1) que no se puede reducir a
un subcubrimiento finito.
EJEMPLO 10.3
En (R, [a, b)) el subespacio [0, 1] no es compacto, pues [0, 1) no lo es y
es un cerrado en [0, 1].
f −1 (U) = {f −1 (U ) : U ∈ U}
O
emos f (f −1 (Uk )) = Uk para 1 ≤ k ≤ n. Ası́, Y = f (X) = U1 ∪ . . . ∪ Un
y por tanto U admite un subcubrimiento finito.
N
Corolario 10.6. No existe f : [0, 1] −→ (0, 1) continua que sea so-
breyectiva. Por tanto estos espacios no pueden ser homeomorfos. IA
Los subconjuntos compactos de un espacio de Hausdorff tienen pro-
piedades deseables, que pueden faltarles a los espacios compactos en
general. Esta es una razón para que algunos autores llamen ‘compacto’
UB
a lo que nosotros hemos definido, exigiendo además que el espacio sea
de Hausdorff —bicompactos para la antigua escuela rusa y aun para
la escuela Bourbaki—.
Una de estas propiedades es que ellos se pueden ‘separar’ de los
puntos que no contienen.
.R
...........................................
.................. ........
.......... ......
..... .....
.... .....
.... A .... .... .... .... ....
...
...
...
... .... ....
... .... .... ... ... ...
. .
.
...
.... .
..
.
a ...
..
...
..
.
. ...
.... ... • . .. ... ...
....
.... ... .
.
. ...
... ... • ...
G
...
....
.... .... ....
.
... .
..
... x .
.
.... .. ...
... ..
.
. .... ...
x ....
...
...
...
U a .
...
.
. .... ...
. .... ....
..
.. ...
... Uxa
.
... .
....
... ...
......... .....
.....
.... ......
......
........... ........
.............................
O
teorema 10.8 muestra que bajo ciertas circunstancias, como en el caso
de los espacios compactos, todas las biyecciones continuas son funciones
abiertas.
N
En general compacidad y Hausdorff son una buena combinación, de
hecho forman una propiedad óptima (realmente minimal, ejercicio 18).
IA
Una topologı́a que es más fina que una topologı́a de Hausdorff es de
Hausdorff, mientras que una topologı́a que es más gruesa que una
topologı́a compacta es a su vez compacta.
Teorema 10.8. Sean (X, T), (Y, H) espacios con X compacto y Y de
UB
Hausdorff. Si f : X −→ Y es una biyección continua entonces f es un
homeomorfismo.
EJEMPLO 10.4
G
O
Figura 10.2: Construcción de una curva de Peano.
N
Ejercicios 10.1
IA
1. Sean (X, T), (Y, H) espacios con X compacto y Y de Hausdorff. Si
f : X −→ Y es continua entonces f (A) = f (A) para todo A ⊆ X.
UB
2. ¿Es la intersección de espacios compactos un compacto?
Sugerencia: considere el espacio producto
O
10. Sea (X, ≤) un conjunto parcialmente ordenado con un primer ele-
mento y dotado con la topologı́a de colas ↑ x a derecha (filtros de
N
orden principales). Muestre que X es compacto.
11. Sea (X, ≤) un conjunto totalmente ordenado. La topologı́a del or-
den es compacta si y solo si X es un retı́culo completo. Revise la
IA
demostración del teorema 10.2.
12. Muestre que un espacio discreto es compacto si y solo si es finito.
UB
13. Sean T1 , T2 dos topologı́as para X. Muestre que si T1 es compacta
y T2 ⊆ T1 entonces T2 es compacta.
14. Regularidad–compacidad local. Muestre que en un espacio Haus-
dorff y compacto, dado x ∈ X y cualquier vecindad Vx , existe una
vecindad abierta Ux tal que Ux ⊆ Ux ⊆ Vx .
.R
O
espacio.
Teorema 10.9. Un espacio (X, T) es compacto si y solo si cada colec-
N
ción C = {Ci }i∈I de cerrados que posee la PIF satisface que ∩C 6= ∅.
X.
S
IA
entonces i∈I Ui = X y por tanto {Ui }i∈I es un cubrimiento abierto de
Sn Como X es compacto existe Ui1 , Ui2 , . . . , Uin un subcubrimiento finito
k=1 Uik = X y al tomar complementos en esta igualdad se contradice
la PIF para C.
UB
EJEMPLO 10.5
Ru no es compacto, ya que la familia de cerrados {[z, ∞)}z∈R tiene la
PIF, y sin embargo la intersección de todos los elementos de esta familia
es vacı́a.
O
tiene a lo más {x1 , x2 , . . . , xn } puntos.
N
En un espacio compacto todo subconjunto que no tenga puntos de
acumulación es finito, i. e., todo se acumula excepto lo finito.
Si el espacio compacto es además de Hausdorff, el siguiente teorema
da condiciones para su cardinalidad.
IA
Teorema 10.12. Sea X un espacio compacto y de Hausdorff, con la
propiedad que cada uno de sus puntos es de acumulación, i. e., no posee
UB
puntos aislados. Entonces X es incontable.
es compacto existe x ∈ ∞ C
n=1 n .
Para la construcción de {Cn }n utilizamos de manera inductiva el
siguiente hecho: dados un abierto U 6= ∅ y b ∈ X, existe una vecindad
W contenida en U y tal que b ∈/ W (b puede estar o no en U ). En efecto,
G
O
Definición 10.14. Sea F un filtro en el espacio (X, T). Un punto x ∈ X
es adherente al filtro si para toda Vx y todo F ∈ F se tiene Vx ∩F 6= ∅.
Es decir, V(x) ∩ F es una base de filtro.
N
Definimos F la adherencia del filtro como el conjunto de puntos
que son adherentes al filtro; en particular
F=
IA\
{F | F ∈ F}.
O
EJEMPLO 10.6
N
(R, cof initos) es compacto (vı́a los filtros).
O
EJEMPLO 10.7
(R, cof initos) es compacto (vı́a los ultrafiltros).
N
Sea U un ultrafiltro en R y veamos que él es convergente. Si U es principal
entonces claramente es convergente. Si no es principal todos sus elemen-
tos son infinitos, y por tanto dado un x y una vecindad Vx cualquiera se
IA
tiene que Vx ∈ U pues de lo contrario Vxc ∈ U, pero sabemos que U no
la admite por ser finita. Por tanto U converge a todo punto.
UB
Teorema 10.17. Sean (X, T), (Y, H) dos espacios. La topologı́a pro-
ducto para X × Y es compacta si y solo si X y Y son compactos.
.R
G
O
Tm(y)
sideremos el respectivo Vyxi y construyamos Qy = i=1 Vyxi una vecin-
dad abierta de y. Nótese que
N
{Vxy1 × Qy , Vxy2 × Qy , . . . , Vxym(y) × Qy }
es un cubrimiento abierto de X × Qy . Como este Qy fue construido
IA
para un y dado, la familia {Qy }y∈Y es cubrimiento abierto de Y . Sea
Qy1 , . . . , Qyn un subcubrimiento finito; luego la familia
EJEMPLO 10.8
Los subconjuntos de matrices On y SOn (ejemplo 2.8) son compactos
2
por ser subconjuntos cerrados y acotados de Rn , mientras que GLn no
lo es pues se trata de un subconjunto abierto; tampoco es conexo por
cuanto es la unión disyunta de los abiertos formados por las matrices
con determinante positivo y negativo respectivamente.
EJEMPLO 10.9
O
El toro T y la cinta de Möbius son compactos por ser cerrados y aco-
tados. Note que T tiene una representación en R3 que equivale a pegar
en cada punto de S 1 al mismo S 1 algo más reducido, luego lo podemos
N
ver como el producto S 1 × S 1 de dos compactos.
EJEMPLO 10.10
IA
Una función numérica y continua sobre un espacio compacto es acotada
y tiene valores tanto máximo como mı́nimo.
UB
EJEMPLO 10.11
En la proposición 10.19, si Y no es compacto pX (M ) no necesariamente
es cerrado; por ejemplo, si M = graf o(f ) ⊆ R2u y f (x) = 1/x.
170 Compacidad
....
.........
A×B
.... ......
.. ..
............................................................................................................................................................ W
.........
. ... ...
◦..
... ... ... . ..
... .... . .
. ...... ...... ...... ...... .................. ...... ...... ...... ................. ...... ...... ....
. ...
O
... ... ... ...
....
.......
... ...
... .
. . .
... ...
A × {y} .
............. ... .
.
. .............................................................. ................................ ...
.. ... . ... .. ...... ..... ..... ...... ... . ..... ..... ...
..........
. . .
. .
... ...
.... ..
. ..
. . ...... ...... ...... ..... ..... ........ ...... ....
. ...
... ..
. . . .... ..... ..... ......
. . .... .......
. . ...
......... ...
... ..
. ..
. ......... ..... ...... ..... ...
.
........ ....... ........ ........... ............
...... ..... ...
.
.
......... ......... ........
...
... U ×V
............
B.
. . . . . . .
... ...
.... .... ... ............ ...... ....... ....... .....
.
.......... ...... .... ... ............
.........
. .
N
... .
. .
..
. . .
.. ..
.. ..... ...... ...... ........
. . . . . .
. ..... ........ .. .
. .
... ... ........
..
V ...
...
...
.
....
...
.
...
.
.. .... ... .... ... ..
...... ....... ...... ....... .......
.
.
.. .... .... ..
...... ....... ......
... ..............
.. ...
.
. ..
..
........
. . . . . .
... ... ... ............ ...... ....... ....... .... .......... ...... .... ... ....
... .
. . . . .... ... .... ...
. .... .... .... ....... . ... .... ....
. ... ... ...
. ...
... ..
. . .
. .
. . ... ...
... .. .. ........ ...... ...... ...... ... ........ ...... ... . ...
......
. . .
... ..... .... .... ....... .
... ..... .....
... ..
. . .
. ...
... .. .. ... ...... ...... ...... ..... ... ... ...... ...... ... ..
...
................ ...
◦
...
...
..
...
...
.
..
.
....
...
..
.
....
.
.
...
...
.
.
IA .
.
... ..... ..... ..... ....
. .
.... ...... ...... ...... ..........
.....................................................................
.
.
.... ..... ....
. .
.... ...... ...... ....
......................................
...... ...... ...... ...... ...... ...... ...... ...... ...... ...... ...... ...... ...... ...... ..
.
.
..
...
.
.
.
..
...
...
...
...
....
............... .......
... ... .
..
.
... ..... .
..
.
.....................................................................................................................................................
...
◦................................................................◦
... ...... ...... ...... ......
............................................................................................................................................................................................................................................
... ...... ...... ...... ......
... A
UB
U
EJEMPLO 10.12
Si A, o B no son compactos, la
proposición 10.20 deja de ser ver-
dad; por ejemplo, en (R2 , usual)
considere el subconjunto [1, ∞) ×
[1, 2]. El abierto W es asintótico a
A × B y por tanto no podemos en-
contrar U × V ⊆ W .
10.4 Teorema de Tychonoff 171
Ejercicios 10.3
O
1. Muestre que la caracterización en el teorema 10.18 no se puede
extender a los espacios métricos en general.
N
2. La distancia o métrica de Hausdorff mide cuan lejos están uno
de otro dos subconjuntos compactos de un espacio métrico.
IA
Sea (X, d) un espacio métrico. En
H = {A ⊆ X | A es compacto}
donde
d(a, B) := ı́nf{d(a, b) : b ∈ B}
.R
d(A, B)
d(B, A)
A B
O
Figura 10.3: Distancias d(A, B) 6= d(B, A) entre dos discos A y B.
N
como el resultado —individualmente— más importante de la topologı́a
IA
general. Lo que sı́ es cierto sin ninguna duda, es que es uno de los medios
más poderosos para garantizar la compacidad de ciertos espacios clásicos
del Análisis, ya que asegura la compacidad para el producto arbitrario
de espacios compactos5 .
UB
.R
G
5
J. L. Kelley mostró en 1950 que el teorema de Tychonoff es equivalente al axioma
de elección; no es de extrañar ası́ que toda demostración de este teorema involucre al
Lema de Zorn o alguna otra forma equivalente al axioma de elección.
10.4 Teorema de Tychonoff 173
O
⇐) Consideremos Vx ⊆ X una vecindad de x. No perdemos general-
idad si suponemos que Vx es un abierto básico:
N
Y
Vx = Ui1 × Ui2 × · · · × Uin × Xi , i 6= i1 , . . . , in .
Luego pik (Vx ) = Uik es una vecindad de xik puesto que las proyecciones
n
\ Y
(Uik × Xi ) = Vx ∈ F
k=1 i6=ik
lo que significa F → x.
.R
O
y no se esperarı́a que una construcción involucrando infinitud de espacios
compactos fuese de nuevo compacta.
N
EJEMPLO 10.13
El cubo I N = i∈N [0, 1]i es compacto si lo dotamos de la topologı́a
Q IA
producto.
EJEMPLO 10.14
UB
Sean ({0, 1}, Sierpinski) y (X, T) un espacio topológico cualquiera.
Consideremos el espacio producto
Y
σ(X) = {0, 1}U con {0, 1}U = {0, 1} para cada U ∈ T.
U ∈T
.R
U
b = {b
x : x ∈ U } = {b bU = 0} = p−1
x:x U ({0}) ∩ X.
b
O
Definición 10.24. Un espacio (X, T) se dice compacto por suce-
siones si cada sucesión en X contiene una subsucesión convergente.
N
EJEMPLO 10.15
IA
1. Todo subconjunto finito de un espacio es compacto por sucesiones
(la topologı́a de subespacio).
O
Definición 10.26. Un espacio (X, T) se dice compacto contable-
mente o ω–compacto si cada cubrimiento abierto y enumerable de X
admite un subcubrimiento finito.
N
Si recordamos que un espacio es de Lindelöf si cada cubrimiento
abierto admite un subcubrimiento enumerable, entonces los espacios
IA
compactos son los que son tanto de Lindelöf como ω–compacto
EJEMPLO 10.16
O
converge al punto α ∈ X, entonces para cada x ∈ I, αnk (x) → α(x)
—recordemos que la convergencia en la topologı́a producto para X es
puntual—. Sea t ∈ I con la propiedad que αnk (t) = 0 si nk es impar,
N
αnk (t) = 1 si nk es par. La sucesión (αnk (t)) = {0, 1, 0, 1, 0, 1, . . .} no
puede converger. IA
En el ejemplo 8.4 mostramos que no es 1-contable.
EJEMPLO 10.17
(R, cof initos) es contablemente compacto y además compacto por suce-
UB
siones.
EJEMPLO 10.18
(R, coenumerables) no es compacto por sucesiones.
.R
EJEMPLO 10.19
G
O
EJEMPLO 10.20
El espacio X = (N × N) ∪ {(0, 0)} de Arens-Fort posee una sucesión que
N
tiene un punto de clausura y no tiene una subsucesión convergente.
IA
Observemos que el conjunto X − {(0, 0)} es enumerable, i. e., existe una
biyección f : N −→ X −{(0, 0)}. f es una sucesión que tiene a (0, 0) como
punto de clausura ya que toda vecindad de este punto tiene infinitos
términos de la sucesión, pero ninguna subsucesión es convergente a (0, 0)
UB
pues ya hemos visto que este espacio es de convergencia trivial.
Por supuesto que en los espacios métricos no tendrı́amos este proble-
ma. Más aún, en los espacios 1–contables tampoco lo tenemos; si x es un
punto de acumulación de (xn ) y {B1 , B2 , . . .} es una base local encajada
para x, por cada k ∈ N podemos encontrar nk ≥ k tal que xnk ∈ Bk y
.R
la subsucesión xnk → x.
EJEMPLO 10.21
Dados (X, T) un espacio y una sucesión (xn ) en X, un punto x es un
G
EJEMPLO 10.22
En Ru , 0 es un punto de clausura para la sucesión {0, 1, 0, 1 . . .}.
O
X no serı́a contablemente compacto.
⇐) Si X no fuera contablemente compacto, existe un cubrimiento
N
abierto {Un }, (n ∈ N) queSno admite un subcubrimiento finito. Por cada
n ∈ N, el conjunto X − ni=1 Ui 6= ∅. Sea x1 ∈ X − U1 . Definimos S 1 Un1
como el primer Ui donde x1 está. Ahora tomemos x2 ∈ X − ni=1
IA Ui .
Supongamos
Snk que x k ha sido escogido y x k ∈ U nk ; escogemos x k+1 ∈
X − i=1 Ui . Con estas definiciones, la sucesión (xk ) de infinitos términos
diferentes debe poseer un punto x adherente a la sucesión y además
x ∈ Un para algún n ∈ N. Pero si N ∈ N es suficientemente grande,
UB
digamos N > n, tenemos que xk ∈ / Un para k > N . Luego Un ∈ V(x)
y contiene tan sólo finitos términos de la sucesión, es decir, x no es un
punto de clausura.
EJEMPLO 10.23
En un espacio compacto X todo subconjunto infinito A ⊆ X posee al
menos un punto de ω-acumulación. Pues de lo contrario, por cada x ∈ X
podemos encontrar una Vx abierta con Vx ∩ A finito; esta colección de
vecindades forma un recubrimiento abierto el cual reducimos a uno finito
Vx1 . . . Vxn . Por tanto
serı́a finito.
180 Compacidad
O
EJEMPLO 10.24
En N consideremos la topologı́a generada por la base
N
{{1, 2}, {3, 4}, {5, 6}, . . .}.
IA
En este espacio todo A ⊆ N posee un punto de acumulación; pero,
por ejemplo, los números pares no poseen un punto de ω-acumulación.
Note que este espacio no es compacto por sucesiones, ya que la sucesión
{1, 2, 3, 4, . . .} no contiene ninguna subsucesión convergente y tampoco
UB
admite un punto de clausura. Finalmente este espacio no es contable-
mente compacto, pues la base misma es un cubrimiento abierto que no
admite un subcubrimiento finito.
Ejercicios 10.5
O
compacidad contable y compacidad secuencial son equivalentes.
N
del ejemplo 1.14 (página 10).
...
..........
....
...
....
• .......
........
............
................................................
.........
.......
.......
.... ...... ......
...... .....
.... ......
....
.... • • ......
.. .
• •
.....
....
....
.. ... ...
...
... ...
. ...
....
... ...
... ..
• .
....
.
• • ...
...
...
...
... .... ...
•
..... ....
... .... • • • ...
..
..
..
......... ..
...... ..
• ......... • • • • ..
...
..
.......
......... (1, 1) ....
..
• ... ....
..... ..... • ....
..... .
. .... ...................
.
. ......... • • ...
.
.
.
.
... . ..... ...
... .... ... . ..
.. . ....
.... ..... ... . . . ...
ε• • •
.. ... .... . ... . .
.
. ...
.
.
....
... .. . .
.... . . .... ...
... ...
...... ....... . .... ...
... ...
• .
....
....... ...
......... . . .......
• • ....
...
O
.....
.............
..... ........................
.
...
......
...... ..
... ...... ......
....... .......
.. ......... .......
.........
...
• ............
... .............
................................................................................................................................................................................................................................................................
..
....
.
N
Figura 10.5: Un disco es totalmente acotado.
EJEMPLO 10.25
IA
R con la métrica d0 (x, y) = ı́nf{1, |x − y|} no admite una ε-red finita
para ε < 1. En el caso de (Rn , usual) estos dos conceptos coinciden.
UB
es totalmente acotado.
O
Demostración. Por el corolario 10.32.
N
Teorema 10.37. Todo espacio métrico (X, d) compacto es 2-contable.
Número de Lebesgue
iento. Este número depende del cubrimiento que se tome y nos informa
que un cubrimiento no puede tener todos sus elementos por debajo de
cierto diámetro.
El siguiente teorema nos garantiza la existencia del número de Lebesgue
para los espacios métricos compactos.
O
d(x, y) ≤ d(x, xN ) + d(xN , y) ≤ r/2 + 1/N < r/2 + r/4 < r
N
Con el anterior teorema podemos probar la equivalencia entre las
diferentes definiciones de compacidad, cuando nos restringimos a la cat-
IA
egorı́a de los espacios métricos.
m(f (x), f (a)) ≤ m(f (x), y) + m(y, f (a)) < /2 + /2 = .
10.7 Ordinales como ejemplo 185
Ejercicios 10.6
O
es 2-contable y separable.
N
Lindelöff.
N O
IA
Figura 10.6: Números ordinales.
UB
O = 0, 1, 2, . . . , ω, ω + 1, ω + 2, . . . , 2ω, 2ω + 1, 2ω + 2, . . . , 3ω, . . .
. . . , ω 2 , ω 2 + 1, . . . , ω 3 , . . . , ω 4 , . . . , ω ω , ω ω + 1, . . . , Ω, . . .
7
Recordemos que I ⊆ B es un ideal si dados x, y ∈ B con x ∈ I, y ≤ x implica
y ∈ I; es decir, para cualquier elemento y ∈ I se tiene ↓ y ⊆ I (todos los precedentes
a él también pertenecen a I).
10.7 Ordinales como ejemplo 187
Las notaciones se deben a G. Cantor pues fue él quien nos enseñó a
contar.
Note que ω, ω + 1 son ordinales contables —es decir, su cardinalidad
es la misma de N—; además ω = 0, 1, 2, . . . es diferente de
ω + 1 = ω ∪ {ω} = 0, 1, 2, . . . , ω
O
En general llamamos a un número ordinal un ordinal lı́mite si
no tiene un predecesor8 inmediato. ω es el primer ordinal lı́mite, el se-
gundo ordinal lı́mite es 2ω = 0, 1, . . . , ω, ω + 1, . . . Ası́ también lo son
N
3ω, . . . , ω 2 , . . . , ω 3 , .. y llegamos a ω ω donde su cardinal no es NN =c, ¡él
todavı́a es un ordinal contable —insomnio—! Si un número ordinal no
IA
es lı́mite lo llamamos ordinal sucesor.
ω
Existe un significado natural para ω ω , . . . y al final de esta hilera
arribamos a un ordinal el cual Cantor llamó ξ. ¡Este es todavı́a un ordinal
contable! Ahora aparece Ω, el primer ordinal no contable.
UB
O
cubrimiento finito de U. Sean α = sup A y U ∈ U tal que α ∈ U , por
tanto U ⊆ A —¿por qué?—. Luego existe (η, ζ) ⊆ U tal que α ∈ (η, ζ) (a
menos que α = Ω), pero como α es el sup de A, tenemos que (α, ζ) = ∅,
N
luego ζ ∈ A, pero esto no puede suceder, con lo cual A = [0, Ω].
O
Ejercicios 10.7
N
1. Revise el argumento en la demostración de la proposición 10.42 y
IA
el utilizado en el teor. 10.2 para mostrar que [0, 1] es compacto.
2. Sea (X, ≺) un conjunto bien ordenado con la topologı́a del orden.
Muestre que X es compacto si y solo si contiene un elemento max-
imal.
UB
menores que α.
5. El espacio [0, ω) es precisamente N con la topologı́a discreta, mien-
tras que [0, ω] es el compactado de Alexandroff de N.
G
O
EJEMPLO 10.26
N
2. (Rn , usual) es localmente compacto, pues las cajas cerradas son
compactas.
IA
3. Si X es infinito, la topologı́a discreta es localmente compacta (para
cada x, {x} es una vecindad compacta) pero no es compacta.
UB
4. Para X infinito, la topologı́a Ix del punto incluido es localmente
compacta (pero no compacta).
x ∈ Vx ⊆ Vx ⊆ Ux .
EJEMPLO 10.27
(R, cof initos) es localmente compacto según (i) pero no lo es según (ii)
pues la adherencia de una vecindad de un punto es todo R.
10.8 Compacidad local 191
EJEMPLO 10.28
Sea X un espacio de Hausdorff. X es localmente compacto si, y solo si,
todo filtro convergente en X tiene un miembro compacto.
O
⇒) Si X es localmente compacto y F es un filtro en Xconvergente a
x, por definición toda vecindad de x pertence a F. Pero entonces basta
N
tomar una vecindad compacta de X (que existe porque X es localmente
compacto) y se concluye que F contiene un miembro compacto.
IA
⇐) Sea x un punto cualquiera de X. Como la colección de todas las
vecindades de x es un filtro que converge a x, por hipótesis debe contener
algún miembro compacto, ası́ que x posee una vecindad compacta Vx .
UB
EJEMPLO 10.29
La topologı́a de intervalos encajados. Para X = (0, 1) ⊆ R definimos
T = {(0, 1 − n1 )}n (n = 2, 3, 4, . . .) y por supuesto añadimos el ∅ y X.
.R
EJEMPLO 10.30
La compacidad local en general no es hereditaria. Q con la topologı́a de
subespacio de Ru no es localmente compacto en el punto 0 pues ninguna
vecindad de 0 es compacta. En efecto, dado un intervalo [p, q] en Q
que contenga a 0, podemos obtener un cubrimiento abierto de [p, q] no
reducible a uno finito; basta tomar t ∈ R − Q con p < t < q y considerar
la colección {[p, t − 1/n) ∪ (t + 1/n, q]}, (n ∈ N) trazada con Q —algunas
intersecciones pueden resultar vacı́as—.
O
Claro que esto no sucede en caso que los subespacios sean abiertos o cer-
N
rados, es decir, la compacidad local es hereditaria–cerrada (¡demuéstre-
lo!).
1
IA
0.5
UB
-0.5
-1
EJEMPLO 10.31
Sea D el grafo de la función f (x) = sen(1/x) para 0 < x ≤ 1/π. El
conjunto D∗ = D ∪ {(0, 0)} dotado de la topologı́a de subespacio de R2u
no es localmente compacto en el punto (0, 0) ya que cualquier vecindad
V de este punto contiene una sucesión de puntos —sobre una recta
paralela al x–eje que no posee un punto de acumulación en V , i. e., V
no es cerrada.
10.8 Compacidad local 193
EJEMPLO 10.32
La compacidad local no se preserva por funciones continuas en gener-
al. La función idQ : (Q, discreta) −→ (Q, usual) es continua pero no
preserva la compacidad local. Pero si f además de continua es abierta
sı́ se preserva.
10.8.1. Compactación
O
La esfera S 2 es una compactación del plano R2 ya que la proyección K
estereográfica identifica al plano con la esfera punteada (el polo norte es
removido).
N
Hemos identificado un espacio no compacto con uno que sı́ lo es al
añadirle un punto —S 2 es compacto—.
IA
Definición 10.51. Sea (X, T) un espacio. Un espacio (Y, H) compacto
se llama un compactado de X si existe una función f : X −→ Y
continua e inyectiva tal que f : X −→ f (X) ⊆ Y es un homeomorfismo
con f (X) denso en Y .
UB
O
de U0c , luegoSlo podemos reducir a un subcubrimiento finito U1 , . . . , Un
y ası́ X ∗ ⊆ ni=0 Ui .
N
Proposición 10.54. X es denso en X ∗ si y solo si X no es compacto.
O
Teorema 10.57. Sea X un espacio localmente compacto y no compacto.
Entonces i : X ,→ X ∗ —la inyección canónica— es una compactación
de Alexandroff para X.
N
Ejercicios 10.8
IA
1. Muestre que en los espacios de Hausdorff la compacidad local se
hereda a los subconjuntos cerrados o abiertos.
UB
compactos.
definida por
2
1 − x , 2x
, x∈X
f (x) = 1 + x2 1 + x2
(−1, 0) x = ∞.
N O
Una manera clásica de presentar al espacio Ru es la siguiente: es el
menor espacio métrico completo que contiene a Q como subespacio. El
IA
sentido de ‘completo’ y su generalización es lo que estudiamos en este
capı́tulo. Intuitivamente un espacio métrico es completo si cada sucesión
que ‘quiere’ converger realmente tiene a dónde hacerlo.
UB
11.1. Sucesiones de Cauchy
196
11.1 Sucesiones de Cauchy 197
Demostración. Sea (xn ) una sucesión de Cauchy para la cual existe una
subsucesión xnk → l ∈ X. Para ε > 0 existen Nε y kε en N tales que
para todo m, n ≥ Nε , d(xm , xn ) < 2ε y para todo k ≥ kε , d(xnk , l) < 2ε .
Si M = máx{Nε , nkε } entonces para n ≥ M tenemos
O
Las proposiciones 11.3, 11.4 implican que los espacios métricos que son
compactos son completos. Pero esto no significa que haya escasez de
espacios métricos completos que no sean compactos, por ejemplo Ru .
N
Desafortunadamente la propiedad de completez no es un invariante
topológico. Por ejemplo Ru ≈ (0, 1) pero el segundo no es completo.
IA
Como la definición de sucesión de Cauchy no es una cualidad topológi-
ca sino que depende de la métrica usada en particular, podemos tener
la misma topologı́a proveniente en un caso de un espacio completo y
UB
en otro de un espacio no completo —la noción de sucesión de Cauchy
no es topológica—.
Por ejemplo, si sobre R definimos la métrica
x y
d(x, y) = − ,
.R
1 + |x| 1 + |y|
EJEMPLO 11.1
(RN , d) con d la métrica primeriza o de Baire (ver pág. 34) es completo.
O
xn → (xk ).
Esta es una métrica que harı́a de Q ∩ (0, 1) un espacio completo al tomar
cada racional en su expansión decimal.
N
11.1.1. Filtros de Cauchy
IA
Ası́ como para las sucesiones en un espacio métrico, también existe
una versión de Cauchy para los filtros.
UB
O
Proposición 11.9. Sea (X, d) un espacio métrico completo. Un filtro
F es convergente si y solo si es de Cauchy.
N
Demostración. ⇒) Supongamos que F converge a x. Entonces B/2 (x) ∈
IA
F y además B/2 (x) es –pequeña.
⇐) Sea F de Cauchy. Construyamos una sucesión (xn ) de Cauchy
y mostremos que F converge al punto que converge tal sucesión. Dado
n tomamos Fn que sea n1 –pequeño y elegimos xn ∈ F1 ∩ · · · ∩ Fn . La
UB
sucesión (xn ) ası́ definida es la que necesitamos.
EJEMPLO 11.2
La completez no es hereditaria. R es completo ya que toda sucesión de
Cauchy al ser acotada está contenida dentro de un subespacio compacto
.R
y por lo tanto compacto por sucesiones, con lo cual se admite una sub-
sucesión convergente y por 11.4 tenemos la completez.
En Q con la topologı́a de subespacio usual de R la sucesión
(1, 1,4, 1,41,
√ 1,414, 1,4142, . . .) es de Cauchy y no converge —quiere con-
G
O
Teorema 11.11. Sea (X, d) un espacio métrico. X es compacto si y
solo si X es completo y totalmente acotado.
N
Demostración. ⇒) Proposiciones 11.3, 11.4.
⇐) Sea (xn ) en X. Si un término se repite un número infinito de
IA
veces, ella contiene una subsucesión convergente —constante—. Si este
no es el caso, veamos que de todas formas existe una subsucesión con-
vergente, lo cual muestra que X es compacto por sucesiones; lo que para
nuestro caso métrico es equivalente a compacidad.
UB
Dado un ε > 0 existe una ε-red finita y por tanto un cubrimiento Bε
—finito— por bolas de radio ε. Ası́, para cada ε existe una bola Bε (tε ) en
Bε —algún tε — que contiene infinitos términos de la sucesión (xn ). Sea
xn1 el primer término de la sucesión contenido en B1 (t1 ). Similarmente
escogemos a xnj como el primer elemento de {xk : k > nj−1 } contenido
.R
O
números reales y por F. Hausdorff en 1914 para los espacios métricos
completos.
N
Teorema 11.13. Supongamos que (X, d) es un espacio métrico com-
pleto y sea {Dn }n∈N una
T colección enumerable de conjuntos abiertos y
densos en X. Entonces n∈N Dn es densa en X.
IA
Demostración. Veamos que para cualquier abierto U se tiene
!
\
U∩ Dn 6= ∅.
UB
n∈N
O
C tomando complementos se tiene C
S
n∈N n n∈N n
pacio es de Baire, alguno de los Cn c no es denso, i.e., Cn contiene un
abierto.
N
En un espacio topológico se puede pensar que los conjuntos cerra-
dos con interior vacı́o son como ‘puntos’ en el espacio (son demasiado
IA
delgados para contener ‘algo’). Ignorando los espacios con puntos ais-
lados, que son su propio interior, un espacio de Baire es grande en el
sentido que no puede construirse como una unión enumerable de estos
conjuntos ‘delgados’.
UB
EJEMPLO 11.3
G
Ejercicios 11.2
d(xn , xm ) → 0 cuando n, m → ∞.
O
de completez.
N
completo.
5. Sea (xn ) una sucesión en el espacio métrico (X, d). Muestre que
IA
(xn ) es de Cauchy si y solo si lı́mn→∞ diam(Xn ) = 0 donde Xn =
{xn , xn+1 , . . .}.
muestre que
.R
O
Uno de los métodos —introducido por Hausdorff en 1914— de con-
struir los números reales es a partir de los números racionales, us-
N
ando clases de equivalencia de sucesiones de Cauchy en los números
racionales. IA
Por supuesto, existen otros métodos como el propuesto por Dedekind
utilizando sus llamadas cortaduras y luego extendido por MacNeille
para conjuntos parcialmente ordenados.
Lo que haremos en esta sección no es más que resaltar la belleza
UB
de la técnica utilizada por Hausdorff, para mostrar una de las formas
clásicas de abstraer en matemáticas y de paso ‘completar’ un espacio
métrico cualquiera.
Recordemos que una isometrı́a es una clase particular de función
.R
O
i
Para ver que d∗ es una métrica basta notar que si (xi ), (yi ) ∈ S entonces
(d(xi , yi )) es de Cauchy en R, por lo cual su lı́mite existe.
N
Cada elemento x ∈ X lo identificamos en X ∗ con la sucesión x = (x)
constante al punto x, con lo cual f : (X, d) −→ (X ∗ , d∗ ) definida por
IA
f (x) = x = [(x)] es una isometrı́a con X := f (X).
Para verificar que X = f (X) es denso en X ∗ consideremos (xn ) ∈ S
y veamos que [(xn )] ∈ X. Dado ε > 0, sea [xi ] = [(xi , xi , . . .)] para cada
i —note que [xi ] = f (xi ) pertenece a f (X)—. Como (x1 , x2 , · · · ) es de
UB
Cauchy, existe un entero N tal que d(xi , xj ) < ε para cada i, j ≥ N .
Luego
d([(xn )], f (xN ) = limn d(xn , xN ) < ε,
ası́, [(xn )] es un punto adherente a X (f (xN ) es un punto en f (X)),
luego X = f (X) es denso en X ∗ .
.R
(xnk , xnk+1 , . . .) con lo cual (xn ) puede ser representada por ésta última
sucesión.
Veamos que x = (x11 , x22 , x33 , . . . ) es una sucesión de Cauchy. Dado
ε > 0 existe N tal que d(xm , xn ) = lı́mk d(xkn , xkm ) < ε para m, n > N .
Luego para algún K fijo K ≥ N , tenemos d(xK K
n , xm ) < ε/3 para m, n >
N . Escojamos M tal que 1/M < ε/3. Entonces para m, n ≥ N tenemos
d(xm n m K K K K n
m , xn ) ≤ d(xm , xm ) + d(xm , xn ) + d(xn , xn ) < 3ε/3 = ε.
O
tarse por (x, x, . . .) y por tanto x ∈ X.
N
11.4. Espacios de funciones
IA
Recordemos que si X es un conjunto y (Y, d) es un espacio métri-
co, sobre el conjunto B(X, Y ) de todas las funciones acotadas de X en
Y , definimos la métrica d∞ (f, g) = supx∈X {d(f (x), g(x))}. Esta métrica
genera la topologı́a del sup o topologı́a de la convergencia uni-
UB
forme.
valor de este lı́mite, entonces f (x) define una f : (X, T) −→ (Y, d). En
este caso decimos que (fn ) converge puntualmente a f .
O
Demostración. Dados a ∈ X y ε > 0 veamos que existe una Va tal que
para cada x ∈ Va se tiene d(f (x), f (a)) < ε. Como fn → f , existe N ∈ N
N
tal que d(fN (x), f (x)) < ε/3 para todo x ∈ X. De otra parte,
d(f (x), f (a)) ≤ d(f (x), fN (x)) + d((fN (x), f (N (a)) + d(fN (a), f (a))
IA
< d(fN (x), fN (a)) + 2ε/3
y como fN es continua, existe Va tal que para x ∈ Va , d(fN (x), fN (a)) <
ε/3, con lo cual se satisface que, x ∈ Va implica d(f (x), f (a)) < ε.
UB
⇐) Dado ε > 0 existe N ∈ N tal que para n ≥ N se tiene d(fn (x), f (x)) <
ε/2 para cada x ∈ X. Luego si n > N entonces supx {d(fn (x), f (x))} ≤
ε/2 < ε con lo cual d∞ (f, fn ) < ε para n > N .
O
N1 ∈ N tal que d∞ (fN1 , fn ) ≤ 1 para todo n ≥ N1 . Sea a ∈ Y y notemos
por a la función a : X → Y constante a a. Para todo x ∈ X y n ≥ N1 ,
N
d(a, fn (x)) ≤ d(a, fN1 (x)) + 1 ≤ d∞ (a, fN1 ) + 1.
O
Corolario 11.25. Sean (X, T) un espacio compacto y (Y, d) un espacio
métrico completo. El espacio C(X, Y ) de las funciones continuas con la
N
métrica d∞ de la convergencia uniforme es completo.
IA
UB
.R
G
12 Los axiomas de separación
O
La definición de espacio topológico es en sı́ muy general: una colec-
N
ción de subconjuntos con dos propiedades de clausura, una para la unión
y otra para la intersección; por tanto, no muchos teoremas pueden de-
mostrarse a menos que limitemos las clases de espacios a considerar.
IA
Para obtener estas clases especı́ficas, debemos imponer condiciones de
suerte que, a más condiciones, más especı́fica sea la clase y entonces más
teoremas —propiedades— puedan ser demostrados.
Hemos visto cómo algunas propiedades topológicas de un espacio
UB
(X, T) dependen directamente de condiciones impuestas sobre la cardi-
nalidad de T o más precisamente de la cardinalidad de sus bases, por
ejemplo 2-contable, 1-contable, ejerciendo a su turno un control sobre la
cantidad de abiertos involucrados en el espacio.
.R
12.1. T0 , T1 y T2 o de Hausdorff
210
12.1 T0 , T1 y T2 o de Hausdorff 211
N O
IA
Figura 12.1: P. Alexandroff y H. Hopf, Zürich, 1931.
UB
Al hablar de separación en un espacio topológico nos referimos a la sep-
aración que podemos inducir entre los puntos del espacio valiéndonos
de los conjuntos abiertos. En un espacio indiscreto, por ejemplo, esta
separación es nula pues para cualesquiera dos puntos es imposible hal-
lar un abierto que contenga a uno de ellos sin contener al otro. Nuestro
estudio se limitará a los axiomas Tk mencionados, aunque no dejan de
.R
de un abierto2 .
Definición 12.1. Un espacio (X, T) es T0 o de Kolmogoroff 3 si, dados
x, y ∈ X con x 6= y, existe una vecindad abierta Ux de x que no contiene
2
En 1935 se publicó el libro Topologie I de Pavel S. Alexandroff y Heinz Hopf.
En éste se indica que el axioma de separación más débil fue introducido por Andrei
Kolmogoroff.
3
Andrei Kolmogoroff (Tambov 1903-Moscú 1987), matemático ruso que hizo pro-
gresos importantes en los campos de la teorı́a de probabilidad y de la topologı́a. En
particular, desarrolló una base axiomática que supone el pilar básico de la teorı́a de
las probabilidades a partir de la teorı́a de conjuntos. Trabajó al principio de su carrera
en lógica constructivista y en la serie de Fourier. Fue el fundador de la teorı́a de la
complejidad algorı́tmica.
212 Los axiomas de separación
EJEMPLO 12.1
El espacio de Sierpinsky {0, 1} (pág. 13) es T0 .
EJEMPLO 12.2
Dado un conjunto parcialmente ordenado (X, ≤), el espacio (X, Td ) con
O
la topologı́a generada por las colas a derecha cerradas es T0 .
N
1. Dados x 6= y, x ∈
/ {y} ó y ∈
/ {x}. IA
2. Si x y y son puntos distintos de X entonces {x} =
6 {y}.
UB
EJEMPLO 12.3
1. El espacio del ejemplo 10.29 —intervalos encajados— no es T0 pues
1
todo abierto no vacı́o contiene simultáneamente a los puntos 10 ,
1
8 .
G := {A ⊆ X : {a, b} ⊆ A} ∪ {∅}.
EJEMPLO 12.4
(R, cof initos) es un espacio T1 .
O
dorff5 y es el que nosotros hemos exigido en la definición de un espacio
de Hausdorff o T2 . Algunas veces este espacio se llama ‘separado’, que
no debe confundirse con separable, lo cual tiene un significado comple-
N
tamente diferente.
Ya hemos visto que esta es una propiedad heredable y productiva, la
IA
cual resulta de un valor apreciable cuando se trata de espacios com-
pactos. En los espacios de Hausdorff la convergencia de una sucesión o
de un filtro, en caso de existir, es única, lo que es uno de los requisitos
mı́nimos para desarrollar una teorı́a de convergencia.
UB
EJEMPLO 12.5
1. Todo espacio métrico es de Hausdorff.
Ejercicios 12.1
O
contienen al punto a es {a}.
e) Cada subconjunto de X es unión de subconjuntos cerrados.
N
f ) Cada subconjunto no vacı́o contiene algún subconjunto ce-
rrado no vacı́o. IA
g) Para cada x ∈ X el conjunto {x}a = ∅.
h) Para cada A ⊆ X, Aa = Aaω (definición 10.30).
O
Entonces
N
h−1 (∆Y ) = h−1 ({(y, y) | y ∈ Y })
= {(x, y) | f (x) = y, x ∈ X}
IA
= {(x, f (x)) | x ∈ X} = Gf .
13. Q
Muestre que T0 , T1 , T2 son productivas, i. e., el espacio producto
i∈I (Xi , Ti ) es T0 , T1 , T2 si y solo si cada espacio factor lo es.
O
EJEMPLO 12.6
N
Un espacio que es T2 pero no es regular.
EJEMPLO 12.7
En R consideremos el conjunto A = {1/n | n ∈ N}. Definimos una
topologı́a T para R ası́: V ∈ T si y solo si V = U ∩ B c donde U es abierto
de la topologı́a usual de R y B ⊆ A.
Esto es, los elementos de la topologı́a son los abiertos de la usual, con
G
O
vecindad de x contiene una vecindad cerrada.
N
vecindades disyuntas abiertas V, W de x y U c respectivamente. Ası́, x ∈
V ⊆ W c y como W c ⊆ U tenemos x ∈ V ⊆ V ⊆ U ya que W c es
cerrado.
⇐) Dado un F cerrado y x ∈
IA
/ F , el conjunto F c es una vecindad
c
abierta de
c x. Ası́ que existe Vx tal que Vx ⊆ Vx ⊆ F . Si tomamos
U = Vx entonces F ⊆ U y además Vx ∩ U = ∅.
UB
EJEMPLO 12.8
Bajo la anterior caracterización es claro que la topologı́a de los comple-
mentos finitos en R no es regular, ya que ninguna vecindad de un punto
es cerrada.
.R
No siempre es el caso que cada espacio regular implique los demás ax-
iomas de separación T0 , T1 , T2 . Por ejemplo (X, grosera) es regular pero
no necesariamente es T2 pues un punto no necesita ser un conjunto cerra-
do. Es por ello que a los espacios regulares los reforzamos en la siguiente
G
O
ponente i0 y en las otras i–ordenadas elegimos un punto cualquiera xi
−1
para cada i. Sea
Q A = pi0 (Ai0 ) = i6=i0 Xi × Ai0 —el cilindro—; consid-
Q
eremos Ux = Uxi , (i ∈ I) una vecindad cualquiera de x y UA cualquier
N
vecindad abierta de A. Entonces
EJEMPLO 12.9
Sorgenfrey (R, J+ ) es T3 . Dados U abierto y x ∈ U existe [a, b) tal que
x ∈ [a, b) ⊆ U . Recordemos que esta topologı́a es más fina que la usual;
ası́, los intervalos abiertos también son abiertos de esta topologı́a, con lo
cual los elementos [a, b) de la topologı́a son simultáneamente abiertos y
cerrados. Por el teorema 12.4 tenemos la regularidad. Solo resta verificar
que el espacio es T1 .
12.2 Regulares, T3 , Tychonoff 219
EJEMPLO 12.10
Sea (X, ≤) un espacio totalmente ordenado. Entonces las topologı́as
J0 , J+ , J− son T3 (pág. 23).
O
contiene una vecindad de x que es cerrada. Sea (a, b) ∈ V(x):
N
x ∈ (t, t0 ) ⊆ [t, t0 ] ⊆ (a, b).
b) Si no existe t tal que a < t < x entonces: o bien existe t0 con
x < t0 < b, con lo cual x ∈ (a, t0 ) ⊆ [a, t0 ] ⊆ (a, b), o bien no
IA
existe t0 con x < t0 < b, con lo cual (a, b) = {x} es vecindad
cerrada de x.
c) Si no existe t0 tal que x < t0 < b, razonamos como en (b).
UB
2. T+ . Sabemos que es T2 y recordemos que los abiertos [x, y) son
igualmente cerrados pues
[x, y)c =
[ [ [
[a, x) [y, b).
a<x y<b
.R
3. T− . Como en (2).
La razón del nombre para estos espacios es que son más que regu-
lares; en efecto, los conjuntos f −1 ([0, 1/2)) y f −1 ((1/2, 1]) son vecindades
disyuntas de x y F respectivamente.
220 Los axiomas de separación
Recordemos que los productos de la forma [0, 1]I = i∈I [0, 1]i –donde
Q
cada [0, 1]i es el intervalo unidad con la topologı́a usual– con la topologı́a
producto de Tychonoff son llamados cubos I-dimensionales. En par-
ticular, el cubo I ℵ0 se llama cubo de Hilbert.
O
Si (X, T) es un espacio de Hausdorff y F = {f | f : X −→ [0, 1]} es
la familia de todas las funciones continuas, la función evaluación
N
Y
e : X −→ IA [0, 1]f
f ∈F
con g(p) ∈
/ g(X − U ) —la adherencia tomada en g(X)—. El conjunto
Y
V = {y ∈ [0, 1]f : g(y) ∈
/ g(X − U )},
f ∈F
G
Ejercicios 12.2
O
propiedades hereditarias.
N
coenumerables. ¿Es (R, J ) un espacio T3 ?
Sugerencia: muestre que U es un abierto en J si y solo si U =
IA
V − A donde V es un abierto de la usual y A es un subconjunto
enumerable.
F = {f | f : X −→ [0, 1]}.
12.3. Normales, T4
EJEMPLO 12.11
Sean X = {a, b, c, d, e} y T = {X, ∅, {a, b, c, d}, {a, b, c}, {b, c, d, e},
{b, c, d}, {b, c}, {b}, {b, d, e}, {b, d}, {d, e}, {d}}. (X, T) es normal, pero
no es regular ya que {a, d, e} es un cerrado que no puede ser separado
del punto {c}, c ∈ / {a, d, e}.
O
Definición 12.13. Un espacio (X, T) que es normal y T1 se dice T4 .
N
Demostración. Si X es T1 , el conjunto {x} es cerrado para cada x ∈ X,
IA
y ser regular es un caso particular de ser normal.
EJEMPLO 12.12
Todo espacio métrico (X, d) es normal. En efecto, dados dos cerrados
F, G disyuntos, por cada g ∈ G tomamos εg > 0 tal que Bεg (g) ∩ F = ∅
—recuerde que d(g, F ) > 0 puesto que g no es adherente a F —. Entonces
Bεg /2 (g), (g ∈ G) es un abierto que contiene a G y no intercepta a F .
S
De manera similar construimos un abierto para F que no corte a G.
Muestre que realmente estos abiertos no se cortan.
EJEMPLO 12.13
Sea R con la topologı́a T definida como: U ∈ T si U c es contable o 0 ∈
/ U.
O
De otra parte, no existe una base local enumerable para el punto 0
ya queSsi existiera {B1 , B2 , . . .} tenemos que n=1 Bn = {0} y de otra
T
parte n=1 Bnc deberı́a ser contable puesto que 0 ∈ Bn para cada n, y
N
como cada Bn es abierto, solo puede serlo si Bnc es contable.
¿Puede ver usted el filtro involucrado en este ejemplo y la construc-
IA
ción en general?
EJEMPLO 12.14
El semiplano de Niemytzki del ejemplo 5.7 es un espacio que muestra
UB
que ser T4 no es consecuencia de ser T1 y regular. Veamos a continuación
sus principales propiedades:
O
Como los racionales son enumerables, sea {q1 , q2 , . . .} una enumeración
de ellos. Para n = 1 tomamos un intervalo I1 tal que q1 ∈ / I1 ; ası́, existe
J1 ⊆ I1 tal que J1 ∩ S1 = ∅. Si q2 ∈ J1 , tomamos un subintervalo I2 ⊆ J1
N
tal que q2 ∈/ I2 y de éste extraemos J2 tal que J2 ∩ S2 = ∅ ; si q2 ∈ / J1
tomamos un I2 ⊆ J1 tal que I2 ∩ S2 = ∅. De esta manera, construimos
IA
inductivamente una sucesión de intervalos cerrados In tal que In+1 ⊆ In
con qn ∈/ In y In ∩ Sn = ∅. Por el principioTde Cantor para los intervalos
encajados, existe un número t tal que t ∈ n∈NIn . Claramente t no es un
número racional y para algún n suficientemente grande tenemos t ∈ Sn ,
UB
pero esto contradice que In ∩ Sn = ∅.
Luego para algún número natural n se debe tener que existe un
intervalo I de la recta real tal que cada subintervalo de I corta a Sn .
Ası́ que cada punto de I es un punto de acumulación de Sn ; en particular
existe un racional r con r ∈ Sna . Sea Bδ ((r, 0)) ⊆ VQ . Para x1 ∈ Sn
.R
EJEMPLO 12.15
Tablón de Tychonoff . Sea X = [0, ω] × [0, Ω]; cada factor es un espacio
O
compacto, pues cada una de sus topologı́as provienen de un orden com-
pleto. X es normal de acuerdo con el teorema 12.16. Definimos W el
tablón de Tychonoff como el espacio X menos el punto (ω, Ω), i. e.,
N
W = X − {(ω, Ω)} = [0, ω] × [0, Ω] − {(ω, Ω)}.
IA
Probemos que el tablón no es normal con la topologı́a de subespacio,
negando ası́ que la normalidad sea hereditaria.
UB
A
..........................
.............
Ω • • • • •
.......... ◦ (ω, Ω)
..................................
...
.
..
. ..
.. ..
.. ..
... ..
ω • • • • • · · · .... • ....
. ..
.. ..
.. ..
...
.. ..
..
.R
..
. ..
..
.. ...
..
..
.. ..
.. ..
.. ..
..
4 • • • • • ··· ..
.. • ..
..
.. B
.. .
3 • • • • • ··· ..
..
..
• ..
..
...
.. .
2 • • • • • ··· ..
•
.. ..
..
G
.. ...
1 • • • • • ··· • ..
..
..
.
..
..
.. ...
0 • • • • • • .. .
.. ..
.. ..
.. ..
0 1 2 3 4 ω ..
O
Ejercicios 12.3
N
1. Muestre que el producto de espacios normales no necesariamente
es normal, aun en el caso de un número finito de factores.
IA
Sugerencia: considere el espacio —ejemplo 9.20— con la topologı́a
de los cuadrados semiabiertos de Sorgenfrey y considere los subcon-
juntos F , G en la diagonal, dados por los puntos con componentes
racionales y los puntos con componentes irracionales respectiva-
UB
mente.
Este ejemplo muestra también que T3 no implica T4 .
O
Nótese que si esto sucede entonces A y B son disyuntos pues el con-
junto cerrado f −1 (1) contiene a A y por tanto contiene a A. Lo mismo
N
sucede para f −1 (0) y B. Podemos preguntarnos: si A, B son subconjun-
tos cerrados disyuntos, ¿existirá f que los separe?
IA
Para los espacios métricos la respuesta es afirmativa.
A −→ 0
UB
B B −→ 1
.R
d(x, A)
Demostración. Definimos f como f (x) := .
d(x, A) + d(x, B)
O
Figura 12.4: Construcción en el lema de Urysohn.
N
Demostración. La ‘idea’ en la demostración es brillante pero no por eso
complicada; la función u es obtenida como la última (el lı́mite) de una
sucesión de funciones escalonadas que al ir definiéndolas en una región
IA
que se expande entre A y B c (figura 12.4) crecen gradualmente desde
u(A) = 0 hasta u(B) = 1. Estas funciones en cada paso incrementan el
número de escalones a fin de dejar una función definida de manera con-
UB
tinua con rango en [0, 1]. El número de escalones en cada paso está dado
por una cadena enumerable de subconjuntos entre A y B c :
A = A0 ⊆ A1 ⊆ . . . ⊆ An ⊆ . . . ⊆ B c
p
En [0, 1] tomamos los números racionales de la forma n , 0 < p < 2n
2
donde p, n son enteros positivos. Este conjunto de números se llama
fracciones diádicas —fracciones cuyo denominador es una potencia
de 2— y lo denotamos por D.
1 1 3 1 3 5 7 1 15
D= , , , , , , , ,..., ,...
2 4 4 8 8 8 8 16 16
N O
Figura 12.5: Un paso no permitido en la construcción de las funciones escalon-
adas. IA
potencia q = 2N tal que 0 < 1/q < δ. Ya que
A ⊆ Ud1 ⊆ U d1 ⊆ Ud2 ⊆ U d2 ⊆ B c .
Uk/2n al paso Uk/2n+1 únicamente resta por agregar los abiertos Uk/2n+1
para los k = 2i + 1 impares. Para un tal k = 2i + 1 existe un abierto U
con la propiedad
O
natural en D.
Definimos la función u : X −→ [0, 1] como
N
(
0, si x ∈ Ud para todo d
u(x) =
sup{d : x ∈/ Ud }, en caso contrario
IA
—tomamos el ı́ndice del conjunto Ud más grande que no contiene a x—.
Por la definición tenemos u(A) = 0 pues si x ∈ A entonces x está en
todos los Ud . Por otra parte, u(B) = 1 pues x ∈ B implica que x no
UB
está en Ud para todo d, con lo cual el sup es 1.
Para ver que u es continua en el punto x, basta ver que u−1 ([0, a))
y u−1 ([a, 1)) son abiertos para todo 0 < a < 1 ya que los intervalos de
la forma [0, a), (a, 1] son una subbase cuando 0 < a < 1.
.R
lo cual muestra que se trata de un abierto: dado x ∈ u−1 ([0, a)) tenemos
G
u(x) ∈ [0, a), o lo que es igual, 0 ≤ u(x) < a; existe entonces dx ∈ D tal
que u(x) < dx < a, lo que significa u(x) =Ssup{d | x ∈ / Ud } < dx < a
y esto implica x ∈ Udx y por tanto x ∈ d<a Ud y ası́ u−1 ([0, a)) ⊆
d<a Ud .
S
O
La notación Gδ proviene del idioma alemán: G simboliza la palabra
Gebiet ‘región’ y δ la palabra durchschniff ‘intersección’. Un Gδ es un
N
conjunto que puede expresarse como una intersección enumerable de
abiertos. IA
EJEMPLO 12.16
Trivialmente, todo subconjunto abierto es un Gδ .
UB
En un espacio métrico los conjuntos cerrados son Gδ pues si A ⊆ (X, d)
es un cerrado, entonces A = n∈N S1/n (A), donde
T
O
función; dados A, B dos subconjuntos cerrados disyuntos del espacio
(X, T) la función f : A ∪ B −→ [0, 1] definida como f (x) = 0 si
x ∈ A, f (x) = 1 si x ∈ B —es una función continua definida sobre el
N
subespacio A ∪ B pues A, B son simultáneamente abiertos y cerrados
en este subespacio— admite a la función u : X −→ [0, 1] dada por el
lema de Urysohn como una extensión.
IA
Por supuesto el problema de garantizar la existencia de extensiones
de funciones no es trivial y en general no es posible encontrar tales
extensiones. Por ejemplo, para f : (0, 1] −→ R dada por f (x) = sen( x1 )
UB
—la curva seno del topólogo— es imposible 13.7 encontrar una extensión
continua para el espacio [0, 1], pues, no importa el valor que le asignemos
a f (0) siempre es posible encontrar una sucesión convergente a 0 y cuya
imagen no es convergente a f (0) —tomar lı́neas paralelas al eje x—.
El siguiente teorema garantiza una solución al problema cuando de
.R
los espacios normales se trata. Fue demostrado por Urysohn, pero lleva el
nombre de Tietze, ya que fue éste último quien antes lo habı́a demostrado
para los espacios métricos.
Sean
O
iguales de longitud 23 —. Definimos f1 := f − g1 la cual es una función
continua con
2 2
N
f1 : L −→ − , .
3 3
Sean
2 1 2
IA
A1 = f1−1 ([− , − ( )]),
1 2 2
B1 = f1−1 ([ ( ), ).
3 3 3 3 3 3
Nuevamente, y como antes, existe
UB
1 2 1 2
g2 : X −→ − , ,
3 3 3 3
2
2
| f1 (x) − g2 (x) |≤ ,
3
1 2 i−1
| gi (x) |≤
3 3
n n
X 2
| f (x) − gi (x) |≤ para x ∈ L.
3
i=1
O
3 3 3 3 3 3
y además
N
n+1
2 n+1
X
f (x) − gi (x) ≤ para x ∈ L.
3
i=1
IA
La sucesión {g1 , g2 , . . .} es una sucesión de funciones continuas sobre X
tal que
n−1
1 2
UB
| gn (x) |≤ , x∈X (12.1)
3 3
n
2 n
X
f (x) − gi (x) ≤ , x ∈ L. (12.2)
3
i=1
.R
Luego
1 2 n−1
kgn k = sup{|gn (x)| : x ∈ X} ≤
3 3
P∞ 1 2 n P∞
y como i=0 ( 2 )( 3 ) = 1 tenemos que i=1 gi es uniformemente con-
G
EJEMPLO 12.17
El disco unitario cerrado D ⊆ R2 es un espacio métrico y por tanto es
normal. Entonces para cada función continua f : S 1 → [0, 1] existe una
extensión continua al disco D.
O
tomamos la temperatura como una función continua. Supongamos que
tenemos una moneda, y la consideramos como el disco unidad D. Pode-
N
mos afirmar que dada una temperatura en el borde de la moneda, es
posible repartir calor en toda la moneda de forma que la temperatura
en el borde coincida con la dada en su borde.
IA
Si en el teorema 12.22 omitimos la condición de cerrado para L,
entonces el teorema no se tiene. Por ejemplo para X = [0, 1], L = (0, 1]
y f (x) = sen(1/x), 0 < x ≤ 1; ya hemos visto que f no puede ser
extendida de manera continua.
UB
EJEMPLO 12.18
Los espacios Rnu y los cubos de dimensión finita (I n , usual) son retractos
absolutos. Para ver que Rn es un retracto absoluto consideremos f :
L −→ Rn continua. Si pi es la proyección i-ésima entonces fi = pi ◦ f
es continua como función de L en R y sea Fi su extensión a todo X. Si
definimos F : L −→ Rn como F (X) = (F1 (x), . . . , Fn (x)), F es continua
y además es extensión de f .
236 Los axiomas de separación
EJEMPLO 12.19
Existencia de homotopı́as. Sean (X, T) normal y A ⊆ X cerrado. Dada
f : A −→ Rn existe F : X −→ Rn extensión de f ; en efecto, para cada
función coordenada fi = pi ◦f existe una extensión continua Fi : A −→ R
y por tanto la función F = (Fi )1=1,2,...,n es continua.
El espacio (I × I, usual) es normal y el subconjunto A formado por los
lados superior e inferior del cuadrado unidad es cerrado, i. e.,
O
Si f : A −→ R2 es continua, existe una extensión continua
N
F : (I × I, usual) −→ R2
llamada homotopı́a. IA
Ejercicios 12.5
UB
N O
IA
UB
.R
G
13 Conexidad
O
Algunos espacios topológicos, como el intervalo unidad, la recta real,
N
el toro (con las topologı́as usuales), parece que están formados de una
sola pieza o literalmente sus partes constituyentes no están desconec-
tadas, como sucede en contraste con ciertos subespacios en R2 , entre
IA
ellos:
238
13.1 La conexidad como invariante topológico 239
A ∪ B = X y A ∩ B = ∅.
O
puntos de A adherentes a B o viceversa. Luego A debe estar contenida
en B c , A ⊆ B c , y como A = B c , concluimos que A y B deben de ser
N
ambos cerrados o equivalentemente ambos abiertos.
EJEMPLO 13.1
La figura 13.2(a) es una región circular conexa y 13.2(b) es el subespacio
de R2 formado por las circunferencias de centro el origen y radio 1−1/n,
.R
...............................................
................................... .......... ...... ....... ....... ..... ..........
............ . . . ............ ........ ..... ..................................................................... ...........
......... . . . . . . ......... ....... ..................................................................................................... .......
....... . . . . . . . . . ...... ...... ........................................................................................................................................
...... . . . . . . . . . . ....... ..................................................................................................................................................................................................................
...... . . . . . . . . . . . . . ..... ....
.... ................................. ........... .......... ............................... .....
..... . . . . . . . . . . . . . . ......... . . .
.
.. ....................................... ......... ......................................... .......................................................................
..... . . . . . . . . . . . . . . . .... .... .......................... ....... .... ........ ...... .................... ...
... . . . . . . . . . . . . . . . . .... .... .................... ..... ........ ....... ..... ................... . ...
... . . . . . . . . . . . . . . . . . ... ... ................... ..... ...... ...... .... ................... ...
.. . . . . . . . . . . . . . . . . . . ... .. ............................. ......... ........................ ..... ... ............... ...
... . . . . . . . . . . . . . . . . . . . .... .
. . . . ........ . . . . . ....
....... .... ... .............. . ..
... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .... ... ............... ... ... ...... ...... ... .... .................. ...
.
... . . . . . . . . . . . . . . . . . . . . .. .. ............. ... .... ..... ..... ... .. ............ ..
.. . . . . . . . . . . ... . . . . . . . . . . .... .......................... .... .... .. . . ... ... ... ............. . ...
.... . . . . . . . . ............... ................... . . . . . . . . . . . . . . . ..... .. ................. ... ...
. . . ... ... ... ... ................. ..
... .. ................ ...
. .... . . . ...
... . . . . . . . . ...... ..... .
.... . . . . . . . . . . . . . . .... .......................... .... .... ... . ... ... ........... . ...
.. . . . . . . . . ... . .
. ... ... ... ................. ...
... . . . . . . . . . . . . . .... ... . ... ..................... .... ... .... ... .. .. .. ........ ..
. . ... . . . . . . . . . . . . .... ... ............... ... ... .. ..
.. . . . . . . ... .. .. .. .......... . ..
...........................
.. . . . . . . . ... . . ... . . .. .
..
.... . . . . . . . .... .. .... ................ .... .... .... .... .. ... .. ......... ... ..
.. . . . . . . . .. . . . . . . . . .....
. ... ............ .. .. ... ... .. .. .. ... ........ .. ..
... . . . . . . ... . .. ................ ... .. .
.. ... .. .. ............ ...
... . . . . . . .. ... . . . . . . . . . . . . .... ..
.... .... .... ....................... .....
... . . . . . . . ..... .. . ... ........... ... ... ... ...
. ... ............... . ..
... . . . . . . . ... ... ................. ... ... ... .. . .
.
... . . . . . . . . . . . . . . . ....... .... . . . . . . . . ... ... .................. ... ... ... . .. .. .... ...................... ....
.
.... . . . . . . . .......... ...... . . . . . . . . .. .
... ............... ... ... ...
...
. .
. . . ...... .
... . . . . . . . . . ........................... . . . . . . . . . . . . . . . . ..... ... ................. ... ... ....
... ... ... ................ ...
... . . . . . . . . . . . . . . . . . . . . ... ..................... ... .... .... .... ... .. ................ ...
... . . . . . . . . . . . . . . . . . . . .. ... ............... .... ... ...... ...... .. ... ............ ..
... . . . . . . . . . . . . . . . . . . ... ...................... ... .... ....... ....... .... ... ............... . ...
... . . . . . . . . . . . . . . . . . . . ... ..................... .... ...... ...........
................... .......... . . . . .... ................................. ....
... . . . . . . . . . . . . . . . . . . .. ... .................... ..... ....... ... . .. ... . .
... . . . . . . . . . . . . . . . . . .... ... ...................... ...... ........ ...... ..... .. ........... ....
.... . . . . . . . . . . . . . . . . ... ... . ........................ ...... . ....... ..... ................... ..
.... . . . . . . . . . . . . . . . ....
..... . . . . . . . . . . . . . . ..... .... ........................ ....... ................................................. ................................................................
....................................... ......... .. .. .. ... . .
..... . . . . . . . . . . . . . .....
...... . . . . . . . . . . . . ...... ..... ...................................... ..............................................................................................................................
....................................................... .. . . . . . . . .
....... . . . . . . . . . ......
........ ..
.... .. .. . . .
...... ........................................................................................................................................... . . . . . . . . . . .. .
.......... . . . . . . ................ ............ .................................................................................................................. ......
........ .......................................................................... . ........
..................... . ..................... .......... ....... ........................... ...............
O
......... ..................... ....................
........
(a) (b)
N
Figura 13.2: (a) es conexo; aunque menos obvio, (b) también es conexo.
EJEMPLO 13.2
(R, cof initos) es conexo. Lo mismo sucede para todo subespacio infinito
G
de este espacio.
EJEMPLO 13.3
Todo espacio no unitario con la topologı́a discreta es no-conexo, mientras
que todo espacio con la topologı́a grosera es conexo.
O
EJEMPLO 13.4
N
Por el anterior teorema, no existen funciones continuas sobreyectivas
de un espacio conexo en uno no conexo. Por ejemplo, no existe una
sobreyección continua R −→ R − {0}.
IA
1. La n–esfera S n es conexa si n > 0, ya que podemos definir una
x
sobreyección continua f : Rn+1 − {0} −→ S n por f (x) = kxk (el
UB
corolario 13.11 muestra que R n+1 − {0} es conexo).
O
f : X −→ Y es continua entonces f (X) es conexo.
N
Demostración. Si f (X) es no conexo, existe g : f (X) −→ {0, 1} continua
y sobre. Por tanto g ◦ f es continua y sobre, lo cual contradice que su
dominio X es conexo. IA
El siguiente corolario nos explica por qué algunas veces al tener una
función f : R −→ R decimos que es continua, si al dibujar su grafo no
hay necesidad de levantar el lápiz del papel; es decir, su grafo es un
UB
solo trazo, con lo cual es conexo.
Corolario 13.9. Sean (X, T), (Y, H) dos espacios. Si X es conexo y
f : X −→ Y es una función continua entonces
Gf := {(x, f (x)) | x ∈ X} ⊆ X × Y
.R
Conexidad en el producto
O
.. .
Y ...... ...
h
.
..
..
b2 g •
... ... ... ... ... ... ... ... ... ... ......... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ..
N
.
..
..
..
..
..
..
a2 • ..
..
IA ..
..
..
..
..
..
..
..
.. .........
..
a1 b1 X
UB
Por ser g(b1 ) = f (b1 , b2 ) = 1 tenemos g(a1 ) = 1. Por otra parte, co-
mo h(a2 ) = f (a1 , a2 ) = 0 tenemos h(b2 ) = 0, de donde obtenemos
f (a1 , b2 ) = g(a1 ) = 1 6= 0 = h(b2 ) = f (a1 , b2 ), lo cual contradice la
definición de función de f . Ası́ que X × Y debe ser conexo.
Lema 13.12. Sea (X, T) un espacio. Si {Ci }i∈I es una familia de sub-
conjuntos conexos de X con la propiedad que existe un ı́ndice
S j ∈ I tal
que para cada i ∈ I tenemos que Ci ∩ Cj 6= ∅, entonces C = i∈I Ci es
conexo.
244 Conexidad
.
........
Demostración. Si A, B es una separación .. ..
.. .....
... ..
....
de C entonces para cada Ci tenemos que .....................
... ...... ....
..
...
..
.. ...... ....
.....
....... ..
..... ..... ...
... . .. .....
Ci ⊆ A ó Ci ⊆ B. Si suponemos que ... .... ... . .. .
.
... .... . . . .. .
.... ... ... .... ...
.................... ....
.... .... ... .. .....
....
.... . . .
.... ... ..
... ... ... .....
. ...
Cj ⊆ A entonces, para ningún ı́ndice i, .....
... ....
...
...... . . .. .. .....
...... ................. ..........
..
....... .. ....... ..
..... ... .....
.............
....
........................................................... .. ........................................................................
.
...................
... ........ ....... ........
es disyunto de algún Ci . Ası́, todos los Ci ....
.....
.....
....
.. . .. ..
... .. .... .....
... ... .. ....
.....
.....
....
.... ... .. ....
estarı́an en A obligando a que B sea el con- ...
.
......
... ..... ....... ....
.
...
.
... .....
...
.
...
..
.....
. .....
....
...
...
...
... ..
. . ... ......... ....
junto vacı́o, lo cual contradice que A, B es ..... ............
.......
.
....
.. ..
.
.
.. . ....... ...
.
. ....
... ...
... ....
una separación.
O
... ..
.........
N
Teorema 13.13 (La conexidad es productiva). Sea X = i∈I Xi un
Q
espacio producto con la topologı́a producto. Si cada espacio coordenado
Xi es conexo entonces X es conexo.
IA
Demostración. Sea a = (ai )i∈I un elemento arbitrario pero fijo de X.
Sea Ca la unión de todos los conjuntos conexos en X que contienen al
UB
punto a —Ca es la componente conexa de a—. Como el conjunto unitario
{a} es conexo, por la proposición anterior tenemos que Ca es conexo.
Ahora veamos que Ca es un subconjunto denso en X, lo cual muestra
que X es conexo por ser la adherencia de un conexo. Para cada J, J ⊆ I
.R
y finito, el subespacio
Y Y
AJ = Xi × {ai }
i∈J i∈J
/
Ejercicios 13.1
O
sección.
N
6. Muestre que la esfera S n ⊆ Rn+1 es conexa para n ≥ 1.
IA
7. Muestre que el espacio de Sorgenfrey (R, J+ ) no es conexo.
aduana.
O
Decimos que A es una componente conexa de X o un conexo max-
imal en X si A es conexo y no es subconjunto propio de algún otro
subespacio conexo de X.
N
Como la adherencia de un conexo es de nuevo conexa (teorema 13.6)
IA
las componentes son subconjuntos cerrados del espacio, y cada punto
x ∈ X pertenece a una única componente: exactamente a la unión
de todos los subespacios conexos que contienen el punto x. Ası́, el
conjunto de las componentes conexas de un espacio X determina una
UB
partición de X.
Si las componentes son únicamente conjuntos unitarios tenemos la
siguiente definición.
EJEMPLO 13.5
Cada espacio discreto es desconectado totalmente; pero existen espacios
desconectados totalmente que no son discretos, por ejemplo X=
G
Ejercicios 13.2
O
5. Muestre que un espacio es conexo si y solo si posee una única
componente conexa.
6. Sea (Xi , Ti ), (i ∈ I) una familia de espacios topológicos. Dado un
N
punto x = (xi ) en el espacio producto de esta familia, muestre
que la componente conexa del punto x es igual al producto de las
IA
componentes conexas de cada xi .
7. Muestre que el número de componentes es un invariante topológi-
co.
UB
8. Muestre que si A ⊆ (X, T) es un subespacio conexo y además
aberrado entonces A es una componente conexa de X.
9. Si (X, T) es un espacio con la propiedad que: dado cualquier par
de elementos x, y ∈ X existe un subespacio conexo de X que los
contiene entonces X es conexo.
.R
O
∞
αn 3−n ,
X
x=
N
i=1
A0 =[0, 1]
G
A0 ............................................................................
A1 .......................... ..........................
A2 ......... ......... ......... .........
A3 .... .. .
. ...
. ... .... .... .... ....
... ...
O
1 2 1 2 7 8
0 9 9 3 3 9 9 1
N
Figura 13.4: Conjunto de Cantor.
IA
Tenemos ası́ dos definiciones para C, una en términos de sucesiones y
otra de manera constructiva.
No es difı́cil ver la relación entre estas dos definiciones si notamos que
UB
al construir A1 , cuando retiramos el intervalo (1/3, 2/3) lo que hacemos
precisamente es eliminar todos los números reales en [0, 1] que requieren
x1 = 1 en su desarrollo en base tres, i. e., los números que empiezan por
0,1 (menos el 1/3 que también se puede escribir 0, 02222222222 . . . en
base tres).
.R
Definimos
∞
xn 3−n
Y X
f: Xi −→ C como f (x) :=
i∈N i=1
O
existe N ∈ N tal que la serie
∞ n
2
N
X
<
3
n=N +1
∞ ∞
c
X 2i−1 1 X 2i
µ(C ) = 1/3 + 2/9 + 4/27 + 8/81 + · · · = = = 1.
3i 2 3i
i=1 i=1
O
definida por
∞ ∞
N
1
−n
xn 3−n
X X
f (x) = xn 2 para x =
2
i=1 i=1
IA
es continua y sobreyectiva. Esto muestra que C no es contable.
O
13.4. Conexidad local
N
Casi de igual manera a como fue ‘localizado’ el concepto de compaci-
dad podemos localizar la conexidad en un punto.
IA
Definición 13.17. Un espacio (X, T) es localmente conexo en el
punto x ∈ X si dada cualquier vecindad Ux existe una vecindad abierta
y conexa Vx tal que x ∈ Vx ⊆ Ux . Si X es localmente conexo en cada
punto decimos que es localmente conexo —cada punto posee un sistema
UB
fundamental de vecindades conexas—.
EJEMPLO 13.6
El siguiente espacio no es conexo local- ......................................................................................................................................................................................................................
......................................................................................................................................................................................................................
......................................................................................................................................................................................................................
O
nexo es abierta y cerrada —aberrada—.
N
EJEMPLO 13.7
IA
La curva seno del topólogo. Es definida como la
.... .. .... .... .... .......
... .. ... ...... .... .....
.. .. .. .... .... .. ..
... .. .... ...... ........ .... ...
... .. ... ....... ...... ... ...
. . .
.
..
......
.. ...
... ...
... ....
... ...
...
......
....... ......
.......
que A = A ∪ B.
.........
.........................................
serı́a localmente conexo, puesto que es imagen del espacio (X, discreta)
por medio de la función idéntica. El siguiente teorema nos da las condi-
ciones necesarias (en particular muestra que la conexidad local es un
invariante topológico).
Teorema 13.20. Sean (X, T), (Y, H) espacios con X localmente conexo
y f : (X, T) −→ (Y, H) una función continua, cerrada (abierta) y sobre.
Entonces Y es localmente conexo.
O
EJEMPLO 13.8
N
Sean X = {0, 1, 2, . . .}, Y = {0, 1, 1/2, 1/3, . . .} con la topologı́a de sube-
spacios de (R, usual). La función f : X −→ Y definida por f (0) = 0,
f (n) = 1/n es una biyección continua; pero X es localmente conexo
IA
mientras que Y no lo es, pues en el punto 0 se acumula el espacio, im-
pidiendo ası́ tener vecindades conexas.
Ejercicios 13.4
3. Sean X = {a, b, c, d}, T = {∅, {a}, {a, b}, {a, b, c}, X}. ¿Es (X, T)
un espacio conexo? ¿Localmente conexo?
O
13.5. Conexidad por caminos
N
La primera noción de ‘conexidad’ fue dada por K. Weierstrass2 , la cual
en el contexto de R2 intuitivamente significa lo siguiente: un subcon-
IA
junto M ⊆ R2 es conexo si dos puntos cualesquiera de M pueden ser
conectados por un camino que no se sale de M .
EJEMPLO 13.9
UB
La figura (un disco con una circunferencia exteri-
or) es no conexa según este criterio ya que todo
‘camino’ que vaya de la circunferencia al disco, tiene
que pasar por ‘fuera’ de las dos regiones —la re-
gión comprendida entre ellas—. Claro que en este
.R
O
sola dimensión, y que por consiguiente las superficies, los
volúmenes y las variedades de n dimensiones tienen también
la misma potencia que las curvas...”.
N
Definición 13.23. Un espacio (X, T) es conexo por caminos si dados
IA
x, y ∈ X, existe un camino f con punto inicial en x y punto final en y.
Cada par de puntos en X puede ser unido por un camino.
UB
EJEMPLO 13.10
1. Para cada n ∈ N, Rnu es conexo por caminos.
EJEMPLO 13.11
X = [0, 1] × [0, 1] con el orden lexicográfico es conexo pero no conexo
por caminos.
Si existe α : [0; 1] −→ X con α(0) = (0, 0), α(1) = (1, 1), α tiene que
pasar por todos los valores intermedios, esto es Im(α) = X. Entonces
para cada intervalo vertical Ux en X, Ux = ((x, 0), (x, 1)), α−1 (Ux ) es un
abierto no vacı́o y podemos encontrar un intervalo abierto Ix ⊆ [0, 1] tal
que α(Ix ) ⊆ Ux . Como los Ix son disjuntos, tenemos que [0, 1] contiene
O
a una unión no numerable de intervalos disjuntos y esto es imposible.
N
Producto de caminos
...........
.......... .........
.........
............... .
.
........ ....
g .......
.......
.........................
........
...
. .
...... ...
.......... .
. .
....
................................................... .
.......
.
.... ............ ..... ...
....... .........
....... .
...... .
G
..
.... ...... ....
...... .
. ....... ..
... . . ..
f
. .
.............. .
....
... ......... ....
... ....... ..... ...
... ... .... .
... .
... ... ..... ..
... .. .... ..
... .. ..
.. ..
... ...... ...
...
...
... ..... . . ... ...
• ...
..
.................................................................
. ...
..........................
.
..
..
... .. ... .... . . . ...................................
....
... .... ....... ....... ........................ ..
0• ............................................................................................................................................................................................................................................................................
............. .......
........ ....... . .........
... ...
.
.......
.........................
•1
....
...... .. ..............
..... ... ............. ..
.. .... .... ............. ..
O
continuidad.
N
subconjuntos cerrados del espacio X y existen funciones continuas
f : A → Y , g : B → Y sobre un espacio Y tales que f y g coinciden sobre
IA
la intersección A ∩ B, entonces podemos extender la continuidad a una
función H : A ∪ B → Y definida de manera natural como h(x) = f (x)
si x ∈ A o h(x) = g(x) si x ∈ B.
UB
Si f es un camino desde a hasta b en X, entonces existe el camino
inverso fr (el reverso de f ) desde b hasta a dado por fr (t) = f (1 −
t); nótese que fr tiene el mismo “lugar” de f , pero su dirección es la
contraria.
fr f es entonces un camino cerrado —el punto inicial coincide con
.R
EJEMPLO 13.12
Un espacio que es conexo, pero no conexo por caminos es la curva seno
G
del topólogo (pág. 253) puesto que no existe un camino que una al
punto ( π1 , 0) con (0, 0).
Para obtener una condición, la cual garantice que los espacios conexos
también sean conexos por caminos, debemos hacer local nuestra defini-
ción.
O
Demostración. Sea x ∈ X y considere el conjunto
N
A = {z ∈ X | existe un camino de x a z}.
IA
A es no vacı́o y veamos que A es aberrado en X. Dado z ∈ A, por ser
X localmente conexo por caminos existe Vz ⊆ X, Vz abierto y conexo
por caminos; luego Vz está contenida en A y, ası́, A es abierto. Para ver
que Ac es abierto tomemos z ∈ Ac y sea Wz una vecindad de z conexa
UB
por caminos. Si A ∩ Wz 6= ∅, existe un punto w en la intersección de tal
manera que x se puede conectar por un camino con z, lo que contradice
que z ∈ Ac . Ası́ Wz ⊆ Ac , es decir Ac es abierto. Como X es conexo
A = X, esto es, cada punto en X se puede conectar por medio de un
camino con x, lo que implica que X es conexo por caminos.
.R
EJEMPLO 13.13
Cada subconjunto cerrado, acotado y conexo de Rn es un continuo.
EJEMPLO 13.14
La unión de dos continuos que se interceptan es un continuo.
260 Conexidad
O
una imagen continua del arco I = [0, 1]. Por tanto, existe una función
continua y sobreyectiva de I en el cubo n-dimensional o, aún más
asombroso, de I sobre el cubo de Hilbert. El descubrimiento hecho
N
por Peano en 1890 de que I podı́a ser enviado de manera continua
sobre todo el cuadrado unidad creó (como ya dijimos pero insistimos
IA
en repetir) un estremecimiento en el mundo matemático de la época
—en otros mundos nadie dijo nada—. Aunque no demostraremos este
hecho, a cambio damos un ejemplo universal, motivo de la portada de
este texto.
UB
.R
G
EJEMPLO 13.15
La curva universal o esponja de Menger. Este es un continuo de Peano
de dimensión uno con la propiedad que cada continuo 1-dimensional
puede ser inmerso en ella. La construcción se basa en el procedimiento
de Cantor o en las llamadas carpetas de Sierpinski.
O
13.7). Esta extracción nos produce a M1 formado por 20 nuevos cubos.
En cada uno de ellos, procedemos como en el paso anterior y obtenemos
a M2 formando 400 nuevos cubos, etc. En la sexta iteración M6 tenemos
N
64.000.000 cubos. La esponja es quien estáT al final del proceso, i. e., es
el objeto lı́mite dado por la intersección n Mn .
IA
UB
.R
G
Ejercicios 13.5
262 Conexidad
O
4. En oposición al concepto de conexidad, dé un ejemplo de un A ⊆
R2 que sea conexo por caminos pero su adherencia no lo sea.
N
IA
UB
.R
G
2
+metrizable +metrizable
13.5 Conexidad por caminos
O
Heidelberg New York, 1997.
N
ematics Series, SpringerVerlag, Berlin Heidelberg New York, 2005.
Uno de los tı́tulos más recientes como texto introductorio.
IA
[3] Christenson, C., Voxman W., Aspects of Topology Series: Pure and applied
Mathematics, M. Dekker, New York, 1977.
Un texto con material para dos semestres con una colección excelente de
UB
ejercicios. Se puede leer una y otra vez... Una primera parte en topologı́a de
conjuntos y una segunda en topologı́a algebraica con un tratamiento especial
en teorı́a simplicial y sistemas inversos.
“... Dugundji’s book is short, modern, and impeccable. It covers every topic
an undergraduate should know and even more. It is still useful for me after
years of use. It exposes all important concepts of set topology and gives a
short but focused introduction to algebraic topology...”.
264
BIBLIOGRAFÍA 265
[8] Hrbacek, K., Jech, T., Introduction to set theory, Monographs and Text-
books in Pure and Applied Series, vol. 220, Marcel Dekker, New York,
NY, 1999.
Este es uno de los pocos libros sólidos en la moderna teorı́a de conjuntos. Cu-
riosamente su primer intento de publicación, por parte de sus autores checos,
fue fallido.
[9] Komjáth, P., Totik, V., Ultrafilters, American Mathematical Monthly, 115
(2008), 33-44.
O
Una excelente introducción lúdica al concepto de ultrafiltro.
[10] Lefschetz, S., Topology, AMS Coll. Publ. 12, Providence, RI, 1930.
Como dice el autor, “se trata de un libro-texto de carácter introductorio, sin
N
pretensiones de ser una obra de referencia”.
[12] Munkres, James R., Topology: a first course, second edition, Prentice Hall,
Inc., Englewood Cliffs, NJ, 1999.
UB
514 M966top 21. Deberı́a ser el texto guı́a en muchos cursos.
Como material introductorio a la topologı́a general es mi favorito.
O
T3 1 , 220 conjunto
2
GLn , 32 Gδ , 231
F-topologı́a, 123 de Cantor, 248
N
PIF, 76 cerrado, 134
continua, 64
metrizable, 48
aberrado, 239
IA continuo, 259
de Peano, 260
acotado, 49 convergencia
adherente puntual, 206
UB
al filtro, 165 trivial, 82
arco, 260 cubos, 220
Axioma de cubrimiento abierto, 156
Riesz, 212
descomposición
canónica, 105
.R
base, 8
de filtro, 75 discontinuo de Cantor, 249
bola distancia
abierta, 46 uniforme, 43
botella de Klein, 110 distinguir puntos, 220
G
266
ÍNDICE ALFABÉTICO 267
O
Tychonoff, 220 lexicográfico, 20
ultramétrico, 35 ordinal lı́mite, 187
exterior, 147 ordinales, 185
N
ortogonal, 32
filtro
asociado, 85 PIF, 16, 163
IA
de Frèchet, 76 PPF, 100
generado, 75 producto cartesiano, 112
principal, 76 punto
fracciones diádicas, 228 adherente, 134
UB
frontera, 147 aislado, 144
función de acumulación, 142
cociente, 107 exterior, 147
de Urysohn, 231 interior, 146
evaluación, 220 punto frontera, 147
.R
coenumerables, 6
cofinitos, 6
de Arens-Fort, 22
de Sorgenfrey, 151
de subespacio, 22
discreta, 4
final, 132
grosera, 4
identificación, 104
O
inicial, 129
producto, 113, 116
punto excluido, 5
N
punto incluido, 4
topologı́a
cociente, 102
toro, 24, 108
IA
ultrafiltro, 77
UB
Vecindad
sistema fundamental, 217
vecindad, 17
.R
G