Beruflich Dokumente
Kultur Dokumente
IA
NO
-2
01
Topologa general
[un primer curso]
RU
B
IA
NO
-2
01
RU
B
IA
NO
-2
01
Topologa general
[un primer curso]
Gustavo N. Rubiano O.
Profesor titular
-2
01
RU
B
IA
NO
Diagramacion y dise
no interior en LATEX: Gustavo Rubiano
Contenido
Pr
ologo
VIII
0. Preliminares en conjuntos
1
1
0.2. Relaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
01
0.3. Cardinalidad
-2
0.2.1. Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
NO
5
7
7
12
1.3. Vecindades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
19
23
2. Espacios m
etricos
IA
27
RU
B
2.1. Metrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
27
32
36
39
41
3. Bases y numerabilidad
47
3.1. 2-contable . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
47
3.2. 1-contable . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
48
4. Funciones comunicaci
on entre espacios
52
52
56
57
59
v
vi
6.
CONTENIDO
5.1. Filtros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
59
59
5.2. Ultrafiltros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
61
5.3. Sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
64
Espacios de identificaci
on cociente
69
69
71
7. La topologa producto
77
77
77
79
82
-2
01
85
87
88
88
90
NO
8. Posici
on de un punto respecto a un conjunto
92
92
95
96
RU
B
IA
98
99
109
vii
CONTENIDO
138
01
148
-2
NO
166
IA
RU
B
186
Prologo
El tema central de esta nueva edicion es presentar un texto que sirva como gua para un primer
curso formal en topologa general o de conjuntos. Se han hecho cambios importantes que justifican
que se trate de una nueva edicion y no de una simple reimpresion de la anterior.
01
-2
NO
Nuevos captulos, secciones, demostraciones, graficos y referencias historicas han sido introducidos a fin de motivar al lector y presentar de manera activa una de las areas mas prolficas de la
matematica y la ciencia.
Como en casi todo libro de texto, poco o nada es original por parte del autor, excepto posiblemente la manera de manejar la influencia de varios clasicos sobre el tema o la introduccion de
algunos ejemplos nuevos.
RU
B
IA
Gustavo N. Rubiano O.
viii
0
Preliminares en conjuntos
En este captulo presentamos de manera sucinta los conceptos de la teora de conjuntos que el
lector debe tener presente para la lectura de este texto, con la finalidad de establecer un lenguaje
com
un entre el autor y el lector respecto a la notacion.
01
-2
Algunas veces es conveniente adjudicar un nombre o ndice a cada elemento de una coleccion
A de conjuntos.
NO
A = {Aj : j 2 J}.
IA
1. Uni
on de una familia de conjuntos,
[
[
A=
Aj = {x | x 2 Aj , alg
un j 2 J}.
RU
B
j2J
2. Intersecci
on de una familia de conjuntos,
\
\
A=
Aj = {x | x 2 Aj , para cada j 2 J}.
j2J
j2J
j2J
Aj y llamarse
j2J
2
1.
2.
S
T
j2J
j2J
Preliminares en conjuntos
Aj = ;.
Aj = X.
1. (
j2J
Acj .
RU
B
IA
NO
j2J
-2
S
Aj )c = j2J Acj .
S
T S
S S
T
3. ( j2J Aj )
( i2I Bi ) = i2I ( j2J (Aj Bi )).
T
S T
T
T
S
4. ( j2J Aj )
( i2I Bi ) = j2J ( i2I (Aj Bi )).
Q
El axioma de elecci
on1 dice que j2J Aj 6= ; si y solo si Aj 6= ; para cada j 2 J 6= ;.
Q
Q
5. j2J Aj j2J Bj si y solo si Aj Bj para cada j 2 J.
Q
T Q
Q
T
6. j2J Aj
Bj).
j2J Bj =
j2J (Aj
Q
S Q
Q
S
7. j2J Aj
Bj ).
j2J Bj
j2J (Aj
S
S
S
8. ( i2I Ai ) ( j2J Bj ) = (i,j)2IJ (Ai Bj ).
2. (
c
j2J Aj ) =
01
Dadas las familias A = {Aj | j 2 J}, B = {Bi | i 2 I} en X se tienen las siguientes igualdades
Ac , X\A o {A denotan el complemento de A en X:
0.2. Relaciones
Una relaci
on R de un conjunto X en un conjunto Y es un subconjunto de X Y . Si (x, y) 2 R
entonces notamos xRy, o R(x) = y. El dominio de R se define como
dom(R) = {x : (x, y) 2 R para alg
un y 2 Y }.
La relaci
on inversa de R se define como
R
R X Z como
0.2 Relaciones
0.2.1. Funciones
Una relacion f X Y se llama una funci
on si
1. dom(f ) = X,
2. xf y y xf z implica y = z para cada x la imagen es u
nica.
En este caso es usual notar la funcion f como f : X ! Y . Definimos la imagen de A X por
f como el conjunto
f (A) = {y 2 Y : y = f (x) para alg
un x 2 A}.
La imagen inversa de B Y por f es el conjunto
1
6. f (f
(Bjc ) = (f
1
(Bj ))c .
(Bi )) Bi .
7. Ai f
(f (Ai )).
NO
5. f
-2
01
IA
RU
B
es una biyeccion de Y en X.
6. f es inyectiva si y solo si f
(C)) = C.
1
(f (A)) = A.
H = {hi : Xi ! Yi }i2I
Q
Q
Q
definimos la funci
on producto h = i2I hi : Xi2I ! Yi2I como h((xi )i ) := (h(xi ))i .
Preliminares en conjuntos
(X) R, donde
= R.
1
3. Antisim
etrica: (x, y), (y, x) 2 R implica x = y R
\R
(X).
01
R es de equivalencia si es reflexiva, simetrica y transitiva. Cada relacion de equivalencia determina una particion X/R = {[x] : x 2 X} de X formada por las clases de equivalencia
[x] = {y : xRy}; de manera natural existe una funcion sobreyectiva
q : X ! X/R.
NO
-2
hf
6
i
f [X]
IA
X/Rf
RU
B
R X X es una relaci
on de orden si es reflexiva, antisimetrica y transitiva. Es com
un
en este caso notar a R como (o `) de suerte que (x, y) 2 R se nota x y (x ` y, o x < y si
x 6= y) y decimos lease que x es menor o igual a y (o x menor que y). El par (X, ) se llama
un conjunto ordenado.
Un elemento b 2 X es una cota superior (inferior) para A X si a b (b a) para todo
a 2 A b debe ser mayor (menor) o igual que cada elemento de A.
Con A" lease el superior de A denotamos el conjunto de las cotas superiores de A, y con
A# el conjunto de las cotas inferiores. Si A = {a}, A" es notado como " a, o [a, !).
0.3 Cardinalidad
01
-2
NO
IA
0.3. Cardinalidad
RU
B
Dos
conjuntos
X, Y
son
equivalentes
si
existe
una
biyeccion
f : X ! Y . Esta es una relacion de equivalencia en la coleccion de los conjuntos, y a cada
clase de equivalencia la llamamos un n
umero cardinal y la notamos #(X). El cardinal de N lo
notamos de manera especial como ! o @0 . El cardinal de R como c.
K Sin duda alguna el problema irresoluble mas famoso desde los axiomas usuales de
la teora de conjuntos es el primer problema de Hilbert:
Hip
otesis del continuo Cantor: Si X R es no contable entonces existe una
biyeccion f : X ! R.
Si J es enumerable y cada conjunto Aj es enumerable, entonces tambien lo es
j2J
Aj .
Preliminares en conjuntos
m
nm
@0
c
@0
c
c
c
c
2c
2c
2c
RU
B
IA
NO
-2
01
ab
n
@0
c
1
Conjuntos con topologa
01
NO
-2
En efecto, los vecinos al punto x en una distancia menor que un " > 0 son todos los y 2 R
tales que |x y| < "; es decir, el intervalo (x ", x + ") es la vecindad basica de x con radio ".
Cuando a una funcion de R en R la obligamos a tener en cuenta el concepto anterior de vecindad
basica, lo que estamos exigiendo es que se satisfaga la definicion ", de continuidad empleada en
el calculo.
Revisemos esta definicion de continuidad. La funcion f : R ! R se dice continua en el punto
c 2 R si:
Para cada n
umero positivo ", existe un n
umero positivo
que |x c| < .
RU
B
IA
Pero |f (x) f (c)| < " significa f (x) 2 (f (c) ", f (c) + "); as mismo, |x
x 2 (c
, c + ); luego la definicion entre comillas la podemos reescribir como
2
f (c)
significa
g(c)
c
2
Dado " > 0 (ver fig. 1.1) se puede encontrar > 0 tal que
si x 2 (c
, c + ) entonces f (x) 2 (f (c) ", f (c) + ").
Hablando en terminos de los intervalos abiertos como las vecindades basicas, esta definicion
es:
Dada una vecindad basica de radio " alrededor de f (c), podemos encontrar una vecindad
b
asica de c y con radio tal que
si x 2 (c
, c + ) entonces f (x) 2 (f (c) ", f (c) + ").
Lo que de nuevo reescribimos como: Dada una vecindad de f (c) podemos encontrar una
vecindad de c con la propiedad que, la imagen por f de esta u
ltima se encuentra dentro de la
vecindad de f (c).
7
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
definicion que podamos hacer de vecindad para un punto y la relacion entre las imagenes 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.
Al definir un conjunto abierto en R como un conjunto que es union de intervalos abiertos
nuestras vecindades basicas es facil verificar que:
01
2. R es abierto.
-2
4. La interseccion de un n
umero finito de abiertos es un abierto.
Definici
on 1.1. Una topologaa para un conjunto X es una familia
NO
T = {Ui : i 2 I}, Ui X
tal que:
RU
B
IA
1. ; 2 T, X 2 T.
T
2. i2F Ui 2 T para cada F subconjunto finito de I F b I.
S
3. i2J Ui 2 T para cada J I.
Esto es, T es una familia de subconjuntos de X cerrada tanto para la union arbitraria como para
la interseccion finita. La condicion 1 es consecuencia de 2 y 3 cuando tomamos como ndices a
I = ;.
a
Se le acu
na la invenci
on de la palabra topologa al matematico aleman de ascendencia checa Johann B.
Listing (1808-1882) en una carta dirigida a su viejo maestro de escuela M
uller.
Los elementos de T se llaman abiertos y el par (X, T) es por definicion un espacio topol
ogico.
Brevemente lo notamos X cuando no es necesario decir quien es T. Los elementos de X son
los puntos del espacio. Las condiciones en la definicion anterior se llaman los axiomas de una
estructura topologica.
A menos que se especifique lo contrario, en este texto la palabra espacio significara espacio
topologico. Los complementos de los conjuntos abiertos se llaman conjuntos cerrados.
Ejemplo 1.2. Sean X = {a, b, c, d, e} y
T = {X, ;, {a}, {c, d}, {a, c, e}, {b, c, d}}.
Entonces T no es una topologa sobre X ya que la union {c, d} [ {a, c, e} = {a, c, d, e} no pertenece
a T.
Ejemplo 1.3. Ru . En R definimos una topologa T conocida como la usual (el espacio es notado
Ru ) definiendo U 2 T si U es union de intervalos abiertos. O de manera equivalente, U R es
abierto si para cada punto x 2 U existe un intervalo (a, b) que contiene a x y esta contenido en U .
Ejemplo 1.4. Orden. El ejemplo 1.3 lo podemos generalizar a todo conjunto X que sea linealmente totalmente ordenado por una relacion . Definimos T la topologa del orden o
la topologa intervalo sobre (X, ) tomando como abiertos todos los U X que se pueden
expresar como union de intervalos de la forma
1. (x, y) := {t : x < t < y} intervalos abiertos acotados.
2. (x, !) := {t : x < t} colas a derecha abiertas.
, y) := {t : t < y} colas a izquierda abiertas.
3. (
01
En el caso en que X no posea elementos maximo y mnimo, basta considerar tan solo los
intervalos acotados (x, y) por que?.
-2
NO
Grosera: Contrario a lo anterior, dado un conjunto X definimos T = {;, X}, conocida como la
topologa grosera de X practicamente no permite la presencia de abiertos. Es la topologa
con la menor cantidad posible de abiertos.
Notese que toda topologa T para X se encuentra entre la topologa grosera y la topologa
discreta, i. e., {;, X} T 2X .
IA
Ejemplo 1.6. Punto incluido. Sea X un conjunto y p un punto elegido en X. Definimos la topologa punto incluido Ip como U 2 Ip si p 2 U , o, U = ;.
La definicion de esta topologa se puede extender a cualquier A X y la notamos como IA .
RU
B
Ejemplo 1.7. Extension cerrada de (X, T). La anterior topologa permite la siguiente generalizacion. Dado un espacio (X, T) y p 2
/ X, definimos la extension X = X [ {p} y T = {V [ {p} :
V 2 T} [ {;}. (X , T ) es un espacio y los cerrados de X coinciden con los de X.
El ejemplo 1.6 es la extension Y para el caso (Y = X
{p}, 2Y ).
1. J1 = {;, X},
2. J2 = {;, X, {0}},
3. J3 = {;, X, {1}},
4. J4 = {;, X, {0}, {1}}.
J2
J3
J1
10
Ejemplo 1.11. 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.
01
NO
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
RU
B
IA
n
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
-2
Cuadro 1.1: N
umero de topologas para un conjunto de n elementos.
Dado un conjunto finito X con n elementos, notemos por T(n) el conjunto de topologas definibles
sobre X. Una pregunta natural y formulada desde el inicio de la topologa es: cuantas topologas
1
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 matematica, 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.
2
Tambien conocida como la topologa de Zariski en honor al matematico bielorruso Oscar Zariski (1899-1986).
11
existen sobre X? o quien es el cardinal |T(n)|? La pregunta es difcil de contestar y por ello se
trata de un problema abierto; mas a
un, para este problema de conteo no existe a la fecha
ninguna formula cerrada ni recursiva que de una solucion. Tampoco existe un algoritmo eficiente
de computacion que calcule el total de T(n) para cada n 2 N.
Para valores peque
nos de n el calculo de |T(n)| puede hacerse a mano; por ejemplo, |T(1)| = 1,
|T(2)| = 4, |T(3)| = 29. Pero el crecimiento de T(n) es exponencial, como lo muestra la tabla 1.1.
De hecho, existen 261492535743634374805066126901117203 posibles topologas para un conjunto
con n = 18 elementos, y a la fecha este valor de n es el mayor para el cual el n
umero de topologas
es conocido.
-2
IA
NO
tipo
{;, X}
{;, {x}, X}
{;, {x}, {y}, {x, y}, X}
P(X)
{;, {x, y}, X}
{;, {x}, {x, y}, X}
{;, {z}, {x, y}, X}
{;, {x}, {z}, {x, y}, {x, z}, X}
{;, {x}, {x, y}, {x, z}, X}
01
RU
B
Luego |T(3)|=29.
12
Ejercicios 1.1
1. Como son los cerrados para los espacios de los ejemplos anteriores?
2. Construya todos los tipos de topologas para X = {a, b, c, d}.
3. Muestre que para un conjunto X, la interseccion de topologas sobre X es de nuevo una
topologa.
4. Muestre que la union de 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.
-2
01
6. Muestre que (T op(X), ) es un retculo completo. En particular, para el caso de dos topologas T, I el sup _{T, I} esta formado por todas las posibles uniones de conjuntos de la
forma
{U \ V : U 2 T, V 2 I}.
7. Revise el ejemplo 1.12 en terminos del ejercicio anterior.
NO
Entre los abiertos de un espacio, algunas veces casi siempre es importante resaltar algunos
de ellos que en cierta manera generan o describen a los demas, i. e., toda la estructura topologica
puede ser recuperada a partir de una parte de ella.
IA
Definici
on 1.13. 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 .
RU
B
Ejemplo 1.14. Los intervalos abiertos de R constituyen una base para la topologa en Ru . Revise
la definicion de la topologa del orden.
Por supuesto, para un espacio (X, T), T en s misma es una base de manera trivial; la palabra
trivial se justifica porque una de las cualidades mas importantes para una base es exigir que su
cardinalidad no sea muy grande espacio 2contable.
K Como reconocer que una coleccion B de subconjuntos de X pueda ser base para
alguna topologa?
Teorema 1.15. Sea X un conjunto y B }(X) una familia de subconjuntos. Entonces existe
una topologa en X para la cual B es su base si y solo si se cumple que
1. X =
13
N
otese que en particular, un cubrimiento B }(X) cerrado para intersecciones finitas es una
base.
Demostraci
on. )) 1) Supongamos que B es base para una topologa T de X. Veamos que X =
S
{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.
() Construyamos una topologa T para la cual B es una base. Definimos los abiertos U 2 T
si U es union de elementos de B. Por supuesto tanto X como ; estan en T ; por ser la union de
la familia vaca. Si tomamos la union de una familia en T, ella finalmente es union de elementos
de B.
01
-2
La topologa dada por el teorema anterior se conoce como la topologa generada por la base
B y la notamos T = hBi.3
K Para prevenir un error comun, no se debe confundir la definicion 1.13 de base con
NO
IA
RU
B
Ejemplo 1.17. Particion. Dada una particion R sobre un conjunto X o lo que es igual una
relacion de equivalencia R, la coleccion R junto con el conjunto ; es una base para una topologa
sobre X. Un subconjunto de X es entonces abierto si es union de subconjuntos pertenecientes a
la particion.
Ejemplo 1.18. Lnea de Khalinsky. En Z definimos la base
[
B = {{2n 1, 2n, 2n + 1} : n 2 Z} {{2n + 1} : n 2 Z}.
En la topologa generada, cada entero impar es abierto y cada entero par es cerrado.
Ejemplo 1.19. Topologa a derecha. Para un conjunto (X, ) parcialmente ordenado, el conjunto
de las colas a derecha y cerradas
a " := [a, !) := {t : a t},
es una base para una topologa ya que
[a, !) \ [b, !) =
[
z
14
Ejemplo 1.20. Una topologa puede tener diferentes bases. En R2 definamos dos bases B1 , B2
que nos conducen a una misma topologa: la usual.
1/2
-2
donde,
B" (x) =
8
<
:
NO
n
X
i=1
(xi
yi ) 2
!1/2
9
=
<" .
;
IA
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 .
No olvide en los dos ejemplos anteriores demostrar que efectivamente estas bases satisfacen la
condicion para serlo, y hacer los graficos respectivos para las bolas abiertas en Ru y R2u .
RU
B
01
15
El lector debe verificar que esta relacion es de equivalencia sobre el conjunto de todas las posibles
bases para un conjunto X fijo. As que, dada una topologa sobre X podemos escoger, de la clase
de equivalencia que representa esta topologa, el elemento base que mejor se acomode a nuestro
interes canonico.
Dado un cubrimiento D de X, es posible crear la menor topologa sobre X que tenga entre sus
abiertos la coleccion D. Para ello, creamos a partir de esta coleccion una base y luego generamos
la topologa.
Teorema 1.24. Dado un cubrimiento D de X, existe una u
nica topologa T para la cual los
elementos de D son abiertos y cualquier otra topologa H que contenga a D es mas fina que T,
esto es, T H.
01
-2
Sea T = hBi. En otras palabras, un elemento U de T es aquel que podemos expresar como una
reunion de intersecciones finitas de elementos de D. Si H es una topologa para X tal que D H
, es claro que todo elemento de T tambien es elemento de H por la definicion de topologa.
En general definimos una subbase de la manera siguiente.
NO
Definici
on 1.25. Sea (X, T) un espacio. Una subbase para la topologa T es una subcoleccion
D T con la propiedad que la familia formada por las intersecciones finitas de elementos de
D es una base para T.
Ejemplo 1.26. Los intervalos de la forma (a, !), ( , b) con a, b 2 R forman una subbase para
la topologa usual. Generalice a la topologa del orden.
IA
RU
B
Por ejemplo si a = 7 y b = 3 tenemos {7 + 3n} = {7, 10, 13, 16, 19, . . .}. Pero si a = 7 y b = 0
tenemos la progresion {7n} = {0, 7, 14, 21, . . .} de los m
ultiplos de 7.
Obviamente cada a 2 N pertenece a un elemento de la base, por ejemplo a 2 Aa,b , para cada
b.
Si dos elementos Aa,b y Ac,d comparten un elemento x, entonces existe un tercero Ap,q , tal
que x 2 Ap,q y Ap,q Aa,b \ Ac,d .
16
Notemos que cada conjunto abierto no vaco, por ser una union de progresiones aritmeticas,
debe ser infinito.
Obviamente, los conjuntos basicos {a+bN} son abiertos. Mas sorprendente a
un es que tambien
son cerrados por que?
El conjunto de los n
umeros primos es infinito.5 Si p es primo, la progresion {0 + np} es
abierta, pero tambien es cerrada ya que su complemento
{np}c = N \ {np}
= {1, 2, . . . ,S
p 1, p + 1,
2p 1, 2p + 1, . . .}
S. . . , S
= {1 + np} {2 + np} . . . {(p 1) + np}
es un conjunto abierto.
-2
01
S
Consideremos al conjunto M = p {np}. Si M es una union finita de conjuntos cerrados,
entonces M es cerrado. Pero el complemento de M es {1} el cual no es abierto (no contiene
ning
un elemento de la base), luego M no puede ser cerrado y por tanto la union no puede tener
un n
umero finito de ndices, es decir, el n
umero de primos es infinito!
NO
Ejercicios 1.2
1. (R2 , verticales). Por cada x 2 R sea Bx = {(x, y) : y 2 R}. Muestre que B = {Bx : x 2 R}
es base de una topologa para R2 Como son los abiertos?
IA
2. (R2 , triangulares). Dados a, b, c 2 R, con a > 0, definimos la region comprendida entre dos
rectas
Da,b,c = {(x, y) : y ax + b y y
ax + c} R2 .
RU
B
17
3. (R2 , cuadrantes). Dados a, b 2 R consideremos las regiones del plano de la forma Ba,b :=
{(x, y) 2 R2 : x a, y b}. Muestre que la coleccion
B := {Ba,b : a, b 2 R}
es estable para intersecciones finitas, y por tanto, es base para una topologa de R2 . (Ya
mostraremos C := {(n, n) : n 2 N} es denso en R2 .
4. Cuando tenemos un conjunto (X, ) totalmente ordenado y sin elementos maximo ni mnimo, es posible definir otras topologas diferentes de la usual para el orden. Consideremos las
siguientes familias de subconjuntos y verifiquemos que efectivamente se trata de bases para
nuevas topologas:
01
-2
NO
(
, a) =
, b],
b<a
IA
RU
B
[t, b),
t>a
[a, !) =
(a, !) =
(
, b) =
[a, b),
a<b
(a, b),
a<b
(a, b).
a<b
, a) [ [b, !) es un abierto.
6
Este espacio fue primero considerado por P. Alexandro y P. Urysohn en su artculo de 1929 Memoire sur les
espace topologique compact. R. H. Sorgenfrey (1915-1996) en 1947 mostro que en el caso de los n
umeros reales, es
una fuente de u
tiles contraejemplos.
18
, a] =
(b, a],
b<a
(a, !) =
(
, b) =
(a, b),
b<a
(a, b).
a<b
01
Verifique el diagrama 1.3, el cual muestra la relacion de contenencia entre estas topologas y dice quienes no son comparables.
2X....
.......
........
.....
....
.....
.....
....
.
..........
.....
.
.
.
.
....
....
.....
....
.
.........
......
.
.
.
....
.....
....
.
.
.
.
.
........
.........
.....
.....
.....
.....
.
J+
J0.
NO
Ji
...........
.......
.....
....
.....
.....
-2
..
..........
.....
.
.
.
....
....
....
.
.
.
...
.........
........
....
....
....
....
....
....
.
.
.............
....
.
.
.
.
..
....
.....
....
Jai
.......
.........
.....
.....
.....
.....
..
.
............
..
.
.
.
..
....
....
.
.
....
....
Jd
Jad
IA
RU
B
2 Z} : 2 Z}n .
19
1.3 Vecindades
1.3. Vecindades
En la motivacion 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.29. Sea (X, T) un espacio. Decimos que V X es vecindada 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).
a
01
-2
........................................
....
............. ................
..........
....
.
.
.
.
.
.
.
.
.
.
.
.
........ ........ .................
.
..
........... ......
....... Vx ......
...
.
.
...
.
.....
....
.
.
.
...
.
.
U ....
...
.....
....
..
.
...
x
.
...
.
...
.
.
...
...
..
..
.
...
.
.... y
.
.
...
...
.......
...
....
........................
....
.
....
.
.
.
......
.....
.......
.......
.........
.
.
.
.
.
.
.
.
.
............
...............................................................
Fue el matem
atico alem
an Felix Hausdor quien en 1.914 introdujo la nocion de espacio topologico en
Grunzuge der Mengenlehre, Leipzig, Veit and Co., 1914, partiendo de una axiomatizacion del concepto de
vecindad. Tambien trabaj
o en teora de conjuntos e introdujo el concepto de conjunto parcialmente ordenado.
NO
Proposici
on 1.30. Sean (X, T) un espacio y x 2 X. El sistema V(x) de vecindades de x 2 X
posee las siguientes propiedades:
IA
1. Si V 2 V(x) entonces x 2 V .
RU
B
20
01
NO
-2
IA
RU
B
Veamos ahora que V(x) = W(x) donde W(x) es el sistema de vecindades de x en (X, T). Si
Vx es una vecindad de x, existe U 2 T tal que x 2 U Vx . Como U 2 T, significa que U 2 V(x)
y as Vx 2 V(x).
K Los elementos de un SFV son suficientemente finos para estar dentro de cada vecindad.
Definici
on 1.33. 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 .
21
1.3 Vecindades
Definici
on 1.34. 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 proposicion 1.30.
Ejemplo 1.35. En (X, discreta) el conjunto W(x) = {{x}} es un SFV de x. En Ru los conjuntos
{(x n1 , x + n1 )}n2N y {[x n1 , x + n1 ]}n2N son cada uno un SFV de x 2 R.
01
Ejercicios 1.3
-2
5. B = {(a, b) : b
NO
IA
RU
B
22
c) Que relacion existe entre la topologa usual y la topologa de orden asociada al lexicografico?
01
9. Muestre que B = {((a, b), (a, c)) : b < c} es tambien una base para la topologa del orden
lexicografico. a
c
-2
11. La topologa del orden para N N con el orden lexicografico no es la topologa discreta.
12. La topologa del orden para Z Z con el orden lexicografico es la topologa discreta.
NO
13. Sea (X, T) un espacio. Muestre que la topologa T es de Alexandro o Atopologa si y solo
si cada punto x 2 X posee una vecindad Ax mnima, i. e., Ax esta contenida en cualquier
otra Vx .
14. Muestre que toda topologa finita es de Alexandro.
IA
15. Sea X un conjunto. En los siguientes numerales definimos para cada x 2 X un conjunto
V(x). En que casos la coleccion de las V(x) constituye un sistema de vecindades? Cual es
la topologa generada por este sistema?
a) V(x) = {A X : x 2 A}.
RU
B
b) V(x) = {{x}}.
c) V(x) = {X}.
23
01
-2
NO
IA
Por tanto, en el caso que X = R2u , cualquier subconjunto del plano puede ser visto como
un espacio topologico. En particular las figuras de la geometra, como circunferencias, discos,
polgonos, etc., pueden ser ahora vistas como espacios. El siguiente ejemplo analiza el caso de la
lnea recta como subconjunto del plano.
RU
B
Ejemplo 1.37.
1. Examinemos el caso de la recta real R = {(x, 0) : x 2 R} R2 . La topologa
de subespacio es la topologa usual de R. En efecto, dado M abierto de R, M = R \ V para
V abierto de R2 . Luego V = [i2I Bi , donde cada Bi es una bola abierta; entonces
M = R \ ([i2I Bi ) = [i2I (R \ Bi )
24
Proposici
on 1.38. Si B
=
{Bi }i2I
D = {Bi \ A : Bi 2 B} es una base de TA .
es
una
base
para
(X, T)
entonces
01
Esto es equivalente a decir que para cada punto a 2 A existe un subconjunto abierto en X cuya
interseccion con A es solo el punto a.
-2
Ejemplo 1.40. En Ru , la topologa inducida sobre los enteros es la discreta; {n} es ahora abierto
en Z, pero no lo era en R.
KPor tanto, debemos tener cierta discrecion cuando hablamos de abiertos en el contexto
NO
de espacios o subespacios.
As, Z es un subespacio discreto de R, mientras que Q pareciera que tambien lo es ya que entre
cada par de racionales existe un n
umero irracional; sin embargo, no lo es; de hecho, este subespacio
es un ejemplo de un espacio con propiedades interesantes.
IA
RU
B
25
respectivamente.
01
-2
NO
Ejemplo 1.45. Aunque en R la topologa inducida por el orden usual coincide con la topologa
usual, esto no sucede para los subespacios.
IA
RU
B
La topologa TII
inducida del espacio (R2 , T ) donde T es la inducida por el orden
2
lexicografico de R .
Ejercicios 1.4
26
(b)
01
(a)
-2
2. En (R2 , verticales), pag. 16 ej. 1, como son las topologas inducidas sobre R{0} y {0}R?
NO
IA
a) La recta real.
RU
B
2
Espacios metricos
01
En este captulo vemos los espacios metricos como una clase particular de espacios topologicos.
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 presentacion 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 exposicion tan siquiera incompleta.
NO
-2
Estos espacios el concepto fueron introducidos por el matematico frances Maurice Rene
Frechet (18781973) en 1906 y constituyeron uno de los pasos decisivos en la creacion de la Topologa general. Se trataba de definir el concepto de distancia de la manera mas general posible
para objetos matematicos de naturaleza no especfica no necesariamente puntos de Rn , curvas o
funciones. Con tan pocas condiciones (ver siguiente definicion) Frechet pudo introducir de nuevo
todas las nociones topologicas introducidas hasta ese entonces para Rn , esto es, lmites, continuidad, vecindades para un punto, conjuntos abiertos, conjuntos cerrados, puntos de acumulacion,
compacidad, conexidad, etc.
2.1. Metrica
IA
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:
RU
B
1. d(x, y) = 0 si y solo si x = y,
2. d(x, y) = d(y, x),
El n
umero d(x, y) se llama la distancia entre x y y. El par (X, d) se llama un espacio m
etrico.
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.
Una consecuencia inmediata de 3 es
|d(x, y)
(2.1)
puesto que d(x, y) d(x, z) + d(z, y) implica d(x, y) d(z, y) d(x, z) e, intercambiando el papel
de x por el de z, tenemos d(z, y) d(x, y) d(z, x), con lo cual
d(x, z) d(x, y)
(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.23).
27
28
Espacios metricos
y| es un espacio
y|. Al reemplazar a = x
z,
Ejemplo 2.3. Sea X el conjunto de pueblos en un mapa vial escogido; si definimos d(x, y) como
la longitud del camino mas corto entre todas las rutas que comunican a x con y, tenemos que d
es una metrica.
d2 (x, y) = |x
01
y| = ((x1
y2 )2 + + (xn
yn )2 )1/2 .
(2.3)
Minkowski,
(xi + yi )2
! 12
n
X
xi 2
! 12
NO
n
X
-2
Esta metrica se llama distancia euclidiana la manera de medir usual. Para verificar la
desigualdad triangular basta recordar las desigualdades de:
i=1
i=1
n
X
yi 2
i=1
! 12
(2.4)
Bunjakovski-Cauchy-Schwartz,
n
X
|xi yi |
IA
n
X
i=1
xi 2
i=1
! 12
n
X
i=1
yi 2
! 12
(2.5)
RU
B
z|
Podemos generalizar del ejemplo anterior y definir una metrica dp en Rn para cada n
umero real
p 1 no necesariamente p = 2, i. e., tenemos una coleccion infinita de metricas (ver fig. 2.3).
dp (x, y) :=
n
X
i=1
|xi
yi | p
! p1
1,
(x, y 2 Rn ).
El espacio metrico resultante es notado por algunos autores como lpn , de suerte que para
el caso p = 2, que es la manera usual de medir en Rn , notamos l2n .
Ejemplo 2.6. El espacio l1 de todas las sucesiones acotadas. Sea l1 el conjunto de todas
las sucesiones acotadas de n
umeros reales, i. e., las sucesiones x = (x1 , x2 , ...) = (xn ) tales que
supn |xn | < 1. Si x = (xn ), y = (yn ) 2 l1 , definimos la metrica
d1 (x, y) = sup |xn
n
yn |.
(2.6)
29
2.1 Metrica
yn | |xn zn | + |zn yn |
sup |xn zn | + sup |zn
n
yn |
Ejemplo 2.7. Sea C([0, 1], R) el conjunto de todas las funciones continuas de [0, 1] en R, y
definamos la metrica d2 como
(f (x)
g(x)) dx
12
(2.7)
01
d2 (f, g) =
Si en este ejemplo tomamos el conjunto Hom([0, 1], R) de todas las funciones, no necesariamente continuas, la funcion (2.7) no define una metrica por que?
-2
Ejemplo 2.8. 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).
2
NO
entonces GL(n, R) queda identificado con Rn y por tanto lo podemos ver como un espacio metrico.
IA
RU
B
Recordemos que At denota la transpuesta de A, donde las filas de At son las columnas de A,
esto es, (At )ij = Aji . Cada matriz define una funcion A : Rn ! Rn como A(x) = Ax.
Una matriz A se llama ortogonal si es invertible con A
= At , i. e., AAt = I.
Ejemplo 2.9. On o O(n, R). El subconjunto On GLn de las matrices ortogonales, se llama
grupo ortogonal y corresponde a las transformaciones lineales de Rn que preservan la longitud
de los vectores, o de manera equivalente a las isometras de Rn que fijan el origen.
Si A 2 On , entonces det(A) 2 {1, 1} puesto que
det(A)2 = det(A)det(At ) = det(AAt ) = det(I) = 1.
Ejemplo 2.10. El subconjunto SOn On de las matrices A 2 On con det(A) = 1 se llama
grupo ortogonal especial y corresponde a las matrices que tienen determinante 1 y cuya inversa
corresponde a su transpuesta. Este subconjunto coincide con las rotaciones de Rn alrededor del
origen.
Para el caso 2dimensional n = 2 tenemos SO2 . Dado un angulo definimos las matrices
cos
sen
cos sen
R =
S =
.
sen cos
sen
cos
30
Espacios metricos
S representa una reflexion por la lnea que pasa por el origen en angulo /2 con respecto al
eje x.
Una isometra de Rn es una funcion f : Rn ! Rn de la forma f (x) = Ax+a para alguna matriz
ortogonal A 2 On y alg
un vector a 2 Rn . Denotamos por Isomn el conjunto de tales funciones.
Como lo indica su nombre, una isometra f preserva distancias, esto es, d(f (x), f (y)) = d(x, y)
para todo x, y 2 Rn . De manera recproca, para cualquier funcion f : Rn ! Rn que preserva
distancias existen A 2 On y a 2 Rn tal que f (x) = Ax + a para todo x 2 Rn .
-2
01
Ejercicios 2.1
1. Dados
(X, d),(Y, m)
dos
espacios
metricos
muestre
que
para
x = (x1 , y1 ), y = (x2 , y2 ) con x, y 2 X Y las siguientes funciones definen metricas sobre X Y :
NO
a)
(2.8)
IA
RU
B
b)
(2.9)
(2.10)
c)
2. Generalice las metricas del ejemplo anterior para un producto finito de espacios metricos.
3. La m
etrica del mensajero (oficina postal). En el plano R2 definimos la metrica m del
mensajero como
m(p, q) := d2 (0, p) + d2 (0, q) es decir, m(p, q) = kpk + kqk
donde 0 = (0, 0), p, q 2 R2 . Si p = q definimos m(p, q) = 0.
El mensajero reparte en p, vuelve a la oficina en 0 y sale nuevamente a repartir en q. Como es B1 (p), i.e., que puntos pertenecen a esta bola?
p
q
31
2.1 Metrica
01
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.
NO
-2
5. De acuerdo con el ejercicio anterior, el conjunto {0, 1}N de todas las cuerdas o palabras
infinitas formadas con el alfabeto {0, 1} es un espacio metrico. La distancia esta dada en
terminos de la longitud k del primer prefijo que comparten.
1
Algunos autores prefieren tomar para este caso concreto {0, 1}N la distancia d(x, y) := k .
2
Veamos la desigualdad triangular para esta nueva metrica. Sean a, b, c sucesiones y mostremos que
d(a, b) max{d(a, c), d(c, b)}.
RU
B
Por tanto,
IA
(2.11)
(2.12)
(2.13)
Esta u
ltima ultradesigualdad implica la desigualdad triangular ya que
max{d(a, c), d(c, b)} d(a, c) + d(c, b).
6. Un espacio ultram
etrico (o noArquimedeano) es un espacio metrico (X, d) en el cual
la metrica d satisface una forma mas fuerte de la desigualdad triangular, ultra-desigualdad:
d(x, z) max{d(x, y), d(y, z)} ultra-desigualdad triangular
La ultra-desigualdad triangular se podra llamar la desigualdad del triangulo isosceles porque implica que entre los tres lados de un triangulo 4xyz, al menos dos tienen la misma longitud, donde por las longitudes de los lados de 4xyz, nos referimos a los n
umeros
d(x, y), d(y, z) y d(z, x). Como cada una de estas tres longitudes es menor o igual que el
maximo de las otras dos, se deduce que dos de estas longitudes son iguales.
a) Muestre que los dos ejercicios anteriores son ejemplos de espacios ultrametricos.
32
Espacios metricos
b) En un espacio ultrametrico cualquier punto de una bola (ver definicion 2.23) 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) Si B" (x) \ B" (y) 6= ;, entonces B" (x) = \B" (y).
1
donde k = mn{n : n 2 A4B}.
k
01
d(A, B) =
-2
NO
IA
Recordemos que los espacios euclidianos Rn con la suma usual de vectores y el producto por
escalar no son mas que elementos canonicos de espacios vectoriales normados de dimension finita.
RU
B
Definici
on 2.11. Un espacio vectorial lineal real es un conjunto V no vaco los elementos de V se llaman vectores sobre el cual esta definida una operacion binaria + llamada
la adicion de vectores, y una multiplicacion escalar multiplicacion 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
que x + ( x) = 0.
33
Definici
on 2.12. 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. k xk = | |kxk, para todo x 2 X,
2 R homogeneidad absoluta.
kyk kx
yk,
01
kxk
al tomar
y + yk kx
x + xk ky
con lo cual
yk kxk
kyk kx
yk.
NO
kx
yk + kyk
xk + kxk
-2
kxk = kx
kyk = ky
IA
d(x, y) := ky
xk
RU
B
yk
y)k = kz
xk = d(x, z).
34
Espacios metricos
Definici
on 2.14. Un producto interior o un producto escalar para un espacio vectorial
real X es una funcion h , i : X X ! R que a cada par (x, y) le asocia el n
umero real hx, yi
y satisface:
1. hx, xi
01
-2
Demostracion. Para la demostracion basta verificar las siguientes dos desigualdades clasicas (BunjakovskiCauchy-Schwartz)
(2.14)
(2.15)
NO
IA
y1 | + |x2
y2 | + + |xn
yn |;
RU
B
2. La m
etrica euclidiana d2 inducida por la norma
kxk2 = (x21 + x22 + x2n )1/2 ,
con lo cual
d2 (x, y) = ((x1
y1 )2 + (x2
y2 )2 + + (xn
yn )2 )1/2 .
n
X
i=1
|xi
yi | p
! p1
(x, y 2 Rn ).
35
y1 |, |x2
y2 |, . . . , |xn
yn |}
01
El siguiente espacio metrico es un clasico de la topologa y del analisis funcional; por esto, lo
discutimos de manera amplia y reiterada.
-2
NO
(xi
yi ) 2
i=1
! 12
(2.16)
IA
debe ser un n
umero real y, por tanto, debemos restringirnos a un subconjunto H de RN .
RU
B
El espacio de Hilbert1 P
H esta formado por el conjunto de todas las sucesiones x = (xn ) de
2
n
umeros reales tales que 1
on y del producto escalar para
n=1 xn < 1. H provisto de la adici
sucesiones es un espacio vectorial real de dimension infinita subespacio de RN .
La funcion h , i : H H ! R definida para x = (xn ), y = (yn ) 2 H como
(x, y) 7! hx, yi =
1
X
xk yk
(2.17)
k=1
es simetrica, bilineal y definida positivamente, luego es un producto interior sobre H. Para verificar
la buena definicion, 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
hx, yi
1
1
X
k=1
|xk ||yk |
1
X
k=1
x2k
!1/2
1
X
k=1
yk2
!1/2
(2.18)
El nombre dado a estos espacios es en honor al matematico aleman David Hilbert (1862, Konigsbergl-1943,
G
ottingen, Alemania), quien los utiliz
o en su estudio de las ecuaciones integrales. Hilbert invito a Einstein a
G
ottingen para que impartiera una semana de lecciones entre junio y julio de 1915 sobre relatividad general y su
teora de la gravedad en desarrollo. El intercambio de ideas llevo a la forma final de las ecuaciones de campo de
la Relatividad General. Aunque Einstein y Hilbert no llegaron nunca a una disputa p
ublica sobre prioridad, ha
habido discusi
on sobre a quien corresponde el merito del descubrimiento de las ecuaciones de campo.
36
Espacios metricos
Por tanto, el par (H, h , i) es un espacio euclidiano de dimension infinita sera de Hilbert cuando
demostremos que es completo.
De otra parte, tenemos canonicamente asociada a este espacio una metrica d inducida por la
norma asociada a este producto interior
d(x, y) = kx
yk =
1
X
yk ) 2
(xk
k=1
!1/2
(2.19)
01
m(f, g) :=
[f (t)
0
-2
g(t)] dt
12
NO
IA
Dado V un espacio vectorial lineal real y normado, miremos bajo que circunstancias V
es euclidiano posee un producto escalar. En otras palabras, buscamos condiciones adicionales
sobre la norma de V que nos garanticen que dicha norma es inducida por cierto producto escalar
definido en V .
RU
B
Teorema 2.19. Una condicion necesaria y suficiente para que un espacio lineal normado V sea
euclidiano es que
kf + gk2 + kf gk2 = 2 (kf k2 + kgk2 )
(2.20)
para cada f, g 2 V .
gk2 = hf + g, f + gi + hf g, f gi
= hf, f i + 2hf, gi + hg, gi + hf, f i
= 2 (kf k2 + kgk2 ).
2hf, gi + hg, gi
(2.21)
1
kf + gk2
4
kf
gk2
(2.22)
37
....
........
....
..
...
...................
.......................
...
..
......................
...
.......................
...
.......................
.
.
.
.
.
.
.
.
.
.
...
.
...
.
.
.
.
.
.
.
.
.
.
.
..
..................
.
.
.
.
.
.
.
.
.
.
...
.
.
.
.
.
.
.
.
.
.
.
.
.
......
.
...
.......
...
.........
...
...
...
...
...
..
..
...
.
.
.
.
.
.
...
...
...
...
...
...
..
...
...
..
...
...
.
.
.
.
.
.
...
...
...
...
...
...
..
...
...
..
...
.
.
...
.
.
..
... ....
...
... ....
.............
... ...
..........................
.......................
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.... ....
.
.
.............
......................
.......
.......................
....
......................
..................................................................................................................................................................................................................................................................................
......
....
..
.... ..
...
....f..
..
. ....
.. ...
.
.
.
... .
.....
....
.... .. .... ....
.........
.
... . .... .... ...
.
.
.
.
. ....
..
.... ..
.... ..f + g
.
.
..
.
...
g
01
y mostremos que si (2.20) se tiene, entonces (2.22) posee las propiedades de un producto escalar
la igualdad en (2.22) se tiene en todo espacio con producto interior y expresa el producto en
terminos de la norma.
Por (2.22) tenemos
1
k2f k2 + kf f k2 = kf k2
4
lo cual muestra que este producto escalar efectivamente genera la norma.
De (2.22) y (2.23) tenemos que
0 donde hf, f i = 0 si y solo si f = 0,
NO
1. hf, f i
(2.23)
-2
hf, f i =
2. hf, gi = hg, f i.
IA
hf + g, hi = hf, hi + hg, hi
hf, gi = hf, gi
RU
B
Ejemplo 2.20. En C([0, 1], R) definimos la distancia d1 entre dos funciones f, g por
d1 (f, g) = sup {|f (x)
g(x)| : x 2 I}.
(2.24)
h(x)| |f (x)
g(x)| + |g(x)
h(x)|
(2.25)
y por tanto,
sup |f (x)
x
h(x)|
(2.26)
38
Espacios metricos
Ejemplo 2.21. C([0, /2], R) con la norma k k1 no es euclidiano. Consideremos el par de funciones f (t) = cos(t) y g(t) = sen(t). Entonces
kf k1 = kgk1 = 1,
con lo cual
kf
kf + gk21 + kf
2,
p
sen(t) := 1,
01
Ejemplo 2.22. De manera mas general: sean (Y, d) un espacio metrico con unaQ
metrica acotada
J
d y J un 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}.
-2
Ejercicios 2.2
NO
IA
2. Muestre que una metrica d en un espacio vectorial real X proviene de una norma si y solo
si es compatible con la estructura lineal del espacio, esto es, si se satisface:
a) d(x + a, y + a) = d(x, y), para todo a, x, y 2 X (invarianza por traslacion).
RU
B
b) d( x, y) = | |d(x, y) para
2 R, x, y 2 X (homogeneidad ).
Sugerencia: Defina kxk = d(x, 0). Por supuesto no toda metrica en un espacio vectorial
proviene de una norma; por que?
Por lo anterior, dado un espacio vectorial, entre las normas arbitrarias y los espacios metricos
homogeneos e invariantes por traslacion, existe una correspondencia biunvoca natural.
3. Rnp o lpn no es euclidiano si p 6= 2 la norma no puede ser generada por un producto escalar.
Sugerencia: considere el par de vectores u = (1, 1, 0, . . . , 0) y v = (1, 1, 0, . . . , 0).
4. El siguiente ejercicio generaliza los ejemplos 2.6 y 2.20. Sea X conjunto. La coleccion
E = {f | f : X ! R, acotada}
es un espacio vectorial con las operaciones usuales de suma de funciones y multiplicacion
por escalar. Para cada f 2 E definimos
kf k = sup |f (x)|.
x2X
(2.27)
39
1
X
n=1
|xn
yn | p
! p1
Dado un espacio metrico (X, d), existen unos subconjuntos relevantes de el, capaces de describir
a los vecinos de un punto controlando la distancia grado de cercana y que ademas seran los
encargados de definirnos la topologa inherente a la metrica.
-2
01
Definici
on 2.23. Sean x 2 (X, d) y " > 0 un n
umero real. Los conjuntos
(2.28)
(2.29)
(2.30)
IA
NO
RU
B
Ejemplo 2.24. 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.3) donde una bola puede tener otras formas, pero al fin bolas.
Ejemplo 2.25. En el espacio (C([0, 1]), d1 ) (ejemplo 2.20) las bolas abiertas toman una forma
muy especial (fig. 2.4), son franjas abiertas llenas de todos los segmentos continuos imaginables
40
Espacios metricos
no se alza la mano del papel al trazarlos i. e., dados " > 0 y f 2 C(I, R), la bola B" (f ) consiste
de todas las funciones que permanecen estrictamente dentro del area acotada por las funciones
f ", f + ".
f+
01
1
0
|f (x)
-2
g(x)|dx
(2.31)
NO
> 0}
(2.32)
RU
B
IA
"
Demostracion. Sean B (x), B" (y) dos bolas y p 2 B (x) \ B" (y). Si r > 0 es tal que r < m,
donde m = mn{
d(p, x), " d(p, y)}, la bola Br (p) esta contenida en la interseccion de las dos
bolas dadas (fig. 2.5). En efecto, veamos primero que Br (p) B (x); a partir de la desigualdad
41
d(p, x) + d(p, x) .
De manera similar se muestra la otra contenencia.
Definici
on 2.27. 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.
01
-2
NO
Una metrica induce una base, as que la pregunta 2 puesta en terminos de bases nos conduce
a la siguiente definicion.
IA
Definici
on 2.28. Dos metricas d, m en un conjunto X se dicen topol
ogicamente equivalentes notamos d m si generan la misma topologa; esto es, hdi = hmi.
RU
B
La primera contenencia hdi hmi de la igualdad hdi = hmi implica que cada bola en d se puede
expresar como una union de bolas en m, y lo recproco para la otra contenencia.
En
terminos
mas
explcitos,
dada
B"d (x)
una bola cuadrada en d y un punto y con y 2 B"d (x), es posible encontrar una bola B m (y) redonda en m y de centro en y de
tal manera que
y 2 B m (y) B"d (x).
Tambien debemos tener lo recproco para la otra contenencia. Por que podemos escoger la bola
B m (y) de suerte que resulte centrada en y? Mas a
un, para la equivalencia topologica entre dos
metricas nos podemos reducir a la respectiva contenencia de bolas centradas en el mismo punto;
esto es, para cada x 2 X dada B"d (x) existe B m (x) B"d (x) y viceversa.
Definici
on 2.29. Un espacio metrico (X, d) es acotado si la funcion d es acotada. De manera
mas general, dado A (X, d) definimos el di
ametro de A como
diam(A) := sup{d(x, y) : x, y 2 A}.
42
Espacios metricos
d(x, y)
.
1 + d(x, y)
01
-2
1+r
NO
El ejemplo anterior muestra que el espacio topologico asociado a X por medio de las metricas d
y e es el mismo. Luego la propiedad de acotamiento es exclusivamente metrica, que la perdemos
cuando pasamos a estructuras mas generales, como es el caso de la topologica.
IA
Definici
on 2.31. Decimos que dos metricas d, m para un mismo conjunto X, son m
etricamente equivalentes o fuertemente equivalentes (ver teorema 2.32) si existen dos n
umeros
reales positivos s, t tales que para todo par de puntos x, y 2 X se satisface
(2.33)
RU
B
las notamos k k1 k k2 .
43
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. Mas a
un, es posible demostrar que en un espacio
vectorial normado de dimension finita, todas las normas son equivalentes.
n
Ejemplo 2.34. Las metricas l1n , l2n y l1
son topologicamente equivalentes. Para esto, basta mostrar la desigualdad
1p
(x) Br1 (x) Br2 (x) Br1 (x).
Br/
2
01
-1
-2
0.5
0.5
NO
-0.5
IA
-0.5
-1
RU
B
Para el caso del plano, al graficar las bolas B1 ((0, 0)) para cada una de las metricas dp , obtenemos la figura 2.6 donde, en la medida en que p crece, obtenemos una deformacion 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 justificacion de la notacion d1 para la metrica del sup la obtenemos del siguiente teorema.
Teorema 2.35. Para cada x = (x1 , . . . , xn ) 2 Rn se tiene que
lm kxkp = max{|x1 |, . . . , |xn |} = kxk1 .
p!1
(2.34)
(2.35)
(2.36)
44
Espacios metricos
Como n1/p ! 1 cuando p ! 1, tenemos nuestro lmite. Notemos que la desigualdad en 2.36
muestra que para cada p la norma k kp es equivalente a k k1 , con lo cual todas las k kp son
equivalentes en Rn , esto es, inducen la misma topologa.
K En la definicion de la metrica d
01
Ejemplo 2.36. Una maquina para construir metricas equivalentes. Dados un espacio metrico
(X, d) y una funcion 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.
-2
Verifiquemos, antes de todo, que m = f d definida como m(x, y) = f (d(x, y)) es una metrica.
NO
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,
RU
B
IA
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?
45
01
-2
K Ningun espacio topologico (X, T) finito y no discreto es metrizable. En otras palabras, si (X, d) es metrico con X finito, siempre tenemos que hd i = discreta.
NO
Ejercicios 2.3
IA
1. Muestre que la relacion de equivalencia topologica para las metricas es en efecto una relacion
de equivalencia.
2. Como son las bolas en la metrica del mensajero? ver pag. 30.
RU
B
3. A partir de la definicion de elipse en la metrica usual, como es una elipse, una circunferencia,
una recta para la metrica del taxista?
4. Dados dos espacios metricos (X, m), (Y, n) muestre que las metricas d1 , d2 , d1 (ejercicio 1
de 2.1) son equivalentes.
Sugerencia: para todo par de puntos x, y 2 X Y se verifica
d1 (x, y) d2 (x, y) d1 (x, y) 2d1 (x, y).
1
0
|f (x)
g(x)|
p1
46
Espacios metricos
El estudio de estas metricas se sale de las pretensiones de este texto. Pero para el caso
concreto de p = 1, 2 muestre que efectivamente se trata de metricas y que
a) hd1 i * hd2 i.
b) hd2 i hd1 i.
c) hd1 i * hd1 i.
d ) hd1 i * hd1 i.
Sugerencia caso a: Para la desigualdad triangular en d2 apoyese en la desigualdad de Schwartz
Z b
2 Z b
Z b
2
f (t)g(t)dt
f (t)dt
g 2 (t)dt.
a
01
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
NO
-2
Note que cada gn tiene un segmento de recta en el eje X cada vez mas largo. Es facil ver
que
r
1
d2 (0, gn ) =
3n
mientras que d1 (0, gn ) = 1.
y
......
...........
... ...
........................
........... ....
.. . ..
................. ......
....
.. ...... ...
...
.. .
....
.. ........ .....
...
.
.
.. .. .. ...
....
.
... .. ...
...
....
... ... ... ...
...
.. ... ... ...
....
... ... ...
....
... .. ... ...
...
. .... .... ....
....
.
...
.
.
.
.
... .. ... ...
....
...
.. .... .... ....
....
...
... ...
...
... .. ..
.
.
....
...
.. ... ...
...
...
... ...
....
...
..
... ...
...
...
..
....
... ...
...
...
... ...
....
...
...
... ...
...
...
..
... ...
....
...
.
...
.
.
...
... ..
...
....
...
... ....
...
..
...
....
... ...
...
...
... ...
...
....
...
.. ..
.
RU
B
IA
Luego la bola B1/2 (0) en d1 de centro la funcion nula y con radio 1/2, no contiene a ninguna gn , con lo cual, no existe en d2 alguna
bola centrada en la funcion nula, que pueda
estar contenida en B1/2 (0) ya que 1/3n ! 0
cuando n ! 1.
1
n
1 1
4 3
1
2
Sugerencia caso c:
tome = ".
Sugerencia caso d :
considere la sucesion de funciones continuas
{gn } definidas como
(
1
4nx + 4 si 0 x 2n
gn (x) =
1
2
si 2n
x 1.
Para la funcion constante f (x) = 2 verifique
/ B11 (f ).
que cada gn 2 B 11 (f ) y gn 2
n
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.
3
Bases y numerabilidad
Un espacio (X, T) puede poseer muchas bases, siendo la mayor de todas la misma T. Cuando en
un espacio tenemos en cuenta la cardinalidad de las bases, motivamos las siguientes definiciones,
cuyos nombres responden mas a un caracter historico que descriptivo.
01
3.1. 2-contable
-2
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 condicion impone una cota al n
umero de abiertos en la topologa (ver ejercicio 12 de la pag.
51). Tambien nos dice que la topologa puede ser descrita en terminos de un n
umero contable de
piezas de informacion.
NO
Ejemplo 3.2. Ru es 2-contable. Por supuesto la base formada por todos los intervalos abiertos
no es enumerable, pero de ella podemos extraer la subfamilia enumerable
B = {(p, q) : p < q, p, q 2 Q}.
IA
RU
B
Ejemplo 3.3. (R, cof initos) no es 2-contable. Si existiera una base enumerable B = {BS
1 , B2 , . . .},
c
cada
Bn de la base es un abierto y por tanto X \ Bn es finito,
T elemento
T con lo cual i=1 Bn =
c
( i=1 Bn ) es un conjunto enumerable, luego existe un elemento y 2 n=1 Bn y como R \ {y} es
un abierto, debe existir un j 2 N con Bj contenido en el, pero esto es imposible ya que para todo
n 2 N se tiene y 2 Bn .
Ejemplo 3.4. X = (RN , primeriza) no es 2-contable (ver ej. 4 de la pag. 31). Recordemos que en
este espacio lo que importa es el comportamiento inicial de las sucesiones, a diferencia de lo usual
en sucesiones, donde importa el comportamiento final. Si existiera una base B = {B1 , B2 , . . .}, por
cada n 2 N tomamos un elemento (i. e., una sucesion) tn = (tnk )1
otese que la sucesion
k=1 2 Bn . N
{tn1 }1
est
a
conformada
por
la
primera
coordenada
de
cada
una
de
las
anteriores
sucesiones tn .
n=1
Construimos ahora la sucesion q = (qn ) en la cual q1 6= tn1 para cada n, con lo que la primera
componente de q es diferente de la primera componente de cada una de las sucesiones tn , lo que
implica tn 2
/ B1/2 (q) para todo n, puesto que al diferir q y tn en su primera componente, ya estan
lo mas lejanas posible, esto es d(q, tn ) = 1. As que ninguna Bn de la base puede estar contenida
en B1/2 (q).
Ejemplo 3.5. El espacio H de Hilbert es 2-contable.
Definimos una base B enumerable de la manera siguiente.
S
Sea D = Dn , (n 2 N) donde
48
Bases y numerabilidad
k=N +1
|qk
tk | <
"2
,
9N
01
-2
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
NO
3.2. 1-contable
IA
El concepto de base para un espacio lo podemos localizar en un punto tener una definicion
local de la manera siguiente.
RU
B
Definici
on 3.6. 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.7. 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.
Demostracion. )) 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.
KLa clase de espacios topologicos que a continuacion definimos es mas amplia que la de
49
3.2 1-contable
Definici
on 3.8. Un espacio (X, T) se dice 1-contable o que satisface el primer axioma de
enumerabilidada si cada punto del espacio posee una base local enumerable.
a
Esta clasificaci
on se debe al matem
atico estadounidense Robert L. Moore (Dallas 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.
Ejemplo 3.9. Todo espacio metrico es 1-contable. Dado x 2 X, la familia de las bolas abiertas
Bx = {B 1 (x) : n 2 N},
n
-2
01
Bx = {B 2 B : p 2 B}
Ejemplo 3.10. Todo espacio 2-contable es 1-contable. Si B T es una base enumerable para un
espacio (X, T) y p 2 X, el conjunto
NO
Ejemplo 3.11. El espacio T!p del ejemplo 1.12 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.
IA
Definici
on 3.12. 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.13. [Lindelofa ] Sea (X, T) un espacio 2-contable. De cada cubrimiento abierto U
de X podemos extraer un subcubrimiento contable.
Ernst Leonard Lindel
of (1870-1946), matematico finlandes, nacido en Helsinki.
RU
B
Demostracion. Sea B = {B1 , B2 , . . .} una base para X. En B consideramos el siguiente subconjunto de ndices:
S = {n : Bn U, alg
un U 2 U}.
Sabemos que la coleccion enumerable C = {Bn : n 2 S} cubre a X, pues dado x 2 X, existe
U 2 U con x 2 US. Como B es base, existe Bk 2 B con x 2 Bk U , luego k 2 S y por tanto
Bk 2 C y as x 2 C.
Por cada n 2 S elegimos Un 2 U tal que
Un . Definimos D el subcubrimiento contable
SBn S
como D := {Un : n 2 S}. Claramente C D y por tanto D es un cubrimiento de X y
D U.
Demos nombre a la propiedad anterior.
Definici
on 3.14. 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.15. (R, coenumerables) es de Lindelof y no es 2-contable.
50
Bases y numerabilidad
p
2
Ejemplo 3.16. El espacio o recta de Sorgenfrey (R, [a, b)) es 1-contable y no es 2-contable. En
efecto, el conjunto Bx = {[x, q) : q 2 Q, q > x} es una base local enumerable para cada x 2 R .
Dado un intervalo [q, s) con q irracional, solo otro intervalo de la forma q 2 [q, a) con a < s
puede contener al punto q y estar contenido en [q, s). Por tanto, toda base debe tener un cardinal
mayor o igual al cardinal de los n
umeros irracionales.
-2
01
Ejemplo 3.17. El espacio o recta de Sorgenfrey (R, [a, b)) es de Lindelof. Consideremos un cubrimiento A formado por conjuntos abiertos basicos [a, b). Entonces la coleccion de los correspondientes (a, b) en R con la topologa usual, no tiene por que ser un cubrimiento, pero como Ru es
2contable, podemos encontrar una subcoleccion contable de estos intervalos abiertos que tiene
exactamente la misma union que todos los (a, b). Solo falta entonces cubrir los enumerables puntos
que hacen falta.
NO
Corolario 3.19. Sea (X, T) un espacio 2-contable. Entonces cualquier base Q = {Qi : i 2 I}
se puede reducir a una base enumerable. Esto es, no tan solo existe una base enumerable en el
espacio, sino que cualquiera posee una parte enumerable que tambien es base.
RU
B
Ejercicios 3.2
IA
51
3.2 1-contable
01
17. Muestre que en espacio metrico (X, d) las propiedades de 2-contable y Lindelof son equivalentes.
-2
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.
18. Muestre que si un espacio tiene un subespacio discreto no contable entonces no es 2-contable.
Utilice este resultado para mostrar que (I I, lexicografico) no es 2-contable.
RU
B
IA
NO
4
Funciones comunicacion entre espacios
01
Hasta aqu hemos definido y tenemos lo que podramos llamar los objetos de nuestra teora,
es decir, as como en la teora de conjuntos los objetos principales son los conjuntos, no basta
el que ellos existan para que la teora sea valorada: necesitamos contar con un medio o una
manera de relacionar los conjuntos entre s, esto es, requerimos las flechas de las funciones, para
que as podamos llegar a conceptos como los de cardinalidad, infinito, isomorfismo, producto
cartesiano, etc.
NO
-2
Por tanto necesitamos de flechas o medios de comunicacion entre nuestros espacios topologicos.
Como ellos primariamente son conjuntos, nuestras flechas, en su base, seran funciones entre estos
conjuntos. Pero debemos enriquecerlas en el sentido que tengan en cuenta la estructura topologica
adicional que hay en cada espacio; por eso, requerimos funciones con un adjetivo como lo da la
siguiente definicion.
Definici
on 4.1. Sea f : (X, T) ! (Y, H) una funcion entre espacios. Dado a 2 X decimos
que f es continua en a si dada una vecindad Vf (a) en Y existe una vecindad Ua en X tal que
f (Ua ) Vf (a) .
IA
RU
B
Ejemplo 4.2. La definicion de continuidad del calculo coincide con esta definicion cuando a los
n
umeros reales les damos la topologa usual.
La anterior definicion puntual de continuidad es equivalente a la siguiente definicion dada
exclusivamente en terminos de abiertos.
Teorema 4.3. 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.
Demostracion. )) 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
[
f 1 (V ) = {Ux | x 2 f 1 (V )}.
() Sean x 2 X y V 2 H tales que f (x) 2 V . Como x 2 f 1 (V ) 2 T y f (f
tenemos que f es continua en x, y como x fue cualquiera, f es continua.
(V )) V ,
53
Por supuesto la continuidad no es algo que dependa exclusivamente de la funcion en s; las topologas son determinantes como lo muestran los siguientes ejemplos.
Ejemplo 4.4.
6. La funcion f (x) =
01
Para el caso de los espacios metricos la definicion de continuidad adopta la siguiente forma,
mas familiar en terminos de distancias.
-2
Definici
on 4.5. Sean (X, d), (Y, m) dos espacios metricos. Decimos que f : X ! Y es
continua en el punto a de X si y solo si para todo " > 0 existe > 0 tal que, si x 2 X satisface
d(a, x) < entonces m(f (a), f (x)) < ". En otras palabras,
x 2 B d (a) implica f (x) 2 B"m (f (a)).
NO
Ejemplo 4.6. Sean X un conjunto cualquiera y (Y, d) un espacio metrico. Una funcion f : X !
(Y, d) se dice acotada si el conjunto f (X) es acotado en (Y, d). Sobre el conjunto
B(X, Y ) = {f | f : X ! (Y, d) es acotada },
IA
RU
B
gk1 .
Un tipo de continuidad mas fuerte que la usual se define para los espacios metricos de la
manera siguiente.
Definici
on 4.7. 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)) < ".
> 0 dependiendo u
nicamente de
", con lo que es 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)).
54
Ejemplo 4.8. Sean (X, d), (Y, m) dos espacios metricos. Una funcion 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.
f es uniformemente continua. Dado " > 0 tomemos = "/k. Para d(x, y) < se tiene que
m(f (x), f (y)) kd(x, y) < k < ". Si k = 1, esto es, m(f (x), f (y)) = d(x, y) decimos que f es
una isometra es continua e inyectiva. Si f es sobreyectiva entonces f 1 es una isometra
con lo que los espacios resultan homeomorfos.
Ejemplo 4.9. Por supuesto toda funcion uniformemente continua es continua. Pero lo contrario
no se tiene:
-2
01
Ejemplo 4.10. Una funcion tan simple como f : Ru ! Ru definida por f (x) = x2 es continua
pero no lo es uniformemente. En efecto, para " = 1 no existe tal que |x y| < implique
1
1
|x2 y 2 | < 1 para todo par x, y; por ejemplo para x = + , y = . Pero si x2 es restringida a un
2
"
intervalo cerrado y acotado [ A, A] entonces s es uniformemente continua, pues |x y| <
2A + 1
implica
"
|x2 y 2 | = |x + y||x y| 2A
<"
2A + 1
x
para x, y 2 [ A, A]. Contrario a la anterior funcion, las funciones x 7! x + 1 y x 7!
de R
1 + x2
en R s lo son.
NO
IA
sentido de que cambiando la metrica d sobre el espacio (X, d) por una metrica d
topologicamente equivalente, podemos hacer que una funcion continua f sea o no uniformemente continua.
RU
B
De acuerdo con el ejercicio 11 de la pagina 68, desde un punto de vista estrictamente topologico,
todas las funciones continuas entre espacios metricos resultan ser en un sentido uniformemente
continuas. Aunque parezca extra
no, podemos cambiar la metrica del espacio en el dominio por
una equivalente que nos produzca la uniformidad.
Ejemplo 4.11. Sea A (X, d). Dado x 2 X, definimos la distancia d(x, A) de x a A como
d(x, A) := nf{d(x, a) : a 2 A}.
d(y, A) d(x, y)
d(y, A)
d(x, A) d(x, y)
55
|d(x1 , x2 )
01
Similarmente d(y1 , y2 )
NO
Ejemplo 4.14.
-2
R
R
R1
Ejemplo 4.13. En (C(I, R), sup) la funcion I : C(I, R) ! R definida por I (f ) = 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 .
La funcion
IA
RU
B
Ejemplo 4.15. M
etricas ex
oticas para R. Sean X un conjunto y (Y, m) un espacio metrico.
Dada una funcion inyectiva f : X ! Y , definimos una metrica d llamada la metrica inducida
por la funcion f como
d (x, y) := m(f (x), f (y)),
1
x
y
f . Por ejemplo, d (x, y) =| arctag(x) arctg(y) |, | e
e |, o en el caso de considerar R>0
obtenemos | 1/x 1/y |.
Pero cuales de estas metricas resultan equivalentes a la usual?
Si f : (X, d) ! (Y, m) es un homeomorfismo f es
biyectiva y tanto f como f 1 son continuas entonces la metrica d (x, y) := m(f (x), f (y)) es equivalente
a la metrica d. Para ello basta ver que la funcion identidad idX : (X, d) ! (X, d ) es un homeomorfismo
ejercicio 4 pag. 56.
(X, d)
(Y, m)
@
@
id
X
@
@
R
(X, d )
En el caso de la funcion tan : ( /2, /2) ! R y su inversa arctan, obtenemos que la metrica
usual es equivalente a la metrica d (x, y) = | arctan(x) arctan(y) | (ver pagina 45). De manera
similar para | ex ey |.
56
Ejercicios 4.1
1. La compuesta de funciones continuas es continua.
2. Muestre que f : (X, T) ! (Y, H) es continua si f
((a, b)).
4. Sean (X, d), (X, m) dos espacios metricos. Muestre que d y m son topologicamente equivalentes
si
y
solo
si
las
funciones
identidad
idX : (X, d) ! (X, m) y idX : (X, m) ! (X, d) son continuas.
01
-2
7. Sea (X, J ) un espacio para el cual toda f : (X, J ) ! Ru es continua. Muestre que J es
la discreta.
NO
! Y estrictamente creciente
IA
RU
B
Las definiciones de espacio topologico y funcion continua satisfacen los siguientes numerales:
1. Se definio una clase de objetos Top, llamada los espacios topologicos.
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 }
57
Definici
on 4.16. Una categora (O, M) consiste de 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:
1. Para cada tro A, B, C de objetos existe la composicion de morfismos denotada por
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
este definida.
(g
f ) = (h
g)
tal que
1. La clase de todos los conjuntos y las funciones entre conjuntos es una cate-
01
Ejemplo 4.17.
gora.
3. Para cada objeto A 2 O existe un morfismo identidad idA 2 M or(A, A) con la propiedad
que es neutro para la operacion de composicion.
-2
NO
3. Dado un conjunto X y un orden parcial sobre X, si tomamos como objetos los elementos
de X y como morfismos M or(x, y) el conjunto unitario, o el conjunto vaco, seg
un sea que
x este o no relacionado con y, obtenemos una categora.
IA
El concepto de categora puede ser visto como una abstraccion a las propiedades compartidas por una gran variedad de sistemas en matematicas. Ha llegado a ser tambien un
area de las matematicas puras con su propio interes. Brevemente, una categora es un
campo del discurso matematico, caracterizado de una manera muy general y por lo tanto
su teora puede ser utilizada como un conjunto de herramientas que pueden atravesar un
espectro muy amplio de la vida matematica.
RU
B
Cuando una propiedad del espacio tambien pasa a los subespacios, decimos que la propiedad
es hereditaria; por ejemplo, la propiedad de poseer una base enumerable es hereditaria, al igual
que poseer una base enumerable en un punto. Otro ejemplo de una propiedad que se hereda a los
subespacios es la metrizabilidad.
Proposici
on 4.18. Si (X, T) es un espacio metrizable, entonces para cada A X la topologa
TA de subespacio es de nuevo metrizable.
Demostracion. 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
S que un abierto V de 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 B
las bolas abiertas en d|AA son base para la topologa inducida TA .
d|AA
58
-2
01
Ejercicios 4.3
IA
NO
RU
B
5
Filtros, convergencia y continuidad
01
5.1. Filtros
-2
Recordemos que el conjunto V(x) de las vecindades de un punto x en un espacio (X, T) satisface
las propiedades: 1) La interseccion de dos vecindades es una vecindad cerrado para intersecciones
finitas 2) Si Vx es una vecindad de x entonces cualquier conjunto W tal que Vx W es de nuevo
una vecindad cerrado para superconjuntos.
NO
La siguiente definicion, que se debe a H. Cartan en 1937, es dada en el espritu de estas dos
propiedades.
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,
IA
2. Si F 2 F y F G entonces G 2 F.
RU
B
Ejemplo 5.2. Dados un espacio (X, T) y un punto x 2 X, el conjunto V(x) de las vecindades de
x es un filtro para X.
Definici
on 5.3. 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 .
Usualmente los filtros se definen dando tan solo algunos de sus elementos, a partir de los cuales
los demas 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.
1
Para el estudio de la convergencia en los espacios topologicos en general, las sucesiones ordinarias (i. e., funciones
definidas sobre los n
umeros naturales) son demasiado restrictivas. Hoy en da existen dos generalizaciones, una es
el concepto de filtro, introducido por Henri Cartan, la otra es el concepto de red, introducido por Moore y Smith.
Las dos teoras son equivalentes, pero si uno aprende la de filtros, estoy seguro que todo mundo estara de acuerdo
que esta es de lejos la manera m
as natural y elegante de hacer las cosas.
59
60
La definicion de base de filtro no es puntual, como en el caso de la definicion de base para una
topologa.
Teorema 5.4. B 2X es una base para un u
nico filtro F de X si y solo si satisface:
1. ; 2
/ B y B 6= ;,
2. Si B1 , B2 2 B entonces existe B3 2 B con B3 B1 \ B2 .
Al filtro F lo denotamos como F = hBi y lo llamamos el filtro generado por B. Es el filtro
mas peque
no que contiene a B.
01
F := {F X | B F para alg
un B 2 B} = h B i.
Demostracion. Definimos
-2
NO
IA
Ejemplo 5.5. Sea A X. B = {A} es una base de filtro. El filtro generado FhAi = hA i se llama
filtro principal asociado a A. El caso en que A = {a} un conjunto unitario es un ejemplo
interesante.
RU
B
Ejemplo 5.6. Dados un espacio X y x 2 X, el conjunto de las vecindades abiertas es una base
de filtro para el filtro V(x). Notese que V(x) hxi.
Ejemplo 5.7. Sea B 2N el conjunto de las colas de N, esto es
61
5.2 Ultrafiltros
Definici
on 5.10. Sean X 6= ; y B1 , B2 dos bases de filtro en X. Decimos que son equivalentes
si hB1 i = hB2 i 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?.
Ejemplo 5.11. Dado un filtro F en X, T = F [ {;} es una topologa llamada filtrosa.
En general, si F, G son dos filtros sobre X tales que F G, decimos que G es mas fino que
F este concepto corresponde al de subsucesion. Esta relacion define un orden parcial
sobre el conjunto F il(X) de todos los filtros sobre X, y por supuesto tendremos derecho
de hablar de todas las definiciones conexas a un orden.
-2
01
En particular F il(X) es inductivo, esto es, toda cadena tiene una cota superior
por que? luego sera posible zornificar como en el teorema 5.13. Si admitimos el filtro
impropio }(X) (a los demas filtros los llamamos propios) entonces F il(X) resulta ser un
retculo completo.
5.2. Ultrafiltros
NO
Definici
on 5.12. 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.13. Dado un filtro F en X, existe un ultrafiltro U en X tal que F U.
IA
RU
B
S
M se ordena por la inclusion. Sea H una cadena en M. Si definimos H = M, i. e., H es la
reunion 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.
o fijo (los otros ultrafiltros se llaman no principales o libres). Fuera de este ejemplo
no conocemos mas ultrafiltros de manera concreta; los demas tendran la garanta de
existir pero no los conoceremos.
Definici
on 5.14. Un filtro F sobre X se llama libre si
F 2F
= ;.
Por tanto, los filtros principales no son libres. Se puede mostrar que un filtro F sobre X es libre
si y solo si es mas fino que el filtro de Frechet asociado a X.
Como podemos reconocer si un filtro dado es un ultrafiltro?
62
Proposici
on 5.15. Un filtro U en X es un ultrafiltro si y solo si dado A X entonces A 2 U
o Ac 2 U.
Demostracion. () 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}
01
Proposici
on 5.16. Sean U un ultrafiltro en X y A, B X. Si A [ B 2 U entonces A 2 U
o
B 2 U.
-2
NO
K La anterior demostracion nos indica una manera de crear nuevos filtros a partir de
IA
RU
B
63
5.2 Ultrafiltros
Ejercicios 5.2
1. Muestre que un filtro F sobre X es una familia de subconjuntos no vacos de X que satisface
la condicion
A \ B 2 F , A 2 F y B 2 F.
2. Dado un conjunto ordenado (X, ) las colas x "= {y : x
-2
01
4. Tiene la anterior construccion alguna relacion con el espacio de Arens-Fort? (Pag. 29).
5. Dados un conjunto X y p 2 X, muestre que para cada ultrafiltro U en X la siguiente familia
de subconjuntos define una topologa
{p}
NO
G(p, U ) := 2X
[ U.
IA
F \ A := {F \ A | F 2 F}
RU
B
(A) : A 2 F}
64
5.3. Sucesiones
Recordemos que una funcion f : N ! X se llama una sucesi
on en X y la denotamos por
(xn ) donde xn = f (n).
01
Definici
on 5.20. 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.
-2
NO
Ejemplo 5.21. En R con la topologa cofinita casi todas las sucesiones convergen, las u
nicas
sucesiones no convergentes son las sucesiones en las cuales existe mas de un punto que se repite
de manera infinita existe mas de una subsucesion constante.
Ejemplo 5.22. En (R2 , lexi) la sucesion ( n1 , n12 ) no converge al punto (0, 0). Para que una sucesion
converja a (0, 0), debe hacerlo a lo largo de una recta vertical que pase por (0, 0).
IA
Ejemplo 5.23. El espacio del disco tangente, plano de Moore o semiplano de Niemytzki, se
debe a Niemytzki, 1928 (ver fig. 5.1).
RU
B
65
5.3 Sucesiones
Definici
on 5.24. Decimos que el espacio X es de convergencia u
nica si dada cualquier
sucesion (xn ) que converge, ella lo hace a un u
nico punto.
Proposici
on 5.25. Si X es un espacio de Hausdor entonces X es de convergencia u
nica.
Demostracion. 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 ) esta en Vx y casi toda (xn ) esta en Vy ,
y esto no puede suceder a menos que x = y.
El recproco de la proposicion anterior no se tiene puede dar un ejemplo? a menos que el
espacio sea 1-contable.
01
Proposici
on 5.26. Sea X un espacio 1-contable. Si X es de convergencia u
nica entonces X es
de Hausdor.
-2
NO
Definici
on 5.27. 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.
Ejemplo 5.28. Un espacio discreto es de convergencia trivial.
IA
RU
B
1. Ninguna sucesion 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 sucesion puede converger a w. Si xn ! w entonces cada fila contendra, a lo mas,
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.
Por supuesto, este espacio no es discreto y ademas no es 1-contable precisamente en el punto w,
pues de existir una base local Bw = {B1 , B2 , . . .}, por cada i 2 N existe xi = (mi , ni ) 2 Bi con
mi , ni > i; esto es, cada elemento de la base posee un punto tan arriba y tan a la derecha de la
diagonal como queramos. Luego el conjunto Uw = (X {xi | i 2 N}) [ {w} es un abierto y por
supuesto ning
un Bn satisface Bn Uw .
Las funciones continuas tienen la propiedad que respetan la convergencia en el sentido de la
siguiente proposicion.
Proposici
on 5.30. Sea f : (X, T) ! (Y, H) una funcion continua entre espacios. Si xn ! x
entonces f (xn ) ! f (x).
Demostracion. 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 sucesion.
66
Cuando una funcion 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.
Teorema 5.31. Una funcion f : (X, d) ! (Y, m) entre espacios metricos es continua si y solo
si dada xn ! x entonces f (xn ) ! f (x).
Demostracion. 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.
01
-2
Teorema 5.32. Para los espacios 1-contable, la continuidad secuencial es equivalente a la continuidad en general.
NO
IA
RU
B
Definici
on 5.34. Sea F un filtro en (X, T). Decimos que F converge al punto x 2 X si F es
mas fino que el filtro de vecindades de x. Lo notamos F ! x.
Ejemplo 5.35.
1. Si X es un espacio y x 2 X, el filtro principal Fx ! x. Si X tiene la
topologa discreta, Fx converge no solo a x sino a cualquier otro punto.
2. En Ru el filtro Fcof initos no converge, pues todo punto tiene vecindades que no pertenecen
al filtro.
En un espacio metrico (X, d) la topologa generada por la metrica puede describirse completamente
en terminos de la convergencia de sucesiones; esto es, un subconjunto A X es cerrado si y solo
si, dada (xn ) una sucesion de puntos en A con xn ! x, entonces debemos tener que x 2 A. Este
resultado no se generaliza a espacios topologicos arbitrarios.
Por ejemplo el conjunto A = (0, 1) no es cerrado en R, con la topologa de los coenumerables,
y sin embargo satisface la propiedad, i. e., toda sucesion en A que es convergente lo hace a un
punto en A solo convergen las sucesiones constantes.
En los espacios topologicos, en general, no podemos caracterizar el ser de Hausdor al menos
sobre los que no son 1-contable en terminos de la convergencia usual de sucesiones. Necesitamos
entonces de un mecanismo de convergencia no en terminos de sucesiones. Veremos que los filtros
nos proporcionan este mecanismo.
67
5.3 Sucesiones
K La razon por la cual las sucesiones no son adecuadas es que, al tomar un punto
Sea x un punto en un espacio X. Por Conv(x) notamos el conjunto de todos los filtros
F convergentes a x. Todos los filtros en Conv(x) son mas finos
T que V(x) el filtro de
vecindades de x, y como V(x) 2 Conv(x), tenemos que V(x) = F Conv(x). Esto significa
que la topologa de un espacio puede ser determinada por la convergencia de los filtros.
te.
01
Definici
on 5.36. Sea (xn ) una sucesion en el espacio X y para cada n 2 N consideremos la
cola Xn = {xn , xn+1 , . . .}. Definimos F(xn ) el filtro asociado a la sucesi
on como
-2
F(xn ) esta constituido por todos los subconjuntos de X que contienen a casi toda la sucesion.
NO
IA
() Si cada vecindad esta contenida en el filtro asociado a la sucesion, entonces dada una Vx
existe una cola Xn tal que Xn Vx .
RU
B
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.38. Sea f : X
coleccion
es una base para un filtro en Y notado f (F), es decir, hf (F)i = f (F). Si f es sobre f (F) =
f (F). Ademas f preserva el orden la contenencia entre filtros.
Demostracion. Es claro que cada elemento de f (F) es no vaco. Dados G1 , G2 elementos de f (F),
existen F1 , F2 2 F con f (F1 ) = G1 , f (F2 ) = G2 . Como F1 \ F2 2 F tenemos f (F1 \ F2 )
f (F1 ) \ f (F2 ).
Si f es sobre, veamos que f (F) es un filtro. Supongamos que H Y es tal que G H para
alg
un G 2 f (F). Existe F 2 F para el cual f (F ) = G. Luego F f 1 (G) y f 1 (G) 2 F, as pues,
F f 1 (H) y por tanto f 1 (H) 2 F. Pero f (f 1 (H)) = H por ser f sobre y esto muestra que
H 2 f (F).
Para mostrar que f es monotona, es suficiente mostrar que para todo filtro F se tiene A 2
f (F) si y solo si f 1 (A) 2 F. (Ejercicio)
68
Ejercicios 5.3
01
-2
2. Muestre que (R, coenumerables) y (R, discreta) tienen el mismo tipo de convergencia de
sucesiones.
3. Muestre que si (X, T) es de convergencia trivial entonces es T1 . Se tiene el recproco?
4. Muestre que si (X, T) es mas fino que (X, coenumerables) entonces es de convergencia trivial.
NO
IA
RU
B
Este espacio es T1 pero no T2 ya que los puntos x1 , x2 no pueden ser separados. La funcion
inclusion f : N ,! X dada por f (m) = m converge tanto a x1 como a x2 .
7. Sea (X, ) un conjunto linealmente ordenado y considere la topologa Tad . Si X tiene un
elemento mnimo, entonces todo filtro es convergente.
8. Muestre que en (R, cof initos) todo ultrafiltro es convergente.
9. Como es la convergencia en (N N, lexicografico)?
10. Sea F un ultrafiltro en N mas fino que el filtro de Fr`echet. En el conjunto RN de todas las
sucesiones en R, definimos la siguiente relacion: (an ) (bn ) si y solo si {n | an = bn } 2 F.
Muestre que es de equivalencia. El conjunto R := RN / de las clases de equivalencia es
un modelo de los n
umeros reales no estandar. Demuestre que esta relacion es consistente con
las operaciones de suma, multiplicacion y orden asociado a las sucesiones. R es un modelo
de un cuerpo ordenado no completo.
11. 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))
muestre que d, d son topologicamente equivalentes y, ademas, d hace de f una funcion
uniformemente continua. Sugerencia: muestre que d, d son equivalentes si
xn ! x en (X, d) si y solo si xn ! x en (X, d ).
6
Espacios de identificacion cociente
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.
01
-2
NO
IA
sea por supuesto continua y de la mejor manera, i. e., de manera que X/R tenga la mayor cantidad
posible de abiertos y q sea continua.
RU
B
Definici
on 6.1. Dados un espacio (X, T) y una relacion R definimos la topologa cociente
T/R para X/R como
T/R := {V X/R : q 1 (V ) es un abierto de X}.
Ejemplo 6.3. Cinta de Mobius 1 . Muchos espacios se construyen a traves de otro identificando
algunos puntos; por ejemplo, M la cinta de Mobius.
1
Esta superficie fue encontrada en 1858 por el matematico y astronomo aleman, August Mobius (1790-1868).
M
obius fue estudiante y profesor de la Universidad de Leipzig. Curiosamente, el escrito que Mobius present
o a la
Academie des Sciences en el cual discuta las propiedades de una superficie de una sola cara solo fue encontrado
despues de su muerte.
69
70
01
-2
NO
IA
(0, y)
(3, 1
y)
RU
B
La construccion anterior, hecha sobre una relacion de equivalencia, puede ser tambien descrita
en terminos de la particion.
71
Definici
on 6.4. Sea (X, T) un espacio y sea R = {Ai } una particion o descomposicion 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 mas 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 1 (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.
01
La continuidad para estos espacios identificacion esta determinada por la continuidad desde el
espacio inicial, como afirma el siguiente teorema de gran utilidad en topologa.
q
f q
X/R
f
@
R ?
@
NO
-2
IA
RU
B
{f
La funcion cociente q
:
X
!
X/Rf satisfa1
ce q(x)
=
[x]
=
f (f (x)); luego la funcion
hf : X/Rf ! Y dada por hf ([x]) := f (x) o hf (f 1 (y)) = y esta
bien definida y es una biyeccion.
X
@
@
f
X/Rf
h
f
@
@
R ?
@
(U )) = f
(U ),
72
es un homeo-
(y) es continua?
(V ) 2 T}.
-2
TYf = {V Y | f
01
Definici
on 6.8. 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
La topologa cociente algunas veces se llama la topologa final con respecto a la funcion f .
K La topologa T
Y
f
IA
NO
RU
B
El siguiente teorema generaliza al teorema 6.5 y ademas caracteriza la topologa cociente TfY
como la u
nica topologa sobre Y con estas dos propiedades.
Teorema 6.9. Si Y tiene la topologa cociente TYf para la funcion
f : (X, T) ! Y . Entonces
1. f : (X, T) !
(Y, TYf )
2. Una funcion g : Y
es continua, y
@
@
g f
@
R ?
@
(TYf ) T (teo-
73
X/Rf
-2
hf
@
@
R ?
@
01
Demostracion. Veamos que hf es abierta, esto es, hf 1 es continua. Sea U un subconjunto abierto de X/Rf . Como f es una funcion 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.
K Como podemos reconocer las funciones cociente? i. e., bajo que condiciones una
NO
IA
Teorema 6.12. Sea f : (X, T) ! (Y, H) continua y sobre. Si f es abierta o cerrada, entonces
f es una funcion cociente, i. e., H= TfY .
Demostracion. Debemos ver que H = TYf . Claramente H TYf por la definicion de TYf .
RU
B
74
01
-2
NO
como f (x, y) = (e2ix , e2iy ) donde e2ix := (cos 2x, sin 2x) y e2iy := (cos 2y, sin 2y). La
relacion Rf en [0, 1] [0, 1] definida por la funcion f , es decir
Rf = {f
(a) : a 2 T }
IA
RU
B
ya que como [0, 1] [0, 1] es compacto y S 1 S 1 es de Hausdor, f resulta ser una identificacion.
Ejemplo 6.16. Nuevamente en X = [0, 2] [0, 2] nuestra hoja de papel consideramos una
relacion definida como en el esquema de la figura 6.6, donde los lados verticales nos producen
el cilindro y los lados horizontales identifican la base de la botella con su boca pero en sentido
contrario como lo habamos hecho en la cinta de Mobius y es aqu donde surge la imposibilidad
de realizacion en tres dimensiones; y hablamos de botella ya que esta construccion se conoce como
botella de Klein
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 Mobius, pero el coser estos dos bordes es imposible en nuestro
universo tridimensional, aunque cada borde no sea mas que una circunferencia intentelo!
75
NO
-2
01
RU
B
Ejercicios 6.1
IA
1. Muestre que la topologa cociente es en efecto una topologa y que es la mas fina para la
cual la funcion proyeccion es continua.
2. Muestre que un subconjunto es cerrado para la topologa cociente si es la imagen de un
conjunto saturado y cerrado.
3. Sean , relaciones de equivalencia sobre los espacios X, Y respectivamente. Dada una
funcion 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 funcion bien definida y continua.
(B).
b) Como 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?
76
7. Muestre que una biyeccion continua es una funcion cociente si y solo si es un homeomorfismo.
RU
B
IA
NO
-2
01
8. Muestre que la topologa TYf es la mejor mas fina que hace a f continua.
[f,g]
H
Y
HH
pX
X Y
pY
-2
HHg
H
j
H
01
7
La topologa producto
IA
NO
RU
B
K 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 vision sintetica del concepto.
78
La topologa producto
(X, T), (Y, H) dos espacios topologicos, el producto X Y de los dos espacios debe tener una
topologa que haga que las dos proyecciones sean morfismos topologicos, es decir, las dos funciones
pX : X Y ! X y pY : X Y ! Y deben ser continuas.
Como pX debe ser continua, dado un abierto U X, pX1 (U ) = U Y debe ser abierto en
X Y ; similarmente pY 1 (V ) = X V debe ser abierto si V lo es en Y . As que tanto U Y
como X V deben ser abiertos, y puesto que queremos una topologa en X Y la interseccion
de los abiertos tendra que ser un abierto, i. e., (U Y ) \ (X V ) = U V debe ser un abierto
de X Y .
Proposici
on 7.1. Dados (X, T), (Y, H) espacios, la coleccion
B = {U V : U 2 T, V 2 H}
01
-2
NO
IA
RU
B
pi 1 (Ui ) = X1 X2 Ui Xn = Ui
Xj
j6=i
se denominan cilindros abiertos. De suerte que los elementos de la base generada (llamados
cajas abiertas) son de la forma
B = U1 U2 Un .
(7.1)
Ejercicios 7.2
79
4. Se puede localizar el anterior ejercicio para obtener una base local en el punto (x, y) 2 X Y
a partir de bases locales para x y y respectivamente?
5. Muestre que el producto finito de espacios 2contable es un espacio 2contable.
6. Muestre que si A es cerrado en X y B es cerrado en Y entonces A B es cerrado en X Y .
Se tiene la recproca?, i. e., es todo cerrado un producto de cerrados?
Sugerencia: (X Y )/(A B) = ((X/A) Y ) [ (X (Y /B)).
7. Sean A un subespacio de X y B un subespacio de Y . Muestre que la topologa producto
para A B es la misma topologa que el subconjunto A B hereda como subespacie de
X Y.
10. Es pX : X Y
01
-2
11. * Sean (X, <), (Y, <) dos conjuntos ordenados linealmente. Muestre que si Y no tiene maximo 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
mas fina que la producto X< Y< .
NO
, (a, b)) =
x<a
{x} Y
({a} (
, b)) .
IA
12. 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.
RU
B
Y
i2I
Xi ! Xj ,
80
La topologa producto
De manera analoga al caso finito, la topologa producto para una familia {(Xi , Ti )}, (i 2 I) de
espacios topologicos debe garantizar que las proyecciones sean continuas;
Q es decir, dados i 2 I y
cualquier Ui abierto de Xi el subconjunto pi 1 (Ui ) debe ser abierto en i2I Xi .
As que definimos como topologa producto la generada por la subbase S conformada por
los cilindros abiertos pi 1 (Ui ), exactamente
S = {pi 1 (Ui ) | Ui 2 Ti , i 2 I}.
De suerte que los abiertos U que conforman
son las cajas abiertas formadas por la
Tn la base
1
interseccion de finitos cilindros, i. e., U = k=1 pik (Uik ) o, de manera equivalente,
Y
i2I
Xi , i 6= i1 , i2 , . . . , in .
RU
B
IA
NO
-2
01
Esto es, U es un producto donde todos los espacios coordenados son los Xi salvo para un n
umero
finito de ndices ik donde tenemos abiertos propios de cada uno de los espacios indizados. Finalmente, un abierto de la topologa producto algunas veces llamada topologa producto de
Tychono 1 , sera todo lo que podamos expresar como union de cajas abiertas.
Una manera practica de visualizar los elementos de la subbase es presentar cada espacio Xi
como un segmento de recta mirarlo de lado? y observar que pi 1 (Ui ) consiste de todas las
funciones (xi ) en el producto que asignan a cada ndice j 6= i un punto cualquiera de Xj pero
a la coordenada i le debe asignar un punto dentro del abierto Ui ; esto es, tenemos todas las
funciones que pasan a traves del intervalo Ui ubicado en la recta vertical que representa al espacio
coordenado Xi . (Ver fig. 7.2).
Ejemplo 7.2. Topologa caja. Para el caso infinito el producto arbitrario de abiertos cajas
infinitas no tiene por que ser un abierto en la topologa producto de Tychono, pues solo para
1
Andrey Nikolayevich Tychono (1906-1993), matematico ruso, celebre por introducir esta topologa en 1929 y
demostrar el teorema que lleva su nombre, el cual tambien esta asociado a una clase de espacios.
81
....
.........
.........
..
..
..
......... .
..
..
..
.. .........
........ ....
.
.
.
.
.
.
.......
.
..
.
.
.
.
.....
......
...
...
...
...
..
........
......
..
..
..
..
........
............................................
... ...
..
..
..
.. ................
.........
.
.
...........
.
.......
.
.
.
.
.
.
.
............ ..............
.
..
.
.
.......
.
.
................. .........................
.
..
........ .. .......
...
.
.
.
......... ..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.......
.
.
...... ..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
........... .
............ ...
...
....
.
.
.
.
.
.
.
.
.
.
.
.
.
.........
......
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.
.
.
.
.
.
........................
........ ..........
..
.
.
.
.
.
........... ...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... .......
..
.
.
.
.
.
.
.
.
.
.
........
.
......
...................... ................ ...........
..................
.. ...
.. .....
..
.............
..................................................................
.
.....
...
..
..
..
.......
............................................................................. ............
..
.....
..
................................................................................
.
..
.......
.
.
.
.
.
.
.
.
.
.
.
..
.
.
.
..
..
.
.
.
.
......
..
.
.
.
.
.
.
.
.
.
...................................................... ... ................
..
.
.
..
.....
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.
.
.
.
.
.
..
.
.............
.....
..
.... ...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.
.
.....
.
.
.
.....
... .........
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...
.. ....... ...............
.
..
.
.
.
....
..
.
.
.
.
.
.
.
.
.
.
..
.
... ..................
.. ..........................
.. ....................
.
.....
...........................................
.............................
..
...
..
......
.....
.
..
.
.
.
.......
..
...
...
...
....
.......
......
..
..
..
..
...... ....
..
..
..
..
...... ..
..
..
..
..
......
..
..
..
..
..
... .......
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
.
.
.
.
.
...
..
X2
X3
Xi
X1
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
....
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
.
01
i2I
-2
finitos ndices estos factores abiertos pueden ser diferentes del espacio. Si tomamos como base para
una nueva topologa los conjuntos que sean producto arbitrario de abiertos, esto es, definimos Ui
una caja, como
Y
Ui :=
Ui , con Ui abierto en Xi
IA
NO
obtenemos la llamada topologa caja2 , la cual posee mas abiertos que nuestra topologa
producto y por tanto la contiene. Por supuesto, en el caso de un n
umero finito de ndices, la
topologa caja coincide con la topologa producto.
Q
A menos 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:
Posee demasiados abiertos si lo que queremos es hacer a las proyecciones continuas.
RU
B
Demostracion. Por la definicion de producto cartesiano es inmediato que cada proyeccion 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 basicos de X, puesto que para toda funcion la
2
Introducida por H. Tietze en Beitrage zur allgemeinen topologie I, Math. Ann. 88, 280-312, (1923), e hist
oricamente anterior a la introducida por Tychono.
82
La topologa producto
01
Definici
Q on 7.4. Una propiedad 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.
-2
Q
Teorema 7.5. Un espacio producto i2I Xi satisface la propiedad Tk de separacion (k = 0, 1, 2)
si y solo si cada factor Xi es un espacio Tk .
NO
RU
B
IA
() Si a = (ai ), b = (bi ) son dos puntos diferentes existe al menos un ndice j 2 I tal que
aj 6= bj . Si Xj es T2 existen vecindades Vaj , Vbj abiertas y disyuntas. Los abiertos Ua = pj 1 (Vaj )
Q
y Ub = pj 1 (Vbj ) son disyuntos en el producto y ademas a 2 Ua , b 2 Ub ; por tanto, i2I Xi es
de Hausdor. Si lo que tenemos en cada espacio factor es la propiedad T0 o T1 , procedemos de
manera similar.
Si el conjunto de ndices I es enumerable finito o infinito, la propiedad 1contable es productiva.
Q
Teorema 7.6. Un espacio producto X = i2I Xi es 1-contable si y solo si cada factor Xi es
1-contable y, a excepcion de un n
umero contable de ndices, todos los espacios tienen la topologa
grosera.
Demostracion. )) 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.
Supongamos que existe J I, J no enumerable para el cual la topologa en cada Xj (j 2 J)
no es la grosera, i. e., existe una vecindad abierta no trivial Vj 6= Xj . Definimos x = (xi ) con la
condicion que para las coordenadas j 2 J, xj 2 Vj . Como X es 1contable, existe una Bx base
83
local enumerable, y por cada Bn 2 Bx tenemos pi (Bn ) = Xi excepto para finitos ndices i, ya que
Bn contiene a un elemento de la base de la topologa.
Al variar n en los Bn , la union enumerable de estos finitos ndices es enumerable, y como J
no es enumerable, existe un ndice j 2 J para el cual pj (Bn ) = Xj para todo Bn 2 Bx . Pero para
este j sabemos que existe Vj 6= Xj , luego pj 1 (Vj ) es una vecindad abierta de x para la cual no
existe alg
un Bn pj 1 (Vj ) y esto contradice a Bx como base local.
() Supongamos que cada espacio factor Xi es 1enumerable y que ademas existe K I
subconjunto enumerable tal que si i 2 I K entonces Xi es grosero. Dado x = (xi ) 2 X veamos
que existe una base local enumerable Bx de x. Por cada xi sea Bxi una base local enumerable en
Xi claramente Bxi = {Xi } si i 2 I K. Sea
B = {pi 1 (U ) | i 2 I, U 2 Bxi }
01
la coleccion de las preimagenes de todas las bases locales que hemos considerado. B es enumerable ya que para i 2 I K tenemos pi 1 (U ) = X. Definimos Bx como la familia de todas las
intersecciones finitas de elementos de B con lo cual Bx es enumerable y es base local en x.
-2
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
NO
i2I
IA
i2N
RU
B
Cada factor Ri es 1contable pero el espacio producto X no lo es. Pues de existir una base
local
Q Bn0 =n {B1 , B2 , . . .} en el punto 0 = (0)n la sucesion constante a cero con cada Bn =
i2N (ai , bi ), se tiene que para la vecindad
Y an b n
n
V0 =
, n
2 2
n2N
no existe Bn V0 .
El siguiente espacio producto conjunto de las sucesiones digitales es toda una fuente de
contraejemplos.
Ejemplo 7.8. El producto infinito de espacios discretos no necesariamente es discreto.
Sean ({0, 1}, discreta) y X = {0, 1}N . Veamos que el conjunto unitario B cuyo u
nico elemento
es la sucesion constante a cero B = {0} = {(0)n } no es un abierto en la topologa producto.
Como
B
es
un
conjunto
unitario
lo
podemos
expresar
como
Q
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 7.9. El cubo X = [0, 1][0,1] no es 1-contable.
Dado y 2 X, supongamos que tenemos una base local contable B = {B1 , B2 , . . .} en el punto y.
Como cada Bm es un abierto, pi (Bm ) = I excepto para un n
umero finito de ndices i 2 I, digamos
84
La topologa producto
im1 , . . . , imk ; cuando m vara en los enteros positivos, e.d., consideramos a todos los elementos de
la base B, obtenemos una coleccion enumerable de conjuntos enumerables de n
umeros y como I
no es enumerable, existe io tal que pio (Bm ) = I para todo m. As, si U es una vecindad abierta de
yio la coordenada io de y con U 6= I, pio1 (U ) es una vecindad abierta de y, la cual no puede
contener a ning
un Bm puesto que en la coordenada io , Bm tiene a I mientras que pio1 (U ) tiene a
U.
Ejercicios 7.4
1. Muestre que la topologa producto es en efecto la mejor que hace las funciones proyeccion
continuas.
01
2. Muestre que la imagen por una funcion continua y abierta de un espacio 1contable es un
espacio 1contable.
-2
3. Muestre que la imagen por una funcion continua y abierta de un espacio 2contable es un
espacio 2contable.
4. Es el producto de espacios groseros un espacio grosero?
NO
RU
B
IA
85
Qn
i=1
Ri , Ri =
"
Ui = y 2 R : |xi y| < p
= B"/pn (xi ) R.
n
(xi
ui ) 2
i=1
!1/2
<
"
p
n
2 !1/2
-2
d(x, u) =
n
X
01
= ".
yi |
n
X
i=1
|xi
yi | 2
!1/2
IA
|xi
NO
RU
B
El siguiente teorema muestra que el producto finito de espacios metricos es de nuevo un espacio
metrico.
Teorema 7.11. Sean (X1 , d1 ), (X2 , d2 ), . . Q
. , (Xn , dn ) espacios metricos. Entonces la topologa
producto proviene de una metrica en X = ni=1 Xi .
Qn
i=1
n
X
i=1
Xi
Qn
i=1
di (xi , yi)2
Xi ! R
!1/2
86
La topologa producto
1
X
d (xi , yi )
i
2i
i=1
mn{1, di (xi , yi )} = 2
mn{1, di (yi , xi )}
0,
-2
01
luego
d(x, y) = d(y, x)
0.
NO
2. d(x, y) = 0 si y solo 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.
3. Por cada i 2 N tenemos
IA
luego
RU
B
lo que implica
Veamos ahora que la topologa generada por esta metrica es la topologa producto. Primero veamos
d
que la topologa generada esta contenida en la producto. Sea
un elemento de la base.
P1B" (x)
i
Escojamos p
1 lo suficientemente grande para satisfacer
2
<
"/2. Para cada i 2 N
i=p
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
es un abierto de la topologa producto que contiene al punto x. Ademas V B"d (x) pues dado
87
y2V
d(x, y) =
2 i di (xi , yi )
i 0
p 1
X
i=0
i"
i=0
i p
p 1
<
2 i di (xi , yi ) +
"
4
i p
<
i p
" "
+
= ".
2 2
Q
dn
01
n2N
Un y
-2
Para " = mn{"1 /2, . . . , "k /2k } la bola B"d (x) U , pues si y es tal que d(y, x) < " entonces
dn
di (xi , yi ) < 2i " "i para cada i = 1, 2, . . . , k y esto implica yni 2 B"i i (xni ) para cada
i = 1, , k; luego y 2 U .
NO
Q
Corolario 7.13. Para cada n 2 N sea In = [0, 1]. El producto n2N In = I N llamado el
cubo de Q
Hilbert
1 1es metrizable. Otra presentacion del cubo de Hilbert es mostrarlo como el
producto n2N
, .
n n
IA
Q
Ejemplo 7.14. 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.
RU
B
i2I
88
La topologa producto
01
Ejemplo 7.17. Podemos identificar la recta real R con el subespacio R {0} de R2 , al plano R2
con R2 {0} R3 , etc.
-2
Ejercicios 7.6
1. Sean {Xi }i2I y {Yi }i2I familias de espacios y fi : Xi ! Yi una funcion continua para cada i.
Entonces la funcion
Y
Y
Y
f=
fi :
Xi !
Yi
NO
Xi
Yi .
IA
1
d((xn ), (yn )) = sup{ dn (xn , yn )}
n
RU
B
4. Muestre que la proposicion 7.15 junto con el hecho que las proyecciones son continuas caracteriza a la topologa producto.
89
X
..
.
X1
f2
X2
X3
fi
X4
Xi
-2
01
solucion, 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
NO
La topologa inicial nos sirve para caracterizar las funciones continuas que llegan a X; en
efecto, tenemos el siguiente teorema.
IA
Teorema 7.18. Sea (X, T) un espacio donde T es la topologa inicial debil inducida por la
familia G = {fi : X ! Xi | i 2 I}. Una funcion g : Y ! X donde Y es un espacio, es continua
si y solo si la compuesta fi g : Y ! X ! Xi es continua para cada i 2 I.
Demostracion. )) Si g es continua claramente tambien lo son las funciones compuestas fi g.
RU
B
() 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 . As g 1 (U ) = g 1 (fi 1 (Vi )) = (fi g) 1 (Vi ) es
abierto por hipotesis.
Proposici
on 7.19. Sea X un conjunto y G = {fi : X ! (Xi , Ti )}i2I una coleccion 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.
Demostracion. )) Ya hemos demostrado que T satisface la propiedad universal.
90
La topologa producto
X3
X4
Xi
..
.
X2
01
f2
fi
-2
X1
NO
IA
De manera dual a la subseccion anterior, queremos que dado un conjunto X junto con una coleccion
de funciones G = {fi : (Xi , Ti ) ! X}i2I , se pueda encontrar la mejor topologa final para X
(la topologa indiscreta {;, X} es una solucion, pero no es la mejor); esto es, la topologa mas
fina o menos gruesa como se trata del codominio sera la mayor en el orden de inclusion, la que
mas abiertos posea que garantice la continuidad de cada fi ; lo que queremos entonces es que el
conjunto U sea abierto en X si para cada i se tiene que fi 1 (U ) es abierto en Xi .
Esta topologa final TG se define como
RU
B
Ejercicios 7.7
91
01
4. Dada una coleccion {(X, Ti )}i2I de topologas, como se puede expresar el nf de estas
topologas en terminos de la topologa inicial?
5. Para la funcion f : R ! Ru , f (x) = x2 , como es la topologa inicial?
-2
Sugerencia. Los abiertos seran los abiertos en el sentido usual que ademas son simetricos con
respecto al origen.
NO
! X}i2I ,
b) TG es la topologa mas fina sobre X que hace continua a cada una de las fi : Xi ! X.
c) Caracterice los cerrados en TG en terminos de la coleccion G.
RU
B
IA
7. Enuncie una proposicion para las topologas finales que sea dual a la proposicion 7.19.
8
Posicion de un punto respecto a un conjunto
-2
01
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 mas 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.
NO
Definici
on 8.1. Sean (X, T) un espacio y F X. F se llama cerrado si su complemento F c
es abierto.
Ejemplo 8.2. En Ru los intervalos cerrados [a, b] son conjuntos cerrados.
IA
Por supuesto un conjunto no tiene por que ser abierto o cerrado, por ejemplo, el subconjunto
N en (R, cof initos). Tampoco estos adjetivos son excluyentes, pues en un espacio discreto todo
conjunto es simultaneamente abierto y cerrado, i. e., aberrado. En (R, Sorgenf rey) los miembros
de la base [a, b) son aberrados.
RU
B
Ejemplo 8.3. En un espacio (X, T), a partir de las leyes de De Morgan podemos inferir:
1. ; y X son cerrados.
Ai es cerrado.
S
J finito es una coleccion de cerrados entonces j Aj es cerrado.
i
93
Ejemplo 8.5. Los cerrados del subespacio A son las intersecciones de los cerrados de X con A.
Sean (X, T) un espacio y A X donde A hereda la topologa de subespacio. Un M A es cerrado
en A si M = F c para un F abierto de A, esto es M = F c = (A \ U )c donde U es abierto de X;
luego, M = Ac [ U c y por tanto M \ A = (Ac [ U c ) \ A = U c \ A con lo cual M = N \ A donde
N = U c es cerrado de X.
Definici
on 8.6. Sean (X, T) un espacio y A X. Decimos que b 2 X es un punto adherente
o adherido a A, si b no puede ser separado del conjunto A por ninguna de sus vecindades.
Esto es, para toda Vb se tiene Vb \ A 6= ; efectivamente b esta adherido a A.
01
-2
Teorema 8.7. Sean (X, T) un espacio y A X. A es el menor cerrado que contiene a A, i. e.,
\
A = {F : F es cerrado y A F }.
IA
NO
T
Demostracion. 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 hipotesis 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 8.8. Sean (X, T) un espacio y A, B X. Entonces
RU
B
1. ; = ;.
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.
Demostracion. Se deja como ejercicio.
Ejemplo 8.9. La propiedad 7 del corolario 8.8 no es verdad mas alla del caso finito, a
un en el
1
caso de una union enumerable. Por ejemplo, si cada An = { n } entonces
[
[
[1
1
:n2N =
An 6=
An = {0}
:n2N ,
n
n
n
n
94
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.
Ejemplo 8.10. Si X es un espacio infinito con la topologa de los cofinitos y A X entonces
A = X si A es infinito.
Ejemplo 8.11. La topologa para R determina la adherencia de [0, 1]. Por ejemplo, cofinitos o
coenumerables satisfacen [0, 1] = R.
Ejemplo 8.12. En (I I, lexi), la lnea A sobre el x-eje, i. e.,
A = {(x, y) : 0 x 1, y = 0},
-2
01
tiene como puntos adherentes, a mas del propio A, los que estan en la lnea de la parte superior
del cuadrado excepto la esquina (1, 1), esto es, A = A [ {(x, y) : 0 x < 1, y = 1}.
NO
RU
B
IA
En T1 hay menos abiertos y por tanto menos cerrados que en T2 . Por esta razon, la interseccion
de todos los cerrados en T1 que contienen a A no puede ser mas peque
na que la interseccion de
todos los cerrados en T2 que contienen a A.
Proposici
on 8.14. Sean (X, d) un espacio metrico y A X. Para x 2 X, x 2 A si y solo si
d(x, A) = 0.
Demostracion. )) 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.
() Sea d(x, A) = 0 Si existe Vx con Vx \ A = ;, entonces existe n 2 N tal que B1/n (x) Vx
estas bolas forman una base local y as B1/n (x) \ A = ;, lo cual contradice d(x, A) = 0.
Si el espacio es 1-contable, las sucesiones caracterizan la adherencia.
Proposici
on 8.15 (Lema de las sucesiones). Sean (X, T) un espacio 1contable y A (X, T).
x 2 A si y solo si existe una sucesion (xn )n con xn 2 A tal que xn ! x.
95
Ejemplo 8.16. Si el espacio no es 1-contable, la anterior caracterizacion de la adherencia no siempre es cierta. Este es el caso para los n
umeros irracionales I si consideramos a (R, coenumerables)
no es 1-contable I = R pero no existe una sucesion (xn ) en I con xn ! 2.
El siguiente ejemplo muestra la utilidad de la proposicion 8.15.
Ejemplo 8.17. (RN , caja) no es metrizable ya que no se tiene el lema de las sucesiones.
01
-2
1. K(;) = ;.
IA
2. A K(A) expansion.
NO
En 1922 el matematico 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:
RU
B
i2I
96
T
T
T
con lo cual K i2I Vic i2I K(Vic ) i2I Vic y esto junto con la contenencia en 2 nos dice que
S
S
c
K
= ( i2I Vi )c .
i2I Vi
La unicidad de T es clara, pues la definicion determina la unicidad de los cerrados, que son aquellos
para los cuales F = K(F ).
Ejemplo 8.19. Sea X un conjunto con mas de un elemento. Dado p 2 X definimos K(A) =
A [ {p}, K(;) = ;. K satisface los axiomas del teorema anterior. Como es la topologa generada?
01
-2
NO
IA
RU
B
i2I
Q
Q
Q
Demostracion. Veamos que i2IQ
Ai i2I Ai . Sea x 2 i2I Ai y Vx una vecindad
Q abierta del
punto x = (xi ). 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= ;,
i2I
luego x 2
i2I
i2I
i2I
i2I
Ai .
i2I
97
..
..
..
p (A)..
..
..
A
.
.
......
...
.............. ..........................
.
......................................................
.....................................
.....................................
.....................................
.....................................
.................................
. ...........................
..................... .
...
.................p.....(A)
................................
Figura 8.2: A
i2I
pi (A).
01
... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ........................................
......
.......
...
.....
.......... .............
........
....
.......
....
......
....... ............
.....
...
.
.
...........
.
...
.
.
...
..
.
...
...
...
..
..
..
...
...
.
...
.......
.
..
. ..
....
.. ....
... ..
.. ..
.
... ......
.
.. ..
.....
.
.....
......
..
..
.....
......
..
..
.......
........
.
.
.
.
.
.
.
.
..........
.
.
.
.
.
.
.
.
.
.
.
.
...
.
.
.
... ... ... ... ... ....... ... ... ... ... ... ... ... .................................................................
.
..
..
...
...
.
.
..
..
...
...
.
.
..
..
..
..
...
...
.
.
-2
Q
Q
para cada i, luego i2I Ai i2I Ai recuerde que si pX (AB) M y pY (AB) N entonces
A B M N (ver fig. 8.2).
i2I
i2I
IA
Demostracion. )) Sea
NO
i2I
i2I
(8.2)
i2I
RU
B
Ai =
Ai =
i2I
Ai .
(8.3)
i2I
Ejercicios 8.1
98
01
-2
NO
IA
Si A (X, T) es claro que todo punto que esta en A es un punto adherido a A. Pero como
caracterizar aquellos puntos que estan adheridos a A no solo por el hecho de pertenecer al conjunto?
Estos son puntos donde el conjunto A se acumula en el sentido de la siguiente definicion.
RU
B
Definici
on 8.23. 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}.
El conjunto de puntos de acumulacion de A lo notamos Aa y lo llamamos derivado de A,
Aa = {x | x es un punto de acumulacion de A}.
{x}) \ A = ;, y
99
3. En (X, 2X ) se tiene X a = ;.
4. En un espacio X el conjunto {a} es abierto si y solo si a 2
/ X a.
01
5. En general Aa no es conjunto cerrado. Para X = {x, y, z}, T = {;, X, {x, y}, {z}} y A = {x}
tenemos Aa = {y}.
Aunque Aa no siempre es cerrado, en los espacios de Hausdor si lo podemos garantizar.
-2
Proposici
on 8.27. Si (X, T) es un espacio de Hausdor, entonces Aa es cerrado para todo A
subconjunto de X.
NO
Demostracion. De acuerdo con el corolario 8.25 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 .
IA
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 (Vx {y}) \ A; claramente
z 2 (Vx {x}) \ A con lo que x 2 Aa .
Las funciones continuas e inyectivas respetan los puntos de acumulacion.
RU
B
Proposici
on 8.28. Sean (X, T), (Y, H) espacios y f : X ! Y continua e inyectiva. Si A X
a
y x 2 A entonces f (x) 2 f (A)a f (Aa ) f (A)a .
Demostracion. 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
;=
6 f ((Ux
{x}) \ A) f (Ux
{f (x)}) \ f (A)
100
Definici
on 8.29. Sean (X, T) un espacio y A X. Decimos que b 2 X es un punto aislado
de A si existe una vecindad Vb en X para la cual Vb \ A {b}. Es decir, existe una vecindad
del punto b que no contiene puntos de A diferentes de b mismo.
Ejemplo 8.30. En Ru consideremos:
1. El subconjunto Z. Si n 2 Z entonces
{n} = Z \ (n
1
1
, n + ).
2
2
01
-2
Proposici
on 8.31. Dado (X, T) un espacio y A X. (A, TA ) es discreto si y solo si cada punto
de A es aislado.
NO
IA
Ejercicios 8.2
RU
B
a) Si A B entonces Aa B a .
b) (A)a = Aa para A X.
c) (A [ B)a = Aa [ B a para A, B X.
S
S
d ) i2I Aai ( i2I Ai )a , Ai X.
2. En contraposicion 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 8.27 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.
5. Sea f : X ! Y una funcion uno a uno entre espacios topologicos; f es continua si y solo
si f (Aa ) f (A)a para todo A X.
6. Sea f : X ! Y una funcion entre espacios. f es un homeomorfismo si y solo si f (Aa ) =
f (A)a para todo A X.
7. Muestre que el conjunto de puntos de acumulacion de una union de conjuntos no es necesariamente la union de puntos de acumulacion de cada uno de los conjuntos.
101
b) Ais(A) [ Aa = A.
c) Ais A Ais(A).
d ) Ais(A) = ; si y solo si A Aa .
A = {x : x es interior a A}.
-2
NO
Definici
on 8.32. 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
01
Proposici
on 8.33. Sean (X, T) un espacio y A X. A es el mayor abierto contenido en A.
S
IA
A donde la familia
RU
B
A = {Ui X : Ui A y Ui es abierto}.
A.
102
4. X = X.
5. A [ B (A [ B) .
Demostracion. Se deja como ejercicio.
Cualquier operador I : 2X ! 2X que satisface las propiedades de la anterior proposicion genera
una topologa G sobre X definida por
G = {A X : I(A) = A}
y para esta topologa I(A) = A .
01
Definici
on 8.36. Sean (X, T) un espacio, A X y b 2 X. Decimos que b es un punto
exterior a A si existe una vecindad Vb tal que Vb Ac .
El conjunto de los puntos exteriores a A se llama exterior de A y lo notamos Ext(A):
-2
NO
IA
RU
B
Proposici
on 8.38. Sean (X, T) un espacio y A X. X es la union disyunta
X = A [ F r(A) [ Ext(A).
Ejercicios 8.3
1. Continuidad en terminos del interior. Una funcion f : X
f 1 (B ) (f 1 (B)) para cada B Y .
! Y es continua si y solo si
103
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).
F r(A).
i ) F r(A) = {x | x 2
/A yx2
/ (Ac ) } = A [ (Ac )
-2
01
3. Muestre que:
g) F r A
! Y es continua si y solo si
NO
5. Para (R2 , verticales) y (R2 , lexicografico) como es la adherencia, interior, frontera y exterior
de los siguientes conjuntos?
a) {(0, 0)}.
c) S 1 .
IA
RU
B
g) R {0}.
h) {0} R.
i ) Q Q.
=A .
! Ru es
104
01
() Si X no fuera discreto, existe un punto x tal que {x} no es abierto, y por tanto X
es denso.
{x}
-2
Definici
on 8.43. Sea (X, T) un espacio. Decimos que X es separable si existe A X enumerable y denso.
NO
IA
RU
B
Ejemplo 8.46. (R, cof initos) es un espacio separable pues N = R, pero ya sabemos que (R, cof initos)
no es 2-contable.
(R, coenumerables) no es separable. Si D R fuera denso y enumerable, entonces R
abierto, y por tanto para x 2 R D se tiene que x 2
/ D.
D es
Proposici
on 8.47. Si (X, d) es un espacio metrico y separable, entonces es 2-contable.
Demostracion. Sea D = {d1 , d2 , . . .} un subconjunto denso en X. La coleccion B = {B 1 (dm ) :
n
m, n 2 N} es una base enumerable para la 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
x 2 B 2" (dm ) B" (x) U
pues si t 2 B 2" (dm ) entonces d(t, x) d(t, dm ) + d(dm , x)
"
2
+ 4" .
105
01
L = {(x, x) : x 2 R}
-2
NO
..................................
. . . . . ..
.....
..... . .. . .. . .. . .. . .. ....
..... . . . . . . . . . . ...
..... . . . . . . . . . . ...
.
RU
B
IA
...
...
..
...
...
...
...
...
...
..
......................................................
.....
.....
.....
.....
.....
.....
.....
.....
.....
x
.....
.....
.
106
y sea
E=
Em .
n2N
Em =
1n<m
Dn
n m
{xn }
1n<m
n m
n2N
Xn contiene un abierto
01
Cada conjunto
-2
NO
IA
Ejemplo 8.52. El producto arbitrario de espacios separables no siempre es separable. Para cada
i sea Xi = ({0, 1}, discreta) donde I = 2R es el conjunto de ndices. Veamos que el producto
Y
R
X = {0, 1}2 =
Xi
i2I
RU
B
107
01
-2
NO
IA
RU
B
Dado que #(X) 2! y X es 1contable, X tiene una base la union de todas las bases
locales de cardinalidad menor o igual a
N 2! = #(N) c = c = 2! .
!
Luego el n
umero de conjuntos abiertos en X es a lo mas 22 . Ademas, 22 es la mejor cota
sobre el n
umero de conjuntos abiertos para estos espacios. Por ejemplo R2 con la topologa de
Sorgenfrey (ver ej. 8.49).
Si solo asumimos que (X, T) es un espacio de Hausdor y separable, la mejor cota para
!
2!
la cardinalidad de X es 22 y la mejor cota para el n
umero de abiertos en X es 22 .
De otra parte, 2! es una cota para el n
umero de funciones continuas de X en R. En efecto,
sea S un subconjunto denso y contable de X. El n
umero de funciones de S en R es a lo mas
! !
!
(2 ) = 2 . Si f, g son funciones continuas de X en R, que coinciden sobre S, entonces f = g. El
hecho de que X sea de Hausdor no se usa en este argumento.
Ejercicios 8.4
108
01
5. Para el caso de R+ = R [ {!} con el filtro de Fr`echet, este espacio no es separable pero s
es de Lindelo.
-2
8. Dado un espacio (X, T), decimos que M X es diseminado o denso en ninguna parte si
(M ) = ;.
a) Muestre que Z es diseminado en (R, usual). En (R, cof initos)?
b) M es diseminado si y solo si (M )c es denso.
RU
B
IA
NO
9
Compacidad
Iniciamos este captulo recordando el celebre teorema del calculo conocido con el nombre de
Heine-Borel-Lebesgue1 el cual resalta una propiedad importante (si no la mas) de los intervalos
cerrados y acotados de R que permite restringir el estudio de los cubrimientos abiertos de estos
intervalos a cubrimientos finitos; esto es, tenemos una condicion sobre el cardinal.
-2
i2I
01
Definici
on 9.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 .
Si existe J I tal que {Uj }, (j 2 J) es tambien cubrimiento de A, a la familia {Uj }j2J la
llamamos un subcubrimiento de U .
NO
IA
RU
B
M es no vaco y esta 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
union 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 .
Esta propiedad de los intervalos cerrados y acotados de R la generalizamos a los espacios topologicos y con la siguiente definicion2 le damos nombre.
109
110
Compacidad
Definici
on 9.3. Un espacio (X, T) se dice compacto si cada cubrimiento abierto de X admite
un subcubrimiento finito.
A X esScompacto si AScomo subespacio de X es compacto; i. e., dado un cubrimiento
abierto A i2I Vi A = i2I (Vi \ A) es reunion de abiertos del subespacio, existe una
S
S
subfamilia finita Vi1 , Vi2 , . . . , Vik tal que A ki=1 Vik ; esto implica A = nk=1 (Vik \ A).
01
Supongamos que una gran multitud de personas posiblemente infinitas estan afuera bajo la lluvia, y que cada una de estas personas usa su sombrilla, claramente ellas
permaneceran 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.
Ejemplo 9.4. Si X es un conjunto finito toda topologa es compacta.
-2
Ejemplo 9.5. (R, cof initos) es compacto pues dado un cubrimiento abierto U , tomemos U 2 U;
como U c es finito necesitamos adjuntarle a U tan solo finitos miembros de U para obtener un
subcubrimiento abierto.
NO
Ejemplo 9.6. Ru no es compacto pues el cubrimiento abierto formado por la coleccion (n 1, n+1)
para n 2 Z no tiene un subcubrimiento finito.
Ejemplo 9.7. Para un conjunto infinito X y a 2 X, (X, T a ) es compacta mientras (X, Ta ) no lo
es.
IA
Ejemplo 9.8. 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.
RU
B
El siguiente teorema muestra que en el caso en que el subespacio sea cerrado, la compacidad si es
hereditaria.
Teorema 9.9. Sean (X, T) un espacio compacto y A X un cerrado, entonces A es compacto.
S
Demostracion. 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 9.10. Esta es una aplicacion del teorema 9.9. En (R, [a, b)) el subespacio [0, 1] no es
compacto, pues [0, 1) no lo es y es un cerrado en [0, 1] ya que su complemento {1} = [0, 1] \ [1, 2)
es un abierto en [0, 1].
La compacidad es un invariante topologico; mas a
un, es preservada por las funciones continuas y,
esta es otra manera de mostrar si un espacio es compacto: viendolo como una imagen continua de
un compacto.
Teorema 9.11. Sea f : (X, T) ! (Y, H) sobre y continua. Si X es compacto entonces Y es
compacto.
111
(U ) = {f
(U ) : U 2 U}
{f
(U1 ), . . . , f
(Un )}
01
Corolario 9.12. No existe f : [0, 1] ! (0, 1) continua que sea sobreyectiva. Por tanto estos
espacios no pueden ser homeomorfos.
-2
NO
Una de estas propiedades es que ellos se pueden separar de los puntos que no contienen.
.....................................................
..............
.......
........
......
.....
.....
.
.
....
....
...
...
...
...
...
.
.
.
.
.
.
...
..
...
.
.
.
.
.
...
..
...
.
....
...
.
..
....
...
.
...
....
..
.
....
.
...
..
...
.
.
.
.
....
.
.
...
.
. ....
....
.
....
..
.
...
.
x
...
.
.
...
a
..
...
..
..
...
..
.
.
..
...
..
...
....
.......
.....
.
.
.
.......
.
......
......
.......
...........
..............................
IA
Uxa
RU
B
112
Compacidad
una propiedad optima (realmente minimal, ejercicio 19). Una topologa que es mas fina
que una topologa de Hausdor es de Hausdor, mientras que una topologa que es mas
gruesa que una topologa compacta es a su vez compacta.
Teorema 9.14. Sean (X, T), (Y, H) espacios con X compacto y Y de Hausdor. Si f : X ! Y
es una biyeccion continua entonces f es un homeomorfismo.
Demostracion. Solo nos resta verificar que f 1 es continua, i. e., f es cerrada. Si C en un cerrado
de X entonces C es compacto y por tanto f (C) es compacto en Y , y como Y es Hausdor, f (C)
es ademas cerrado.
-2
01
Ejemplo 9.15. Un camino sobreyectivo f : [0, 1] ! [0, 1] [0, 1]. Estos caminos existen3 aunque
la intuicion nos falle y se construyen mediante un proceso iterativo como en la figura 9.2 no
puede ser inyectivo, i.e., el camino pasa dos veces por el mismo punto, pues de lo contrario sera
una biyeccion y por el teorema anterior un homeomorfismo, y ya sabemos que estos espacios no
son homeomorfos.
NO
Ejercicios 9.1
IA
RU
B
Como cada abierto que contiene al punto (a, 0) contiene al punto (a, 1), entonces A y B son
compactos. Pero A \ B = (a, b) {0, 1} no es un compacto ya que el intervalo (a, b) no lo es.
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 aparecio en 1890 como un
contraejemplo que us
o para mostrar que una curva continua no puede ser encerrada en una region arbitrariamente
peque
na. Este fue un ejemplo temprano de lo que se conoce como fractal.
113
n=2
n=3
n=4
n=5
01
n=1
RU
B
IA
NO
-2
n=6
114
Compacidad
01
11. Sea (X, ) un conjunto totalmente ordenado. La topologa del orden es compacta si y solo
si X es un retculo completo. Revise la demostracion del teorema 9.2.
-2
NO
15. No abundan los compactos. Si (X, T) es de Hausdor y todos los subconjuntos de X son
compactos entonces la topologa es discreta.
16. Sea (X, T) un espacio. La familia
IA
17. Muestre que en un espacio metrico todo subconjunto compacto es cerrado y acotado. Se
tiene la recproca?
18. Muestre que un subconjunto compacto de la lnea de Sorgenfrey es a lo mas enumerable.
RU
B
115
Teorema 9.16. (X, T) es compacto si y solo si cada coleccion C = {Ci }i2I de cerrados que
posee la PIF satisface que \C =
6 ;.
T
S
Demostracion. )) 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. Como X es compacto existe Ui1 , Ui2 , . . . , Uin
Sn
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.
01
-2
Ejemplo 9.18. Ru no es compacto, ya que la familia de cerrados {[z, 1)}z2R tiene la PIF, y sin
embargo la interseccion de todos los elementos de esta familia es vaca.
NO
IA
Proposici
on 9.19 (Bolzano-Weierstrass). Todo subconjunto infinito de un espacio compacto X
tiene un punto de acumulacion.
RU
B
Matem
atico checo (1781 Praga-1848 Praga). Bolzano libero de manera exitosa al calculo 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
o a los analistas rigurosos del siglo XIX, a saber: en el concepto de funcion 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 analisis en Praga, ciudad entonces alejada de los
centros cientficos, o por permanecer ineditos, como su importante Teora de Funciones, que aparecio en 1930, la
influencia de sus ideas fue escasa. Defini
o lo que hoy se conoce como sucesiones de cauchy.
116
Compacidad
01
-2
Definici
on 9.22. 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.
NO
Definimos F la adherencia del filtro como el conjunto de puntos que son adherentes al filtro;
en particular
\
F = {F | F 2 F}.
IA
Teorema 9.23. Un espacio X es compacto si y solo si cada filtro en X tiene un punto adherente.
RU
B
T
Demostracion. )) Sean X compacto, F un filtro en X y veamos que {F | F 2 F} 6= ;. La
coleccion C := {F | F 2 F} posee la PIF, pues dada F1 , F2 , . . . , Fn una subfamilia finita de C
Tn
i=1
n
\
i=1
Fi
n
\
Fi
i=1
Fi 6= ;, con lo cual
Tn
i=1
Fi 6= ;. Por tanto \C =
6 ; y as
() Para verificar que X es compacto tomemos una familia C de cerrados con la PIF. C es una
subbase de un filtro F pues el conjunto M de todas las intersecciones finitas de elementos de C
es una base de filtro ya que
1. La interseccion no vaca de dos elementos de M contiene a un elemento de M.
2. M es no vaco y el conjunto vaco no es un elemento de M.
Sea F el filtro generado por M, i. e.,
F := hMi = {F X : M F, alg
un M 2 M}.
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},
T
pues cada C es cerrado. De tal manera que x 2 {C : C 2 C}.
117
Afirmamos que existe un ndice i 2 {1, 2, . . . , n} para el cual se satisface que el punto xi esta
en todos los elementos del filtro, pues en caso contrario existen F1 , . . . , Fn 2 F (uno por cada
ndice) tales que xk 2
/ Fk , (k = 1, . . . , n) y as F \ (F1 \ . . . \ Fn ) = ; lo cual no puede suceder.
Para este ndice i se tiene entonces que xi 2 F.
01
NO
-2
() Consideremos una familia C = {Ci }i2I de cerrados en X con la PIF y veamos que \C =
6 ;.
C es una subbase de filtro, en el sentido que la coleccion de las intersecciones finitas de elementos
de C forman una base de filtro.
IA
Sea U un ultrafiltro que contiene al filtro generado por esta subbase, hCi U. Como U es
convergente, sea p 2 X tal que U ! p. Tenemos que p 2 \C pues de lo contrario existe C 2 C
con p 2 C c , luego C c 2 U por ser vecindad de p y tendramos que tanto C como C c estan en U ,
lo cual no puede suceder.
RU
B
118
01
Compacidad
-2
contienen una subfamilia finita que recubre a X Y , ya que para cada elemento de esta subfamilia
tomamos uno de los Oi que lo contiene.
NO
IA
RU
B
119
Ejemplo 9.29. Los subconjuntos de matrices On y SOn (ejemplo 2.9) son compactos por ser
2
subconjuntos cerrados y acotados de Rn , mientras que GLn no lo es pues se trata de un subconjunto abierto; tampoco es conexo por cuanto es la union disyunta de los abiertos formados por las
matrices con determinante positivo y negativo respectivamente.
Ejemplo 9.30. El toro T y la cinta de Mobius 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.
Ejemplo 9.31. Una funcion numerica y continua sobre un espacio compacto es acotada y tiene
valores tanto maximo como mnimo.
01
-2
Proposici
on 9.32. Sean (X, T), (Y, H) espacios topologicos con Y compacto. Si M X Y
es un cerrado entonces la proyeccion pX (M ) es un cerrado en X la funcion proyeccion pX es
cerrada.
NO
IA
RU
B
.....
.......
...
...
.....
....................................................................................................................................................................
...
...
...
...
..
..
.
...
..
.
.
...... ...... ...... ...... .................. ...... ...... ...... ......... ...... ...... ...... ....
...
...
...
....
.......
......
.
.
.
....
...
...
.
.
...
..
............................................................
................................
............. ..
.
...
. .... ... ...
. ... . ...
.. ..... ..... .... ..... ...
.
.
.
...
.
...
....... ...... ...
....... ..... ..... ..... ...
..
..
....
.
.
.
...
.
.. ... .....
. ...... ...... ..... .........
..
.
...
.
.
...
.
.
.
.
.
...
........ ....... ...
...
.......... ....... ....... ...... ....
...
...
....
.
........ ........ ........
........ ...... ....... .......... ............
.......... ..
.
.
...
.
.
...
.............
.... ...... ....... ....
.... ....... ....... ...... ...... ...
...
...
....
....
......
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... ..........
...
.
.
...
.
.
.
...
.......
.
.. ...... ........
.. ...... ...... ....... .........
...
..
.
.
.
.
.
.
...
... ..............
... .... .... ...
....
... .... ... ... .... ...
..... ...... ...... ...... ......
...... ...... ......
.. ...
...
...
...
.
.
.
.
...
...
...
...
.... ...... ...... ....
.... ...... ....... ....... ...... ....
.... .... ..
.
...
... ... ... ... ...
.
...
...
.
.
.
.
. ... .......
. .... .... ..... .......
.
..
.
...
...
...
.
.
.
.
.
. ..... ..... ...
........ ...... ..... ...... ...
..
...
.
.
...
.
...
.
.
.
.... .... ...
.. .... .... ... ...
.
.
..
...
.
.
.
.
.
.
...
.
.
.
.
.
.
...
.. ...... ...... ...
..
...
.. ...... ...... ...... ..... ...
...
...
.
.
.
.
..... .... ...
.... .... .... ..... ...
.
..
.
...
.
...
.
.
.
.
. .
...
.
.
.. .
...
.... ....... ..........
...
.... ...... ...... ...... ..........
...
....
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... ... ... ...
.
.
...
.
.
.
...
............................................................
.................................
........... ..
...
...
.
.
..
.
.
...
.
...... ...... ...... ...... ...... ...... ...... ...... ...... ...... ...... ...... ...... ...... ...
.
...
....
.
.
...
...
...
.
.
...
.
...
.
.
..........................................................................................................................................................
...
...
......
......
......
......
....................................................................................................................................................................................................................................................
..
.....
.....
.....
.....
....
...
...
..
A {y} ....
...
V
B ...
..
...
...
...
..
...
...
...
...
...
U V
.......A........
.......
................................................................
U
Demostracion. Sea W un abierto con A B W . Por cada (x, y) 2 A B existe Uxy Vyx W .
La coleccion {Uxy }, (x 2 A) es un
de A {y} el cual reducimos a uno finito {Uxyi }ni=1 ;
Tncubrimiento
xi
consideremos la vecindad Vy = i=1 Vy .
120
Compacidad
S
Para los abiertos U y = ni=1 Uxyi y Vy tenemos que A {y} U y Vy , luego la coleccion
{Vy }, (y 2 B) es un
abierto de B el cual podemos reducir a uno finito Vy1 , . . . , Vym ;
T cubrimiento S
de suerte que U = ni=1 V yi , V = ni=1 Vyi satisfacen A B U V W .
Si A, o B no son compactos, la
proposicion 9.34 deja de ser verdad; por ejemplo, en (R2 , usual)
considere el subconjunto [1, 1)
[1, 2]. El abierto W es asintotico
a A B y por tanto no podemos
encontrar U V W .
-2
01
Corolario 9.35 (Teorema del tubo). Considere el espacio producto XY , donde Y es compacto.
Si W es un abierto que contiene a la fibra {x0 } Y entonces W contiene un tubo Vx0 Y .
NO
Ejercicios 9.3
1. Muestre que la caracterizacion en el teorema 9.28 no se puede extender a los espacios metricos
en general.
IA
2. La distancia o m
etrica de Hausdor mide cuan lejos estan uno de otro dos subconjuntos
compactos de un espacio metrico.
RU
B
H = {A X | A es compacto}
donde
d(a, B) := nf{d(a, b) : b 2 B}
d(A, B) := max{d(a, B) : a 2 A}.
! Y es continua si y solo si
121
d(A, B)
d(B, A)
01
-2
RU
B
IA
NO
Los siguientes parrafos estan encaminados a demostrar el resultado que A. Tychono presento
en 1930, el cual ha sido descrito algunas veces como el resultado individualmente mas importante de la topologa general. Lo que s es cierto sin ninguna duda, es que es uno de los medios mas
poderosos para garantizar la compacidad de ciertos espacios clasicos del Analisis, ya que asegura
la compacidad para el producto arbitrario de espacios compactos5 . Ya vimos como caracterizar
122
Compacidad
Q
Teorema 9.36. Sean X = i2I Xi un espacio con la topologa producto, x = (xi ) un punto en
X y F un filtro en X. F ! x si y solo si para cada i 2 I el filtro dado por la proyecci
on
pi (F) ! xi en Xi .
Demostracion. )) Como pi es continua y F ! x entonces pi (F) ! xi .
k=1
(Uik
lo que significa F ! x.
i6=ik
Xi ) = Vx 2 F
-2
n
\
01
Luego pik (Vx ) = Uik es una vecindad de xik puesto que las proyecciones son abiertas. Como
pik (F) ! xikQ
, pik (Vx ) 2 pik (F), y por tanto existe Fk 2 F tal
Q que pik (F ) pik (Vx ), luego
Fk Uik i6=ik Xi . Por ser F un filtro tenemos que Uik i6=ik Xi esta en F para cada
k = 1, . . . , n. Por tanto, la interseccion finita F1 \ F2 \ . . . \ Fn esta contenida en
NO
Q
Teorema 9.37 (Tychono a ). Sea X = i2I Xi un espacio con la topologa producto. Entonces
X es compacto si y solo si cada espacio coordenado Xi es compacto.
a
IA
El teorema recibe su nombre de Andrey Nikolayevich Tychono, quien en 1930 lo demostro para el producto
del intervalo unidad [0, 1] y en 1935 lo enuncio de manera mas general pero anotando que la demostraci
on en
este caso discurra como en el caso anterior. La primera demostracion publicada se debe a Eduard Cech
en un
artculo de 1937.
RU
B
Demostracion. )) 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 9.36, U converge al punto x = (xi ), (i 2 I) de X.
KLa prueba del teorema de Tychono que hemos presentado es, por supuesto, diferente
123
Ejemplo 9.39. Sean ({0, 1}, Sierpinski) y (X, T) un espacio topologico cualquiera. Consideremos
el espacio producto
Y
(X) =
{0, 1}U con {0, 1}U = {0, 1} para cada U 2 T.
U 2T
(X) con la topologa producto es compacto. Ahora definamos la funcion b : X ! (X) como
x 7! x
b(U ), donde x
b(U ) = 0 si x 2 U o x
b(U ) = 1 si x 2
/ U . Claramente b es continua ya que as lo
son las funciones proyeccion
(pU
b) 1 ({0}) = {x 2 X : x
b(U ) = 0} = {x : x 2 U } = U ;
01
b = {b
b
U
x : x 2 U } = {b
x:x
bU = 0} = pU 1 ({0}) \ X.
o mas aun, ya que X tiene la topologa inicial dada por b. Ademas b es abierta pues
U 2T
NO
-2
b i. e.,
En caso que X sea T0 tenemos que b es inyectiva y por tanto un homeomorfismo sobre X,
Y
b
XX
{0, 1}U .
IA
RU
B
Ejemplo 9.41. Todo subconjunto finito de un espacio es compacto por sucesiones (la topologa
de subespacio).
Ejemplo 9.42. Ru no es compacto por sucesiones y tampoco lo es el espacio (R, coenumerables).
En ambos casos la sucesion (xn ) = N no admite ninguna subsucesion convergente.
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 mas bien esotericos. Claro esta que en el contexto de los espacios
metricos estos conceptos son equivalentes (seccion 9.6).
La compacidad por sucesiones es preservada por la continuidad; de aqu que sea un invariante
topologico.
Proposici
on 9.43. Sea f : (X, T) ! (Y, H) una funcion continua y sobre. Si X es compacto
por sucesiones, tambien lo es Y .
Demostracion. Sea (yn ) una sucesion 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 ).
124
Compacidad
Una forma de compacidad mas debil que la compacidad usual y la compacidad por sucesiones es exigir tan solo que los cubrimientos abiertos que deben tener subcubrimientos
finitos sean los cubrimientos contables. Esta compacidad contable posee muchas de las
propiedades topologicas que posee la compacidad; mas a
un, en el contexto de los espacios
metrizables o aun en espacios de Lindelo ellas son equivalentes.
Definici
on 9.44. 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
-2
01
El corolario 9.59 muestra que en el marco de los espacios 1contable los dos conceptos son equivalentes.
NO
Teorema 9.45. Si (X, T) es un espacio compacto por sucesiones entonces X es compacto contablemente.
IA
RU
B
Ejemplo 9.46. El cubo X = [0, 1][0,1] es un espacio compacto y por tanto contablemente compacto, pero no es compacto por sucesiones.
X no es compacto por sucesiones miramos a X como el conjunto de todas las funciones
de I = [0, 1] en I. Definimos una sucesion de funciones (n )n2N con n 2 X de la manera
siguiente: dado x 2 I, n (x) es el n-esimo dgito en la expansion binaria de x. (n )n2N no tiene
ninguna subsucesion convergente; en efecto, si (nk )nk 2N es una subsucesion que converge al punto
2 X, entonces para cada x 2 I, nk (x) ! (x) recordemos que la convergencia en la topologa
producto para X es puntual. Sea t 2 I con la propiedad que nk (t) = 0 si nk es impar, nk (t) = 1
si nk es par. La sucesion (nk (t)) = {0, 1, 0, 1, 0, 1, . . .} no puede converger.
En el ejemplo 7.9 mostramos que no es 1-contable.
Ejemplo 9.47. (R, cof initos) es contablemente compacto y ademas compacto por sucesiones.
Ejemplo 9.48. (R, coenumerables) no es compacto por sucesiones.
El siguiente ejemplo muestra que en general, la propiedad de ser contablemente compacto no se
hereda a los subespacios.
Ejemplo 9.49. [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.
125
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 9.54.
Definici
on 9.50. 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.
Si una sucesion (xn ) tiene una subsucesion convergente entonces tiene un punto adherido.
Pero el hecho de que la sucesion posea un punto de clausura no significa que posea una
subsucesion convergente, como lo muestra el siguiente ejemplo.
01
Ejemplo 9.51. El espacio X = (N N) [ {(0, 0)} de Arens-Fort posee una sucesion que tiene un
punto de clausura y no tiene una subsucesion convergente.
-2
Observemos que el conjunto X {(0, 0)} es enumerable, i. e., existe una biyeccion f : N !
X {(0, 0)}. f es una sucesion que tiene a (0, 0) como punto de clausura ya que toda vecindad
de este punto tiene infinitos terminos de la sucesion, pero ninguna subsucesion es convergente a
(0, 0) pues ya hemos visto que este espacio es de convergencia trivial.
NO
Por supuesto que en los espacios metricos no tendramos este problema. Mas a
un, en los
espacios 1contables tampoco lo tenemos; si x es un punto de acumulacion de (xn ) y {B1 , B2 , . . .}
es una base local encajada para x, por cada k 2 N podemos encontrar nk k tal que xnk 2 Bk y
la subsucesion xnk ! x.
Ejemplo 9.52. Dados (X, T) un espacio y una sucesion (xn ) en X, un punto x es un punto de
clausura para la sucesion si y solo si x es adherente al filtro asociado a la sucesion.
IA
RU
B
Teorema 9.54. (X, T) es un espacio contablemente compacto si y solo si cada sucesion tiene
un punto adherido en X.
Demostracion. )) Sea (an ) una sucesion en X que no tiene un punto de adherencia, es decir, para
cada x 2 X existen una vecindad abierta Wx y un N 2 N tales que Wx \ {aN +1 , aN +2 , . . .} = ;.
Por cada n 2 N definimos
[
Un = {Wx : Wx \ {an+1 , an+2 , . . .} = ;, x 2 X}.
126
Compacidad
01
sera finito.
-2
Corolario 9.57. Un espacio (X, T) es compacto contablemente si y solo si para cada A subconjunto infinito se tiene Aa! 6= ;.
Demostracion. )) Sea A X infinito que no admite un punto de !-acumulacion. Una sucesion
(an ) en A de terminos diferentes, no tiene un punto adherido o de lo contrario A lo tendra.
() Aplicamos literalmente el teorema 9.54.
NO
RU
B
IA
En este espacio todo A N posee un punto de acumulacion; pero, por ejemplo, los n
umeros pares
no poseen un punto de !-acumulacion. Note que este espacio no es compacto por sucesiones, ya
que la sucesion {1, 2, 3, 4, . . .} no contiene ninguna subsucesion convergente y tampoco admite un
punto de clausura. Finalmente este espacio no es contablemente compacto, pues la base misma es
un cubrimiento abierto que no admite un subcubrimiento finito.
Corolario 9.59. En un espacio 1-contable, los conceptos de compacidad contable y compacidad
por sucesiones coinciden.
Demostracion. )) Sea (xn ) una sucesion en X. Si A = {xn : n 2 N} es finito existe una subsucesion constante convergente. Si A es infinito, por el corolario 9.57 existe un punto a de !acumulacion, y al considerar una base encajada obtenemos una subsucesion convergente al punto
a.
() Como en el teorema 9.54.
Ejercicios 9.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.
127
8. Estudie los conceptos de compacidad para la lnea de Khalinsky del ejemplo 1.18 (pagina
13).
01
-2
NO
El proposito principal de esta seccion es mostrar que en los espacios metricos los conceptos
de compacidad, compacidad contable, compacidad por sucesiones y la propiedad B-W son
equivalentes.
RU
B
IA
Definici
on 9.60. Un espacio metrico (X, d) se dice totalmente acotado si dado " > 0 existe
un
Sn subconjunto finito F = {x1 , x2 , . . . , xn } dependiendo de " llamado "-red tal que X =
i=1 B" (xi ), (xi 2 F ). Lo de "-red se justifica porque dado x 2 X tenemos d(x, F ) < "; esto es,
toda bola de radio " intercepta a F .
..
..........
....
..................................
.................
..........
....
..........
........
.......
........
...
......
.......
...
......
......
....
.....
......
.
.
.
.
....
....
....
....
.
.
.
....
....
....
.
...
.
...
....
...
.
.
...
....
...
...
.
.
...
.... ...
.
...
.... ...
...
.
. .
...
..... .....
...
..
... ....
..
..
........
..
.......
.
...
........
..
.........
...
....
.......
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..... ....
...
.
......
. .........
...
.... ....
.... .
..
. .....
... .
... .....
...
..
. ....
.
.
...
.... .... .... .
..
.
... ...
...
.
.
.
.
.
.
.
.
.
... ...
.
.
. ....
... ... . ....... .
...
....
..
... .. ...
...
. ....
...
....... ....
.
...
........... .
. .......
....
....
...........
.....
.................................
.
.
.
....
.
......
...
..
......
......
.......
.
......
........
.......
.....
...........
........
......
..
.............
................................................................................................................................................................................................................................................................
...
...
..
(1, 1)
rarse 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.
128
Compacidad
Ejemplo 9.61. R con la metrica d0 (x, y) = nf{1, |x y|} no admite una "-red finita para " < 1.
En el caso de (Rn , usual) estos dos conceptos coinciden.
Teorema 9.62. Todo espacio metrico (X, d) compacto por sucesiones es totalmente acotado.
Demostracion. 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 subsucesion 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 subsucesion convergente.
01
Corolario 9.63. Todo espacio metrico (X, d) compacto por sucesiones es 2-contable y separable.
-2
Demostracion. 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.
S La coleccion de
todas estas bolas nos produce una base enumerable para X y la reunion D := n=1 Fn nos da un
subconjunto enumerable y denso en (X, d).
NO
Para el caso de los espacios metricos ya tenamos otra manera de caracterizar la compacidad
contable.
Corolario 9.64. Sea (X, d) un espacio metrico. X es contablemente compacto si y solo si es
compacto por sucesiones.
IA
RU
B
Numero de Lebesgue
129
01
Con el anterior teorema podemos probar la equivalencia entre las diferentes definiciones de compacidad, cuando nos restringimos a la categora de los espacios metricos.
-2
Corolario 9.67. Sea (X, d) un espacio metrico. X es compacto si y solo si X es compacto por
sucesiones.
Demostracion. )) Si X es compacto, entonces lo es contablemente compacto y as, es compacto
por sucesiones.
NO
IA
Corolario 9.68 (Continuidad para compactos). Una funcion continua f : (X, d) ! (Y, m) de
un espacio metrico compacto X a un espacio metrico Y es continua uniformemente.
RU
B
Demostracion. Dado " > 0, la coleccion {B"/2 (y)}y2Y es un cubrimiento abierto de Y y por tanto
{f 1 (B"/2 (y))}y2Y lo es para X. Si es el n
umero de Lebesgue asociado a este cubrimiento,
cada bola B (x) satisface f (B (x)) B"/2 (y) para alguna bola B"/2 (y). Por tanto, si d(x, a) <
entonces
m(f (x), f (a)) m(f (x), y) + m(y, f (a)) < /2 + /2 = .
Ejercicios 9.6
130
Compacidad
9. Muestre que toda funcion continua de un espacio compacto en un espacio metrico es acotada.
RU
B
IA
NO
-2
01
Figura 9.6: N
umeros ordinales.
131
, n
umeros ordinales y A, B conjuntos bien ordenados que los representan; escribimos
si
6
A es isomorfo con un ideal I en B. Este orden sobre O es total y ademas cualquier subconjunto
de O es bien ordenado.
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 y corresponde al
conjunto ! = {0, 1, 2, . . .} = N.
Los n
umeros ordinales pueden representarse como
O = 0, 1, 2, . . . , !, ! + 1, ! + 2, . . . , 2!, 2! + 1, 2! + 2, . . . , 3!, . . .
01
. . . , ! 2 , ! 2 + 1, . . . , ! 3 , . . . , ! 4 , . . . , ! ! , ! ! + 1, . . . , , . . .
Las notaciones se deben a G. Cantor pues fue el quien nos ense
no a contar.
-2
Note que !, ! + 1 son ordinales contables es decir, su cardinalidad es la misma de N; ademas ! = {0, 1, 2, . . .} es diferente
de
! + 1 = ! [ {!} = {0, 1, 2, . . . , !}
NO
IA
En general llamamos a un n
umero ordinal un ordinal lmite si no tiene un predecesor7
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.
!
RU
B
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.
K
9.69. Si
es
contable
2
/
entonces
Demostracion. 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
6
132
Compacidad
} es contable ya que si
.
entonces
2 X. Por tanto
En lo que sigue, los conjuntos = [0, ) formado por todos los ordinales contables, y + 1 =
[0, ] = { 2 O |
} son dotados de la topologa del orden inducida por la relacion de orden
. Una base conveniente para = [0, ) es {(, ] | , 2 } [ {0}.
Proposici
on 9.70. [0, ] es compacto.
01
Demostracion. 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, ].
Proposici
on 9.71. [0, ] no es 1-contable.
-2
NO
Demostracion. Por la proposicion 9.69 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 9.72. [0, ) es 1-contable.
IA
RU
B
Proposici
on 9.73. [0, ) y [0, ] no son separables.
Demostracion. Demostremos que [0, ) no lo es. Dado un subconjunto A contable, sea = sup A.
Por 9.69,
y por tanto existe un intervalo ( + 1, ) Ac , con lo cual A no puede ser
denso.
Proposici
on 9.74. [0, ) no es compacto ni de Lindelo.
Demostracion. 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, ).
Corolario 9.75. [0, ) no es compacto pero s es contablemente compacto y compacto por sucesiones.
Demostracion. 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 9.69, 2 [0, ) y ninguna subcoleccion finita de U cubre
al compacto [0, ].
Como es 1-contable y de Hausdor, es compacto por sucesiones.
133
Ejercicios 9.7
1. Revise el argumento en la demostracion de la proposicion 9.70 y el utilizado en el teor. 9.2
para mostrar que [0, 1] es compacto.
2. Sea (X, ) un conjunto bien ordenado con la topologa del orden. Muestre que X es compacto
si y solo si contiene un elemento maximal.
3. Muestre que los ordinales finitos y ! son espacios discretos, y ning
un ordinal mayor que ellos
es discreto.
01
-2
NO
7. Muestre que los ordinales sucesores (y el cero) menores que son puntos aislados en .
8. Muestre que el ordinal es compacto como espacio si y solo si es un ordinal sucesor.
IA
9. Muestre que cualquier ordinal es, por supuesto, un subconjunto abierto de cualquier ordinal
mayor.
RU
B
2. (Rn , usual) es localmente compacto, pues las cajas cerradas son compactas.
3. Si X es infinito, la topologa discreta es localmente compacta (para cada x, {x} es una
vecindad compacta) pero no es compacta.
4. Para X infinito, la topologa Ix del punto incluido es localmente compacta (pero no compacta).
5. (R, (a, !)) no es localmente compacto.
Es com
un en la literatura de este tema encontrar la siguiente definicion de compacidad local,
diferente a la def. 9.76.
134
Compacidad
Definici
on 9.78. (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 V x V x Ux .
Esta definicion exige que para el punto x exista un sistema fundamental de vecindades cerradas y
compactas. Si X es localmente compacto en cada punto decimos que es localmente compacto.
Ejemplo 9.79. (R, cof initos) es localmente compacto seg
un (i) pero no lo es seg
un (ii) pues la
adherencia de una vecindad de un punto es todo R.
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.
01
Teorema 9.80. Sea X un espacio de Hausdor. X es localmente compacto si, y solo si, todo
filtro convergente en X tiene un miembro compacto.
-2
Demostracion. )) Si X es localmente compacto y F es un filtro en Xconvergente a x, por definicion toda vecindad de x pertence a F. Pero entonces basta tomar una vecindad compacta de X
(que existe porque X es localmente compacto) y se concluye que F contiene un miembro compacto.
NO
RU
B
IA
135
0.5
0.1
0.2
0.3
0.4
0.5
-0.5
-1
-2
01
Ejemplo 9.84. Sea D el grafo de la funcion f (x) = sen(1/x) para 0 < x 1/. El conjunto
D = D [ {(0, 0)} dotado de la topologa de subespacio de R2u no es localmente compacto en el
punto (0, 0) ya que cualquier vecindad V de este punto contiene una sucesion de puntos sobre
una recta paralela al xeje que no posee un punto de acumulacion en V , i. e., V no es cerrada.
NO
Ejemplo 9.85. 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.
9.8.1. Compactacion
IA
La proyeccion estereografica de la esfera S 2 , puede ser vista como una compactacion del plano
R2 , ya que identifica al plano con la esfera punteada (el polo norte es removido). Al a
nadirle
2
2
un punto al espacio no compacto R lo hemos identificado con la esfera S que s es compacta.
RU
B
Definici
on 9.86. 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 construccion es un metodo para construir desde un espacio X un nuevo espacio
compacto X = X [ {1} que tiene inmerso a X.
Proposici
on 9.87. Sean (X, T) un espacio y un punto 1 2
/ X. Para X = X [ {1} definimos
136
Compacidad
S
S
T
.
Si
1
2
/
V
entonces
V2T
i
i
S c
c
c
c
T . Pero
S si 1 2 Vi 2 V entonces ( V) V
Si ; como ( V) es cerrado y Vi es compacto tenemos
que ( V)c es cerrado y compacto, esto es V 2 T .
Proposici
on 9.88. El espacio (X , T ) es compacto.
Demostracion. 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 , luego lo podemos reducir a un subcubrimiento
S
finito U1 , . . . , Un y as X ni=0 Ui .
Proposici
on 9.89. X es denso en X si y solo si X no es compacto.
01
-2
NO
IA
RU
B
Ejercicios 9.8
137
1. Muestre que en los espacios de Hausdor la compacidad local se hereda a los subconjuntos
cerrados o abiertos.
2. Muestre que la compacidad local es un invariante topologico.
3. Muestre que un espacio producto de espacios es localmente compacto si y solo si cada
espacio coordenado es localmente compacto y todos excepto un n
umero finito de espacios
coordenados son compactos.
4. Sea X = Ru . Muestre que X (la compactacion de Alexandro) es homeomorfo a S 1 con la
topologa usual.
01
8
2
< 1 x , 2x
, x2X
1 + x2 1 + x2
f (x) =
:
( 1, 0)
x = 1.
RU
B
IA
NO
-2
10
Espacios metricos y sucesiones completez
01
-2
Definici
on 10.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.
NO
Definici
on 10.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).
IA
Proposici
on 10.3. En un espacio metrico (X, d) una sucesion de Cauchy es un conjunto acotado.
RU
B
M tenemos
y as xn ! l.
Las proposiciones 10.3, 10.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.
138
139
Como la definicion de sucesion 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 topologica.
Por ejemplo, si sobre R definimos la metrica
d(x, y) =
x
1 + |x|
y
,
1 + |y|
Esta situacion, mas bien estresante, puede ser remediada de manera parcial con la introduccion
del concepto de completez topologica.
01
Definici
on 10.5. Un espacio metrico (X, d) es completo topol
ogicamente si existe una
metrica m equivalente a d y (X, m) es completo.
-2
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 10.3
como completar cualquier espacio metrico.
NO
Ejemplo 10.6. (RN , d) con d la metrica primeriza o de Baire (ver pag. 31) es completo.
IA
Si x = (xn )n2N es una sucesion de Cauchy en R con xn = (xkn )k y donde xkn es la k-esima
coordenada del termino n-esimo de la sucesion x entonces, por la definicion de la metrica de
Baire, para cada k la sucesion (xkn )n es a la larga constante, digamos a xk , pues dado > 0 existe
1
con d(xn , xm ) < N1 para n, m > N , lo que implica que las dos sucesiones se igualan a partir del
N
ndice N en adelante. Claramente xn ! (xk ).
RU
B
Esta es una metrica que hara de Q \ (0, 1) un espacio completo al tomar cada racional en su
expansion decimal.
As como para las sucesiones en un espacio metrico, tambien existe una version de Cauchy
para los filtros.
Definici
on 10.7. Sea (X, d) un espacio metrico y F un filtro en X. Se dice que F es de
Cauchy en X si para cada > 0 existe un F 2 F tal que
F F {(x, y) 2 X X : d(x, y) < }.
El filtro posee elementos con diametro tan peque
no como queramos.
Proposici
on 10.8. Si una sucesion (xn )n2N es de Cauchy, entonces el filtro asociado tambien
es de Cauchy.
Demostracion. Para abreviar, diremos que F X es peque
no si satisface la condicion del
enunciado, a saber
F F {(x, y) 2 X X : d(x, y) < }.
140
01
En los espacios metricos completos los filtros de Cauchy caracterizan a los filtros convergentes.
-2
Proposici
on 10.10. Sea (X, d) un espacio metrico completo. Un filtro F es convergente si y
solo si es de Cauchy.
Demostracion. )) Supongamos que F converge a x. Entonces B/2 (x) 2 F y ademas B/2 (x) es
peque
na.
NO
() Sea F de Cauchy. Construyamos una sucesion (xn ) de Cauchy y mostremos que F converge
al punto que converge tal sucesion. Dado n tomamos Fn que sea n1 peque
no y elegimos xn 2
F1 \ \ Fn . La sucesion (xn ) as definida es la que necesitamos.
IA
RU
B
141
01
Dado un " > 0 existe una "-red finita y por tanto un cubrimiento B" finito por bolas de
radio ". As, para cada " existe una bola B" (t" ) en B" alg
un t" que contiene infinitos terminos
de la sucesion (xn ). Sea xn1 el primer termino de la sucesion contenido en B1 (t1 ). Similarmente escogemos a xnj como el primer elemento de {xk : k > nj 1 } contenido en B1/j (t1/j ). La subsucesion
(xnj ) es de Cauchy y como X es completo ella converge a alg
un x 2 X.
-2
La siguiente es una propiedad importante de los espacios metricos completos. Es una generalizacion de la propiedad de Cantor en Rn .
Teorema 10.14 (Encaje de Cantor). Sea (X, d) un espacio metrico completo. Si A1
A2
A3
. . . es un encaje decreciente de subconjuntos
cerrados
de
X
con
l
m(diam(A
))
=
0 (el
n
T
lmite de los diametros es cero) entonces n2N An = {x} para alg
un x 2 X.
IA
NO
RU
B
Como U \D1 6= ; entonces existe una bola abierta B1 con B1 U \D1 y diam(B1 ) 1. De manera
inductiva se puede construir una sucesion (Bn )n2N de bolas abiertas con la siguiente propiedad:
Bn (Bn 1 ) \ Dn y diam(Bn ) 1/n,
(n 2 N).
1
Rene-Louis Baire (Pars, 1874-Chambery, 1932) matematico 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 analisis matematico.
142
Entonces
n2N
Bn U \
Dn
n2N
n2N
Bn 6=
Definici
on 10.16. 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.
01
Proposici
on 10.17. 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).
-2
S
Demostracion. Es
una
aplicaci
o
n
de
las
leyes
de
De
Morgan.
Si
X
=
n2N Cn tomando compleT
c
mentos se tiene n2N Cn = ; y como el espacio es de Baire, alguno de los Cn c no es denso, i.e.,
Cn contiene un abierto.
NO
En un espacio topologico 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.
IA
Por ejemplo en R2u cualquier coleccion enumerable de lneas, sin importar que lneas
escojamos, no pueden cubrir al espacio.
Los conjuntos del parrafo anterior reciben un nombre especial.
RU
B
Definici
on 10.18. Sean (X, T) un espacio y M X. Se dice que M es magro, delgado o
diseminado en X si M = ;
Ejercicios 10.2
143
3. Muestre que en Rn una sucesion converge si y solo si es de Cauchy. Este ejercicio muestra que
la clase de las sucesiones de Cauchy es la misma que la de las sucesiones convergentes. Pero
en general esto no es as para los espacios metricos, y da origen a la definicion de completez.
4. Muestre que el recproco del teorema 10.14 es cierto; es decir, si tenemos la propiedad para
cada encaje es porque el espacio es completo.
5. Sea (xn ) una sucesion en el espacio metrico (X, d). Muestre que (xn ) es de Cauchy si y solo
si lmn!1 diam(Xn ) = 0 donde Xn = {xn , xn+1 , . . .}.
6. Muestre que H el espacio de Hilbert es completo.
01
muestre que
-2
a) Para cada j, (qmj )m2N es una sucesion de Cauchy en los reales. Luego existe su lmite
zj .
b) z = (z1 , z2 , . . .) 2 H.
c) qm ! z.
NO
IA
RU
B
c) Toda union enumerable de subconjuntos cerrados con interior vaco, tiene interior vaco.
9. Si (X, T) es Hausdor y compacto entonces X es de Baire.
10. Si M es diseminado en (X, T) tambien lo es M .
11. Si M es diseminado en (X, T) entonces ext(M ) es denso en X.
144
Recordemos que una isometra es una clase particular de funcion continua f : (X, d) !
(Y, m) entre espacios metricos que, como su nombre lo indica, no cambia la medida, esto es
m(f (x), f (y)) = d(x, y) para todo x, y 2 X. Por ejemplo, R esta isometricamente inmerso en R2
a traves del eje ordenado x, precisamente f : R ! R2 con f (x) = (x, 0).
En general decimos cuando existe una isometra que el espacio metrico X esta inmerso
isometricamente en Y por medio de f . Lo que mostraremos en estos parrafos es: si nuestro espacio
metrico (X, d) no es completo podemos obtener un espacio metrico X de tal modo que X es
completo y X esta inmerso en X de una manera representativa; esto es, la copia de X por medio
de la isometra es un subconjunto denso en X .
Teorema 10.20. 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).
01
-2
Es inmediato ver que es de equivalencia. Sea X = S/ el conjunto de todas las clases [(xi )]
de equivalencia. Definimos una metrica sobre X como
NO
Para ver que d es una metrica basta notar que si (xi ), (yi ) 2 S entonces (d(xi , yi )) es de Cauchy
en R, por lo cual su lmite existe.
IA
RU
B
Para verificar que X = f (X) es denso en X consideremos (xn ) 2 S y veamos que [(xn )] 2 X.
Dado " > 0, sea [xi ] = [(xi , xi , . . .)] para cada i note que [xi ] = f (xi ) pertenece a f (X). Como
(x1 , x2 , ) es de Cauchy, existe un entero N tal que d(xi , xj ) < " para cada i, j N . Luego
d([(xn )], f (xN ) = limn d(xn , xN ) < ",
as, [(xn )] es un punto adherente a X (f (xN ) es un punto en f (X)), luego X = f (X) es denso en
X .
Finalmente revisemos la completez. Sea (xn ) una sucesion de Cauchy en X donde xn =
Podemos asumir que el diametro del conjunto {xni | i 2 N} es menor que 1/n ya
que para alg
un K, d(xni , xnj ) < 1/n, para i, j K y as (xn1 , xn2 , . . .) es equivalente a (xnk , xnk+1 , . . .)
con lo cual (xn ) puede ser representada por esta u
ltima sucesion.
[(xn1 , xn2 , xn3 , . . .)].
Veamos que x = (x11 , x22 , x33 , . . . ) es una sucesion de Cauchy. Dado " > 0 existe N tal que
d(xm , xn ) = lmk d(xkn , xkm ) < " para m, n > N . Luego para alg
un K fijo K
N , tenemos
K
K
d(xn , xm ) < "/3 para m, n > N . Escojamos M tal que 1/M < "/3. Entonces para m, n
N
tenemos
n
m
K
K
K
K
n
d(xm
m , xn ) d(xm , xm ) + d(xm , xn ) + d(xn , xn ) < 3"/3 = ".
K
Como d(xm , [x]) = lmK d(xK
n , xK ) < "/3 para n
completo.
145
01
-2
Definici
on 10.22. Sean (X, T) un espacio, (Y, d) un espacio metrico y (fn )n2N una sucesion
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 .
NO
IA
Definici
on 10.23. Sean (X, T) un espacio, (Y, d) un espacio metrico y (fn ) una sucesion de
funciones con fn : (X, T) ! (Y, d). Decimos que (fn )n converge uniformemente a una
funcion f si para cada " > 0 existe N 2 N tal que si n N entonces d(fn (x), f (x)) < " para
cada x 2 X.
RU
B
146
Teorema 10.25. Sean (X, T) un espacio, (Y, d) un espacio metrico y (fn ) una sucesion en
B(X, Y ). En (B(X, Y ), d1 ), fn ! f si y solo si la convergencia es uniforme.
Demostracion. )) 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
01
Proposici
on 10.26. 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.
x2X
-2
Demostracion. Sea (fn )n2N una sucesion 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)) ".
En particular para un x fijo, la sucesion (fn (x))n es de Cauchy en el espacio completo (Y, d) y por
tanto existe su lmite, el cual notamos como f (x) = lmn (fn (x)).
NO
IA
RU
B
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 .
Corolario 10.27. Sean (X, T) un espacio y (Y, d) un espacio metrico completo. El espacio
CB (X, Y ) de las funciones continuas y acotadas con la metrica d1 de la convergencia uniforme
es completo.
Demostracion. Sea (fn )n2N una sucesion de Cauchy en CB (X, Y ). Solo nos falta verificar que f
de la demostracion del teorema 10.26 es continua. Sea a 2 X y veamos que f es continua en a.
Dado " > 0 existe un entero N tal que d(fn (x), f (x)) < "/3 para n N y cada x 2 X. Como fn
es continua existe una vecindad abierta Ua de a, tal que para cada x 2 Ua , d(fn (x), fn (a)) < "/3.
Luego
"
d(f (x), f (a)) d(f (x), fn (x)) + d(fn (x), fn (a)) + d(fn (a), f (a)) < 3 = ".
3
As, f es continua en a. En particular, CB (X, Y ) es un subconjunto cerrado de B(X, Y ).
147
RU
B
IA
NO
-2
01
Corolario 10.28. Sean (X, T) un espacio compacto y (Y, d) un espacio metrico completo. El
espacio C(X, Y ) de las funciones continuas con la metrica d1 de la convergencia uniforme es
completo.
11
Los axiomas de separacion
-2
01
Hemos visto como algunas propiedades topologicas de un espacio (X, T) dependen directamente
de condiciones impuestas sobre la cardinalidad de T o mas 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.
11.1.
NO
T0, T1 y T2 o de Hausdor
IA
Otras condiciones que interesan y comenzamos a estudiar son la manera como los abiertos estan
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.
RU
B
148
149
11.1 T0 , T1 y T2 o de Hausdor
Al hablar de separacion 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 limitara a los axiomas Tk mencionados, aunque no dejan de existir esfuerzos
en crear cada da otro Tk , k -racional, donde podra pensarse que la separacion optima la
poseen los espacios metricos.
El axioma de separacion mas 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 11.1. Un espacio (X, T) es T0 o de Kolmogoro a si, dados x, y 2 X con x =
6 y,
existe una vecindad abierta Ux de x que no contiene a y o existe una vecindad abierta Uy de y
que no contiene a x.
-2
01
a
Andrei Kolmogoro (Tambov 1903-Mosc
u 1987), matematico ruso que hizo progresos importantes en los
campos de la teora de probabilidad y de la topologa. En particular, desarrollo una base axiomatica que supone
el pilar b
asico de la teora de las probabilidades a partir de la teora de conjuntos. Trabajo 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.
NO
Ejemplo 11.3. Dado un conjunto parcialmente ordenado (X, ), el espacio (X, Td ) con la topologa generada por las colas a derecha cerradas es T0 .
Que el espacio X sea T0 por definicion significa que, para cada par de elementos diferentes x, y 2 X,
al menos uno de ellos posee una vecindad abierta que no posee al otro y esto implica que y 2
/ {x}
o x 2
/ {y}.
IA
Ejemplo 11.4.
1. El espacio del ejemplo 10.29 intervalos encajados no es T0 pues todo
1 1
abierto no vaco contiene simultaneamente a los puntos 10
, 8.
RU
B
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.
150
El axioma de separacion mas conocido fue introducido por Hausdor3 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.
Ya hemos visto que esta es una propiedad heredable y productiva, la cual resulta de un
valor apreciable cuando se trata de espacios compactos. En los espacios de Hausdor la
convergencia de una sucesion o de un filtro, en caso de existir, es u
nica, lo que es uno de
los requisitos mnimos para desarrollar una teora de convergencia.
Ejemplo 11.7.
Ejercicios 11.1
NO
-2
01
3. Muchos otros ejemplos de espacios que no son de Hausdor pueden ser construidos, pero
ellos de alguna manera son no naturales.
x y sii x 2 {y}
es de orden en el conjunto X.
IA
RU
B
(11.1)
Muestre que la anterior relacion es de equivalencia y por tanto las clases de equivalencia [a]
forman una particion. Muestre que para cada clase [a] (X, T) la topologa de subespacio
es la trivial.
4. Muestre que, en un espacio (X, T), ser T1 es equivalente a cada una de las siguientes afirmaciones:
a) Todos los conjuntos unitarios son cerrados.
b) Todos los subconjuntos finitos son cerrados.
c) Para cada A X la interseccion de todos los abiertos UA que contienen a A es el propio
A.
d ) Para cada a 2 X la interseccion de todos los abiertos Ua que contienen al punto a es
{a}.
e) Cada subconjunto de X es union de subconjuntos cerrados.
151
11.1 T0 , T1 y T2 o de Hausdor
01
X = {(x, x) : x 2 X}
c) La convergencia de filtros es u
nica.
-2
NO
h = (f, idY ) : X Y
Entonces
! Y Y,
RU
B
IA
h 1 ( Y ) = h 1 ({(y, y) | y 2 Y })
= {(x, y) | f (x) = y, x 2 X}
= {(x, f (x)) | x 2 X} = Gf .
i2I (Xi , Ti )
es T0 , T1 , T2
15. Muestre que si f : (X, T) ! (Y, H) es una funcion inyectiva y continua con (Y, H) de
Hausdor entonces X es de Hausdor.
16. (R, co-compacto). En R definimos C R cerrado si C es cerrado y acotado en el sentido
usual. Muestre que este espacio es T1 pero no es T2 .
17. (X, T) es T2 1 o de Urysohn, si todo par de puntos puede ser separado por vecindades
2
cerradas. Un espacio T2 1 es de Hausdor.
2
152
11.2.
En esta seccion vemos la separacion entre puntos y conjuntos, con un axioma introducido por
Vietoris4 en 1921.
Definici
on 11.8. Un espacio (X, T) es regular si, dados x 2 X y un cerrado F X con
x2
/ F , existen abiertos Vx , VF disyuntos que contienen a x y a F respectivamente.
Algunos autores prefieren llamar a estos espacios T3 .
-2
01
NO
Esto es, los elementos de la topologa son los abiertos de la usual, con el derecho a extraerles
cualquier cantidad de n
umeros de la forma 1/n. Note que la usual esta contenida en T y por lo
tanto T es Hausdor. Sin embargo, este espacio no es regular pues el punto 0 y el conjunto cerrado
A (A es cerrado ya que Ac = R \ Ac es abierto) no pueden separarse. Por que?
IA
La siguiente es una caracterizacion local de los espacios regulares y es quizas la forma mas u
til de
presentar este axioma.
RU
B
Teorema 11.11. Un espacio (X, T) es regular si y solo si para cada subconjunto abierto U y
para cada x 2 U existe un abierto Vx tal que
x 2 Vx Vx U.
153
Ejemplo 11.12. Bajo la anterior caracterizacion del teorema 11.11 es claro que la topologa de
los complementos finitos en R no es regular, ya que ninguna vecindad de un punto es cerrada.
No siempre es el caso que cada espacio regular implique los demas axiomas de separacion 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 .
Ejemplo 11.13. Recordemos que una topologa de particion es una topologa que puede ser
definida en cualquier conjunto X mediante una particion P de X en subconjuntos disjuntos
relacion de equivalencia y estos subconjuntos forman la base para la topologa. En esta topologa
los conjuntos abiertos tambien resultan ser cerrados, y esta propiedad caracteriza a las topologas
de particion.
01
-2
Definici
on 11.14. Un espacio (X, T) que es regular y ademas T1 se llama un espacio T3 . Esto
es, ademas de poder separar puntos de conjuntos cerrados, exigimos que los conjuntos unitarios
sean cerrados.
Proposici
on 11.15. La propiedad de ser T3 es hereditaria.
NO
Demostracion. 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)}
IA
RU
B
Proposici
on 11.16. Un espacio producto X =
y solo si cada Xi es regular.
i2I
154
01
Ejemplo 11.19. Sea (X, ) un espacio totalmente ordenado. Entonces las topologas J0 , J+ , J
son T3 (pag. 23).
-2
NO
a) Si existen t, t0 tales que a < t < x y x < t0 < b entonces x 2 (t, t0 ) [t, t0 ] (a, b).
b) Si no existe t tal que a < t < x entonces: o bien existe t0 con x < t0 < b, con lo cual
x 2 (a, t0 ) [a, t0 ] (a, b), o bien no existe t0 con x < t0 < b, con lo cual (a, b) = {x}
es vecindad cerrada de x.
IA
RU
B
[x, y)c =
a<x
[a, x)
[ [
[y, b).
y<b
3. T . Como en (2).
La siguiente clase de espacios asegura la existencia de funciones sobre el espacio continuas y no constantes con valores en los n
umeros reales.
Definici
on 11.20. 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.
Definici
on 11.21. Un espacio (X, T) completamente regular y T1 se llama espacio de Tychono o T3 1 estos espacios estan entre los T3 y T4 . Fue Tychono quien en 1930 dio un
2
ejemplo de un espacio T3 que no es completamente regular.
155
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 Idimensionales. En particular, el cubo I @0 se llama cubo de Hilbert.
Si (X, T) es un espacio de Hausdor y F = {f | f : X
funciones continuas, la funcion evaluacion
Y
e:X !
[0, 1]f
f 2F
definida por e(x) := (f (x))f 2F es una funcion continua (ver teorema 7.15). e es inyectiva si y solo
si la familia F es capaz de distinguir puntos; en otras palabras, para cada par de puntos x, y 2 X
existe f 2 F con f (x) 6= f (y).
-2
f 2F
01
es un abierto basico de la topologa producto con lo que V \ e(X) es un abierto basico en e(X)
para
Q el cual q = g(p) 2 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.
NO
RU
B
Ejercicios 11.2
IA
Como e(X) es determinado completamente por la familia F, podemos afirmar que las
funciones continuas son adecuadas para describir la topologa en X.
{V |
A donde V es un abierto
156
11.3.
Normales, T4
La normalidad fue introducida por Tietze en 1923; veremos que en algunos aspectos se
comporta muy diferente a los otros axiomas de separacion, ya que no es una propiedad
hereditaria ni pasa al producto; mas no por ello es menos importante.
Definici
on 11.23. Un espacio (X, T) se dice normal si cada par de subconjuntos cerrados
y disyuntos F, G pueden separarse por abiertos; es decir, existen abiertos disyuntos UF , UG
conteniendo a F y G respectivamente.
Ejemplo 11.24. Sean X = {a, b, c, d, e} y T = {X, ;, {a, b, c, d}, {a, b, c}, {b, c, d, e}, {b, c, d},
{b, c}, {b}, {b, d, e}, {b, d}, {d, e}, {d}}. (X, T) es normal, pero no es regular ya que {a, d, e} es un
cerrado que no puede ser separado del punto {c}, c 2
/ {a, d, e}.
01
Lo anterior no se puede dar en el caso que los conjuntos unitarios sean cerrados.
-2
Definici
on 11.25. Un espacio (X, T) que es normal y T1 se dice T4 .
Proposici
on 11.26. Si (X, T) es T4 entonces es T3 .
NO
IA
F V V U.
RU
B
Demostracion. 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 .
El siguiente ejemplo muestra que los espacios normales son abundantes.
Ejemplo 11.28. Todo espacio metrico (X, d) es normal. En efecto, dados dos cerrados F, G
disyuntos, por cada g 2 G tomamos "g > 0 tal
S que B"g (g) \ F = ; recuerde que d(g, F ) > 0
puesto que g no es adherente a F . Entonces B"g /2 (g), (g 2 G) es un abierto que contiene a G
y no intercepta a F . De manera similar construimos un abierto para F que no corte a G. Muestre
que realmente estos abiertos no se cortan.
Por supuesto existen espacios normales que no son metrizables.
Ejemplo 11.29. Sea R con la topologa T definida como: U 2 T si U c es contable o 0 2
/ U.
La topologa T es de Hausdor, pues dados x 6= y, uno de los dos, digamos x, es diferente de
0; por tanto {x} y R {x} son abiertos.
Para ver que (R, T) es normal tomemos F, G cerrados disyuntos no vacos; uno de los dos no
contiene al punto 0, digamos F , luego F es abierto y F c es tambien un abierto conteniendo a G.
157
11.3 Normales, T4
De otra parte,
para el punto 0 ya que si existiera {B1 , B2 , . . .}
T no existe una base local enumerable
S
c
tenemos que n=1 Bn = {0} y de otra parte n=1 Bn debera ser contable puesto que 0 2 Bn para
cada n, y como cada Bn es abierto, solo puede serlo si Bnc es contable.
Puede ver usted el filtro involucrado en este ejemplo y la construccion en general?
Ejemplo 11.30. El semiplano de Niemytzki del ejemplo 5.23 es un espacio que muestra que ser
T4 no es consecuencia de ser T1 y regular. Veamos a continuacion sus principales propiedades:
Para ver que (X, T ) es regular utilicemos la caracterizacion local; es decir, dado un abierto U
y b 2 U , existe Vb abierta tal que Vb V b U . Sean U 2 T y b 2 U . Si b 2 P , como U es abierto
existe una B" (b) U , luego para Vb = B"/2 (b) tenemos la condicion. Si b 2 L, existe D un disco
tal que {b} [ D U , esto es (B" ((b, x)) [ {b}) U alg
un x. As B"/2 ((b, x/2)) satisface la
condicion.
-2
01
Ahora mostremos que no es normal. En efecto, construyamos dos subconjuntos cerrados que no
se pueden separar. Dado A L, Ac es abierto en T con lo cual cada A L es cerrado diferente
a decir que todo A L es abierto, pues el complemento se toma en todo X. Por tanto, los
subconjuntos Q = {(x, 0) | x es racional}, I = {(x, 0) | x es irracional} son cerrados, y veremos
que Q, I no pueden separarse por abiertos.
Sean VQ , VI abiertos disyuntos separando a Q, I. Por cada (x, 0) 2 I VI existe un disco
Dx VI de radio rx y tangente a L en el punto (x, 0). Sea Sn = {(x, 0) 2 I | rx > 1/n}. As,
Sn Sn+1 y la coleccion {Sn } junto con los puntos de Q forman un cubrimiento contable de L.
NO
Si R es una union contable de los subconjuntos {Sn } entonces por lo menos uno de ellos
contiene un intervalo abierto.
IA
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).
RU
B
Como los racionales son enumerables, sea {q1 , q2 , . . .} una enumeracion de ellos. Para n = 1
tomamos un intervalo I1 tal que q1 2
/ I1 ; as, existe J1 I1 tal que J1 \ S1 = ;. Si q2 2 J1 ,
tomamos un subintervalo I2 J1 tal que q2 2
/ I2 y de este extraemos J2 tal que J2 \ S2 = ; ; si
q2 2
/ J1 tomamos un I2 J1 tal que I2 \ S2 = ;. De esta manera, construimos inductivamente una
sucesion de intervalos cerrados In tal que In+1 In con qn 2
/ In y In \TSn = ;. Por el principio de
Cantor para los intervalos encajados, existe un n
umero t tal que t 2 n2NIn . Claramente t no es
un n
umero racional y para alg
un n suficientemente grande tenemos t 2 Sn , pero esto contradice
que In \ Sn = ;.
Luego para alg
un n
umero natural n se debe tener que existe un intervalo I de la recta real tal
que cada subintervalo de I corta a Sn . As que cada punto de I es un punto de acumulacion de Sn ;
en particular existe un racional r con r 2 Sna . Sea B ((r, 0)) VQ . Para x1 2 Sn suficientemente
cercano a r, existe un disco B" ((x1 , 0)) con B ((r, 0)) \ B" ((x1 , 0)) 6= ;, y esto contradice que VQ ,
VI son disyuntos.
En un espacio las propiedades de ser Hausdor, normal y compacto se relacionan de
acuerdo con el siguiente teorema.
Teorema 11.31. Si (X, T) es un espacio de Hausdor y compacto entonces X es normal.
Demostracion. Si F, G son dos cerrados disyuntos, como el espacio es de Hausdor y es compacto
ellos son compactos. Dado g 2 G, lo podemos separar de cada punto f 2 F por medio de
vecindades disyuntas Vgf , Vfg de g y f respectivamente.
158
Ejemplo 11.32. Tablon 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 11.31. Definimos W el tabl
on de Tychono como el espacio X menos el punto (!, ),
i. e.,
W = X {(!, )} = [0, !] [0, ] {(!, )}.
..
..
..
..
..
..
..
...
..
..
...
..
..
..
..
..
..
...
..
..
..
.
..
...
..
..
..
.
..
...
..
..
..
..
..
.
..
..
..
..
..
...
..
.
..
..
..
..
..
...
.. .
.. ..
.. ..
.. ..
....
NO
..
.
-2
A
( , )
..
...
.
.
.. ..
.. ..
...........
.....................................
.........
.
........................................
IA
4
3
2
1
0
01
Probemos que el tablon no es normal con la topologa de subespacio, negando as que la normalidad
sea hereditaria.
RU
B
Ejercicios 11.3
1. Muestre que el producto de espacios normales no necesariamente es normal, aun en el caso
de un n
umero finito de factores.
159
Sugerencia: considere el espacio ejemplo 8.49 con la topologa de los cuadrados semiabiertos de Sorgenfrey y considere los subconjuntos F , G en la diagonal, dados por los puntos
con componentes racionales y los puntos con componentes irracionales respectivamente.
Este ejemplo muestra tambien que T3 no implica T4 .
2. El espacio de Sierpinski es un ejemplo de un espacio normal que no es regular.
3. Muestre que la normalidad se respeta por homeomorfismos, pero no es un invariante bajo
continuidad. Que sucede si f es continua, cerrada y sobre?
4. Muestre que en el ejemplo 11.30, X es separable pero el subespacio L no lo es.
5. Muestre que si un espacio producto es normal, entonces cada espacio factor es normal.
01
-2
NO
IA
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, existira f que los separe?
RU
B
!0
!1
Proposici
on 11.34. 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.
Demostracion. Definimos f como f (x) :=
d(x, A)
.
d(x, A) + d(x, B)
Lo que veremos ahora es que esta propiedad creacion de funciones continuas puede usarse
para caracterizar la normalidad. Tenemos el siguiente lema el cual es un teorema.
160
01
Teorema 11.35 (Lema de Urysohn). Un espacio (X, T) es normal si y solo si dado un par de
subconjuntos A, B cerrados, disyuntos y no vacos de X, existe u : X ! [0, 1] continua y tal
que u(A) = 0, u(B) = 1.
-2
NO
A = A0 A1 . . . An . . . B c
y la funcion escalonada se define involucrando los ndices de cada Ai . Como queremos que Ai 1
nunca toque la frontera de Ai a fin de garantizar la construccion de los escalones, debemos garan1
RU
B
IA
p
En [0, 1] tomamos los n
umeros racionales de la forma n , 0 < p < 2n donde p, n son enteros
2
positivos. Este conjunto de n
umeros se llama fracciones di
adicas fracciones cuyo denominador
es una potencia de 2 y lo denotamos por D.
1 1 3 1 3 5 7 1
15
D=
, , , , , , , ,..., ,...
2 4 4 8 8 8 8 16
16
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] veamos que existe d 2 D con d 2 (a
, a + ). Como
161
1
! 0 existe una potencia q = 2N tal que 0 < 1/q < . Ya que
2n
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
existe m con a 2 mq , m+1
, luego mq a m+1
y como 1/q < entonces a
<
q
q
m
q
a<a+ .
01
Luego existe un abierto llamemoslo U1/2 con A U1/2 U1/2 B c . Al aplicar de nuevo la
propiedad obtenemos abiertos U1/4 , U3/4 tales que
A U1/4 U1/4 U1/2 U1/2 U3/4 U3/4 B c .
NO
-2
A partir del paso anterior ya podemos inducir como es el siguiente en nuestra construccion de
la coleccion {Ud }; a manera de ejemplo, el paso siguiente nos dara todos los Ud para d =
1/8, 2/8, 3/8, . . . , 7/8 caso en el cual solo hemos agregado los U1/8 , U3/8 , U5/8 , U7/8 . Esto es,
del paso Uk/2n al paso Uk/2n+1 u
nicamente resta por agregar los abiertos Uk/2n+1 para los k = 2i + 1
impares. Para un tal k = 2i + 1 existe un abierto U con la propiedad
U2i /2n+1 U U U2i+1 /2n+1 B c
y es a este U al que llamamos U2i+1 /2n+1 , con lo cual tenemos la manera inductiva de crear a D.
Notemos que la coleccion {Ud }, (d 2 D) es un encaje para el orden natural en D.
RU
B
IA
Por la definicion 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 1 ([0, a)) = {x | u(x) < a} =
Ud
d<a
lo cual muestra que se trata de un abierto: dado x 2 u 1 ([0, a)) tenemos u(x) 2 [0, a), o lo
que es igual, 0 u(x) < a; existe entonces dx 2 D tal que u(x) < dx < a, loSque significa
u(x) = sup{dS | x 2
/ Ud } < dx < a y esto implica x 2 Udx y por tanto x 2 d<a Ud y as
1
u ([0, a)) d<a Ud .
S
De otra parte, dado y 2 d<a Ud existe dy 2 D tal que S
dy < a y y 2 Udy . Luego u(y) = sup{d |
y2
/ Ud } dy < a y por tanto y 2 u 1 ([0, a)), con lo cual d<a Ud u 1 ([0, a)).
162
De manera similar,
u 1 ([a, 1)) = {x | u(x) > a} =
Ud
d>a
01
-2
En
T un espacio metrico los conjuntos cerrados son G pues si A (X, d) es un cerrado, entonces
A = n2N S1/n (A), donde
S1/n (A) = {x : d(x, A) < 1/n}
NO
IA
RU
B
Demostracion. 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.
163
encontrar una sucesion convergente a 0 y cuya imagen no es convergente a f (0) tomar lneas
paralelas al eje x.
El siguiente teorema garantiza una solucion al problema cuando de los espacios normales se
trata. Fue demostrado por Urysohn, pero lleva el nombre de Tietze, ya que fue este u
ltimo quien
antes lo haba demostrado para los espacios metricos.
Teorema 11.39 (Extension de Tietze). Sea (X, T) un espacio normal. Dada f : L ! [a, b]
una funcion continua de un subespacio cerrado L X, existe una extension F de f con F :
X ! [a, b].
01
-2
IA
NO
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
RU
B
g2 : X !
con g2 (A1 ) =
1 2
( ),
3 3
1
3
2
1 2
,
,
3
3 3
g2 (B1 ) = 13 ( 23 ) y ademas
| f1 (x)
2
2
g2 (x) |
,
3
n
X
i=1
gi (x).
164
y ademas
f (x)
n+1
X
i=1
n+1
2
gi (x)
para x 2 L.
3
n
n
n
1 2
1 2
1 2
gn+1 : X !
,
con | gn+1 (x) |
3 3
3 3
3 3
f (x)
n
X
i=1
Luego
n
2
3
, x2X
-2
1
| gn (x) |
3
01
n
2
gi (x)
, x 2 L.
3
(11.2)
(11.3)
NO
n 1
1 2
kgn k = sup{|gn (x)| : x 2 X}
3 3
P1 1 2 n
P1
y como
i=0 ( 2 )( 3 ) = 1 tenemos
i=1 gi es uniformemente convergente y converge a la
P1que
funcion F definida como F (x) = i=1 gi (x).
IA
PnF es continua ya que es el lmite uniforme de la sucesion de funciones continuas sn con sn (x) =
i=1 gi (x). Finalmente, por la desigualdad en 11.3 tenemos que para x 2 L, F (x) = f (x).
RU
B
165
Definici
on 11.42. 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 extension continua F : X ! Y .
Ejemplo 11.43. Los espacios Rnu y los cubos de dimension finita (I n , usual) son retractos absolutos. Para ver que Rn es un retracto absoluto consideremos f : L ! Rn continua. Si pi es la
proyeccion i-esima entonces fi = pi f es continua como funcion de L en R y sea Fi su extension
a todo X. Si definimos F : L ! Rn como F (X) = (F1 (x), . . . , Fn (x)), F es continua y ademas
es extension de f .
Ejemplo 11.44. Existencia de homotopas. Sean (X, T) normal y A X cerrado. Dada f : A !
Rn existe F : X ! Rn extension de f ; en efecto, para cada funcion coordenada fi = pi f existe
una extension continua Fi : A ! R y por tanto la funcion F = (Fi )1=1,2,...,n es continua.
01
El espacio (I I, usual) es normal y el subconjunto A formado por los lados superior e inferior
del cuadrado unidad es cerrado, i. e.,
A = {(x, y) : y = 1} [ {(x, y) : y = 0}.
-2
F : (I I, usual) ! R2
NO
llamada homotopa.
Ejercicios 11.5
IA
RU
B
Muestre que (X, T) es completamente normal si y solo si todo par de conjuntos separados
pueden ser separados por vecindades.
2. (X, T) es un espacio T5 , o un espacio completamente T4 , si es completamente normal y
Hausdor, o, equivalentemente, si cada subespacio de X es T4 .
(X, T) es un espacio perfectamente normal si cada par de conjuntos cerrados disjuntos
pueden ser separados exactamente mediante una funcion continua f : X ! [0, 1], i.e.,
ellos son las imagenes inversas de 0 y 1 respectivamente.
3. Muestre que el teorema de Extension de Tietze sigue siendo valido para funciones continuas
f : L ! R; es decir, no tenemos necesidad de restringirnos en el codominio a intervalos
cerrados.
4. Sea Y = R {0} con la topologa de subespacio usual de R. Consideremos A = [ 1, 1/2] [
[1/2, 1], iA : A ,! Y . Muestre que iA es continua y no admite una extension a todo R. Ve
la importancia del codominio?
5. De manera analoga a la definicion 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 .
12
Conexidad
01
Algunos espacios topologicos, como el intervalo unidad, la recta real, el toro (con las topologas
usuales), parece que estan formados de una sola pieza o literalmente sus partes constituyentes no
estan desconectadas, como sucede en contraste con ciertos subespacios en R2 , entre ellos:
NO
-2
2. El complemento de una circunferencia en el plano, el cual resulta ser union disyunta de dos
subespacios abiertos.
IA
RU
B
A continuacion precisamos este concepto de conexidad y veremos que resulta ser de valor topologico; es decir, es un invariante.
167
Ejemplo 12.3. La figura 12.2(a) es una region circular conexa y 12.2(b) es el subespacio de R2
formado por las circunferencias de centro el origen y radio 1 1/n, (n 2 N) atadas por el segmento
de recta [1/2, 1), junto con S 1 .
...................................
............ . . . ............
......... . . . . . . .........
....... . . . . . . . . . .......
...... . . . . . . . . . . ......
..... . . . . . . . . . . . . . .....
..... . . . . . . . . . . . . . . .........
.
.
.
.... . . . . . . . . . . . . . . . ....
.... . . . . . . . . . . . . . . . . ....
... . . . . . . . . . . . . . . . . . ...
... . . . . . . . . . . . . . . . . . . ...
... . . . . . . . . . . . . . . . . . . . ....
... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ....
.
... . . . . . . . . . . . . . . . . . . . . ..
.. . . . . . . . . . . ... . . . . . . . . . . ....
.... . . . . . . . . ............... ................... . . . . . . . . . . . . . . . .....
.....
.
... . . . . . . . . ......
.... . . . . . . . . . . . . . . ....
.. . . . . . . . . ...
...
.
... . . . . . . . . . . . . . ....
... . . . . . . . . . . . . ....
.
.
.. . . . . . . ...
.. . . . . . . . ...
.... . . . . . . . ....
..
. . . . . . . . .....
.. . . . . . . . ..
.
.
... . . . . . . ...
.
... . . . . . . . . . . . . ...
..
... . . . . . .
.
..
... . . . . . . . .....
... . . . . . . . ...
... . . . . . . . . . . . . . . . .......
.... . . . . . . . . ...
.... . . . . . . . ..........
...... . . . . . . . . ..
... . . . . . . . . . ........................... . . . . . . . . . . . . . . . . .....
... . . . . . . . . . . . . . . . . . . . . ...
... . . . . . . . . . . . . . . . . . . . ..
... . . . . . . . . . . . . . . . . . . ...
... . . . . . . . . . . . . . . . . . . . ...
... . . . . . . . . . . . . . . . . . . ..
... . . . . . . . . . . . . . . . . . ....
.... . . . . . . . . . . . . . . . . ...
.... . . . . . . . . . . . . . . . ....
..... . . . . . . . . . . . . . . .....
..... . . . . . . . . . . . . . .....
...... . . . . . . . . . . . . ......
....... . . . . . . . . . ......
........
..
.......... . . . . . . ................
..................... . .....................
.........
..............................................
.......... ...... ....... ....... ................
........ ..... ..................................................................... ... ........
....... ..................................................................................................... .......
...... ......................................................................................................................................
.................................................................................................................................................................................................................
.
.
.
.
.......... ............................... .....
.... ................................. ...........
. . .
....................................... ......... ......................................... .......................................................................
........ ...... .................... ...
...
.... ....................... ......
....... ..... ................... . ...
... . ...................... ...... .........
...... .... ................... ...
.................................. ........
..... ... ............... ...
..................
.
.
.
.
.
.
.
.
.
.... ............................. .........
.
.
.
.
.
.
.
.... ... .............. . ..
........
.......
......
... .... .................. ...
... ............... ... ...
......
... .. ............ ..
.....
.. ............. .. ...
.....
.
.
... ... ............. . ...
.
.
.......................... .... ....
.
...
... ... ................. ..
. ................. ... ...
...
...
.
.
.
.
... .. ................ ...
...
. .... . . .
..
.
... ... ........... . ...
.
.......................... .... ....
.
...
.
.
... ... ................. ...
...
....
... ..................... .... ...
.. .. .. ........ ..
...
..
... ............. .. ... ...
.. .. .. .......... . ..
.
..
. . ... .
.
.
.. ... .. ......... ... ..
..
.... ................ .... .... ....
....
.
... ............ .. .. ...
...
... ... .... ............ .. ...
.
.
.. ............. ... ... ..
..
... .... .......................... ....
..
.
.
.
.
.
.
.
.
.
.
... ......... .. .. ...
...
.. .... ....................... ....
..
... .............. ... ... ...
.
.
.
.
.
..
... .................. ... ...
..
.. .... ...................... ....
.
.
.
.
.
.
.
...
... ............... ... ...
.. ... ..........................
...
.
....
.
... ................. ... ...
.
.
.
.
..
....
..................... ... ....
... .. ................ ...
.....
......
... ............... .... ...
.. .. . ..... . .
......
.......
... ... ................ ...
...................... ... ....
.......
...........
.... ... .............. ..
..................... .... ......
............................
..... .... .................. ...
... .................... ..... .......
...... ................................... ......
.
.
.
... ...................... ...... ........
.
.
.....
... ... .. ..... . .
.
... . ........................ ......
.... ........................ ....... ................................................. .................................................................
....................................... .........
.. .. . .. . .
..... ...................................... ............................................................................................................................
.......................................................
... . .. . .. .
...... ..................................................................................................................................................................
............ .................................................................................................................. .......
........ .......................................................................... . ........
.......... ....... ........................... ..............
..................... ....................
........
(a)
(b)
01
...........................
-2
Figura 12.2: (a) es conexo; aunque menos obvio, (b) tambien es conexo.
NO
Demostracion. Supongamos que existe una separacion A, B para R. Veamos que alg
un punto de
A es un punto de acumulacion de B o viceversa, lo cual muestra que ambos no pueden ser cerrados
simultaneamente.
IA
RU
B
168
Conexidad
Teorema 12.9. Un espacio (X, T) es conexo si y solo si toda funcion continua f : X ! {0, 1}
{0, 1} con la discreta es constante.
Demostracion. )) Si X es conexo y existe f : X
f 1 (0), f 1 (1) forman una separacion para X.
01
Ejemplo 12.11. La nesfera S n es conexa si n > 0, ya que podemos definir una sobreyeccion
x
continua f : Rn+1 {0} ! S n por f (x) = kxk
(el corolario 12.18 muestra que Rn+1 {0} es
conexo).
-2
Ejemplo 12.12. El espacio GL(3, R) no es conexo, ya que R {0} no lo es y existe una funcion
det continua y sobreyectiva
det : GL(3, R) ! R {0}
{0} la matriz
NO
definida
IA
Es intuitivo que si a un subespacio conexo le agregamos parte de sus puntos adherentes seguimos teniendo conexidad (ver figura 12.2 donde agregamos S 1 ). Este es el tema del siguiente
teorema.
Teorema 12.13. Sea A un subconjunto conexo de un espacio topologico (X, T). Si B es tal que
A B A entonces B es conexo.
RU
B
Demostracion. Sea f : B ! {0, 1} continua. Sabemos que f (A) es un conjunto unitario puesto
que la restriccion f |A es continua y A es conexo, luego f (B) f (A) f (A) es tambien unitario
y as f no es sobreyectiva.
Proposici
on 12.14. Sea (X, T) un espacio y A, B una separacion de X. Si C es un subespacio
conexo de X entonces C A o C B.
Demostracion. Si se diera simultaneamente 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 topologico.
Teorema
12.15. Sean
(X, T), (Y, H)
espacios.
f : X ! Y es continua entonces f (X) es conexo.
Si
es
conexo
Demostracion. Si f (X) es no conexo, existe g : f (X) ! {0, 1} continua y sobre. Por tanto g f
es continua y sobre, lo cual contradice que su dominio X es conexo.
169
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 lapiz del papel; es
decir, su grafo es un solo trazo, con lo cual es conexo.
Corolario 12.16. Sean (X, T), (Y, H) dos espacios. Si X es conexo y f : X
funcion continua entonces
! Y es una
Gf := {(x, f (x)) | x 2 X} X Y
el grafo de f es un subespacio conexo.
01
-2
Conexidad en el producto
IA
Moraleja: Dada f : R
funcion es de nuevo R.
NO
RU
B
Y
b2
a2
.
..
..
..
..
... ... ... ... ... ... ... ... ... ... .......... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..........
..
..
....
....
a1
b1 X
170
Conexidad
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 funcion de f . As que X Y debe ser conexo.
Corolario 12.18. Rnu es conexo.
........................
...
.....
...
..
...
.
.
....... ......
.........
01
......
... ....
... ....
..
...
...
...
.
..
...................
...........
....
......
...... ....
...
.
....
.....
.....
...
...
..
.....
.
.
...
....
...
...
...
....
.
.
...
.
...
.
...
.
.... ....
...
...
...
..
....
.... ..
.. ......
....
.
.
.
....
.
.
.
... ..
.....
....
... .. ... .....
.....
.....
...... ......... ......... ..........
.. . .
..
..
.......................................................... .. .......................................................................
.
.
.
.
.
.
.
.
.
.
.
.
.
.....
.
.....
...
.
.......
.......
..
..........
...........
....
.........
.............................................................
............. ............................................
..... ................... ...........
.
.
.
.
.
.
.....
. . .. ...
....
.....
... ... .... .....
.....
....
....
... ..
... ...
....
....
... ..
...
.. ......
... ....
...
...
.
.
.
.
.
.
.
.
....
...
.
....
...
.
...
.
.
.
...
.
.
.
.
.....
.
.
...
...
.
.
.
.
.
.
.
.
.
.
.
...... ....
.
...
..
....... ..
..... ............
.
.....
...
....
..
.
..
...
...
... ....
... ...
......
-2
Demostracion. Si A, B es una separacion 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.
Lema 12.19. Sea (X, T) un espacio. Si {Ci }i2I es una familia de subconjuntos conexos de X con
la propiedad
que existe un ndice j 2 I tal que para cada i 2 I tenemos que Ci \ Cj 6= ;, entonces
S
C = i2I Ci es conexo.
IA
NO
RU
B
Demostracion. 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 proposicion 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 12.1
1. En R2u es: Q Q conexo? (R Q) [ (Q R)? (No, s.)
171
1.
01
8. Muestre que un espacio (X, T) es conexo si y solo si para todo A X, A 6= ; se tiene que
F r(A) 6= ;.
-2
NO
11. Sea (X, T) conexo y R una relacion de equivalencia en X. Muestre que el espacio identificacion X/R es conexo.
12. Muestre que si n > 1 entonces Rn no es homeomorfo a R.
IA
13. Toda topologa por debajo de una conexa es conexa. Si (X, T) es conexo y H T
entonces (X, H) es conexo.
RU
B
14. Los espacios finitos (no unitarios) conexos y T1 no existen. Muestre que si (X, T) es
conexo y T1 entonces X es infinito o unitario.
172
Conexidad
Definici
on 12.22. Un espacio (X, T) se llama desconectado totalmente si las componentes
conexas son los conjuntos unitarios {x}.
Ejemplo 12.23. Cada espacio discreto es desconectado totalmente; pero existen espacios desconectados totalmente que no son discretos, por ejemplo X= {0} [ {1/n | n 2 N}, o X = Q (como
subespacios de (R, usual)).
Por supuesto todo espacio desconectado totalmente es T1 . Mas a
un, cualquier subespacio contable de un espacio metrico es totalmente desconectado, y algunos no contables, como los irracionales
I Ru .
01
Ejercicios 12.2
-2
2. Muestre que las componentes conexas en un espacio X son conjuntos disyuntos no vacos
cuya reunion es X.
NO
IA
RU
B
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.
Georg Cantor (San Petersburgo, 1845-Halle, 1918), matematico aleman, inventor con Dedekind y Frege de la
teora de conjuntos, que es la base de las matematicas modernas. Gracias a sus atrevidas investigaciones sobre
los conjuntos infinitos fue el primero capaz de formalizar la nocion de infinito bajo la forma de los n
umeros
transfinitos (cardinales y ordinales). Muri
o en una clnica psiquiatrica de monjas, aquejado de una enfermedad
manaco-depresiva (la cual se le atribuye a su edad).
173
C es un subconjunto no contable del intervalo [0, 1]; exactamente consiste de todos los n
umeros reales x que pueden ser representados de la forma
x=
1
X
n 3
01
-2
i=1
NO
IA
=[0, 1]
=[0, 1/3] [ [2/3, 1]
=[0, 1/9] [ [2/9, 1/3] [ [2/3, 7/9] [ [8/9, 1]
=[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]
...
RU
B
A0
A1
A2
A3
etc.; en general Ai+1 se obtiene de Ai removiendo la tercera parte en el medio de cada una de las
componentes de Ai , con lo que
\
C=
Ai .
i2N
Notese que cada punto en los extremos de las componentes de los Ai pertenece a C.
El conjunto de Cantor C puede ser entonces descrito como:
j
1 3 [ 1
[
3i + 1 3i + 2
C = [0, 1] \
( j ,
).
3
3j
j=1 i=0
174
Conexidad
A0 ............................................................................
..........................
A1 ..........................
......... .........
A2 ......... .........
.... .... .... ....
A3 .... .... .... ...
...
...
2
9
1
9
1
3
2
3
7
9
8
9
01
-2
Como segundo paso, en A2 retiramos los intervalos intermedios de [0, 1/3] y [2/3, 1] los
n
umeros reales en [0, 1] que requieren x2 = 1 en su desarrollo triadico eliminando as el intervalo
(1/3, 2/3) que corresponde a los n
umeros que empiezan por 0,1 (menos el 1/3 que tambien se
puede escribir 0, 02222... en base tres) y el intervalo (1/9, 2/9) que corresponde a los n
umeros que
empiezan por 0,01 y as sucesivamente. Por ejemplo 14 = ,020202 . . ., 23 = ,2000 . . ., 1 = ,222 . . .
NO
IA
Y
i2N
Xi ! C
como
f (x) :=
1
X
xn 3
i=1
RU
B
los que coinciden con x en las primeras n-componentes. Dado > 0, existe N 2 N tal que la
serie
n
1
X
2
<
3
n=N +1
y por tanto si q 2 Vx (N ) entonces
| f (x)
f (q) |=
1
X
xi
n=N +1
qi
3n
n
1
X
2
<
3
n=N +1
tambien es continua.
175
1
1
X
1 2
4
8
2n
1 X 2n
1
1
+ +
+
+ =
=
=
= 1.
3 9 27 81
3n+1
3 n=0 3n
3 1 23
n=0
Pero como [0, 1] tiene tambien medida 1, entonces C tiene medida cero. As que el todo no
es mayor que cada una de sus partes.
01
Pero de otra parte C es denso en ninguna parte con respecto a [0, 1] pues dados x, y 2 C con
x < y, existe un intervalo J = (a, b) C c tal que x < a < b < y mire la expansion binaria
de los puntos x, y, esto es, (C) = C = ;.
-2
NO
1
1
X
X
1
n
f (x) =
xn 2 para x =
xn 3 n
2
i=1
i=1
es continua y sobreyectiva. Esto muestra que C no es contable.
RU
B
IA
En general cualquier espacio metrico que sea compacto, totalmente desconectado, denso en
s mismo todo punto sea de acumulacion, es homeomorfo al conjunto de Cantor. As que
las anteriores propiedades topologicas son una carta de presentacion para C, excepto por la
forma disfrazada con que se presente el espacio homeomorfo. Pero en topologa el color no
nos concierne.
C es homeomorfo a CC. Considere a f : C ! CC definida como f ((a1 , a2 , a3 , ...), (b1 , b2 , b3 , ...)) :=
(a1 , b1 , a2 , b2 , a3 , b3 , ...).
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. Como sera su representacion
176
Conexidad
grafica? Intentelo!
En una frase final, C tiene una infinidad no enumerable de puntos pero ning
un intervalo
cabe en el, es denso en s mismo pero tambien denso en ninguna parte y contiene muchos
mas puntos que los extremos de los intervalos en el proceso de construccion.
01
Definici
on 12.25. 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.
-2
......................................................................................................................................................................................................................
......................................................................................................................................................................................................................
NO
......................................................................................................................................................................................................................
......................................................................................................................................................................................................................
......................................................................................................................................................................................................................
......................................................................................................................................................................................................................
......................................................................................................................................................................................................................
......................................................................................................................................................................................................................
....... ....... ....... ....... ....... ....... ....... ....... ....... ....... ....... ....... ....... ....... ....... ....... ....... .
......................................................................................................................................................................................................................
IA
El siguiente teorema muestra que para los espacios localmente conexos no se tiene la consecuencia del ejemplo 12.26. Podra ser esta una justificacion para haberlos definido?
RU
B
Demostracion. 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.
177
.
.......
.... .. ... .... .... ......
.. ..
... . ... .... ...... ......
.. ...
.. .. ... .... .... .. .
... .....
... . ... ....... ...... ... ...
...
...
... .. ... ..... ...... ... ...
...
..
..
...
... . ... ...... ...... ... ...
..
...
.... .. .. ...... ..... ... ...
..
...
..
.. . ... ..... ..... .. ..
.
...
.
... .. ... ... ... ... ... ... ..
.
...
....
... . ... ... ... .... ... ... ...
...
...
..
... .. .. ... .... ... ... ... ..
...
... . ... ... ... ... ... ... ..
...
...
...
... ... ... ... .. ... ..
... ..
...
... ..
...... ....... ...... ..
...
...
.... .... .... .. ..
... ..
.
...
..... ...... ...... ... ...
...
... ..
.
.
...
... ..
....... ....... ........ ... ....
...
... ..
...... ...... ..... ... ....
...
... ..
...... ..... ...... ... ..
...
.. ...
... ..
...... ..... ......
...
.. ..
...
... ..
... ... ...
.. ..
...
... ..
....
... ... ...
...
....
... ..
. .. ..
..
....
..
..
...
...
.
...
.
.
.
...
...
...
...
...
...
...
...
....
.
.
.
....
...
.....
.....
......
......
.......
.......
.........
.........................................
01
La imagen por una funcion continua de un espacio localmente conexo no es en general localmente conexa; de lo contrario, todo espacio (X, T) sera localmente conexo, puesto que es imagen del
espacio (X, discreta) por medio de la funcion identica. El siguiente teorema nos da las condiciones
necesarias (en particular muestra que la conexidad local es un invariante topologico).
-2
Teorema 12.30. Sean (X, T), (Y, H) espacios con X localmente conexo y f : (X, T) ! (Y, H)
una funcion continua, cerrada (abierta) y sobre. Entonces Y es localmente conexo.
NO
Demostracion. Sea U 2 H y sea C una componente conexa de U . Por el teorema 12.27 debemos
ver que C es abierta. Por cada x 2 f 1 (C) sea Cx la componente conexa de x en f 1 (U ). Sabemos
que Cx es abierta y como f (x) 2 C el conjunto conexo f (Cx ) debe estar contenido en C. As,
[
f 1 (C) = {Cx : x 2 f 1 (C)}
con lo que f 1 (C) es abierto. Como f es cerrada y sobre f (f 1 (C)c ) = C c , con lo cual C c es
cerrado ya que f 1 (C)c es un cerrado; esto demuestra que C es abierta.
Es un ejercicio demostrar el teorema con la hipotesis de f abierta a cambio de cerrada.
RU
B
IA
Ejemplo 12.31. Sean X = {0, 1, 2, . . .}, Y = {0, 1, 1/2, 1/3, . . .} con la topologa de subespacios
de (R, usual). La funcion f : X ! Y definida por f (0) = 0, f (n) = 1/n es una biyeccion
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.
Teorema 12.32. El producto finito de espacios localmente conexos es localmente conexo.
Q
Demostracion. Sean X1 , . . . , Xn espacios localmente conexos y X = 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 12.4
1. Muestre el teorema 13.20 suponiendo que f es abierta a cambio de cerrada.
2. Es necesaria en el teorema 13.21 la condicion sobre el cardinal para el n
umero de factores?
3. Sean X = {a, b, c, d}, T = {;, {a}, {a, b}, {a, b, c}, X}. Es (X, T) un espacio conexo? Localmente conexo?
178
Conexidad
-2
NO
01
IA
Definici
on 12.34. Un camino en un espacio X es una funcion continua f : [0, 1] ! X. Si
f (0) = a, f (1) = b, decimos que el camino tiene punto inicial en a y punto final en b. f conecta
a con b.
RU
B
El concepto de camino es mucho mas sutil de lo que aparenta. En la mayora de los casos al camino
lo identificamos con f ([0, 1]) y es en esta situacion cuando nos sorprende lo que pueda llegar a ser
un camino. Jordan en 1877 y Peano en 1890 anunciaban la existencia de curvas capaces de llenar
un cuadrado. Se trataba de monstruos desprovistos de utilidad? En un comienzo se creyo as,
pero poco a poco se apropiaron, con justa razon y valor, de su propio derecho a existir y hoy en
da los podramos ubicar como pioneros de la teora de los fractales de Mandelbrot. Cerremos
este comentario evocando las palabras de Cantor a Dedekind, 20 junio de 1877: (ver figura 9.2 de
la pagina 113)
... lo veo pero no puedo creerlo... se trata de mostrar que las superficies, los vol
umenes
e incluso las variedades continuas de n dimensiones pueden ponerse en correspondencia
unvoca con curvas continuas, o sea con variedades de una sola dimension, y que por
consiguiente las superficies, los vol
umenes y las variedades de n dimensiones tienen
tambien la misma potencia que las curvas....
Definici
on 12.35. 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 12.36. Para cada n 2 N, Rnu es conexo por caminos.
Ejemplo 12.37. Para cada n 2 N, la esfera S n es conexa por caminos.
179
Ejemplo 12.38. S = {0, 1} con la topologa de Sierpinski es conexo por caminos. f : [0, 1] ! S
definida por f (t) = 0 si t 2 [0, 1) y f (1) = 1 es continua.
El concepto de conexidad por caminos es mas fuerte que el de conexidad.
Teorema 12.39. Si (X, T) es conexo por caminos entonces es conexo.
Demostracion. 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
12.19 esto implica que X = [x x ([0, 1]) es conexo.
Ejemplo 12.40. X = [0, 1] [0, 1] con el orden lexicografico es conexo pero no conexo por
caminos.
-2
01
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
NO
RU
B
IA
Definici
on 12.41 (multiplicacion 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) :=
(12.1)
g(2t 1) si 1/2 t 1.
..........
......... .........
.........
.........
........
.
.
.
.
.
...
.
..
.
........
.......
..
......
.........................
..
.
.
.
.
.
.
.
.
.... .
.
.
.
...
.
....
.
.
.
.
.
..................................................
......
............
..
..
.....
.........
.
.
.
..
..........
.
.......
...
.
.
......
.
.
...
...
...... .
.
.
.
...
.
...
...
.
.
.................
.
.
.
...
.........
.....
..
...
......
...
.
...
..
.
...
..
...
.
.
...
... ....
...
.....
.. ....
...
.. ..
....
...
..
.....
...
..
.
...
......................................
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...
.....
.
.
........................
. ....
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...
.
.
........................
... ...
........................
...
.
...... ....
...
......................................................................................................................................................................................................................................................................................................
.....................
.
.
.
.
................ ....... .....
.
.
.
.
.
.
.
.
.
..
.....
.. ......
.....
..............
. .......
.............
....... .
.....
.....
.............
...... ..
..............
..
..... ...
.............
.
.
.
.
.
.
.... ....
.
.
.
.
...
..
.
.
... ..... ....................
..
..
..
.........................................................................................................................................................................................................................................................
1
2
Basicamente, f g consiste en poner un camino a continuacion del otro, pero para no gastar mas
tiempo en el recorrido (el tiempo es [0, 1]) cada uno de los caminos se recorre ahora a doble
velocidad como en la ecuacion 12.1 (f (2t) y g(2t 1)).
180
Conexidad
RU
B
IA
NO
-2
01
181
Teorema 12.42 (Teorema del pegamiento de funciones). Si A, B son subconjuntos cerrados del
espacio
X
y
existen
funciones
continuas
f : A ! Y , g : B ! Y sobre un espacio Y tales que f y g coinciden sobre la intersecci
on
A \ B, entonces podemos extender la continuidad a una funcion H : A [ B ! Y definida de
manera natural como h(x) = f (x) si x 2 A o h(x) = g(x) si x 2 B.
Si f es un camino desde a hasta b en X, entonces existe el camino inverso fr (el reverso de f )
desde b hasta a dado por fr (t) = f (1 t); notese que fr tiene el mismo lugar de f , pero su
direccion es la contraria.
fr f es entonces un camino cerrado el punto inicial coincide con el punto final. Por
comodidad tambien notaremos fr = f r .
01
Ejemplo 12.43. Un espacio que es conexo, pero no conexo por caminos es la curva seno del
topologo (pag. 177) puesto que no existe un camino que una al punto ( 1 , 0) con (0, 0).
-2
Si existe un camino : [0, 1] ! X con (0) = ( 1 , 0) y (1) = (0, 0), al ser ([0, 1]) conexo
tenemos ([0, 1]) = X por que?. Seleccionamos en [0, 1] una sucesion de puntos x1 < x2 < . . .
con xn ! 0 y ademas (xn ) teniendo como segunda componente a 1 o 1 seg
un que n sea par o
impar. Por tanto (xn ) no converge y no sera continua.
NO
Este ejemplo muestra que, contrario a la conexidad, la conexidad por caminos no pasa a la
adherencia.
Para obtener una condicion, la cual garantice que los espacios conexos tambien sean conexos
por caminos, debemos hacer local nuestra definicion.
IA
Definici
on 12.44. Un espacio (X, T) es localmente conexo por caminos si dados x 2 X y
un abierto Ux existe un abierto V conexo por caminos V considerado como subespacio tal
que x 2 V Ux .
RU
B
Teorema 12.45. Si (X, T) es un espacio conexo y localmente conexo por caminos entonces X
es conexo por caminos.
Demostracion. Sea x 2 X y considere el conjunto
A = {z 2 X | existe un camino de x a z}.
A es no vaco y veamos que A es aberrado en X. Dado z 2 A, por ser X localmente conexo por
caminos existe Vz X, Vz abierto y conexo por caminos; luego Vz esta contenida en A y, as,
A es abierto. Para ver que Ac es abierto tomemos z 2 Ac y sea Wz una vecindad de z conexa
por caminos. Si A \ Wz 6= ;, existe un punto w en la interseccion de tal manera que x se puede
conectar por un camino con z, lo que contradice que z 2 Ac . As Wz Ac , es decir Ac es abierto.
Como X es conexo A = X, esto es, cada punto en X se puede conectar por medio de un camino
con x, lo que implica que X es conexo por caminos.
Corolario 12.46. Los subconjuntos conexos y abiertos de Rnu son conexos por caminos.
Demostracion. Cada bola abierta es una vecindad conexa, lo cual produce un sistema fundamental
de vecindades conexas.
182
Conexidad
Definici
on 12.47. Un espacio (X, T) compacto, conexo y Hausdor es llamado un continuo.
Ejemplo 12.48. Cada subconjunto cerrado, acotado y conexo de Rn es un continuo.
Ejemplo 12.49. La union de dos continuos que se interceptan es un continuo.
Por la definicion misma, ser continuo es un invariante topologico.
Definici
on 12.50. Un espacio metrico (X, d) continuo y localmente conexo se llama un continuo de Peano.
Definici
on 12.51. Un arco en un espacio (X, T) es una inmersion f : [0, 1] ! X con I f (X)
homeomorfos.
-2
01
NO
Ejemplo 12.52. La curva universal o esponja de Menger. Este es un continuo de Peano de dimension uno con la propiedad que cada continuo 1-dimensional puede ser inmerso en ella. La
construccion se basa en el procedimiento de Cantor o en las llamadas carpetas de Sierpinski.
RU
B
IA
Comenzamos con el cubo unidad, dividimos cada una de sus caras en nueve cuadrados iguales;
hacemos un agujero a traves del interior de los cuadrados centrales y extraemos hacia el interior
del cubo (ver figura 12.7). Esta extraccion nos produce a M1 formado por 20 nuevos cubos. En
cada uno de ellos, procedemos como en el paso anterior y obtenemos a M2 formando 400 nuevos
cubos, etc. En la sexta iteracion M6 tenemos 64.000.000 cubos.
T La esponja es quien esta al final
del proceso, i. e., es el objeto lmite dado por la interseccion n Mn .
Ejercicios 12.5
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.
3. Muestre que el producto finito de espacios es conexo por caminos si y solo si cada factor lo
es. Es necesario que el producto sea finito?
4. En oposicion al concepto de conexidad, de un ejemplo de un A R2 que sea conexo por
caminos pero su adherencia no lo sea.
183
RU
B
IA
NO
-2
01
184
RU
B
IA
NO
-2
01
Conexidad
topologa orden
continuo lineal
buen-orden topologa
desconectado totalmente
regular+ 2-countable
conexo localmente
IA
-2
conexo por caminos
conexo
NO
normal
completamente normal
metrizable
01
T1
Hausdor
regular
completamente regular
compacto+Hausdor
lema de la sucesi
on
1-contable
+metrizable
compacto loc.
2-contable
compacto
+metrizable
w-compacto
+metrizable
Lindel
of
+metrizable
separable
RU
B
+1-contable+T1
185
Bibliografa
[1] Armstrong, M. A., Basic Topology, UTM Series, SpringerVerlag, Berlin Heidelberg New York, 1997.
[2] Crossley, M. D., Essential Topology, Series: Springer Undergraduate Mathematics Series, SpringerVerlag, Berlin Heidelberg New York, 2005.
01
[3] Christenson, C., Voxman W., Aspects of Topology Series: Pure and applied Mathematics, M. Dekker,
New York, 1977.
-2
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.
NO
... 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....
[5] Gamelin, T. W., Greene, R. E., Introduction to Topology, second edition, Dover Publ., Inc., Mineola,
NY, 1999.
IA
RU
B
Este hermoso libro debe ser ledo ya! Contenido: Introduction - Fundamental Concepts - Topological
Vector Spaces - The Quotient Topology - Completion of Metric Spaces - Homotopy - The Two Countability Axioms - CW-Complexes - Construction of Continuous Functions on Topological Spaces - Covering
Spaces - The Theorem of Tychono - Set Theory (by T. Brcker) - References - Table of Symbols
-Index.
[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] Komjath, P., Totik, V., Ultrafilters, American Mathematical Monthly, 115 (2008), 33-44.
Una excelente introducci
on l
udica al concepto de ultrafiltro.
[10] Lefschetz, S., Topology, AMS Coll. Publ. 12, Providence, RI, 1930.
Como dice el autor, se trata de un libro-texto de caracter introductorio, sin pretensiones de ser una obra
de referencia.
[11] http://www-history.mcs.st-and.ac.uk/ MacTutor History of Mathematics Archive, donde han sido
consultadas varias referencias hist
oricas.
186
BIBLIOGRAFIA
187
[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.
[13] Steen, L. A., Seebach, J. A., Counterexamples in Topology, Dover Publ. Inc., Mineola, NY, 1995.
Una referencia obligada.
[14] Vassiliev, V. A., Introduction to Topology (Student Mathematical Library, V. 14), A. Sossinski
(translator), American Mathematical Society, Providence, RI, 2001.
[15] Viro, O. et alt., Elementary Topology, a first course, 2005.
01
RU
B
IA
NO
-2