Beruflich Dokumente
Kultur Dokumente
Indice general
Captulo 1. Topologa en Rn
Tema 1. Distancia eucldea y continuidad
Tema 2. Entornos metricos de un punto y abiertos de Rn
5
5
9
15
15
22
Captulo 3.
Tema 1.
Tema 2.
Tema 3.
Tema 4.
Tema 5.
Tema 6.
Tema 7.
31
31
35
39
43
46
48
50
Captulo 4.
Tema 1.
Tema 2.
Tema 3.
Bases
Bases de entornos
Bases de abiertos
Subbases
55
55
59
65
Captulo 5.
Tema 1.
Tema 2.
Tema 3.
Tema 4.
67
67
69
70
71
75
75
81
81
88
INDICE GENERAL
Axiomas de recubrimiento
Compacidad
Compacidad y sucesiones
Compacidad y espacios Lindelof
Espacios localmente compactos
Compactificacion de Alexandroff
92
98
103
103
109
111
113
115
117
117
119
121
121
126
130
135
137
137
140
146
152
153
159
CAPTULO 1
Topologa en Rn
Tema 1.
x, y, d(x, y) 0.
d(x, y) = 0 x = y.
x, y, d(x, y) = d(y, x).
x, y, z, d(x, y) d(x, z) + d(y, z) (desigualdad triangular ).
El siguiente paso sera obtener una funcion que describa la distancia entre
dos puntos de Rn := {(x1 , . . . , xn ) | x1 , . . . , xn R}. Para ello utilizaremos una
generalizacion del teorema de Pitagoras.
5
1. TOPOLOGIA EN Rn
Ejercicio 1.1. Probar que la distancia eucldea d2n en Rn verifica las propiedades (D1), (D2), (D3) y (D4).
p
Ayuda. Para probar (D4) conviene observar que d2n (
x, y) = h
x y, x yi,
Pn
1
donde hu, vi = i=1 ui vi , es un producto escalar y aplicar el siguiente resultado
de algebra lineal.
Teorema 1.1.4 (Desigualdad de Cauchy-Schwartz). Sea V un espacio vectorial sobre R y h, i : V V R un producto escalar sobre V . Entonces, si
v, w V se tiene
p
p
|hv, wi| hv, vi hw, wi.
Ahora estamos en disposicion de extender la definicion de continuidad de funciones a Rn del siguiente modo:
n 1.1.5 (continuidad(3)). Sea f : A R (A Rn ) una funcion
Definicio
y x0 A, entonces f es continua en x0 si:
> 0, > 0 tal que si x A y d2n (x, x0 ) < , entonces d21 (f (x), f (x0 )) < .
Analogamente, diremos que f es continua si lo es en x0 para todo x0 A.
Ejemplo 1.1.6. Las proyecciones k : Rn R (k = 1, ..., n), definidas por
k (x1 , ..., xn ) = xk son continuas.
Observaciones 1.1.7. Pronto tendremos herramientas para demostrar las
siguientes afirmaciones.
(1) Toda aplicacion lineal f : A B con A Rn y B Rm es continua.
(2) Las aplicaciones polinomicas, racionales, trigonometricas, o composiciones, sumas, productos o fracciones de las anteriores son continuas sobre
su dominio.
(3) Las aplicaciones x 7 + k x (k par) son continuas en (0, +). Las aplica
ciones x 7 k x (k impar) son continuas en R.
El siguiente paso consistira en extender la definicion de continuidad a aplicaciones de Rn en Rm .
1Recordemos
1. TOPOLOGIA EN Rn
(es decir, todo punto de A1 que no este en A2 se encuentra a una distancia positiva
de A2 , y viceversa). Demuestra que si f1 : A1 B y f2 : A2 B son aplicaciones
continuas tal que f1 (a) = f2 (a), a A1 A2 , entonces la aplicaci
on
f : A := A1 A2 B
f (x)
1
x
7
f2 (x)
es tambien continua.
si x A1
si x A2 ,
TEMA 2. ENTORNOS METRICOS
DE UN PUNTO Y ABIERTOS DE Rn
Tema 2.
Entornos m
etricos de un punto y abiertos de Rn
1. TOPOLOGIA EN Rn
10
Como vimos en el Ejemplo 1.2.2(4), hay conjuntos que no son entornos metricos
de todos sus puntos como es el caso de [1, 1], mientras que otros, como [1, 1]Z
s son entornos metricos de todos sus puntos en Z. Esta propiedad recibe un nombre
especial en topologa y es uno de los conceptos mas basicos en este curso.
n 1.2.4. Sea U Rn , diremos que U es un abierto de Rn si U es
Definicio
entorno metrico de x en Rn para todo x U . Analogamente, si U A Rn ,
diremos que U es un abierto de A si U es entorno metrico de x en A para todo
x U.
Ejemplos 1.2.5.
(1) Los intervalos abiertos (a, b) R son conjuntos abiertos en R. El motivo es
el siguiente: sea x (a, b), entonces tomemos := mn{d21 (a, x), d21 (b, x)}.
Veamos que B1 (x; ) (a, b), es decir, que si d21 (x, y) < , entonces y
(a, b). Supongamos que y b > x, entonces
d21 (x, y) = y x = (y b) + (b x) = d21 (y, b) + d21 (b, x) d21 (y, b) + ,
lo cual contradice d21 (x, y) < . Por otro lado, si y a < x, entonces
d21 (x, y) = x y = (x a) + (a y) = d21 (x, a) + d21 (a, y) + d21 (a, y) ,
lo cual contradice de nuevo d21 (x, y) < .
TEMA 2. ENTORNOS METRICOS
DE UN PUNTO Y ABIERTOS DE Rn
11
entender esto mejor, podramos releer Definicion 1.2.4 diciendo que para que un conjunto U A no fuera abierto de A debera existir x U de modo que U no sea entorno de x en
A. En tal caso, no tiene ning
un elemento del que no sea entorno (porque no tiene elementos) y
por tanto debe ser abierto. En general, supongamos que P es una propiedad sobre un conjunto
(en nuestro caso ser abierto) que esta escrita en funcion de elementos de dicho conjunto (en nuestro caso que el conjunto sea entorno de todos sus elementos). Entonces un conjunto U cumple
la propiedad P si no podemos encontrar los elementos de U que incumplan la propiedad pedida,
a esta situacion se la denomina tautol
ogica. Esto no tiene porque ocurrir solo con el conjunto
12
1. TOPOLOGIA EN Rn
TEMA 2. ENTORNOS METRICOS
DE UN PUNTO Y ABIERTOS DE Rn
13
abiertas, hipercubos como uniones de estos son abiertos, pero al tomar uniones
arbitrarias perdemos la intuicion de que aspecto tienen los abierto de Rn . El u
nico caso en el que se puede dar una descripcion razonable es en el caso de R.
Dedicaremos el final del captulo a probar el siguiente resultado:
Teorema 1.2.8. Un subconjunto de R es abierto si y solo si es union contable
de intervalos abiertos disjuntos.
Dicho resultado es consecuencia de los siguientes teoremas:
Teorema 1.2.9. Entre cualesquiera dos n
umeros reales distintos a y b existe
un n
umero racional.
Teorema 1.2.10. Sea F := {U | } una familia de intervalos disjuntos
de R, #U > 1, , entonces F es contable.
Teorema 1.2.11. Un subconjunto A R de n
umeros reales es un intervalo si
y solo si para todo par de elementos a, b A tal que a < b se tiene que [a, b] A.
Teorema 1.2.12. Sea F := {U | } una familia de intervalos de R de
T
S
modo que F 6= , entonces F es un intervalo. Adem
as, si todos los intervalos
S
U son abiertos, entonces F es tambien un intervalo abierto.
CAPTULO 2
Espacios topol
ogicos y espacios m
etricos
Tema 1.
Definici
on y primeros ejemplos
, X T .
S
Si {U } es una familia de elementos de T , entonces U T .
Si U, V T , entonces U V T .
T
Si {Ui }ni=1 es una familia finita de elementos de T , entonces ni=1 Ui T .
16
2. ESPACIOS TOPOLOGICOS
Y ESPACIOS METRICOS
Y PRIMEROS EJEMPLOS
TEMA 1. DEFINICION
17
2. ESPACIOS TOPOLOGICOS
Y ESPACIOS METRICOS
18
Y PRIMEROS EJEMPLOS
TEMA 1. DEFINICION
19
Ejercicio 2.11. Demuestra que todos los intervalos abiertos de R son homeomorfos entre s.
Ejemplo 2.1.13. La propiedad que contenga n
umeros reales positivos es propiedad predicable de un espacio topologico, en cambio no es propiedad topologica
como demuestra el hecho de que (0, +) la cumple, (, 0) no la cumple y en
cambio (0, +) es homeomorfo a (, 0) (Ejercicio 2.11).
Ejercicio 2.12. Demuestra que el cuadrado y el crculo son homeomorfos.
En otras palabras, sean A := {(x, y) R2 | x2 + y 2 = 1} y B := [1, 1] [1, 1]
R2 , demuestra que existe una aplicaci
on continua, biyectiva y con inversa continua
entre A y B con la topologa usual.
Ejercicio 2.13. Sea X e.t. discreto (resp. indiscreto) y sea Y un espacio
topol
ogico. Demuestra que Y X si y solo si Y tiene la topologa discreta (resp.
indiscreta) y X e Y tienen el mismo cardinal.
topologicos, en cambio que por dos puntos distintos pase una u
nica recta no es predicable sobre
espacios topologicos (a menos que dicho espacio tenga una estructura geometrica adicional).
20
2. ESPACIOS TOPOLOGICOS
Y ESPACIOS METRICOS
1
(x1 , . . . , xn ).
1 xn+1
Y PRIMEROS EJEMPLOS
TEMA 1. DEFINICION
21
22
2. ESPACIOS TOPOLOGICOS
Y ESPACIOS METRICOS
Tema 2.
Espacios (seudo)m
etricos y (seudo)metrizables
TEMA 2. ESPACIOS (SEUDO)METRICOS
Y (SEUDO)METRIZABLES
23
R2 R2
R
((x1 , y1 ), (x2 , y2 )) 7 |x1 x2 |.
24
2. ESPACIOS TOPOLOGICOS
Y ESPACIOS METRICOS
Ejercicio 2.17. Describe el lugar geometrico en R2 de las bolas Bd12 ((0, 0); ),
Bd22 ((0, 0); ) y Bd
((0, 0); ). Observa que esto es suficiente para entender todas
2
las bolas en R2 para dichas metricas ya que Bd ((x, y); ) = {(x, y)} + Bd ((0, 0); ),
donde d = d12 , d22 o d
a definida en el Ejerci2 (la suma de conjuntos A + B est
cio 1.5).
Ejercicio 2.18. Demuestra que y Bd (x, ) x Bd (y; ) y por tanto
y 6 Bd (x, ) x 6 Bd (y; ).
Ejercicio 2.19. Demuestra que si d1 y d2 son distancias en X de modo
que d1 (x, y) d2 (x, y) x, y X, entonces Bd2 (x; ) Bd1 (x; ).
Analogamente al caso de Rn (ver Definicion 1.2.1) se pueden definir entornos
(seudo)metricos de un punto en espacios seudometricos del siguiente modo:
n 2.2.8. Sea (X, d) espacio seudometrico y sea x X. Diremos que
Definicio
U X es un entorno seudometrico de X si > 0 tal que Bd (x; ) U x .
x
TEMA 2. ESPACIOS (SEUDO)METRICOS
Y (SEUDO)METRIZABLES
25
26
2. ESPACIOS TOPOLOGICOS
Y ESPACIOS METRICOS
TEMA 2. ESPACIOS (SEUDO)METRICOS
Y (SEUDO)METRIZABLES
27
b a si a, b R
diam I =
si no.
Por tanto, ser acotado no es una propiedad topologica y tampoco lo es la magnitud
del diametro.
Tambien observa que el diametro de (X, d) depende de la seudometrica d. Por
ejemplo, si consideramos la circunferencia S1 = {(x, y) R2 | x2 + y 2 = 1} R2
centrada en (0, 0) y de radio 1 podemos considerar en ella varias metricas: una
da en la cual la distancia entre dos puntos sea la longitud del menor arco de
circunferencia que los une, tambien otra en la cual la distancia entre dos puntos
es la longitud de la cuerda que los une (es decir, la metrica usual d22 ) y por u
ltimo
1
1
las distancias d2 y d2 . Observa que diamd (S ) = , mientras que diamd22 (S1 ) = 2
Cuanto valen diamd
(S1 ) y diamd12 (S1 )?
2
n 2.2.19. Por definicion, es obvio que si A B son subconjuntos
Observacio
acotados no vacos de X, entonces diam(A) diam(B).
Ejercicio 2.26. Sea (X, T (d)) un espacio seudometrico. Demuestra que X
es espacio metrico si y solo si A X acotado, diam(A) = 0 A es unipuntual.
Ejercicio 2.27. Sea {In := [an , bn ]}nN una familia de intervalos cerrados
acotados y encajados (In Im si n m) de R de modo que lmn diam(In ) = 0,
T
entonces I := nN In es unipuntual.
n 2.2.20. Diremos que dos seudometricas d1 y d2 sobre un mismo
Definicio
conjunto X son topologicamente equivalentes si inducen la misma topologa sobre
dicho conjunto, es decir, si T (d1 ) = T (d2 ).
Se tiene la siguiente caracterizacion de seudometricas topologicamente equivalentes:
n 2.2.21. Las seudometricas d1 y d2 son topol
Proposicio
ogicamente equivalentes si y solo si:
(MTE1) x X y 1 > 0, existe 2 > 0 tal que Bd2 (x; 2 ) Bd1 (x; 1 );
(MTE2) x X y 2 > 0, existe 1 > 0 tal que Bd1 (x; 1 ) Bd2 (x; 2 ).
n 2.2.22. Observa que las condiciones (MTE1) y (MTE2) equivaObservacio
len a pedir que la aplicacion identidad 1X : (X, d1 ) (X, d2 ) sea homeomorfismo.
En particular (MTE2) corresponde a la condicion de que 1X : (X, d1 ) (X, d2 )
sea continua (Proposicion 2.2.13) y (MTE1) corresponde a la condicion de que
11
X : (X, d2 ) (X, d1 ) sea continua.
28
2. ESPACIOS TOPOLOGICOS
Y ESPACIOS METRICOS
1 1
d1
,
= |n m|
n m
y
1 1
1
d2
,
= .
n m
n m
Demuestra que:
(1) T (d1 ) y T (d2 ) son ambas la topologa discreta, es decir, T (d1 ) = T (d2 ) =
Td , y por tanto d1 y d2 son topol
ogicamente equivalentes.
(2) Se cumple (ME2), pero no (ME1).
Ejercicio 2.29. Decimos que una aplicaci
on f : (X, dX ) (Y, dY ) entre
espacios seudometricos es uniformemente continua si
> 0, existe > 0 tal que x X se tiene que f (BdX (x; )) BdY (f (x); ).
on
Demuestra que (X, d1 ) y (X, d2 ) son metricas equivalentes si y solo si la aplicaci
identidad 1X : (X, d1 ) (X, d2 ) es uniformemente continua.
Ejercicio 2.30. En la Observacion 2.2.18 insistamos en que la propiedad de ser acotado no es una propiedad topol
ogica. De hecho, veremos en este
ejercicio que dado un espacio (seudo)metrico (X, d) existe una (seudo)metrica da
topol
ogicamente equivalente a d de modo que (X, da ) sea acotado (de hecho tal que
d
n: Considera da := 1+d
diamda X 1). (Indicacio
).
TEMA 2. ESPACIOS (SEUDO)METRICOS
Y (SEUDO)METRIZABLES
29
luego, estas tres metricas son equivalentes y, por lo tanto, topologicamente equivalentes. De esto se deduce el siguiente interesante resultado (se puede probar
directamente, pero es bastante tedioso):
Dado x Rn , > 0 e y Bd2n (
x; ), entonces Bd2n (
x; ) es un
entorno de y en (Rn , d2n ), y por la Observacion 2.2.27 tambien lo
0
0
es de y en (Rn , d
n ), es decir, existe > 0 tal que (y1 , y1 +
0 ) ... (yn 0 , yn + 0 ) Bd2n (
x; ) (es decir, dada una esfera
y un punto en ella, podemos incluir dentro de la esfera un cubo
centrado en dicho punto) y viceversa, es decir, dado x Rn , > 0
e y Bd
(
x; ) = (x1 , x1 + ) ... (xn , xn + ), existe
n
0
> 0 tal que Bd2n (
x; 0 ) (x1 , x1 + ) ... (xn , xn + )
(es decir, dado un cubo y un punto en el, podemos incluir dentro
de el una esfera centrada en dicho punto).
Observese que la Proposicion 2.2.26 es un caso particular del siguiente resultado:
Ejercicio 2.31. Si una aplicaci
on f : (X, dX ) (Y, dY ) entre espacios seudometricos es lipschitziana (Ejercicio 2.21), entonces es uniformemente continua
(Ejercicio 2.29).
Ejercicio 2.32. Sea U1 Rn un abierto de Rn y U2 Rm un abierto de
Rm . Demuestra que
U1 U2 := {(x1 , ..., xn , xn+1 , ..., xn+m ) | (x1 , ..., xn ) U1 , (xn+1 , ..., xn+m ) U2 }
30
2. ESPACIOS TOPOLOGICOS
Y ESPACIOS METRICOS
es un abierto de Rn+m .
Ejercicio 2.33. Utilizar el Ejemplo 2.2.28 para probar que las Definiciones 1.1.8 y 1.1.10 son equivalentes.
Ejercicio 2.34. En cambio las distancias ya vistas 0 y 1 del Ejemplo 2.2.2(5), definidas en el espacio C 0 (I, R), no son topol
ogicamente equivalentes.
CAPTULO 3
Posici
on de un punto con respecto a un conjunto
Tema 1.
Cerrados
32
f es homeomorfismo.
D Y , D es cerrado si y solo si f 1 (D) es cerrado.
C X, C es cerrado si y solo si f (C) es cerrado.
La aplicacion f : CX CY , definida por f(C) := f (C), es una biyeccion.
TEMA 1. CERRADOS
(C3) Si C1 , C2 CT , entonces C1 C2 CT .
(C3b) Si {Ci }ni=1 es una familia finita de elementos de CT , entonces
33
Sn
i=1
Ci CT .
Estas propiedades se deducen esencialmente de las leyes de Morgan, ver Propiedades A.1.3(8) y Propiedades A.3.3(5). Analogamente al caso de abiertos, (C3) es
equivalente a (C3b).
Del mismo modo se cumple el recproco.
n 3.1.9. Sea X un conjunto cualquiera y C P(X) una familia
Proposicio
de subconjuntos de X que verifica (C1), (C2) y (C3), entonces existe una u
nica
topologa T sobre X cuya familia de T -cerrados es C (es decir CT = C).
A veces es mas sencillo describir la familia de cerrados que la propia topologa
(es decir, la familia de abiertos). Este es el caso en el siguiente ejemplo:
Ejemplo 3.1.10. Sea X un conjunto cualquiera y sea Ccf P(X) la coleccion
de los subconjuntos finitos de X y el espacio total:
(3.1)
ver Ejercicio A.26. Veamos que Ccf verifica las tres propiedades (C1), (C2) y (C3):
(C1) Es consecuencia de que PF (X) y de que X Ccf por definicion (3.1).
(C2) Sea {C } una familia de elementos de Ccf . Si C = X , entonces
T
T
a contenido en un conjunto
C = X Ccf . En otro caso
C est
finito, y por tanto es finito (Proposicion A.5.4).
(C3) Sean C1 , C2 Ccf . Si alguno es el total, entonces C1 C2 = X Ccf .
En otro caso ambos son finitos, y por tanto su union es finita por la
Propiedad A.5.18(2).
Por la Proposicion 3.1.9 existe una u
nica topologa (a la que llamaremos topologa
cofinita de X) cuyos cerrados sean la familia Ccf .
Analogamente podemos razonar si sustituimos finito por contable. En tal caso
obtenemos la llamada topologa conumerable.
n: ComEjercicio 3.5. Demuestra que (R, Tcf ) 6 (R, Tcn ). (Indicacio
prueba que el cardinal de los conjuntos cerrados debe ser invariante por homeomorfismo).
Ejercicio 3.6. Sea C Rn un cerrado de Rn . Demuestra que C Rm es
un cerrado de Rn+m . Deduce de esto que si C1 Rn un cerrado de Rn y C2 Rm
un cerrado de Rm entonces C1 C2 := {(x1 , ..., xn , xn+1 , ..., xn+m ) | (x1 , ..., xn )
C1 (xn+1 , ..., xn+m ) C2 } Rn+m es un cerrado de Rn+m .
34
Veamos como los cerrados se pueden utilizar para determinar propiedades topologicas.
Ejercicio 3.7. Demuestra que (R, Tu ) 6 (R, S).
Para probar el ejercicio utilizamos el resultado siguiente.
Lema 3.1.11. En (R, Tu ) no existen subconjuntos propios abiertos y cerrados.
TEMA 2. ENTORNOS
Tema 2.
35
Entornos
36
E(x) 6= .
U x E(x), x U x .
U1x , U2x E(x), U1x U2x E(x).
U x E(x) y A X tal que U x A, A E(x).
U x E(x), existe V x E(x) tal que y V x se tiene que U x E(y).
TEMA 2. ENTORNOS
37
38
Ejercicio 3.11. Demuestra que las familias E(n) satisfacen las propiedades
(N1)-(N5).
TEMA 3. SUBESPACIOS
Tema 3.
39
Subespacios
El punto de partida de este tema es un espacio topologico (X, T ) y un subconjunto A X de X. El objetivo sera convertir el conjunto A en un espacio
topologico (utilizando la topologa T ) de manera que, por ejemplo, la inclusion
iA : A , X sea continua. Por el Ejercicio 2.8, si consideramos la topologa discreta sobre A ya se tiene que iA es continua. Sin embargo, buscamos una topologa
optima que cumpla esta condicion, y como la discreta no discrimina quien debe
ser abierto vamos a buscar la que posea menos abiertos y satisfaga que iA es continua. En realidad, lo que vamos a hacer es generalizar lo que ya se ha hecho para
subconjuntos de Rn .
n 3.3.1. Tomemos un subconjunto cualquiera A X. La topologa
Definicio
de subespacio de A es TA := {U A | U T }. Diremos que (A, TA ) es un
subespacio topol
ogico de (X, T ). Llamaremos X-abiertos (o abiertos absolutos) a
los elementos de T y A-abiertos (o abiertos relativos) a los elementos de TA . El
mismo criterio se aplicara a otros conceptos (cerrados, entornos, . . . ).
Ejercicio 3.12. Demostrar que (A, TA ) es un e.t.
Ejemplo 3.3.2. Sea U A abierto en X (es decir, U TX ), entonces U =
U A y por definicion se tiene que U es un abierto relativo en A (es decir, U TA ).
En otras palabras, todo abierto de X contenido en A es un abierto en el subespacio
A. Conviene observar que no todos los abiertos de A son abiertos de X contenidos
en A. Por ejemplo, si X = R y A = R0 , entonces U = [0, a) = (, a) A es
interseccion de un abierto de R con A y por tanto, U es abierto de A. En cambio,
U no es abierto en R (Ejemplo 3.1.3(5)).
Se tienen las siguientes propiedades basicas de subespacios. Para ello consideremos (X, TX ) e (Y, TY ) espacios topologicos, A X y A0 Y . Entonces:
Propiedades 3.3.3 (Subespacios).
(1) Si A B X, entonces TA = (TB )A .
(2) C A es A-cerrado si y solo si existe C X, X-cerrado, tal que C =
C A.
(3) Sea x A; V A es A-entorno de x si y solo si existe V X, X-entorno
de x, tal que V = V A.
(4) Si A es X-abierto (resp. X-cerrado), entonces V A es A-abierto (resp.
A-cerrado) si y solo si V es X-abierto (resp. X-cerrado).
40
TEMA 3. SUBESPACIOS
41
42
a la misma topologa, es decir, que T (d|A ) = T (d)|A . De hecho basta probar que si
x U A, entonces U es entorno de x en (A, T (d|A )) si y solo si U es entorno de
x en (A, T (d)|A ) (Observacion 3.2.8). La observacion clave en esta demostracion
es que Bd|A (x; ) = Bd (x; ) A y por tanto, una bola en la seudometrica d|A centrada en x es tambien entorno de x en la topologa T (d)|A (ya que es interseccion
de Bd (x; ) que es entorno de x en X con A, Propiedad 3.3.3(3)).
TEMA 4. CLAUSURA
Tema 4.
43
Clausura
A es cerrado.
Si C es un cerrado y C A, entonces C A.
A A. Es decir, A es el menor cerrado que contiene a A.
Sean A, B X tal que A B, entonces A B.
A es un cerrado si y solo si A = A (en particular = y X = X).
(A) = A.
A B = A B.
A = {x X | (X \ A) no es entorno de x}.
A B A B.
44
TEMA 4. CLAUSURA
45
= A Y . En
Como hicimos con cerrados y entornos, tambien podemos entresacar las propiedades de la clausura que determinan la topologa.
n 3.4.10. Sea X un conjunto. Un operador de Kuratowski de X es
Definicio
una aplicacion K : P(X) P(X) que cumple:
(K1)
(K2)
(K3)
(K4)
K() = .
A K(A), A X.
K(K(A)) = K(A), A X.
K(A) K(B) = K(A B), A, B X.
46
Tema 5.
Interior
Int(A) es abierto.
Si U es un abierto y U A, entonces U Int(A).
Int(A) A. Es decir, Int(A) es el mayor abierto contenido en A.
Sean A, B X tal que A B, entonces Int(A) Int(B).
A es un abierto si y solo si A = Int(A).
Int(Int(A)) = Int(A).
Si A, B X, entonces Int(A) Int(B) = Int(A B).
Int(A) = {x A | A es entorno de x}.
X \ Int(A) = X \ A.
X \ A = Int(X \ A).
Int(A) Int(B) Int(A B).
TEMA 5. INTERIOR
47
48
Tema 6.
Como en estos u
ltimos temas, partiremos de un espacio topologico X y de un
subconjunto A X. En este tema definiremos los conceptos de exterior, frontera,
aislado y derivado del conjunto A. Dichos conceptos clasifican los puntos de X por
su situacion respecto de A.
n 3.6.1. Llamaremos exterior de A en X a Ext(A) := Int(X \ A).
Definicio
Los elementos de Ext(A) se dicen puntos exteriores a A.
Propiedades 3.6.2 (Exterior).
(1) Ext(A) es un conjunto abierto.
(2) X = Ext(A) A.
(3) Int(A) Ext(A) = .
Un resultado analogo al probado para interiores de conjuntos provee una caracterizacion del exterior de A X.
n 3.6.3. Sea A X y x A, entonces las siguientes afirmaciones
Proposicio
son equivalentes:
(1) x Ext(A).
(2) U X abierto tal que x U y U A = .
(3) V x X entorno de x en X tal que V x A = .
Ejercicio 3.31. Calcula Ext(Z) en (R, Tcf ) y en (R, Tcn ).
n 3.6.4. Llamaremos frontera de A en (X, T ) al subconjunto
Definicio
Fr(A) := {x X | x 6 Int(A) x 6 Ext(A)}
Los elementos de Fr(A) se dicen puntos frontera de A.
Veamos las propiedades elementales de la frontera.
Propiedades 3.6.5 (Frontera).
(1) Fr(A) es cerrado.
(2) Fr(A) = Fr(X \ A).
(3) Fr(A) = X \ A A.
49
(2) A = Ais(A) A0 .
50
Tema 7.
Hasta ahora nos hemos centrado en propiedades de puntos con respecto a conjuntos, y las u
nicas propiedades de aplicaciones que conocemos (aparte de la continuidad) no tienen que ver con espacios topologicos, sino con conjuntos, como
son la inyectividad y la sobreyectividad. Vamos a dedicar este captulo a estudiar
propiedades de otras aplicaciones que tienen que ver con espacios topologicos, es
decir, enunciadas en terminos de abiertos.
n 3.7.1. Consideremos (X, TX ) e (Y, TY ) e.t. y una aplicacion f :
Definicio
X Y . Diremos que f es abierta (resp. cerrada) si A TX (resp. A CTX ), se
tiene que f (A) TY (resp. f (A) CTY ).
La siguiente es una caracterizacion del concepto de aplicacion abierta en terminos de entornos:
n 3.7.2. Sea f : X Y aplicaci
Proposicio
on. Entonces las siguientes afirmaciones son equivalentes:
(1) x X y V x entorno de x X, se tiene que f (V x ) es entorno de
f (x) Y ,
(2) La aplicaci
on f es abierta.
Ejercicio 3.37. Sea f : X Y una aplicaci
on y X un espacio seudometrico (X, d). Demuestra que f es abierta si y solo si para todo x0 X existe > 0
tal que f (Bd (x0 ; )) es un entorno de f (x0 ) para cualquier 0 < .
Observaciones 3.7.3.
(1) Todo homeomorfismo es abierto y cerrado (la demostracion aparece en la
Proposicion 3.7.4).
(2) Si el punto y0 Y es cerrado en Y , entonces la aplicacion constante
fy0 : X Y definida por fy0 (x) := y0 , x X, es cerrada ya que
si C =
fy0 (C) =
{y0 } si C 6=
que en ambos casos son conjuntos cerrados en Y .
(3) Utilizando aplicaciones afines es facil comprobar que existen aplicaciones
continuas que son abiertas y no cerradas (en general si es sobreyectiva y
la dimension del espacio final es menor que la del inicial) y cerradas que
no son abiertas (en general siempre que la dimension del espacio final es
mayor que la del inicial). Por ejemplo:
51
52
x=0
x=0
y=1
y=0
y=0
x = 1
x=1
(a)
f3 : R \ {1} R
2
x
7 x2x1
(b)
Figura 3.1.
f4 : R R
x 7 x3
53
si x [ 1 , 1 ]
(2x, 0)
f (x) := (1 cos x1 , sen x1 )
si x [ 1 , +)
(1 + cos x1 , sen x1 ) si x (, 1 ]
54
(2, 0)
(2, 0)
CAPTULO 4
Bases
Tema 1.
Bases de entornos
56
4. BASES
x
x
y por tanto BK
que Bd (x; ) Bd (x; 0 ) V x donde Bd (x; ) BK
es base de entornos de x.
x
) | K > > 0} donde K R esta fijo.
(c) BK
:= {B(x;
x
Sea V x entorno de x. Como BK
es base de entornos, existe un K >
0
0
0
> 0 de modo que Bd (x; ) V x . Tomando K > = 2 > 0
d (x; ) Bd (x; 0 ) V x donde B
d (x; ) Bx , luego
tenemos que B
K
x
BK
es base de entornos de x.
x
(d) BA
:= {B(x; ) | A} donde A R>0 e Inf(A) = 0. Por ejemplo
podemos tomar como A el conjunto de los racionales positivos o
cualquier sucesion de n
umeros positivos que converja a 0.
x
Sea V entorno de x, entonces existe 0 > 0 tal que Bd (x; 0 ) V x .
Como Inf(A) = 0 entonces existe A de modo que 0 < < 0 ,
x
as pues B(x; ) BA
y ademas B(x; ) B(x; 0 ) V x , es decir, BAx
es base de entornos de x.
(4) Un espacio X es discreto si y solo si B x := {{x}} es base de entornos
de x, x X. El motivo es el siguiente: si X fuera discreto {x} es entorno
de x (por ser {x} abierto y contener a x) y ademas todo entorno de x
debe contener a {x} (por definicion). Recprocamente, si B x := {{x}} es
base de entornos de x x X, entonces {x} debe ser entorno de x (por
definicion) y por tanto el propio {x} es abierto, as pues X es discreto
(Ejercicio 2.2).
(5) Del Ejemplo 3.2.9, deducimos que B a := {[a, b) | b > a} es base de
entornos de a para la topologa de Sorgenfrey.
57
x
tal que B A = {x} (Propiedad 3.6.8(2)).
(8) x Ais(A) B BX
0
x
(9) x A B BX se tiene que (B \ {x}) A 6= (Propiedad 3.6.10(1))
x
(10) f es abierta x X y BX BX
, se tiene que f (BX ) es entorno de
f (x) (Proposici
on 3.7.2).
B x 6= .
B x B x , x B x .
B1x , B2x B x , existe B3x B x tal que B3x B1x B2x .
B x B x , W x B x tal que y W x existe B y B y cumpliendo
By Bx.
58
4. BASES
Tema 2.
59
Bases de abiertos
60
4. BASES
61
Ejercicio 4.12. Extenderemos el resultado del Ejercicio 4.11 a Rn del siguiente modo: demuestra que tanto
B n := {(a1 , b1 ) ... (an , bn ) Rn | ai < bi , ai , bi R, i = 1, ..., n}
como
Bn := {(p1 , q1 ) ... (pn , qn ) Rn | pi < qi , pi , qi Q, i = 1, ..., n}
son bases de abiertos para (Rn , Tu ).
Ejercicio 4.13. Demuestra que Qn es denso en Rn .
Ejercicio 4.14. Demuestra que si B es una base de abiertos de X y A X,
entonces BA := {B A | B B} es una base de abiertos de A (se entiende que A
posee la topologa inducida como subespacio de X).
Ejemplo 4.2.8. El plano de Moore-Niemytzki es un ejemplo de topologa generada por una base de abiertos. Se define el plano de Moore-Niemytzki como el semiplano real superior H := {(x, y) R2 | y 0} con la topologa M que tiene por
B((a,
b); b) := B((a, b); b) {(a, 0)}.
B((a, b); r)
B((a,
b); b)
62
4. BASES
R2 \ K
=
B1 B 2 .
(b) Supongamos ahora que solo uno de los dos son bolas del tipo
por ejemplo, B1 = B((a
1 , b1 ); b1 ) y B2 = B((a2 , b2 ); r2 ). EnB,
tonces tenemos que (a, b) B((a1 , b1 ); b1 ) B2 B1 B2 , por
lo tanto podemos aplicar el apartado anterior para probar que
existe B := B((a, b); ) B tal que B B((a1 , b1 ); b1 ) B2
B1 B2 .
1 , b1 ); b1 ) y B2 = B((a
2 , b2 ); b2 ), entonces tenemos
(c) Si B1 = B((a
que (a, b) B((a1 , b1 ); b1 ) B((a2 , b2 ); b2 ) y de nuevo, aplicando
el primer caso se tiene que existe B := B((a, b); ) B tal que
B B((a1 , b1 ); b1 ) B((a2 , b2 ); b2 ) B1 B2 .
(2) Si b = 0, entonces B1 y B2 tienen que ser necesariamente del tipo
B1 = B((a,
b1 ); b1 ) y B2 = B((a,
b2 ); b2 ). En tal caso, basta observar
que un conjunto tiene que estar contenido en el otro, por ejemplo,
B1 B2 y por tanto existe B := B1 tal que B B1 B2 .
Por tanto B genera una u
nica topologa que denotaremos por M. Consideremos
ahora L := R {0}. Veamos que L H es un cerrado de M. Para ello probemos
que U := H \ L M. Utilizando el Ejercicio 4.6(4) basta comprobar que U es
entorno de todos sus elementos ya que si (x, y) U , entonces (x, y) B((x, y); y)
U donde B((x, y); y) B, que es una base de abiertos.
Veamos tambien que M|L es la topologa discreta. Esto es consecuencia de
que M|L := {L V | V M} y que para cualquier (x, 0) L se tiene que
B((x,
y); y) L = {(x, 0)} M|L (Ejercicio 2.2).
Veamos tambien que M|U es la topologa usual en U (en notacion Tu |U ). Sea
(x, y) U , entonces B (x,y) := {B((x, y); r) | 0 < r y} es una base de entornos
abiertos de (x, y) en Tu |U ya que B((x, y); r) Tu |U y B (x,y) contiene a la familia
(x,y)
By
:= {B((x, y); r) | 0 < r < y} que es base de entornos de (x, y) en Tu |U
63
B((a,
0); r) := {(x, y) H | y > 0, (x a)2 + y 2 < r2 } {(a, 0)}.
Demuestra que B es base de una topologa D que llamaremos plano del semidisco.
Determina las topologas heredadas en el semiplano abierto y en el eje {y = 0} y
demuestra que este es cerrado en H.
B((a, b); r)
B((a,
0); r)
64
4. BASES
TEMA 3. SUBBASES
Tema 3.
65
Subbases
66
4. BASES
CAPTULO 5
Separabilidad
68
#A 0 . Veamos que A U es
denso en A; sea V un U -abierto no vaco, es decir un X-abierto contenido
en U . Por tanto (A U ) V = A V 6= .
Ejercicio 5.1. Estudia si las topologas de los Ejercicios 4.10 y 4.22 son
separables o no.
Tema 2.
69
70
Tema 3.
#Q2
=
0 ).
(Ejercicio 4.11) numerable (#B
(5) Un espacio discreto es iian si y solo si es contable.
(6) La recta de Sorgenfrey no es iian.
(7) ian + separable 6 iian.
(8) Sea X e.t. y sea S una subbase contable. Entonces, X es iian.
Tema 4.
71
Convergencia de sucesiones
72
73
74
CAPTULO 6
Axiomas de separaci
on
Tema 1.
Axiomas de separaci
on: conceptos b
asicos
El objetivo de este captulo es considerar ciertas propiedades topologicas que comparten algunos espacios topologicos y los espacios metricos. La primera propiedad
de este tipo ha aparecido en el Captulo 5, en el que se definieron los espacios
topologicos Hausdorff, ver Observacion 5.4.6(4).
Partiremos de un espacio topologico (X, T ) y de V un subconjunto de X.
Hemos visto lo que significa que V sea un entorno de un punto x X.
n 6.1.1. Si V es entorno de todos los puntos de un conjunto A X,
Definicio
diremos que V es un entorno de A (es decir, si existe U T tal que A U V ).
n 6.1.2. Sea (X, T ) un e.t. y sean A, B X. Diremos que A y B
Definicio
se pueden separar en (X, T ) si existen entornos disjuntos V A , V B X de A y B
respectivamente.
Observaciones 6.1.3.
(1) Observa que si A = {x}, entonces V X es entorno de A si y solo si
es entorno de x en el sentido clasico (Definicion 3.2.1). En lugar de decir
que {x} y B se pueden separar, diremos que x y B se pueden separar, es
decir, existen entornos disjuntos de x y B.
(2) Todo abierto que contenga a A es un entorno de A.
(3) Observa que las Propiedades 3.2.5(N1)-(N4) de entornos tienen facil traduccion para entornos de conjuntos.
(N 1) Todo conjunto A X admite alg
un entorno (ya que por ejemplo el
espacio total es entorno de cualquier subconjunto suyo).
(N 2) Si V A es entorno de A X, entonces A V A .
(N 3) Si V1A y V2A son entornos de A X, entonces V1A V2A es entorno
de A.
(N 4) Si V A es entorno de A y V A W , entonces W es entorno de A.
(4) La propiedad de que dos conjuntos A, B X se pueden separar tambien
se puede expresar con las siguientes propiedades equivalentes:
75
76
6. AXIOMAS DE SEPARACION
77
Las siguientes son propiedades mas o menos inmediatas a partir de las definiciones:
Propiedades 6.1.6 (Separacion).
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9)
(10)
(11)
78
6. AXIOMAS DE SEPARACION
79
cerrados disjuntos. Para cada a A existe ra > a tal que [a, ra )B = . Del mismo
modo, para cada b B existe sb > b de modo que [b, sb ) A = . Consideremos
S
S
U A := aA [a, ra ) y U B := bB [b, sb ), es claro que U A (resp. U B ) es entorno de
A (resp. B) ya que es union de abiertos en S y A U A (resp. B U B ). Veamos
por u
ltimo que U A U B = . Supongamos que existiera x U A U B , entonces
x [a, ra ) para cierto a R y x [b, sb ) para cierto b R, es decir, a x < ra
y b x < sb por lo tanto, si a < b, entonces b [a, ra ) lo cual contradice que
[a, ra ) B = (analogamente ocurre si a > b).
A la hora de distinguir dos espacios topologicos se pueden utilizar invariantes
un poco mas finos que simplemente verificar si un conjunto cumple o no los axiomas
de separacion. Por ejemplo, no es lo mismo que un espacio cumpla que ningunos
dos puntos se pueden separar a que cumpla que todos se pueden separar exepto
uno. Intenta el siguiente ejercicio.
Ejercicio 6.9. Consideremos la topologa (R, T ) del Ejemplo 2.1.2(4) y
T la topologa sobre R definida por
T := {[0, b) | b R>0 } {(, a) [0, +) | a R0 }.
Demuestra que ambas son T0 y normales, pero no son T1 ni regulares. Demuestra
que ambas topologas no son homeomorfas.
Terminamos el tema con dos axiomas de separacion que estan relacionados con
el lema de Urysohn.
n 6.1.12. Un espacio topologico X se dice completamente regular si
Definicio
/ A, entonces f : X R continua tal
dados x X y A X cerrado tal que x
que f (x) = 0 y f (A) = {1}. Un espacio completamente regular y T1 se dice que
es T3 1 .
2
Propiedades 6.1.13.
(1) Un espacio completamente regular es regular. En particular, T3 1 T3 .
2
(2) T4 T3 1 .
2
(3) Las propiedades ser completamente regular y T3 1 son hereditarias y to2
pologicas.
n 6.1.14. El concepto analogo de completamente normal es equiObservacio
valente al de normal :
Por un lado el Lema de Urysohn asegura que si un espacio es normal, entonces
para cualquier C1 , C2 X cerrados propios disjuntos, existe f : X [0, 1]
aplicacion continua tal que f (C1 ) = {0} y f (C2 ) = {1}.
80
6. AXIOMAS DE SEPARACION
CAPTULO 7
Construcci
on de topologas
Por construir topologas queremos decir lo siguiente. Supongamos que un conjunto A (no espacio topologico) esta relacionado de alguna manera con un espacio
topologico (X, TX ) (estar relacionado se entiende siempre como que haya una aplicacion entre uno y el otro). Entonces definiremos una topologa en A basandonos
en los abiertos de X, de manera que las aplicaciones entre A y X sean continuas.
Eventualmente en lugar de un espacio topologico X podremos hacer lo mismo
para A y una familia de espacios topologicos relacionados con A. Esta descripcion
un tanto vaga de construccion de topologas la refinaremos a lo largo del captulo.
Este concepto responde a la idea de construir topologas en conjuntos que
se pueden construir a partir de otros mas basicos. Por ejemplo, si tenemos una
recta y la enrollamos obtenemos una circunferencia, o si tenemos una banda y la
enrollamos obtenemos un cilindro, que al enrollar de nuevo se convierte en un toro
(es decir, en una llanta de camion).
Las construcciones de topologas se clasifican conceptualmente en dos grupos.
Tema 1.
DE TOPOLOGIAS
7. CONSTRUCCION
82
83
DE TOPOLOGIAS
7. CONSTRUCCION
84
sean abiertas, este conjunto puede no ser abierto. Para ello veamos el siguiente ejemplo, de nuevo en R2 . Consideremos el conjunto A := (1, 0) (0, 1), y
B := (A A) {(0, 0)}. Veamos que B no es abierto en R2 . Para ello basta ver que
ning
un entorno de tipo V := (, )(, ) R2 de (0, 0) B esta contenido en
B (ya que ( 2 , 0) V pero ( 2 , 0) 6 B). Dado que la familia {V | R>0 } forma
una base de entornos de (0, 0) R2 (Ejemplo 4.1.2(3)(a)) entonces (0, 0) 6 Int(B)
(Ejercicio 4.1(5)), y as (0, 0) B \ Int(B), luego B no es abierto. En cambio
ambas proyecciones pr1 (B) = pr2 (B) = (1, 1) R son abiertas.
Ejercicio 7.5. Sean X e Y espacios topol
ogicos y sean A X, B Y . Sea
T1 la topologa de A B obtenida como producto de las topologas de subespacio
de A y B y sea T2 la obtenida como topologa de subespacio de A B en X Y
con la topologa producto. Demuestra que T1 = T2 .
Ejercicio 7.6. Sean X e Y espacios topol
ogicos. Demuestra las siguientes
afirmaciones:
(1)
(2)
(3)
(4)
X Y Y X.
Si Z X, entonces X Y Z Y .
X e Y Y , entonces X Y X
Y .
Si X
Si x X, entonces {x} Y Y mediante la aplicaci
on y 7 (x, y).
An
alogamente si y Y , entonces X {y} X.
85
X Y X, Y
donde
X, Y X Y representa: si X y Y cumplen cierta propiedad, entonces
X Y tambien la cumple.
X Y X, Y representa: si X Y cumple cierta propiedad, entonces
X y Y tambien la cumplen.
Ejercicio 7.7. Sea f : X Y una aplicaci
on continua. Consideremos
f := {(x, f (x)) | x X} X Y el grafo de f . Demuestra que f es un espacio
topol
ogico homeomorfo a X.
Ejercicio 7.8. Demuestra que el producto de espacios (seudo)metricos es
un espacio (seudo)metrico. En concreto, sean (X, dX ) e (Y, dY ) espacios (seudo)metricos. En principio (X Y, Tp ) es simplemente un espacio topol
ogico. Demuestra que si definimos d : (X Y ) (X Y ) R0 del siguiente modo
d((x1 , y1 ), (x2 , y2 )) = max{dX (x1 , x2 ), dY (y1 , y2 )}. Entonces Tp = T (d).
Veamos ahora como funciona el producto con los axiomas de separacion.
DE TOPOLOGIAS
7. CONSTRUCCION
86
%
pr2
pr1
X2
.
& prn ..
Xn .
Observemos que
pri1 (Ui ) = X1 Xi1 Ui Xi+1 ... Xn .
87
Seg
un la definicion de subbase, todo abierto del producto debe ser union de intersecciones finitas de abiertos de p . Para el caso de productos finitos, obtenemos
como en el caso binario una base de abiertos cuyos elementos son de la forma
n
\
Ej. A.2(8)(b)
U1 U2 ...Un =
(X1 Xi1 Ui Xi+1 ... Xn ), Ui Xi abierto.
i=1
Todas las propiedades vistas para productos binarios se aplican en productos finitos. Para ello basta aplicar el principio de induccion y tener en cuenta que hay un
homeomorfismo natural entre X1 Xn y (X1 Xn1 )Xn , as como una
asociatividad natural: (X Y ) Z, X (Y Z) y X Y Z son naturalmente
isomorfos. Lo mismo ocurre con las permutaciones de los factores.
Ejercicio 7.12. Demuestra que X1 Xn es homeomorfo a (X1
Xn1 ) Xn .
Ejercicio 7.13. Se define el espacio topol
ogico cilindro como C := R S1
con la topologa producto. Demuestra que el cilindro es homeomorfo a (R2 ) =
R2 \ {(0, 0)} con la topologa de subespacio de R2 .
DE TOPOLOGIAS
7. CONSTRUCCION
88
Tema 2.
Productos numerables
= X1 Xn1 Un
Xm .
m=n+1
Ejercicio 7.14. Demuestra que Bb es base de una topologa, llamada topologa caja.
Ejercicio 7.15. Demuestra que
(
!
)
Y
Bp := U1 U2 ... Un
Xm | Ui Ti , i = 1, ..., n, n N
m=n+1
es base de Tp
n 7.2.20. Sea {Xn }nN una familia numerable de espacios toProposicio
Q
pol
ogicos y sea X := nN Xn con la topologa producto. Sea 6= U X, abierto.
Demuestra que existe n0 N tal que n > n0 , prn (U ) = Xn .
Q
n 7.2.21. Observemos que si B := U1 U2 ...Un
Observacio
m=n+1 Xm
Bp , entonces todos sus factores son abiertos (Ui Ti , i = 1, ..., n y Xj Tj , para
todo j > n) as pues B Bb . Por lo tanto Tp Tb . Pero en general Tp ( Tb como
se demuestra en el siguiente ejercicio.
Ejercicio 7.16. Demuestra que si #{n N | #Tn = topologa indiscreta}
es finito, entonces las topologas producto y caja no coinciden.
89
Vamos a estudiar los productos numerables. Demostraremos solo aquellos resultados cuyas demostraciones difieran sustancialmente de las hechas en el caso
de productos de dos espacios topologicos.
Propiedades 7.2.22 (Topologa producto numerable). Sean (Xn , Tn ), n
Q
N, e.t. y consideremos el producto cartesiano X := nN Xn con la topologa
producto Tp . Las proyecciones prn sobre las coordenadas son ahora aplicaciones
entre espacios topologicos.
(1) Las aplicaciones prn son continuas, abiertas y suprayectivas n N.
(2) Si An Xn n N, entonces
Q
Q
(a) nN Ai = nN An .
Q
Q
(b) Int( nN Ai ) nN Int(An ).
(3) Si Z es un e.t. y f : Z X una aplicacion, entonces f es continua si y
solo si prn f es continua n N.
n 7.2.23. Observa por la Proposicion 7.2.20 si An $ Xn para todo
Observacio
Q
n N, entonces Int( nN An ) = .
n 7.2.24. Como en la Observacion 7.1.5 el producto de cerrados
Observacio
es cerrado si y solo si los factores lo son. Con respecto a los subespacios el resultado correspondiente al Ejercicio 7.5 tambien se cumple. Lo mismo ocurre con las
permutaciones u homeomorfismos de factores del Ejercicio 7.6.
n 7.2.25. Como en el Ejercicio 7.6(4), tambien los factores son
Observacio
homeomorfos a subespacios del producto. Aplicaremos las reglas de la Observacion 7.1.7: Si una propiedad es topol
ogica y hereditaria y la posee el producto,
entonces la poseen los factores.
Estudiemos la relacion entre separabilidad y producto numerable que generalice la Proposicion 7.1.9 en la que el elemento clave de la demostracion era la
Proposicion 7.1.8: El producto de densos es denso. En esta situacion necesitamos
un resultado un poco mas fuerte, ya que el producto numerable de conjuntos
numerables no es numerable (Propiedad A.5.19(3)).
n 7.2.26. Sea {Xn }nN una familia de e.t. no vacos y sea X :=
Proposicio
nN Xn . Consideremos Dn Xn conjuntos densos n N y tomemos (xn )nN
Q
X un punto cualquiera de X. Denotemos Em := D1 Dm
n=m+1 {xn },
S
entonces E := mN Em es denso en X.
Q
DE TOPOLOGIAS
7. CONSTRUCCION
90
Y
Y
B x,n :=
Bj
Xj Bj Bj , j = 1 . . . , n ,
x
entonces, B :=
j=1
S
nN
x,n
j=n+1
es base de entornos de x en X.
S
nN
Sn es subbase de X.
91
tal que Tn = T (dn ) y diam Xn < 1 (Ejercicio 2.30). Demuestra que la aplicaci
on
d : X X R dada por
X
dn (xn , yn )
d((xn )nN , (yn )nN ) :=
2n
n=1
est
a bien definida y es seudometrica (o metrica si todas las dn lo son). Adem
as,
T (d) = Tp .
Terminamos este tema con un ejemplo importante de producto numerable.
Ejemplo 7.2.33. Consideremos el conjunto 2 := {0, 1} con la topologa discreta. Consideremos tambien el producto de una cantidad numerable de copias
de 2, denotado X := 2N , con la correspondiente topologa producto. La Proposicion 7.2.20 implica que la topologa de X no es la discreta. Deducimos de los
resultados de este tema que X es metrizable (y por tanto T4 ); ademas es tambien
separable (y por tanto, iian e ian).
Ejercicio 7.18. Sea X = 2N . Demuestra que la aplicaci
on f : X [0, 1]
dada por
X xn
f ((xn )nN ) :=
2n
nN
es continua, sobreyectiva y no inyectiva.
92
DE TOPOLOGIAS
7. CONSTRUCCION
Tema 3.
93
Propiedades 7.3.3 (Topologa cociente). Sea (X, TX ) e.t, R relacion de equivalencia y X/R el espacio cociente. Entonces se tienen las siguientes propiedades:
(1) La aplicacion : (X, TX ) (X/R, TR ) es continua.
(2) A X/R es cerrado si y solo si 1 (A) X es cerrado (saturado).
(3) La aplicacion es abierta (resp. cerrada) si y solo si Sat(A) es abierto
(resp. cerrado) para todo A X abierto (resp. cerrado).
(4) Si Y es un e.t. y f : X/R Y una aplicacion, entonces f es continua
si y solo si f : X Y es continua.
Ejercicio 7.21. Sea X = {0, 1, 2, 3} y TX := {, X, {0, 1}, {2, 3}} una topologa sobre X. Consideremos la relaci
on de equivalencia de congruencia modulo
3, es decir, xRy k Z tal que x y = 3k. Demuestra que:
(1) X/R = {0, 1, 2} es un espacio indiscreto.
(2) V := {0, 1} no es entorno de 1.
(3) 1 (V ) = {0, 1, 3} es entorno de 1 (1) = {1}.
Ejercicio 7.22. Encuentra ejemplos de cocientes para los cuales la proyecci
on R : X X/R no sea abierta (resp. cerrada).
Ejemplo 7.3.4. Consideremos la recta real usual (R, Tu ) y el subconjunto
R
Z R de los n
umeros enteros. La relacion de equivalencia x S y (x y) Z
define un conjunto cociente R/RS de clases de equivalencia que sera denotado R/Z.
Sea S : R R/Z la proyeccion y consideremos la topologa cociente. Queremos
comprender la forma de R/Z.
Un modelo razonable del conjunto de clases de equivalencia, es decir, un sistema
transversal (Ejemplo A.3.10) es el intervalo [0, 1). Nos planteamos la siguiente
pregunta: es la aplicacion j : [0, 1) R/Z, j(t) := S (t) un homeomorfismo?
Es claro que es biyectiva y es continua, ya que es la composicion de la inclusion
[0, 1) , R con S . Sin embargo, vamos a ver que j 1 no es continua; en efecto,
consideremos la sucesion
1
1
xn := S 1
= S
n
n
nN
Es claro que xn converge a S (0), pero j 1 (xn ) = 1 n1 ; es decir, la sucesion imagen
no es convergente. Por la Propiedad 5.4.7(5), j 1 no es continua.
Es facil ver que S es una aplicacion abierta; en efecto, si si U R es abierto,
S
es facil ver que S1 (S (U )) = nZ Un , donde Un := {x + n | x U }. Sea
n : R R, la aplicacion traslacion por n; observemos que n es homeomorfismo y
que Un = n (U ), por lo que S1 (S (U )) es abierto en R, es decir, S (U ) es abierto
en R/Z.
DE TOPOLOGIAS
7. CONSTRUCCION
94
x = y
o
x y
x, y {0, 1}.
Todas las clases de equivalencia son unipuntuales salvo {0, 1} que contiene dos
elementos. Denotemos el conjunto cociente [0, 1]/{0=1} y la aplicacion cociente
{0=1} : [0, 1] [0, 1]/{0=1}.
Ejercicio 7.26. Demuestra que {0=1} no es abierta.
Ejercicio 7.27. Demuestra que [0, 1]/{0=1} es homeomorfo a S1 .
Ejercicio 7.28. Sea X e.t, R relaci
on de equivalencia y R : X X/R
proyecci
on sobre el espacio topol
ogico cociente X/R. Encuentra ejemplos de cocientes para los cuales:
(a)
(b)
(c)
(d)
(e)
R (A) 6= R (A),
Int(R (A)) 6= R (Int(A)),
Fr(R (A)) 6= R (Fr(A)),
Ext(R (A)) 6= R (Ext(A)),
Ais(R (A)) 6= R (Ais(A)),
95
x S y (x y) Z.
Entonces R/RS es un espacio indiscreto ya que los u
nicos abiertos en T saturados
son el vaco y el total; por lo tanto es separable. Ademas S1 (y) = {y + n | n Z}
que es un conjunto numerable. En cambio (R, T ) no es separable, ya que si lo
fuera, como [0, 1) T entonces ([0, 1), T |[0,1) ) tambien debera serlo, pero T |[0,1)
es la topologa discreta y #[0, 1) > 0 .
n 7.3.8. Si X/R es separable, R es abierta y # 1 (y) 0
Proposicio
y X/R, entonces X es separable.
El Primer Axioma de Numerabilidad NO se conserva en espacios cociente.
Veamos un ejemplo de topologa cociente X/R no ian que provenga de un espacio
topologico X que s sea ian.
Ejemplo 7.3.9. Tomemos X = R y la relacion de equivalencia
x = y
R
xy
x, y Z.
Vamos a demostrar que no existen bases de entornos numerables del punto
[0] = Z (la clase del 0 es el conjunto de los n
umeros enteros, escribiremos [0] cuando
nos refiramos al punto de R/R y Z cuando nos refiramos a [0] como subconjunto
de R). Supongamos que B0 es una base de entornos de [0] de cardinal a lo sumo
numerable. En tal caso, podemos ordenar sus elementos B0 = {Vn | n N}.
1
1
Como Vn es entorno de [0] entonces Z = R
([0]) Vn = R
(Vn ). Observese que
96
DE TOPOLOGIAS
7. CONSTRUCCION
ian
iian
R abierta R abierta
Ejemplo 7.3.13. Por el Ejemplo 7.3.5 y los Ejercicios 7.26 y 7.27 sabemos que
la condicion la proyecci
on cociente es abierta no es condicion necesaria (aunque
s suficiente) para que los axiomas de numerabilidad pasen al cociente, ya que S1
es ian y iian.
Ejercicio 7.29. Demuestra que si X es T1 , T2 , normal o regular, sus cocientes no tienen porque serlo
Ejemplo 7.3.14. Las coordenadas polares suponen un ejemplo de uso de topologa cociente. En R>0 R, definimos la relacion de equivalencia
(t1 , 1 ) (t2 , 2 ) t1 = t2 y 2 1 2Z.
Es facil ver que R>0 R/ es homeomorfo a R2 \ {(0, 0)}.
Ejercicio 7.30. Consideremos el espacio (Rn+1 ) = Rn+1 \ {0} usual y
R
en el definida la siguiente relaci
on de equivalencia: x P y x = y para cierto
R . El espacio cociente (Rn+1 ) /RP con la topologa cociente se conoce con
el nombre de espacio proyectivo real de dimension n y se denota por RPn ; la
aplicaci
on cociente se denota P . Demuestra que RP1 es homeomorfo a S1 .
Ejemplo 7.3.15. Consideremos el espacio R R usual y en el definida la
siguiente relacion de equivalencia:
x x0 Z
RT
0 0
(x, y) (x , y )
.
y y 0 Z
Observese que [0, 1) [0, 1) R2 es un sistema tranversal para RT . Denotemos el
espacio cociente R2 /RT por T1 . Por otra parte podemos definir T2 := S1 S1 con
la topologa producto. Se demuestra facilmente que T1 T2 . Este espacio (que
podemos ver como cociente de R2 o como producto de espacios) recibe el nombre
de toro y se denota por T.
97
x x0 Z
RM
0 0
(x, y) (x , y )
.
y = (1)xx0 y 0
Denotemos el espacio cociente R2 /RM por M. Este espacio recibe el nombre de
banda de Mobius.
Ejemplo 7.3.17. Analogamente al ejercicio anterior definamos la siguiente
relacion de equivalencia:
x x0 Z
RK
0 0
(x, y) (x , y )
.
y (1)xx0 y 0 Z
Denotemos el espacio cociente R2 /RK por K. A este espacio se le conoce como la
botella de Klein.
DE TOPOLOGIAS
7. CONSTRUCCION
98
Tema 4.
Y SUMA TOPOLOGICA
99
X
(7.2)
& f
Y,
%h
X/Rf
donde f = h f .
n 7.4.7. La aplicaci
Proposicio
on h : X/Rf Y descrita en (7.2) es un
homeomorfismo.
Por tanto, toda identificacion puede verse como la proyeccion sobre una topologa cociente y toda proyeccion cociente es una identificacion.
Propiedades 7.4.8 (Identificaciones). Consideremos f1 : X Y y f2 : Y
Z aplicaciones continuas:
(1) Si f1 y f2 son identificaciones, entonces f2 f1 es una identificacion.
(2) Si la composicion f2 f1 es una identificacion, entonces f2 es identificacion.
(3) Si f1 es una identificacion entonces f2 f1 es identificacion si y solo si f2
es identificacion.
(4) Una aplicacion continua, sobreyectiva y abierta (o cerrada) es una identificacion.
(5) Si f es una aplicacion biyectiva, entonces es identificacion si y solo si es
homeomorfismo.
100
DE TOPOLOGIAS
7. CONSTRUCCION
Y SUMA TOPOLOGICA
101
CAPTULO 8
Axiomas de recubrimiento
Dedicaremos este captulo a un nuevo tipo de propiedades topologicas: aquellas que se refieren a la posibilidad de extraer subrecubrimientos de cardinal finito
o numerable de cualquier recubrimiento. Estudiaremos compacidad, espacios de
Lindelof, compacidad local. Para terminar describiremos el metodo de compactificacion de Alexandroff.
Tema 1.
Compacidad
104
8. AXIOMAS DE RECUBRIMIENTO
TEMA 1. COMPACIDAD
105
106
8. AXIOMAS DE RECUBRIMIENTO
Observaciones 8.1.21.
(1) Este resultado no es cierto en R con otras topologas distintas de la usual,
por ejemplo, ya hemos visto en el Ejercicio 8.6 que [0, 1] no es compacto
en la recta de Sorgenfrey (a pesar de ser cerrado).
(2) Si uno se fija en la demostracion, el resultado es cierto para cualquier
espacio metrico en el que las bolas cerradas sean compactas.
n 8.1.22. Sea {Kn }nN una familia de conjuntos cerrados encajaProposicio
dos (Kn Km si n m) no vacos de un conjunto compacto X, entonces nN Kn
es un conjunto compacto no vaco.
Es importante observar que no todos los compactos infinitos de R son intervalos
cerrados y acotados o uniones finitas de ellos. A continuacion construiremos un
compacto infinito de R que no solo no es un intervalo, sino que ni siquiera contiene
ning
un intervalo. Este conjunto se denomina conjunto de Cantor y lo obtendremos
del siguiente modo:
Ejemplo 8.1.23 (Cantor). Consideremos
E0 := [0, 1],
1 2
E1 := E0 \
, ,
3 3
1 2 7 8
E2 := E1 \
,
,
,
9 9
9 9
...
!
3n1 1
[ 3k + 1 3k + 2
En := En1 \
,
.
3n
3n
k=0
Para simplificar consideremos las siguientes notaciones:
3k + 1 3k + 2
:=
,
,
3n
3n
Ik,n
In :=
y as
Ik,n .
k=0
En = En1 \ In = [0, 1] \
3n1
[1
n
[
!
Im .
m=1
Observese lo siguiente:
(C1) En+1 En (en general, En Em si m n).
(C2) En =
6 n N ya que 31n En . Esto es facil de comprobar ya que
1
31m si m n y por tanto 31n
/ Im si m n. As pues, 31n
/ nm=1 Im
3n
y por tanto 31n [0, 1] \ (nm=1 Im ) = En .
TEMA 1. COMPACIDAD
107
En .
nN
P
([a
,
b
])
| < .
modo que la serie nN ([an , bn ]) sea convergente y |M
n
n
nN
En particular, si un conjunto tiene medida (de la definicion no se deduce que
todos los subconjuntos de R tengan que tener medida) y contiene un intervalo, su
medida ha de ser positiva. Con esta definicion, observa que En es una union finita
n
de intervalos cerrados y acotados, que C En y que (En ) = 23n . Por lo tanto
(C) = 0. Es decir, el conjunto de Cantor es un compacto infinito de R de medida
cero sin puntos aislados.
Ejercicio 8.7. Sea C el conjunto de Cantor, y sea X := {0, 1}N . Definimos
la aplicaci
on f : X C, tal que si {n }nN X entonces:
f ({n }nN ) =
X
2n
n=1
3n
108
8. AXIOMAS DE RECUBRIMIENTO
A continuacion probaremos algunas interesantes caracterizaciones de compacidad. Para ello definiremos brevemente el siguiente concepto. Diremos que una familia V = {V X | } de subconjuntos de X es disjunta si V = V =
y diremos que es finitamente disjunta si existe una subfamilia finita de V disjunta,
es decir, si F tal que F V = .
n 8.1.28. Sea (X, T ) e.t, entonces las siguientes afirmaciones son
Proposicio
equivalentes:
(1)
(2)
(3)
(4)
X es compacto
Si una familia de abiertos no recubre finitamente a X, no recubre a X.
Si una familia de cerrados es disjunta, entonces es finitamente disjunta.
Si una familia de cerrados no es finitamente disjunta, entonces no es
disjunta.
(5) Existe B base de (X, T ) tal que todo recubrimento de abiertos basicos (es
decir, U B con U = X) recubre finitamente a X.
compacidad en productos y cocientes
n 8.1.29. Si (X, T ) es un espacio topol
Proposicio
ogico compacto y R relaci
on
de equivalencia en X, entonces (X/R, T /R) es compacto.
Teorema 8.1.30 (Tychonoff). Sean (X, TX ) e (Y, TY ) e.t. no vacos, entonces
X Y es compacto si y solo si X e Y lo son.
Ahora podemos terminar la demostracion del Teorema 8.1.18.
Ejercicio 8.9. Demuestra que el toro T (Ejemplo 7.3.15) es compacto.
Ejercicio 8.10. Consideremos Mn (R) el conjunto de matrices n n con
2
coeficientes reales al que identificaremos con Rn . De esta manera dotaremos a
Mn (R) de estructura de espacio metrico. Definamos el grupo ortogonal O(n) :=
{A Mn (R) | AAt = 1n } (donde 1n es la matriz identidad en Mn (R)). Demuestra
que O(n) es compacto.
Tema 2.
109
Compacidad y sucesiones
110
8. AXIOMAS DE RECUBRIMIENTO
TEMA 3. COMPACIDAD Y ESPACIOS LINDELOF
Tema 3.
111
112
8. AXIOMAS DE RECUBRIMIENTO
(3) X es separable.
n 8.3.8. Sea X un espacio seudometrico y sea U un recubrimiento
Definicio
abierto de X. Diremos que > 0 es un n
umero de Lebesgue del recubrimiento si
toda bola de radio esta contenida en un abierto de U.
n 8.3.9. Sea X un espacio seudometrico secuencialmente compacProposicio
to. Entonces, todo recubrimiento abierto posee un n
umero de Lebesgue.
n 8.3.10. Sea X un espacio pseudometrizable, entonces las siProposicio
guientes propiedades siguientes son equivalentes:
(1) X es compacto.
(2) X es numerablemente compacto.
(3) X es secuencialmente compacto.
Corolario 8.3.11. Un espacio seudometrico es compacto si y solo si es totalmente acotado y completo.
Tema 4.
113
114
8. AXIOMAS DE RECUBRIMIENTO
Por u
ltimo estudiaremos el comportamiento de la compacidad local para productos de espacios topologicos.
Q
n 8.4.8. X := (X , T ) es localmente compacto si y solo si
Proposicio
(i) (X , T ) es localmente compacto y
(ii) F finito tal que (X , T ) es compacto \ F .
DE ALEXANDROFF
TEMA 5. COMPACTIFICACION
Tema 5.
115
Compactificaci
on de Alexandroff
Sn \ {P }
n
R
x1
xn
(x1 , ..., xn+1 ) 7
,
...,
.
1xn+1
1xn+1
116
8. AXIOMAS DE RECUBRIMIENTO
Rn
n
S
\ {P }
21
2n 2 1
(1 , ..., n ) 7
,
...,
,
2 +1
2 +1 2 +1
CAPTULO 9
Espacios de Baire
Tema 1.
118
9. ESPACIOS DE BAIRE
Tema 2.
119
Espacios de Baire
Por u
ltimo probaremos el importante teorema de Baire.
Teorema 9.2.3 (Teorema de Baire). Sea X un espacio topol
ogico que cumple
alguna de las tres propiedades siguientes. Entonces X es de Baire.
(1) X es localmente compacto y T2 .
(2) X es localmente compacto y regular.
(3) X es pseudometrizable y su topologa proviene de una pseudometrica d
para la que (X, d) es seudometrico completo.
Ejemplo 9.2.4. Como consecuencia del Teorema de Baire si un espacio topologico es localmente homeomorfo a un abierto de (Rn , Tu ), entonces es un espacio de Baire. Un espacio se dice localmente homeomorfo a Rn si todo punto admite
un entorno abierto homeomorfo a un abierto de Rn .
n 9.2.5. Observe que una consecuencia de que un espacio (X, T )
Observacio
sea de Baire es que si descomponemos X en una union numerable de cerrados
X = nN Cn , entonces alguno de ellos debe tener interior no vaco. En efecto,
si Int(Cn ) = , entonces Cn sera diseminado ya que Int(Cn ) = Int(Cn ) =
por lo cual X sera de primera categora lo que contradice ser de Baire (Proposicion 9.2.2(2)).
Ejemplo 9.2.6. Veamos que (Rn \ Qn , Tu |Rn \Qn ) es un espacio de Baire. Si no
lo fuera, podramos encontrar x Rn \ Qn y > 0 tal que A := B(x; ) (Rn \ Qn )
es de primera categora en Rn \ Qn . Por tanto, A tambien es de primera categora
en Rn . Como B(x; ) es la union de A y un conjunto numerable, tambien sera de
primera categora, contradiccion.
Debido a que Int(Rn \ Qn ) = , lo anterior y la Observacion 9.2.5 implican que
Rn \ Qn no puede escribirse como union numerable de cerrados.
120
9. ESPACIOS DE BAIRE
1
1
C2,n := (x, x) C2 x, x +
x, x +
U .
n
n
Observa que
(1) Si (x, y) R2 , entonces
1
1
1
2
y, y +
|n N
B := S ((x, y); ) := x, x +
n
n
n
(2)
(3)
(4)
(5)
CAPTULO 10
Espacios conexos
Tema 1.
Definici
on y primeros ejemplos
X1
X2
X3
X4
X5
122
Y PRIMEROS EJEMPLOS
TEMA 1. DEFINICION
123
T
(a) X 6= .
(b) = N y Xn Xn+1 6= , n N.
(c) = {0, 1, ..., k} y Xn Xn+1 6= , n \ {k}.
(2) X Y es conexo si y solo si X e Y lo son.
(3) Sea f : X Y una identificaci
on. Si Y es conexo y ademas f 1 (y) es
conexo y Y , se tiene que X es conexo.
Ejemplo 10.1.11. Por la Proposicion 10.1.10(2), sabemos que Rn es conexo.
Ahora, como Sn es la compactificacion de Alexandroff de Rn (ver Ejemplo 8.5.5)
entonces, por el Ejemplo 10.2, se tiene que Sn es conexo.
Ejercicio 10.3. Sea f : X Y una aplicaci
on continua y sea X e.t.
conexo. Demuestra que el grafo de f , es decir, el conjunto f := {(x, f (x)) | x
X} X Y , es conexo.
Siguiendo con el razonamiento utilizado en el Ejemplo 10.1.6(3) parece natural
preguntarse si A3 := (0, 1)(2, 3)(4, 5) es o no homeomorfo a A2 := (0, 1)(2, 3).
La respuesta parece intuitivamente negativa a pesar de que ambos conjuntos son
no conexos. El motivo: A2 es union disjunta de dos intervalos (espacios conexos)
mientras que A3 es union disjunta de tres intervalos, claro que A1 := (0, 1) =
(0, 12 ] ( 12 , 1) tambien es union disjunta de dos intervalos, y en cambio no es homeomorfo a A2 . En lo que sigue refinaremos esa idea de descomponer un conjunto
en trozos disjuntos y conexos de manera adecuada.
Sea X un espacio topologico. Consideremos en X la siguiente relacion:
x y K X conexo tal que x, y K.
Ejercicio 10.4. Demuestra que es una relaci
on de equivalencia.
Lema 10.1.12. Sea K una clase de equivalencia de la relaci
on . Entonces,
(1) Si B es conexo y K B 6= , entonces B K (Observacion 10.1.9).
(2) K es conexo.
n 10.1.13. Las componentes conexas de X son las clases de equivaDefinicio
lencia de esta relacion.
Ejemplo 10.1.14. Por el Ejemplo 10.1.8(1), las componentes conexas de (0, 1)
(2, 3) son los intervalos (0, 1) y (2, 3). Es mas, veamos que dos puntos x, y de X R
estan en la misma componente conexa de X si y solo si [x, y] X (suponemos
que x < y).
124
Propiedades 10.1.15 (Componentes conexas). Sea (X, T ) e.t. conexo, entonces se tiene que:
(1) X es union disjunta de sus componentes conexas.
(2) Sea x X y sea Kx la componente conexa que contiene a x, entonces Kx
es el mayor conexo que contiene a x (por la relacion de orden ). 1
(3) Si A X es un conexo no vaco, entonces existe una u
nica componente
conexa K tal que A K.
(4) Las componentes conexas son cerrados.
(5) Sea KX el espacio cociente de X por la relacion . Entonces KX admite una estructura de e.t. cociente y cumple que si X Y entonces
KX KY . En particular, el cardinal de KX es un invariante de X por
homeomorfismo.
(6) X es conexo si y solo si posee una sola componente conexa.
(7) Si 6= A X es un abierto-cerrado conexo, entonces A es una componente conexa.
(8) Si 6= A X es un abierto-cerrado, entonces A es union de componentes
conexas de X.
n 10.1.16. Diremos que un espacio (X, T ) es totalmente desconecDefinicio
tado si cada punto de X constituye una componente conexa.
Ejemplo 10.1.17. Un ejemplo sencillo de espacio totalmente desconectado es
el de los espacios topologicos discretos. En (X, Td ) todo punto es abierto-cerrado
y conexo, y por lo tanto (Propiedad 10.1.15(7)) componente conexa. As pues,
(X, Td ) es totalmente desconectado.
Ejemplo 10.1.18. Otros ejemplos de espacios totalmente desconectados son
(Q, Tu |Q ) y el discontinuo de Cantor, C. En ambos casos, utilizando el Ejemplo 10.1.14 y el hecho de que ning
un intervalo no unipuntual esta contenido ni
en Q ni en C (Propiedad 8.1.24(C5)). obtenemos que u
nicamente los puntos son
conexos, y por tanto componentes conexas.
Ejemplo 10.1.19. Sea X := n1 nN como subespacio de R. Como X hereda
la topologa discreta (Ejercicio 2.28), entonces el Ejemplo 10.1.17 implica que X
es totalmente desconectado.
Ahora, consideremos Y := X {0} de nuevo como subespacio de R. Observese
que el punto 0 no es aislado, y por tanto {0} no es abierto en Y , as pues Y no es
un espacio discreto. En cambio, {0} no esta en ninguna componente de las de X
ya que ({0, n1 } no es conexo) entonces Y tambien es totalmente desconectado.
1Es
Y PRIMEROS EJEMPLOS
TEMA 1. DEFINICION
125
126
Tema 2.
Conexi
on local
LOCAL
TEMA 2. CONEXION
127
S
1
x
=
Ejemplos 10.2.12. Sea X :=
R2 considerado como subesn=1
n
128
Sea ahora Y := X {x =
como subespacio topologico
0}de nuevo considerado
1
2
de R . Observese que Y =
{0} R. Por el Ejercicio 10.2.7, el primer
n nN
factor de Y no es localmente conexo, y por tanto Y no es locamente conexo como
consecuencia de la Proposicion 10.2.9(2). Las componentes conexas de Y son de
...
...
Figura 10.1. Y =
1
n
{0}
R
nN
...
...
X2
Figura 10.2. Seno del topologo
X1
LOCAL
TEMA 2. CONEXION
129
130
Tema 3.
Conexi
on por caminos
(10.1)
POR CAMINOS
TEMA 3. CONEXION
131
x y (X, x, y) 6=
c,X
c,X
c,Y
si x1 x2 f (x1 ) f (x2 ).
Por lo tanto, si f : X Y es homeomorfismo, (X, x1 , x2 ) 6= es equivalente
a que (Y, y1 , y2 ) 6= , donde f (xi ) = yi . As pues, el n
umero de componentes
conexas por caminos de un espacio topologico es una propiedad topologica, en
particular, ser conexo por caminos es propiedad topologica.
n 10.3.5. Si X 6= , observa que X es conexo por caminos si y solo
Observacio
si existe x0 X de forma que (X, x0 , x) 6= para cualquier x X. El motivo es
c,X
que tiene una clase de equivalencia si y solo si todo punto x X es equivalente
a uno dado x0 , o bien si cualquiera dos puntos x, y X son equivalentes.
Ejemplos 10.3.6.
(1) Recordemos que un subconjunto I R es un intervalo si cumple la siguiente propiedad: x, y I son dos puntos de I, (supongamos que x < y)
entonces [x, y] I (Teorema 1.2.11), es decir, si x z y se tiene que
z I. Esto es equivalente a que x + t(y x) I para cualquier t [0, 1].
As pues, la aplicacion : [0, 1] I definida por (t) = x + t(y x) es un
camino que une x con y, y por tanto I es conexo por caminos (de hecho
la Proposicion 10.3.8 y el Ejemplo 10.1.8(1) probaran que este resultado
es un si y solo si).
132
POR CAMINOS
TEMA 3. CONEXION
133
(1) Un subconjunto de R es conexo por caminos si y solo si es un intervalo. Por el Ejemplo 10.3.6(1) sabemos que todo intervalo es conexo por
caminos. Recprocamente, si un subconjunto de I R es conexo por
caminos, entonces por la Proposicion 10.3.8, es conexo y esto implica
(Ejemplo 10.1.8(1)) que I es un intervalo.
(2) El recproco de la Proposicion 10.3.8 no es cierto. Para probarlo, utilizaremos el seno del topologo, definido en el Ejemplo 10.2.13. Consideremos un camino : [0, 1] X tal que (0) = (0, y0 ) X2 . Sea
A := 1 (X2 ) [0, 1]. Sabemos que A es no vaco ya que 0 A; ademas
es cerrado ya que X2 es cerrado y es continua.
Veamos que A es ademas abierto. Para ello, sea t A. Fijemos un
entorno abierto de (t) = (x, y) de la forma U := (x, x+)(y, y+)
( suficientemente peque
no como en el Ejemplo 10.2.13) y V un entorno
de t de la forma V := (t , t + ) en [0, 1] tal que (V ) U . Por tanto,
(V ) es conexo y esta contenido en la componente conexa de U X que
contiene a (t) X2 , es decir en U X2 . As pues, V A, y por tanto A
es abierto. Como [0, 1] es conexo, A = [0, 1].
Por lo tanto el punto (0, y0 ) no puede unirse por ning
un camino a un
punto de X1 , y por tanto X no es conexa por caminos.
A continuacion estudiaremos las propiedades de la descomposicion de X en
componentes conexas:
c,X
134
(5) X es conexo por caminos si y solo si posee una sola componente conexa
por caminos.
(6) Toda componente conexa por caminos de X esta contenida en una u
nica
componente conexa de X.
(7) Toda componente conexa de X es union disjunta de componentes conexas
por caminos de X.
Ejemplo 10.3.12. La demostracion de que el seno del topologo no es conexo
por caminos (Ejemplo 10.3.9) demuestra precisamente que X2 es componente conexa por caminos de X. Por otra parte, X1 es el grafo de la aplicacion continua
f : (0, 1] R, definida por f (x) = sen x1 . Como (0, 1] es conexo por caminos
(Ejemplo 10.3.6(1)), entonces X1 tambien es conexo por caminos (Ejercicio 10.10).
Por lo tanto X tiene exactamente dos componentes conexas por caminos: X1 y X2 ,
mientras que solo una componente conexa (Ejemplo 10.2.13). Observese ademas
que X1 es componente conexa por caminos, pero no es cerrado en X.
Ejercicio 10.11. Demuestra que (R, Tcn ) no es conexo por caminos y
que sus componentes conexas por caminos son puntuales (observa en cambio que
(R, Tcn ) es conexo y localmente conexo como vimos en los Ejercicios 10.1 y 10.6).
Tema 4.
135
Conexi
on local por caminos
136
...
X2
X1
...
X3
APENDICE
A
Conceptos b
asicos
(8)
(9)
(10)
(11)
Subconjunto: A B (x A x B).
Conjunto de las partes de un conjunto: P(X) := {A | A X}.
Igualdad de conjuntos: A = B (A B B A).
Conjunto vaco: es el u
nico conjunto que cumple la propiedad de que
no contiene ning
un elemento.
Union de conjuntos: A B := {x | x A x B}).
Intersecci
on: A B := {x | x A x B}).
Conjuntos disjuntos: A y B son disjuntos si A B = . En ocasiones, si A
y B son disjuntos, para escribir A B resaltando este hecho, escribiremos
A B.
`
Union disjunta de conjuntos: A B := {(A, a) | a A} {(B, b) | b
B}.
Complementario de A en X: Ac := {x X | x 6 A}.
Diferencia de dos conjuntos: A \ B := A B c ; el complementario de A en
X es Ac = X \ A.
Producto cartesiano: A B := {(a, b) | a A b B}.
138
(5) Si A B, entonces
(a) A A C B C,
(b) A C B C B.
(6) Si x A B y x 6 A, entonces x B (es decir, (A B) Ac B).
(7) A B = A = B = .
n A.1.2. A la cuaterna (P(X), , , c ) se le denomina
Definicio
algebra de
Boole de X.
(c) A Ac = X,
(d) A B B c Ac (por tanto A = B Ac = B c ).
(8) Leyes de Morgan:
(a) (A B)c = Ac B c ,
(b) (A B)c = Ac B c .
(9) Propiedad distributiva de la intersecci
on respecto de la union: A (B
C) = (A B) (A C).
(10) Propiedad distributiva de la union respecto de la intersecci
on: A (B
C) = (A B) (A C).
Ejercicio A.2. Demuestra las siguientes formulas:
(1) (B A) \ (C A) = (B \ C) A.
(2) Si A B entonces A \ C B \ C. Deduce de esto que
A = B A \ C = B \ C.
(3) A B = si y solo si A B c . Deduce entonces que
A B = C (A B c C) (C A B)
TEMA 1. CONCEPTOS BASICOS
139
(4) A \ B = A \ (A B)
(5) Si A1 A2 y B1 B2 , entonces A1 B1 A2 B2 .
A1 B = A2 B A1 = A2 .
(7) (A \ B) B = A B.
(8) (a) (A1 A2 ) (B1 B2 ) = (A1 B1 ) (A1 B2 ) (A2 B1 ) (A2 B2 ).
(b) (A1 B1 ) (A2 B2 ) = (A1 A2 ) (B1 B2 ). Deduce de esto:
(A1 B1 ) (A2 B2 ) = (A1 A2 = ) (B1 B2 = ).
140
Tema 2.
Aplicaciones
Del mismo modo, la definicion de conjunto imagen inversa produce, para cada
subconjunto B1 de B, un subconjunto (y solo uno) f 1 (B1 ) de A. Es decir, define
una aplicacion
(A.2)
) : P(B) P(A)
P(f
)(B1 ) := f 1 (B1 ).
B1 7 P(f
TEMA 2. APLICACIONES
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
141
142
(2)
(3)
(4)
(5)
(6)
A1 , A2 A.
f 1 : B A es una aplicaci
on biyectiva,
1
(f 1 ) = f ,
11
A = 1A ,
(g f )1 = f 1 g 1 ,
(a) (f 1 f ) = 1A ,
TEMA 2. APLICACIONES
143
(b) (f f 1 ) = 1B .
(6) Si C = A, f es biyectiva y f g = 1B , entonces g = f 1 .
(7) Si C = A, f g = 1B y g f = 1A , entonces f es una biyecci
on y g = f 1
Ejercicio A.10. Completa los apartados (5) y (6) de las Propiedades A.2.5
del siguiente modo.
(1) f (f 1 (B1 )) = B1 B1 f (A). Deduce de aqu que si f es sobreyectiva,
entonces f (f 1 (B1 )) = B1 .
(2) Si f 1 (b) A1 A siempre que f 1 (b) A1 6= , entonces A1 =
f 1 (f (A1 )).
(3) Si f |f 1 (f (A1 )) es inyectiva, entonces A1 = f 1 (f (A1 )).
(4) f es inyectiva A1 = f 1 (f (A1 )) A1 A.
(5) Si f es biyectiva f 1 (f (A1 )) = A1 , A1 A y f (f 1 (B1 )) = B1 , B1
B.
Ejercicio A.11. Demuestra las siguientes propiedades:
1
(1) Si f : A B, A1 A y B1 B, entonces f |1
(B1 ).
A1 (B1 ) = A1 f
1
(2) Si f : A B, g : B C y C1 C, entonces (g f ) (C1 ) =
f 1 (g 1 (C1 )) (observa que esta propiedad no se deduce del Ejercicio A.9(4)
ya que no sabemos que existan las aplicaciones inversas de f ni de g).
(3) Si f : A B es biyectiva, entonces:
(a) A1 = A2 si y solo si f (A1 ) = f (A2 )
(b) B1 = B2 si y solo si f 1 (B1 ) = f 1 (B2 )
) (Observaci
(c) Las aplicaciones P(f ) y P(f
on A.2.4) son biyecciones.
144
f 1 (B1 ) = g(B1 ).
f (B1 ) = (f 1 )1 (B1 ).
aplicaci
on f : A f (A) del siguiente modo f (a) = f (a). Demuestra los siguientes
resultados sobre la aplicaci
on f:
(1) Si f es inyectiva entonces f es inyectiva.
(2) f es sobreyectiva.
TEMA 2. APLICACIONES
145
0
7
A (x) :=
1
si x 6 A
si x A.
La aplicaci
on A se suele denominar aplicacion caracterstica de A. Demuestra
1
c
que A ({1}) = A, que 1
A ({0}) = A y que A es sobreyectiva si y solo si
6= A ( X.
146
Tema 3.
Si f
F, denotaremos por x al elemento f (), y por (x ) a la
propia aplicacion f (donde x es la coordenada en de f ).
Si X = X, , entonces denotaremos el producto cartesiano
como X . Si ademas = {1, . . . , n}, lo denotaremos X n .
Ejercicio A.16. Sea F = {A | } familia de conjuntos, las siguientes
son sencillas consecuencias de las definiciones anteriores.
(1)
(2)
(3)
(4)
147
148
[x] = X.
[x]X/R
149
150
151
152
Tema 4.
Propiedades de los n
umeros reales
TEMA 5. CARDINALES
Tema 5.
153
Cardinales
si n = 0
n :=
{0, 1, ..., n 1} si n 1.
Si x n entonces #(n \ {x}) = #(n 1).
(4) Si n, m N con n 6= m, entonces #n 6= #m.
n A.5.3. Diremos que un conjunto X es finito y de orden o cardiDefinicio
nal n (en notacion, #X = n), si existe n N de modo que #X = #n. Diremos
que X es infinito, conjunto si no es finito.
Ejercicio A.20. Demuestra que si A X es un subconjunto finito de X,
y x X entonces A {x} es finito.
Ejercicio A.21. La aplicaci
on f : Z N definida por
2n
si n 0
f (n) :=
(2n + 1) si n < 0
es una biyecci
on, es decir, #N = #Z.
n A.5.4. Todo subconjunto de un conjunto finito es finito.
Proposicio
154
x
j(y) =
x0
si i(x) = y
si y 6 i(X).
Recprocamente, si j : Y X es una aplicacion sobreyectiva, podemos definir una aplicacion inyectiva i : X Y de modo que i(x) = y
TEMA 5. CARDINALES
155
poder elegir un elemento en cada conjunto j 1 (x), es decir, para mostrar la existencia
de i tal y como la hemos definido, se necesita utilizar una version del Axioma de Eleccion A.3.12.
156
TEMA 5. CARDINALES
157
(2) El conjunto de n
umeros reales R es infinito no numerable, es decir, #R >
0 . Para ello, construmos una aplicacion inyectiva f : 2N R dada por
X xn
f ((xn )nN ) := 2
.
n+1
3
nN
(3) Todo intervalo infinito de n
umero reales tiene cardinal infinito no numerable. Basta recordar que dos intervalos infinitos son biyectivos.
Ejercicio A.24. Demostrar que la aplicaci
on f del Ejemplo A.5.21(2) es
efectivamente inyectiva.
Ejercicio A.25. Cual es el cardinal de los n
umeros complejos C ?
Ejercicio A.26. Sea X un conjunto numerable, entonces
PF (X) := {A X | A es conjunto finito}
tiene cardinal numerable.
Ejercicio A.27. Consideremos F := {A X | } una familia de
subconjuntos de X.
(1) Demuestra que #F #.
(2) Sea f : X Y es una aplicaci
on, entonces podemos definir la imagen
de dicha familia como f F := {f (A ) Y | }. Demuestra que
#f F #F. Adem
as, si f es biyectiva, entonces #f F = #F.
Indice alfab
etico
abierto, 15
absoluto, 39
en Rn , 10
relativo, 39
acotado, 26, 109
acumulacion, punto de, 49
adherencia, vease clausura
aglomeracion
de sucesiones, 71
aislado, 49
Alexandroff, compactificacion de, 115
algebra de Boole, 138
aplicacion, 140
abierta, 50
biyectiva, 141
cerrada, 50
contractiva, 25
de identificacion, 99
grafo de una, 85
identidad, 141
inclusi
on, 144
inversa, 142
inyectiva, 141
lipschitziana, 25
sobre, 141
sobreyectiva, 141
suprayectiva, 141
Axioma de Eleccion, 150
cadena, 151
camino, 130
cerrado, 130
constante, 130
extremo de un, 130
final de un, 130
inverso, 130
origen de un, 130
reparametrizacion de un, 130
suma de, 130
camino(s)
conexion local por, 135
conexion por, 131
Cantor, conjunto de, 106
cardinal, 153
cardinales, 153
Cauchy, sucesion de, 110
Bn (x0 ; ) bola en Rn , 7
Baire
159
160
INDICE ALFABETICO
Cauchy-Schwartz, desigualdad, 6
cerrado, 31
crculo de Varsovia, 136
clase de equivalencia, 147
clausura, 43
compacidad, 103
numerable, 109
secuencial, 109
compacidad local, 113
compactificacion, 115
de Alexandroff, 115
compacto, 103
completamente regular, 79
completo, 110
componente conexa por caminos, 131
componentes conexas, 123
conexion, 121
por caminos, 131
conexion local, 126
conjunto(s)
acotado inferiormente, 152
acotado superiormente, 152
complementario de un, 137
de Cantor, 106
de llegada, 140
de partida, 140
diferencia de, 137
diseminado, 117
disjuntos, 137
familia de, 146
familia disjunta de, 108
familia finitamente disjunta de, 108
final, 140
finito, 153
igualdad de, 137
imagen, 140
imagen inversa, 140
infinito, 153
interseccion de, 137
numerable, 154
ordenado, 151
partes de un, 137
producto cartesiano de, 137
saturado, 92
INDICE ALFABETICO
entorno, 35
(seudo)metrico, 24
b
asico, 55
base de, 55
de un conjunto, 75
metrico en Rn , 9
esfera
en Rn , 7
en un espacio seudometrico, 23
espacio (seudo)metrico, 22, 23
acotado, 109
completo, 110
totalmente acotado, 109
espacio topologico, 15
(seudo)metrizable, 26
compacto, 103
completamente regular, 79
de Baire, 119
de punto incluido, 16
de Sierpinski, 16
discreto, 15
Hausdorff, 72
indiscreto, 16
inducido por un espacio (seudo)metrico,
24
localmente compacto, 113
normal, 76
numerablemente compacto, 109
regular, 76
secuencialmente compacto, 109
totalmente desconectado, 124
espacios homeomorfos, 18
e.t. espacio topologico, 15
exterior, 48
familia de entornos de x, 55
finito, conjunto, 153
fraccion irreducible, 148
frontera, 48
funcion, 140
(X, x, y) conjunto de caminos en X con origen en x y final en y, 130
grafo, 85
161
grupo
ortogonal, 108
Hausdorff, 72, vease T2
Heine-Borel, Teorema de, 105
homeomorfismo, 18
sobre la imagen, 41
identificacion, vease aplicacion de identificacion
inclusion, aplicacion, 144
nfimo, 152
interior, 46
lmite
de sucesiones, 71
Lebesgue, n
umero de, 112
Leyes de Morgan, 138
Lindelof
espacio, 111
Teorema de, 111
localmente compacto, 113
localmente conexo por caminos, 135
metrica, vease distancia
Morgan
leyes de, 138
n
umero de Lebesgue, 112
normal, 76
numerable, 154
operador de Kuratowski, 45
plano
de Moore, 61
de Niemytzki, 61
del semidisco, 63
primera categora, 117
primero numerable, 69
producto escalar, 6
Propiedad
arquimediana de los n
umeros reales, 152
propiedad topologica, 19
hereditaria, 41
proyeccion cociente, 148
162
INDICE ALFABETICO
punto de aglomeracion
de una sucesion, 71
recta de dos orgenes, 57
recubrimiento, 103
abierto, 103
recubrimiento abierto
relativo, 104
regular, 76
relacion de equivalencia, 147
clase de una, 147
particion de una, 148
proyeccion cociente de una, 148
sistema trasversal de una, 148
relacion de orden, 151
cadena de una, 151
Sn (x0 ; ) esfera en Rn , 7
Sat(A) saturacion de A, 92
saturacion, 92
Sd (x0 ; ) esfera en un espacio seudometrico,
23
seccion, 150
segunda categora, 117
segundo numerable, 70
seno del topologo, 128
separable, 67
separar, 75
seudodistancia, 22
seudometrica, vease seudodistancia
Sierpinski, espacio de, 16
sistema fundamental, vease base de entornos
sistema trasversal, 148
Sorgenfrey, recta de, 15
subbase, 65
subconjunto
propio, 141
subrecubrimiento, 103
finito (numerable, contable...), 103
propio, 103
subsucesi
on, 72
truncada, 72
sucesion, 71
casiconstante, 72
constante, 72
convergencia de una, 71
lmite de una, 71
punto de aglomeracion de una, 71
sucesiones asintoticas, 72
supremo, 152
T (d) topologa inducida por una (seudo)metrica, 24
T0 , 76
T1 , 76
T2 , 76
T3 , 76
T3 12 , 79
T4 , 76
topologa, 15
cociente, 92
cofinita, 33
conumerable, 33
de punto includo, 16
de subespacio, 39, 82
discreta, 15
en Rn , 11
imagen directa, 16, 98
imagen inversa, 16, 81
indiscreta, 16
producto, 64
producto de dos espacios, 82
producto finito de espacios, 86
producto numerable de espacios, 88
suma, 100
T , 15
usual, 15
totalmente acotado, 109
Tychonoff, Teorema de, 108
Zorn, Lema de, 151