Apuntes Topologia

TOPOLOGA
Curso 2011/2012
Captulo 1
Espacios mtricos
1.1. Medir la proximidad
Sea X un conjunto. Denotaremos por XX al conjunto de los pares
de elementos de X.
Denicin 1.1.1. Una distancia sobre X es una aplicacin d : XX
R cumpliendo:
1. d(x, x
) 0, x, x
X,
2. d(x, x
) = d(x
, x), x, x
X (Propiedad simtrica),
3. d(x, x
) = 0 si y slo si x = x
, x, x
X,
4. d(x, x
) d(x, x
)+d(x
, x
), x, x
, x
X (Propiedad triangular),
Al par (X, d) se le llama espacio mtrico. Si la condicin (3) se sustituye
por
(3
) d(x, x) = 0,
entonces d se llama seudodistancia y el par (X, d) espacio seudomtrico.
Ejemplo 1.1.2. (Anlisis I) Se toma X = R y se dene d(x, x
) = [xx
[.
Ejemplo 1.1.3. (Geometra) Se toma X = R
2
y se dene d((x, y), (x
, y
)) =
[[(x, y) (x
, y
)[[ =
_
(x x
)
2
+ (y y
)
2
.
Denicin 1.1.4. Sea V un espacio vectorial sobre R. Una norma sobre
V es una aplicacin [[ [[ : V R cumpliendo:
1. [[v[[ 0, v V ,
2
CAPTULO 1. ESPACIOS MTRICOS 3
2. [[v[[ = [[ [[v[[, R, v V ,
3. [[v[[ = 0 si y slo si v = 0, v V ,
4. [[v + w[[ [[v[[ +[[w[[, v, w V .
Al par (V, [[ [[) se le llama espacio normado.
Proposicin 1.1.5. Si (V, [[ [[) es un espacio normado, la aplicacin
d : V V R dada por d(v, w) = [[v w[[ es una distancia sobre V .
A (V, d) se le llama espacio mtrico asociado al espacio normado
(V, [[ [[).
Demostracin. Veremos a continuacin que d cumple las condiciones que
hacen a una aplicacin distancia:
1. d(v, w) = [[v w[[ 0 por la propiedad 1 de la norma.
2. d(v, w) = [[v w[[ = [[(1)(w v)[[ = [ 1[ [[w v[[ = [[w v[[,
donde se ha usado la propiedad 2 de la norma en la tercera igualdad.
3. Por denicin, d(v, w) = 0 si y slo si [[vw[[ = 0. Por la propiedad
3 de la norma, esto ocurre si y slo si v w = 0, es decir, v = w.
4. d(v, v
) = [[v v
[[ = [[v v
+v
[[ [[v v
[[ +[[v
[[ =
d(v, v
) + d(v
, v
), donde se ha usado la propiedad 4 de la norma

para conseguir la desigualdad.
Veremos a continuacin algunos ejemplos de espacios normados y sus
distancias asociadas.
Ejemplo 1.1.6. Si V = R y [[ [[ =valor absoluto, entonces (V, [[ [[) es
un espacio normado con distancia asociada d(x, x
) = [x x
[.
Ejemplo 1.1.7. Si V = R
2
y [[ [[ es la habitual en Geometra, es decir,
la norma eucldea [[(x, y)[[ =
_
x
2
+ y
2
, entonces (V, [[ [[) es un espacio
normado. Su distancia asociada, que llamaremos distancia eucldea y
denotaremos d
e
, es d
e
((x, y), (x
, y
)) =
_
(x x
)
2
+ (y y
)
2
.
2
, entonces [[(x, y)[[
taxi
= [x[ + [y[ es una
norma. La cuarta propiedad de la denicin de norma se demostrara
as: [[(x, y) + (x
, y
)[[
taxi
= [x + x
[ + [y + y
[ [x[ + [x
[ + [y[ + [y
[ =
[[(x, y)[[
taxi
+[[(x
, y
)[[
taxi
.
A esta norma se le llama norma taxi y a su distancia asociada dis-
tancia taxi : d
taxi
((x, y), (x
, y
)) = [x x
[ +[y y
[.
En el plano R
2
, las distancias entre los puntos (0, 0) y (1, 1) son
d
e
((0, 0), (1, 1)) =
2 y d
taxi
((0, 0), (1, 1)) = 2.
Figura 1.1:
2
, [[(x, y)[[
max
= max[x[, [y[ es una norma.
Probaremos a continuacin su cuarta propiedad:
Se cumple que [x +x
[ [x[ +[x
[ max[x[, [y[ +max[x
[, [y
[ =
[[(x, y)[[
max
+ [[(x
, y
)[[
max
. Podemos hacer lo mismo con [y + y
[, luego
tenemos que
[[(x, y)+(x
, y
)[[
max
= max[x+x
[, [y+y
[ [[(x, y)[[
max
+[[(x
, y
)[[
max
.
Su distancia asociada es d
max
((x, y), (x
, y
)) = max[xx
[, [y y
[,
que llamaremos distancia del mximo.
Ejemplo 1.1.10. Si tomamos V = R
n
, n 2, la norma eucldea es ahora
[[(x
1
, . . . , x
n
)[[ =
_
n
i=1
x
2
i
. Su distancia asociada, que tambin llamare-
mos distancia eucldea, es d
e
((x
1
, . . . , x
n
), (y
1
, . . . , y
n
)) =
_
n
i=1
(x
i
y
i
)
2
.
Anlogamente, las normas taxi y mximo para R
n
son [[(x
1
, . . . , x
n
)[[
taxi
=
n
i=1
[x
i
[ y [[(x
1
, . . . , x
n
)[[
m ax
= max[x
i
[; 1 i n, siendo sus distan-
cias asociadas d
taxi
((x
1
, . . . , x
n
), (y
1
, . . . , y
n
)) =
n
i=1
[x
i
y
i
[ y
d
m ax
((x
1
, . . . , x
n
), (y
1
, . . . , y
n
)) = max[x
i
y
i
[; 1 i n, respectiva-
mente.
Ejemplo 1.1.11. V = f : R R; fes acotada es un espacio vectorial
con:
Suma: (f + g)(x) = f(x) + g(x),
Producto por escalar: (f)(x) = f(x).
Se dene [[f[[
= sup[f(x)[; x R, que se demuestra que es norma:

1. [[f[[
0 porque es un supremo de valores absolutos.

2. [[f[[
= sup[[[f(x)[; x R = [[ sup[f(x)[; x R = [[[[f[[
.
3. Si [[f[[
= 0 = sup [f(x)[, x R, entonces [f(x)[ = 0, para todo

x R, luego f es la funcin nula (x) = 0, para todo x R.
4. [[f +g[[
= sup[f(x) +g(x)[; x R. Ahora bien, [f(x) +g(x)[

[f(x)[ +[g(x)[ sup[f(x)[, x R+sup[g(x)[, x R = [[f[[
+
[[g[[
. Por tanto, [[f + g[[
[[f[[
+[[g[[
.
La norma anterior se llama norma del supremo y su distancia asociada es
d
= sup[f(x) g(x)[, x R, que se denotar distancia del supremo.

Veremos a continuacin con un ejemplo concreto cmo funcionan esta
norma y distancia.
Ejemplo 1.1.12. Si f(x) = sen(x), entonces [[f[[
= 1. Si tomamos
g(x) = cos(x), se tiene d
(f, g) = 1.
Figura 1.2:
Se dene la sucesin de funciones f
n
como f
n
= (1/n) sen(x) y
se denota por a la funcin nula. Entonces d
(f
n
, ) = 1/n y la suce-
sin f
n
se aproxima arbitrariamente a la constante cero en el espacio
(V, d
).
Deniremos a continuacin otra norma:
Ejemplo 1.1.13. Si V = f : [0, 1] R; f continua, entonces [[f[[
1
=
_
1
0
[f(x)[dx es una norma cuya distancia asociada es d
1
(f, g) =
_
1
0
[f(x)
g(x)[dx.
1. [[f[[
1
0 porque [f(x)[ 0 para todo 0 x 1.
2. [[f[[
1
=
_
1
0
[[ [f(x)[dx = [[
_
1
0
[f(x)[dx = [[ [[f[[
1
.
Figura 1.3:
3. Si [[f[[
1
=
_
1
0
[f(x)[dx, entonces [f(x)[ = 0 para todo x R, luego
f es la funcin nula (x) = 0 para todo x R.
4. [[f+g[[
1
=
_
1
0
[f(x)+g(x)[dx
_
1
0
([f(x)[+[g(x)[)dx =
_
1
0
[f(x)[dx+
_
1
0
[g(x)[dx = [[f[[
1
+ [[g[[
1
.
En general, podemos denir [[f[[
n
=
n
_
_
1
0
[f(x)[
n
dx.
Comprobaremos a continuacin que las distancias d
1
y d
son distin-
tas.
Ejemplo 1.1.14. Para la sucesin f
n
descrita en el siguiente dibujo
se tiene que d
1
(f
n
, ) = 1/2
n+1
, luego f
n
se acerca todo lo que se quiera a
en (V, d
1
). Sin embargo, d
(f
n
, ) = 1 para todo n, luego f
n
permance
separada de en (V, d
).
Figura 1.4:
Veamos ahora un ejemplo de seudodistancia.
Ejemplo 1.1.15. Dado el espacio vectorial V = f : [0, 1] R; f continua,
entonces d
meta
= [f(1) g(1)[ es una suedodistancia. No es distancia
porque si tomamos dos funciones f, h que sean distintas pero que coin-
cidan en el punto 1, entonces d
meta
(f, h) = 0. Podemos darle un senti-
do a esta seudodistancia si observamos una funcin creciente en V con
f(0) = 0 puede ser considerada como la expresin del tiempo que tarda
un corredor en pasar por cada punto de su carrera entre la salida en x = 0
y la meta en x = 1. De esta forma d
meta
mide la diferencia del tiempo de
llegada.
Figura 1.5:
Deniremos ahora una distancia vlida para cualquier conjunto.
Ejemplo 1.1.16. Dado un conjunto X, la aplicacin d : X X R
denida por d(x, x
) =
_
1, x ,= x
0, x = x
es una distancia, que denotaremos

distancia discreta.
1. Trivial por denicin.
2. d(x, x
) = d(x
, x) por denicin.
3. d(x, x
) = 0 si y slo si x = x
.
4. La aplicacin d slo puede tomar los valores 0 y 1, luego la nica
posibilidad de que la desigualdad d(x, x
) d(x, x
) + d(x
, x
)
falle sera si d(x, x
) = 1 pero entonces d(x, x
) = 0 = d(x
, x
). Sin
embargo, este caso no puede ocurrir porque d(x, x
) = 0 = d(x
, x
)
implica x = x
= x
, luego d(x, x
) = 0.
Proposicin 1.1.17. No existe ninguna norma en R
n
cuya distancia
asociada sea la discreta.
Demostracin. (R.A.) Supongamos que existiese tal norma asociada [[ [[
y tomemos x ,= 0 (donde 0 es el origen de R
n
) y R, ,= 0. Entonces
x ,= 0 y 1 = d(x, 0) = [[x0[[ = [[x[[ = [[ [[x[[ = [[. Luego hemos
probado que [[ = 1 para cualquier R, ,= 0. Contradiccin.
En el plano eucldeo (R
2
, d
eucldea
)(plano), los crculos de centro un
punto x permiten medir la proximidad a ese punto.
Figura 1.6:
Esta observacin lleva a la siguiente denicin general
Denicin 1.1.18. Sea (X, d) un espacio (seudo)mtrico. Dados x X
y > 0, se llama bola abierta de centro x y radio a
B
d
(x, ) = y X; d(x, y) < .
Una bola cerrada de centro x y radio es
B
d
[x, ] = y X; d(x, y) .
Una esfera de centro x y radio es
S
d
[x, ] = y X; d(x, y) = .
Ejemplo 1.1.19. En la recta eucldea (R, d
e
), tenemos B
de
(x, ) = y
R, [x y[ < = (x , x + ).
Ejemplo 1.1.20. En el plano eucldeo (R
2
, d
e
), la bola B
de
(0, ) =
(x
1
, x
2
) R
2
, d
e
((x
1
, x
2
), 0) < = (x
1
, x
2
) R
2
,
_
x
2
1
+ x
2
2
< =
(x
1
, x
2
) R
2
, x
2
1
+x
2
2
<
2
, sera un crculo sin circunferencia de centro
(0, 0) y radio .
Ejemplo 1.1.21. En (R
2
, d
taxi
), la bola abierta de centro 0 y radio
es B
d
taxi
(0, ) = (x
1
, x
2
) R
2
, d
taxi
((x
1
, x
2
), 0) < = (x
1
, x
2
)
R
2
, [x
1
[ +[x
2
[ < .
Si x
1
, x
2
0, entonces [x
1
[ +[x
2
[ < implica x
1
+ x
2
< .
Figura 1.7:
Si x
1
, x
2
0, entonces [x
1
[ +[x
2
[ < implica x
1
x
2
< .
Si x
1
0, x
2
0, entonces [x
1
[ +[x
2
[ < implica x
1
x
2
< .
Si x
1
0, x
2
0, entonces [x
1
[ +[x
2
[ < implica x
2
x
1
< .
Por tanto, B
d
taxi
(0, ) sera un cuadrado sin su borde de centro 0 y
con esquinas en (, 0), (0, ), (, 0) y (0, ).
Ejemplo 1.1.22. En (R
2
, d
max
), la bola abierta de centro 0 y radio
es B
dmax
(0, ) = (x
1
, x
2
) R
2
, d
max
((x
1
, x
2
), 0) < = (x
1
, x
2
)
R
2
, max[x
1
[, [x
2
[ < = (x
1
, x
2
) R
2
, [x
1
[ < y [x
2
[ < .
Por tanto, B
dmax
(0, ) sera un cuadrado sin su borde centrado en 0,
con sus lados (de longitud 2) paralelos a los ejes de coordenadas.
Figura 1.8:
Ejemplo 1.1.23. Sean X = f : R R, f es acotada y la distancia
d
= sup[f(x)g(x)[. Si denotamos por la funcin constate nula, en-

tonces B
d
(, ) = f X, d
(f, ) < = f X, sup[f(x)[ < =

f X, < [f(x)[ < = f : R R[ grco de f est entre y =
e y = .
Figura 1.9:
Ejemplo 1.1.24. Si tomamos X = R
2
, la distancia discreta d
discreta
y el
punto = (0, 0), entonces B
d
discreta
(, ) =
_
, 1
R
2
, > 1
Proposicin 1.1.25. (Propiedades de las bolas abiertas)
Sea (X, d) un espacio (seudo)mtrico. Se cumplen:
1. Dados > 0 y x X, x B
d
(x, ).
1. Si 0 <
< , entonces B
d
(x,
) B
d
(x, ).
2. Si y B
d
(x, ), donde x, son arbitrarios, entonces existe > 0
con B
d
(y, ) B
d
(x, ).
3. Si z B
d
(x, )B
d
(x
), entonces existe > 0 tal que B

d
(z, )
B
d
(x, ) B
d
(x
).
Demostracin. 1. Como d(x, x) = 0 < , entonces x B
d
(x, ).
1. Si y B
d
(x,
), entonces d(x, y) <
< . Por tanto, d(x, y) < y

concluimos que y B
d
(x, ).
2. Como y B
d
(x, ), entonces d(x, y) < y podemos denir :=
d(x, y) > 0. Veremos ahora que B
d
(y, ) B
d
(x, ). En efecto,
si p B
d
(y, ), entonces d(y, p) < y d(x, p) d(x, y) + d(y, p) <
d(x, y) + = d(x, y) +d(x, y) = . Hemos probado que d(x, p) <
, es decir, que p B
d
(x, ).
3. Si z B
d
(x, ) B
d
(x
), entonces:
z B
d
(x, ), luego existe con B
d
(z, ) B
d
(x, ) por el
apartado (2).
z B
d
(x
), luego existe
con B
d
(z,
) B
d
(x
) por el
apartado (2).
Figura 1.10:
Figura 1.11:
Si tomamos = mn,
> 0, entonces B
d
(z, ) B
d
(z, )
B
d
(x, ) y B
d
(z, ) B
d
(z,
) B
d
(x
). Podemos concluir que

B
d
(z, ) B
d
(x, ) B
d
(x
).
Proposicin 1.1.26. (Propiedad de separacin de Hausdor) Si (X, d)
es un espacio mtrico y x ,= x
X, entonces existe > 0 tal que

B
d
(x, ) B
d
(x
, ) = .
Demostracin. Como (X, d) es un espacio mtrico, entonces d(x, x
) =
> 0. Sea = /2. Armamos que B
d
(x, ) B
d
(x
, ) = .
(R.A.) Si existiese y B
d
(x, ) B
d
(x
, ), entonces d(x, y) < y

d(x
, y) < . Luego d(x, x
) d(x, y) + d(y, x
) < + = 2 = y
concluimos que d(x, x
) < , lo cual es absurdo.

Ejemplo 1.1.27. En R
2
, d((x, x
), (y, y
)) = [x y[ es seudodistan-
cia pero no distancia porque d((0, 0), (0, 1)) = 0 < , luego (0, 1)
B
d
((0, 0), ), para todo > 0. Por tanto, B
d
((0, 1), ) B
d
((0, 0), ) ,=
para todo > 0.
El punto (0, 1) no se puede separar nunca del (0, 0).
1.2. Conjuntos que envuelven a sus puntos
Un crculo abierto del plano contiene todos los puntos del plano que
rodean su centro hasta una cierta distancia (el radio del crculo), igual-
mente una bola abierta de un espacio (seudo)mtrico. Ms an, de acuer-
do con la propiedad 1.1.25(2), una bola abierta cualquiera contiene todos
los puntos vecinos de cada uno de sus puntos hasta una cierta distancia
(que vara segn el punto elegido). Pero tambn guras de aspecto ge-
omtrico irregular pueden envolver a algunos de sus puntos (incluso a
todos): bastar que contenga alguna bola abierta, por pequea que sea,
centrada en cada uno de esos puntos.
Figura 1.12:
Para jar ideas establecemos las siguientes deniciones
Denicin 1.2.1. Sea (X, d) un espacio (seudo)mtrico y A X. Dec-
imos que x X es un punto interior de A si existe > 0 tal que
B
d
(x, ) A. En tal caso se dice que A es entorno de x en (X, d).
Se llama interior de A en (X, d), denotado por intA, a:
intA = x X, x es interior a A.
Un conjunto A X se dice abierto en (X, d) si A = intA.
Proposicin 1.2.2. 1. Se cumple que intA A en todo espacio (seu-
do)mtrico (X, d).
2. Toda bola abierta en un espacio (seudo)mtrico es un conjunto
abierto en (X, d).
Demostracin. 1. Si x intA, entonces existe > 0 con B
d
(x, ) A.
Por el apartado 1 de la Proposicin 1.1.25, x B
d
(x, ) A, luego
x A. Por tanto, intA A.
2. Demostraremos que intB
d
(x, ) = B
d
(x, ) por doble inclusin.
intB
d
(x, ) B
d
(x, ) por (1).
intB
d
(x, ) B
d
(x, ): Sea y B
d
(x, ). Por el apartado 2 de la
Proposicin 1.1.25, existe > 0 tal que B
d
(y, ) B
d
(x, ), luego
y intB
d
(x, ).
El siguiente resultado muestra que todo control de proximidad"tiene
a los abiertos y no al valor numrico de la (seudo) distancia que los genera
como elemento fundamental.
Figura 1.13:
Proposicin 1.2.3. En los espacios mtricos (R
2
, d
e
(eucldea)), (R
2
, d
taxi
)
y (R
2
, d
max
), cualquier conjunto A R
2
tiene el mismo interior. Por tan-
to, las familias de los conjuntos abiertos de los tres espacios coinciden.
Demostracin. Si x = (x
1
, x
2
) intA en (R
2
, d
e
(eucldea)), entonces ex-
iste > 0 tal que B
de
(x, ) A. Ahora bien, B
de
(x, ) = y = (y
1
, y
2
)
R
2
, d
e
(x, y) < = y R
2
,
_
(x
1
y
1
)
2
+ (x
2
y
2
)
2
< , de donde se
sigue fcilmente que:
B
dmax
(x,
2/2) B
de
(x, ) A, luego x intA en (R
2
, d
max
).
B
d
taxi
(x, ) B
de
2
, d
taxi
).
Figura 1.14:
Figura 1.15:
Sea x = (x
1
, x
2
) intA en (R
2
, d
taxi
). Entonces existe > 0 tal que
B
d
taxi
(x, ) A. Como B
d
taxi
(x, ) = y = (y
1
, y
2
) R
2
, d
taxi
(x, y) <
= y R
2
, [x
1
y
1
[ + [x
2
y
2
[ < , tenemos que:
B
de
(x,
2/2) B
d
taxi
2
, d
e
).
Figura 1.16:
B
dmax
(x, /2) B
de
(x,
2/2) B
d
taxi
(x, ) A, luego x intA
en (R
2
, d
max
).
El resto se deja como ejercicio (bastara probar que si x intA en
(R
2
, d
max
), entonces x intA en (R
2
, d
e
) y (R
2
, d
taxi
)).
Corolario 1.2.4. Las bolas abiertas de (R
2
, d
e
), son abiertos en (R
2
, d
taxi
)
y (R
2
, d
max
). Anlogamente para el resto de los casos.
Nota 1.2.5. Se deja como ejercicio generalizar los dos resultados ante-
riores al espacio R
n
para todo n 2.
Proposicin 1.2.6. Sea (X, d) un espacio (seudo)mtrico. Entonces:
1. A X es abierto en (X, d) si y slo si A es entorno de todos sus
puntos.
2. N X es entorno de x en (X, d) si y slo si existe un abierto G
en (X, d) con x G N.
3. x es un punto interior de A en (X, d) si y slo si existe un abierto
G con x G A.
Demostracin. 1. Si A X es abierto, entonces A = intA. Por tanto,
dado x A se tiene que x intA. Es decir, que A es entorno de
todos x A.
Recprocamente, si A es entorno de todo x A, entonces x intA,
para todo x A por denicin de entorno. Luego A intA y,
como la inclusin contraria siempre es cierta, concluimos que A es
abierto.
2. Si N X es entorno de x, entonces existe un > 0 tal que
B
d
(x, ) N. Como las bolas abiertas son abiertos, entonces pode-
mos denir G := B
d
(x, ), que es un abierto en (X, d). Como x G
(por ser el centro de la bola), entonces x G N.
Recprocamente, supongamos que x G N con G abierto. Por
ser G abierto, entonces G = intG y x intG. Por la denicin de
interior, existe > 0 tal que B
d
(x, ) G N, luego x intN y
obtenemos que N es entorno de x.
3. Por denicin, x intA si y slo si A es entorno de x.
Proposicin 1.2.7. (Propiedades del interior) Sea (X, d) un espacio
(seudo)mtrico. Entonces:
1. intA A.
2. Si A B, entonces intA intB.
3. int(A
1
. . . A
n
) = intA
1
. . . intA
n
.
4. int(intA) = intA. En particular, intA siempre es abierto.
Demostracin. 1. Ya hecha en el apartado 2 de 1.2.2.
2. Si x intA, entonces existe > 0 con B
d
(x, ) A B. Por
tanto, B
d
(x, ) B y concluimos que x intB.
3. Demostraremos int(A
1
. . . A
n
) = intA
1
. . . intA
n
por doble
inclusin.
Siempre es cierto que A
1
. . . A
n
A
i
, (1 i n). Por tanto,
int(A
1
. . . A
n
) intA
i
, para todo i, y obtenemos int(A
1
. . .
A
n
) intA
1
. . . intA
n
.
Si x intA
1
. . . intA
n
, entonces x intA
i
para todo 1
i n. Para cada i existe
i
> 0 de forma que B
d
(x,
i
) A
i
. Si
tomamos
0
= mn
i
1in
, B
d
(x,
0
) B
d
(x,
i
) A
i
, i. Por
tanto, B
d
(x,
0
)
n
i=1
A
i
y concluimos que x
n
i=1
A
i
.
4. Por el primer apartado, intA A. Por el segundo, int(intA)
intA. Veamos a continuacin la otra inclusin.
Si x intA, entonces existe > 0 tal que B
d
(x, ) A. Queremos
probar que x int(intA), es decir, que existe > 0 con B
d
(x, )
intA.
Ahora bien, nos sirve como el propio porque B
d
(x, ) intA. En
efecto, dado y B
d
(x, ), por el apartado 2 de la proposicin 1.1.25,
existe > 0 on B
d
(y, ) B
d
(x, ) A. Por tanto, y intA y
hemos probado que B
d
(x, ) intA.
Proposicin 1.2.8. (Propiedades bsicas de los conjuntos abiertos en
un espacio (seudo)mtrico). Dado un espacio (seudo)mtrico (X, d), se
cumplen:
1. Los conjuntos y X son abiertos en (X, d).
2. Si A
1
, . . . , A
n
son abiertos en (X, d), entonces A
1
. . .A
n
tambin
es abierto.
3. Si A
es una familia cualquiera de abiertos en (X, d), en-

tonces
tambin lo es.
Demostracin. 1. El conjunto X es abierto en (X, d) porque dados
x X y > 0 cualesquiera, B
d
(x, ) X por ser X el espacio
total, luego x intX, x X.
Por otra parte, est contenido en cualquier conjunto, luego
int. La otra inclusin siempre es cierta, luego = int y con-
cluimos que es abierto.
2. Si A
1
, . . . , A
n
son abiertos en (X, d), entonces intA
i
= A
i
para
todo 1 i n. Por la proposicin anterior, obtendramos que
n
i=1
A
i
=
n
i=1
intA
i
= int(
n
i=1
A
i
), luego
n
i=1
A
i
es abierto.
3. Si A
es una familia cualquiera de abiertos en (X, d), quere-

mos probar que int(
) =
.
La inclusin int(
es siempre cierta.
Veremos ahora que la otra inclusin tambin se cumple. Como A
es abierto,
intA
. El conjunto A
est contenido
en
, luego intA
int(
), por la proposi-
cin 1.2.7. Por tanto,
intA
int(
) y concluimos que
int(
).
Captulo 2
Espacios topolgicos
En el captulo anterior vimos que distacias distintas podan dar lugar
a un mismo ontrol de proximidad". Por tanto debe existir una nocin
subyacente a la de distancia que nos lleve a la fundamentacin general de
la idea de proximidad. Esta estructura es la de topologa como coleccin
de subconjuntos sujetos a las condiciones que se reejan en la propiedades
bsicas de los conjuntos abiertos de los espacios (seudo)mtricos en la
proposicin 1.2.8. El relevo de una (seudo)distancia por la familia de
abiertos permite establecer sobre un conjunto una estructura de proxim-
idad sin valores numricos.
2.1. La proximidad sin distancia
Denicin 2.1.1. Dado un conjunto X cualquiera, se llama topologa
sobre X a cualquier familia T de subconjuntos de X cumpliendo:
1. Los conjuntos y X estn en T .
2. Si A
1
, . . . , A
n
estn en T , entonces
n
i=1
A
i
tambin est en T .
3. Si A
est formada por conjuntos en T , entonces
tambin est en T .
Al par (X, T ) se le llama espacio topolgico. Los conjuntos de T se llaman
abiertos del espacio topolgico (X, T ).
Ejemplo 2.1.2. Si (X, d) es un espacio (seudo)mtrico, entonces la fa-
milia T
d
= A X; A es abierto en (X, d) es una topologa sobre X,
llamada topologa asociada a la distancia d. Esto es una consecuencia in-
mediata de las propiedades bsicas de los conjuntos abiertos en espacios
(seudo)mtricos.
18
CAPTULO 2. ESPACIOS TOPOLGICOS 19
Nota 2.1.3. Se cumple que T
d
eucldea
= T
d
taxi
= T
dmax
, es decir, que el
espacio topolgico asociado a las tres distancias es el mismo.
Ejemplo 2.1.4. Sea X un conjunto cualquiera y T la familia formada
por y todos los A X con X A nitos (Topologa de Zariski o
conita). Comprobaremos a continuacin que T es topologa sobre X:
1. T por denicin.
X T porque X X = , que tiene 0 elementos.
2. Dados A
1
, . . . , A
n
T , tenemos dos casos posibles:
Si algn A
i
= , entonces A
1
. . . A
n
= T .
Si A
i
,= , para todo 1 i n, entonces X A
i
es un
conjunto nito para todo 1 i n. Como X (
n
i=1
A
i
) =
n
i=1
(X A
i
) es unin nita de conjuntos nitos, entonces es
nito y concluimos que
n
i=1
A
i
T .
3. Si A
con A
T para todo , queremos probar que
T . Distinguiremos dos casos:

Si A
= para todo , entonces
= T .
Si A
0
,= para algn
0
, entonces X A
0
es nito. Ahora
bien, X (
) =
(X A
) X A
0
(que es
nito), luego X (
) es nito y
T .
Proposicin 2.1.5. Si X es innito, no existe ninguna distancia d so-
bre X cuyos abiertos sean los conjuntos que aparecen en la topologa de
Zariski.
Demostracin. (R.A.) Supongamos que existiese tal distancia d con T
d
=
T . Consideremos x, x
X, con x ,= x
. Por la propiedad de separacin

de Hausdor, existe > 0 con B
d
(x, ) B
d
(x
, ) = . Tomando comple-
mentarios, obtendramos que X = X = X (B
d
(x, ) B
d
(x
, )) =
(X B
d
(x, )) (X B
d
(x
, )) sera un conjunto innito (porque por

hiptesis X lo es).
Ahora bien, cada bola es un abierto en T
d
= T y x B
d
(x, ) ,=
, luego X B
d
(x, ) y X B
d
(x
, ) son conjuntos nitos. Por tanto,

(XB
d
(x, ))(XB
d
(x
, )) sera un conjunto nito. Contradiccin.

Nota 2.1.6. Se deja como ejercicio el demostrar que tampoco existe una
seudodistancia d sobre un conjunto innito X para la cual la topologa
de Zariski sea la familia de abiertos de (X, d).
2.2. El interior de un conjunto en un espacio
topolgico
Hemos basado la denicin de espacio topolgico en la nocin de con-
junto abierto. Nuestra experiencia con los espacios (seudo)mtricos nos
dice que debera existir una idea de interior en un espacio topolgico de
forma que los abiertos de ese espacio quedasen caracterizados como aquel-
los conjuntos que coinciden con su interior como as ocurre en los espacios
(seudo)mtricos. La Proposicin 1.2.6(3) sugiere la siguiente denicin.
Denicin 2.2.1. Sea (X, T ) un espacio topolgico. Si A X y x X,
decimos que x es interior a A en (X, T ) si existe un G en T con x
G A. En particular, A.
Se llama interior del conjunto A en (X, T ) al conjunto intA = x
X; x es interior a A.
Nota 2.2.2. Obsrvese que por denicin, siempre intA A.
Proposicin 2.2.3. El conjunto A est en T si y slo si A = intA.
Demostracin. Si A est en T , todo a A cumple que a A A,
luego a intA. Como A intA y la otra inclusin se cumple siempre,
entonces A = intA.
Recprocamente, si intA = A, entonces todo a A cumple que a
intA, es decir, que existe G
a
en T con a G
a
A. Como A =
aA
a
aA
G
a
A, luego A =
aA
G
a
, que est en T por la tercera propiedad
de la denicin de topologa.
Ahora veremos que las propiedades del interior en un espacio (seu-
do)mtrico se mantienen en los espacios topolgicos.
Proposicin 2.2.4. Sea (X; T ) un espacio topolgico. Entonces se cumplen:
1. intA A.
2. Si A B, entonces intA intB.
3. int(A
1
. . . A
n
) = intA
1
. . . intA
n
.
4. int(intA) = intA. En particular, intA siempre es abierto.
Demostracin. (1) es la Nota 2.2.2. Para demostrar (2), si x intA
existe un abierto G con x G A B; luego x intB. As pues,
intA intB.
De acuerdo con (2), y como A
1
. . . A
n
A
i
para cada 1 i n,
tenemos int(A
1
. . . A
n
) intA
i
, y por tanto int(A
1
. . . A
n
) intA
1
intA
2
intA
n
. Para la otra inclusin, sea x intA
1
intA
2
intA
n
.
Por denicin, para cada i n existe un abierto G
i
con x G
i
A
i
.
Por tanto, G = G
1
G
n
es un abierto y x G A
1
A
n
. Esto
prueba que x int(A
1
A
n
). Esto concluye la demostracin de (3).
Finalmente, tenemos int(intA) intA por (1). Adems, si x intA
existe un abierto G con x G A. Aplicando la Proposicin 2.2.3 y
la propiedad (2), tenemos x G = intG intA. Consecuentemente, la
denicin de interior nos da x int(intA).
Denicin 2.2.5. Dado N X, decimos que N es entorno de x X
en el espacio topolgico (X, T ) si x intN.
Proposicin 2.2.6. A est en T si y slo si es entorno de todos sus
puntos.
Demostracin. Se deja como ejercicio.
Denicin 2.2.7. Dado (X, T ) un espacio topolgico, se dice que x A
es un punto aislado en A X si existe G en T con x G tal que
G A = x.
En particular, x se dice aislado en X si existe G en T con G = x.
2.3. La clausura de un conjunto. Conjuntos
cerrados
Si un punto x A no es aislado en A, entonces para todos G en T y
x G se cumple que G A ,= x, es decir, que (Gx) A ,= .
Un punto no aislado se dice punto de acumulacin; esto es
Denicin 2.3.1. Dado un espacio topolgico (X, T ) y A X, decimos
que x X es punto de acumulacin de A si para todo abierto G en (X, T )
con x G, se cumple que (Gx) A ,= .
Proposicin 2.3.2. (Caracterizacin de puntos de acumulacin en es-
pacios mtricos) Dados (X, d) un espacio mtrico y A X, el punto
x X es de acumulacin de A si y slo si todo abierto G en (X, d)
contiene innitos puntos de A.
Demostracin. Si todo G contiene innitos puntos de A, entonces el con-
junto (G x) A contiene tambin innitos puntos. En particular,
(Gx) A ,= , luego x es de acumulacin de A.
Recprocamente, sea G un abierto en (X, d) con x G. Como G
es entorno de todos sus puntos, existe > 0 tal que B
d
(x, ) G.
Por hiptesis, (B
d
(x, ) x) A ,= , luego existe x
1
A con x
1

B
d
(x, ) x. Como x ,= x
1
y d es distancia, > d(x, x
1
) = > 0.
Figura 2.1:
Sea
1
= /2. Por hiptesis, (B
d
(x,
1
) x) A ,= , luego existe
x
2
A con x
2
,= x. Adems, d(x, x
2
) <
1
= /2 < d(x, x
1
), luego
x
2
,= x
1
. Como x ,= x
2
, 0 < d(x, x
2
) =
1
<
1
.
Sea
2
=
1
/2 = /4. Por hiptesis, (B
d
(x,
2
) x) A ,= , luego
existe x
3
A con x
3
,= x. Adems, d(x, x
3
) <
2
<
1
/2 < d(x, x
2
) <
d(x, x
1
), luego x
3
,= x
2
y x
3
,= x
1
. Como x ,= x
3
, 0 < d(x, x
3
) =
2
<
2
y denimos
3
=
2
/2.
Reiterando el proceso obtenemos una sucesin de puntos distintos
x
n
n1
B
d
(x, ) G y podemos concluir que G contiene innitos
puntos de A.
Corolario 2.3.3. Si (X, d) es un espacio mtrico y A = a
1
, . . . , a
n
es
un conjunto nito, todos sus puntos son aislados.
Denicin 2.3.4. Dados (X, T ) un espacio topolgico y un conjunto
A X, decimos que x X es punto adherente a A si todo abierto G de
T con x G cumple G A ,= .
Nota 2.3.5. Si x es de acumulacin de A, entonces x es punto de ad-
herencia de A. Cualquier punto x A (aislado o no) siempre es punto
adherente a A.
Denicin 2.3.6. Se llama clausura de A al conjunto
A = x X; x es adherente a A.
Por la nota anterior, siempre se cumple A

A. Un conjunto A se llama
cerrado en (X, T ) si

A = A.
Ejemplo 2.3.7. En al recta eucldea (R, eucldea), el supremo y el n-
mo de un conjunto A(si existen) son puntos adherentes a A; en particular,
si A es cerrado tiene mnimo y mximo, respectivamente. Sea x
0
el n-
mo de A, por la denicin de nmo, para todo > 0, siempre hay algn
punto a
A con x
0
a
x
0
+ . Por otro lado, si G es un abierto
eucldeo con x
0
G existe
0
> 0 con (x
0
0
, x
0
+
0
) G, y por tanto
a
/2
(x
0

0
, x
0
+
0
) A G A. Tenemos as que x
0
A.
Si ahora x
1
es el supremo, tenemos un elemento a
A con x
1

a
x
1
y se razona igual que en caso anterior para llegar a que todo
abierto eucldeo que contega a x
1
corta a A; es decir, x
1
A.
Proposicin 2.3.8. Sea (X, T ) un espacio topolgico. Entonces, para
todo A X, se tiene:
A = (A A
) A
donde A
= x X, x es punto de acumulacin. Obsrvese que A A
es exactamente el conjunto de puntos asilados de A.

Demostracin. Veamos la contencin hacia la derecha. Si x A, distin-
guimos:
-x A
, luego hemos terminado.

-x , A
, luego existe G abierto, con x G y (G x) A = .

Entonces, x es el nico punto en G A. Luego, x A A
. Por tanto,
x (AA
) A
.
Para la otra contencin, si x (A A
) A
, distinguimos:
-x AA
, luego x A A, quedando demostrado.

-x A
. Entonces, para todo G abierto, con x G, se verica que

(Gx) A = , por lo que G A ,= . Por tanto, x A.
2.4. Dualidad interior/clausura y abierto/cerrado
En esta seccin veremos que en cualquier espacio topolgico el inte-
rior y la clausura se determinan recprocamente; es decir, basta conocer
los interiores de los subconjuntos de un espacio topolgico para cono-
cer sus clausuras y recprocamente. Exactamente se tiene la siguiente
proposicin:
Proposicin 2.4.1. (Dualidad interior/clausura)
Sea (X, T ) un espacio topolgico. Dado A X se tiene:
1. A = X int(X A).
2. int(A) = X (X A).
Demostracin. 1. x A para todo G abierto de (X, T ), con x
G, G A ,= para todo G abierto de (X, T ), con x G, G
X A x , int(X A) x X int(X A).
2. A partir del apartado anterior, cambiando A por X A.
Como consecuencia inmediata se tiene.
Proposicin 2.4.2. (Dualidad abierto-cerrado) En cualquier espacio
topolgico (X, T ) un conjunto A es abierto si y slo si su complemen-
tario X A es cerrado
Demostracin. Tenemos, A abierto A = int(A)
(2)
A = X
(X A) X A = (X A) X A es cerrado.
A partir de las propiedades del interior y la dualidad en la Proposi-
cin 2.4.1 podemos demostrar las siguientes propiedades generales de la
clausura. Aqu las demostraremos directamente, dejando como ejercicio
el hacerlo como se ha indicado anteriormente.
Proposicin 2.4.3. (Propiedades de la clausura)
Sea (X, T ) un espacio topolgico. Se cumple:
1. Si A X entonces A A.
2. Si A B entonces A B.
3. A
1
... A
n
= A
1
... A
n
.
4. A = A. En particular, A siempre es cerrado.
Demostracin. 1. Ya lo hemos observado antes.
2. Sea x A, entonces, para todo abierto G de (X, T ) con x G se
tiene que G A ,= . Como A B, entonces G A G B. Por lo
tanto, G B ,= , y de ah deducimos que x B. Luego A B.
3. Por el apartado anterior, sabemos que si A
i
A
1
... A
n
, i, en-
tonces, A
i
A
1
... A
n
, para todo i. Por tanto,
n
i=1
A
i
A
1
... A
n
.
Para la otra contencin, sea x A
1
... A
n
, por denicin se tiene
que si G es cualquier abierto de (X, T ) con x G, se tiene que G(A
1
... A
n
) ,= . Ahora, por reduccin al absurdo:
Si x , A
1
... A
n
, entonces x , A
i
, i. De este modo, existir G
i
abierto, con x G
i
y G
i
A
i
= , i. Ahora, sea G
o
=
n
i=1
G
i
, ste
es un abierto con x G
o
. Llegamos as a contradiccin con G
0
A
i

G
i
A
i
= , i, implicando G
0
(A
1
... A
n
) = , que no se puede dar.
4. Aplicando el primer apartado, se tendr que A A. Para la otra
contencin, tomamos x A. Entonces, para todo G abierto de (X, T ),
con x G, G A ,= . De este modo, existir y A, con y G. As,
por la denicin de la clausura, G A ,= . Luego, x A, y, por tanto,
A A.
Figura 2.2:
La denicin de cerrado como conjunto que coincide con su clausura
y las propiedades de la clausura en la Proposicin 2.4.3 implican las sigu-
ientes propiedades de los conjunto cerrados de cualquier espacio topolgi-
co. Dejamos como ejercicio el escribir una demostracin siguiendo esta
indicacin. Aqu lo haremos usando la dualidad abierto/cerrado.
Proposicin 2.4.4. (Propiedades de los cerrados)
1. y X son cerrados.
2. Si A
1
...A
n
son cerrados, entonces
n
i=1
A
i
es cerrado.
3. Si A
es una familia de cerrados, entonces
es cer-
rado.
Demostracin. 1. es abierto, luego X = X es cerrado.
X es abierto,luego X X = es cerrado.
2. Si A
i
es cerrado, entonces X A
i
es abierto. Por tanto,
n
i=1
(X
A
i
) = X
n
i=1
A
i
es abierto, luego
n
i=1
A
i
es cerrado.
3. Si A
es cerrado, entonces XA
es abierto. Luego, por propiedad

de los abiertos,
(X A
) = X
es abierto. Por tanto,
es cerrado.
2.5. Convergencia de sucesiones en un es-
pacio topolgico. Caracterizacin de la
clausura en los espacios (seudo)mtricos
Como los abiertos que continen a un punto x de un espacio topolgico
actuan como ltros de la proximidad a x, la siguiente denicin precisa
la idea de acercarse a x mediante sucesiones.
Denicin 2.5.1. Sea (X, d) un espacio topolgico. Una sucesin x
n
n1
de X se dice que converge a x
0
X (o equivalentemente, que x
0
es un
punto lmite de x
n
n1
) en (X, T ) si para todo abierto G de (X, T ) con
x
0
G existe n
0
tal que si n n
0
, entonces x
n
G.
Figura 2.3:
Proposicin 2.5.2. Sea (X, d) un espacio mtrico. Toda sucesin con-
vergente en (X, d) tiene un nico punto lmite.
Demostracin. (R.A.) Supongamos que x
n
n1
X converge en (X, d)
a x
0
y a x
1
, con x
0
,= x
1
. Aplicando la propiedad de separacin de Haus-
dor de los espacios mtricos, existe > 0 con B
d
(x
0
, ) B
d
(x
1
, ) = .
Como x
n
n1
converge a x
0
, entonces existe n
0
tal que x
n
B
d
(x
0
, )
si n n
0
.
Por otro lado, como x
n
n1
converge a x
1
, existe n
1
tal que x
n

B
d
(x
1
, ) para todo n n
1
.
Si n > maxn
0
, n
1
, entonces x
n
B
d
(x
0
, ) B
d
(x
1
, ) = . Con-
tradiccin.
Figura 2.4: Los puntos de la sucesin deben separarse para alcanzar los
dos puntos lmite
Denicin 2.5.3. Un espacio topolgico (X, T ) se dice que tiene la
propiedad de separacin de Hausdor (o que es un espacio de Hausdor )
si dados x, x
X con x ,= x
, existen abiertos G, G
en (X, T ) tales que

x G, x
y G G
= .
Nota 2.5.4. Si (X, T ) es un espacio topolgico de Hausdor, entonces
toda sucesin convergente tiene un nico punto lmite.
Ejemplo 2.5.5. Sea (R
2
, d) con d((x, y), (x
, y
)) = [x x
[.
La sucesin (x
n
, y
n
) = (1/n, 0) converge a todo punto de la forma
(0, y). En efecto, sea G un abierto de (X, d) con (0, y) G(= intG).
Entonces existe > 0 tal que B
d
((0, y), ) G.
Figura 2.5:
Si escogemos n
0
tal que 1/n
0
< , entonces para todo n n
0
se
cumple que d((0, y), (1/n, 0)) = 1/n 1/n
0
< , luego (x
n
, y
n
) =
(1/n, 0) B
d
((0, y), ) G, n n
0
.
Podemos concluir que el espacio no es de Hausdor.
Proposicin 2.5.6. (Caracterizacin de la clausura en espacios (seu-
do)mtricos). Sea (X, d) un espacio (seudo)mtrico. Son equivalentes:
1. x

A con x X y A X.
2. Dado > 0, existe a A con d(x, a) < .
3. Existe a
n
n1
A con a
n
n1
convergiendo a x.
Demostracin. 1) 2): Para cada > 0, B
d
(x, ) es abierto en (X, d)
y x B
d
(x, ), luego B
d
(x, ) A ,= porque x

A. Existe por tanto
a A tal que a B
d
(x, ), es decir, d(x, a) < .
2) 3) : Dado = 1, existe a
1
A tal que a
1
B
d
(x, 1). Dado
= 1/2, existe a
2
A tal que a
2
B
d
(x, 1/2).
Figura 2.6:
Reiterando el proceso obtenemos una sucesin a
1
, . . . , a
n
en A con
a
n
B(x, 1/n), es decir, d(x, a
n
) < 1/n. Armamos que a
n
n1
con-
verge a x. En efecto, si G es abierto de (X, d) con x G, entonces existe
> 0 con B
d
(x, ) G.
Si n
0
con 1/n
0
< , se cumple que d(a
n
, x) < 1/n < 1/n
0
<
para todo n n
0
. Luego a
n
B
d
(x, ) G y concluimos que a
n
n1
converge a x.
3) 1) (Vlido para todo espacio topolgico):
Sea G un abierto de (X, d) con x G. Como a
n
n1
converge a x por
hiptesis, existe n
0
con a
n
G si n n
0
(por denicin de convergencia).
Como a
n
A, entonces a
n
A G ,= y concluimos que x

A por la
denicin de clausura.
Corolario 2.5.7. En un espacio (seudo)mtrico, A es cerrado si y slo
si para todo x X para el cual exista a
n
n1
A convergiendo a x se
tiene que x A.
Demostracin. Sabemos que A es cerrado si y slo si A =

A. La condicin
para todo x X para el cual exista a
n
n1
A convergiendo a x se
tiene que x A signica, gracias a la proposicin anterior, que si x

A,
entonces x A. Por tanto

A A y, como la otra inclusin siempre es
cierta, A =

A.
2.6. Otros puntos notables. Anlisis de la posi-
cin en un espacio topolgico
Denicin 2.6.1. Sea (X, T ) un espacio topolgico. Dado A X, deci-
mos que x X es un punto frontera de A si para todo conjunto G abierto
de (X, T ) con x G, se verica que G A ,= y (X A) G ,= .
Se llama conjunto frontera de A a
FrA = x X, x punto frontera de A
Proposicin 2.6.2. FrA = A X A
Proposicin 2.6.3. Sea (X, T ) un espacio topolgico. Entonces, para
todo A X, se cumple:
A = int(A) FrA
Adems, int(A) FrA = .
Demostracin. Para la contencin hacia la derecha, sea x A, distin-
guimos:
-x int(A), luego x int(A) FrA, y hemos terminado.
-x , int(A), entonces, para todo G abierto, con x G, se tiene que
G A. De este modo, para todo G abierto con x G, se verica que
G(XA) ,= . Entonces, x FrA, y de este modo, x int(A) FrA.
Para la contencin hacia la izquierda, sea x int(A) FrA. Distin-
guimos:
-x int(A) A A, luego x A.
-x FrA = A X A, luego x A.
Finalmente, veamos que int(A) y FrA son disjuntos. Por reduccin al
absurdo, supongamos que x int(A) FrA. En particular, x int(A),
luego, existe un abierto G, con x G A. Entonces, G (X A) = ,
por lo que x , FrA, que contradice la hiptesis.
Denicin 2.6.4. Sea (X, T ) un espacio topolgico, y A X. Un ele-
mento x X se dice exterior a A si x int(XA). Se dene el exterior
de A como:
ext(A) = int(X A)
Proposicin 2.6.5. Sea (X, T ) un espacio topolgico, entonces:
1. FrA = Fr(X A)
2. X = int(A) FrA ext(A)
3. Los anteriores conjuntos son disjuntos entre s.
Demostracin. 1. FrA = A X A = Fr(X A).
2. Tenemos que X = A (X A). Como A = X int(X A), se
tendr que X = int(A) FrA int(X A) = int(A) FrA ext(A).
3. Sabemos que FrA int(A) = . Por otro lado, FrA ext(A) =
Fr(X A) int(X A) = . Y por ltimo, int(A) ext(A) = int(A)
int(X A) A (X A) = . Luego los conjuntos son disjuntos.
Ejemplo 2.6.6. (a) Si Z R es el conjunto de los nmeros enteros, se
tiene que int(Z) = y Z = Z en (R, eucldea), en particular FrZ = Z.
Tenemos as que Z es cerrado (pero no abierto) en la recta eucldea.
(b) Si a < b, entonces los intervalos A = [a, b], B = (a, b), C = [a, b)
y D = (a, b] como conjuntos de la recta eucldea cumplen:
1. int(A) = int(B) = int(C) = int(D) = (a, b)
2. A = B = C = D = [a, b]
3. FrA = FrB = FrC = FrD = a, b
As pues, A es un conjunto cerrado pero no abierto, B es un conjunto
abierto no cerrado y C y D no son ni abiertos ni cerrados.
(c) El Conjunto de Cantor es el conjunto cerrado de la recta eucldea
C =
n=1
A
n
obtenido como la interseccin de los conjuntos cerrados
(y esto prueba que C es un conjunto cerrado) denidos inductivamente
al tomar A
n+1
como el resultado de eliminar los intervalos abiertos que
constituyen los tercios centrales de los intervalos que componen A
n
. Se
comienza con A
1
= [0, 1].
Figura 2.7:
(d) Sea X = f : [1, 1] R continua, denimos el conjunto
A X como A = f X : f derivable. Nos preguntamos si el conjunto
A es cerrado para la distancia del supremo d
. Esta pregunta, pura-

mente topolgica, equivale a probar que el lmite respecto a d
de fun-
ciones derivables es derivable lo dara un importante resultado de Anli-
sis. Desafortunadamente la respuesta es negativa. En efecto, si tomamos
f(x) = [x[, funcin no derivable, podemos encontrar una sucesin de
funciones derivables que tienden a f.
Figura 2.8:
Esto implica que A ,= A, por lo que A no es cerrado. De hecho se
puede demostrar que A = X, por lo que toda funcin continua es lmite
de funciones derivables respecto a la distancia del supremo d
.
Denicin 2.6.7. Sea (X, T ) un espacio topolgico, A X se dice
denso en (X, T ) si A = X.
2.7. Subespacio topolgico
Proposicin 2.7.1. Sea (X, T ) un espacio topolgico, y A X. Sea la
familia de subconjuntos de A,
T
A
= A G, G T .
Entonces, la familia T
A
es una topologa sobre A, llamada topologa rel-
ativa a A (o restriccin). A (A, T
A
) se le llama subespacio topolgico
de (X, T ), y se tiene que C A es un cerrado de (A, T
A
) si y slo si
C = F A, F cerrado de (X, T )
Demostracin. Dejamos como ejercicio comprobar que T
A
es una topologa
sobre A. Para la segunda parte, tenemos que C A es un conjunto cerra-
do de (A, T
A
) si y slo si C = AH, con H abierto en (A, T
A
) si y slo si
C = AH y H = GA con G T . Luego C = A(XH) = A(XG),
siendo X G cerrado de (X, T ).
Teniendo en cuenta que la interseccin nita de conjuntos abiertos
(de cerrados, respectivamente) es un conjunto abierto (cerrado, resp.),
se sigue inmediatamente la siguiente proposicin. Dejamos los detalles
como ejercicio.
Proposicin 2.7.2. si A abierto de (X, T ), entonces todos los abiertos
de (A, T
A
) son abiertos de (X, T ). Del mismo modo se tendr para los
cerrados.
Ejemplo 2.7.3. En general, los abiertos de (A, T
A
) no son abiertos de
(X, T ). Por ejemplo: sea (R
2
, eucldea), y A = R
2
+
= (x, y) : y 0 el
semiplano superior.
Figura 2.9:
Entonces, A no es un abierto en (R
2
, eucldea). Ahora, tomando G =
B
d
(0, ), que es abierto de (R
2
, eucldea), ocurre que GA no es abierto
de (R
2
, eucldea), pero s lo es de (A, eucldea[
A
)
Nota 2.7.4. Si B A X y (X, T ) espacio topolgico, denotamos por
B
X
a la clausura de B en (X, T ), y B
A
, a la clausura de B en (A, T
A
).
Probar que B
A
= B
X
A.
Nota 2.7.5. Sea (X, d) un espacio (seudo)mtrico, y sea T
d
la topologa
de los abiertos de (X, d). Dado A X, denotamos por d[
A
a la distan-
cia restriccin cuyos abiertos forman la topologa T
d|
A
, entonces se tiene
T
d|
A
= (T
d
)
A
. Se deja como ejercicio comprobar la igualdad (Ayuda: se
tiene que para todo a A, B
d|
A
(a, ) = B
d
(a, ) A).
Para terminar, una observacin sobre aquellos conjuntos que son si-
multneamente abiertos y cerrados en un espacio topolgico. Hemos visto
que al menos X y son conjuntos simultneamente abiertos y cerrados
en cualquier espacio topolgico (X, T ). Los espacios donde nicamente
el espacio total y el conjunto vaco son a la vez abiertos y cerrados son de
gran importancia en matemticas y son llamados espacios conexos. Volv-
erenos sobre ellos en la Seccin 4.4. A continuacin demostraremos que
todos los intervalos de la recta con la restriccin de la topologa eucldea
cumplen esta propiedad.
Proposicin 2.7.6. Sea J un intervalo de cualquier tipo de la recta
incluyendo la propia recta. Entonces, los nicos abiertos de (J,eucldea)
que son a la vez cerrados son J y .
Demostracin. R.A. Supongamos por el contrario que existe A J abier-
to y cerrado de (J,eucldea) con A ,= y A ,= J. Escogemos un t
0
JA.
Entonces si
Figura 2.10:
A
0
= A (, t
0
) = A (, t
0
]
A
1
= A (t
0
, ) = A [t
0
, )
necesariamente A
0
,= A
1
,= .
Supongamos A
0
,= . Como A es abierto en (J, eucldea), tambin lo es
A
0
= A(J(, t
0
)) por ser interseccin de dos abiertos en (J, eucldea).
Del mismo modo, A
0
es cerrado en (J, eucldea).
El conjunto A
0
est acotado por t
0
superiormente y A
0
,= , entonces
existe a = sup A
0
. Como J es in intervalo, para todo t A
0
, tenemos
a [t, t
0
] J. Sabemos por el Ejemplo 2.3.7 que a es un punto adherente
de A
0
en (R, eucldea). Por la Nota 2.7.4, tenemos que a A
0
J = A
0
J
.
Ahora bien, como A
0
es cerrado en (J, eucldea), entonces, a A
0
.
En particular, a < t
0
. Por otro lado, de ser A
0
abierto se sigue que
existe > 0 con t J; [t t
0
[ < A
0
, entonces si 0 < < con
a + [a, t
0
] J tenemos a + A
0
y a + > a, por lo que a no es
supremo de A
0
llegando as a una contradiccin.
2.8. Continuidad
Desde el punto de vista del anlisis de la posicin, una aplicacin
continua debe preservar la estructura de proximidad; es decir, si un punto
est adherido a un conjunto, entonces la imagen de aquel debe seguir
pegado a la imagen del conjunto.
Figura 2.11:
Denicin 2.8.1. Sean (X, T ) e (Y, T
) espacios topolgicos. Una apli-

cacin f : (X, T ) (Y, T
) se dice continua si para todo A X, se veri-

ca que f(A) f(A). Es decir, si para todo a A, entonces, f(a) f(A).
Proposicin 2.8.2. (Caracterizacin de la continuidad por abiertos y
cerrados)
Sean (X, T ) e (Y, T
) espacios topolgicos, y sea una aplicacin f :

(X, T ) (Y, T
). Son equivalentes:
(1) f es continua.
(2) Si F es un cerrado en (Y, T
), entonces f
1
(F) es cerrado en
(X, T ).
(3) Si G es un abierto en (Y, T
), entonces f
1
(G) es abierto en
(X, T ).
Demostracin. (1) (2) Sea F un cerrado en (Y, T
), veamos que
f
1
(F) es cerrado en (X, T ). Esto ser cierto si f
1
(F) = f
1
(F), de
modo que la contencin hacia la izquierda se tiene siempre.
Para la otra contencin, tomamos A = f
1
(F) X. Entonces, por la
continuidad de f, se tiene que f(f
1
(F)) f(f
1
(F)). Ahora, tenemos
que f(f
1
(F)) F, y por la monotona de la clausura, f(f
1
(F))
F = F. Aplicando lo anterior, se tiene que f(f
1
(F)) F. Luego, para
todo z f
1
(F), se verica que f(z) F, luego z f
1
(F). Por tanto,
se tiene la otra inclusin.
(2) (3) Sea G abierto, entonces Y G es cerrado. Como estamos
suponiendo (2), f
1
(Y G) = Xf
1
(G) es cerrado. Por tanto, f
1
(G)
es abierto.
(3) (1) Sea y f(A), veamos que y f(A). Es decir, debemos
probar que para todo G abierto de (Y, T
) con y G, se tiene que

Gf(A) ,= . En efecto, si G abierto, entonces, por (3), f
1
(G) es abierto
de (X, T ). Como y f(A), existir algn x A con f(x) = y. De modo
que, como y G, x f
1
(G). Ahora, como x A, cualquier abierto
que contenga a x corta a A. As, por la denicin de punto adherente,
se tiene que f
1
(G) A ,= . Luego, existe a A con a f
1
(G).
Entonces, f(a) Gf(A), es decir, Gf(A) ,= , que es lo que queramos
probar.
La caracterizacin de la continuidad por abiertos y cerrados nos lleva
a la siguiente versin general de conocido Teorema del Valor Intermedio
de Bolzano.
Proposicin 2.8.3. Sea (X, T ) un espacio topolgico. Son equivalentes
a) Los nicos conjuntos abiertos que son tambin cerrados en (X, T ) son
X y .
b) Si f : (X, T ) (R, eucldea) es continua y a, b f(X) con a b
entonces [a, b] f(X)
c)(Teorema de Bolzano) Si f : (X, T ) (R, eucldea) es continua y
x
1
, x
2
X con f(x
1
) < 0 y f(x
2
) > 0, entonces x
0
X con f(x
0
) = 0.
Demostracin. a) b)
Si a = b no hay nada que probar. Supongamos entonces que a < b. Si
algn t con a < t < b cumpliese que t / f(X), entonces el conjunto
A = f
1
((t, )) coincide con f
1
([t, )). Luego la continuidad de f im-
plica que el A es un conjunto a la vez abierto y cerrado. Adems, como
a f(X), si a = f(x
0
), x
0
/ A pues a = f(x
0
) < t, mientras que si
f(x
1
) = b entonces x
1
A pues b > t. Esto nos dice que A ,= , X, lo
que contardice a).
b) c)
Si f(x
1
) = a < 0 y f(x
2
) = b > 0. Tenemos a b, entonces [a, b] f(X).
Por b) sabemos que 0 [a, b] f(X). Luego, x
0
X con f(x
0
) = 0
c) a)
Si no no se cumpliese a) entonces existe A ,= , X abierto y cerrado a la
vez. Sea f : (X, T ) (R, eucldea) denida como
f(x) =
_
+1 si x A
1 si x , A
Armamos que f es continua y claramente no cumple la condicin c),
llegando a una contradiccin. Veamos la continuidad. Sea G abierto de
(R,eucldea)
_
_
Supongamos 1, 1 G f
1
(G) = A (X A) = X
Supongamos 1, 1 , G f
1
(G) =
Supongamos 1 G y 1 , G f
1
(G) = A
Supongamos 1 G y 1 , G f
1
(G) = X A
En cualquier caso f
1
(G) es un conjunto abierto y por tanto f es con-
tinua.
Consecuencia: Como todo intervalo de la recta (incluyendo la recta)
cumple el apartado a) (Proposicin 2.7.6), obtenemos como caso partic-
ular de la Proposicin 2.8.3 la versin clsica del teorema de Bolzano.
Proposicin 2.8.4. (Caracterizacin de la continuidad para espacios
(seudo)mtricos)
Sea f : (X, d) (Y, d
) una aplicacin entre espacios (seudo)mtricos.

Son equivalentes:
(1) f es continua (con la caracterizacin por abiertos).
(2) Para todo x X y para todo > 0, existe > 0 tal que si
d(x, x
) < , entonces, d
(f(x), f(x
)) < . O equivalentemente, f(B

d
(x, ))
B
d
(f(x), ).
Demostracin. (1) (2) Como B
d
(f(x), ) es abierto de (Y, T
), por (1)
sabemos que f
1
(B
d
(f(x), )) es abierto con de (X, T ). De este modo,
si f(x) B
d
(f(x), ), entonces x f
1
(B
d
(f(x), )). As, por denicin
de abierto, f
1
(B
d
(f(x), )) es entorno de x, luego existir > 0 tal que
B
d
(x, ) f
1
(B
d
(f(x), )). Y por tanto, f(B
d
(x, )) B
d
(f(x), ).
(2) (1) Si G es abierto de (Y, d
), debemos probar que f

1
(G) es
abierto de (X, d). Es decir, hay que probar que f
1
(G) es entorno de todos
sus puntos. En efecto, sea x f
1
(G), entonces, como G abierto, existe
> 0 con B
d
(f(x), ) G. Por (2), existir > 0 tal que f(B
d
(x, ))
B
d
(f(x), ) G. Luego, B
d
(x, ) f
1
(G), es decir, f
1
(G) es entorno
de todos sus puntos.
Proposicin 2.8.5. (Caracterizacin por convergencia)
Sea f : (X, d) (Y, d
) una aplicacin entre espacios (seudo)mtricos.

Son equivalentes:
(1) f es continua.
(2) Si x
n
n1
X y x
n
n1
converge a x
0
en (X, d), entonces
f(x
n
)
n1
converge a f(x
0
) en (Y, d
).
Demostracin. (1) (2) Debemos probar que para cualquier G abierto
de (Y, d
) con f(x
0
) G, existe un n
0
tal que f(x
n
) G n n
0
.
En efecto, por (1) sabemos que f
1
(G) es abierto de (X, d). Adems, si
f(x
0
) G, entonces x
0
f
1
(G). Por hiptesis, si x
n
n1
converge a
x
0
, entonces existe n
0
con x
n
f
1
(G); es decir, f(x
n
) G para todo
n n
0
.
(2) (1) Para ver que f es continua, debemos probar que f(A)
f(A), para todo A X. En efecto, sea y f(A), entonces existe x
A tal que y = f(x). Por la caracterizacin de la clausura en espacios
(seudo)mtricos, va a existir a
n
n1
A convergiendo a x. Entonces,
por (2), f(a
n
)
n1
f(A) converge a f(x). Luego, por propiedad de la
clausura, y = f(x) f(A). Por lo que hemos probado lo que queramos.
Proposicin 2.8.6. (Propiedades generales de las aplicaciones contin-
uas)
a) Cualquier aplicacin constante es continua.
b) La identidad id : (X, T ) (X, T ) es continua.
c) La composicin de aplicaciones continuas es continua.
d) La restriccin de una aplicacin continua es continua respecto de
la topologa restriccin (o relativa).
Notar que b) + d) implica que toda inclusin i : (A, T
A
) (X, T ) :
i(a) = a a A, con A X, es continua.
Demostracin. Usaremos la caracterizacin por abiertos.
a) Sea f : (X, T ) (Y, T
) constante. Es decir, f(x) = y

0
Y x
X. Entonces, sea U Y abierto en (Y, T
), tendremos que f
1
(U) =
si y
0
, U, que es un abierto; y f
1
(U) = X si y
0
U, que tambin es
abierto. Luego f es continua.
b) Sea U abierto de (X, T ), entonces id
1
(U) = U. Luego la identidad
es continua.
c) Sean f : (X, T ) (Y, T
) y g : (Y, T
) (Z, T
) aplicaciones
continuas, y sea U abierto de (Z, T
). Entonces, x (g f)
1
(U)
g(f(x)) = g f(x) U f(x) g
1
(U) x f
1
(g
1
(U)) Es decir,
(g f)
1
(U) = f
1
(g
1
(U)), que es abierto por ser f continua, y ser
g
1
(U) abierto por la continuidad de g. Por tanto, la composicin de
aplicaciones continuas es continua.
d) Sea f : (X, T ) (Y, T
) continua, y A X. Entonces, sea f[

A
:
(A, T
A
) (Y, T
) la restriccin dada por f[

A
(a) = f(a) a A. Ahora,
sea U Y abierto de (Y, T
), sabemos que f
1
(U) es abierto, y, por
tanto, (f[
A
)
1
(U) = A f
1
(U), abierto para la topologa restriccin.
Luego, la restriccin es continua.
Proposicin 2.8.7. Sea f : (X, T ) (Y, T
) continua, y

f : (X, T )
(f(X), T
[
f(X)
) la restriccin sobre la imagen, dada por

f(x) = f(x)
x X. Entonces

f es continua.
Demostracin. Sea U abierto de (f(X), T
[
f(X)
). Por denicin se tiene
que U = W f(X), con W un abierto de (Y, T
). De este modo, se
tiene que f
1
(U) = f
1
(W) es abierto de (X, T ), pues f es continua y
f
1
(f(X)) = X.
Ejemplo 2.8.8. 1. Sea id : (X, T ) (X, T ). No siempre la aplicacin
identidad id : (X, T ) (X, T
) va a ser continua si T , = T
. Por ejemplo,
vamos a tomar las topologas T asociada a la distancia eucldea, T
a la
distancia discreta, y tomamos X = R. Entonces, sabemos que la sucesin
x
n
n1
=
1
n
n1
converge a 0 en la topologa eucldea. Sin embargo, se
tiene que id(x
n
) = x
n
no converge a id(0) = 0, pues B
discreta
(0, ) = 0
para 1, y x
n
, 0 n 1
2. Ahora, sea id : (R
2
, eucldea) (R
2
, taxi). En este caso, id va a ser
continua, a pesar de tener distintas distancias deniendo las topologas de
los espacios de salida y llegada. Anlogo se tendr que id : (R
2
, taxi)
(R
2
, eucldea) es continua.
Denicin 2.8.9. Una aplicacin f : (X, T ) (Y, T
) se dice equivalen-
cia topolgica (homeomorsmo) si f es biyectiva, y f y f
1
son continuas.
Ejemplo 2.8.10. Se tiene que id : (R, discreta) (R, eucldea) es
continua (se prueba que las nicas sucesiones convergentes son las con-
stantes), pero vimos que id
1
: (R, eucldea) (R, discreta) no lo es. Por
tanto, en este caso, la identidad no es una equivalencia topolgica.
Proposicin 2.8.11. Las proyecciones p
i
: (R
n
, eucldea) (R, eucldea),
denidas como p
i
(x
1
, ..., x
n
) = x
i
, para 1 i n son siempre continuas.
Demostracin. Aplicaremos el criterio . Dado (x
1
, ..., x
n
) R
n
y >
0, debemos probar que si d
e
((x
1
, ..., x
n
), (x
1
, ..., x
n
)) =
_
n
i=1
(x
i
x
i
) <
, entonces [x
i
x
i
[ < .
En efecto, basta tomar = , de manera que
_
n
i=1
(x
i
x
i
) < ,
deduciendo que [x
i
x
i
[
2
<
2
, luego [x
i
x
i
[ < .
Proposicin 2.8.12. Una aplicacin f : (X, T ) (R
n
, eucldea) es
continua si y slo si p
i
f : f : (X, T ) (R, eucldea) es continua para
todo 1 i n.
Demostracin. Para probar la implicacin hacia la derecha basta ob-
servar que como f y p
i
son continuas, la composicin de aplicaciones
continuas es continua. Luego, p
i
f es continua para todo 1 i n.
Para la otra implicacin, suponemos que cada p
i
f es continua.
Entonces, sea U R
n
abierto de (R
n
,eucldea), para ver que f es con-
tinua, debemos probar que f
1
(U) es abierto de (X, T ). Es decir, hay
que probar que f
1
(U) es entorno de todos sus puntos. En efecto, sea
x f
1
(U), entonces f(x) U. As, al ser U abierto eucldeo, va
a existir tal que, tomando, por ejemplo, la distancia del mximo,
B
d
(f(x), ) U. Entonces, si f(x
1
, ..., x
n
) = (y
1
, ..., y
n
), se tendr que
B
d
(f(x), ) = (z
1
, ..., z
n
) R
n
: max[y
i
z
i
[ < [y
i
z
i
[ <
i z
i
(y
i
, y
i
+ ) que es un abierto eucldeo en R.
Por tanto, como p
i
f es continua, entonces (p
i
f)
1
(y
i
, y
i
+) es
abierto de (X, T ). Y adems, (p
i
f)
1
(y
i
, y
i
+) = f
1
(p
1
i
(y
i
, y
i
+
)) = f
1
(RR... (y
i
, y
i
+)
(i)
... R). De este modo, se tendr
que x
n
i=1
A
i
= f
1
(
n
i=1
(y
i
, y
i
+)) = f
1
(B
d
(f(x), )) f
1
(U),
luego f
1
(U) es entorno de todos sus puntos.
Proposicin 2.8.13. Si f : (X, T ) (Y, T
) es un homeomorsmo y
G X es un abierto de (X, T ), entonces f(G) es abierto de (Y, T
). Se
tendr un resultado anlogo para los cerrados.
Demostracin. Al ser f un homeomorsmo, entonces f
1
: (Y, T
)
(X, T ) es continua. Luego (f
1
)
1
(G) = f(G) es abierto de (Y, T
).
Denicin 2.8.14. Una aplicacin f : (X, T ) (Y, T
) se dice abierta
si para todo abierto G de (X, T ), entonces f(G) es abierto de (Y, T
).
Anlogamente, se dice que f es cerrada si para todo cerrado F de (X, T ),
entonces f(F) es cerrado de (Y, T
).
Proposicin 2.8.15. f es homeomorsmo si y slo si es biyectiva, con-
tinua y abierta, si y slo si es biyectiva, continua y cerrada.
Demostracin. Veamos la primera equivalencia. La implicacin hacia la
derecha se tiene por ser todo homeomorsmo una aplicacin abierta.
Recprocamente, basta probar que f
1
es continua. En efecto, si G es
abierto de (X, T ), entonces (f
1
)
1
(G) = f(G) va a ser abierto por
hiptesis. Luego f
1
es continua, y, por tanto, f es un homeomorsmo.
La segunda equivalencia se hace de modo anlogo.
Ejemplo 2.8.16. 1. Las proyecciones p
i
: (R
n
, eucldea) (R, eucldea)
son aplicaciones abiertas y no cerradas.
Figura 2.12:
En efecto, sea G abierto de (R
n
,eucldea), debemos probar que p
i
(G)
es entorno de todos sus puntos para ver que p
i
(G) es abierto de (R,eucldea).
Entonces, sea x p
i
(G), se tendr que existe y = (y
1
, ..., y
n
) G con
y
i
= x. Por propiedad de los espacios eucldeos, va a existir > 0 tal
que B
d
(y, ) G. De este modo, p
i
(B
d
(y, )) = (x, x +) p
i
(G), es
decir, p
i
(G) es entorno de x.
Sin embargo no es cerrada. Basta ver un contraejemplo: sea F =
(x, y) : y =
1
x
, x > 0 cerrado de (R
2
,eucldea) (ya que R
2
F es abier-
to). Sin embargo, p
1
(F) = (0, ), que no es cerrado.
Figura 2.13:
2. Veamos un ejemplo de aplicacin biyectiva y continua que no es
homeomorsmo. Sea f : ([0, 2), eucldea) (R
2
, eucldea), denida co-
mo f(t) = (cos t, sin t). Entonces, f es continua pues p
1
f y p
2
f
son las aplicaciones cos t y sin t, respectivamente, que son continuas.
As que, como f([0, 2)) es la circunferencia unidad S
1
, vamos a denir
f : ([0, 2), eucldea) (S

1
, eucldea) la restriccin de f.
Entonces,

f es continua pues f lo es. Adems,

f es biyectiva. Sin
embargo,

f
1
no es continua, ya que tomando la sucesin (x
n
, y
n
) =
(cos(2
1
n
), sin(2
1
n
)), sta va a converger a (1, 0) S
1
, pero

f
1
(x
n
, y
n
) =
2
1
n
no converge en [0, 2) por hacerlo a 2 , [0, 2).
3. Sean (a, b) y (a
, b
) intervalos de R. Denimos la aplicacin f :

((a, b), eucldea) ((a
, b
), eucldea) como f(x) = y =

b
ba
(x a) + a
.
Figura 2.14:
Entonces, esta aplicacin es continua, biyectiva y su inversa, f
1
(y) =
ba
b
(y a
) + a, tambin es continua. Luego, f es un homeomorsmo.

Por tanto, todos los intervalos acotados de (R,eucldea) son homeomor-
fos. De modo anlogo, los intervalos de la forma (a, ) y (a
, ) van a
ser homeomorfos. As como los de la forma [a, b] y [a
, b
], y (, b) y
(, b
). Igualmente lo son (a, ) y (, b).

5. Se tiene que ((
2
,

2
),eucldea) y (R,eucldea) son homeomorfos.
Basta tomar f(x) = tan x, por tratarse de una aplicacin continua y
biyectiva, y ser f
1
(y) = arctany continua.
Figura 2.15:
6. Tambin se tiene que ((0, ),eucldea) y (R,eucldea) son homeo-
morfos. En este caso, basta tomar f : (R, eucldea) ((0, ), eucldea) :
f(x) = e
x
que es continua y biyectiva, y cuya inversa f
1
(y) = log y es
continua.
Figura 2.16:
Como consecuencia, se tiene el siguiente resultado:
Proposicin 2.8.17. Todos los intervalos abiertos de R son homeomor-
fos entre s (incluyendo R).
Denicin 2.8.18. Dada f : (R, eucldea) (R, eucldea), se llama
grca de f a
f
= (x, y) : y = f(x) R
2
Ahora, consideramos
f
: (R, eucldea) (R
2
, eucldea) denida co-
mo
f
(x) = (x, f(x)). Entonces,
f
es inyectiva, pues
f
(x) =
f
(x
)
implica que x = x
. As, la restriccin
f
: (R, eucldea) (
f
, eucldea)
va a ser una aplicacin biyectiva. Y
f
1
((x, y)) = x, es decir,
f
1
es la
restriccin de la proyeccin p
i
a
f
. Luego,
f
1
es continua.
De este modo,
f
es continua, si y slo si p
1

f
= id
R
y p
2

f
= f
son continuas, si y slo sif es continua. Por tanto, f es continua, si y slo
si
f
es homeomorsmo entre (R,eucldea) y (
f
,eucldea).
Denicin 2.8.19. Una inmersin es una aplicacin continua e inyec-
tiva f : (X, T ) (Y, T
), cuya restriccin a la imagen

f : (X, T )
(f(X), T
f(X)
) es homeomorsmo.
Proposicin 2.8.20. Si f es continua,
f
es una inmersin de (R,eucldea)
en (R
2
,eucldea).
Demostracin. Si
f
= (x, y) R R
2
: y = f(x) R
3
, se prueba
igual que antes que f es continua, si y slo si
f
es una inmersin (es
decir,
f
es homeomorsmo).
Ejemplo 2.8.21. Dada la funcin f(x) = (cos x, sin x) R
2
, entonces
f
= (x, cos x, sin y) : x R R
3
se trata de una hlice en R
3
. Por
tanto, toda hlice es una inmersin de la recta R en R
3
.
Figura 2.17:
Captulo 3
Compacidad
3.1. Denicin y primeros ejemplos
Denicin 3.1.1. Dado un conjunto X y A X, un recubrimiento de A
en X es una familia C
de subconjuntos de X tal que A
.
Nota 3.1.2. Si A = X la inclusin es una igualdad: X =
.
Denicin 3.1.3. Un subrecubrimiento de C
es una subfamilia
C
con
y an A
Denicin 3.1.4. Sea (X, T ) un espacio topolgico. Un subconjunto

A X se dice compacto en (X, T ) si de todo recubrimiento de A por
abiertos en (X, T ) se puede extraer un subrecubrimiento nito.
Nota 3.1.5. Si A = X decimos que (X, T ) es un espacio compacto.
Lema 3.1.6. A es compacto en (X, T ) si y solo si el subespacio (A, T
A
)
es compacto.
44
CAPTULO 3. COMPACIDAD 45
Demostracin. [] Supongamos A compacto en (X, T ).
Sea G
un recubrimiento de A por abiertos de la topologa restric-

cin T
A
, entonces A =
y para cada se tiene G
= H
A
con H
abierto ed (X, T ).
Ahora, A =
. Por tanto, H
es recubrimiento
de A por abiertos de (X, T ). Luego, utilizando la hiptesis,

1
, . . . ,
n
con A
1
H
n
, lo que implica que
A = (H
1
H
n
)A = (H
1
A) (H
n
A) = G
1
G
n
,
por lo tanto tenemos que (A, T
A
) es compacto.
[] Recproco: (A, T
A
) es compacto. A es compacto de (X, T )?
Sea U
recubrimiento de A por abiertos de T , A
.
Entonces:
A = (
)A =
(U
A) donde las intersecciones son abiertos

de (A, T
A
). Aplicando la hiptesis,
1
. . .
n
con A = (U
1
A)
(U
n
A) U
1
U
n
.
Por lo tanto, A es compacto en (X, T ).
Ejemplo 3.1.7. (R
n
, eucldea) no es compacto.
Tenemos: R
n
=
n1
B
d
(, n), con d= distancia eucldea y = origen.
Pero, no existe n
1
, . . . n
k
con R
n
=
k
j=1
B
d
(, n
j
), pues en tal caso,R
n
=
B
d
(, n
0
), con n
0
= maxn
1
, . . . n
k
Ejemplo 3.1.8. (X, discreta) es compacto X es nito.

Ejemplo 3.1.9. En cualquier espacio topolgico (X, T ) todo conjun-
to nito es siempre compacto. En efecto, sea el conjunto nito A =
a
1
, . . . , a
s
y A

, con G
abierto de (X, T ). Para cada

a
i
encontramos un G
i
con a
1
G
i
(1 i s). Entonces, A
G
1
G
s
; por tanto, A es compacto.
Ejemplo 3.1.10. (R, conita) es compacto. Recordemos que la topologa
conita es la familia , A R tal que R A sea nito . Sea R =
con G
abierto de la topologa conita. Dado x R,

0
con
x G
0
, lo que implica que G
0
,= . Luego, R G
0
= x
1
, . . . x
n
es
nito. Ahora, como en el Ejemplo 3.1.9, dado x
i
, sea G
i
con x
i
G
i
.
Entonces tenemos que:
R = (R G
0
) G
0
= x
1
, . . . , x
n
G
0
G
1
G
n
G
0
.
Hemos probado que (R, conita) es compacto.
Ejemplo 3.1.11. Toda unin nita de compactos es compacto.
Ejemplo 3.1.12. En (R, eucldea) todo intervalo cerrado y acotado [a, b]
es compacto.
En efecto, sea G
recubrimiento de [a, b] por abiertos de (R, eu-

cldea).
Sea A = x [a, b]; el intervalo [a, x] est recubierto por una cantidad nita de G
.
Tenemos que A ,= pues si tomamos x = a, tenemos que [a, a] = a y
a est en algn G
0
pues [a, b]
.
Sea x
0
= supA. Armamos:
1. x
0
A
2. x
0
= b, y con esto se habra demostrado el ejemplo.
Veamos (1):
x
0
[a, b]
, luego
con x
0
G
, y como G
es abierto,
existe > 0 con (x
0
, x
0
+ ) G
. Como x
0
es supremo, x
1
A
con x
1
(x
0
, x
0
]. Como x
1
A, entonces
1
, . . . ,
n
con [a, x
1
]
G
1
G
n
. Lo que implica que
[a, x
0
] [a, x
1
] (x
0
, x
0
] G
1
G
n
G
.
Por tanto, aplicando la denicin de A, tenemos que x
0
A.
Veamos (2):
R.A.: Supongamos que x
0
< b, entonces > 0 tal que [x
0
, x
0
+) [a, b].
Sea
0
= min, , donde est dado ms arriba. Entonces, [x
0
, x
0
+
0
) G
, luego,
_
a, x
0
+

0
2
_
[a, x
0
] [x
0
, x
0
+
0
) G
1
G
n
,
y por denicin de A, tenemos que x
0
+

0
2
A. Contradiccin, porque
x
0
+

0
2
> x
0
.
Luego, x
0
= b. Por tanto, [a, b] es compacto.
Proposicin 3.1.13. Sea (X, d) espacio (seudo)mtrico. Entonces, todo
C X compacto est acotado.
Demostracin. Sea x
0
C cualquiera. Tenemos que X =
n=1
B
d
(x
0
, n),
luego C

n=1
B
d
(x
0
, n). Como C es compacto, n
1
, . . . , n
k
con C
B
d
(x
0
, n
1
) B
d
(x
0
, n
k
) B
d
(x
0
, n
0
) con n
0
= maxn
1
, . . . , n
k
. Por
tanto, x, x
C, tenemos que d(x, x
) d(x, x
0
) + d(x
, x
0
) < 2n
0
; esto
es, C est acotado.
3.2. La compacidad y los conjuntos cerrados
Denicin 3.2.1. Una familia de conjuntos A
se dice que tiene

la Propiedad de Interseccin Finita (PIF) si toda subfamilia nita
A
1
, . . . , A
n
tiene interseccin A
1
A
n
,= no vaca.
Proposicin 3.2.2. Sea (X, T ) un espacio topolgico. Son equivalentes:
1. (X, T ) es compacto.
2. Tada familia de cerrados con la PIF tiene interseccin distinta de
vaco.
Demostracin. Veamos 1) 2).
R.A.: Sea F
una familia de cerrados con la PIF y tal que F
= .
Entonces
X =
(X F
), es un recubrimiento abierto de X y aplicando 1),
1
, . . . ,
n
con
X = (X F
1
) (X F
n
). Tomando complementarios,
= F
1
F
n
, que es una contradiccin con la PIF.
Veamos 2) 1).
Sea G
un recubrimiento por abiertos de X. Es decir, X =
y cada G
es abierto. Tomando complementarios, =
(X G
).
Aplicando 2), la familia X G
no puede tener la PIF, y por

denicin:
1
, . . . ,
n
con (X G
1
) (X G
1
) = . Luego,
X = G
1
G
2
G
n
. Lo que prueba que (X, T ) es compacto.
Proposicin 3.2.3. (Los cerrados heredan la compacidad).
Sea (X, T ) un espacio topolgico compacto y F X cerrado en l. En-
tonces F es compacto en (X, T ).
Demostracin. Sea G
recubrimiento de F con abiertos de (X, T ).

Entonces X = (X F) F (X F) (
), y por tanto, X =
(X F) (
). As, (X F), G
es un recubrimiento por
abiertos de X. Aplicando la hiptesis,
1
, . . . ,
n
con
X = (XF) (G
1
G
n
). Como F (XF) = , necesariamente
F G
1
G
n
. Lo que demuestra F es compacto.
Puesto que todo conjunto acotado est contenido en un intervalo cer-
rado, se sigue de 3.2.3 y 3.1.12.
Corolario 3.2.4. En (R, eucldea), si A es cerrado y acotado entonces
es compacto.
3.3. Compacidad y propiedad de Haussdor
Proposicin 3.3.1. (Separacin de punto y compacto)
Sea (X, T ) un espacio topolgico con la propiedad de Haussdor. Sea
F X compacto y x , F. Entonces existen abiertos U y V de (X, T )
con x U, F V y U V = .
Nota 3.3.2. La proposicin anterior vale para cualquier espacio mtrico.
Demostracin. Dado y F, como x , F entonces x ,= y, y por la
propiedad de Hausdor existen abiertos V
y
y U
y
con x U
y
, y V
y
y V
y
U
y
= .
Ahora, F =
yF
y

yF
V
y
y como F es compacto y
1
. . . y
n
con
F V
y
1
V
yn
. Sea V =
n
i=1
V
y
i
y U =
n
i=1
U
y
i
. Obsrvese que V
es abierto y U tambin (por ser interseccin nita de abiertos).
Adems, F V y x U.
Por ltimo, U V = U (V
y
1
V
yn
) = (U V
y
1
) (U V
yn
)
(U
y
1
V
y
1
) (U
y
2
V
y
2
) (U
yn
V
yn
), como cada una de estas
ltimas intersecciones es vaca, se tiene que U V = .
Corolario 3.3.3. Todo compacto en un espacio con la propiedad de sep-
aracin de Hausdor (en particular en un espacio mtrico) es siempre
cerrado.
Demostracin. El conjunto compacto F ser cerrado si y solo si X F
es abierto. Sea x X F veamos si x int(X F) :
Como x , F por la proposicin anterior U, V abiertos con x U, F V
y U V = .
En particular, F U V U = entonces U F = , y por tanto
x U X F, que, al ser U abierto, implica que x int(X F): As
pues, X F es abierto y F es cerrado.
Proposicin 3.3.4. (Separacin de compactos)
Sea (X, T ) un espacio topolgico con la propiedad de separacin de Haus-
dor. Sean F
1
, F
2
X compactos disjuntos. Entonces existen abiertos U
y V de (X, T ) con F
1
U, F
2
V y U V = .
Demostracin. Si x F
1
, entonces, como F
1
F
2
= , x , F
2
. Aplicando
la proposicin anterior: abiertos U
x
y V
x
con U
x
V
x
= tales que
x U
x
y F
2
V
x
.
Tenemos F
1
=
xF
1
x
xF
1
U
x
y por ser F
1
compacto, x
1
, . . . , x
n
con F
1
U
x
1
U
xn
.
Sean U =
n
i=1
U
x
i
y V =
n
i=1
V
x
i
. Ntese que U y V son abiertos (este
ltimo por ser interseccin nita de abiertos). Claramente F
1
U y
F
2
V .
Por ltimo, U V = (U
x
1
Ux
n
) V = (U
x
1
V ) (U
x
2
V )
(U
xn
V ) (U
x
1
V
x
1
) (U
x
2
V
x
2
) (U
xn
V
xn
) = .
As U V = .
Nota 3.3.5. La proposicin anterior vale para todos los espacios mtri-
cos.
Proposicin 3.3.6. (Teorema de Heine-Borel para la recta eucldea) En
(R, eucldea), un conjunto A R es compacto si y slo si es cerrado y
acotado.
Demostracin. Por el Corolario 3.2.4, si A es cerrado y acotado entonces
es compacto. Recprocamente, si es compacto entonce A es acotado y
cerrado por las proposiciones 3.1.13 y 3.3.3, respectivamente.
3.4. Compacidad y continuidad
Proposicin 3.4.1. (La continuidad preserva la compacidad)
Sea f : (X, T ) (Y, T
) una aplicacin continua entre espacios topolgi-

cos. Si A X es compacto en (X, T ) entonces f(A) lo es en (Y, T
).
Demostracin. Sea f(A) =
con G
abierto de (Y, T
), entonces
A f
1
_
_
=
f
1
(G
) donde f
1
(G
) es abierto por ser

f continua. Como A es compacto
1
. . .
n
con A f
1
(G
1
)
f
1
(G
n
) f
1
(G
1
G
n
), luego f(A) G
1
G
n
y por
tanto f(A) es compacto.
Proposicin 3.4.2. (Teorema de Weierstrass) Sea f : (X, T ) (R, eucldea)
una aplicacin continua, entonces la imagen de cualquier subconjunto
compacto A X alcanza su mximo y su mnimo.
Demostracin. Por la Proposicin 3.4.1, f(A) es un compacto de la recta
eucldea y por la Proposicin 3.3.6 es cerrado y acotado. Por ser acotado
f(A) tiene nmo y supremo. Pero por ser cerrado estos punto que son
puntos adherentes por el Ejemplo 2.3.7, estn en f(A) = f(A).
Proposicin 3.4.3. Sean (X, T ) e (Y, T
) espacios topolgicos com-

pactos con la propiedad de Hausdor. Toda f : (X, T ) (Y, T
) continua
es tambin cerrada.
Demostracin. Sea F cerrado en (X, T ), por ser (X, T ) compacto, F es
compacto y usando que f es continua, se tiene que f(F) es compacto en
(Y, T
), que es un espacio de Hausdor y tanto f(F) es cerrado. As f es

cerrada.
Nota 3.4.4. En la demostracin slo se ha usado la compacidad de
(X, T ) y la propiedad de Hausdor de (Y, T
).
Corolario 3.4.5. (Homeomorsmos entre espacios de Hausdor com-
pactos) Toda aplicacin biyectiva y continua, f : (X, T ) (Y, T
) entre
espacios compactos y de Hausdor es un homeomorsmo.
Demostracin. Por la proposicin anterior, f es cerrada, y por hiptesis,
es continua y biyectiva, por tanto, f es un homeomorsmo.
Ejemplo 3.4.6. La circunferencia unidad, S
1
R
2
, es un compacto de
(R
2
, euclidea)
Sea f : ([0, 2], eucldea) (R
2
, eucldea) dada por f(t) = (cos t, sen t).
Figura 3.1: Figure
f es continua pues p
1
f(t) = cos t; p
2
f(t) = sen t y [0, 2] es
compacto. Entonces la circunferencia unidad f([0, 2]) = S
1
es compacto.
Ejemplo 3.4.7. En un espacio mtrico la interseccin arbitraria de com-
pactos es siempre un conjunto compacto. En efecto, sean A
com-
pactos. Por estar en un espacio mtrico, los A
son cerrados (3.3.3), luego
es cerrado y por herencia de compacidad ya que A
que
es compacto, tenemos que
es compacto.
Ejemplo 3.4.8. Sea la sucesin F
1
F
2
. . . de cerrados encaja-
dos, distintos del vaco, en un espacio topolgico con la propiedad de
Hausdor, (X, T ). Si F
1
es compacto, entonces,
i=1
F
i
,= (Teorema de
Cantor).
En efecto, F
n
tiene la PIF pues dado n
1
, . . . , n
k
, F
n
1
F
n
k
=
F
n
0
,= , con n
0
= maxn
1
, . . . n
k
. Todos estn contenidos en F
1
que
es compacto. Luego, por la caractrizacin de compacidad por cerrados,
i=1
F
i
,= . Exactamente esto es lo que ocurre en la construccin del
Conjunto de Cantor en el Ejemplo 2.6.6(c).
Figura 3.2:
3.5. Compacidad en espacios productos. Ca-
racterizacin de la compacidad en los es-
pacios eucldeos
Sean (X
1
, d
1
) . . . (X
n
, d
n
) espacios (seudo)mtricos. Sobre el produc-
to cartesiano X
1
X
2
X
n
podemos considerar las siguientes
seudo(distancias)
taxi
n
=
taxi
n
(d
1
, . . . , d
n
),
max
n
=
max
n
(d
1
, . . . , d
n
) y
euclidea
n
=
euclidea
n
(d
1
, . . . , d
n
), dadas por
taxi
n
((x
1
, . . . , x
n
), (x
1
, . . . , x
n
)) =
n
i=1
d
i
(x
i
, x
i
),
max
n
((x
1
, . . . , x
n
), (x
1
, . . . , x
n
)) = maxd
1
(x
1
, x
1
), . . . , d(x
n
, x
n
), y
euclidea
n
((x
1
, . . . , x
n
), (x
1
, . . . , x
n
)) =
_
n
i=1
d
i
(x
i
, x
i
)
2
, respectivamente.
Obsrvese que si X
1
= X
2
= = X
n
= R y d
1
= d
2
= = d
n
=
eucldea sobre R entonces
taxi
n
= d
taxi
,
max
n
= d
max
y
euclidea
n
= d
euclidea
sobre R
n
. Adems, extendiendo la Nota 1.2.5, se puede comprobar (ejer-
cicio) que las tres generan los mismos conjuntos abiertos. Por tanto, sus
espacios topolgicos subyacentes son el mismo y, como consecuencia, la
compacidad se puede estudiar con cualquiera de estas (seudo)distancias.
Proposicin 3.5.1. Sean (X
1
, d
1
) . . . (X
n
, d
n
) espacios (seudo)mtricos,
y sea cualquiera de las (seudo)distancias
taxi
n
,
max
n
o
euclidea
n
.
Si A
i
X
i
, 1 i n compacto en (X
i
, d
i
), entonces A
1
A
n
es
compacto en (X
1
X
n
, ).
Demostracin. Haremos la demostracin para =
m ax
n
. Es inmediato
comprobar:
max
n
=
max
2
(
max
n1
, d
n
),
por lo que por induccin basta hacer el caso n=2.
Sea ahora G
un recubrimiento por abiertos de A

1
A
2
en (X
1

X
2
,
max
2
). Es decir, A
1
A
2

y cada G
es abierto en (X
1

X
2
,
max
2
).
Para todo (x, y) A
1
A
2
, existe un ndice (x, y) con (x, y)
G
(x,y)
. Como G
(x,y)
es abierto, tenemos que (x, y) > 0 tal que
B
max
2
((x, y), (x, y)) G
(x, y).
Es fcil vericar la siguiente igualdad para todo > 0
B
max
2
((x, y), ) = B
d
1
(x, ) B
d
2
(y, ).
Fijado y, A
1
=
xA
1
x

xA
1
B
d
1
(x, (x, y)). Entonces, por ser
A
1
compacto, un conjunto nito J
y
= x
1
, . . . , x
n
tales que A
1

B
d
1
(x
1
, (x
1
, y))B
d
1
(x
2
, (x
2
, y)) B
d
1
(x
n
, (x
n
, y)). Tomamos
y
=
min(x
1
, y), . . . , (x
n
, y) y consideremos las bolas
B
d
2
(y,
y
) con y A
2
.
Tenemos A
2
=
yA
2
y
yA
2
B
d
2
(y,
y
). Entonces, por ser A
2
com-
pacto, y
1
, . . . , y
k
con A
2
B
d
2
(y
1
,
y
1
) B
d
k
(y
k
,
y
k
).
Armamos que A
1
A
2

1ik, xJy
1
Jy
k
G
(x,y)
, que es una unin
nita de los abiertos G
originales. En efecto sea (x

0
, y
0
) A
1
A
2
cualquiera. Entonces existe k
0
con 1 k
0
k con y
0
B
d
2
(y
k
0
,
y
k
0
).
Ahora, x
0
A
1

xJy
k
0
B
d
1
(x, (x, y
k
0
)) y existe x
J
y
k
0
con x
0

B
d
1
(x
, (x
, y
k
0
)).
Por denicin,
y
k
0
(x
, y
k
0
).
Tenemos (x
0
, y
0
) B
d
1
(x
, (x
, y
k
0
)) B
d
2
(y
k
0
,
y
k
0
) B
d
1
(x
, (x, y
k
0
)
B
d
2
(y
k
0
, (x
, y
k
0
)) = B
max
2
((x
, y
k
0
), (x
, y
k
0
)) G
(x
, y
k
0
) con x
J
y
k
0
y1 k
0
k.
Corolario 3.5.2. El paralelogramo (producto de intervalos) [a
1
, b
1
]
[a
n
, b
n
] es compacto en (R
n
, d
max
) (o equivalentemente (R
n
, d
taxi
) o
(R
n
, d
euclidea
))
Proposicin 3.5.3. (Teorema de Heine-Borel).
A R es compacto en (R
n
, eucldea) si y slo si A es cerrado y acotado.
Demostracin. ) Tenemos que (R
n
,eucldea) es Haussdor y por tanto
A es cerrado (3.3.3) y acotado lo es por 3.1.13.
) Como A es acotado, A est contenido en un paralelogramo J, que es
compacto por 3.5.2. Entonces A es cerrado en un compacto y por tanto
A es compacto por 3.2.3.
Nota 3.5.4. ) Es vlida para todo espacio mtrico.
Nota 3.5.5. Generalizacin a espacios topolgicos: Si (X
1
, T
1
) y (X
2
, T
2
)
espacio topolgico. Se dene sobre X
1
X
2
la topologa producto, T
1
T
2
=
y G X
1
X
2
, tales que para todo (x, y) G existen U y V abiertos
de T
1
y T
2
con (x, y) U V G. Se puede demostrar, con una
demostracin similar a la de 3.5.1 que si A
1
y A
2
son compactos de
(X
1
, T
1
) y (X
2
, T
2
), respectivamente, entonces A
1
A
2
es un compacto
de (X
1
X
2
, T
1
T
2
).
3.6. Compacidad en espacios mtricos
Proposicin 3.6.1. Sea (X, d) espacio mtrico y x
n
n1
X una
sucesin sin subsucesiones convergentes. Entonces:
1. El conjunto A = x
1
, x
2
, x
3
, . . . , x
n
, . . . es innito.
2. El conjunto de puntos de acumulacin de A, A
= , es vaco.
Demostracin.
1. R.A.: Supongamos que A es nito, entonces cierto elemento x
n
0
aparece innitas veces en la sucesin. Por tanto, x
n
0
= x
n
1
= x
n
2
=
= x
n
k
= . . . con n
0
< n
1
< n
2
. . . < n
k
< . . . . Luego existe una
subsucesin constante, y por tanto convergente. Contradiccin!
2. R.A.: Si x
0
A
, entonces por estar en un espacio mtrico, tenemos

que cualquier bola abierta de centro x
0
contiene ininitos puntos
de A: As:
x
n
1
B
d
(x
0
, 1)
x
n
2
B
d
_
x
0
,
1
2
_
con n
2
> n
1
x
n
3
B
d
_
x
0
,
1
3
_
con n
3
> n
2
> n
1
. . .
x
n
k
B
d
_
x
0
,
1
k
_
con n
k
> n
k1
> . . . > n
1
. . .
Es decir, existe una subsucesin x
k
k1
de x
n
n1
convergiendo a
x
0
. En efecto, dado > 0, sea k
0
con
1
k0
< , entonces d(x
n
k
, x
0
) =
1
k
<
1
k0
si k k
0
. Llegamos a contradiccin. Por tanto, A
= .
Luego, A = A A
= A, lo que implica que A es cerrado.

Corolario 3.6.2. (Propiedad de Bolzano-Weierstrass). Si (X, d) es un
espacio mtrico compacto entonces toda sucesin en X posee una sub-
sucesin convergente.
Demostracin. R.A.: Supongamos que x
n
n1
sucesin sin sucesiones
convergentes. Entonces, por la propiedad anterior:
1. A = x
1
, . . . , x
n
, . . . es innito.
2. A
= , lo que implica que todos los puntos de A son aislados. Es

decir, x
n

n
con B
d
(x
n
,
n
) A = x
n
3. A es cerrado y por tanto compacto al ser (X, d) compacto. Como

A

n=1
B
d
(x
n
,
n
), n
1
, . . . , n
k
con A B
d
(x
n
1
,
n
1
)
B
d
(x
n
k
,
n
k
). Luego A = x
n
1
, . . . , x
n
k
; es decir, A es nito, lo que
contradice el apartado (1).
Proposicin 3.6.3. (Teorema de Bolzano-Weierstrass) El recproco tam-
bin es cierto, es decir, un espacio mtrico (X, d) es compacto si y slo
si posee la propiedad de Bolzano-Weierstrass.
Demostracin. El recproco es consecuencia de las dos siguientes proposi-
ciones.
Proposicin 3.6.4. Sea (X, d) espacio mtrico con la propiedad de Bolzano-
Weierstrass. Entonces para cualquier > 0, X se puede cubrir con una
cantidad nita de bolas de radio .
Demostracin. R.A.: Supongamos que
0
tal que X no se cubre con
una cantidad nita de bolas de radio
0
. Entonces tomamos x
1
X
cualquiera:
X ,= B
d
(x
1
,
0
) (en caso contrario, X quedara cubierto con una slo una
bola de radio
0
), entonces x
2
X tal que x
2
, B
d
(x,
0
) (si no, dos
bolas de radio
0
bastaran para cubrir X), luego d(x
1
, x
2
)
0
.
De nuevo:
X ,= B
d
(x
1
,
0
) B
d
(x
2
,
0
), entonces, x
3
X tal que x
3
, B
d
(x
1
,
0
)
B
d
(x
2
,
0
), luego d(x
1
, x
3
)
0
y d(x
2
, x
3
)
0
.
Reiterando el proceso, construimos una sucesin x
n
n1
X tal que
d(x
n
, x
m
)
0
si m n Por la propiedad de Bolzano-Weierstrass,
x
n
k
k1
subsucesin convergiendo a algn x
0
X. Entonces si tomamos
la bola B
d
_
x
0
,

0
2
_
, debe existir k
0
con x
n
k
B
d
_
x
0
,

0
2
_
si k k
0
. En-
tonces, si k, s k
0
,
d(x
n
k
, x
ns
) d(x
n
k
, x
0
) + d(x
ns
, x
0
) <

0
2
+

0
2
=
0
.
Contradiccin.
Proposicin 3.6.5. (Lema de Lebesgue) Sea (X, d) un espacio mtri-
co con la propiedad de Bolzano-Weierstrass, entonces dado cualquier
recubrimiento | = U
de X existe > 0 (llamado nmero de

Lebesgue de |) tal que para cada bola abierta de radio , B
d
(x, ) existe
0
con B
d
(x, ) U
0
Demostracin. R.A.: Supongamos que para > 0, x
X con B
d
(x
, )
G
, , tenemos que
dado
1
= 1, x
1
con B
d
(x
1
,
1
) U
,
dado
2
=
1
2
, x
2
con B
d
(x
2
,
2
) U
,
. . .
dado
n
=
1
n
, x
n
con B
d
(x
n
,
n
) U
, .
. . .
Es decir, hemos construido una sucesin x
n
n1
X que, por la propiedad
de Bolzano-Weierstrass, debe contener una subsucesin x
n
k
k1
que con-
verge a algn x
0
X =
. Entonces
0
con x
0
U
0
. Sea
> 0 tal que B
d
(x
0
, ) U
0
.
Por convergencia, dado

2
, k
0
tal que d(x
0
, x
n
k
) <

2
si k k
0
. Por
tanto, x
0
B
d
_
x
n
k
,

2
_
. Sea k
1
> k
0
con
1
n
k
1
<

2
. Armamos que
B
d
_
x
n
k
1
,
1
n
k
1
_
B
d
(x
0
, ) U
0
, lo que lleva a contradiccin con la
eleccin de los x
n
.
Si y B
d
_
x
n
k
1
,
1
n
k
1
_
, entonces d(x
n
k
, y) <
1
n
k
1
<

2
, y
d(x
0
, y) d(x
0
, y) d(x
0
, x
n
k
) + d(x
n
k
, y) <

2
+

2
= ,
Figura 3.3:
luego, y B
d
(x
0
, ).
Nota 3.6.6. El lema de Lebesgue implica que si A X es cualquier
conjunto con dimetro (A) < , entonces A U
0
para algn
0
.
En efecto, si a A, (A) < implica que A B
d
(a, ) y esta bola est
contenida en algn U
por el lema de Lebesgue.

Demostracin. (Final de la demostracin del teorema de Bolzano-Weierstrass).
Sea X =
con | = U
un recubrimiento por abiertos de

X. Entonces, por el lema de Lebesgue, > 0 tal que x X ex-
iste (x) con B
d
(x, ) U
(x)
, aplicando 3.6.4, x
1
, . . . , x
n
con
X = B
d
(x
1
, ) B
d
(x
n
, ) U
(x
1
)
U
(x
2
)
U
(xn)
, luego
X = U
(x
1
)
U
(x
2
)
U
(xn)
. Por tanto (X, d) es compacto.
Denicin 3.6.7. Sea f : (X, d) (Y, d
) entre espacios (seudo)mtricos.

Decimos que f es uniformemente continua si dado > 0, > 0 tal que
si d(x, x
) < , entonces d
(f(x), f(x
)) < .
Proposicin 3.6.8. (Teorema de Heine). Sea f : (X, d) (Y, d
) con
(X, d) espacio mtrico compacto. Entonces, si f es continua, f es uni-
formemente continua.
Demostracin. Tomemos > 0. Para cada y Y consideramos la bola
abierta B
d
_
y,

2
_
. Tenemos Y =
yY
B
d
_
y,

2
_
y por continuidad,
f
1
_
B
d
_
y,

2
__
es abierto de (X, d) y X =
yY
f
1
_
B
d
_
y,

2
__
.
Por tanto, | =
_
f
1
_
B
d
_
y,

2
___
yY
es un recubrimiento por abiertos
de X.
Aplicando el lema de Lebesgue, > 0 tal que si (A) < entonces,
A est contenido en algn abierto de |. Si x, x
X con d(x, x
) < ,
entonces
(x, x
) < , luego y
0
Y con x, x
f
1
_
B
d
_
y
0
,

2
__
.
As que f(x), f(x
) B
d
_
y
0
,

2
_
. Por tanto,
d
(f(x), f(x
)) < d
(f(x), y
0
) + d
(y
0
, f(x
)) <

2
+

2
= .
Ejemplo 3.6.9. Hay espacios mtricos con conjuntos cerrados y acota-
dos que no son compactos.
Sea X = f : [0, 1] [0, 1] continuas y d = d
la distancia d
(f, g) =
sup
x[0,1]
[f(x)g(x)[ = max
x[0,1]
[f(x)g(x)[. En (X, d) considere-
mos la bola cerrada A = B
d
[, ] con = constante 0 y arbitrario pero
jo. A es cerrado y acotado pero no es compacto. Veamos esto ultimo:
R.A.: Sea f
n
n1
la sucesin en B
d
[, ] indicada en la gura. Si A
fuese compacto, por la propiedad de Bolzano-Weierstrass, f
n
k
k1
sub-
sucesin convergiendo a algn f
0
A. Luego dado > 0, k
0
con
d(f
n
k
, f
0
) < , k k
0
. Es decir, [f
n
(x) f
0
(x)[ < , x [0, 1].
Si x ,= 0, sea k con
1
n
k
< x y k k
0
. Lo que implica que f
n
(x) = 0 y
[f
0
(x)[ < , > 0. Por tanto, f
0
(x) = 0, y por ser f
0
continua tene-
mos que f
0
(0) = 0, luego f
0
= . Pero d(f
n
k
, f
0
) = d(f
n
k
, ) = (jo).
Contradiccin.
Figura 3.4:
3.7. Compacidad y completitud
Denicin 3.7.1. Sea (X, d) un espacio (seudo)mtrico. Una sucesin
x
n
n1
X se dice de Cauchy si dado > 0, n
0
con d(x
n
, x
n
) <
para todo n, n
n
0
.
Proposicin 3.7.2. Toda sucesin de Cauchy est acotada.
Demostracin. Sea (X, d) un espacio (seudo)mtrico y x
n
n1
X una
sucesin de Cauchy. Entonces, existe n
0
tal que para todo n, m n
0
d(x
n
, x
m
) < 1. Si r > mx 1, d(x
n
0
, x
i
); 1 i n
0
1, tenemos que
d(x
n
0
, x
n
) < r para todo n 1 y la sucesin est acotada.
Proposicin 3.7.3. Toda sucesin convergente es de Cauchy.
Demostracin. Si x
n
n1
converge a x
0
en (X, d) entonces dado

2
existe
n
0
tal que d(x
n
, x
0
) <

2
si n n
0
, por lo que
d(x
n
, x
n
) d(x
n
, x
0
) + d(x
0
, x
n
) <

2
+

2
=
si n, n
n
0
.
Denicin 3.7.4. Un espacio (seudo)mtrico (X, d) se dice completo si
toda sucesin de Cauchy en (X, d) es convergente.
Proposicin 3.7.5. Todo espacio mtrico compacto (X, d) es completo.
Demostracin. Sea x
n
n1
X de Cauchy. Por la propiedad de Bolazano-
Weierstrass, existe una subsucesin x
n
k
k1
convergente a algn x
0
X.
Armamos que x
n
n1
converge a x
0
. En efecto, dado > 0 :
Por Cauchy, n
0
con d(x
n
, x
n
) <

2
si n, n
n
0
Por convergencia, k
0
con d(x
n
k
, x
0
) <

2
si k k
0
.
Sea n
1
= maxn
0
, n
k
0
, entonces si n n
1
y n
k
n
1
,
d(x
n
, x
0
) d(x
n
, x
n
k
) +d(x
n
k
, x
0
) <

2
+

2
= . Luego x
n
n1
converge
a x
0
.
Corolario 3.7.6. Los espacios eucldeos (R
n
, eucldea) son completos.
Demostracin. Sea x
n
n1
R
n
una sucesin de Cauchy. Por 3.7.2
tenemos que esta sucesn est acotada y por tanto existe r tal que
x
n
n1
B
de
[x
1
, r] donde d
e
denota la distancia eucldea. Como las
bolas eucldeas cerradas son compactos, se sigue de 3.7.5 que la sucesin
x
n
n1
converge en B
de
[x
1
, r] y por tanto en (R
n
, eucldea).
3.8. Compacidad local
Denicin 3.8.1. Un espacio topolgico (X, T ) se dice localmente com-
pacto si x X y cualquier entorno N de x existe otro entorno N
de x
con N
N y N
compacto.
Proposicin 3.8.2. Sea (X, d) un espacio (seudo)mtrico. Son equi-
valentes:
1. (X, d) es localmente compacto.
2. Dado x X existe una bola cerrada B
d
[x, ] que es compacta.
3. Todo x X posee un entorno N en (X, T ) que es compacto.
Demostracin. 1) 2) : Por hiptesis, como X es entorno de cualquier
x X existe N entorno compacto de x, luego > 0 con B
d
(x, ) N.
Si =

2
, B
d
[x, ] B
d
(x, ) N, y como B
d
[x, ] es cerrado y N es
compacto, entonces B
d
[x, ] es compacto.
2) 3) : Es trivial tomando N = B
d
[x, ].
3 1 : Sea M cualquier entorno de de x. Entonces x intM y existe
> 0 con B
d
(x, ) M. Dado el entorno compacto N proporcionado por
3), tambin existe > 0 con B
d
(x, ) N. Sea < min, , entonces
N
= B
d
[x, ] B
d
(x, ) M es un entorno de x y como B
d
[x, ) N
,
por tanto, N
es entorno de x. Por ltimo, como N
B(x, ) N es un
cerrado contenido en el conjunto compacto N, N
es compacto.
Ejemplo 3.8.3. Los espacios eucldeos (R
n
, eucldea) son localmente
compactos (es ms, en ellos toda bola cerrada es compacta).
Ejemplo 3.8.4. ((0, 1), eucldea) es localmente compacto ya que cumple
la segunda condicin del teorema anterior. Sin embargo no todas las
bolas cerradas son compactas ya que por ejemplo B
d
[
1
2
, 1] = (0, 1) no es
compacto.
Ejemplo 3.8.5. El espacio de funciones continuas (X, d) de 3.6.9 no es
localmente compacto en = constante 0.
Ejemplo 3.8.6. (Q, d = eucldea) no es localmente compacto. Si lo
fuese, dado x Q, > 0 tal que B
d
[x, ] = [x , x + ] Q debe ser
compacto. Pero se serlo, lo sera tambin en (R, eucldea) y all no es
cerrado. Por tanto, B
d
[x, ] no es compacto.
Proposicin 3.8.7. Sea (X, d) un espacio (seudo)mtrico localmente
compacto.
1. Si A X es cerrado, (A, d[
A
) es localmente compacto.
2. Si B X es cerrado, (B, d[
B
Demostracin.
1. Sea a A. Como A es abierto, A es entorno de a. Como (X, d)
es localmente compacto, N
A, N
entorno compacto de x en
(X, d).
Por ser N
entorno de x, > 0 tal que B

d
[a, ] N
A. Por
tanto, B
d
[
A
[a, ] = B
d
[a, ] es compacto. As obtenemos que (A, d
|A
)
es localmente compacto.
2. Sea b B. Como (X, d) es localmente compacto, > 0 con B
d
[b, ]
es compacto. Adems B
d
[
B
[b, ] = B B
d
[b, ] es cerrado de la
topologa relativa de B
d
[b, ] que es compacto. Luego B
d
[
B
[b, ] es
compacto. Por tanto, (B, d[
B
Captulo 4
Conexin
4.1. Conexin por caminos
Denicin 4.1.1. Dado (X, T ) un espacio topolgico, un camino entre
dos elementos x, y X es una aplicacin continua : ([0, 1], eucldea)
(X, T ) tal que (0) = x y (1) = y.
Denicin 4.1.2. Un espacio topolgico (X, T ) se dice conexo por caminos
si x, y X existe un camino entre x e y. Ms generalmente, A X se
dice conexo por caminos si lo es (A, T /
A
).
Veamos los primeros ejemplos.
Ejemplo 4.1.3. 1. Sea Aes un intervalo de cualquier tipo en (R,eucldea),
entonces A es conexo por caminos. En efecto, dados x, y A con
x y, entonces, [x, y] A. Sea : ([0, 1], eucldea) (A, eucldea)
denida por (t) = (1 t)x + ty [x, y] A, es continua,
(0) = x y (1) = y.
2. Si (V, | . |) es un espacio vectorial normado, tal que d
.
(x, y) =|
x y |. Entonces (V, d
.
) es conexo por caminos.
En efecto, dados x, y V , sea : ([0, 1], eucldea) (V, d
.
) con
(t) = (1 t)x + ty V , (0) = x y (1) = y. Veamos si es
continua:
Dado > 0 bastar tomar un

x+y
para satisfacer el criterio
de continuidad. En efecto,
| (t)(t
) |=| (1t)x+ty(1t
)xt
y |=| (tt
)x+(t
t)y |
[t t
[ | x | +[t t
[ | y |= [t t
[(| x | + | y |).
61
CAPTULO 4. CONEXIN 62
La siguiente proposicin muestra que todos los espacios conexos por
caminos tienen slo al espacio total y el vaco como conjuntos simultnea-
menta abiertos y cerrados.
Proposicin 4.1.4. Si (X, T ) es conexo por caminos, entonces los ni-
cos conjuntos abiertos y cerrados de (X, T ) son X y .
Demostracin. Razonamos por R.A. y suponemos que A X es un
conjunto abierto y cerrado con A ,= X, . Sea x
0
A (aqu usamos que
A ,= ) y x
1
/ A (aqu aplicamos que A ,= X). Por hiptesis existe
un camino : ([0, 1], eucldea) (X, T ) con (0) = x
1
y (1) = x
2
.
Como es continua el conjunto
1
(A) es tanto abierto como cerrado de
([0, 1], eucldea). Ahora bien, A no es el conjunto vaco pues 0
1
(A)
y tampoco es todo [0, 1] pues 1 /
1
(A). Esto contradice la Proposicin
2.7.6.
Para los intervalos de Rel recproco de la proposicin anterior tambin
es cierto y ello nos permite determinar todos los conjuntos conexos por
caminos de la recta eucldea. Explcitamente,
Proposicin 4.1.5. (Caracterizacin de los conjuntos conexos por caminos
de la recta eucldea)
En (R,eucldea), las siguientes propiedades son equivalentes para cualquier
A R.
1. A es conexo por caminos.
2. Los nicos conjuntos que son a la vez abiertos y cerrados en (A,eucldea)
son A y .
3. Si a b con a, b A, entonces [a, b] A.
4. A es un intervalo.
Demostracin. (1) (2) es un caso particular de la Proposicin 4.1.4.
Para probar la implicacin (2)(3) se razona por R.A. Si existe a < t < b
con t / A. Entonces A(, t) = A(, t] sera un conjunto abierto
y cerrado en (A; eucldea), lo que contradice (2).
Para demostrar (3) (4)veremos las distintas posibilidades que tiene
el conjunto A respecto a su supremo e nmo.
1. Supongamos que A no tiene ni supremo ni nmo. En este caso
dado n N existen a
n
, b
n
A tales que a
n
< n y b
n
> n.
Entonces [n, n] [a
n
, b
n
]. Por (3), [a
n
, b
n
] A, para todo n.
Ahora R =
_
n=1
[n, n]
_
n=1
[a
n
, b
n
] A R entonces A = R.
2. Supongamos que A tiene supremo pero no nmo. Probaremos slo
el caso en el que A tiene mximo. El caso en el que el supremo no
sea mximo es anlogo al caso 3 que sigue (se deja como ejercicio).
Sea b = max A. Como nf A n 1 a
n
A con a
n
n.
Por (3) se tiene que [a
n
, b] A. Entonces
(, b] =
_
n=1
[n, b]
_
n=1
[a
n
, b] A (, b] A = (, b]
3. Supongamos que A tiene nmo pero no supremo. Probaremos slo
el caso en el que A no tiene mnimo.
Sea a = nf A, con a , A . Entonces se tiene n 1 b
n
A con
b
n
n y a
n
A con a
n
a +
1
n
. Por (3) se sigue [a
n
, n] A
_
n=1
[a
n
, n] A. Tambin [a +
1
n
, n] [a
n
, n]
_
n=1
[a +
1
n
, n] A.
Ahora
_
n=1
[a +
1
n
, n] = (a, +) A. Adems A (a, ) por
a =nf A y a , A. As A = (a, ).
Si el nmo es mnimo se deja como ejercicio. La demostracin es
anloga al caso 2.
4. Supongamos que A tiene supremo e nmo. Probaremos primero el
caso en el que existe mximo pero no mnimo. Sean b = max A y
a =nf A con a , A. Igual que en el caso anterior, n 1, a
n
A
con a
n
a +
1
n
.
Entonces de (3) concluimos [a
n
, b] A. Luego
(a, b] =
_
n=1
[a +
1
n
, b]
_
n=1
[a
n
, b] A (a, b]
De esta forma A = (a, b].
Veamos ahora el caso en el que A tiene mnimo y mximo.
Sea a = mn A y b = max B. Entonces A [a, b] A. Luego,
[a, b] = A
Por ltimo veamos si A no tiene mximo ni mnimo.
Sea a =nf A y b = sup A ninguno de ellos perteneciente a A. En-
tonces n 1, a
n
A y b
n
A con a
n
a +
1
n
y b
n
b
1
n
.
Por (3) se tiene [a
n
, b
n
] A
Finalmente,
[a +
1
n
, b
1
n
] [a
n
, b
n
]
(a, b) =
n=1
[a +
1
n
, b
1
n
]
n=1
[a
n
, b
n
] A (a, b)
Por tanto, A = (a, b).
No probaremos el caso en el que A no tiene mximo pero s mnimo
que dejaremos como ejercicio.
Finalmente (4)(1) es inmediata pues ya sabemos que todo intervalo
es conexo por caminos.
) continua. Si A X es
conexo por caminos f(A) tambin.
Consecuencia: Si f es homeomorsmo y (X, T ) es conexo por caminos,
entonces (Y, T
) tambin lo es.
Demostracin. Sea

f : (A, T /
A
) (f(A), T
/
f(A)
) la restriccin sobre la
imagen. Como f es continua,

f tambin lo es.
Dados p, q f(A) entonces existe x, y A con f(x) = p y f(y) = q.
Como (A, T /
A
) es conexo por caminos : ([0, 1], eucldea) (A, T /
A
)
continua con (0) = x y (1) = y. Sea : ([0, 1], eucldea) (f(A), T
/
f(A)
),
la composicin =

f para la cual
(0) =

f (0) =

f(x) = p
(1) =

f (1) =

f(y) = q
_
lo que demuestra que f(A) es conexo por caminos.
1
, d
1
) y (X
2
, d
2
) e. (seudo)mtricos conexos
por caminos. Entonces (X
1
X
2
,
m ax
2
) es conexo por caminos, donde
Figura 4.1:
m ax
2
(d
1
, d
2
)((x
1
, x
2
), (x
1
, x
2
)) = maxd
1
(x
1
, x
1
), d
2
(x
2
, x
2
)
Demostracin. Sean
1
: ([0, 1], eucldea) (X
1
, d
1
) un camino de x
1
a
x
1
y
2
: ([0, 1], eucldea) (X
2
, d
2
) un camino de x
2
a x
2
. Denimos
: ([0, 1], eucldea) (X
1
X
2
,
m ax
2
), por (t) = (
1
(t),
2
(t)). Es claro
que (0) = (
1
(0),
2
(0) = (x
1
, x
2
) y (1) = (
1
(1),
2
(1) = (x
1
, x
2
).
Probemos la continuidad de . Para ello sea t y > 0, veamos si existe
tal que si [ t t
[< entonces
m ax
2
((t), (t
)) = maxd
1
(
1
(t),
1
(t
)), d
2
(
2
(t),
2
(t
)) < .
Se tiene:
(1) continua
1
con d
1
(
1
(t),
1
(t
)) < si [ t t
[<
1
(2) continua
2
con d
2
(
2
(t),
2
(t
)) < si [ t t
[<
2
Sea = mn
1
,
2
, entonces
m ax
2
((t), (t
)) < .
Nota 4.1.8. La proposicin anterior es vlida tambin para las (seu-
do)distancias
taxi
2
y
euclidea
2
; ver Seccin 3.5. Ms generalmente, la proposi-
cin es vlida para (X
1
X
2
, T
1
T
2
) donde T
1
T
2
es la topologa producto
en 3.5.5. Igualmente se puede generalizar a un nmero cualquiera de fac-
tores (X
1
, d
1
), ..., (X
n
, d
n
) con n 2.
Proposicin 4.1.9. La relacin estar conectados por un camino en
(X, T ).
es
de equivalencia. La denotaremos por .
Demostracin. Veamos las condiciones de relacin de equivalencia:
1. Reexiva: x x por : ([0, 1], eucldea) (X, T ) dada por (t) =
x t.
2. Simtrica: x y camino con (0) = x y (1) = y.
Sea : ([0, 1], eucldea) ([0, 1], eucldea) la aplicacin contin-
ua (t) = 1 t. Tambin ser continua, por tanto, = :
([0, 1], eucldea) (X, T ) con (0) = (0) = (1) = y y
(1) = (1) = (0) = x.
Luego y x.
3. Transitiva: x y con (0) = x y (1) = y. Por otro lado,
y z con (0) = y y (1) = z.
Figura 4.2:
Sea : [0,
1
2
] [0, 1] tal que (t) = 2(t). De igual forma, sea
: [
1
2
, 1] [0, 1] tal que (t) = 2t 1. Ambas aplicaciones son
obviamente continuas.
Sean = : [0,
1
2
] X con (t) = (t) = (2t) y

=
: [
1
2
] X con

(t) = (t) = (2t 1).
Entonces se dene : [0, 1] X por
(t) =
_
(t) = (2t) si t
1
2
(t) = (2t 1) si t
1
2
est bien denida por (
1
2
) = (1) = (0) = y. Comprobemos
que es continua.
Sea F cerrado de (X, T ) se tiene
1
(F) =
1
(F)
1
(F), donde,
por continuidad,
1
(F) = H [0,
1
2
], con H cerrado de [0, 1]. Y
por tanto
1
(F) es cerrado de [0,1]. Anlogamente

1
(F) es cer-
rado de [0, 1]. Por tanto, se deduce que
1
(F) es cerrado de [0, 1].
Finalmente,
(0) = (0) = (0) = x
(1) =

(1) = (1) = z
_
lo que demuestra que x z.
Proposicin 4.1.10. Sea C
familia de conexos por caminos en

(X, T ). Supongamos que
0
tal que C
0
,= . Entonces
C
0
=
_

Demostracin. Sean x, x
C
0
, entonces x C
para algn y
x
para algn
.
Como C
0
,= entonces x
0
C
0
. Luego x se conecta con x
0
por un camino en C
C
0
.
Igual existe x
0
C
0
, luego x
0
y x
se conectan por un camino en

C
C
0
.
Figura 4.3:
Adems, C
0
conexo por caminos implica que x
0
y x
0
se conectan por
un camino en C
0
C
0
Aplicamos la propiedad transitiva de 4.1.9 y obtenemos que x y x
se
conectan por un camino en C
0
; es decir, C
0
Proposicin 4.1.11. (Variante 1) Supongamos que la familia en 4.1.10
cumple ahora que C
,= ,
; en particular si
,= .
Entonces C sigue siendo conexo por caminos.
Demostracin. La demostracin es anloga a la anterior, tomando como
0
cualquier .
Proposicin 4.1.12. (Variante 2) Sean C
1
, C
2
, ..., C
n
una sucesin de
subconjuntos conexos por caminos de algn espacio topolgico (X, T ) tal
que C
i
C
i+1
,= i 1. Entonces C =
_
n=1
C
n
Figura 4.4:
Demostracin. Sea
D
1
= C
1
D
2
= C
1
C
2
es conexo por caminos por 4.1.11.
D
3
= C
1
C
2
C
3
= D
2
C
3
es conexo por caminos ya que D
2
es conexo
por caminos y D
2
C
3
,=
.
.
.
D
n
=
n
_
i=1
C
i
= D
n1
C
n
es conexo por caminos pues D
n1
es conexo
por caminos y D
n1
C
n
,= .
Tenemos que C =
_
n=1
D
n
. Ahora bien, los D
i
son conexos por caminos y
n=1
D
n
= D
1
, y de 4.1.11 se sigue que C es conexo por caminos.
Terminamos esta seccin con algunos ejemplos de espacios bien cono-
cidos que son conexos por caminos.
Ejemplo 4.1.13. 1. Cualquier paralelogramo P = J
1
J
2
...J
n
en
(R
n
,eucldea) con J
i
un intervalo (en particular R
n
con J
i
= R i
n) es conexo por caminos. En efecto, por 4.1.3(1) P es conexo en
el espacio mtrico (R
n
,
max
) que tiene el mismo espacio topolgico
subyacente que la distancia eucldea sobre R
n
.
2. El crculo unidad C = (x, y) R; x
2
+ y
2
1 es conexo por
caminos ya todo punto se puede unir al origen (de hecho C es un
conjunto convexo).
3. La circunferencia unidad S
1
en (R
2
,eucldea) es conexa or caminos.
Basta tomar f : ([0, 2], eucldea) (R
2
, eucldea) dada por f(t) =
(cos t, sen t). f es continua y [0, 2] conexo por caminos, por tanto
tambin lo es f([0, 2]) = S
1
.
4. La esfera unidad S
2
R
3
es conexa por caminos en (R
3
,eucldea).
Para ello consideramos los hemisferios E
2
+
= (x, y, z) S
2
; z 0
Figura 4.5:
y E
2
= (x, y, z) S
2
; z 0 y si B
2
es el disco unidad de R
2
denimos p : S
2
B
2
por p(x, y, z) = (x, y, 0). Obsrvese que la
restriccin de p a E
2
+
es un homeomorsmo p
+
. Anlogamente los
es la restriccin a E
2
. Sabemos que el disco unidad es conexo por

caminos. Se tiene que E
2
+
y E
2
son conexos por caminos y por tanto

lo son E
2
+
y E
2
. Adems los hemisferios se cortan en el ecuador.

Por tanto, la esfera unidad es conexa por caminos.
Figura 4.6:
5. El cilindro C en (R
3
,eucldea) es conexo por caminos. Ntese que
C = S
1
R que es conexo por caminos por serlo S
1
y R.
Figura 4.7:
4.2. Componentes conexas por caminos. Conex-
in local por caminos
Denicin 4.2.1. Sea (X, T ) un espacio topolgico. Se llama compo-
nente conexa por caminos de x X al mayor conexo por caminos C
x
X
con x C
x
.
Lema 4.2.2. C
x
existe.
Demostracin. Sea ( = C X; x Cy es conexo por caminos. La
familia ( , = no es vaca pues x (.
Ahora, por la variante anterior, como x
C C
C ,= , entonces x
_
C C
C = D es conexo por caminos. Adems, si C es conexo por caminos
y x C, por denicin se tiene que C (, luego C D y, por tanto, D es
el mayor entre todos los conjuntos que contienen a x; es decir C
x
= D.
Proposicin 4.2.3. C
x
coincide con la clase de equivalencia de x re-
specto a la relacin estar conectado por un camino.
Demostracin. Sea Z esa clase de equivalencia; esto es, Z = y X;
existe un camino en X, entre x e y. Veamos Z = C
x
.
Comenzamos probando C
x
Z. Sea y C
x
, entonces : [0, 1] C
x

X con (0) = x y (1) = y. Luego, es un camino en X y, por tanto,
y Z y C
x
Z.
Para ver la otra inclusin sea z Z, entonces existe un camino :
[0, 1] X con (0) = x y (1) = z. Tenemos que A = ([0, 1]) es
conexo por caminos por la continuidad de y la conexin por caminos
de [0, 1]. Como x, z A entonces z A C
x
y hemos demostrado
Z C
x
.
Proposicin 4.2.4. (Propiedades de componentes conexas por caminos)
Sea (X, T ) un espacio topolgico. Se cumplen:
1. x C
x
.
2. C
x
3. C
x
es la clase de x por la relacin estar conectado por un camino
en (X, T )".
4. C
x
C
y
,= C
x
= C
y
. Es decir, las componentes conexas por
caminos forman una particin de X.
Denicin 4.2.5. Un espacio topolgico (X, T ) se dice localmente conexo
por caminos si dado x X y cualquier entorno de N de x, existe otro
entorno N
de x con N
N y N

Proposicin 4.2.6. Si (X, T ) es localmente conexo por caminos, la com-
ponente conexa por caminos (C
x
) es abierto y cerrado x X.
Demostracin. Probemos que es abierto.
Sea y C
x
y C
y
C
x
C
x
= C
y
. Sea N = X, por hiptesis existe
N
X entorno de y con N
conexo por caminos. En particular y

intN
y N
. Como N
es conexo por caminos, necesariamente

N
C
y
y intN
intC
y
= intC
x
. Luego, y intC
x
C
x

intC
x
C
x
= intC
x
C
x
es abierto.
Veamos que C
x
es cerrado.
Sea y C
x
entonces para el entorno N
anterior y intN
(intN
)
C
x
,= N
C
x
,= C
x
N

Adems, C
x
C
x
N
y por denicin de componente C

x
= C
x
N
C
x
y C
x
luego, C
x
C
x
C
x
= C
x
C
x
es cerrado.
Proposicin 4.2.7. (Invarianza del nmero de componentes conexas por
caminos)
Sea f : (X, T ) (Y, T
) un homeomorsmo. Si C
x
es la componente
conexa por caminos de x, entonces f(C
x
) lo es de f(x).
Consecuencia: f induce una biyeccin entre las familias de componentes
conexas por caminos de (X, T ) y de (Y, T
).
Demostracin. Como f es continua, entonces f(C
x
) es conexo por caminos
y f(x) f(C
x
). Si D
f(x)
es la componente de f(x) en (Y, T
) se tiene que
f(C
x
) D
f(x)
. Como f
1
es continua, entonces f
1
(D
f(x)
) es tambin
conexo por caminos y x = f
1
(f(x)) f
1
(D
f(x)
). Luego, por denicin
de componente conexa por caminos f
1
(D
f(x)
) C
x
D
f(x)
f(C
x
)
y, por tanto, f(C
x
) = D
f(x)
.
Demostracin. (Consecuencia)
Sea Comp
X
y Comp
Y
las familias de componentes conexas por caminos
de (X, T ) e (Y, T
), respectivamente. Denimos
: Comp
X
Comp
Y
C
x
f(C
x
) = D
f(x)
es biyectiva con inversa
1
: Comp
Y
Comp
X
D
y
f
1
(D
y
) = C
f
1
(y)
En efecto, se tiene:
1
(C
x
) =
1
(D
f(x)
) = f
1
(D
f(x)
) = C
f
1
(f(x))

1
(D
y
) = (f
1
(D
y
)) = (C
f
1
(y)
) = f(C
f
1
(y)
) = D
f(f
1
(y))
= D
y
Ejemplo 4.2.8. Veamos algunos ejemplos:
1. Los espacios eucldeos (R
n
,eucldea) son conexos por caminos y
localmente conexos por caminos.
(R
n
,eucldea) viene del espacio normado (R
n
, | |
euclidea
) y los
espacios normados son todos conexos por caminos.
Otra forma de razonarlo sera:
(R
n
, eucldea) = (R
n
,
euclidea
n
= producto n veces de (R,eucldea)
que es conexo por caminos.
Un cubo (= producto de intervalos) es conexo por caminos y en-
torno de su centro x (arbitrariamente pequeo) en (R
n
,eucldea).
Entonces (R
n
,eucldea) es localmente conexo por caminos.
2. S
1
en el plano eucldeo es conexo y localmente conexo por caminos.
Anlogamente el disco unidad.
3. Un espacio conexo por caminos que no es localmente conexo por
caminos es el siguiente subespacio del plano eucldeo.
Figura 4.8:
Figura 4.9:
X = (OY ) (OX)
_
n=1
A
n
, A
n
= (x, y); x =
1
n
.
OX, OY, A
n
son conexos por caminos y A
n
OX ,= y OXOY ,=
. Luego, X es conexo por caminos. Para ver que no es localmente
conexo por camimos, suponemos por R.A. que s lo es. Entonces
dado Sea p = (0, y) OY con y ,= 0. Tomamos B
d
(p, r) con
r < d(p, OX), d = eucldea[X y N B
d
(p, r) entorno conexo
por caminos de p.
Como N es entorno de p, existe > 0 tal que B
d
(p, ) N. Adems
p = lmp
n
con p
n
Z
n
y existe n
0
con p
n
B
d
(p, ) N si n n
0
.
Sea t con
1
n
0
+1
< t <
1
n
0
. Entonces, no podemos encontrar un
camino de p
n
0
a p
n
0
+1
dentro de N, lo que es una contradiccin.
4. El siguiente subespacio del plano eucldeo no es conexo por caminos
(pero tiene la propiedad de que los nicos conjuntos abiertos y
cerrados simultneamente son el espacio total y el conjunto vaco).
Sea X = (
_
n=0
A
n
) (
_
n=1
B
n
) donde A
0
= OY , y n 1
Figura 4.10:
Figura 4.11:
A
n
= (x, y) : x =
1
n
y B
n
= (x, y) : y = n;
1
n+1
x
1
n
.
Consideramos (X, eucldea).
Cada H
i
= A
i
B
i
A
i+1
i 1 es unin de tres conexos (por lo
que H
i
es conexo) y uno corta a los otros dos. Entonces se tiene:
H
1
H
2
= A
2
H
1
H
2
es conexo.
(H
1
H
2
) H
3
= A
3
H
1
H
2
H
3
es conexo.
.
.
.
Por tanto, H =
_
1
H
n
es conexo por caminos. Sin embargo, X no
R.A: supongamos : ([0, 1], eucldea) (X, eucldea) tal que
(0) = p H y (1) = q A
0
.
Figura 4.12:
El conjunto ([0, 1]) es conexo y compacto por ser imagen continua
de un conexo y compacto, entonces es cerrado y acotado. Luego,
R
2
cuadrado centrado en el origen con ([0, 1]) . Se tiene:
n
0
tal que n n
0
B
n
= ([0, 1]) B
n
= n n
0
.
Sea R = (x, y); x = con
1
n
0
+1
< <
1
n
0
. Entonces U =
(x, y); x < y V = (x, y); y > son abiertos de (R
2
,eucldea)
disjuntos. Adems, p V y q U. Como B
n
0
([0, 1]) = , ten-
emos que no existe un camino en ([0, 1]) entre p y q, pero esto
contradice que ([0, 1]) es conexo por caminos.
A pesar de no ser conexo por caminos, este espacio no tiene otros
conjuntos abiertos y cerrados simultneamente ms que X y . En
efecto, sea Z X un conjunto no vaco a la vez abierto y cerrado
de (X, eucldea). Si Z (X A
0
) = Z A
0
,= , entonces Z = X;
en efecto, Z A
0
sera un conjunto abierto y cerrado (,= ) en la
topologa restriccin de XA
0
que es conexo por caminos. Entonces
Z A
0
= X A
0
; luego X A
0
Z. Adems X A
0
= X, por
lo que al ser Z cerrado X = X A
0
Z = Z; es decir Z = X.
Observemos que el caso Z A
0
= no se puede dar ya que si as
fuese Z A
0
y como Z es tambin abierto y los puntos de A
0
son
adherentes a XA
0
, entonces se seguira ZA
0
= Z(XA
0
) ,= .
Nota 4.2.9. Algunas observaciones:
1. No siempre la clausura de un conexo por caminos es conexo por
caminos. En efecto, en el ejercicio anterior H es conexo por caminos
pero X = H no lo es.
2. No siempre las componentes conexas por caminos son cerradas.En
el ejemplo anterior X tiene dos componentes conexas por caminos
H y A
0
donde A
0
es cerrada pero H no, pues H = X ,= H.
4.3. Puntos de Corte
Denicin 4.3.1. Sea (X, T ) un espacio topolgico. Un punto x X se
dice un punto de corte de (X, T ) si X x no es conexo por caminos.
Al nmero de componentes conexas por caminos de X x se le llama
orden de corte de x.
1. En (R
2
, eucldea) ningn x R
2
es punto de corte.
2. En ([0, 1],eucldea), x (a, b) x es punto de corte de [a, b] de orden
2 mientras que a y b no son de corte.
3. En (S
1
,eucldea) ningn x S
1
es de corte.
4. En (R,eucldea) todo punto x R es de corte de orden 2.
Denicin 4.3.3. Sea (X, T ) un espacio topolgico. Un punto x X se
dice un punto de corte local de orden n de (X, T ) si para todo entorno N
de x existe otro N
N tal que N
x tiene n componentes conexas

por caminos.
Ejemplo 4.3.4. Observemos el dibujo:
y es punto de corte local de orden 3 pero no es de corte.
z es punto de corte local de orden 4 pero no es de corte.
x es punto de corte local de orden 2 pero no es de corte.
Proposicin 4.3.5. (Invarianza de los puntos de corte)
Sea f : (X, T ) (Y, T
) un homeomorsmo:
a) x es punto de corte de orden n de (X, T ) si y slo si f(x) lo es de
(Y, T
).
b) x es punto de corte local de orden n de (X, T ) si y slo si f(x) lo es
de (Y, T
).
Demostracin. a) Si f es homeomorsmo lo es su restriccin sobre la
imagen

f : (X x, T /
X{x}
) (Y f(x), T
/
Y {f(x)}
) con inversa,
la restriccin sobre la imagen de f
1
f
1
= (Y f(x), T
/
Y {f(x)}
) (X x, T /
X{x}
)
De aqu obtenemos que el nmero de componentes conexas por caminos
de X x coincide con el de Y f(x).
b) Si N es un entorno de f(x) entonces x f
1
(intN) f
1
(N) donde
f
1
(intN) es abierto por la continuidad de f y por tanto f
1
(N) es
entorno de x en (X, T ). Por hiptesis existe W
entorno de x con W
f
1
(N) y tal que W
x tiene n componentes conexas por caminos.

Entonces la restriccin de f
f : (W
x, T [
W
{x}
) (f(W
) f(x), T [
f(W
){f(x)}
)
es un homeomorsmo y as f(W
) f(x) tiene n componentes conexas

por caminos. Slo queda comprobar que f(W
) es entorno de f(x) pues

obviamente f(W
) N. En efecto, como f es homeomorsmo f es abier-

ta y as f(intW
) es abierto. Como f(x) f(intW
) f(W
) se sigue
que f(W
) es entorno de f(x).
4.4. La conexin topolgica. Denicin y primeras
propiedades
Recordemos que la recta eucdea y todos los espacios conexos por
caminos tienen la propiedad de que la familia de los conjuntos abiertos
y cerrados a la vez en cualquiera de ellos se reduce al espacio total y
el conjunto vaco. Por tanto, esta propiedad generaliza la conexin por
caminos y vamos ahora a estudiarla con ms detalle en esta seccin.
Comenzamos probando que es equivalente a la siguiente propiedad que
llamaremos conexin topolgica.
Denicin 4.4.1. Un espacio topolgico (X, T ) se dice disconexo si
existen dos abiertos U y V de (X, T ), distintos del vaco tales que UV =
y X = U V . En caso contrario se dir que es topolgicamente conexo
o, por abreviar, conexo.
En general, un subconjunto A X se dice conexo en (X, T ) si (A, T /
A
)
es conexo.
Proposicin 4.4.2. Un espacio topolgico (X, T ) es conexo si y slo si
los nicos conjuntos que son abiertos y cerrados a la vez son y X.
Demostracin. Supongamos que existe un conjunto A ,= , X, que es
abierto y cerrado. Entonces X A no es ni el vaco ni el total pero es
abierto y cerrado. Se tiene entonces X = (X A) A con A y X A
abiertos distintos del vaco y (XA)A = . Luego (X, T ) es disconexo,
llegando as a una contradiccin.
Recprocamente, si (X, T ) es disconexo, entonces X = U V con U y V
abiertos distintos del vaco y UV = . Luego U = XV que es cerrado.
Por tanto, U es abierto y cerrado, U ,= y U ,= X pues V = X U ,= .
Por tanto, (X, T ) es conexo.
Ejemplo 4.4.3. (R, discreta) no es conexo.
x R, x = B
d
(x, 1) es abierto. R x =
y=x
y es abierto. Por
tanto x tambin es cerrado.
La Proposicin 4.4.2 nos permite rescribir la Proposicin 4.1.5 como
sigue. De esta manera se caracterizan los conjuntos conexos de la recta
eucldea adems de establecerse que en ella la conexin es equivalente a
la conexin por caminos.
Proposicin 4.4.4. (Caracterizacin de los conexos de la recta eucldea)
En (R,eucldea) las siguientes propiedades son equivalentes para un con-
junto A R.
1. A es conexo por caminos.
2. A es conexo.
3. Si a b con a, b A, entonces [a, b] A.
4. A es un intervalo.
En general, la Proposicin 4.1.4 muestra que la conexin topolgica
generaliza a la conexin por caminos. Ambas propiedades no son equiv-
alentes como se observa a continuacin.
Ejemplo 4.4.5. El espacio en el Ejemplo 4.2.8(4) es conexo pero no
conexo por caminos. Todos los detalles se encuentran en 4.2.8(4).
Veamos una condicin suciente para que un espacio conexo sea
conexo por caminos.
Proposicin 4.4.6. Sea (X, T ) localmente conexo por caminos. En-
tonces (X, T ) es conexo si y slo si (X, T ) es conexo por caminos.
Demostracin. Sea x
0
X. Por la proposicin anterior C
x
0
es abierto y
cerrado, entonces C
x
0
= X. Pero C
x
0
= y X : y se conecta por un
camino en X con x
0
, luego todo x X se conecta por un camino con
x
0
y utilizando la transitividad x, x
X, x y x
estn conectados por

un camino en X. Por tanto, (X, T ) es conexo por caminos. El recproco
es general (4.1.4)
) continua y A X conexo.
Entonces f(A) es conexo. En particular, si f es homeomorsmo y (X, T )
es conexo, entonces (Y, T
) tambin.
Demostracin. Por denicin (A, T /
A
) es conexo. Como f es continua,
entonces la restriccin sobre la imagen

f : (A, T /
A
) (f(A), T
/
f(A)
),
f(a) = f(a) a A tambin es continua.

Sea Z f(A) abierto y cerrado de (f(A), T
/
f(A)
). Basta probar que
Z = Z = f(A) para concluir que f(A) es conexo.
Por ser

f continua,

f
1
(Z) es abierto y cerrado de (A, T /
A
) y como
A es conexo entonces

f
1
(Z) = A

f
1
(Z) = . De esta forma, si
f
1
(Z) = A

f(A) = f(A) = Z y si

f
1
(Z) = Z = .
Proposicin 4.4.8. Sea (X, T ) un espacio topolgico y A X conexo,
entonces todo B X tal que A B A es conexo. En particular A es
siempre conexo.
Demostracin. R.A. Supongamos que B no es conexo. Entonces existen
dos abiertos U y V de (B, T /
B
) con U ,= , V ,= con U V = y
B = U V .
Como U y V son abiertos relativos, existen H y G abiertos de (X, T )
con U = B G y V = B H. En particular, U
= A G y V
= A H
son abiertos de (A, T /
A
) y adems
U
= (GH) A = [(GH B)] A = [U V ] A = B A = A

U
= (G H) A = (G H) B A = (U V ) A =
Pero A es conexo, luego U
= y V

= A V

= y U
= A. Como
U = G B ,= entonces existe b B con b G. Como G es abierto y
b B A entonces G A ,= y por tanto U
,= .
De igual forma V ,= , entonces V

,= llegando as a una contradiccin
pues o bien U
o V
debe ser vaco.

4.5. Otras caracterizaciones y propiedades de
los espacios conexos
Comenzamos observando que la Proposicin 4.4.2 permite demostrar
que la conexin de un espacio es equivalente a que toda aplicacin de ese
espacio en la recta eucldea cumpla el Teorema del Valor Intermedio de
Bolzano en la Proposicin 2.8.3. Esto es,
Proposicin 4.5.1. Sea (X, T ) un espacio topolgico. Son equivalentes
a) (X, T ) es conexo.
b) Si f : (X, T ) (R, eucldea) y a, b f(X) con a b entonces
[a, b] f(X)
c)(Teorema de Bolzano) Si f : (X, T ) (R, eucldea) es continua y
x
1
, x
2
X con f(x
1
) < 0 y f(x
2
) > 0, entonces x
0
X con f(x
0
) = 0.
Denicin 4.5.2. Un espacio topolgico (X, T ) se dice discreto si todos
los conjuntos unitarios x son abiertos.
Ejemplo 4.5.3. Si d es la distancia discreta (X, d) es un espacio discreto
ya que, B
d
(x, 1) = x es abierto.
Proposicin 4.5.4. Sea (X, T ) espacio topolgico discreto. Entonces
A X es conexo si y slo si A = x tiene un slo elemento.
Demostracin. Si A = x entonces es obvio que A es conexo. Recproca-
mente, si A contiene a x e y (x ,= y); consideramos A = x (Ax),
donde x y Ax =
aAx
a son abierto y entonces A es disconexo.
Por tanto, concluimos que A slo tiene un elemento.
Proposicin 4.5.5. Sea (X, T ) cualquier espacio topolgico. Son equiv-
alentes:
b) Toda f : (X, T ) (Y, T
) continua con (Y, T
) discreto es constante.
Demostracin. a) b)
Como (X, T ) es conexo y f es continua, entonces f(X) es conexo en
(Y, T
). Por la proposicin anterior f(X) se reduce a un elemento. Luego,

f es constante.
b) a)
R.A. Supongamos que (X, T ) no es conexo. Entonces existen A y B
abiertos tales que X = A B y A B = .
Sea Y = y
0
, y
1
y T
= , Y, y
0
, y
1
. Es claro que (Y, T
) es un
espacio discreto. Denimos f : (X, T ) (Y, T
) como
f(x) =
_
y
0
si x A
y
1
si x B
Es inmediato comprobar f continua es continua ya que: f
1
() = ,
f
1
(Y ) = X, f
1
(y
0
) = A, f
1
(y
1
) = B. Se llega as a una con-
tradiccin pues f no es constante. Entonces, (X, T ) es necesariamente
conexo.
Proposicin 4.5.6. Sea (X, T ) cualquier espacio topolgico. Son equiv-
alentes:
b) Dados a, b X, C X conexo tal que a, b C.
Demostracin. a) b) es trivial tomando C = X.
b) a)
R.A. Supongamos que (X, T ) no es conexo. Entonces existen U y V
abiertos tales que X = U V y U V = . Como U, V ,= , sean a U
y b V . Por b) se tiene C X con a, b C.
Como C X. Entonces C = U
V

donde U
= CU y V

= CV . Se
cumple que U
V

U V = , luego U
V

= y U
, V
,= . Como
U
y V
son abiertos de (C, T

C
) se sigue que C no es conexo, lo que es
una contradiccin.
Proposicin 4.5.7. Sea (X, T ) un espacio topolgico. Sea C
con
C
X conexo . Supongamos que existe

0
con C
0
,=
(*). Entonces C =
_
es conexo.
Figura 4.13:
Demostracin. Sea f : (C, T /
C
) (Y, T
) continua con (Y, T
) discreto.
Para ver que C es conexo basta ver que f es constante.
Para cada , f[
C
es constante por ser C
conexo. Por tanto, x C
f(x) = y
Y .
Como C
0
,= si
x
0
C
0

_
x C
f(x) = y
x C
0
f(x) = y
0
Entonces y
= y
0
, luego f es constante.
Las dos proposiciones siguientes tienen demostraciones anlogas a las
de sus correspondientes contrapartes en conexin por caminos 4.1.11 y
4.1.12.
Proposicin 4.5.8. (Variante 1) Supongamos que en vez de () en 4.5.7
se tiene C
,= ,
; en particular si
,= . Entonces C
sigue siendo conexo.
Proposicin 4.5.9. (Variante 2) Sean C
1
, C
2
, ..., C
n
una sucesin de
subconjuntos conexos en un espacio topolgico (X, T ) con C
i
C
i+1
,=
i 1. Entonces C =
_
n=1
C
n
es conexo.
Pasamos a estudiar la conexin del producto de espacios (seudo)mtricos.
1
, d
1
) y (X
2
, d
2
) espacios (seudo)mtricos
conexos. Entonces (X
1
X
2
,
max
2
) con
max
2
((x
1
, x
2
)(x
1
, x
2
)) = maxd
1
(x
1
, x
1
), d
2
(x
2
, x
2
)
es conexo.
Demostracin. Sean (x
0
1
, x
0
2
),(x
1
1
, x
1
2
) X
1
X
2
.
Figura 4.14:
La aplicacin
1
: (X
2
, d
2
) (X
1
X
2
,
max
2
) dada por
1
(x
2
) =
(x
0
1
, x
2
). es isometra por tanto, continua. En efecto:
max
2
(
1
(x
2
)
1
(y
2
)) = maxd
1
(x
0
1
, x
0
1
), d
2
(x
2
, y
2
) = d
2
(x
2
, y
2
).
En particular,
1
(X
2
) = x
0
1
X
2
es conexo.
Anlogamente,
2
: (X
1
, d
1
) (X
1
X
2
,
max
2
) dada por
2
(x
1
) =
(x
1
, x
1
2
) es una isometra y
2
(X
1
) = X
1
x
1
2
es conexo. Por lti-
mo,
1
(X
2
)
2
(X
1
) = (x
0
1
, x
1
2
) , = , luego,
1
(X
2
)
2
(X
1
) es conexo
y contiene a (x
0
1
, x
0
2
) y (x
1
1
, x
1
2
). Entonces (X
1
X
2
,
max
2
) es conexo por
4.5.6.
Nota 4.5.11. La proposicin anterior es vlida tambin para las (seu-
do)distancias
taxi
2
y
euclidea
2
. De hecho, todo lo indicado en 4.1.8 per-
manence vlido si cambiamos la conexin por caminos por la conexin
topolgica.
4.6. Componentes conexas. Conexin local
Denicin 4.6.1. Dado (X, T ) un espacio topolgico y x X llamamos
componente conexa de X al mayor conjunto conexo C
x
X que contiene
a x.
Lema 4.6.2. C
x
siempre existe.
Demostracin. En efecto, sea ( = C X; C es conexo y x C.
La familia ( , = no es vaca pues x es conexo y x x. La unin
C
0
=
_
C C
C es un conjunto conexo pues cada C es conexo y si C, C
(
x C C
, y como x C
0
se tiene C
0
(. Pero C (, C C
0
por
denicin. Esto es, C
0
es el mayor conexo en (X, T ) que contiene a x.
As, C
x
= C
0
Ejemplo 4.6.3. En (Q,eucldea) la componente conexa de cada x Q
es x.
Nota 4.6.4. Si (X, T ) es conexo C
x
= X x X.
Proposicin 4.6.5. (Propiedades bsicas de las componentes conexas)
Sea (X, T ) un espacio topolgico. Si C
x
es la componente conexa de x
X, se cumplen:
1. x C
x
2. C
x
es conexo.
3. C
x
es cerrado en (X, T ).
4. Si C
x
C
y
,= C
x
= C
y
. Es decir, las componentes conexas
forman una particin de X.
Demostracin. Los apartados 1) y 2) se tienen por denicin.
3) C
x
es conexo, entonces C
x
es conexo. Adems, x C
x
, luego x C
x
ya que C
x
C
x
siempre.
Por ser C
x
el mayor conexo conteniendo a x, se tiene C
x
C
x
, por tanto,
C
x
= C
x
y se deduce que C
x
es cerrado.
4) Como C
x
C
y
,= y C
x
y C
y
son conexos, entonces C
x
C
y
es conexo.
Adems,
x C
x
C
x
C
y
C
x
C
y
C
x
C
y
C
x
.
Anlogamente,
y C
y
C
x
C
y
C
x
C
y
C
y
C
x
C
y
de donde C
x
= C
y
.
Ejemplo 4.6.6. Sea A =
1
n
, 0
n1
, X = AR R
2
.
Entonces en (X,eucldea) la componente conexa de de x = (a, y) con
a A es C
x
= a R.
Figura 4.15:
Claramente, a R es conexo, por tanto, a R C
x
.
Si p = (a
, y
) C
x
y p
1
: R
2
R es la primera proyeccin, p
1
(C
x
) es
conexo en A Q, entonces p
1
(C
x
) = , A. Luego, = a a
= a.
Por tanto C
x
p
1
1
(a) = a R
Denicin 4.6.7. Un espacio topolgico (X, T ) se dice localmente conexo
si dado cualquier x X y cualquier entorno N de x en (X, T ) entonces
existe otro entorno N
de x que es conexo y N
N.
Proposicin 4.6.8. Si (X, T ) es localmente conexo entonces toda com-
ponente C
x
es un conjunto abierto (y por tanto abierto y cerrado).
Demostracin. Sea y C
x
. Por hiptesis si N = X (que es entorno de
y) existe N
X conexo y entorno de y. En particular y intN
.
Adems, y C
y
, por tanto, C
y
C
x
,= por lo que C
x
= C
y
. Por deni-
cin de componente conexa se tiene,
N
C
y
= C
x
y intN
intC
x
.
As, C
x
intC
x
C
x
= intC
x
C
x
es abierto.
1. Ya sabemos que los espacios eucldeos son conexos por caminos y
localmente conexos por caminos. Por tanto lo son tambin para la
conexin topolgica.
2. (R, discreta) no es conexo y s localmente conexo, pues si 1
B
d
(x, ) = x es conexo. Las componentes conexas son C
x
= x
x R
3. (Q,eucldea) no es conexo y no es localmente conexo pues A Q
es conexo si y slo si A = y por tanto, intA = , luego, dado x
no existe ningn entorno de x conexo.
4. En (R
2
,eucldea) hay conexos que no son localmente conexos.
Consideremos el ejemplo 4.2.8(3). Ya sabemos que es conexos por
caminos, luego es conexo. Adems la misma demostracin en 4.2.8(3)
lleva a que no es localmente conexo. La recordamos aqu. El sube-
spacio en cuestin era X R
2
con X = OX OY
_
1
Z
n
con
Z
n
= (x, y); x =
1
n
.
Para ver que (X, eucldea) no es localmente conexo razonamos por
R.A.: Sea B
d
(p, r) con r < d(p, OX), d = eucldea[X y N B
d
(p, r)
entorno conexo de p.
Como N es entorno de p, existe > 0 tal que B
d
(p, ) N. Adems
p = lmp
n
con p
n
Z
n
y existe n
0
con p
n
B
d
(p, ) N si n n
0
.
Sea t con
1
n
0
+1
< t <
1
n
0
. Consideremos:
U = (x, y), x < t
V = (x, y), x > t
Figura 4.16:
Figura 4.17:
ambos abiertos de (R,eucldea). Tenemos que N = (NU)(NV )
porque
1
n
0
+1
< t <
1
n
0
y N X. Luego, llamando a N U = U
y N V = V
se tiene U
,= ya que p
n
0
+1
U
, V

,= porque
p
n
0
V

y, U
V

= . Por tanto, N no es conexo, lo que nos lleva
a contradiccin.
Proposicin 4.6.10. (Invarianza del nmero de componentes conexas)
Sea f : (X, T ) (Y, T
) un homeomorsmo, entonces si C
x
es compo-
nente de x se tiene que f(C
x
) es componente conexa de f(x).
Consecuencia: Existe una biyeccin entre las componentes conexas de
(X, T ) y las de (Y, T
).
Demostracin. La demostracin es anloga a la de 4.2.7 (ejercicio)

Apuntes Topologia

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Apuntes Topologia

Uploaded by

Copyright:

Available Formats

TOPOLOGA

), donde se ha usado la propiedad 4 de la norma

[ max[x[, [y[ +max[x

= sup[f(x)[; x R, que se demuestra que es norma:

0 porque es un supremo de valores absolutos.

= sup[[[f(x)[; x R = [[ sup[f(x)[; x R = [[[[f[[

= 0 = sup [f(x)[, x R, entonces [f(x)[ = 0, para todo

= sup[f(x) +g(x)[; x R. Ahora bien, [f(x) +g(x)[

. Por tanto, [[f + g[[

= sup[f(x) g(x)[, x R, que se denotar distancia del supremo.

es una distancia, que denotaremos

) = 1 pero entonces d(x, x

= sup[f(x)g(x)[. Si denotamos por la funcin constate nula, en-

(f, ) < = f X, sup[f(x)[ < =

), entonces existe > 0 tal que B

), entonces d(x, y) <

< . Por tanto, d(x, y) < y

). Podemos concluir que

X, entonces existe > 0 tal que

, ), entonces d(x, y) < y

, y) < . Luego d(x, x

) < , lo cual es absurdo.

es una familia cualquiera de abiertos en (X, d), en-

es una familia cualquiera de abiertos en (X, d), quere-

est formada por conjuntos en T , entonces

T para todo , queremos probar que

T . Distinguiremos dos casos:

= para todo , entonces

. Por la propiedad de separacin

, )) sera un conjunto innito (porque por

, ) son conjuntos nitos. Por tanto,

, )) sera un conjunto nito. Contradiccin.

= x X, x es punto de acumulacin. Obsrvese que A A

es exactamente el conjunto de puntos asilados de A.

, luego hemos terminado.

, luego existe G abierto, con x G y (G x) A = .

, luego x A A, quedando demostrado.

. Entonces, para todo G abierto, con x G, se verica que

es una familia de cerrados, entonces

es abierto. Luego, por propiedad

es abierto. Por tanto,

en (X, T ) tales que

. Esta pregunta, pura-

) espacios topolgicos. Una apli-

) se dice continua si para todo A X, se veri-

) espacios topolgicos, y sea una aplicacin f :

) con y G, se tiene que

) una aplicacin entre espacios (seudo)mtricos.

)) < . O equivalentemente, f(B

), debemos probar que f

) una aplicacin entre espacios (seudo)mtricos.

) constante. Es decir, f(x) = y

) continua, y A X. Entonces, sea f[

) la restriccin dada por f[

f : ([0, 2), eucldea) (S

) intervalos de R. Denimos la aplicacin f :

), eucldea) como f(x) = y =

) + a, tambin es continua. Luego, f es un homeomorsmo.

). Igualmente lo son (a, ) y (, b).

), cuya restriccin a la imagen

de subconjuntos de X tal que A

Denicin 3.1.4. Sea (X, T ) un espacio topolgico. Un subconjunto

un recubrimiento de A por abiertos de la topologa restric-