Professional Documents
Culture Documents
.R
UB
IA
N
Topologa general
G
.R
UB
IA
N
.R
UB
IA
N
Topologa general
Gustavo N. Rubiano O.
Profesor titular
IA
N
1. Topologa general
Gustavo N. Rubiano O.
.R
UB
c Edici
on en castellano: Gustavo Nevardo Rubiano Ortegon
Universidad Nacional de Colombia.
Diagramacion y dise
no interior en LATEX: Gustavo Rubiano
Contenido
IA
N
Pr
ologo
IX
. . . . . . . . . . . . . . .
1.2. Abiertos b
asicos (generaci
on de topologas) . . . . . . . .
1.3. Vecindades . . . . . . . . . . . . . . . . . . . . . . . . . . 17
.R
UB
28
2.1. Metrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.2. Espacios unitarios o euclidianos . . . . . . . . . . . . . . . 36
2.2.1. Caracterizaci
on de los espacios euclidianos . . . . . 42
3. Bases y numerabilidad
57
3.1. 2-contable . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.2. 1-contable . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
64
vi
CONTENIDO
74
5.1. Filtros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
5.1.1. Base de filtro . . . . . . . . . . . . . . . . . . . . . 75
5.2. Ultrafiltros . . . . . . . . . . . . . . . . . . . . . . . . . . 77
5.3. Sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
89
6.1. Homeomorfismos . . . . . . . . . . . . . . . . . . . . . . . 89
7.
IA
N
102
.R
UB
8. La topologa producto
112
8.1. Definici
on sintetica de producto entre conjuntos . . . . . . 112
8.2. La topologa producto caso finito . . . . . . . . . . . . . 113
8.3. La topologa producto caso infinito . . . . . . . . . . 115
8.4. Propiedades productivas . . . . . . . . . . . . . . . . . . . 119
8.5. La topologa producto en los metricos . . . . . . . . . 123
133
vii
CONTENIDO
156
IA
N
.R
UB
. . . . . . . . . . . . . . . . . . . . 193
11.Espacios m
etricos y sucesiones completez
196
. . . . . . . . . . . . . . . . . . 198
. . . . . . . . . . . . . . . . . . . . 206
210
viii
CONTENIDO
238
IA
N
.R
UB
Indice alfab
etico
264
266
Prologo
IA
N
.R
UB
En la parte de invariantes, el enfasis en los espacios 1-contable o espacios que satisfacen el primer axioma de enumerabilidad, como espacios
para los cuales las sucesiones son suficientes para describir la topologa,
justifica la introducci
on del concepto de filtro como una adecuada nocion de convergencia, que resulte conveniente para describir la topologa
en espacios m
as generales; de paso, este concepto nos proporciona una
manera comoda para llegar al teorema de Tychono, imprescindible en
cualquier curso no trivial, teorema que corresponde a la parte de construcciones.
Gustavo N. Rubiano O.
ix
CONTENIDO
.R
UB
IA
N
gnrubianoo@unal.edu.co
IA
N
.R
UB
No hay nada m
as familiar a un estudiante de matematicas que el
conjunto R de los n
umeros reales y las funciones f : R ! R. Si u
nicamente tuvieramos en cuenta la definicion usual de funcion de R en R,
es decir, una colecci
on de pares ordenados (x, y) 2 R R donde cada
elemento de R es la primera componente de una y de solo una pareja
ordenada, estaramos desperdiciando el concepto de intervalo que conocemos para los n
umeros reales y, a
un m
as, el hecho de que en R podemos
decir quienes son los vecinos de un punto x 2 R.
tal que
Pero |f (x) f (c)| < " significa f (x) 2 (f (c) ", f (c) + "); as mismo,
|x c| < significa x 2 (c
, c + ); luego la definicion entre comillas
la podemos reescribir como
Dado " > 0 (ver fig. 1.1) se puede encontrar
si x 2 (c
, c + ) entonces f (x) 2 (f (c)
2"
f (c)
g(c)
IA
N
c
2
.R
UB
Un cambio peque
no en c produce un cambio peque
no en f (c).
Hemos visto entonces que el concepto de continuidad en R esta ligado esencialmente a la definici
on que podamos hacer de vecindad para
un punto y la relaci
on entre las im
agenes de las vecindades. Luego, si
quisieramos abstraer el concepto de continuidad para otros conjuntos que
no sean nuestros n
umeros reales usuales, debemos remitirnos a obtener
de alguna manera pero con sentido el concepto de vecindad para
estos conjuntos.
tal que:
1. ; 2 T, X 2 T.
3.
T
S
i2F
i2J
Ui 2 T para cada J I.
IA
N
2.
.R
UB
EJEMPLO 1.1
Se le acu
na la invenci
on de la palabra topologa al matem
atico alem
an de ascendencia checa Johann B. Listing (1808-1882) en una carta dirigida a su viejo maestro
de escuela M
uller.
EJEMPLO 1.2
IA
N
.R
UB
EJEMPLO 1.3
EJEMPLO 1.5
Extensi
on cerrada de (X, T). La anterior topologa permite la siguiente
generalizacion. Dado un espacio (X, T) y p 2
/ X, definimos la extension
EJEMPLO 1.6
EJEMPLO 1.7
IA
N
.R
UB
1. J1 = {;, X},
2. J2 = {;, X, {0}},
3. J3 = {;, X, {1}},
J2
J3
J1
El diagrama muestra c
omo es la contenencia entre estas cuatro topologas,
as que J2 y J3 no son comparables. J2 = {;, X, {0}} se conoce como la
topologa de Sierpinski2 . Es el espacio mas peque
no que no es trivial
ni discreto.
2
En honor al matem
atico polaco Waclaw Sierpinski (Varsovia,1882-1969). En 1920,
Sierpinski, junto con Zygmunt Janiszewski y su ex alumno Stefan Mazurkiewicz,
fundaron una influyente revista matem
atica, Fundamenta Mathematica, especializada
en trabajos sobre teora de conjuntos. Durante este periodo, Sierpinski trabaj
o sobre
todo en teora de conjuntos, pero tambien en topologa de conjuntos y funciones de
una variable real. Tambien trabaj
o en lo que se conoce actualmente como la curva de
Sierpinski.
EJEMPLO 1.8
IA
N
EJEMPLO 1.9
Complementos enumerables. Dado un conjunto X, definimos la topologa (T, coenumerables) como U X es abierto si su complemento U c es
enumerable o contable finito o infinito, ademas del ;, por supuesto.
EJEMPLO 1.10
.R
UB
IA
N
N
umero de topologas en T(n)
1
4
29
355
6.942
209.527
9.535.241
642.779.354
63.260.289.423
8.977.053.873.043
1816846038736192
519355571065774021
207881393656668953041
115617051977054267807460
88736269118586244492485121
93411113411710039565210494095
134137950093337880672321868725846
261492535743634374805066126901117203
.R
UB
n
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
Cuadro 1.1: N
umero de topologas para un conjunto de n elementos.
Ejercicios 1.1
1. Como son los cerrados para los espacios de los ejemplos anteriores?
2. Construya todas las topologas para X = {a, b, c}.
3. Muestre que, para un conjunto X, la interseccion de topologas
sobre X es de nuevo una topologa.
4. Muestre que la uni
on de dos topologas sobre un conjunto X no
necesariamente es una topologa.
5. En cada uno de los ejemplos dados en esta seccion, revise la pertinencia de la cardinalidad del conjunto X.
IA
N
.R
UB
Definici
on 1.2. Si (X, T) es un espacio, una base para T es una subfamilia B T con la propiedad que: dados un abierto U y un punto
x 2 U , existe un B 2 B tal que x 2 B U .
Cada abierto en T es uni
on de elementos en B.
EJEMPLO 1.11
1.2 Abiertos b
asicos (generaci
on de topologas)
mas importantes para una base es exigir que su cardinalidad no sea muy
grande espacio 2contable.
Como reconocer que una colecci
on B de subconjuntos de X pueda
ser base para alguna topologa?
IA
N
N
otese que, en particular, un cubrimiento B
intersecciones finitas es una base.
}(X)
cerrado para
.R
UB
Demostraci
on. )) 1) Supongamos
que B es base para una topologa T
S
de X. Veamos que X = {B : B 2 B}; en efecto, dado x 2 X existe
U 2 T tal que x 2 U , y como B es base, existe B con x 2 B U la
otra inclusion es obvia. 2) Si U, V 2 B entonces, dado x 2 U \ V , por
ser B una base, existe B tal que x 2 B U \ V U, V estan en T, y
por tanto U \ V 2 T.
10
EJEMPLO 1.13
Partici
on. Dada una partici
on R sobre un conjunto X o lo que es igual
una relacion de equivalencia R, la colecci
on R junto con el conjunto ; es
una base para una topologa sobre X. Un subconjunto de X es entonces
abierto si es uni
on de subconjuntos pertenecientes a la particion.
EJEMPLO 1.14
IA
N
.R
UB
4
En general una topologa se dice de Alexandro o Atopologa si las intersecciones arbitrarias de conjuntos abiertos son de nuevo un abierto. Fueron estudiadas
inicialmente por P. S. Alexandro en 1937. N
otese que toda topologa finita es de
Alexandro.
11
1.2 Abiertos b
asicos (generaci
on de topologas)
EJEMPLO 1.16
IA
N
.R
UB
EJEMPLO 1.17
De manera m
as general, en Rn definimos una base B de la manera siguiente:
B = {B" (x) : " > 0, x = (x1 , . . . , xn ) 2 Rn }
donde,
8
<
B" (x) = (y1 , . . . , yn ) 2 Rn
:
n
X
i=1
(xi
yi )2
!1/2
<"
9
=
;
B" (x) es la bola abierta de centro en x con radio ". La topologa generada por esta base se conoce como topologa usual de Rn y notamos
Rnu .
12
Definici
on 1.4. Sean X un conjunto y B1 , B2 dos bases como en la
definicion 1.2. Decimos que B1 B2 son dos bases equivalentes
si las topologas generadas son iguales, i. e., hB1 i = hB2 i.
Demostraci
on. Ejercicio.
IA
N
Proposici
on 1.5. B1 B2 si y solo si dados B1 2 B1 y x 2 B1 existe
B2 2 B2 tal que x 2 B2 B1 , con lo cual hB1 i hB2 i y viceversa.
.R
UB
Demostraci
on. Definimos la colecci
on B como el conjunto de todas
T las
intersecciones finitas de elementos de D, es decir B 2 B si B = ni=1 Di
para Di 2 D; B es una base de topologa y D B.
13
1.2 Abiertos b
asicos (generaci
on de topologas)
Definici
on 1.7. Sea (X, T) un espacio. Una subbase para la topologa
T es una subcolecci
on D T con la propiedad que la familia formada
por las intersecciones finitas de elementos de D es una base para T.
EJEMPLO 1.18
EJEMPLO 1.19
IA
N
Ejercicios 1.2
.R
UB
ax + b y y
ax + c} R2 .
14
IA
N
.R
UB
( , a) =
( , b],
b<a
15
1.2 Abiertos b
asicos (generaci
on de topologas)
B+ genera: (a, b) =
[t, b),
t>a
IA
N
[a, !) =
(a, !) =
a<b
(a, b),
a<b
(a, b).
a<b
.R
UB
( , b) =
[a, b),
16
( , a] =
(b, a],
b<a
( , b) =
(a, b),
b<a
(a, !) =
(a, b).
IA
N
a<b
Verifique el diagrama 1.3, el cual muestra la relacion de contenencia entre estas topologas y dice quienes no son comparables.
2X....
..........
......
.....
.....
.....
.....
......
........
.....
....
.....
.....
....
.
..........
.....
....
.
.
.
.
....
.....
....
..
........
......
.....
.
.
.
....
.....
....
.......
.........
....
.....
.....
....
...
.R
UB
.
...........
......
.....
.
.
.
.
..
.....
....
Ji
.
...........
.....
....
.
.
.
.....
.....
....
.........
........
....
....
....
....
....
....
.
Jai
J+
J0.
......
..........
.....
.....
.....
.....
..
.
.......
.......
.
.
..
.
.
....
....
....
.
.
.
...
Jd
Jad
17
1.3 Vecindades
1.3. Vecindades
En la motivaci
on de este captulo utilizamos el termino vecindad en
el contexto de los n
umeros reales; hagamos la generalizacion a espacios
topologicos de acuerdo con la siguiente definicion.
Definici
on 1.8. Sea (X, T) un espacio. Decimos que V X es vecindad6 de x 2 X la notamos Vx si existe U 2 T tal que x 2 U Vx .
Al conjunto de todas las vecindades del punto x lo notamos V(x).
.R
UB
IA
N
......................................
....
....
..........
............. ................
.
.
.
.
.
.
.
.
.
.
.
.
.
....
........ ......... ................
V
....
...
x
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
......
.
...
.....
.
.
.
...
.....
.
...
.
U
.
...
...
...
....
..
...
x
..
...
.
...
.
.
...
...
.
.
.
.
...
.
.... y
...
...
....
.......
...
....
........................
.
.
.
.
....
......
....
.......
......
.
.
.
.
.
.........
.
.......
............
...............................................................
Proposici
on 1.9. Sean (X, T) un espacio y x 2 X. El sistema V(x)
de vecindades de x 2 X posee las siguientes propiedades:
1. Si V 2 V(x) entonces x 2 V .
Demostraci
on. La demostraci
on se deja como ejercicio.
6
Fue el matem
atico alem
an Felix Hausdor quien en 1.914 introdujo la noci
on
de espacio topol
ogico en Grunzuge der Mengenlehre, Leipzig, Veit and Co., 1914,
partiendo de una axiomatizaci
on del concepto de vecindad. Tambien trabaj
o en teora
de conjuntos e introdujo el concepto de conjunto parcialmente ordenado.
18
.R
UB
IA
N
El siguiente teorema es interesante porque compara la axiomatizacion de Hausdor con la dada por N. Bourbaki7 un cuarto de siglo
mas tarde, la cual es nuestra definici
on inicial de topologa.
Felix Hausdor
Un grupo de matem
aticos, en su mayora franceses, quienes bajo este seud
onimo
comenzaron a reunirse en 1930 con la intenci
on de escribir de una manera unificada
la matem
atica existente.
19
1.3 Vecindades
IA
N
.R
UB
Definici
on 1.11. En un espacio (X, T) un SFV sistema fundamental
de vecindades para un punto x 2 X, es una familia W = {Wi }i
de vecindades de x, tal que para cada vecindad Vx existe una Wi con
W i Vx .
Los elementos de un SFV son suficientemente finos para estar dentro
de cada vecindad.
Definici
on 1.12. Un espacio (X, T) se dice T1 si dado cualquier par de
puntos x, y 2 X existen Vx , Vy tales que y 2
/ Vx y x 2
/ Vy .
Definici
on 1.13. Un espacio (X,T) se llama espacio de Hausdor,
T2 , o separado, si dado cualquier par de puntos x, y 2 X existen vecindades Vx , Vy con Vx \ Vy = ;. Es decir, podemos separar los puntos por
medio de vecindades disyuntas.
El nombre de Hausdor para esta propiedad se debe al hecho de
haber sido F. Hausdor8 quien la introdujo como un axioma adicional
a los de la proposici
on 1.9.
8
20
EJEMPLO 1.20
Ejercicios 1.3
IA
N
.R
UB
21
1.3 Vecindades
IA
N
.R
UB
11. Muestre que B = {((a, b), (a, c)) : b < c} es tambien una base para
la topologa del orden lexicogr
afico.
12. La topologa del orden para N es la topologa discreta.
13. La topologa del orden para N N con el orden lexicografico no es
la topologa discreta.
14. La topologa del orden para Z Z con el orden lexicografico es la
topologa discreta.
22
IA
N
.R
UB
23
EJEMPLO 1.21
IA
N
.R
UB
2. Lo mismo sucede en R3 y Rn con la topologa usual, cuando consideramos alguno de sus subconjuntos. Por ejemplo, al dar topologa
a las esferas S n .
La siguiente proposici
on dice c
omo obtener una base para la topologa
inducida sobre A X a partir de una base para la topologa en X.
Proposici
on 1.15. Si B = {Bi }i2I es una base para (X, T) entonces
D = {Bi \ A : Bi 2 B} es una base de TA .
Demostraci
on. Veamos que tenemos un cubrimiento. Si x 2 A entonces
x 2 Bi para alg
un i y por tanto x 2 Bi \ A. De otra parte, si x 2
(Bi \ A) \ (Bj \ A), existe Bk Bi \ Bj lo que implica x 2 (Bk \ A)
(Bi \ A) \ (Bj \ A).
24
IA
N
.R
UB
EJEMPLO 1.23
Si B = { n1 : n
1}, la topologa inducida de Ru es la discreta. Si
agregamos a B el punto 0 ya no obtenemos la discreta.
EJEMPLO 1.25
25
IA
N
respectivamente.
.R
UB
EJEMPLO 1.26
26
EJEMPLO 1.27
IA
N
.R
UB
La topologa TII
inducida del espacio (R2 , T ) donde T es la
inducida por el orden lexicogr
afico de R2 .
(a)
(b)
27
IA
N
Ejercicios 1.4
Demostraci
on. Sea M 2 TA es decir M = V \ A donde V 2 T. Como
A 2 T tenemos V \ A 2 T.
2. En (R2 , verticales), p
ag. 13 ej. 1, como son las topologas inducidas sobre R {0} y {0} R?
.R
UB
3. En Ru c
omo son las topologas heredadas para Q y para A =
{1/n | n 2 N} [ {0}?
4. En (R2 , lexicogr
afico) c
omo es la topologa inducida sobre la recta
real y sobre I I?
5. Sean (X, T) un espacio y A X. Muestre que F A es cerrado
en (A, TA ) si y solo si F es la interseccion de A con un subconjunto
cerrado de X.
Espacios metricos
.R
UB
IA
N
En este captulo vemos los espacios metricos como una clase particular de espacios topol
ogicos. Por supuesto que los espacios metricos, en s mismos, son extremadamente importantes y dentro de la
matematica merecen su propio espacio y por supuesto su propio texto. La presentaci
on que aqu hacemos es con la finalidad de prepararnos
motivarnos, dar ejemplos para las futuras definiciones en topologa
concernientes a las nociones de cercana y lmite, pero no pretendemos
hacer una exposici
on tan siquiera incompleta.
2.1. Metrica
Definici
on 2.1. Una m
etrica d para un conjunto X es una funcion
d : X X ! R 0 = [0, 1) toma valores en los n
umeros reales
positivos que satisface las siguientes condiciones para todo x, y, z 2 X:
1. d(x, y) = 0 si y solo si x = y,
2. d(x, y) = d(y, x),
28
29
2.1 Metrica
|d(x, y)
IA
N
La desigualdad en 3, llamada la desigualdad triangular, nos recuerda el hecho de que la distancia mas corta entre dos puntos es la
que se toma directamente entre ellos claro que el sentido del termino
distancia es algo que nosotros hemos definido por medio de d, a nuestro
antojo.
(2.1)
.R
UB
(2.2)
Dados (X, d), x 2 X y > 0, el conjunto de puntos y tales que d(x, y) <
lo llamamos la bola abierta B (x). (Ver definicion 2.8).
EJEMPLO 2.1
El conjunto R de los n
umeros reales, con la funcion d(x, y) = |x y| es
un espacio metrico. Este ejemplo incluye su curso de calculo I en este
texto.
La desigualdad triangular es en este caso |x y| |x z| + |z y|.
Al reemplazar a = x z, b = z y tenemos la clasica desigualdad
|a + b| |a| + |b|.
EJEMPLO 2.2
30
Espacios metricos
EJEMPLO 2.3
EJEMPLO 2.4
d2 (x, y) = |x
y| = ((x1
IA
N
y2 )2 + + (xn
yn )2 )1/2 . (2.3)
Esta metrica se llama distancia euclidiana la manera de medir usual. Para verificar la desigualdad triangular basta recordar las desigualdades de:
.R
UB
Minkowski,
n
X
!1
n
X
(xi + yi )
i=1
xi
!1
2
i=1
n
X
!1
2
yi
i=1
(2.4)
Bunjakovski-Cauchy-Schwartz,
n
X
i=1
n
X
|xi yi |
xi 2
i=1
!1
2
n
X
i=1
!1
2
yi 2
(2.5)
|(x
y| + |y
y) + (y
= d(x, z).
z|
z)| = |x
z|
31
2.1 Metrica
dp (x, y) :=
n
X
i=1
!1
|xi
yi |
1,
(x, y 2 Rn ).
EJEMPLO 2.5
IA
N
yn |.
.R
UB
yn | |xn
zn | + |zn
sup |xn
n
yn |
zn | + sup |zn
n
yn |
Por tanto,
EJEMPLO 2.6
(f (x)
12
g(x))2 dx
.
Si tomamos el conjunto de todas las funciones, no necesariamente continuas, la formula anterior no define una metrica por que?.
32
Espacios metricos
EJEMPLO 2.7
Grupo lineal general GLn o GL(n, R). Denotemos por Mn (R) el conjunto de las matrices de tama
no n n con entradas en R (ver ejemplo
1.26).
Si cada matriz A = (aij ) se identifica con el punto
2
IA
N
.R
UB
= At , i.
EJEMPLO 2.8
EJEMPLO 2.9
33
2.1 Metrica
cos
sen
cos sen
R =
S =
.
sen cos
sen
cos
IA
N
.R
UB
Ejercicios 2.1
(2.6)
(2.7)
34
Espacios metricos
c)
d(x, y) := d(x1 , x2 ) + m(y1 , y2 ).
(2.8)
2. Generalice las metricas del ejemplo anterior para un producto finito de espacios metricos.
3. La m
etrica del mensajero. En el espacio euclidiano R2 , definimos la metrica m del mensajero como m(p, q) := d2 (0, p)+d2 (0, q)
donde 0 = (0, 0), p, q 2 R2 . Si p = q definimos m(p, q) = 0.
.R
UB
IA
N
El mensajero reparte en p, vuelve a la oficina en 0 y sale nuevamente a repartir en q (figura 2.1). Como es B1 (p), i.e., que puntos
pertenecen a esta bola?
Es decir, k es la coordenada donde por primera vez las dos sucesiones difieren. Si xn = yn para todo n 2 N, definimos d(x, y) = 0.
Muestre que (X N , d) es un espacio metrico.
En el caso en que X = N obtenemos la coleccion de todas las sucesiones
de n
umeros naturales (el cual tiene la misma cardinalidad que R) y,
como curiosidad, este espacio no es mas que otra manera de describir
al conjunto de los n
umeros irracionales va fracciones continuas.
35
2.1 Metrica
.R
UB
Por tanto,
IA
N
= m
ax{d(a, c), d(c, b)}.
(2.9)
(2.10)
(2.11)
Esta u
ltima ultradesigualdad implica la desigualdad triangular ya
que
m
ax{d(a, c), d(c, b)} d(a, c) + d(c, b).
6. Un espacio ultram
etrico X es un espacio metrico (X, d) en el
cual la metrica d satisface la ultra-desigualdad triangular:
d(x, z) m
ax{d(x, y), d(y, z)}.
a) Muestre que los dos ejercicios anteriores son ejemplos de espacios ultrametricos.
b) En un espacio ultrametrico cualquier punto de una bola (ver
definici
on 2.8) puede ser su centro, i. e., si y 2 B" (x) entonces
B" (x) = B" (y). Deduzca que dos bolas abiertas no disyuntas
son comparables por la inclusion.
c) Una bola cerrada es un conjunto abierto.
d ) Una bola abierta es un conjunto cerrado.
36
Espacios metricos
1
si y solo si A \ [1, m] = B \ [1, m].
m
IA
N
(A \ B)}.
d(A, B) =
.R
UB
Definici
on 2.2. Un espacio vectorial lineal real es un conjunto
V no vaco los elementos de V se llaman vectores sobre el cual
esta definida una operaci
on binaria + llamada la adicion de vectores, y
una multiplicaci
on escalar multiplicaci
on de un vector por un n
umero
real que satisfacen las siguientes propiedades: para x, y, z 2 V y , 2
R tenemos
1. x + y = y + x.
2. x + (y + z) = (x + y) + z
3. Existe un u
nico 0 2 V llamado el elemento cero tal que x+0 =
x para todo x.
4. A cada x corresponde un u
nico elemento x 2 V llamado el
inverso aditivo de x tal que x + ( x) = 0.
37
8. 1x = x.
Definici
on 2.3. Sea X un espacio vectorial real. Una norma para X es
una funcion k k : X ! [0, 1) que a cada vector x le asocia el n
umero
real positivo kxk con las siguientes propiedades:
1. kxk = 0 si y solo si x = 0 el vector modulo.
2 R homogeneidad absoluta
IA
N
yk,
.R
UB
kxk
al tomar
kxk = kx
kyk = ky
y + yk kx
yk + kyk
x + xk ky
xk + kxk
con lo cual
kx
yk kxk
kyk kx
yk.
xk
k(y
xk + kz
x) + (z
yk
y)k = kz
xk = d(x, z).
38
Espacios metricos
1. hx, xi
IA
N
Definici
on 2.5. Un producto interior o un producto escalar para
un espacio vectorial real X es una funci
on h , i : X X ! R que a
cada par (x, y) le asocia el n
umero real hx, yi y satisface:
0, y hx, xi = 0 si y solo si x = 0 definido positivo.
.R
UB
, 2 R.
Demostraci
on. Para la demostraci
on basta verificar las siguientes dos
desigualdades cl
asicas (Bunjakovski-Cauchy-Schwartz)
|hx, yi|2 hx, xihy, yi,
|hx, yi| kxk kyk.
(2.12)
(2.13)
EJEMPLO 2.10
39
y1 | + |x2
y2 | + + |xn
yn |;
2. La m
etrica euclidiana d2 inducida por la norma
IA
N
hx, yi = x1 y1 + x2 y2 + + xn yn ,
con lo cual
y1 )2 + (x2
.R
UB
d2 (x, y) = ((x1
y2 )2 + + (xn
yn )2 )1/2 .
3. Los subndices 1, 2 de las anteriores metricas d1 , d2 no son en manera alguna fortuitos, son casos particulares de la siguiente definicion m
as general. Para cada n
umero real p 1 definimos
kxkp := (|x1 |p + + |xn |p )1/p .
n
X
i=1
!1
|xi
yi |p
(x, y 2 Rn ).
y1 |, |x2
y2 |, . . . , |xn
yn |}
40
Espacios metricos
EJEMPLO 2.11
IA
N
.R
UB
(xi
yi )
!1
2
(2.14)
debe ser un n
umero real y, por tanto, debemos restringirnos a un subconjunto H de RN .
41
k=1
|xk ||yk |
1
X
!1/2
1
X
!1/2
IA
N
hx, yi
1
X
es simetrica, bilineal y definida positivamente, luego es un producto interior sobre H. Para verificar la buena definici
on, esto es, que efectivamente
la serie correspondiente a hx, yi es un n
umero, basta tomar lmites en
la desigualdad (2.4) para los espacios Rn y obtenemos la siguiente desigualdad, la cual asegura que la serie converge absolutamente
k=1
x2k
yk2
k=1
(2.16)
.R
UB
yk =
1
X
(xk
yk )
k=1
!1/2
(2.17)
[f (t)
g(t)] dt
12
42
Espacios metricos
.....
.......
..
...
..
...
.......................
.......................
...
..
.......................
...
......................
...
.......................
.
.
.
.
.
.
.
.
.
.
...
.
...
.
.
.
.
.
.
.
.
.
.
.
..
.................
.
.
.
.
.
.
.
.
.
.
.
.
...
.
.
.
.
.
.
.
.
.
.
.
.
.....
.
...
.....
...
........
...
.
...
...
...
...
..
..
.
...
.
.
.
.
.
...
...
...
...
...
...
..
...
...
..
...
...
.
.
.
.
.
.
...
...
...
...
...
...
...
...
...
...
...
...
.
.
... ....
...
..
... ...
..............
... ....
....................... ....
.......................
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.... ....
.
.
.
.
.........
.......................
.......
.......................
....
.......................
..................................................................................................................................................................................................................................................................................
......
....
....f..
..
.....
g
....
.... .. .... ....
.. ..
... ... .... ..
.
.
.
.
.. ....
.
.
.... ..
...f. ..+ g
.
.
.
.. ....
.
..
.
.
.
.
.
.
..
IA
N
..
.... ..
. ....
.. ...
.
.
.
... .
.R
UB
para cada f, g 2 V .
(2.18)
Demostraci
on. Si pensamos en f + g y f g como las diagonales del
paralelogramo en V con lados f y g la igualdad (2.18) puede ser interpretada como el an
alogo de la familiar propiedad del paralelogramo en el
plano: la suma de los cuadrados de las diagonales de un paralelogramo
es igual a la suma de los cuadrados de sus lados.
La necesidad de (2.18) es clara, ya que si V es euclidiano entonces
kf + gk2 + kf
gk2 = hf + g, f + gi + hf
g, f
gi
2hf, gi + hg, gi
(2.19)
1
kf + gk2
4
kf
gk2
(2.20)
43
1
k2f k2 + kf
4
f k2 = kf k2
(2.21)
IA
N
1. hf, f i
2. hf, gi = hg, f i.
La demostraci
on de las propiedades de linealidad
.R
UB
hf + g, hi = hf, hi + hg, hi
hf, gi = hf, gi
requiere de m
as trabajo y se deja como ejercicio de consulta.
EJEMPLO 2.13
g(x)| : x 2 I}.
(2.22)
h(x)| |f (x)
g(x)| + |g(x)
h(x)|
(2.23)
44
Espacios metricos
y por tanto,
sup |f (x)
x
h(x)|
(2.24)
kf k1 = kgk1 = 1,
con lo cual
kf
kf + gk21 + kf
2,
IA
N
1,
.R
UB
De manera mas general: sean (Y, d) un espacio metrico con una metrica
J
acotada d y J un
Q conjunto cualquiera no vaco. Sobre el conjunto Y =
Hom(X, Y ) = j2J Y de todas las funciones de J en Y definimos la
metrica uniforme d1 (f, g) = sup{d(f (j), g(j)) : j 2 J}.
Ejercicios 2.2
45
2 R, x, y 2 X (homogeneidad ).
Por lo anterior, dado un espacio vectorial, entre las normas arbitrarias y los espacios metricos homogeneos e invariantes por
traslaci
on, existe una correspondencia biunvoca natural.
IA
N
.R
UB
E = {f | f : X ! R, acotada}
(2.25)
x2X
1
X
n=1
!1
|xn
yn |
46
Espacios metricos
(2.26)
(2.28)
(2.27)
.R
UB
IA
N
EJEMPLO 2.16
En R32 una bola tiene efectivamente la forma de una bola usual; pero
esto esta bien lejos de suceder cuando utilizamos en R2 otras metricas
diferentes a la usual, como en R31 y R37 (fig. 2.4) donde una bola puede
tener otras formas, pero al fin bolas.
47
EJEMPLO 2.17
IA
N
f +"
"
.R
UB
(2.29)
> 0}
(2.30)
d(p, x) + d(p, x) .
48
Espacios metricos
IA
N
.R
UB
Definici
on 2.10. La topologa T asociada a la base formada por la totalidad de las bolas abiertas se llama topologa inducida o generada
por la metrica d, y la notamos T = hdi.
La definicion anterior nos permite crear una clase muy especial de
espacios topologicos. Cuando un espacio topologico (X, T) tiene una
topologa tal que T = hdi para alguna metrica d, decimos que el espacio
(X, T) es metrizable, o que su topologa proviene de una metrica.
Las preguntas obligadas son:
49
IA
N
y
"
.R
UB
Definici
on 2.12. Un espacio metrico (X, d) es acotado si la funcion
d es acotada. De manera m
as general, dado A (X, d) definimos el
di
ametro de A como
diam(A) := sup{d(x, y) : x, y 2 A}.
En caso que diam(A) < 1 decimos que A es acotado.
El diametro de A es la distancia entre los puntos mas distantes en A
(si tales puntos existen). Por ejemplo, en R si A = [0, 1) su diametro es
1 sin que tales puntos de A existan.
50
Espacios metricos
EJEMPLO 2.18
d(x, y)
.
1 + d(x, y)
IA
N
1 r
.R
UB
Definici
on 2.13. Decimos que dos metricas d, m para un mismo conjunto X, son m
etricamente equivalentes o fuertemente equivalentes
(ver teorema 2.14) si existen dos n
umeros reales positivos s, t tales que
para todo par de puntos x, y 2 X se satisface
d(x, y) s m(x, y) , m(x, y) t d(x, y).
(2.31)
51
EJEMPLO 2.19
El recproco del teorema anterior no es cierto. Sabemos que toda metrica d es topol
ogicamente equivalente a la metrica e = mn{1, d}; pero
claramente d, e no tienen por que serlo metricamente. 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 2 Rnu . Sin embargo, la metrica e es metricad
mente equivalente a la metrica f =
pues tenemos la desigualdad
1+d
f e 2f .
IA
N
las notamos
k k1 k k2 .
.R
UB
En este caso de los espacios normados no tenemos necesidad de distinguir, como pasaba en los espacios metricos, entre distintas formas de
equivalencia ya que estas tres definiciones de equivalencia son iguales,
con lo cual podemos utilizar simplemente el adjetivo normas equivalentes. M
as a
un, es posible demostrar que en un espacio vectorial
normado de dimensi
on finita, todas las normas son equivalentes.
EJEMPLO 2.20
n son topol
Las metricas l1n , l2n y l1
ogicamente equivalentes. Para esto,
basta mostrar la desigualdad
1p
Br/
(x) Br1 (x) Br2 (x) Br1 (x).
2
Para el caso del plano, al graficar las bolas B1 ((0, 0)) para cada una de
las metricas dp , obtenemos la figura 2.7 donde, en la medida en que p
crece, obtenemos una deformaci
on continua del rombo de d1 al cuadrado
de d1 , en que la circunferencia en d2 no es mas que un paso en el
camino.
La justificaci
on de la notaci
on d1 para la metrica del sup la obtenemos
del siguiente lema.
52
Espacios metricos
0.5
-0.5
0.5
-1
IA
N
-0.5
-1
.R
UB
Rn
se tiene que
lm kxkp = m
ax{|x1 |, . . . , |xn |} = kxk1 .
p!1
Demostraci
on. Es claro que
(2.32)
(2.33)
53
EJEMPLO 2.21
Una m
aquina para construir metricas equivalentes. Dados un espacio
metrico (X, d) y una funci
on f : R+ ! R+ estrictamente creciente, con
f (0) = 0 y f (u + v) f (u) + f (v), la compuesta f d es una metrica. Si
ademas f es continua en 0, las dos metricas f y f d son topologicamente
equivalentes.
Verifiquemos, antes de todo, que m = f d definida como m(x, y) =
f (d(x, y)) es una metrica.
IA
N
1. m(x, y) es positiva por la definicion de f . Por ser f creciente tenemos que f (d(x, y)) = 0 implica d(x, y) = 0 con lo cual x = y.
Para la recproca de esta afirmacion recordemos que f (0) = 0.
2. La simetra en m es consecuencia de la simetra en d.
3. La desigualdad triangular,
.R
UB
Para verificar que las dos metricas nos llevan a la misma topologa,
debemos tener las contenencias entre las respectivas bolas.
Como f es continua en 0, dado " > 0, existe > 0 tal que x < implica
f (x) < ". Por tanto d(x, y) < implica m(x, y) = f (d(x, y)) < ", lo cual
no es mas 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.
A manera de ejemplo, notemos que las funciones
u (para > 0),
u
,
1+u
log(1 + u),
mn{1, u},
arctan u
satisfacen las condiciones para f . Que metricas son inducidas por estas
funciones?
54
Espacios metricos
arctan y|.
IA
N
.R
UB
Ning
un espacio topol
ogico (X, T) donde X es un conjunto finito y T no
es la discreta, es metrizable. En otras palabras, si (X, d) es metrico
con X finito, siempre tenemos que hdi = discreta.
Ejercicios 2.3
55
IA
N
.R
UB
dp (f, g) :=
|f (x)
g(x)|
p1
d ) hd1 i * hd1 i.
f (t)g(t)dt
f (t)dt
2
g 2 (t)dt.
Para negar la contenencia considere la sucesion de funciones continuas {gn } figura 1.5 definidas como
(
1 nx si 0 x n1
gn (x) =
0
si n1 x 1
56
Espacios metricos
......
...........
.... ...
......................
........... ....
... . ..
................. ......
....
.. ...... ...
...
.. .
....
.. ......... .....
...
.. ... .. ...
....
... ... ...
...
....
... ... ... ...
...
.. ... ... ...
....
. .. .
....
... .... .... .....
...
.. ... ... ...
....
... ... ...
...
... ... ... ...
....
.
...
.. ... ...
.
....
... ... .....
...
... .. ...
.
...
....
.. ... ...
...
.
...
... ..
....
.
.
..
... ..
...
...
.
..
....
.
... ..
...
...
... ....
...
....
...
... ...
.
...
...
..
... ...
....
.
...
...
... ...
.
...
....
...
... ...
...
..
.
.
... ..
...
....
.
.
.
...
... ...
...
..
....
.
..
.. .
..
1
n
1 1
4 3
1
2
IA
N
.R
UB
= ".
Esta contenencia no se tiene, pues siempre podemos encontrar funciones g tales que su integral (
area bajo la curva) sea tan peque
na
como queramos y sin embargo tengan una punta tan larga como
queramos.
Bases y numerabilidad
.R
UB
3.1. 2-contable
IA
N
Definici
on 3.1. Un espacio (X, T) se dice 2-contable si entre sus bases
existe alguna con un n
umero enumerable finito o infinito de elementos.
Esta condici
on impone una cota al n
umero de abiertos en la topologa
(ver ejercicio 12 de la p
ag. 63). Tambien nos dice que la topologa
puede ser descrita en terminos de un n
umero contable de piezas de
informacion.
EJEMPLO 3.1
58
Bases y numerabilidad
.R
UB
IA
N
59
3.2 1-contable
t = (tk ) 2 U existe una bola B" (t) U . Ahora veamos que podemos
encontrar una bola Br (q) (q 2 D, r 2 Q)
P con 2la propiedad que t 2
Br (q) B" (t). Como t 2 H, sabemos que k=1 tk es convergente y por
tanto existe un termino xN en la sucesion, a partir del cual la suma de
la serie es menor que "2 /9, esto es
X
t2k < "2 /9.
k=N +1
tk | <
"2
,
9N
IA
N
|qk
Notese que t 2 B2"/3 (q) B" (t). Sea r 2 Q con "/3 < r < 2"/3,
entonces t 2 Br (q) B" (t), pues si d(z, q) < r entonces
.R
UB
3.2. 1-contable
Definici
on 3.2. Sean (X, T) un espacio y x 2 X. Decimos que Bx T
es una base local para x si dado U 2 T con x 2 U , existe B 2 Bx tal que
x 2 B U.
Los conceptos de base y base local estan relacionados por la siguiente
proposicion.
Proposici
on 3.3. Sea (X, T) un espacio. B T es una base si y solo
si para cada x 2 X el conjunto Bx = {B 2 B : x 2 B} es base local en
x.
Demostraci
on. )) Sea U X un conjunto abierto con x 2 U . Por la
definicion de base, existe B 2 B con x 2 B U , pero por la definicion
de Bx tenemos B 2 Bx .
S
() B = x2X Bx es una base.
60
Bases y numerabilidad
EJEMPLO 3.5
IA
N
Definici
on 3.4. Un espacio (X, T) se dice 1-contable o que satisface
el primer axioma de enumerabilidad1 si cada punto del espacio posee
una base local enumerable.
.R
UB
EJEMPLO 3.6
El espacio T!p del ejemplo 1.11 puede ser generado por una base constituida 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 topologa para
X no admite una base local enumerable en el punto p pruebelo.
1
Esta clasificaci
on se debe al matem
atico estadounidense Robert L. Moore (Dallas,
Texas 1882 -1974 Austin, Texas) en 1916 en su intento por dar fundamento a la
topologa en una serie de axiomas. Moore es reconocido por su manera inusual de
ense
nar con un metodo llamado hoy por su nombre.
61
3.2 1-contable
Definici
on 3.5. Dados un espacio (X, T) y un cubrimiento abierto U
T, decimos que D U es un subcubrimiento para U si D es de nuevo un
cubrimiento abierto de X. Podemos descartar elementos en U.
Teorema 3.6 (Lindel
of2 ). Sea (X, T) un espacio 2-contable. De cada
cubrimiento abierto U de X podemos extraer un subcubrimiento contable.
Demostraci
on. Sea B = {B1 , B2 , . . .} una base para X. En B consideramos el siguiente subconjunto de ndices:
IA
N
S = {n : Bn U, alg
un U 2 U}.
.R
UB
Definici
on 3.7. Un espacio (X, T) se dice de Lindel
of o w-compacto
si cada cubrimiento abierto de X se puede reducir a uno enumerable.
EJEMPLO 3.9
p
2
2
62
Bases y numerabilidad
IA
N
Demostraci
on. Sea B = {B1 , B2 , . . .} una base para X. S
Por ser Q una
base, cada elemento Bn 2 B se puede escribir como Bn = i2I Qi , (Qi 2
Q) y esta colecci
on se puede reducir a una contable para cada Bn , pues
dado x 2 Bn existe Qx 2 Q tal que x 2 Bx Qx Bn . Bx 2 B y la
coleccion {Bx : x 2 Bn } es claramente contable y por tanto tambien lo
es la coleccion Qn = {Qx : Bx Qx }. Al variar n en Bn , obtenemos una
coleccion enumerable de enumerables Qn , la cual es una base.
.R
UB
Ejercicios 3.2
1. Muestre que Run es 2-contable.
63
3.2 1-contable
IA
N
.R
UB
Sugerencia: para cada n 2 N, considere el cubrimiento abierto consistente en todas las bolas de radio 1/n. La propiedad de Lindelof
dice que lo podemos reducir a uno enumerable Bn . Muestre que
B = [n Bn es una base enumerable.
IA
N
espacios
.R
UB
EJEMPLO 4.1
65
La anterior definici
on puntual de continuidad es equivalente a la
siguiente definici
on dada exclusivamente en terminos de abiertos.
Teorema 4.2. f : (X, T) ! (Y, H) es continua si y solo si para cada
V 2 H se tiene que f 1 (V ) 2 T, i. e., f 1 (H) T.
(V ) =
{Ux | x 2 f
(V )}.
IA
N
Demostraci
on. )) Sea f continua y V un elemento de H; para ver
que f 1 (V ) es abierto, lo expresaremos como una union de abiertos.
Sea x 2 f 1 (V ), por ser f continua existe Ux abierto tal que f (Ux )
esta contenido en V , luego Ux f 1 (V ) y as
.R
UB
1. Cualquier funci
on f : (X, 2X ) ! (Y, H) es continua.
2. Cualquier funci
on f : (X, T) ! (Y, {;, X}) es continua.
3. La funci
on identica id : R ! R, donde las topologas respectivas son la usual y la de complementarios finitos es una funcion
continua, pero no lo es si invertimos las topologas.
4. La funci
on identica idX : (X, T) ! (X, H) es continua si y solo
si T es m
as fina que H.
5. Toda funci
on constante es continua.
6. La funci
on f (x) =
66
Un tipo de continuidad m
as fuerte que la usual se define para los
espacios metricos de la manera siguiente.
endo u
nicamente de ", con lo que
IA
N
Definici
on 4.3. Sean (X, d), (Y, m) dos espacios metricos. Una funcion
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)) < ".
.R
UB
En otras palabras, dado cualquier " > 0, existe > 0 dependies uniforme para todos los puntos
x 2 X a diferencia de la continuidad usual tal que para cualquier
x 2 X, f (B (x)) B" (f (x)).
EJEMPLO 4.3
Sean (X, d), (Y, m) dos espacios metricos. f : (X, d) ! (Y, m) se llama Lipschitziana con factor de contracci
on k si para todo par de
puntos x, y 2 X se tiene
m(f (x), f (y)) k d(x, y) con k > 0.
67
tal que |x
y 2 | = |x + y||x
y| 2A
"
<"
2A + 1
IA
N
La propiedad de ser uniformemente continua es metrica no topologica en el sentido de que cambiando la metrica d sobre el espacio
(X, d) por una metrica d topol
ogicamente equivalente, podemos hacer
que una funci
on continua f sea o no uniformemente continua.
.R
UB
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 2 X se tiene |d(x, A) d(y, A)| d(x, y), con lo cual
= " satisface la condici
on tenemos una contraccion.
d(x, A) = nf{d(x, a) | a 2 A}
nf{d(x, y) + d(y, a) | a 2 A}
= d(x, y) + nf{d(y, a) | a 2 A}
= d(x, y) + d(y, A),
68
d(x, A)
d(y, A)
d(x, A) d(x, y)
EJEMPLO 4.6
IA
N
d1 (x, y) = m
ax{d(x1 , y1 ), d(x2 , y2 )}
En efecto, dado " > 0 tomemos = "/2. Si d1 (x, y) < esto implica
que d(x1 , y1 ) < , d(x2 , y2 ) < . Como d(x1 , x2 ) d(x1 , y1 ) + d(y1 , y2 ) +
d(y2 , x2 ) entonces
d(y1 , y2 ) d(x1 , y1 ) + d(x2 , y2 ) < 2d1 (x, y) < 2 = ".
.R
UB
d(x1 , x2 )
Similarmente d(y1 , y2 )
|d(x1 , x2 )
EJEMPLO 4.7
R
R
En (C(I, R), sup) la funci
on I : C(I, R) ! R definida por I (f ) =
R1
0 f (t)dt es uniformemente continua. En efecto, basta verificar la siguiente desigualdad que muestra que tenemos una contraccion,
Z
Z
Z
Z
f
g |f g| kf gk1 = kf gk1 .
I
EJEMPLO 4.8
La funci
on
f : (R, (a, b]) ! (R, usual)
descrita en la figura es continua. Si en el
dominio tuvieramos la topologa usual,
ella es un clasico de no continuidad en
un punto.
69
EJEMPLO 4.9
M
etricas ex
oticas para R. Sean X un conjunto y (Y, m) un espacio
metrico. Dada una funci
on inyectiva f : X ! Y , definimos una metrica
IA
N
.R
UB
Ejercicios 4.1
1 (B)
T para
70
5. Si X, Y tienen la topologa de los cofinitos, f : X ! Y no constante es continua si y solo si f tiene fibras finitas.
6. Si X, Y tienen la topologa del punto incluido, f : X
continua si y solo si f preserva los puntos incluidos.
! Y es
! Ru es
IA
N
.R
UB
1. Se defini
o una clase de objetos Top, llamada los espacios topol
ogicos.
2. A cada par de objetos espacios topologicos le hemos definido
un conjunto
M or(X, Y ) = {f | f : (X, T) ! (Y, H) es continua }
llamado el conjunto de las flechas o el conjunto de los morfismos
de X en Y .
3. Dados X, Y, W en Top existe una ley de composici
on
M or(X, Y ) M or(Y, W ) ! M or(X, W ) definida por (f, g) 7! g f.
Ademas 1, 2 y 3 satisfacen:
71
4. h (g f ) = (h g) f asociatividad .
5. Dado X en Top, existe la funci
on identica idX 2 M or(X, X) la
cual es una flecha y satisface f idX = f, idX g = g cada vez
que las composiciones sean posibles.
IA
N
Definici
on 4.4. Una categora (O, M)consiste en una coleccion O
llamada los objetos de la categora, y de una coleccion M de conjuntos
cuyos elementos se llaman los morfismos o las flechas de la categora, con
la propiedad que para cada par de objetos A, B 2 O existe un conjunto
M or(A, B) 2 M que satisface:
.R
UB
1. Para cada tro A, B, C de objetos existe la composicion de morfismos denotada por tal que si f 2 M or(A, B), g 2 M or(B, C)
entonces g f 2 M or(A, C).
2. Dados los morfismos f, g, h entonces h (g f ) = (h g) f cada
vez que la composici
on este definida.
EJEMPLO 4.10
72
IA
N
.R
UB
Proposici
on 4.5. Si (X, T) es un espacio metrizable, entonces para
cada A X la topologa TA de subespacio es de nuevo metrizable.
Demostraci
on. Sea d : X X ! R una metrica que genera la topologa
T; la restriccion d|AA de d al subconjunto A A es una metrica. Para
ver que la topologa generada por d|AA coincide con la topologa TA de
subespacio, basta notar que un abierto V de
S TA es de la forma V = U \A
donde U es un abierto de T, esto es, U = i2I Bi donde cada Bi es una
bola para la metrica d, con lo cual
U \ A = ([i2I Bi ) \ A = [i2I (Bi \ A).
Dado x 2 B" (y) \ A tomando = mn{d(x, y), " d(x, y)} tenemos
d|
B AA (x) B" (y) \ A; luego las bolas abiertas en d|AA son base para
la topologa inducida TA .
EJEMPLO 4.11
73
EJEMPLO 4.12
IA
N
Ejercicios 4.3
.R
UB
.R
UB
5.1. Filtros
IA
N
Definici
on 5.1. Dado un conjunto X, un filtro F para X es una coleccion, no vaca, de subconjuntos, no vacos, de X tal que:
1. Si F1 , F2 2 F entonces F1 \ F2 2 F,
2. Si F 2 F y F G entonces G 2 F.
74
75
5.1 Filtros
EJEMPLO 5.1
Definici
on 5.2. Dado un filtro F decimos que B F es una base de
filtro para F si dado F 2 F existe B 2 B tal que B F .
IA
N
Usualmente los filtros se definen dando tan solo algunos de sus elementos, a partir de los cuales los dem
as pueden obtenerse por la contenencia de la propiedad 2 de la definicion 5.1, i. e., los elementos del
filtro son los superconjuntos de los elementos de la base.
La definicion de base de filtro no es puntual, como en el caso de la
definicion de base para una topologa.
.R
UB
Demostraci
on. Definimos
F := {F X | B F para alg
un B 2 B} = h B i.
76
IA
N
.R
UB
Definici
on 5.4. Sean X 6= ; y B1 , B2 dos bases de filtro en X. Decimos
que son equivalentes si hB1 i = hB2 i las notamos B1 B2 .
El ejemplo siguiente nos muestra que a cada filtro corresponde un espacio
topologico el cual no puede ser de Hausdor por que?.
2
Un conjunto dirigido (D, 6) es un conjunto parcialmente ordenado con la
propiedad adicional que para cada par de puntos a, b 2 D existe un elemento c 2 D
que los supera, i. e., a 6 c y b 6 c. En particular, todo conjunto totalmente ordenado
es un conjunto dirigido. Un ejemplo importante de conjunto dirigido es, el conjunto
de las vecindades de un punto x en un espacio topol
ogico, dotado de la relaci
on de
inclusi
on donde un conjunto se dir
a mayor que otro si est
a incluido en el.
Los conjuntos dirigidos son importantes, entre otras cosas, porque dan origen al
concepto de red, una generalizaci
on al concepto de sucesi
on.
77
5.2 Ultrafiltros
EJEMPLO 5.3
.R
UB
5.2. Ultrafiltros
IA
N
Definici
on 5.5. Dado un conjunto X, un ultrafiltro U para X es un
elemento maximal de F il(X); esto es, ning
un filtro es mas fino que U.
Teorema 5.6. Dado un filtro F en X, existe un ultrafiltro U en X tal
que F U.
Demostraci
on. (Usaremos el lema de Zorn: Si (P, ) es un conjunto
parcialmente ordenado, con la propiedad que cada cadena una cadena
es un subconjunto de P que sea totalmente ordenado por tiene una
cota superior en P , entonces P tiene un elemento maximal). Sea
M = {G | F G y G un filtro en X}.
M seSordena por la inclusi
on. Sea H una cadena en M. Si definimos
H = M, i. e., H es la reuni
on de todos los filtros que estan en M,
vemos que H es un filtro y es cota superior para M; luego, aplicando
el lema de Zorn, existe un elemento maximal U en M, es decir U es
maximal en el conjunto de los filtros que contienen a F, por tanto es un
ultrafiltro.
78
Proposici
on 5.7. Un filtro U en X es un ultrafiltro si y solo si dado
A X entonces A 2 U o Ac 2 U.
IA
N
Demostraci
on. () Si F es un filtro tal que U F, debemos mostrar
que U = F. Si existiera F 2 F tal que F 2
/ U entonces F c 2 U y por
tanto F c 2 F, lo cual implica que ; 2 F.
)) Supongamos que existe A tal que A 2
/ U y Ac 2
/ U. La coleccion
B := {F \ A | F 2 U}
.R
UB
Demostraci
on. Si B 2 U hemos terminado. Supongamos entonces que
B 2
/ U y veamos que necesariamente A 2 U. Si sucede que A 2
/ U,
entonces
F := {M X | A [ M 2 U}
es un filtro en X m
as fino que U y estrictamente mas fino ya que B 2
F.
La anterior demostraci
on nos indica una manera de crear nuevos
K filtros a partir de uno ya conocido y, de paso, refinarlo al tomar un
elemento que no este en el.
EJEMPLO 5.4
79
5.2 Ultrafiltros
Proposici
on 5.9. Un filtro F en X es la intersecci
on de todos los ultrafiltros en X que lo contienen.
Demostraci
on. Sea D la colecci
on de todos los ultrafiltros que contienen
a F. Dado A 2 \D veamos que A 2 F. Si A 2
/ F entonces Ac \ F 6= ;
para todo F 2 F, luego existe un ultrafiltro D para el cual Ac 2 D con
lo que A 2
/ D, y esto contradice que A 2 \D.
IA
N
.R
UB
Demostraci
on. Si no se tiene la contenencia, existe A 2
/ U con A 2 Fc .
Como Ac es finito y Ac 2 U existe x 2 Ac con {x} 2 U y as U es
principal.
Si U no es principal, para todo
{x}c 2 U. Dado
T x 2c X tenemos
A 2 Fc , la intersecci
on finita A = {{x} : x 2 Ac } esta en U.
Ejercicios 5.2
y} son
80
{p}
[ U.
IA
N
.R
UB
81
5.3 Sucesiones
5.3. Sucesiones
Recordemos que una funci
on f : N ! X se llama una sucesi
on en
X y la denotamos por (xn ) donde xn = f (n).
Definici
on 5.11. Sean X un espacio y (xn ) una sucesion en X. La
sucesion converge a un punto x 2 X, i. e., xn ! x si dada cualquier
vecindad Vx , existe k 2 N tal que si m k entonces xm 2 Vx a la larga
o finalmente todos los terminos de la sucesion estan en la vecindad.
EJEMPLO 5.5
IA
N
Si una sucesi
on converge a un punto x, cualquier vecindad del punto
es un superconjunto para alguna cola de la sucesion. Es como si las
colas fuesen una base para un filtro mas fino que las vecindades de x.
.R
UB
82
IA
N
Definici
on 5.12. Decimos que el espacio X es de convergencia u
nica
si dada cualquier sucesi
on (xn ) que converge, ella lo hace a un u
nico
punto.
.R
UB
Proposici
on 5.13. Si X es un espacio de Hausdor entonces X es de
convergencia u
nica.
Demostraci
on. Si (xn ) converge tanto a x como a y para x, y 2 X, por
ser X de Hausdor existen Vx , Vy con Vx \ Vy = ;. Pero de otra parte,
casi toda (xn ) est
a en Vx y casi toda (xn ) est
a en Vy , y esto no puede
suceder a menos que x = y.
El recproco de la proposici
on anterior no se tiene puede dar un
ejemplo? a menos que el espacio sea 1-contable.
Proposici
on 5.14. Sea X un espacio 1-contable. Si X es de convergencia u
nica entonces X es de Hausdor.
Demostraci
on. Si X no es de Hausdor existen x, y 2 X tales que para
todo par Vx , Vy tenemos Vx \ Vy 6= ;. En particular para las bases locales
enumerables Bx = {B1x , B2x , . . .}, By = {B1y , B2y , . . .} tenemos Bnx \ Bny 6=
; para cada n. Por cada n 2 N elegimos xn 2 Bnx \Bny (podemos suponer
que cada una de estas dos bases locales esta encajada por que?) lo
cual nos produce una sucesi
on (xn ) que converge tanto a x como a y, y
nos contradice la convergencia u
nica.
Definici
on 5.15. Un espacio (X, T) se dice de convergencia trivial
si las u
nicas sucesiones convergentes son las sucesiones a la larga constantes; es decir, no convergen sino las inevitables.
83
5.3 Sucesiones
EJEMPLO 5.8
IA
N
1. Ninguna sucesi
on puede converger a un punto de N N a menos
que a la larga sea constante, ya que para estos puntos los conjuntos
unitarios son abiertos.
2. Ninguna sucesi
on puede converger a w. Si xn ! w entonces cada
fila contendr
a, a lo m
as, finitos terminos de la sucesion. Excluyendo
estos terminos en cada una de las filas, obtenemos un conjunto
abierto que contiene a w y no contiene los terminos de la sucesion.
.R
UB
Proposici
on 5.16. Sea f : (X, T) ! (Y, H) una funci
on continua
entre espacios. Si xn ! x entonces f (xn ) ! f (x).
Demostraci
on. Si (f (xn )) no converge a f (x), existe Vf (x) tal que para
infinitos n 2 N, f (xn ) 2
/ Vf (x) ; luego no existira Vx tal que f (Vx )
Vf (x) , puesto que cada Vx contiene a partir de alg
un xk todos los demas
terminos de la sucesi
on.
Cuando una funci
on f satisface la propiedad de la proposicion anterior se llama secuencialmente continua o continua por sucesiones.
Para los espacios metricos tenemos la siguiente caracterizacion de la
continuidad.
84
IA
N
Demostraci
on. Por el teorema anterior basta probar que si la condicion
se tiene para f entonces f es continua. Si f no fuera continua, existira
un punto x 2 X y una vecindad Vf (x) de f (x) para la cual no existe
Vx con f (Vx ) Vf (x) . En otras palabras, ninguna bola B" (x) satisface
que f (B" (x)) Vf (x) , luego para cada n 2 N existe un elemento xn de
X tal que xn 2 B1/n (x) y f (xn ) 2
/ Vf (x) . Claramente, para la sucesion
as definida tenemos que xn ! x, y de otra parte Vf (x) no contiene a
ning
un f (xn ), lo que niega la propiedad.
.R
UB
En la demostraci
on anterior lo realmente basico para esta caracterizacion 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.
Teorema 5.18. Para los espacios 1-contable, la continuidad secuencial
es equivalente a la continuidad en general.
Demostraci
on. Como el espacio de dominio de la funcion es 1-contable,
por cada x 2 X existe Bx = {B1 , B2 , . . .}, base local encajada para el
punto x. Para ella razonamos como en el teorema anterior y extraemos
la sucesion (xn ) conveniente.
EJEMPLO 5.10
La identidad idR : (R, coenumerables) ! (R, usual) es secuencialmente continua pero no es continua. Que sucesiones convergen en
(R, coenumerables)?
La siguiente definici
on extiende la nocion de convergencia hasta el
concepto de filtro.
Definici
on 5.19. Sea F un filtro en (X, T). Decimos que F converge
al punto x 2 X si F es m
as fino que el filtro de vecindades de x. Lo
notamos F ! x.
85
5.3 Sucesiones
EJEMPLO 5.11
IA
N
.R
UB
A cada sucesi
on en un espacio se le asocia de manera canonica un
filtro de la manera siguiente.
Definici
on 5.20. Sea (xn ) una sucesion en el espacio X y para cada
86
IA
N
Demostraci
on. )) Si xn ! x entonces dada Vx tenemos por la definicion
de convergencia de sucesiones que Vx est
a en el filtro asociado.
() Si cada vecindad est
a contenida en el filtro asociado a la sucesion,
entonces dada una Vx existe una cola Xn tal que Xn Vx .
.R
UB
El hecho que el concepto de filtro sea mas general que las propiedades
de vecindad tiene reflejos en la continuidad entre los espacios topologicos, ya que esta continuidad se puede caracterizar en terminos de filtros,
as como la caracterizamos en terminos de convergencia de sucesiones.
Proposici
on 5.22. Sea f : X ! Y una funci
on entre conjuntos. Dado
un filtro F en X, la colecci
on
f (F) := {f (F ) | F 2 F}
87
5.3 Sucesiones
IA
N
Ejercicios 5.3
.R
UB
88
suma, multiplicaci
on y orden asociado a las sucesiones. R es un
modelo de un cuerpo ordenado no completo.
9. Sea f : (X, d) ! (Y, m) una funcion continua entre espacios
metricos. Si definimos
d (x, y) := d(x, y) + m(f (x), f (y))
.R
UB
IA
N
IA
N
caucho
.R
UB
6.1. Homeomorfismos
Definici
on 6.1. Dados dos espacios (X, T), (Y, H) decimos que X es
homeomorfo a Y o que X es topol
ogicamente equivalente a Y
y notamos X Y si existe una biyeccion f : X ! Y con f y f 1
continuas.
La funcion f se llama un homeomorfismo y
U 2 T () f (U ) 2 H.
Un homeomorfismo f no es tan solo una relacion biunvoca entre los
elementos de los espacios, sino que tambien lo es entre los elementos
abiertos de las topologas respectivas.
89
90
en t
erminos de conjuntos abiertos, junto con las relaciones y operaciones
La relacion de homeomorfismo definida en la clase de todos los espacios topologicos es de equivalencia demuestrelo. Y el gran objetivo
de la topologa es determinar que espacios pertenecen a una misma clase
de equivalencia. A cambio de estudiar cada espacio de manera individual, estudiamos su clase de equivalencia.
EJEMPLO 6.1
IA
N
............
........ ......
....... . .... .....
......
..... .....
.......
...
.......
.
.
.
.
...
.
...
......
...
.....
......
......
...
.
.
.
.
.
...
.
..
.
.......
.
.
.
.
..
.
.
.
..
..
.......
.
.
.
.
.
.
.
.....................................................................................................................................
.......
.
..
......
.
.
...
.......
..
..
.......
.
.
.
.
.......
.
.
.......
....
...
.......
...
...
......
.
.
.
.......
.... .....
.......
.
.......
....... . .... .....
......... .. ...
.............
.R
UB
EJEMPLO 6.2
El tama
no es subjetivo no interesa en topologa, por ejemplo el
intervalo ( 1, 1) y R, cada uno con la topologa usual, son homeomorfos
x
mediante f : R ! ( 1, 1) definida como f (x) =
, la cual es
1 + |x|
un homeomorfismo. Note que f tiene como inversa a g : ( 1, 1) ! R
x
donde g(x) =
.
1 |x|
Los dos ejemplos anteriores se pueden combinar en el siguiente.
EJEMPLO 6.3
La proyecci
on estereogr
afica de S 2 {p} en R2 , donde el punto p =
(0, 0, 1) es el polo norte.
La funcion F es un homeomorfismo de S 2 {p} en R2 ,
x
y
F (x, y, z) =
,
,0 .
1 z 1 z
91
6.1 Homeomorfismos
2u
2v
u2 + v 2 1
G(u, v, 0) =
,
,
.
u2 + v 2 + 1 u2 + v 2 + 1 u2 + v 2 + 1
La proyecci
on estereogr
afica enva a una circunferencia paralela al
ecuador en una circunferencia del plano y si la circunferencia es cada
vez mas cercana al polo su imagen ser
a cada vez mas grande en el plano.
Un meridiano se enva en una lnea recta.
...............................................................................................................................
...
...
.......... ... ....................
...
....
.......
....
... . ...........
...
..
.
......
.
...
....
.....
.
...
.
.
.
...
.
.
.
.
.
... .....
...
...
...
.
.
.
...
.
.
.
... . ...
...
...
...
.
.
.
.
.
.
...... ..
....
.
.
..
.
.
.
.
.
.
.
.
...
.
.....
..
.
. .... . . . . . . . . . . . . .
.
....
.
.
.
.
.
.
.
.
.
.
.
.
. . . .. ......
. .. .
..
...
.
.
.
.
.
.
.
.
.
...
.
.
.... .....
...
...
......
.....
.
.
.
.
..
...
......
.
..
.
.
.
...
.
.
.
.
....
......
..
....
. ....
...
.
.
.
.
.
.
.
.
.
.
.
......
. ..
... . .....
...
.
...
.
.
.
...
.
.
.
.
...
.
.. . . . . . . . . . . . . . .
....
...
.
.
.
.
.
.
.
... ...
...
..
..
.
.
....
.
.
.
.
.....
..
..
.
...
.
.
.
.
....
..
...
.
.
...
.
.
.
..................................................................................................................................................................................................................................................................
.
......
....
.
........
.
.
.
.
.
.....................................
S2
IA
N
(x, y, z)
F (x, y, z)
R2
.R
UB
92
IA
N
.R
UB
Dos cintas de M
obius (ver fig. 6.3) son homeomorfas si ambas tienen
un n
umero 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
umero de giros es par, obtenemos un espacio
no homeomorfo a la cinta de M
obius; se trata en efecto de un cilindro.
1
August Ferdinand M
obius (1790-1868), matem
atico y astr
onomo alem
an. Hizo el
descubrimiento de esta superficie cuando era profesor en la Universidad de Leipzig. El
nombre de M
obius est
a ligado con muchos objetos matem
aticos importantes, como la
funci
on de M
obius, que introdujo en su artculo de 1831 Uber
eine besondere Art von
Umkehrung der Reihen (Sobre una forma especial de invertir las series), y la f
ormula
de inversi
on de M
obius.
93
6.1 Homeomorfismos
IA
N
.R
UB
As como un nudo no se puede desatar en dos dimensiones sin romperlo, es por ello que su representaci
on sobre una hoja de papel necesariamente da el sentido de autointersecci
on, mientras que en tres dimensiones s lo podemos desatar o su representaci
on no se intercepta, seguramente en un mundo de cuatro dimensiones podramos desdoblar la
cinta de Mobius sin romperla para deformar una de tres giros a una de
tan solo un giro. Algunas veces los autores prefieren eliminar este problema de la dimensi
on y la realizaci
on, suponiendo que en un modelo 3dimensional la autointersecci
on no existe, por ejemplo la representacion
de una botella de Klein (ver fig. 6.5). Es como si el grosor no existiese;
en efecto, son verdaderas superficies de espesor igual a cero y, la botella
pudiera pasar a traves de s misma.
Por esto no es nada nuevo que, al pintar un nudo en dos dimensiones,
su interseccion la representamos como pasar por encima un trazo de lnea
sobre el otro uno de los dos es interrumpido.
94
IA
N
.R
UB
EJEMPLO 6.4
Definimos f :
S1
! R como f ((x1 , x2 )) =
...
....
................. .......................
.... ......
......
........
...
....
.....
......
....
....
.....
.....
....
....
....
....
....
...
....
...
....
...
...
...
.
.
.
.
.
....
...
....
...
....
.
.
.
.
.
.
.
...
....
..
....
...
....
.
.
.
.....
....
..
...
....
...
.. ................................................. ........
...
..
.
...
....
.
.
....
...
....
....
...
....
...
.
.
.
.
..
....
.
...
....
....
.
...
...
.
.
.
.
....
...
...
...
.
.
.
.
...
.
.
.
....
.
..
...
....
....
...
....
....
....
....
.....
.....
....
....
......
......
........
.... ......
...........................................
......
x1
x2
,
|x1 | + |x2 | |x1 | + |x2 |
x1
x2
,
.
(x1 2 + x2 2 )1/2 (x1 2 + x2 2 )1/2
95
.R
UB
IA
N
6.1 Homeomorfismos
EJEMPLO 6.5
Definimos h : X ! Y como
h((x1 , x2 )) =
x1
x2
1
2
2
,
, log(x1 + x2 )
(x1 2 + x2 2 )1/2 (x1 2 + x2 2 )1/2 2
donde
h
96
...
.
..
..
. ..........
..
..
..
.. ...
..
..
..
... . .
..
.
..
.
.....
.
.
.
..
. ..
.
..
..
..
..
. . ....
..
..
..
..
..
. . ... ..
..
..
..
..
..
..
...... .
..
..
..
.
..
..
.
.
.
.
.
.
.
..
.
.
. . ...
..
..
..
..
..
.. ....
..
..
..
..
..
..
... . .
..
. . ..
..
..
... .
..
.
.
.
.
.
.
.
.
.
.
.
............................................................................................................................................................
.
.
.
..
.
..
..
..
..
. . ...
..
..
..
..
. . ... .. .
..
..
..
..
..
..
..... ..
..
..
..
..
..
.
.
.
.
.
.
.
.
.
.
..
.
..
..
..
..
.. ....
..
..
..
..
..
..
..
..
.... . .
..
..
..
..
..
...
.
.
.
.
.
.
.
.
..
......
..
..
..
..
. . ...
..
..
..
. . ... . ..
..
..
..
..
..
..
..
... .
.. .
..
..
..
..
.
..
..
..
..
.
..
..
......................
IA
N
Ejercicios 6.1
1. En un espacio la funci
on identica es un homeomorfismo.
2. La composici
on de homeomorfismos es un homeomorfismo.
.R
UB
3. Una biyecci
on f : X ! Y entre espacios es un homeomorfismo si
y solo si
a) Para cada x 2 X, f transforma la coleccion V(x) exactamente
en la colecci
on V(f (x)).
b) f enva la colecci
on de todos los conjuntos abiertos de X
exactamente en la colecci
on de todos los conjuntos abiertos
en Y .
97
es un homeomorfismo.
IA
N
.R
UB
98
IA
N
.R
UB
99
d : Y Y
IA
N
Demostraci
on. Sea d una metrica en X que genera la topologa T. Definimos
! R, como d (y1 , y2 ) := d(h
(y1 ), h
(y2 )).
.R
UB
d y para este " se tiene que B"d (y) V , pues dado z 2 B"d (y) lo
que es igual a decir que d (y, z) < " tenemos d(h 1 (z), h 1 (y)) < ",
lo que implica h 1 (z) 2 B"d (h 1 (y)) h 1 (V ), es decir z 2 V .
La siguiente definici
on da una propiedad invariante bajo homeomorfismo, la cual es tema central de muchos y diversos topicos en matematicas.
Definici
on 6.4. Un espacio X tiene la propiedad del punto fijo PPF si
cada funcion continua f : X ! X deja al menos un punto fijo; esto es,
existe un x 2 X tal que f (x) = x.
Encontrar una condici
on necesaria y suficiente para que un espacio X
tenga la PPF no es f
acil; en cambio, esta propiedad nos ayuda a decidir
en algunos casos no triviales si dos espacios son equivalentes o no.
100
IA
N
EJEMPLO 6.7
Demostraci
on. Sea h : X ! Y un homeomorfismo entre espacios. Si X
tiene la PPF, veamos que Y tambien la tiene. Dada la funcion continua
f : Y ! Y queremos encontrar un y 2 Y tal que f (y) = y. La funcion
h 1 f h de X en X es continua y por tanto tiene un punto fijo a,
(h 1 f h)(a) = a, con lo que f (h(a)) = h(a); tomando y = h(a)
obtenemos el punto fijo para f .
.R
UB
EJEMPLO 6.8
Los subespacios [0, 1] y (0, 1) de R no son homeomorfos, ya que el segundo no posee la PPF por que?.
Uno de los teoremas del folklore de la teora de puntos fijos su demostracion usual utiliza tecnicas de la topologa 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
fsica de interpretar este teorema es la siguiente: tome una taza de
cafe, revuelva suavemente el contenido y espere hasta que el cafe deje de moverse. Cada partcula de cafe tiene una posicion inicial y una
final. Como el movimiento fue suave, los puntos de la superficie, homeomorfa a I I, permanecen superficiales, de tal suerte que debe existir
un punto que regresa a la posici
on inicial, esto es, su cafe no quedo bien
revuelto.
101
Ejercicios 6.2
1. S 1 y (0, 1) con la topologa usual son homeomorfos?
2. Muestre que S n no tiene la PPF para cada n 2 N.
IA
N
.R
UB
7. Considere en el producto N [0, 1) el orden del diccionario o lexicografico y en R 0 la topologa inducida por la usual de R. Pruebe
que estos espacios son homeomorfos.
IA
N
En un curso de
algebra se encuentran los conceptos de grupo cociente
o anillo cociente, en los cuales la idea es dar una estructura algebraica al
conjunto de coclases de un subgrupo o un ideal. Estos conceptos (basados
en una relacion de equivalencia) dan una estructura algebraica a una
particion del grupo o del anillo.
.R
UB
En lo concerniente a la topologa, el concepto equivalente es el de espacio cociente al dar una topologa a una particion del espacio donde
los elementos ser
an ahora las clases de equivalencia inherentes a la particion.
Si R es una relaci
on de equivalencia en el espacio X, como dar una
topologa al conjunto cociente X/R (de las clases de equivalencia o
elementos de la partici
on) a partir de la topologa de X?
(V ) es un abierto de X}.
102
103
EJEMPLO 7.1
.R
UB
IA
N
1
En el intervalo [0, 1]
S identificamos 0 1. [0, 1]01 S . Tenemos que la
particion es {0, 1} {{a} : a 2 (0, 1)}.
EJEMPLO 7.2
Cinta de M
obius a . Muchos espacios se construyen a traves de otro identificando algunos puntos; por ejemplo, M la cinta de M
obius.
a
104
Espacios de identificaci
on cociente
y) y los
(0, y)
(3, 1
y)
IA
N
.R
UB
La preimagen de un disco abierto en la cinta es, o bien el conjunto formado por los
dos semidiscos abiertos, o un disco abierto interior al rect
angulo. En todo caso se
trata de un abierto en X/R pues su preimagen por q corresponde a un abierto en la
topologa del rect
angulo (fig. 7.3).
La construcci
on anterior, hecha sobre una relacion de equivalencia,
puede ser tambien descrita en terminos de la particion.
Definici
on 7.2. Sea (X, T) un espacio y sea R = {Ai } una partici
on
o descomposici
on de X. Formamos un nuevo espacio Y , llamado el espacio identificaci
on o cociente, como sigue. Los puntos de Y son
los miembros de R y si q : X ! Y es la funcion cociente q(x) 7! Ai
si x 2 Ai , la topologa para Y es la m
as grande para la cual q es continua, es decir, U Y es abierto si y solo si q 1 (U ) es abierto en X.
Esta topologa se llama identificaci
on o cociente para la particion R
y notamos T/R :
T/R := {U Y : q
(U ) es un abierto de X}.
Pensemos en Y como esos subconjuntos de X que han sido identificados a un solo punto por medio de R. Como cada particion R genera una
relacion de equivalencia R (notada de la misma manera), el conjunto Y
tambien es notado como Y = X/R . De suerte que
S
U es abierto en X/R si y solo si q 1 (U ) = [x]2U [x] 2 T.
105
X
@
- X/R
@
f
@
R ?
@
f q
IA
N
Demostraci
on. Si f es continua claramente f q tambien lo es. En el otro
sentido, asumamos que f q es continua y sea U Z con U 2 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.
.R
UB
X
@
- X/R
f
@
hf
f @
R ?
@
(hf 1 (U )) = q
(q(f
(U )) = f
1 (U )),
(U ),
106
Espacios de identificaci
on cociente
IA
N
Demostraci
on. Supongamos que f es abierta y veamos que hf tambien lo
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 demostracion se deja
como ejercicio.
La siguiente clase de funciones generaliza a las funciones cociente
q : X ! X/R .
.R
UB
Definici
on 7.6. Sean (X, T) un espacio, Y un conjunto y f : X ! Y
una funcion sobreyectiva. La topologa cociente o identificacion sobre
Y es la coleccion
TYf = {V Y | f
(V ) 2 T}.
La topologa cociente algunas veces se llama la topologa final con respecto a la funci
on f .
! Z es continua si y
X
@
- Y
g
@
@
R ?
g f
La topologa cociente es la u
nica topologa sobre Y con estas dos propiedades.
107
Demostraci
on. Por la definici
on de TYf la continuidad de f es inmediata
f
pues f 1 (TY ) T (teorema 4.2).
Finalmente, n
otese que la funci
on identica idY : (Y, TYf ) ! (Y, H)
es un homeomorfismo si Y est
a equipado de una topologa H con estas
propiedades.
IA
N
Definici
on 7.8. Una funci
on sobreyectiva f : (X, T) ! Y es una
funci
on cociente si la topologa sobre Y es la topologa cociente.
Esto significa que una funci
on sobreyectiva f : (X, T) ! Y es una
funci
on cociente si y solo si para todo V Y .
1
.R
UB
Demostraci
on. Veamos que hf es abierta, esto
es, hf 1 es continua. Sea U un subconjunto abierto de X/Rf . Como f es una funci
on cociente,
basta mostrar que f 1 (hf (U )) es abierto en X.
Pero f 1 (hf (U )) = q 1 (U ) y como q es continua, tenemos que q 1 (U ) es abierto. Si observamos que hf q = f obtenemos que hf 1 f = q
es continua y como f es una cociente, por el
teorema anterior hf 1 es continua.
- X/R
f
@
@
f
hf
@
R ?
@
Como podemos reconocer las funciones cociente? i. e., bajo que condiciones una topologa dada proviene de una funcion cociente? Parte de
la respuesta la da el siguiente teorema.
108
Espacios de identificaci
on cociente
IA
N
.R
UB
Demostraci
on. El concepto de compacto se define en el captulo 7 donde
ademas se muestra que con la hip
otesis del corolario 7.11 f es cerrada.
EJEMPLO 7.3
109
IA
N
.R
UB
f : [0, 1] [0, 1] ! S 1 S 1
como f (x, y) = e2ix , e2iy donde e2ix := (cos 2x, sin 2x) y e2iy :=
(cos 2y, sin 2y). La relaci
on Rf en [0, 1] [0, 1] definida por la funcion
f , es decir
Rf = {f
(a) : a 2 T }
es exactamente la partici
on inicial R; luego, por el corolario 7.11
[0, 1] [0, 1]/Rf S 1 S 1
110
Espacios de identificaci
on cociente
EJEMPLO 7.5
.R
UB
IA
N
Curiosamente, si una botella de Klein sufriera una cada que produjera una rotura en dos partes y a lo largo, obtendramos dos cintas
de Mobius! Esto es, la botella de Klein es obtenible va sutura para los
dos bordes de dos cintas de M
obius, pero el coser estos dos bordes es
imposible en nuestro universo tridimensional, aunque cada borde no sea
mas que una circunferencia intentelo!
Ejercicios 7.1
1. Muestre que la topologa cociente es en efecto una topologa y que
es la mas fina para la cual la funci
on proyeccion es continua.
2. Muestre que un subconjunto es cerrado para la topologa cociente
si es la imagen de un conjunto saturado y cerrado.
111
IA
N
3. Sean , relaciones de equivalencia sobre los espacios X, Y respectivamente. Dada una funci
on continua f : X ! Y tal que
a b implica f (a) f (b) entonces fb : X/ ! Y / definida por
fb([x]) = [f (x)] es una funci
on bien definida y continua.
.R
UB
1 (B).
b) C
omo caracterizar los abiertos en una funcion cociente? Los
abiertos de Y son precisamente las imagenes por f de los
subconjuntos abiertos f -saturados de X.
c) Puede caracterizar los cerrados en una funcion cociente?
5. Es la composici
on de funciones cociente una funcion cociente?
6. Sea f : X ! Y sobreyectiva. Muestre que f es una funcion
cociente si para todo V Y se tiene
f
IA
N
La topologa producto
H
Y
HH
pX
H g
HH
j
[f,g]
Y
*
?
pY
X Y
.R
UB
Posiblemente para el lector no sea familiar esta propiedad del producto cartesiano. Su valor consiste en que no hace referencia a la parte
intrnseca del conjunto, sino a las propiedades que este objeto y sus
flechas tienen dentro de la categora de los conjuntos factoriza tanto
a f como a g lo cual nos da una visi
on sintetica del concepto.
Otro ejemplo en esta lnea de pensamiento no analtico es el
de las funciones inyectivas y sobreyectivas. Dados dos conjuntos A, B
una funcion f : A ! B notada como f 2 M or(A, B) es inyectiva si
112
113
La ventaja de mirar estos conceptos en terminos de flechas y diagramas consiste en que los podemos generalizar a categoras donde el
concepto no depende de la definici
on puntual por elementos de un
conjunto.
.R
UB
IA
N
Proposici
on 8.1. Dados (X, T), (Y, H) espacios, la colecci
on
B = {U V : U 2 T, V 2 H}
114
La topologa producto
Los conjuntos
IA
N
pi 1 (Ui ) = X1 X2 Ui Xn = Ui
Xj
j6=i
.R
UB
(8.1)
Ejercicios 8.2
115
9. Es pX : X Y
{x} Y
.R
UB
( , (a, b)) =
IA
N
10. * Sean (X, <), (Y, <) dos conjuntos ordenados linealmente. Muestre
que si Y no tiene m
aximo ni mnimo entonces la topologa del orden (X Y )< es igual a la producto Xd Y< donde Xd es X con
la topologa discreta y Y< es Y con la del orden. Esta topologa
(X Y )< es m
as fina que la producto X< Y< .
x<a
({a} ( , b)) .
11. Cuando (X, <), (Y, <) son dos conjuntos ordenados linealmente
tenemos dos topologas para (X Y ), la producto X< Y< y
la del orden para el producto (X Y )< , donde Y< es Y con la
del orden. Estas topologas en general no son iguales, mas a
un, ni
siquiera comparables.
116
La topologa producto
Este concepto conjuntista del producto se puede caracterizar en terminos sinteticos por medio de las funciones proyeccion que seleccionan
una coordenada especfica de cada (xi ).
pj :
Y
i2I
Xi ! Xj ,
De manera analoga al caso finito, la topologa producto para una familia {(Xi , Ti )}, (i 2 I) de espacios topol
ogicos debe garantizar que las
proyecciones sean continuas; es decir, dados i 2 I yQcualquier Ui abierto
de Xi el subconjunto pi 1 (Ui ) debe ser abierto en i2I Xi .
IA
N
.R
UB
De suerte que los abiertos U que conforman la base son las cajas
abiertas
formadas por la intersecci
on de finitos cilindros, i. e., U =
Tn
1
p
(U
)
o,
de
manera
equivalente,
i
k
k=1 ik
U = Ui1 Ui2 Uin
Y
i2I
Xi , i 6= i1 , i2 , . . . , in .
117
IA
N
.R
UB
.
........
.........
.
.
..........
.
......... ....
....
....
....
... ...........
.........
.......
.........
....
....
....
...
....
......
........
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.....
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
....
.
.
.
.
.
.
.
.
.
.
.
............
.
..
..
...........
.........
.......
.....
....
.....
.................................. ...............
............
...........
....
........ .. .......
.....
.
....................
......
...
...
....... . ........
....................................................................
................................................... ...
.
.........
.......
....
..............
........ .. .......................
......................
...
........... ....
.
...............
.... ..................
...... ......
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
....................
.
.
.
.
..... .........
....
.
.
.
.
.
.
.
.
.
.
.
....
.
................................................................
........................ ............
.
....
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..... .
.
.
.
.
...
...
.
.
.
.
.
.
.
.
......
.....
..
.. ...
.
..................
.......
.......
..... ..........................................................................
....
....
...
..
......
.
.......
...
.
.....
.........
................................. .... ................
....
....
...
.....
........
...................
................
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
....
.
.
.
.
.
.....
...
.
.....
......
....
..........
.......... ..............
............................
....
....
...
.....
...........
.
...........
....
....
....
..... ........................................................
.. ....... .........................................................
......
......
....
...
...
...
.......
.......
....
....
...
....
...... ....
...... ..
....
....
...
...
.......
....
....
....
...
......
....
.... .....
...
...
...
....
....
...
...
...
....
....
....
...
...
....
....
....
...
...
....
....
...
...
...
....
...
...
...
...
....
....
....
...
...
....
...
...
...
...
...
...
...
...
...
.
.
.
.
.
..
..
X1
X2
X3
Xi
.
.....
....
..
..
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..
EJEMPLO 8.1
118
La topologa producto
A menos
Q que se especifique otra cosa, cuando hablemos del espacio
producto i2I Xi entendemos que la topologa involucrada es la producto de Tychono. Y la hemos preferido ya que la topologa caja adolece
de ciertos defectos como:
IA
N
.R
UB
Demostraci
on. Por la definici
on de producto cartesiano es inmediato
que cada proyecci
on es sobre. La continuidad se sigue de la definicion de
la topologa producto. Para mostrar que cada proyeccion pi es abierta
basta considerar los abiertos b
asicos de X, puesto que para toda funcion
la imagen de la uni
on de una familia es la union de la familia de las
imagenes. Sea
Y
U = Ui1 Ui2 Uin
Xi , i 6= i1 , i2 , . . . , in
un abierto basico; si i = ik entonces pi (U ) = Uik ; si i 6= i1 , i2 , , in
entonces pi (U ) = Xi . En cualquier caso pi (U ) es abierto en Xi .
2
119
Definici
on 8.3. Una propiedad
Q P de un espacio se dice productiva
si un espacio producto X = i2I Xi tiene a P cuando cada espacio
coordenado Xi tiene a P.
IA
N
A continuaci
on veremos varios teoremas concernientes a propiedades
productivas.
Q
Teorema 8.4. Un espacio producto i2I Xi satisface la propiedad Tk
de separaci
on (k = 0, 1, 2) si y solo si cada factor Xi es un espacio Tk .
.R
UB
Demostraci
on. )) Supongamos que Xj no es un espacio Tk para alg
un
j 2 I. Existe entonces un par de puntos aj , bj 2 Xj para los cuales
el axioma Tk no se tiene. Por cada ndice i 6= j escojamos un punto
xi = ai = bi 2 Xi , con lo que los puntos a = (ai ), b = (bi ) son identicos
excepto por la coordenada jesima. La propiedad Tk falla entonces para
el par de puntos a, b del producto ya que no los podemos separar.
Q
Teorema 8.5. Un espacio producto X = i2I Xi es 1-contable si y solo
si cada factor Xi es 1-contable y, a excepci
on de un n
umero contable de
ndices, todos los espacios tienen la topologa grosera.
A
nadir a un producto de espacios, nuevos factores con la topologa
grosera, es como a
nadir nada.
120
La topologa producto
Demostraci
on. )) Cada espacio factor Xi es 1-contable, ya que esta
propiedad se transmite por funciones continuas, abiertas y sobreyectivas,
como es el caso de las proyecciones.
IA
N
.R
UB
Q
Cuando en un producto i2I Xi todos los factores Xi son iguales a un
mismo espacio A, i. e., Xi = A para todo I 2 I, notamos
Y
[
AI =
Xi = {f | f : I ! A =
Xi }.
i2I
i2I
121
EJEMPLO 8.2
IA
N
no existe Bn V0 .
.R
UB
Sean ({0, 1}, discreta) y X = {0, 1}N . Veamos que el conjunto unitario
B cuyo u
nico elemento es la sucesi
on constante a cero B = {0} = {(0)n }
no es un abierto en la topologa producto.
Como QB es un conjunto unitario lo podemos expresar como
B = n2N Bn , con Bn = {0} para cada n. Pero por otra parte, si
B fuese de la base, los Bn podran ser unitarios u
nicamente para un
n
umero finito de naturales.
EJEMPLO 8.4
122
La topologa producto
Ejercicios 8.4
IA
N
.R
UB
Y
i2I
Xi , i 6= i1 , i2 , . . . , in
123
IA
N
.R
UB
Demostraci
on. Veamos que H T. Sea U 2 H un elemento de la base,
d
U = B" (x) donde x = (x1 , x2 , . . . , xn ) y d es la metrica usual. Por cada
coordenada xi tomemos
"
Ui = y 2 R : |xi y| < p
= B"/pn (xi ) R.
n
Es claro que x 2 U1 U2 Un y ademas U1 U2 Un B"d (x)
pues u = (u1 , u2 , . . . , un ) 2 U1 U2 Un implica
d(x, u) =
n
X
i=1
(xi
ui )
!1/2
<
"
p
n
2 !1/2
= ".
124
La topologa producto
Ui , es decir y 2 U1 U2 Un .
B"d (x)
El siguiente teorema muestra que el producto finito de espacios metricos es de nuevo un espacio metrico.
IA
N
n
X
Qn
i=1 Xi
di (xi , yi)
.R
UB
i=1
!1/2
Qn
i=1 Xi
!R
1
X
d (xi , yi )
i
i=1
2i
125
mn{1, di (xi , yi )} = 2
mn{1, di (yi , xi )}
0,
luego
0.
d(x, y) = d(y, x)
IA
N
2. d(x, y) = 0 si y s
olo si 2 i mn{1, di (xi , yi )} = 0 para cada i 2 N,
esto es, para cada i se tiene di (xi , yi ) = 0 lo cual sucede si y solo
si xi = yi por cada i. En otras palabras, x = y.
.R
UB
luego
lo que implica
Notemos adem
as que d es una metrica acotada
d(x, y)
1
X
1
= 2.
2i
i=0
Veamos ahora que la topologa generada por esta metrica es la topologa producto. Primero veamos que la topologa generada esta contenida
en la producto. Sea B"d (x) un elementoPde la base. Escojamos p 1 lo
i < "/2. Para cada i 2 N
suficientemente grande para satisfacer 1
i=p 2
definimos una bola abierta B"i (xi ) Xi de la siguiente manera: si i 2
{0, 1, 2, . . . , p 1} entonces "i = "/4; y si i p, tomamos B"i (xi ) = Xi .
El conjunto
V = B"0 (x0 ) B"1 (x1 ) B"p 1 (xp
1)
Xp Xp+1
126
La topologa producto
2 i di (xi , yi )
i 0
i=0
p 1
X
i p
i=0
i"
"
4
4
+
i p
<
<
2 i di (xi , yi ) +
" "
+
= ".
2 2
IA
N
p 1
X
i p
.R
UB
Para " = mn{"1 /2, . . . , "k /2k } la bola B"d (x) U , pues si y es tal que
d(y, x) < " entonces
di (xi , yi ) < 2i " "i para cada i = 1, 2, . . . , k
dn
Q
Corolario 8.9. Para cada n 2 N sea In = [0, 1]. El producto n2N In =
I N llamado el cubo de Hilbert es metrizable. Otra presentaci
on
del cubo de Hilbert es mostrarlo como el producto de intervalos cerrados
Y 1
1
,
.
n n
n2N
EJEMPLO 8.5
Q
Para Xi = ({0, 1}, discreta), (i 2 R) el espacio i2R Xi no es metrizable.
Muestre que este espacio producto no es 1contable, verificando que no
existe una base local contable en 0 = (xi ), donde xi = 0 para cada i.
127
Q
Dada una funci
on f : X ! i2I Yi , usualmente f
por medio de las funciones coordenadas fi = pi f : X
Yi . La estrecha relaci
on entre la continuidad de f y la
de la siguiente proposici
on.
Q
Proposici
on 8.10. f : X !
i2I Yi es continua
aplicaciones coordenadas fi son continuas.
.R
UB
IA
N
Demostraci
on. )) Si f es continua, claramente lo son las fi = pi f
para cada i 2 I.
Q
T () 1Si cada fi es continua, dado un 1abierto basico V = i2I Vi =
que cada fT
i2I pi (Vi ) Y tenemos
i (Vi ) es un abierto en X y por
T
tanto, f 1 (V ) = f 1 ( i2I pi 1 (Vi )) = i2I fi 1 (Vi ) es tambien un abierto notese que casi todos los fi 1 (Vi ) son iguales a X excepto para finitos ndices i. Como es suficiente este criterio sobre los abiertos basicos,
tenemos que f es continua.
Los espacios coordenados heredan en general muchas propiedades
del espacio producto. Por el teorema 8.2, heredan cualquier propiedad
que sea invariante bajo sobreyecciones que sean continuas y abiertas.
Un problema m
as difcil e importante es deducir informacion acerca del
espacio producto a partir de los espacios coordenados, como hemos visto
en los teoremas anteriores.
La siguiente proposici
on nos dice a
un mas: cada espacio factor se puede
sumergir en el espacio producto sin alterar su topologa, de suerte que
cualquier propiedad que se hereda a los subespacios de un espacio, tambien se hereda a los espacios coordenados cuando el espacio producto
la posea.
Q
Proposici
on 8.11. Sea X = i2I Xi un espacio producto. Dados a =
(ai ) 2 X y un ndice i 2 I, existe un subespacio Xia X tal que a 2 Xia
con Xia homeomorfo a Xi .
Demostraci
on. Definimos Xia := {(xi ) : xj = aj , si j 6= i}. Consideremos la funci
on restricci
on pi |Xia : Xia ! Xi . Esta funcion es continua
y biyectiva. Resta ver que es abierta ejercicio.
128
La topologa producto
EJEMPLO 8.6
Ejercicios 8.6
IA
N
Xi
Yi .
.R
UB
1
d((xn ), (yn )) = sup{ dn (xn , yn )}
n
En esta secci
on generalizamos la construccion de las topologas producto y cociente respectivamente.
129
f1
X
..
.
X1
f2
X2
fi
X3
Xi
IA
N
X4
.R
UB
inicial para X que haga continuas las funciones fi (la topologa discreta
es una soluci
on, pero no es la mejor); esto es, la topologa menos fina
o mas gruesa como se trata del dominio sera la menor en el orden
de inclusion, la que menos abiertos posea. Lo que entonces queremos
es que cada fi 1 (Vi ) sea abierto cuando Vi lo sea en Xi ; esta topologa
inicial T G (notada T si no hacemos referencia a la familia) es la generada
por la subbase
B = {fi 1 (Vi ) | Vi 2 Ti , i 2 I}.
La topologa inicial nos sirve para caracterizar las funciones continuas que llegan a X; en efecto, tenemos el siguiente teorema.
Teorema 8.12. Sea (X, T) un espacio donde T es la topologa inicial
debil inducida por la familia G = {fi : X ! Xi | i 2 I}. Una funci
on
g : Y ! X donde Y es un espacio, es continua si y solo si la compuesta
fi g : Y ! X ! Yi es continua para cada i 2 I.
Demostraci
on. )) Si g es continua claramente tambien lo son las funciones compuestas fi g.
() Sea U un abierto en X; podemos asumir que U sea un abierto de
la subbase, esto es, U = fi 1 (Vi ) para alg
un i 2 I con Vi abierto en Xi .
1
1
1
1
As g (U ) = g (fi (Vi )) = (fi g) (Vi ) es abierto por hipotesis.
130
La topologa producto
Proposici
on 8.13. Sea X un conjunto y G = {fi : X ! (Xi , Ti )}i2I
una colecci
on de funciones continuas. Una topologa H para X es igual
a la topologa inicial T = T G si y solo si H satisface las condiciones del
teorema anterior propiedad universal.
Demostraci
on. )) Ya hemos demostrado que T satisface la propiedad
universal.
.R
UB
IA
N
() Supongamos entonces que H tambien satisface la propiedad universal y veamos que H = T. Al aplicar la propiedad de H para idX :
(X, H) ! (X, T) tenemos que fi es una funcion continua fi = fi
idX : (X, H) ! (X, T) ! (Xi , Ti ); luego, si cada fi es continua,
T H por definici
on de T. Para la otra contenencia tomemos la funcion
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.
EJEMPLO 8.7
Ejercicios 8.7
131
IA
N
5. Para la funci
on f : R
inicial?
.R
UB
X1
f1
f2
X2
X3
..
.
fi
X4
Xi
132
La topologa producto
IA
N
1 (U )
es
.R
UB
Ejercicios 8.7
b) TG es la topologa m
as fina sobre X que hace continua a cada
una de las fi : Xi ! X.
IA
N
conjunto
.R
UB
Con conceptos relativamente simples como los de abierto y continuidad, hemos podido crear una gran variedad de espacios topologicos 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
as herramientas. En esta seccion
discutiremos otras maneras de dotar de una topologa a un conjunto,
entre ellas el operador de adherencia en el sentido de K. Kuratowski.
Tambien se podran usar otros operadores como interior, exterior, frontera o derivado dado que cualquiera de ellos determina completamente
la topologa sobre el conjunto.
Definici
on 9.1. Sean (X, T) un espacio y F X. F se llama cerrado
si su complemento F c es abierto.
EJEMPLO 9.1
134
Posici
on de un punto respecto a un conjunto
EJEMPLO 9.2
i Ai
es cerrado.
3. Si
S {Aj }j2J J finito es una coleccion de cerrados entonces
j Aj es cerrado.
IA
N
.R
UB
Proposici
on 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
de Y es un subconjunto cerrado de X.
Demostraci
on. Es inmediata, si recordamos que para cualquier U subconjunto de Y se tiene f 1 (U c ) = (f 1 (U ))c .
EJEMPLO 9.3
135
IA
N
T
Demostraci
on. Sea x 2 {F : F es cerrado y A F } y veamos que
x 2 A. Dada Vx vecindad de x existe U abierto con x 2 U Vx . Si
Vx \ A = ; entonces U \ A = ; luego A U c , as que U c es un cerrado
que contiene a A y por hip
otesis x 2 U c , lo cual es una contradiccion.
As que Vx \ A 6= ; para toda Vx .
T
En el otro sentido, sea x 2 A. Si x 2
/ {F | F es cerrado y A F }
existe F cerrado tal que A F y x 2
/ F . Luego x 2 F c con F c abierto
y ademas F c \ A = ; lo cual contradice que x 2 A.
Corolario 9.5. Sean (X, T) un espacio y A, B X. Entonces
1. ; = ;.
.R
UB
2. A A, para cada A X.
3. A es cerrado.
4. A = A si y solo si A es cerrado.
5. A = A.
6. Si A B entonces A B.
7. A [ B = A [ B.
8. A \ B A \ B.
Demostraci
on. Se deja como ejercicio.
EJEMPLO 9.4
La propiedad 7 del corolario 9.5 no es verdad mas alla del caso finito,
a
un en el caso de una uni
on enumerable. Por ejemplo, si cada An = { n1 }
entonces
[
[
[1
1
:n2N =
An 6=
An = {0}
:n2N ,
n
n
n
n
pues en R con la usual A = { n1 : n 2 N} tiene como punto adherente, a
mas de los del propio A, el punto 0.
136
Posici
on de un punto respecto a un conjunto
EJEMPLO 9.5
EJEMPLO 9.7
IA
N
A = {(x, y) : 0 x 1, y = 0},
.R
UB
EJEMPLO 9.8
137
En los espacios metricos el concepto de punto adherente se puede caracterizar en terminos de la distancia.
Proposici
on 9.6. Sean (X, d) un espacio metrico y A X. Para x 2
X, x 2 A si y solo si d(x, A) = 0.
Demostraci
on. )) Si x 2 A entonces B1/n (x) \ A 6= ; para cada n 2 N.
Luego d(x, A) < 1/n para cada n, i. e., d(x, A) = 0.
IA
N
.R
UB
Demostraci
on. )) Si x 2 A por cada n 2 N tomamos xn con xn 2
Bn (x) \ A para {B1 , B2 , . . .} una base local en x encajada! Es claro
que la sucesi
on as definida satisface xn ! x.
138
Posici
on de un punto respecto a un conjunto
IA
N
En 1922 el matem
atico polaco K. Kuratowski1 reconocio las propiedades que tena la adherencia y las resumio en el siguiente operador
llamado de clausura. Para un conjunto X la adherencia es una funcion
K : 2X ! 2X tal que para cada A X, K(A) := A con las siguientes
propiedades:
.R
UB
1. K(;) = ;.
2. A K(A) expansi
on.
Demostraci
on. Definimos la colecci
on
T = {U X | K(U c ) = U c }.
Verifiquemos que T es topologa. Por 1, 2 tenemos ;, X 2 T.
1
139
S
Dada {Vi }, (i 2 I) con Vi 2 T, veamos que i2I Vi esta en T. Notese
que A B implica K(A) K(B) y por tanto
!c !
!
[
\
K
Vi
=K
Vic Vic para cada i,
i2I
i2I
c
con lo cual K i2I Vic i2I K(V
Si )
contenencia en 2 nos dice que K
i2I Vi
i2I
IA
N
.R
UB
Demostraci
on. )) Sean A X, y 2 f (A). Tomemos x 2 A tal que
y = f (x). Dada cualquier Vy , existe Vx tal que f (Vx ) Vy por la
continuidad. Como x 2 A, sea p 2 Vx \ A, con lo cual
f (p) 2 f (Vx \ A) f (Vx ) \ f (A) V y \ f (A)
y por tanto y 2 f (A).
140
Posici
on de un punto respecto a un conjunto
Ai =
i2I
Ai
i2I
i2I
i2I
i2I
i2I
Ai .
i2I
.R
UB
luego x 2
IA
N
Q
Q
Q
Demostraci
on. Veamos que i2I Ai i2I Ai . Sea x 2 i2I
Q Ai y V x
una vecindad abierta del punto x = (xi ). Q
Existe un abierto i2I Ui de
la base de la topologa producto con x 2 i2I Ui Vx . Como xi 2 Ai
tenemos Ui \ Ai 6= ; para cada i y as
!
!
Y
Y
Y
Y
Vx \
Ai
Ui \
Ai =
(Ui \ Ai ) 6= ;,
..
..
.
p (A).
..
..
A
.... .
.
.
.
.
.
.
........
....
........... ..................
......................................................
.....................................
.....................................
.....................................
.....................................
.................................
. ...........................
..................... .
...
... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ........................................
......
......................
.....
.....
........
........
....
....
.....
.....
.......
...
....
.........................
...
...
.
...
..
.
...
....
...
...
..
...
....
....
..
....
.....
.
..
.. ....
... .
.. .....
... ..
... .
.. ......
..... ...
.
......
.
.
..
.
...
......
...
..
........
.......
.........
.......
..
.
.
.........
... ... ... ... ... ........ ... ... ... ... ... ... ........................................................................
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
.................p.....(A)
................................
1
Figura 9.2: A
i2I
pi (A).
para Q
cada i, luego i2I Ai
A i2I pi (A) (ver fig. 9.2).
i2I
i2I
Ai pues si A
i2I
Xi entonces
141
i2I
Ai =
Ai =
i2I
Ai =
Ai =
i2I
Ai .
(9.2)
(9.3)
i2I
.R
UB
i2I
Ai
i2I
IA
N
i2I
Demostraci
on. )) Sea
Ejercicios 9.1
3. La adherencia se comporta respecto a los subespacios de la siguiente manera. Si A B X entonces A como subespacio de B es
igual a la intersecci
on de A como subespacio de X con B, es
decir
AB = AX \ B.
4. Sean (R2 , verticales) y A = {(x, y) : x2 + y 2 = 1, x 0, y 0}
ver ejercicio 2 de 1.2 Calcule:
a) A con respecto a S 1 .
b) A con respecto a R2 .
Que relaci
on existe entre estos dos conjuntos?
142
Posici
on de un punto respecto a un conjunto
8. Una funci
on f : X ! Y entre espacios topologicos es cerrada si
y solo si para todo A X se tiene f (A) f A .
IA
N
9. Una funci
on inyectiva f : X ! Y entre espacios es un homeomorfismo si y solo si para cada A X se tiene f A = f (A).
.R
UB
Definici
on 9.12. Sean (X, T) un espacio y A X. Decimos que b 2 X
es un punto de acumulaci
on de A (A se acumula en b) o que b
es un punto lmite del conjunto A, si para cualquier Vb se tiene
(Vb {b}) \ A 6= ;. Es decir, cada vecindad del punto b contiene puntos
de A diferentes de b mismo, i. e., b 2 A {b}.
143
Demostraci
on. Veamos que A [ Aa A. Si x 2
/ A, existe Vx tal que
Vx \ A = ;, es decir x 2
/Ayx2
/ Aa .
EJEMPLO 9.12
IA
N
Demostraci
on. A = A = A [ Aa , lo que implica Aa A.
Aa es un punto aislado de su
.R
UB
3. En (X, 2X ) se tiene X a = ;.
Proposici
on 9.15. Si (X, T) es un espacio de Hausdor, entonces Aa
es cerrado para todo A subconjunto de X.
Demostraci
on. De acuerdo con el corolario 9.14 veamos que (Aa )a Aa .
Sean x 2 (Aa )a y Vx vecindad de x. No hay perdida de generalidad si
tomamos Vx como abierta, ya que si no lo es, existe Ux abierto con
Ux Vx y trabajamos con este Ux . Sea y 2 (Vx {x}) \ Aa , luego y 6= x
con y 2 Aa . Por tanto, Vx que es vecindad tanto de x como de y satisface
(Vx y) \ A 6= ; por estar y 2 Aa .
De otra parte, Uy = (Vx {x}) es un abierto que contiene a y
puesto que {x} es cerrado. Luego ((Vx {x}) {y}) \ A 6= ;, y por
tanto podemos tomar z 2 (Ux {y}) \ A; claramente z 2 (Vx {x}) \ A
con lo que x 2 Aa .
144
Posici
on de un punto respecto a un conjunto
{x}) \ A) f (Ux
{f (x)}) \ f (A)
IA
N
;=
6 f ((Ux
Demostraci
on. Sea x 2 Aa y veamos que f (x) 2 f (A)a . Como f es
continua, dada Vf (x) existe un abierto Ux con f (Ux ) Vf (x) . Luego
f (Ux {x}) Vf (x) {f (x)} ya que f es 1-1 y no puede existir otro
punto distinto de x cuya imagen sea f (x). Por tanto
.R
UB
En Ru consideremos:
1. El subconjunto Z. Si n 2 Z entonces
{n} = Z \ (n
1
1
, n + ).
2
2
145
Proposici
on 9.18. Dado (X, T) un espacio y A X. (A, TA ) es discreto si y solo si cada punto de A es aislado.
Demostraci
on. En el subespacio (A, TA ) un punto a 2 A es aislado si y
solo si {a} es abierto en la topologa del subespacio.
Ejercicios 9.2
IA
N
1. Si (X, T) es un espacio y A, B X, muestre que el conjunto derivado posee las siguientes propiedades:
a) Si A B entonces Aa B a .
b) (A)a = Aa para A X.
.R
UB
c) (A [ B)a = Aa [ B a para A, B X.
S
S
d ) i2I Aai ( i2I Ai )a , Ai X.
2. En contraposici
on a la clausura, el segundo conjunto derivado no
tiene por que ser igual al original. De un ejemplo donde Aaa * Aa .
3. Demuestre el teorema 9.15 con la condicion que el espacio sea T1
a cambio de T2 .
4. Sea R con la topologa generada por la base formada por las colas
(a, !). Muestre que {0}a no es cerrado.
146
Posici
on de un punto respecto a un conjunto
a) Ais(A) \ Aa = ;.
b) Ais(A) [ Aa = A.
c) Ais A Ais(A).
d ) Ais(A) = ; si y solo si A Aa .
IA
N
.R
UB
Definici
on 9.19. Sean (X, T) un espacio y
A X. Decimos que b 2 X es un punto
interior de A si existe U X abierto tal
que b 2 U A. Al conjunto de puntos interiores de A lo llamamos el interior de A y
lo notamos A
A = {x : x es interior a A}.
Proposici
on 9.20. Sean (X, T) un espacio y A X. A es el mayor
abierto contenido en A.
Demostraci
on. Veamos que A =
A donde la familia
A = {Ui X : Ui A y Ui es abierto}.
147
Proposici
on 9.22. Si (X, T) es un espacio y A, B X entonces
1. A A.
2. (A \ B) = A \ B .
3. (A ) = A.
5. A [ B (A [ B) .
IA
N
Demostraci
on. Se deja como ejercicio.
4. X = X.
.R
UB
148
Posici
on de un punto respecto a un conjunto
Proposici
on 9.25. Sean (X, T) un espacio y A X. X es la uni
on
disyunta
X = A [ F r(A) [ Ext(A).
Demostraci
on. Las definiciones son excluyentes.
EJEMPLO 9.14
IA
N
Ejercicios 9.3
.R
UB
2. Muestre que:
a) A = Ext(A)c .
b) A = (X
M) .
c) A = X
(X
A).
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).
i ) F r(A) = {x | x 2
/A yx2
/ (Ac ) } = A [ (Ac )
3. Muestre que:
a) A es abierto si y solo si A \ F r(A) = ;.
b) A es cerrado si y solo si F r(A) A.
149
g) R {0}.
h) {0} R.
IA
N
=A .
.R
UB
150
Posici
on de un punto respecto a un conjunto
EJEMPLO 9.15
Los n
umeros irracionales I son densos en R con la topologa usual.
EJEMPLO 9.16
IA
N
.R
UB
EJEMPLO 9.17
Demostraci
on. Sea B = {B1 , B2 , . . .} una base enumerable. Por cada Bn
tomamos un xn 2 Bn y formamos el conjunto D = {x1 , x2 , . . .}. D es
denso, pues dado cualquier abierto U , por ser B una base, existe Bi con
xi 2 Bi U .
El recproco de la proposici
on anterior no es cierto en general como se
muestra en el siguiente ejemplo; pero en el caso de los espacios metricos
s se tiene la equivalencia entre los conceptos 2contable y separable.
EJEMPLO 9.18
151
Proposici
on 9.29. Si (X, d) es un espacio metrico y separable, entonces
es 2-contable.
Demostraci
on. Sea D = {d1 , d2 , . . .} un subconjunto denso en X. La
coleccion B = {B 1 (dm ) : m, n 2 N} es una base enumerable para la
n
topologa generada por d. Dado un abierto U y x 2 U existe B" (x) U .
Sea dm 2 D con dm 2 B 4" (x). La bola B 2" (dm ) satisface
"
2
+ 4" .
IA
N
.R
UB
Un abierto b
asico para la topologa generada tiene la forma descrita por
la figura 9.3. Esta topologa, conocida como topologa de Sorgenfrey,
es separable pues Q Q = R R.
El subconjunto formado por la recta diagonal
L = {(x, x) : x 2 R}
152
Posici
on de un punto respecto a un conjunto
..................................
. . . . . ..
.....
..... . .. . .. . .. . .. . .. ....
..... . . . . . . . . . . ...
..... . . . . . . . . . . ..
.
.
IA
N
.....
.....
.....
.....
.....
.....
.....
.....
.....
x
.....
.....
.
.
.....
...
..
...
...
...
....
..
...
.
.....................................................
.R
UB
Proposici
on 9.30. Sean (X, T) un espacio separable y A X con A
abierto. El subespacio (A, TA ) es separable.
Demostraci
on. Si D es denso y contable en X, D \ A lo es en TA .
La propiedad de separabilidad es productiva para una cantidad enumerable de factores.
S
SK es enumerable y por tanto F := K2M SK es tambien enumerable.
Q
Dada f 2 F definimos xf 2 n2N Xn como
xf (n) =
(
xnf(n) ,
xf (n) =
si n est
a en el dominio de f ,
xno
si n no esta en el dominio de f .
153
Sea
U = Un1 Unj
Xn
i6=nj
un abierto basico. Por cada ni escogemos mi tal que xnmii 2 Uni (densidad
de Dni ). Para f definida como f (ni ) = mi , (i = 1, . . . , k) se tiene que
xf 2 U . Luego D := {xf : f 2 F } es denso.
EJEMPLO 9.21
IA
N
.R
UB
154
Posici
on de un punto respecto a un conjunto
Demostraci
on. Si f 6= g sea z 2 X para el cual f (z) 6= g(z). Tomamos
dos abiertos disyuntos U, V vecindades de f (z) y g(z) respectivamente.
Como z 2 f 1 (U ) \ g 1 (V ), que es un abierto que no corta a D, tendramos que z 2
/ D, lo cual contradice la densidad de D.
EJEMPLO 9.22
IA
N
.R
UB
Si debilitamos a
un m
as las hip
otesis sobre los espacios del ejemplo
anterior, es decir, exigimos que (X, T) sea 1contable, separable y
Hausdor, 2@0 = 2! es todava una cota para la cardinalidad de X.
155
Luego el n
umero de conjuntos abiertos en X es a lo mas 22 . Ademas,
!
2
2 es la mejor cota sobre el n
umero de conjuntos abiertos para estos
2
espacios. Por ejemplo R con la topologa de Sorgenfrey (ver ej. 9.20).
Si solo asumimos que (X, T) es un espacio de Hausdor y separable,
!
la mejor cota para la cardinalidad de X es 22 y la mejor cota para el
!
2
n
umero de abiertos en X es 22 .
IA
N
Ejercicios 9.4
.R
UB
Compacidad
10
IA
N
.R
UB
Definici
on 10.1. Dados un espacio (X, T) y A X decimos que una
coleccion U = {Ui }i2I de abiertos (cerrados) de X es un cubrimiento
abierto (cerrado) de A si
A
U=
Ui .
i2I
156
157
M es no vaco y est
a acotado superiormente por b. As, M admite una
mnima cota superior s. Veamos que s 2 M y s = b. Sea U un elemento
de U que contiene a s. Como U es abierto, existe " > 0 tal que (s ", s]
U si s = b o para s < b tendramos (s ", s + ") U y por ser s un
sup existe > 0 tal que < " y s
2 M . Luego el intervalo [a, s
]
esta contenido en la uni
on de un subcubrimiento finito de U, llamemoslo
M. Por tanto M [ {U } es un recubrimiento finito de [a, s], es decir
s 2 M . Si s fuese menor que b entonces ([M) [ U contendra a [a, s + "]
y contradice que s es sup de M .
IA
N
Esta propiedad de los intervalos cerrados y acotados de R la generalizamos a los espacios topol
ogicos y con la siguiente definicion2 le
damos nombre.
.R
UB
Definici
on 10.3. Un espacio (X, T) se dice compacto si cada cubrimiento abierto de X admite un subcubrimiento finito.
A X es compacto si A como
S subespacio deSX es compacto; i. e.,
dado un cubrimiento abierto A i2I Vi A = i2I (Vi \ A) es reunion
de abiertos del subespacio, existe una subfamilia finita Vi1 , Vi2 , . . . , Vik
S
S
tal que A ki=1 Vik ; esto implica A = nk=1 (Vik \ A).
La siguiente visualizaci
on de la compacidad s debe a John D. Baum:
Supongamos que una gran multitud de personas posiblemente infinitas est
an afuera bajo la lluvia, y que cada
una de estas personas usa su sombrilla, claramente ellas permanecer
an sin mojarse. Pero por supuesto es posible que
ellas esten juntas de manera tan compacta, que no sea necesario sino que un n
umero finito de ellas abran sus sombrillas
y todava permanezcan sin mojarse. En este caso pensamos
que ellas forman una especie de espacio compacto.
Fue introducida en 1923 con el nombre inicial de bicompacto y de manera independiente por el gran top
ologo ruso Pavel Alexandro (1896-1982 Mosc
u) y por el
matem
atico ucraniano Pavel Urysohn (Odessa, Ucrania 1898Francia 1924).
158
Compacidad
EJEMPLO 10.1
EJEMPLO 10.2
IA
N
.R
UB
La compacidad no se hereda.
Por ejemplo, el intervalo (0, 1) [0, 1] no es compacto pues {(0, 1
1/n)}n2N es un cubrimiento abierto de (0, 1) que no se puede reducir a
un subcubrimiento finito.
K En caso que el subespacio sea cerrado, la compacidad si es hereditaria.
Teorema 10.4. Sean (X, T) un espacio compacto y A X un cerrado,
entonces A es compacto.
S
Demostraci
on. Sea U una familia de abiertos de X tal que A U. Si
a
nadimos a U el conjunto Ac obtenemos un cubrimiento abierto de X.
Luego existen U1 , . . . , Un en U tales que X = U1 [ U2 [ . . . [ Un [ Ac y
por tanto A U1 [ U2 [ . . . [ Un .
EJEMPLO 10.3
159
(U) = {f
(U ) : U 2 U}
IA
N
es un cubrimiento abierto de X. Como X es compacto, existe un subcubrimiento {f 1 (U1 ), . . . , f 1 (Un )} de f 1 (U) y por ser f sobre tenemos f (f 1 (Uk )) = Uk para 1 k n. As, Y = f (X) = U1 [ . . . [ Un
y por tanto U admite un subcubrimiento finito.
Corolario 10.6. No existe f : [0, 1] ! (0, 1) continua que sea sobreyectiva. Por tanto estos espacios no pueden ser homeomorfos.
.R
UB
Los subconjuntos compactos de un espacio de Hausdor tienen propiedades deseables, que pueden faltarles a los espacios compactos en
general. Esta es una raz
on para que algunos autores llamen compacto
a lo que nosotros hemos definido, exigiendo ademas que el espacio sea
de Hausdor 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.
...........................................
..................
........
..........
......
.....
.....
....
.....
....
....
...
...
...
...
.... ....
...
...
.
.
.
.
.
...
..
...
.
....
.
..
.
..
....
..
.
...
....
...
.
.
....
...
.
...
...
.
.
...
....
.
.
.
.
.
.
.
.
..
....
..
....
..
.
...
.
x
.
...
.
.
...
a
...
...
..
...
..
...
...
..
.
.
.
.
...
...
.....
.........
.....
....
......
......
........
...........
.............................
Uxa
160
Compacidad
Demostraci
on. Sea a 2 A. Como X es de Hausdor, existen abiertos
disyuntos Uax , Uxa de a, x respectivamente. Cuando a vara en A, obtenemos un cubrimiento de A dado por U = {Uax | a 2 A}
T y de el extraemos unSsubcubrimiento finito {Uax1 , .S. . , Uaxn }. Si Ux = ni=1 Uxai entonces
Ux \ ( ni=1 Uaxi ) = ; y adem
as A ni=1 Uaxi .
IA
N
.R
UB
EJEMPLO 10.4
Fue el matem
atico italiano Giuseppe Peano (Spinetta 1858Turn 1932) el primero
en descubrir una de ellas, y se llaman desde entonces curvas de Peano. La famosa curva
de Peano que llena el espacio apareci
o en 1890 como un contraejemplo que us
o para
mostrar que una curva continua no puede ser encerrada en una regi
on arbitrariamente
peque
na. Este fue un ejemplo temprano de lo que se conoce como fractal.
161
IA
N
Ejercicios 10.1
.R
UB
3. Es la uni
on de espacios compactos un compacto?
4. Muestre que ([0, 1), usual) no es compacto.
5. Considere a (0, 1) con la base {(0, 1/n)}n2N . Quien es la adherencia de (0, 1/2)? Es (0, 1/2) compacto?
6. Muestre que en un espacio de Hausdor, A es compacta si A lo es.
162
Compacidad
IA
N
10. Sea (X, ) un conjunto parcialmente ordenado con un primer elemento y dotado con la topologa de colas " x a derecha (filtros de
orden principales). Muestre que X es compacto.
11. Sea (X, ) un conjunto totalmente ordenado. La topologa del orden es compacta si y solo si X es un retculo completo. Revise la
demostraci
on del teorema 10.2.
.R
UB
14. Regularidadcompacidad local. Muestre que en un espacio Hausdor y compacto, dado x 2 X y cualquier vecindad Vx , existe una
vecindad abierta Ux tal que Ux Ux Vx .
15. No abundan los compactos. Si (X, T) es de Hausdor y todos los
subconjuntos de X son compactos entonces la topologa es discreta.
163
IA
N
.R
UB
T
Demostraci
S on. )) Para cada i 2 I, sea Ui = X Ci . Si i2I Ci = ;
entonces i2I Ui = X y por tanto {Ui }i2I es un cubrimiento abierto de
X.
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.
() Si X no es compacto existe {Ui }i2I cubrimiento abierto que no se
puede reducir a uno finito. Sea Ci = X Ui para cada i 2 I. Claramente
C = {Ci }i2I tiene la PIF pero \C = ;, lo que contradice la hipotesis.
Demostraci
on. C satisface la PIF.
EJEMPLO 10.5
Matem
atico checo (1781 Praga-1848 Praga). Bolzano liber
o de manera exitosa
al c
alculo del concepto de infinitesimal. Tambien dio ejemplos de funciones 1-1 entre
elementos de un conjunto infinito y elementos de un subconjunto propio. Se adelant
oa
164
Compacidad
Proposici
on 10.11 (Bolzano-Weierstrass). Todo subconjunto infinito
de un espacio compacto X tiene un punto de acumulaci
on.
Demostraci
on. Si A es un subconjunto de X que no tiene puntos de
acumulacion, veamos que A es finito. Como A no tiene puntos de acumulacion, entonces para todo x 2 X existe Vx tal que Vx \ A = ;
o Vx \ A = {x} en el caso que x 2 A. La coleccion {Vx }, (x 2 X) forma
un cubrimiento abierto de X (compacto) elScual admite un subcubrimiento finito Vx1 , . . . , Vx2 . Claramente A ni=1 Vxi = X y por tanto A
tiene a lo mas {x1 , x2 , . . . , xn } puntos.
IA
N
.R
UB
Para la construcci
on de {Cn }n utilizamos de manera inductiva el
siguiente hecho: dados un abierto U 6= ; y b 2 X, existe una vecindad
W contenida en U y tal que b 2
/ W (b puede estar o no en U ). En efecto,
sea y 2 U con y 6= b (si b 2 U utilizamos que b es de acumulacion, si
b2
/ U tomamos y 2 U pues U 6= ;). Como el espacio es de Hausdor,
existen vecindades Vby \ Vyb = ;; luego, Wy = Vyb \ U satisface b 2
/ W.
La construcci
on: sea X el primer abierto y escojamos W1 X con
a1 2
/ W1 . Hagamos C1 = W1 . Sea W2 W1 con a2 2
/ W2 y C2 = W2 .
los analistas rigurosos del siglo XIX, a saber: en el concepto de funci
on continua y
en la demostraci
on de sus propiedades, en el criterio de convergencia de series, y
en la existencia de funciones continuas sin derivadas; pero por haber publicado sus
escritos de an
alisis en Praga, ciudad entonces alejada de los centros cientficos, o por
permanecer ineditos, como su importante Teora de Funciones, que apareci
o en 1930,
la influencia de sus ideas fue escasa. Defini
o lo que hoy se conoce como sucesiones de
cauchy.
165
IA
N
Definici
on 10.14. Sea F un filtro en el espacio (X, T). Un punto x 2 X
es adherente al filtro si para toda Vx y todo F 2 F se tiene Vx \F 6= ;.
Es decir, V(x) \ F es una base de filtro.
Definimos F la adherencia del filtro como el conjunto de puntos
que son adherentes al filtro; en particular
F=
{F | F 2 F}.
.R
UB
i=1
Fi
n
\
Fi
i=1
T
T
y como F es un filtro tenemos ni=1 Fi 6= ;, con lo cual ni=1 Fi 6= ;. Por
tanto \C =
6 ; y as F = \C =
6 ;.
166
Compacidad
T
Sabemos que F =
6 ; y por tanto existe x 2 X con x 2 {F | F 2 F} y
como C F tenemos
\
\
\
{F : F 2 F}
{C : C 2 C} =
{C : C 2 C},
{C : C 2 C}.
EJEMPLO 10.6
IA
N
.R
UB
167
EJEMPLO 10.7
IA
N
.R
UB
Teorema 10.17. Sean (X, T), (Y, H) dos espacios. La topologa producto para X Y es compacta si y solo si X y Y son compactos.
Demostraci
on. )) Si X Y es compacto, las proyecciones nos garantizan que tanto X como Y tambien son compactos.
168
Compacidad
IA
N
Dado y 2 Y , consideremos la familia {Vxy }x2X , la cual es un cubrimiento abierto de X y por tanto existe un subcubrimiento Vxy1 , Vxy2 , . . . , Vxym
m(y) es un entero que depende de y. Por cada i = 1, . . . , m(y) conTm(y)
sideremos el respectivo Vyxi y construyamos Qy = i=1 Vyxi una vecindad abierta de y. N
otese que
{Vxy1 Qy , Vxy2 Qy , . . . , Vxym(y) Qy }
.R
UB
169
EJEMPLO 10.8
EJEMPLO 10.9
EJEMPLO 10.10
IA
N
El toro T y la cinta de M
obius son compactos por ser cerrados y acotados. Note que T tiene una representacion en R3 que equivale a pegar
en cada punto de S 1 al mismo S 1 algo mas reducido, luego lo podemos
ver como el producto S 1 S 1 de dos compactos.
.R
UB
Proposici
on 10.19. Sean (X, T), (Y, H) espacios topol
ogicos con Y
compacto. Si M X Y es un cerrado entonces la proyecci
on pX (M )
es un cerrado en X la funci
on proyecci
on pX es cerrada.
Demostraci
on. Veamos que el complemento de pX (M ) es un conjunto
abierto. Si a 2
/ PX (M ) entonces {a} Y M c . Por cada (a, y) existe
un abierto b
asico Vay Vya M c . La coleccion {Vya }, T
(y 2 Y ) cubre a Y
y la reducimos a una finita {Vyai }ni=1 ; entonces Va = ni=1 Vayi satisface
Va \ PX (M ) = ; y as Va PX (M )c .
EJEMPLO 10.11
En la proposici
on 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
Proposici
on 10.20 (Wallace). Sea A B un subespacio compacto de
un espacio producto X Y . El conjunto
{V1 V2 : V1 2 V(A), V2 2 V(B)}
....
.........
..
..
............................................................................................................................................................
....
......
...
...
.
...
...
..
...
.
.
.
...
...
....
.
. ...... ...... ...... ...... .................. ...... ...... ...... ................. ...... ...... ....
.......
...
...
...
...
...
....
...
.
.
...
.
...
.
...
.
..............................................................
................................
............. ...
.
.
...
. ..... ..... ...
.. ... . ...
.. ...... ..... ..... ...... ...
.
.
.
.
...
.
...
..
....
..
........ ...... ....
...... ...... ...... ..... .....
.
...
.
.
.
. .... .......
. .... ..... ..... ......
..
.
...
.
.
.
...
.
...
...... ..... ...
......... ..... ...... ..... ...
..
..
.
...
.
.
...
.
.
........ ....... ........ ........... ............
......... ...
......... ......... ........
.
.
...
...
............
. .
.
.
.
.
...
... ............
....
....
.......... ...... ....
............ ...... ....... ....... .....
.
.
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... ........
.
.
.
.
...
. ..... ........
.. ..... ...... ...... ........
..
.
.
..
.
.
.
...
.
.
.
.
.
.
.. .... .... ..
.. .... ... .... ... ..
... ..............
...
....
...
...... ....... ...... ....... .......
...... ....... ......
.. ...
...
.
...
.
.
.
.
.
...
...
....
.......... ...... ....
...
...
............ ...... ....... ....... ....
.
.
... .... ....
. .... ... .... ...
...
.
.
...
.
.
. ... ... ...
. .... .... .... .......
.
..
.
...
...
...
.
.
.
.
.
.
..
........ ...... ...
..
........ ...... ...... ...... ...
...
.
...
.
.
.
... ..... .... .... .......
... ..... .....
..
.
...
...
.
.
.
..
..
... ...... ...... ...
..
... ...... ...... ...... ..... ...
...
.
...
.
.
.
.... ..... ....
... ..... ..... ..... ....
..
.
...
.
.
...
.
.
.
.
.
..
.
.
...
...
...
.... ...... ...... ....
....
.... ...... ...... ...... ..........
...
......................................
................ ...
...
.....................................................................
...
.
.
..
...
...
...
..
.
.
....
.
.
...
...... ...... ...... ...... ...... ...... ...... ...... ...... ...... ...... ...... ...... ...... ..
....
..
.
...
...
.
..
.....
.
.
...
.
.
.....................................................................................................................................................
...
...
......
......
......
......
............................................................................................................................................................................................................................................
......
......
......
......
...
...
...
...
...
...
...
U V
IA
N
...
...
..
A {y} ....
...
V
B ...
..
...
...
...
.
.......A........
.......
.R
UB
................................................................
U
Demostraci
on. Sea W un abierto con A B W . Por cada (x, y) 2
AB existe Uxy Vyx W . La colecci
on {Uxy }, (x 2 A) es un cubrimiento
de A {y} el T
cual reducimos a uno finito {Uxyi }ni=1 ; consideremos la
vecindad Vy = ni=1 Vyxi .
S
Para los abiertos U y = ni=1 Uxyi y Vy tenemos que A{y} U y Vy ,
luego la colecci
on {Vy }, (y 2 B) es un cubrimiento abierto de T
B el cual
n
yi
podemos
Sn reducir a uno finito Vy1 , . . . , Vym ; de suerte que U = i=1 V ,
V = i=1 Vyi satisfacen A B U V W .
EJEMPLO 10.12
Si A, o B no son compactos, la
proposicion 10.20 deja de ser verdad; por ejemplo, en (R2 , usual)
considere el subconjunto [1, 1)
[1, 2]. El abierto W es asint
otico a
A B y por tanto no podemos encontrar U V W .
171
Ejercicios 10.3
IA
N
H = {A X | A es compacto}
.R
UB
dH (A, B) := m
ax{d(A, B), d(B, A)}
donde
d(a, B) := nf{d(a, b) : b 2 B}
d(A, B) := m
ax{d(a, B) : a 2 A}.
172
Compacidad
d(A, B)
d(B, A)
IA
N
.R
UB
J. L. Kelley mostr
o en 1950 que el teorema de Tychono es equivalente al axioma
de elecci
on; no es de extra
nar as que toda demostraci
on de este teorema involucre al
Lema de Zorn o alguna otra forma equivalente al axioma de elecci
on.
173
Demostraci
on. )) Como pi es continua y F ! x entonces pi (F) ! xi .
IA
N
.R
UB
Luego pik (Vx ) = Uik es una vecindad de xik puesto que las proyecciones
son abiertas. Como pik (F) ! xik , pik (Vx ) 2 pik (F),
Qy por tanto existe
F 2 F tal que pik (F ) pik (V
),
luego
F
ik
i6=ik Xi . Por ser F
Qx
un filtro tenemos que Uik i6=ik Xi esta en F para cada k = 1, . . . , n.
Por tanto, la intersecci
on finita
n
\
k=1
(Uik
i6=ik
X i ) = Vx 2 F
lo que significa F ! x.
Q
Teorema 10.23 (Tychono 6 ). Sea X = i2I Xi un espacio con la
topologa producto. Entonces X es compacto si y solo si cada espacio
coordenado Xi es compacto.
Demostraci
on. )) Si X es compacto, por ser cada proyeccion pi continua tenemos que cada Xi es compacto.
() Veamos que cada ultrafiltro U de X es convergente. Ya que las
proyecciones son sobreyectivas, por cada i 2 I, pi (U) es un ultrafiltro
en Xi y como cada Xi es compacto, pi (U) ! xi para alg
un xi 2 Xi . Por
el lema 10.22, U converge al punto x = (xi ), (i 2 I) de X.
6
174
Compacidad
EJEMPLO 10.13
El cubo I N =
producto.
.R
UB
EJEMPLO 10.14
IA
N
b)
({0}) = {x 2 X : x
b(U ) = 0} = {x : x 2 U } = U ;
En caso que X sea T0 tenemos que b es inyectiva y por tanto un homeb i. e.,
omorfismo sobre X,
Y
b
XX
{0, 1}U .
U 2T
175
EJEMPLO 10.15
IA
N
Definici
on 10.24. Un espacio (X, T) se dice compacto por sucesiones si cada sucesi
on en X contiene una subsucesion convergente.
.R
UB
Los conceptos de compacto y compacto por sucesiones no son equivalentes. En general existen espacios compactos que no son compactos por
sucesiones y viceversa, aunque como veremos unas lneas adelante, los
ejemplos son m
as bien esotericos. Claro esta que en el contexto de los
espacios metricos estos conceptos son equivalentes (seccion 10.6).
La compacidad por sucesiones es preservada por la continuidad; de
aqu que sea un invariante topol
ogico.
Proposici
on 10.25. Sea f : (X, T) ! (Y, H) una funci
on continua y
sobre. Si X es compacto por sucesiones, tambien lo es Y .
Demostraci
on. Sea (yn ) una sucesi
on en f (X). Definimos (xn ) en X
tomando xn 2 f 1 (yn ). Como X es compacto por sucesiones, existe una
subsucesion (xnk ) y x0 2 X tal que xnk ! x0 . Por ser f continua, en
particular es secuencialmente continua y as yn ! f (x0 ).
176
Compacidad
IA
N
Definici
on 10.26. Un espacio (X, T) se dice compacto contablemente o !compacto si cada cubrimiento abierto y enumerable de X
admite un subcubrimiento finito.
Si recordamos que un espacio es de Lindelof si cada cubrimiento
abierto admite un subcubrimiento enumerable, entonces los espacios
compactos son los que son tanto de Lindelof como !compacto
.R
UB
Teorema 10.27. Si (X, T) es un espacio compacto por sucesiones entonces X es compacto contablemente.
Demostraci
on. Si X no es contablemente compacto existe un cubrimiento abierto U = {U1 , U2 , . . .} con la propiedad que no se puede
S reducir
a un subcubrimiento finito, i. e., para cada n 2 N existe xn 2 ( ni=1 Ui )c .
Sea (xnk ) una subsucesi
on convergente de (xn ) y sea x el punto de convergencia. Tomemos
U
2 U tal que x 2 Uj . Para m > j sabemos
j T
S
c
m
c
c
que xm 2 ( m
U
)
=
que, para todos
i=1 i
i=1 Ui luego xm 2 Uj . As
los elementos xnk con nk > j se tiene xnk 2
/ Uj , lo cual contradice la
convergencia de la subsucesi
on.
177
EJEMPLO 10.16
EJEMPLO 10.17
IA
N
.R
UB
EJEMPLO 10.19
[0, 1] con la topologa usual es compacto; luego en particular es contablemente compacto. Pero (0, 1) [0, 1] no es contablemente compacto, ya
que el cubrimiento abierto {(0, 1 1/2n)}, (n 2 N) no admite alg
un
subcubrimiento finito.
En caso que el subespacio sea cerrado, el lector debe verificar que la
propiedad s se hereda.Tambien se debe mostrar que ser contablemente
compacto es un invariante por medio de las funciones continuas.
Con la ayuda del siguiente concepto, mas debil que el concepto de
punto lmite, podemos obtener una forma equivalente a la definicion de
compacidad contable; ver teorema 10.29.
178
Compacidad
Definici
on 10.28. Sean (X, T) un espacio y (xn ) una sucesion en X.
Decimos que x 2 X es un punto adherido, de adherencia o de acumulaci
on de la sucesi
on (xn )n2N si toda Vx tiene infinitos terminos
de la sucesion.
IA
N
.R
UB
179
.R
UB
IA
N
Definici
on 10.30. Dado A (X, T), decimos que a 2 X es un punto
de !-acumulaci
on para A y notamos Aa! si para toda vecindad Va se
tiene que Va \ A es un conjunto infinito. Notese que Aa! Aa .
EJEMPLO 10.23
180
Compacidad
EJEMPLO 10.24
IA
N
.R
UB
Demostraci
on. )) Sea (xn ) una sucesi
on en X. Si A = {xn : n 2 N} es
finito existe una subsucesi
on constante convergente. Si A es infinito, por
el corolario 10.31 existe un punto a de !-acumulacion, y al considerar
una base encajada obtenemos una subsucesion convergente al punto a.
() Como en el teorema 10.29.
Ejercicios 10.5
1. Muestre que la compacidad por sucesiones es cerrada-hereditaria,
i. e., se hereda a los subespacios cerrados.
2. Si un espacio 1contable es compacto, entonces es compacto por
sucesiones.
181
IA
N
.R
UB
Definici
on 10.33. Un espacio metrico (X, d) se dice totalmente acotado si dado " > 0 existe un subconjunto finitoSF = {x1 , x2 , . . . , xn }
dependiendo de " llamado "-red tal que X = ni=1 B" (xi ), (xi 2 F ).
Lo de "-red se justifica porque dado x 2 X tenemos d(x, F ) < "; esto es,
una bola de radio " no pasa sin tocar a F .
Como el concepto de totalmente acotado depende de la funcion metrica, es de esperarse que no sea una propiedad topologica. En efecto
(0, 1) y (1, !) son homeomorfos por medio de f (x) := 1/x, pero el
segundo espacio no es totalmente acotado. por que?
El concepto de totalmente acotado implica el de acotado para los
espacios metricos en general; pero no todo espacio metrico acotado es
necesariamente totalmente acotado.
182
Compacidad
...
..........
....
................................................
...
............
.........
....
........
.......
.......
.......
....
......
......
......
.....
....
......
.....
.
.
.
....
....
....
.
....
.
....
...
...
.
.
...
...
...
...
.
.
...
....
...
.
...
.
... ...
...
... ..
...
...
... ....
...
..... ....
..
..
... ....
..
.........
..
..
......
..
.........
..
...
.......
..
....
.........
.
..............
.
.
.
.
.
.
.
.
.
.
... ....
.
.
.
.
....
. .........
..... .
...
..... .....
...
. .....
...
... ....
... .
..
..
. ....
.
.
...
.... ..... ... .
.
..
..
... ....
.
. ...
.
.
.
.
.
.
... .. .
...
. ....
.... .
... ...
....
...
...... .......
...
. ....
...
....... ...
.
....
......... .
. .......
....
...
.............
.
.....
.
..... ........................
.
.
.
.....
..
......
......
......
...
.......
.......
..
.........
.......
............
.........
...
...
.............
................................................................................................................................................................................................................................................................
..
....
.
"
(1, 1)
IA
N
.R
UB
Demostraci
on. Si X no es totalmente acotado, existe un " > 0 para el
cual no existe ninguna "-red finita. Construimos de manera inductiva una
sucesion que no admite una subsucesi
on convergente. Sea x1 2 X, como
{x1 } no es "-red, existe x2 con d(x1 , x2 )
". Supongamos que hemos
construido {x1 , x2 , . . . , xn } en X con la propiedad que d(xi , xj ) " para
todo i, j n, (i 6= j). Como {x1 , x2 , . . . , xn } no es una "-red existe xn+1
con d(xi , xn+1 )
", (i = 1, . . . , n). Es claro que la sucesion (xn ) no
admite una subsucesi
on convergente.
Corolario 10.35. Todo espacio metrico (X, d) compacto por sucesiones
es 2-contable y separable.
Demostraci
on. Como X es totalmente acotado, para cada n existe una
familia de bolas abiertas B1/n (xn1 ), . . . , B1/n (xnk ) que cubre a X, donde
Fn = {xn1 , . . . , xnk } es una n1 red. La coleccion de todas estas bolas nos
183
n=1 Fn
nos da
IA
N
Demostraci
on. Por el corolario 10.32.
.R
UB
Demostraci
on. Para cada (n 2 N) la coleccion Bn = {B1/n (x) : x 2 X}
es un cubrimiento abierto
S el cual se puede reducir a uno finito An
Bn . La colecci
on A := n=1 An es contable. Dado un abierto U y x 2
U tomemos B" (x) U y consideremos n tal que 1/n < "/4. Existe
B1/n (y) 2 An con x 2 B1/n (y). Veamos que B1/n (y) B" (x). Si t 2
B1/n (y) entonces
d(t, x) d(t, y) + d(y, x) 1/n + 1/n < "/4 + "/4 = ".
N
umero de Lebesgue
184
Compacidad
Demostraci
on. Razonando por contradiccion, supongamos que para U
no existe tal n
umero; es decir, por cada n 2 N existe xn tal que B1/n (xn )
no esta contenida en ning
un miembro de U. Como X es compacto por
sucesiones, la sucesi
on (xn ) tiene un punto adherido x. Sea U 2 U con
x 2 U . Tomemos r = d(x, U c ), as r > 0 y escogemos N 2 N el cual
satisfaga simult
aneamente que d(xN , x) < r/2 y 4/N < r. Con estas
condiciones B1/N (xN ) U ya que si d(y, xN ) < 1/N entonces y 2 U
puesto que
d(x, y) d(x, xN ) + d(xN , y) r/2 + 1/N < r/2 + r/4 < r
IA
N
.R
UB
185
Ejercicios 10.6
1. Muestre que en un espacio metrico los conceptos de compacidad,
compacidad contable y compacidad secuencial son equivalentes.
2. Muestre que en un espacio metrico los conceptos de separable,
2-contable y Lindel
o son equivalentes.
IA
N
.R
UB
186
IA
N
Compacidad
.R
UB
Figura 10.6: N
umeros ordinales.
El conjunto de los n
umeros ordinales es u
til en la construccion de
ejemplos en topologa. O es no contable y bien ordenado por . El
conjunto (O, ) contiene un elemento con la siguiente propiedad: si
2 O y entonces { |
} es contable. se llama primer
ordinal no contable. Por ! denotamos el primer elemento en O con
la propiedad que el conjunto { | !} es contable pero no finito; !
es llamado primer ordinal infinito.
Los n
umeros ordinales pueden representarse como
O = 0, 1, 2, . . . , !, ! + 1, ! + 2, . . . , 2!, 2! + 1, 2! + 2, . . . , 3!, . . .
. . . , ! 2 , ! 2 + 1, . . . , ! 3 , . . . , ! 4 , . . . , ! ! , ! ! + 1, . . . , , . . .
7
187
IA
N
En general llamamos a un n
umero ordinal un ordinal lmite si
no tiene un predecesor8 inmediato. ! es el primer ordinal lmite, el segundo ordinal lmite es 2! = 0, 1, . . . , !, ! + 1, . . . As tambien lo son
3!, . . . , ! 2 , . . . , ! 3 , .. y llegamos a ! ! donde su cardinal no es NN =c, el
todava es un ordinal contable insomnio! Si un n
umero ordinal no
es lmite lo llamamos ordinal sucesor.
.R
UB
R = {x | x es un n
umero ordinal}.
R es un n
umero ordinal y R no es un conjunto; de paso, R es el u
nico
n
umero ordinal que no es un conjunto.
La siguiente propiedad de los n
umeros ordinales nos sera u
til.
Proposici
on 10.41. Si A O es contable y 2
/ A entonces
sup A .
Demostraci
on. Sea X = { |
, para alg
un 2 A}; es decir, X
esta formado por los elementos de A o cualquier elemento de O que
preceda alguno de A. X es contable ya que por cada 2 A el conjunto
de sus predecesores es contable. Como O es bien ordenado, existe un
primer elemento de X c . As es una cota superior para X y ademas
es la menor de las cotas superiores. Por otra parte, { |
} es
contable ya que si
entonces 2 X. Por tanto no puede ser ;
es decir, sup A .
8
Una justificaci
on para este nombre es que un ordinal lmite es en efecto un lmite
en el sentido topol
ogico de todos sus ordinales m
as peque
nos (respecto a la topologa
del orden).
188
Compacidad
IA
N
Demostraci
on. Esto es consecuencia de que [0, ] es completo, es decir,
cada subconjunto no vaco posee tanto sup como inf completez. En
efecto, dado U un cubrimiento abierto de [0, ], sea A el subconjunto
formado por todos los t tales que [0, t) puede ser cubierto por un subcubrimiento finito de U. Sean = sup A y U 2 U tal que 2 U , por
tanto U A por que?. Luego existe (, ) U tal que 2 (, ) (a
menos que = ), pero como es el sup de A, tenemos que (, ) = ;,
luego 2 A, pero esto no puede suceder, con lo cual A = [0, ].
Note que cada subespacio cerrado [0, ] [0, ] es ahora compacto.
Proposici
on 10.43. [0, ] no es 1-contable.
.R
UB
Demostraci
on. Por la proposici
on 10.41 el punto no posee una base
local contable, pues si (n , ], (n 2 N) es una base local, entonces para
= sup{n } tenemos
, luego no existira ning
un elemento de la
base contenido en ( + 1, ].
Proposici
on 10.44. [0, ) es 1-contable.
Demostraci
on. Basta verificar que el u
nico punto en [0, ] que no posee
una base local contable es .
Proposici
on 10.45. [0, ) y [0, ] no son separables.
Demostraci
on. Demostremos que [0, ) no lo es. Dado un subconjunto
A contable, sea = sup A. Por 10.41,
y por tanto existe un
c
intervalo ( + 1, ) A , con lo cual A no puede ser denso.
Proposici
on 10.46. [0, ) no es compacto ni de Lindel
o.
Demostraci
on. Sea U = {[0, ) :
}. U es un cubrimiento abierto
donde cada elemento del cubrimiento es contable y U no admite un
subcubrimiento finito o contable, pues si C U es contable entonces [C
es contable y no puede contener a [0, ).
189
Corolario 10.47. [0, ) no es compacto pero s es contablemente compacto y compacto por sucesiones.
Demostraci
on. Si no es contablemente compacto, existe U = {U1 , U2 , . . .}
un cubrimiento abierto para el cual no existe un subcubrimiento finito;
por tanto, para cada n existe xn 2
/ U1 [. . .[Un . Si = supn n entonces
por el teorema 10.41, 2 [0, ) y ninguna subcoleccion finita de U cubre
al compacto [0, ].
IA
N
Ejercicios 10.7
.R
UB
5. El espacio [0, !) es precisamente N con la topologa discreta, mientras que [0, !] es el compactado de Alexandro de N.
6. Muestre que [0, ] coincide con N [ {w} donde la topologa es
T(F) = 2N [ {F [ {w} : F 2 F}
190
Compacidad
Definici
on 10.48. (i) Un espacio (X, T) es localmente compacto si cada
punto del espacio posee una vecindad compacta, i. e., si cada x 2 X
esta en el interior de un subconjunto compacto.
EJEMPLO 10.26
IA
N
.R
UB
Definici
on 10.49. (ii) Dados un espacio (X, T) y x 2 X, decimos que
X es localmente compacto en x si dada una vecindad abierta Ux
existe otra vecindad Vx abierta con V compacta que satisface
x 2 Vx Vx Ux .
191
Sobre los espacios de Hausdor estas dos definiciones coinciden; es decir, la existencia de una sola vecindad compacta para el punto, asegura
la existencia de todo un sistema fundamental de vecindades compactas
para el punto.
EJEMPLO 10.28
IA
N
.R
UB
EJEMPLO 10.29
192
Compacidad
EJEMPLO 10.30
IA
N
Claro que esto no sucede en caso que los subespacios sean abiertos o cerrados, es decir, la compacidad local es hereditariacerrada (demuestrelo!).
1
.R
UB
0.5
0.1
0.2
0.3
0.4
0.5
-0.5
-1
EJEMPLO 10.31
193
EJEMPLO 10.32
La compacidad local no se preserva por funciones continuas en general. La funcion idQ : (Q, discreta) ! (Q, usual) es continua pero no
preserva la compacidad local. Pero si f ademas de continua es abierta
s se preserva.
10.8.1. Compactacion
IA
N
.R
UB
Definici
on 10.51. Sea (X, T) un espacio. Un espacio (Y, H) compacto
se llama un compactado de X si existe una funcion f : X ! Y
continua e inyectiva tal que f : X ! f (X) Y es un homeomorfismo
con f (X) denso en Y .
En particular decimos que f realiza la compactaci
on de X. Si
ademas Y
f (X) se reduce a un conjunto unitario, decimos que Y
es un compactado de Alexandro o compactado por un punto.
La siguiente construcci
on es un metodo general de construir desde
X un espacio compacto X = X [ {1} que tenga a X como un espacio
inmerso.
Proposici
on 10.52. Sean (X, T) un espacio y un punto 1 2
/ X. Para
X = X [ {1} definimos la topologa T que tiene tanto a T como a los
W X tales que 1 2 W y W c es un cerrado y compacto en X.
El par (X , T ) se llama compactado (por un punto) de Alexandro de X.
Demostraci
on. Claramente ; y X estan en T pues ; es trivialmente
compacto. Veamos que T es cerrada para la interseccion finita. Si U, V 2
T y ambos est
an en T entonces U \ V 2 T ; si U 2 T y 1 2 V , V c es
cerrado y compacto en T luego V \ X es abierto en X y as U \ V 2
T T . Si 1 est
a tanto en U como en V entonces U c , V c son cerrados
y compactos en X, luego (U \ V )c = U c [ V c tambien es cerrado y
compacto en X por ser uni
on de dos compactos, con lo que U \ V 2 T .
194
Compacidad
la uni
on de una familia V = {Vi }i ST . Si 1 2
/
S Ahora examinemos
S
c V c;
V entonces
V
2
T
T
.
Pero
si
1
2
V
2
V
entonces
(
V)
i
i
S
S
c es compacto tenemos que ( V)c es cerrado
como ( V)c es cerrado
y
V
i
S
y compacto, esto es V 2 T .
Proposici
on 10.53. El espacio (X , T ) es compacto.
IA
N
Demostraci
on. Sea U un cubrimiento abierto de X . Existe U0 2 U con
1 2 U0 y U0c compacto. Claramente U es tambien cubrimiento abierto
de U0c , luegoSlo podemos reducir a un subcubrimiento finito U1 , . . . , Un
y as X ni=0 Ui .
Proposici
on 10.54. X es denso en X si y solo si X no es compacto.
Demostraci
on. )) Si X = X entonces X no es compacto, pues de lo
contrario X sera cerrado y compacto con lo cual {1} sera un abierto
y {1} \ X = ;, negando que 1 2 X.
.R
UB
() Basta ver que 1 2 X. Sea V1 una vecindad de 1 en T . Enc es un subconjunto cerrado y compacto de X, con lo cual V c
tonces V1
1
no puede ser todo X, as que V1 \ X 6= ;, y por tanto 1 2 X, lo que
implica X = X en T .
En el caso de partir en la construcci
on desde un espacio de Hausdor,
tenemos el siguiente teorema.
195
IA
N
Ejercicios 10.8
.R
UB
Sugerencia: la funci
on f : X ! S 1 es un homeomorfismo si es
definida por
8
2
< 1 x , 2x
, x2X
1 + x2 1 + x2
f (x) =
:
( 1, 0)
x = 1.
IA
N
completez
.R
UB
Una manera cl
asica de presentar al espacio Ru es la siguiente: es el
menor espacio metrico completo que contiene a Q como subespacio. El
sentido de completo y su generalizaci
on es lo que estudiamos en este
captulo. Intuitivamente un espacio metrico es completo si cada sucesion
que quiere converger realmente tiene a donde hacerlo.
Definici
on 11.1. Sea (X, d) un espacio metrico. Una sucesion (xn ) en X
se dice sucesi
on de Cauchy si dado un " > 0 existe un entero positivo
N (depende de ") tal que si m, n N entonces d(xm , xn ) < " podemos
controlar la distancia entre los puntos a partir de un momento dado y
controlarla tanto como queramos.
Definici
on 11.2. Un espacio metrico (X, d) es completo si cada sucesion de Cauchy en X es convergente a alg
un punto de X. (Las sucesiones
que quieren converger encuentran a quien hacerlo).
Proposici
on 11.3. En un espacio metrico (X, d) una sucesi
on de Cauchy
es un conjunto acotado.
Demostraci
on. Existe N1 tal que para m, n
N1 , d(xm , xn ) 1. En
particular para todo n N1 tenemos d(xn , xN1 ) 1, y tomando para los
terminos que est
an anteriores a xN1 el m
aximo M = maxkN1 d(xk , xN1 ),
tenemos que todo xn satisface d(xn , xN1 ) max{M, 1}.
Proposici
on 11.4. Si una sucesi
on de Cauchy en un espacio metrico
(X, d) tiene una subsucesi
on convergente entonces la sucesi
on converge.
196
197
Demostraci
on. Sea (xn ) una sucesi
on de Cauchy para la cual existe una
subsucesion xnk ! l 2 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" .
M tenemos
y as xn ! l.
Si M = m
ax{N" , nk" } entonces para n
IA
N
Las proposiciones 11.3, 11.4 implican que los espacios metricos que son
compactos son completos. Pero esto no significa que haya escasez de
espacios metricos completos que no sean compactos, por ejemplo Ru .
Desafortunadamente la propiedad de completez no es un invariante
topologico. Por ejemplo Ru (0, 1) pero el segundo no es completo.
.R
UB
Como la definici
on de sucesi
on de Cauchy no es una cualidad topologica sino que depende de la metrica usada en particular, podemos tener
la misma topologa proveniente en un caso de un espacio completo y
en otro de un espacio no completo la nocion de sucesion de Cauchy
no es topol
ogica.
Por ejemplo, si sobre R definimos la metrica
d(x, y) =
x
1 + |x|
y
,
1 + |y|
Esta situaci
on, m
as bien estresante, puede ser remediada de manera
parcial con la introducci
on del concepto de completez topologica.
Definici
on 11.5. Un espacio metrico (X, d) es completo topol
ogicamente si existe una metrica m equivalente a d y (X, m) es completo.
Por supuesto, los espacios metricos completos son completos topologicamente. La pregunta es si todo espacio metrico puede tener una metrica
equivalente que lo haga completo topologicamente. Aunque la respuesta es no, por ejemplo Q, veremos en la seccion 11.3 como completar
cualquier espacio metrico.
198
EJEMPLO 11.1
IA
N
.R
UB
Proposici
on 11.7. Si una sucesi
on (xn )n2N es de Cauchy, entonces el
filtro asociado tambien es de Cauchy.
Demostraci
on. Para abreviar, diremos que F X es peque
no si satisface la condici
on del enunciado, a saber
F F {(x, y) 2 X X : d(x, y) < }.
El filtro asociado F(xn ) tiene como base a las colas Sk = {xn : n
k}. Fijado > 0, como (xn ) es de Cauchy existe r 2 N tal que si n, m r
tenemos d(xn , xm ) < . As pues la secci
on Sr (y todas las Sk , con k < r)
son peque
nas y por tanto F es de Cauchy.
Proposici
on 11.8. Si F es un filtro de Cauchy en (X, d) entonces F
converge a cada uno de sus puntos adheridos.
199
Demostraci
on. Sean F un filtro de Cauchy en X y x un punto adherente
de F, es decir, x 2 F para cada F 2 F. Para ver la convergencia es
suficiente mostrar que las bolas abiertas B (x) pertenecen al filtro. Pero
esto se tiene ya que dada B (x) existe F 2 F que es /2peque
no y esto
implica F B (x). En efecto, dado y 2 F tomemos z 2 B/2 (x) \ F y
como F es /2peque
no, tenemos d(y, x) d(y, z) + d(z, x) < .
IA
N
Proposici
on 11.9. Sea (X, d) un espacio metrico completo. Un filtro
F es convergente si y solo si es de Cauchy.
Demostraci
on. )) Supongamos que F converge a x. Entonces B/2 (x) 2
F y ademas B/2 (x) es peque
na.
.R
UB
200
La propiedad de completez es m
as debil que la de compacidad; una evidencia de esto son los espacios metricos Rn . Algo mas interesante a
un
es que, tomando separadamente la completez y la propiedad de totalmente acotado, ellas no son propiedades topologicas, pero al tomarlas
simultaneamente dan un invariante topologico que es la compacidad
(teorema 11.11). Ya vimos en la p
agina 197 que la compacidad en un
espacio metrico implica su completez. El siguiente teorema da condiciones para garantizar la inversa.
IA
N
.R
UB
Demostraci
on. Por cada entero positivo n seleccionamos un x
Tn 2 An .
Veamos que (xn ) es de Cauchy y que su lmite es el punto en n2N An .
Dado " > 0, existe un entero positivo N tal que diam(AN ) < ". Como
la sucesion {An }n es decreciente, para xm , xn con m, n > N tenemos
d(xm , xn ) < ", con lo cual (xn ) es de Cauchy y convergente digamos
201
IA
N
.R
UB
Demostraci
on. Veamos que para cualquier abierto U se tiene
!
\
U\
Dn 6= ;.
n2N
Entonces
Bn (Bn
1)
\ Dn y diam(Bn ) 1/n,
n2N
Bn U \
n2N
Dn
(n 2 N).
1
Rene-Louis Baire (Pars, 1874-Chambery, 1932) matem
atico frances, notable por
sus trabajos sobre continuidad de funciones, los n
umeros irracionales y el concepto de
lmite. Su libro Lecons sur les theories generales de lanalyse (1908) se convirti
o en
un cl
asico de la did
actica del an
alisis matem
atico.
202
Definici
on 11.14. Un espacio (X, T) se dice espacio de Baire si dada
una familia enumerable {Dn }n2N de abiertos densos en X su interseccion
es densa en X.
Proposici
on 11.15. Sea (X, T) un espacio de Baire. Si {Cn }n2N es
un cubrimiento por cerrados de X, entonces al menos uno de los Cn
contiene un conjunto abierto (tiene interior no vaco).
IA
N
Demostraci
on. Es una aplicaci
on de las leyes
Morgan. Si X =
S
T de De
c = ; y como el esC
tomando
complementos
se
tiene
C
n2N n
n2N n
pacio es de Baire, alguno de los Cn c no es denso, i.e., Cn contiene un
abierto.
.R
UB
En un espacio topol
ogico se puede pensar que los conjuntos cerrados con interior vaco son como puntos en el espacio (son demasiado
delgados para contener algo). Ignorando los espacios con puntos aislados, que son su propio interior, un espacio de Baire es grande en el
sentido que no puede construirse como una union enumerable de estos
conjuntos delgados.
Por ejemplo en R2u cualquier colecci
on enumerable de lneas, sin
importar que lneas escojamos, no pueden cubrir al espacio.
Los conjuntos del p
arrafo anterior reciben un nombre especial.
Definici
on 11.16. Sean (X, T) un espacio y M X. Se dice que M es
magro, delgado o diseminado en X si M = ;
EJEMPLO 11.3
Ejercicios 11.2
1. Muestre que (xn ) es sucesi
on de Cauchy si
d(xn , xm ) ! 0 cuando n, m ! 1.
2. Muestre que la definici
on de sucesi
on de Cauchy es equivalente a
decir que el filtro F generado por la sucesion (xn ) satisface que,
203
dado " > 0, existe F 2 F tal que el diametro de F sea menor que
"; esto es,
diam(F ) = sup d(F F ) = sup{d(x, y) : x, y 2 F } < ".
IA
N
.R
UB
muestre que
c) qm ! z.
204
IA
N
.R
UB
Teorema 11.17. Sea (X, d) un espacio metrico. Existe un espacio metrico (X , d ) completo y una isometra f : X ! X tal que f (X) es
denso en X . El par (f, (X , d )) se llama un completado del espacio
(X, d).
205
Demostraci
on. Notemos por S el conjunto de todas las sucesiones de
Cauchy en X. Sobre S definimos la siguiente relacion:
(xi ) (yi ), si y solo si lm d(xi , yi ) = 0, (i 2 N).
i
IA
N
.R
UB
N entonces (xn) !
206
Demostraci
on. )) Si X X entonces X es completo.
IA
N
.R
UB
Recordemos que si X es un conjunto y (Y, d) es un espacio metrico, sobre el conjunto B(X, Y ) de todas las funciones acotadas de X en
Y , definimos la metrica d1 (f, g) = supx2X {d(f (x), g(x))}. Esta metrica
genera la topologa del sup o topologa de la convergencia uniforme.
Definici
on 11.19. Sean (X, T) un espacio, (Y, d) un espacio metrico y
(fn )n2N una sucesi
on de funciones fn : (X, T) ! (Y, d). Supongamos
que para cada x 2 X el lmn (fn (x)) existe. Si definimos f (x) como el
valor de este lmite, entonces f (x) define una f : (X, T) ! (Y, d). En
este caso decimos que (fn ) converge puntualmente a f .
general no podemos esperar que f tambi
en sea continua. Necesitamos
Si suponemos en la definici
on anterior que cada fn es continua, en
207
Si (fn ) ! f uniformemente, en particular lo hace puntualmente; esto es, la continuidad uniforme de funciones implica la convergencia
puntual, pues el N de la definici
on de convergencia uniforme depende
u
nicamente de " mientras que en la puntual tambien debe depender
del punto x.
IA
N
Demostraci
on. Dados a 2 X y " > 0 veamos que existe una Va tal que
para cada x 2 Va se tiene d(f (x), f (a)) < ". Como fn ! f , existe N 2 N
tal que d(fN (x), f (x)) < "/3 para todo x 2 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))
< d(fN (x), fN (a)) + 2"/3
.R
UB
y como fN es continua, existe Va tal que para x 2 Va , d(fN (x), fN (a)) <
"/3, con lo cual se satisface que, x 2 Va implica d(f (x), f (a)) < ".
La siguiente es la raz
on por la cual la metrica d1 sobre B(X, Y ) se
llama la distancia de la convergencia uniforme.
Teorema 11.22. Sean (X, T) un espacio, (Y, d) un espacio metrico y
(fn ) una sucesi
on en B(X, Y ). En (B(X, Y ), d1 ), fn ! f si y solo si
la convergencia es uniforme.
Demostraci
on. )) Como fn ! f en la topologa del sup, dado " > 0
existe N 2 N tal que para n
N se tiene d1 (f, fn ) < ". Luego en
particular para cada x 2 X tenemos que
d(f (x), fn (x)) sup{d(fn (x), f (x))} = d1 (fn , f ) < ".
x
() Dado " > 0 existe N 2 N tal que para n N se tiene d(fn (x), f (x)) <
"/2 para cada x 2 X. Luego si n > N entonces supx {d(fn (x), f (x))}
"/2 < " con lo cual d1 (f, fn ) < " para n > N .
Proposici
on 11.23. Sean (X, T) un espacio y (Y, d) un espacio metrico
completo. El espacio B(X, Y ) de las funciones acotadas con la metrica
d1 de la convergencia uniforme es completo.
208
Demostraci
on. Sea (fn )n2N una sucesi
on de Cauchy en B(X, Y ), i. e.,
dado " > 0, existe N" 2 N tal que para m, n N" se tiene
sup d(fn (x), fm (x)) ".
x2X
IA
N
.R
UB
Veamos por u
ltimo que efectivamente fn ! f . Para " > 0 y x 2 X
tenemos la desigualdad d(fn (x), fm (x)) " si m, n
N" . Tomando el
lmite cuando m ! 1 y fijando a x obtenemos d(fn (x), f (x)) " para
todo x y n
N" . Como N" no depende de x, tenemos d1 (fn , f ) ".
Por tanto, lmn!1 d1 (fn , f ) = 0 y as fn ! f .
Demostraci
on. Sea (fn )n2N una sucesi
on de Cauchy en CB (X, Y ). Solo
nos falta verificar que f de la demostraci
on del teorema 11.23 es continua.
209
.R
UB
IA
N
12
IA
N
.R
UB
Hemos visto c
omo algunas propiedades topologicas de un espacio
(X, T) dependen directamente de condiciones impuestas sobre la cardinalidad de T o m
as 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.
12.1.
T0 , T1 y T2 o de Hausdor
Otras condiciones que interesan y comenzamos a estudiar son la manera como los abiertos est
an distribuidos sobre el espacio. Estas separaciones fueron estudiadas por Alexandro y Hopf1 , bajo la denominacion
de axiomas Tk , k = 0, 1, 2, 3, 4, los cuales nos muestran basicamente el
grado en que puntos y conjuntos pueden mantenerse aparte, o separarse
por medio de conjuntos abiertos.
Este estudio surge en relaci
on con los problemas de seudometrizacion
1
210
211
12.1 T0 , T1 y T2 o de Hausdor
IA
N
.R
UB
Al hablar de separaci
on en un espacio topologico nos referimos a la separacion que podemos inducir entre los puntos del espacio valiendonos
de los conjuntos abiertos. En un espacio indiscreto, por ejemplo, esta
separacion es nula pues para cualesquiera dos puntos es imposible hallar un abierto que contenga a uno de ellos sin contener al otro. Nuestro
estudio se limitar
a a los axiomas Tk mencionados, aunque no dejan de
existir esfuerzos en crear cada da otro Tk , k -racional, donde podra
pensarse que la separaci
on
optima la poseen los espacios metricos.
El axioma de separaci
on m
as primitivo afirma que, dados dos puntos
del espacio, al menos uno de ellos se puede separar del otro por medio
de un abierto2 .
Definici
on 12.1. Un espacio (X, T) es T0 o de Kolmogoro 3 si, dados
x, y 2 X con x 6= y, existe una vecindad abierta Ux de x que no contiene
2
En 1935 se public
o el libro Topologie I de Pavel S. Alexandro y Heinz Hopf.
En este se indica que el axioma de separaci
on m
as debil fue introducido por Andrei
Kolmogoro.
3
Andrei Kolmogoro (Tambov 1903-Mosc
u 1987), matem
atico ruso que hizo progresos importantes en los campos de la teora de probabilidad y de la topologa. En
particular, desarroll
o una base axiom
atica que supone el pilar b
asico de la teora de
las probabilidades a partir de la teora de conjuntos. Trabaj
o al principio de su carrera
en l
ogica constructivista y en la serie de Fourier. Fue el fundador de la teora de la
complejidad algortmica.
212
IA
N
.R
UB
EJEMPLO 12.3
Definici
on 12.2. Un espacio (X, T) es T1 o accesible4 si, dados x, y 2
X con x 6= y, existen vecindades abiertas Ux , Uy tales que y 2
/ Ux y
x2
/ Uy . Este axioma algunas veces es referido como de Fr`echet o axioma
de separacion de Riesz.
4
213
12.1 T0 , T1 y T2 o de Hausdor
EJEMPLO 12.4
IA
N
El axioma de separaci
on m
as conocido fue introducido por Haus5
dor y es el que nosotros hemos exigido en la definicion de un espacio
de Hausdor o T2 . Algunas veces este espacio se llama separado, que
no debe confundirse con separable, lo cual tiene un significado completamente diferente.
.R
UB
1.
Ejercicios 12.1
GrundzAuge
der Mengenlehre.
214
IA
N
.R
UB
X = {(x, x) : x 2 X}
es cerrada en el espacio producto X X.
c) La convergencia de filtros es u
nica.
215
12.1 T0 , T1 y T2 o de Hausdor
! Y Y,
IA
N
Entonces
h = (f, idY ) : X Y
( Y)=h
({(y, y) | y 2 Y })
= {(x, y) | f (x) = y, x 2 X}
= {(x, f (x)) | x 2 X} = Gf .
.R
UB
216
12.2.
Regulares, T3 , Tychono
En esta secci
on vemos la separaci
on entre puntos y conjuntos, con
un axioma introducido por Vietoris6 en 1921.
Definici
on 12.3. Un espacio (X, T) es regular si, dados x 2 X y
un cerrado F X con x 2
/ F , existen abiertos Vx , VF disyuntos que
contienen a x y a F respectivamente.
IA
N
EJEMPLO 12.6
.R
UB
217
IA
N
Demostraci
on. )) Sean U abierto y x 2 U . Como U c es cerrado existen
vecindades disyuntas abiertas V, W de x y U c respectivamente. As, x 2
V W c y como W c U tenemos x 2 V V U ya que W c es
cerrado.
.R
UB
() Dado un F cerrado y x 2
/ F , el conjunto F c es una vecindad
abierta de x. As que existe Vx tal que Vx Vx F c . Si tomamos
c
U = Vx entonces F U y adem
as Vx \ U = ;.
EJEMPLO 12.8
No siempre es el caso que cada espacio regular implique los demas axiomas de separaci
on T0 , T1 , T2 . Por ejemplo (X, grosera) es regular pero
no necesariamente es T2 pues un punto no necesita ser un conjunto cerrado. Es por ello que a los espacios regulares los reforzamos en la siguiente
definicion para que as Ti implique Ti 1 .
Definici
on 12.5. Un espacio (X, T) que es regular y ademas T1 se llama
un espacio T3 . Esto es, adem
as de poder separar puntos de conjuntos
cerrados, exigimos que los conjuntos unitarios sean cerrados.
Proposici
on 12.6. La propiedad de ser T3 es hereditaria.
Demostraci
on. Sea A (X, T) donde X es T3 . Basta notar que, para
x 2 A, si V(x) es un sistema fundamental de vecindades cerradas de x
en (X, T) entonces
VA (x) = {V \ A : V 2 V(x)}
218
IA
N
Demostraci
on. )) Supongamos que para alg
un ndice i0 , Xi0 no es regular y veamos que entonces X tampoco lo es. Luego existen xi0 2 Xi0
y un cerrado Ai0 Xi0 que no contiene a xi0 , los cuales no pueden
separarse. Definimos un punto x = (xi ) 2 X tomando a xi0 en la componente i0 y en las otras iordenadas
elegimos un punto cualquiera xi
Q
1
para cada i. Sea
Q A = pi0 (Ai0 ) = i6=i0 Xi Ai0 el cilindro; consideremos Ux = Uxi , (i 2 I) una vecindad cualquiera de x y UA cualquier
vecindad abierta de A. Entonces
UAi0 := {yi0 | y = (yj ) 2 UA y yi = xi para cada i 6= i0 }
.R
UB
un abierto en Xi0 con Ai0 UAi0 , con lo cual Uxi0 y UAi0 tambien se
interceptan. Por tanto Ux y UA se interceptan, es decir, x no puede ser
separado de A.
Q
() Supongamos que Xi es regular para cada i. Sea Ux =
Uxi ,
(i 2 I) un abierto de x en X no perdemos generalidad si lo suponemos
basico. Si Uxi = Xi definimos Vi = Xi . Si UQ
xi $ Xi escogemos Vi
abierto
tal
que
x
2
V
U
.
Entonces
V
=
Vi , (i 2 I) es abierto
i
xi
i
Q
y
Vi , (i 2 I) es un cerrado con x 2 V V Ux , es decir X es
regular.
Q
Corolario 12.8. El espacio X = Xi , (i 2 I) con la topologa producto
es T3 (regular y T1 ) si y solo si cada Xi es T3 .
Demostraci
on. Muestre que un espacio producto es Ti , (i = 0, 1) si y
solo si cada espacio factor lo es (ejercicos 7.1).
EJEMPLO 12.9
219
De manera m
as general tenemos el siguiente ejemplo.
EJEMPLO 12.10
IA
N
.R
UB
y<b
3. T . Como en (2).
Definici
on 12.9. Un espacio (X, T) se dice completamente regular
si para cada cerrado F X y cada x 2
/ F existe una funcion continua
f : X ! [0, 1] tal que f (x) = 0 y f (F ) = 1 se dice que f distingue
puntos de cerrados.
La razon del nombre para estos espacios es que son mas que regulares; en efecto, los conjuntos f 1 ([0, 1/2)) y f 1 ((1/2, 1]) son vecindades
disyuntas de x y F respectivamente.
220
Definici
on 12.10. Un espacio (X, T) completamente regular y T1 se
llama espacio de Tychono o T3 1 estos espacios estan entre los T3
2
y T4 . Fue Tychono quien en 1930 dio un ejemplo de un espacio T3
que no es completamente regular.
Q
Recordemos que los productos de la forma [0, 1]I = i2I [0, 1]i donde
cada [0, 1]i es el intervalo unidad con la topologa usual con la topologa
producto de Tychono son llamados cubos I-dimensionales. En particular, el cubo I @0 se llama cubo de Hilbert.
IA
N
[0, 1]f
f 2F
.R
UB
V = {y 2
f 2F
U )},
es un abierto b
asico de la topologa producto con lo que V \ e(X) es
un abierto basico en e(X) para el cual q = g(p) 2 Q
V \ e(X) e(U ) y
as e(U ) es abierto en e(X). Por tanto X e(X) f 2F [0, 1]f . Hemos
demostrado el siguiente teorema.
Teorema 12.11. Cada espacio de Tychono puede ser inmerso en un
cubo.
Como e(X) es determinado completamente por la familia F, podemos
afirmar que las funciones continuas son adecuadas para describir la
topologa en X.
221
12.3 Normales, T4
Ejercicios 12.2
1. Sea (X, T) un espacio
T3 . Muestre que para cada F cerrado, F X
T
tenemos F = {V | V 2 V(F )}.
2. Es la regularidad un invariante continuo?
IA
N
.R
UB
12.3.
Normales, T4
222
EJEMPLO 12.11
IA
N
Proposici
on 12.14. Si (X, T) es T4 entonces es T3 .
Demostraci
on. Si X es T1 , el conjunto {x} es cerrado para cada x 2 X,
y ser regular es un caso particular de ser normal.
.R
UB
Demostraci
on. Como F y U c son cerrados disyuntos, por ser X normal
existen abiertos disyuntos M, N que los contienen respectivamente, y
as F M M N c U . Para verificar la normalidad tomemos F, G
cerrados disyuntos; como F Gc , existe una vecindad VF de F con
F V V Gc y por tanto F V y G X V .
223
12.3 Normales, T4
EJEMPLO 12.13
IA
N
.R
UB
224
Supongamos que cada Sn tiene interior vaco, esto es, dado cualquier
intervalo I L, existe un subintervalo J I tal que Sn \ J = ;
(recuerde que Sn es cerrado y esto es equivalente a decir que el interior
de la adherencia de cada Sn es vaco, es decir Sn es denso en ninguna
parte).
.R
UB
IA
N
225
12.3 Normales, T4
S
spondientes a estos fi y definimos UFg = ni=1 Vfgi . As F UFg . Repitiendo el anterior proceso para cada g 2 G, obtenemos un cubrimiento
{Vg | g 2 G} de G el cual lo reducimos a uno finito Vg1 , Vg2 , . . . , Vgm .
S
Tm
gi
Finamente M := m
i=1 Vgi y N :=
i=1 UF son vecindades abiertas
disyuntas de G y F respectivamente.
EJEMPLO 12.15
W =X
IA
N
Tabl
on de Tychono . Sea X = [0, !] [0, ]; cada factor es un espacio
compacto, pues cada una de sus topologas provienen de un orden completo. X es normal de acuerdo con el teorema 12.16. Definimos W el
tabl
on de Tychono como el espacio X menos el punto (!, ), i. e.,
{(!, )} = [0, !] [0, ]
{(!, )}.
.R
UB
(!, )
..
.
. ..
.
.. ..
.. ..
! ...........
..........................
.............
...
..........
.
..................................
..
.
4
3
2
1
0
..
.
..
..
..
..
..
...
..
..
..
...
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
.
..
...
..
..
..
..
..
.
..
..
..
..
..
...
..
.
..
..
..
..
..
...
.. .
.. ..
.. ..
.. ..
..
Para ello construyamos dos cerrados disyuntos A, B en W y mostremos que es imposible separarlos. A = {(x, ) | x 2 [0, !)} la u
ltima fila
superior, B = {(!, y) | y 2 [0, )} la u
ltima columna a la derecha. Son
cerrados en la topologa de subespacio de W ya que sus complementos
en W son claramente abiertos.
226
IA
N
Ejercicios 12.3
.R
UB
227
Definici
on 12.17. Dados (X, T) y A, B X, decimos que A, B son
separados por funciones continuas si existe f : X ! R con f (A) = 0,
f (B) = 1.
IA
N
Notese que si esto sucede entonces A y B son disyuntos pues el conjunto cerrado f 1 (1) contiene a A y por tanto contiene a A. Lo mismo
sucede para f 1 (0) y B. Podemos preguntarnos: si A, B son subconjuntos cerrados disyuntos, existir
a f que los separe?
Para los espacios metricos la respuesta es afirmativa.
.R
UB
!0
!1
Proposici
on 12.18. Si A, B son dos cerrados disyuntos no vacos de
un espacio metrico (X, d) entonces existe f : X ! [0, 1] continua y tal
que f (A) = 0, f (B) = 1.
Demostraci
on. Definimos f como f (x) :=
d(x, A)
.
d(x, A) + d(x, B)
228
IA
N
.R
UB
Demostraci
on. La idea en la demostraci
on es brillante pero no por eso
complicada; la funci
on u es obtenida como la u
ltima (el lmite) de una
sucesion de funciones escalonadas que al ir definiendolas en una region
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
umero de escalones a fin de dejar una funcion definida de manera continua con rango en [0, 1]. El n
umero de escalones en cada paso esta dado
por una cadena enumerable de subconjuntos entre A y B c :
A = A0 A1 . . . An . . . B c
1 1 3 1 3 5 7 1
15
D=
, , , , , , , ,..., ,...
2 4 4 8 8 8 8 16
16
es denso en [0, 1], pues se obtiene de dividir sucesivamente de dos en
dos el intervalo [0, 1]; efectivamente, dado (a
, a + ) para a 2 [0, 1]
1
veamos que existe d 2 D con d 2 (a , a + ). Como n ! 0 existe una
2
229
IA
N
.R
UB
1
1 2
2 3
q 2 q 1
q 1
[0, 1] = 1,
[ ,
[ ,
[ ... [
,
[
,1
q
q q
q q
q 1
q
q
h
i
m+1
m+1
existe m con a 2 m
,
, luego m
y como 1/q <
q
q
q a
q
m
entonces a
< q a<a+ .
A continuaci
on definimos una coleccion de abiertos {Ud | d 2 D} con
la propiedad que si d1 < d2 entonces
A Ud1 U d1 Ud2 U d2 B c .
230
IA
N
Definimos la funci
on u : X ! [0, 1] como
(
0,
si x 2 Ud para todo d
u(x) =
sup{d : x 2
/ Ud }, en caso contrario
.R
UB
Por la definici
on tenemos u(A) = 0 pues si x 2 A entonces x esta en
todos los Ud . Por otra parte, u(B) = 1 pues x 2 B implica que x no
esta 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.
En efecto, verifiquemos que
u
Ud
d<a
d>a
Ud
231
IA
N
La notaci
on G proviene del idioma aleman: G simboliza la palabra
Gebiet regi
on y la palabra durchschni interseccion. Un G es un
conjunto que puede expresarse como una interseccion enumerable de
abiertos.
EJEMPLO 12.16
.R
UB
La necesaria generalizaci
on del Lema de Urysohn a intervalos cerrados
cualesquiera es inmediata.
Corolario 12.20. Sea (X, T) un espacio. X es normal si y solo si dados
A, B subconjuntos cerrados, disyuntos y no vacos, existe g : X ! [a, b]
continua con g(A) = a, g(B) = b.
Demostraci
on. Recordemos que la funcion h : [0, 1] ! [a, b] definida
por h(x) = (b a)x + a para cada x 2 [0, 1] es un homeomorfismo
con h(0) = a y h(1) = b. Si u es una funcion con las propiedades del
lema de Urysohn entonces g = h u satisface las condiciones de nuestro
corolario.
232
IA
N
De la anterior definici
on, el lema de Urysohn puede interpretarse
como un teorema que garantiza la existencia de la extension de una
funcion; dados A, B dos subconjuntos cerrados disyuntos del espacio
(X, T) la funci
on f : A [ B ! [0, 1] definida como f (x) = 0 si
x 2 A, f (x) = 1 si x 2 B es una funcion continua definida sobre el
subespacio A [ B pues A, B son simult
aneamente abiertos y cerrados
en este subespacio admite a la funci
on u : X ! [0, 1] dada por el
lema de Urysohn como una extensi
on.
.R
UB
233
Sean
A0 ={x 2 L : f (x)
B0 ={x 2 L : f (x)
1/3} = f
1/3} = f
([ 1, 1/3])
([1/3, 1]).
IA
N
2 2
f1 : L !
,
.
3 3
Sean
A1 = f1 1 ([
2
,
3
1 2
( )]),
3 3
1 2 2
B1 = f1 1 ([ ( ), ).
3 3 3
.R
UB
1 2
1 2
g2 : X !
,
,
3 3
3 3
con g2 (A1 ) =
1 2
3 ( 3 ),
g2 (B1 ) = 13 ( 23 ) y ademas
| f1 (x)
2
2
g2 (x) |
,
3
| f (x)
i=1
n
X
i=1
gi (x).
234
1 2 n 1 2 n
1 2 n
gn+1 : X !
,
con | gn+1 (x) |
3 3
3 3
3 3
f (x)
n+1
X
i=1
n+1
2
gi (x)
para x 2 L.
3
IA
N
y ademas
.R
UB
1
| gn (x) |
3
f (x)
n
X
i=1
, x2X
n
2
gi (x)
, x 2 L.
3
(12.1)
(12.2)
Luego
1 2 n 1
kgn k = sup{|gn (x)| : x 2 X}
3 3
P1 1 2 n
P1
y como i=0 ( 2 )( 3 ) = 1 tenemos que i=1 gi es uniformemente
conP
vergente y converge a la funci
on F definida como F (x) = 1
g
(x).
i
i=1
235
EJEMPLO 12.17
IA
N
.R
UB
Definici
on 12.24. El espacio (Y, H) es un RA si para cada espacio
(X, T) normal y para cada L X cerrado, dada f : L ! Y continua,
existe una extensi
on continua F : X ! Y .
EJEMPLO 12.18
236
EJEMPLO 12.19
IA
N
.R
UB
Ejercicios 12.5
(X, T) es un espacio perfectamente normal si cada par de conjuntos cerrados disjuntos pueden ser separados exactamente
mediante una funci
on continua f : X ! [0, 1], i.e., ellos son las
imagenes inversas de 0 y 1 respectivamente.
237
.R
UB
IA
N
5. De manera an
aloga a la definici
on de los conjuntos G , decimos
que A X es un conjunto F si A se puede representar como una
union enumerable de cerrados. Muestre que A es G si y solo si Ac
es F .
Conexidad
13
IA
N
.R
UB
239
A [ B = X y A \ B = ;.
Notese que en la definici
on anterior los conjuntos A y B son complementarios entre s; esto es equivalente a requerir que A y B sean ambos
cerrados a cambio de abiertos, o que exista A X no vaco, abierto y
cerrado, i. e., aberrado.
IA
N
.R
UB
240
Conexidad
...................................
............ . . . ............
......... . . . . . . .........
....... . . . . . . . . . ......
...... . . . . . . . . . . .......
...... . . . . . . . . . . . . . .....
..... . . . . . . . . . . . . . . .........
.
.
.
..... . . . . . . . . . . . . . . . ....
... . . . . . . . . . . . . . . . . ....
... . . . . . . . . . . . . . . . . . ...
.. . . . . . . . . . . . . . . . . . . ...
... . . . . . . . . . . . . . . . . . . . ....
... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ....
.
... . . . . . . . . . . . . . . . . . . . . ..
.. . . . . . . . . . . ... . . . . . . . . . . ....
.... . . . . . . . . ............... ................... . . . . . . . . . . . . . . . .....
.....
.
... . . . . . . . . ......
.... . . . . . . . . . . . . . . ....
.. . . . . . . . . ...
...
.
... . . . . . . . . . . . . . ....
... . . . . . . . . . . . . ....
.
.
.. . . . . . . ...
.. . . . . . . . ...
.... . . . . . . . ....
..
. . . . . . . . .....
.. . . . . . . . ..
.
.
... . . . . . . ...
... . . . . . . . . . . . . ....
..
... . . . . . .
.
..
... . . . . . . . .....
... . . . . . . . ...
... . . . . . . . . . . . . . . . .......
.... . . . . . . . . ...
.... . . . . . . . ..........
...... . . . . . . . . ..
... . . . . . . . . . ........................... . . . . . . . . . . . . . . . . .....
... . . . . . . . . . . . . . . . . . . . . ...
... . . . . . . . . . . . . . . . . . . . ..
... . . . . . . . . . . . . . . . . . . ...
... . . . . . . . . . . . . . . . . . . . ...
... . . . . . . . . . . . . . . . . . . ..
... . . . . . . . . . . . . . . . . . ....
.... . . . . . . . . . . . . . . . . ...
.... . . . . . . . . . . . . . . . ....
..... . . . . . . . . . . . . . . .....
..... . . . . . . . . . . . . . .....
...... . . . . . . . . . . . . ......
....... . . . . . . . . . ......
........
..
.......... . . . . . . ................
..................... . .....................
.........
...............................................
.......... ...... ....... ....... ..... ..........
........ ..... ..................................................................... ...........
....... ..................................................................................................... .......
...... ........................................................................................................................................
..................................................................................................................................................................................................................
.
.
.
.
.......... ............................... .....
.... ................................. ...........
. . .
....................................... ......... ......................................... .......................................................................
........ ...... .................... ...
.... .......................... .......
....
....... ..... ................... . ...
.... .................... ..... ........
...... .... ................... ...
... ................... ..... ......
..... ... ............... ...
........................
.. ............................. .........
.
.
.
.
.
.
.
.
.
.
.
.... ... .............. . ..
.
.
.......
.
. .
......
... .... .................. ...
......
... ............... ... ...
......
... .. ............ ..
.....
.. ............. ... ....
.....
.
... ... ............. . ...
.
.
.......................... .... ....
.
...
... ... ................. ..
. ................. ... ...
...
...
.
.
.
.
... .. ................ ...
...
. .... . . .
..
.
... ... ........... . ...
.
.......................... .... ....
.
...
.
.
... ... ................. ...
...
....
... ..................... .... ...
.. .. .. ........ ..
..
..
... ............... ... ...
.. .. .. .......... . ..
.
.
. . ... .
.
.
..
.. ... .. ......... ... ..
.... ................ .... .... ....
....
.. .. ... ........ .. ..
..
... ............ .. .. ...
...
.
.
... .. .. ............ ...
.
.. ................ ... ..
..
.... .... ....................... .....
....
...
... ........... ... ... ...
. ... ............... . ..
.
...
... ................. ... ...
.
.
.
.
...
... .................. ... ...
..
.. .... ...................... ....
.
.
.
.
.
...
... ............... ... ...
. . . ...... .
...
....
... ................. ... ...
... ... ................ ...
...
....
..................... ... ....
... .. ................ ...
....
......
... ............... .... ...
.. ... ............ ..
......
.......
...................... ... ....
.... ... ............... . ...
.......
...........
.... ................................. ....
..........
..................... .... ......
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. .. ... . .
... .................... ..... .......
...
...... ..... .. ........... ....
... ...................... ...... ........
....... ..... ................... ..
.
... . ........................ ......
.... ........................ ....... ................................................. ................................................................
....................................... .........
.. .. .. ... . .
..... ...................................... ..............................................................................................................................
.
.
.
.......................................................
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...... ...........................................................................................................................................
............ .................................................................................................................. ......
........ .......................................................................... . ........
.......... ....... ........................... ...............
..................... ....................
........
(a)
(b)
IA
N
...........................
Figura 13.2: (a) es conexo; aunque menos obvio, (b) tambien es conexo.
.R
UB
(R, cof initos) es conexo. Lo mismo sucede para todo subespacio infinito
de este espacio.
La lnea de Sorgenfrey (R, [a, b)) no es conexa pues [7, 1) es aberrado.
EJEMPLO 13.3
241
IA
N
EJEMPLO 13.4
() Si X es no conexo, existe una separacion A, B para X. Si definimos f : X ! {0, 1} como f (x) = 0 para x 2 A y f (x) = 1 para
x 2 B, tenemos que f es continua y sobre, lo cual contradice nuestra
hipotesis.
.R
UB
{0} no lo es y existe
{0}
t 00
para t 2 R {0} la matriz 0 1 0 es invertible y tiene determinante t.
001
242
Conexidad
Proposici
on 13.7. Sea (X, T) un espacio y A, B una separaci
on de X.
Si C es un subespacio conexo de X entonces C A
o C B.
Demostraci
on. Si se diera simult
aneamente A \ C 6= ; y B \ C 6= ;,
entonces estos dos conjuntos formaran una separacion para C.
Veamos ahora que la conexidad es respetada por las funciones continuas y por tanto es un invariante topol
ogico.
IA
N
.R
UB
El siguiente corolario nos explica por que algunas veces al tener una
funcion f : R ! R decimos que es continua, si al dibujar su grafo no
hay necesidad de levantar el l
apiz del papel; es decir, su grafo es un
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
on continua entonces
Gf := {(x, f (x)) | x 2 X} X Y
Demostraci
on. La funci
on g : X ! X Y definida como g(x) =
(x, f (x)) es continua ya que sus proyecciones son la funcion idX y f .
Nota. Tenemos a
un m
as de lo que dice el anterior corolario. El espacio
X es homeomorfo a Gf ; esto es, X es homeomorfo a su imagen dada
por f en X Y .
Consideremos la biyecci
on h : X ! Gf dada por h(x) = (x, f (x)).
La funcion h es continua ya que sobre la base {Gf \ (U V ) : U 2
T, V 2 H} tenemos h 1 (Gf \ (U V )) = U \ f 1 (V ).
De otra parte, para U 2 T, h(U ) = {(x, f (x)) | x 2 U } = Gf \(U V )
tambien es un abierto en Gf , con lo que h 1 es continua.
Moraleja: Dada f : R ! R continua, no importa lo que hagamos
con R, el grafico de la funci
on es de nuevo R.
243
Conexidad en el producto
Aunque la intersecci
on de dos espacios conexos no necesariamente es
conexa por que?, s lo es su producto cartesiano.
b2
a2
.
...
.
..
..
... ... ... ... ... ... ... ... ... ... ......... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ..
.
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
.........
..
..
..
......
IA
N
.R
UB
a1
b1 X
Demostraci
on. Si X Y no es conexo, existe f : X Y ! {0, 1} continua y sobre. Sean a = (a1 , a2 ), b = (b1 , b2 ) tales que f (a) = 0, f (b) = 1.
Definimos las funciones (fig. 13.3) g : X ! {0, 1}, h : Y ! {0, 1}
como g(x) := f (x, b2 ) y h(y) := f (a1 , y). g, h son continuas lo son
sus proyecciones con lo cual g(X) y h(Y ) son conjuntos unitarios.
Por ser g(b1 ) = f (b1 , b2 ) = 1 tenemos g(a1 ) = 1. Por otra parte, como 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
definicion de funci
on de f . As que X Y debe ser conexo.
Corolario 13.11. Rnu es conexo.
Lema 13.12. Sea (X, T) un espacio. Si {Ci }i2I es una familia de subconjuntos conexos de X con la propiedad que existe un ndice
S j 2 I tal
que para cada i 2 I tenemos que Ci \ Cj 6= ;, entonces C = i2I Ci es
conexo.
244
Conexidad
.
........
.. ..
.. .....
...
..
....
...
.....
..
.....................
..
....... ..
......
..
...... ....
....
...
.....
.....
...
.
...
...
....
..
.....
.
.
...
.
.
.
.
.
.
.
.
...
.
.
...
.... ...
...
....
....
...
.... ...
....
.. .....
....
.
.
.
... ..
.
....
...
... ... ... .....
.....
....
. . .. ..
......
.....
...... ................. ..........
........ ...
.............. ............................................
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.........
.
.
.........
......
.........
..
..
.......
.......
...
.....
.....
.............
........................................................... .. ........................................................................
... ........ ....... ........
.
.
.
.
.....
.. . .. ..
.....
.....
... .. .... .....
.....
....
... ...
.. ....
....
....
....
... ..
... .....
....
.... ....
....
...
.
.
.
.
.
.
.
.
.
....
..
...
.
..
.
...
.
.
.
.
.
...
.
.....
...
...
...
.
..
.
.
.
.
.
.
.
...
...... ....
.
..
.
..... ............
.
.
.
....... ...
...
.
.
.......
.
....
.
..
...
...
... ....
... ..
.........
....................
....
...
...
..
...
..
....
.
...................
Demostraci
on. Si A, B es una separaci
on
de C entonces para cada Ci tenemos que
Ci A o Ci B. Si suponemos que
Cj A entonces, para ning
un ndice i,
Ci esta contenido en B puesto que Cj no
es disyunto de alg
un Ci . As, todos los Ci
estaran en A obligando a que B sea el conjunto vaco, lo cual contradice que A, B es
una separacion.
IA
N
.R
UB
Demostraci
on. Sea a = (ai )i2I un elemento arbitrario pero fijo de X.
Sea Ca la union de todos los conjuntos conexos en X que contienen al
punto a Ca es la componente conexa de a. Como el conjunto unitario
{a} es conexo, por la proposici
on 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
y finito, el subespacio
Y
Y
AJ =
Xi {ai }
i2J
i2J
/
Ejercicios 13.1
1. En R2u es: Q Q conexo? (R Q) [ (Q R)? (No, s.)
245
IA
N
5. Muestre que Rn
1.
.R
UB
246
Conexidad
IA
N
Definici
on 13.14. Sean (X, T) un espacio y A un subespacio de X.
Decimos que A es una componente conexa de X o un conexo maximal en X si A es conexo y no es subconjunto propio de alg
un otro
subespacio conexo de X.
.R
UB
Ejercicios 13.2
1. Muestre que (R, [a, b)) es totalmente desconectado.
247
2. Muestre que las componentes conexas en un espacio X son conjuntos disyuntos no vacos cuya reunion es X.
3. Sea (X, T) un espacio. La relaci
on x y si y solo si x, y pertenecen
a la misma componente conexa es una relacion de equivalencia.
IA
N
.R
UB
7. Muestre que el n
umero de componentes es un invariante topologico.
8. Muestre que si A (X, T) es un subespacio conexo y ademas
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 2 X existe un subespacio conexo de X que los
contiene entonces X es conexo.
248
Conexidad
1
X
n 3
i=1
IA
N
x=
.R
UB
A0 =[0, 1]
A3 =[0, 1/27] [ [2/27, 1/9] [ [2/9, 7/27] [ [8/27, 1/3] [ [2/3, 19/27][
[20/27, 7/9] [ [8/9, 25/27] [ [26/27, 1]
...
249
1
9
2
9
1
3
2
3
7
9
8
9
IA
N
A0 ............................................................................
..........................
A1 ..........................
......... .........
A2 ......... .........
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... .... .... ....
A3
...
...
.R
UB
250
Conexidad
Definimos
f:
i2N
Xi ! C
como
f (x) :=
1
X
xn 3
i=1
n=N +1
1
X
xi
n=N +1
qi
3n
n
1
X
2
<
3
n=N +1
.R
UB
| f (x)
IA
N
Si es la funci
on de medida longitud en R, entonces C tiene
medida 0 pues la medida de su complemento con respecto a [0, 1]
es la medida de la uni
on de las terceras partes medias, esto es
(C ) = 1/3 + 2/9 + 4/27 + 8/81 + =
c
1
X
2i
i=1
3i
1 X 2i
=
= 1.
2
3i
i=1
251
i=1
1
X
IA
N
f (x) =
1
X
1
xn 2
! [0, 1]
para x =
xn 3
i=1
.R
UB
252
Conexidad
Como un u
ltimo comentario, si al lector le incomoda la base 3, defina el
conjunto de Cantor como los puntos de [0, 1] que tienen en su expansion
decimal tan solo 0 o 9. C
omo ser
a su representacion grafica? Intentelo!
IA
N
Casi de igual manera a como fue localizado el concepto de compacidad podemos localizar la conexidad en un punto.
.R
UB
Definici
on 13.17. Un espacio (X, T) es localmente conexo en el
punto x 2 X si dada cualquier vecindad Ux existe una vecindad abierta
y conexa Vx tal que x 2 Vx Ux . Si X es localmente conexo en cada
punto decimos que es localmente conexo cada punto posee un sistema
fundamental de vecindades conexas.
EJEMPLO 13.6
El siguiente espacio no es conexo localmente. Por cada entero positivo n definamos el segmento de recta An R2 como
An = {(x, n1 ) : 0 x 1} y A0 = {(x, 0) :
0 x 1}. Sea X = A0 [ ([n=1 An ).
Las componentes conexas de X son A0 , A1 ,
A2 , . . . Sabemos que A0 es cerrada, pero
claramente no es abierta en X. Esto nos
produce un ejemplo de un espacio cuyas
componentes no necesitan ser abiertas.
......................................................................................................................................................................................................................
......................................................................................................................................................................................................................
......................................................................................................................................................................................................................
......................................................................................................................................................................................................................
......................................................................................................................................................................................................................
......................................................................................................................................................................................................................
......................................................................................................................................................................................................................
......................................................................................................................................................................................................................
....... ....... ....... ....... ....... ....... ....... ....... ....... ....... ....... ....... ....... ....... ....... ....... ....... .
......................................................................................................................................................................................................................
El siguiente teorema muestra que para los espacios localmente conexos no se tiene la consecuencia del ejemplo 13.6. Podra ser esta una
justificacion para haberlos definido?
Teorema 13.18 (Caracterizaci
on). Un espacio (X, T) es localmente
conexo si y solo si las componentes de cada subespacio abierto de X
son abiertas.
253
Demostraci
on. Supongamos que X es localmente conexo y que C es
una componente de un subconjunto U abierto. Dado c 2 C existe una
Vc conexa y abierta seg
un X tal que Vc U ; as Vc C, pues C es
maximal y por tanto C es abierta.
En el otro sentido, dados x 2 X y Ux vecindad abierta de x, la
componente conexa Vx de Ux que contiene a x es abierta y x 2 Vx Ux .
Luego X es localmente conexo.
Corolario 13.19. Cualquier componente en un espacio localmente conexo es abierta y cerrada aberrada.
EJEMPLO 13.7
IA
N
Demostraci
on. Considere a X como un subconjunto abierto de s.
.R
UB
. .
.
......
.... .. .... .... .... .......
.. ...
... .. ... ...... .... .....
... ...
.. .. .. .... .... .. ..
... ....
...
...
... .. .... ...... ........ .... ...
.
...
... .. ... ....... ...... ... ...
..
...
..
...
... ... ... ....... ........ .... ...
..
...
... . ... ....... ...... ... ...
..
.
...
.
... ... ... ... ... ... ... ... ...
...
.
.
...
... .. ... ... ... .... .... ... ...
..
.
...
..
... .. .... ... .... .... .... .. ...
...
.
.. .... ... .... ... ... ...
...
..
... ...
.
.
.
.
...
... ..
.. .... ....... ....... ..
...
.
...
.
... ...
..... ....... ....... ... ....
...
.
.
...
... ..
....... ........ ....... .... ...
...
... ..
...... ...... ...... .. ....
...
...
...... ....... ...... .... ...
... ...
...
...... ........ ...... ... ...
... .
...
.. ..
.... ... ....
... ....
...
.
.
.
.
.
.. ..
.. .. ...
...
... .
.
.
.
.
.
...
....
.. .. ..
... ..
..
..
...
..
..
...
...
..
...
...
.
...
.
...
...
...
...
...
..
....
...
...
....
.
.
.
.
.....
.....
......
......
.......
.......
.........
.........................................
254
Conexidad
IA
N
EJEMPLO 13.8
Sean X = {0, 1, 2, . . .}, Y = {0, 1, 1/2, 1/3, . . .} con la topologa de subespacios de (R, usual). La funci
on f : X ! Y definida por f (0) = 0,
f (n) = 1/n es una biyecci
on continua; pero X es localmente conexo
mientras que Y no lo es, pues en el punto 0 se acumula el espacio, impidiendo as tener vecindades conexas.
.R
UB
Demostraci
on. Sean X1 , . . . , Xn espacios localmente conexos y X =
Q
Xi , (i = 1, . . . , n) el espacio producto. Sean x = (x1 , . . . , xn ) 2 X y U
un abierto en X tal que x 2 U . Existe un abierto basico U1 . . .Un U
conteniendo a x, y como cada Xi es localmente conexo, tomemos por
cada i un Vi abierto y conexo tal que xi 2 Vi Ui . Entonces V =
V1 . . . Vn es un abierto y conexo contenido en U y que tiene a x.
Ejercicios 13.4
255
IA
N
La primera noci
on de conexidad fue dada por K. Weierstrass2 , la cual
en el contexto de R2 intuitivamente significa lo siguiente: un subconjunto M R2 es conexo si dos puntos cualesquiera de M pueden ser
conectados por un camino que no se sale de M .
.R
UB
EJEMPLO 13.9
256
Conexidad
IA
N
.R
UB
Definici
on 13.23. Un espacio (X, T) es conexo por caminos si dados
x, y 2 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.
EJEMPLO 13.10
Demostraci
on. Sea a 2 X. Para cada x 2 X existe un camino x :
[0, 1] ! X que conecta a con x. x ([0, 1]) X es conexo para cada
x 2 X; ademas, x (0) = a = \x x ([0, 1]) y por el lema 13.12 esto
implica que X = [x x ([0, 1]) es conexo.
257
EJEMPLO 13.11
IA
N
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 vaco y podemos encontrar un intervalo abierto Ix [0, 1] tal
que (Ix ) Ux . Como los Ix son disjuntos, tenemos que [0, 1] contiene
a una union no numerable de intervalos disjuntos y esto es imposible.
Producto de caminos
XI
.R
UB
Definici
on 13.25 (multiplicaci
on de caminos). Dados un espacio X, y
dos caminos f, g con f (1) = g(0), definimos un nuevo camino f g:
(
f (2t)
si 0 t 1/2
f g(t) :=
(13.1)
g(2t 1) si 1/2 t 1.
...........
.......... .........
.........
........
.
.
.
.
.
.
.
.
.
........
....
........
.......
.......
...
.........................
.
.
...... ...
.
...... .
.
.
.
.
....
.
...
.
.
.
...................................................
.
.
.
............
.....
....
...
.........
.....
.
.......
.
.
.......
.
.
......
....
....
..
...... .
.....
.
.
.
.
.
.
.
.
.
...
..
..............
...
.
.
.
.........
...
.
...
.......
.
...
...
.
...
..
.
.
.
...
...
.
...
..
... .....
...
.. ....
..
.. ..
...
.. ..
...
...
.
.....
.
...
...
..
...
..
.................................................................
.
.
.
.
.
.
.
.
.
.
.
...
..
.
.
.
........................
.....
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...
.
.
.
.
........................
....
........................
... .... ....... .......
..
............................................................................................................................................................................................................................................................................
.......
............. .......
.........................
.
.
.
.
.
....... .
.
.
.
.
.
.
........
.
....
...... ..
..............
..
..... ...
....
.............
.... ....
..
..
.............
... .....
..............
.. ......
...
.............
.
. .......
.
.
.
.
.
.
.
.
.
.
.
....
.
.....
...................
.........................................................................................................................................................................................................................................................
1
2
258
Conexidad
f g es una funci
on continua, puesto que f (2t) y g(2t 1) estan
definidas sobre los conjuntos cerrados [0, 1/2], [1/2, 1] y el conjunto donde
coinciden es {1/2}, que es la intersecci
on de los dos intervalos cerrados
(para t = 1/2 tenemos f (2 12 ) = f (1) = g(0) = g(2 12
1)). La
demostracion se basa en el siguiente hecho bien conocido de extender la
continuidad.
.R
UB
IA
N
259
IA
N
Demostraci
on. Sea x 2 X y considere el conjunto
.R
UB
Demostraci
on. Cada bola abierta es una vecindad conexa, lo cual produce un sistema fundamental de vecindades conexas.
Definici
on 13.30. Un espacio (X, T) compacto, conexo y Hausdor es
llamado un continuo.
EJEMPLO 13.13
260
Conexidad
.R
UB
IA
N
261
EJEMPLO 13.15
.R
UB
IA
N
Ejercicios 13.5
262
Conexidad
1. Muestre que la conexidad por caminos es preservada por las funciones continuas.
2. De un ejemplo en R2 que muestre la necesidad de ser abierto en
las hipotesis del corolario anterior.
.R
UB
IA
N
4. En oposici
on al concepto de conexidad, de un ejemplo de un A
2
R que sea conexo por caminos pero su adherencia no lo sea.
continuo lineal
conexo
desconectado totalmente
conexo localmente
Hausdor
regular
completamente regular
normal
IA
N
topologa orden
buen-orden topologa
regular+ 2-countable
compacto+Hausdor
completamente normal
compacto loc.
metrizable
Lindel
of
lema de la sucesi
on
+metrizable
+metrizable
compacto
1-contable
2-contable
+metrizable
w-compacto
+1-contable+T1
.R
UB
+metrizable
separable
263
Bibliografa
IA
N
[2] Crossley, M. D., Essential Topology, Series: Springer Undergraduate Mathematics Series, SpringerVerlag, Berlin Heidelberg New York, 2005.
Uno de los ttulos mas recientes como texto introductorio.
[3] Christenson, C., Voxman W., Aspects of Topology Series: Pure and applied
Mathematics, M. Dekker, New York, 1977.
.R
UB
Un texto con material para dos semestres con una coleccion excelente de
ejercicios. Se puede leer una y otra vez... Una primera parte en topologa de
conjuntos y una segunda en topologa algebraica con un tratamiento especial
en teora simplicial y sistemas inversos.
[4] Dugundji, J., Topology, Allyn and Bacon, Boston, 1966.
... Dugundjis 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
265
BIBLIOGRAFIA
[8] Hrbacek, K., Jech, T., Introduction to set theory, Monographs and Textbooks in Pure and Applied Series, vol. 220, Marcel Dekker, New York,
NY, 1999.
Este es uno de los pocos libros s
olidos en la moderna teora de conjuntos. Curiosamente su primer intento de publicacion, por parte de sus autores checos,
fue fallido.
[9] Komj
ath, P., Totik, V., Ultrafilters, American Mathematical Monthly, 115
(2008), 33-44.
[10] Lefschetz, S., Topology, AMS Coll. Publ. 12, Providence, RI, 1930.
[11]
IA
N
.R
UB
[12] Munkres, James R., Topology: a first course, second edition, Prentice Hall,
Inc., Englewood Clis, NJ, 1999.
514 M966top 21. Debera ser el texto gua en muchos cursos.
Como material introductorio a la topologa general es mi favorito.
Indice alfabetico
metrizable, 48
.R
UB
aberrado, 239
acotado, 49
adherente
al filtro, 165
arco, 260
Axioma de
Riesz, 212
IA
N
T4 , 222
T3 1 , 220
2
GLn , 32
F-topologa, 123
PIF, 76
camino, 255
categora, 71
cerrados, 3
cinta de Moebius, 103
compactado, 193
compacto, 157
por sucesiones, 175
completo
topologicamente, 197
conexo, 239
localmente por caminos, 259
base, 8
de filtro, 75
bola
abierta, 46
botella de Klein, 110
descomposicion
canonica, 105
discontinuo de Cantor, 249
distancia
uniforme, 43
distinguir puntos, 220
266
267
INDICE ALFABETICO
n
umero
de Lebesgue, 183
n
umero ordinal, 185
Niemytzki, 81
operador, 138
orden
lexicografico, 20
ordinal lmite, 187
ordinales, 185
ortogonal, 32
.R
UB
filtro
asociado, 85
de Fr`echet, 76
generado, 75
principal, 76
fracciones di
adicas, 228
frontera, 147
funcion
cociente, 107
de Urysohn, 231
evaluaci
on, 220
magro, 202
IA
N
de Baire, 202
de Hausdor, 213
de identificaci
on, 107
de Sorgenfrey, 226
identificaci
on, 104
metrico, 29
normal, 221, 222
regular, 216
totalmente acotado, 181
Tychono, 220
ultrametrico, 35
exterior, 147
grupo
lineal general, 32
ortogonal, 32
Heine-Borel-Lebesgue, 156
hereditaria, 72
Hilbert
cubo, 220
cubo de, 126
invariante topol
ogico, 97
isometra, 33
metrica, 28
de Hausdor, 171
inducida, 130
268
.R
UB
ultrafiltro, 77
IA
N
coenumerables, 6
cofinitos, 6
de Arens-Fort, 22
de Sorgenfrey, 151
de subespacio, 22
discreta, 4
final, 132
grosera, 4
identificacion, 104
inicial, 129
producto, 113, 116
punto excluido, 5
punto incluido, 4
topologa
cociente, 102
toro, 24, 108
INDICE ALFABETICO
Vecindad
sistema fundamental, 217
vecindad, 17