A Punt Es Completo 1314

TOPOLOGA
Curso 2013/2014
Captulo 1
Espacios mtricos
1.1. Medir la proximidad

Sea X un conjunto. Denotaremos por X X al conjunto de los pares
de elementos de X.
Definicin 1.1.1. Una distancia sobre X es una aplicacin d : X X

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 define d(x, x ) = |xx |.
Ejemplo 1.1.3. (Geometra)

p Se toma X = R2 y se define d((x, y), (x, y )) =
||(x, y) (x , y )|| = (x x )2 + (y y )2 .
Definicin 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 definicin, 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 || + ||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 = R2 y p || || es la habitual en Geometra, es decir,

la norma eucldea ||(x, y)|| = x2 + y 2, entonces (V, || ||) es un espacio
normado. Su distancia asociada, que llamaremosp distancia eucldea y

denotaremos de , es de ((x, y), (x , y )) = (x x ) + (y y )2 .
2
Ejemplo 1.1.8. Si V = R2 , entonces ||(x, y)||taxi = |x| + |y| es una

norma. La cuarta propiedad de la definicin 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 : dtaxi ((x, y), (x , y )) = |x x | + |y y |.
2
En el plano R , las distancias entre los puntos (0, 0) y (1, 1) son
de ((0, 0), (1, 1)) = 2 y dtaxi ((0, 0), (1, 1)) = 2.
Figura 1.1:
Ejemplo 1.1.9. Si V = R2 , ||(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 dmax ((x, y), (x , y )) = max{|x x |, |y y |},

que llamaremos distancia del mximo.
Ejemplo 1.1.10.p SiPtomamos V = Rn , n 2, la norma eucldea es ahora
n 2
||(x1 , . . . , xn )|| = i=1 xi . Su distancia asociada, que tambin
pPn llamare-
2
mos distancia eucldea, es de ((x1 , . . . , xn ), (y1, . . . , yn )) = i=1 (xi yi ) .
n
Anlogamente,
Pn las normas taxi y mximo para R son ||(x1 , . . . , xn )||taxi =
i=1 |xi | y ||(x1 , . . . , xn )||m ax{|xi |; 1 i P
ax = m n}, siendo sus distan-
cias asociadas dtaxi ((x1 , . . . , xn ), (y1 , . . . , yn )) = ni=1 |xi yi | y
dmax ((x1 , . . . , xn ), (y1, . . . , yn )) = max{|xi yi|; 1 i n}, respectiva-
mente.
Ejemplo 1.1.11. V = {f : R R; f es acotada} es un espacio vectorial
con:
Suma: (f + g)(x) = f (x) + g(x),
Producto por escalar: (f )(x) = f (x).
Se define ||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 define la sucesin de funciones {fn } como fn = (1/n) sen(x) y

se denota por a la funcin nula. Entonces d (fn , ) = 1/n y la suce-
sin {fn } se aproxima arbitrariamente a la constante cero en el espacio
(V, d ).
Definiremos a continuacin otra norma:
Ejemplo 1.1.13. Si V = {f : [0, 1] R; f continua}, entonces ||f ||1 =

R1 R1
0
|f (x)|dx es una norma cuya distancia asociada es d 1 (f, g) = 0
|f (x)
g(x)|dx.
1. ||f ||1 0 porque |f (x)| 0 para todo 0 x 1.

R1 R1
2. ||f ||1 = 0 || |f (x)|dx = || 0 |f (x)|dx = || ||f ||1.
Figura 1.3:
R1
3. Si ||f ||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.
R1 R1 R1
4. ||f +g||1 = 0 |f (x)+g(x)|dx 0 (|f (x)|+|g(x)|)dx = 0 |f (x)|dx+
R1
0
|g(x)|dx = ||f ||1 + ||g||1.
qR
n 1
En general, podemos definir ||f ||n = 0
|f (x)|n dx.
Comprobaremos a continuacin que las distancias d1 y d son distin-

tas.
Ejemplo 1.1.14. Para la sucesin {fn } descrita en el siguiente dibujo

se tiene que d1 (fn , ) = 1/2n+1, luego fn se acerca todo lo que se quiera a
en (V, d1 ). Sin embargo, d (fn , ) = 1 para todo n, luego fn 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 dmeta = |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 dmeta (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 dmeta mide la diferencia del tiempo de
llegada.
Figura 1.5:
Definiremos ahora una distancia vlida para cualquier conjunto.

Ejemplo 1.1.16. Dado un conjunto X, la aplicacin d : X X R

1, x 6
= x
definida por d(x, x ) = es una distancia, que denotaremos
0, x = x
distancia discreta.
1. Trivial por definicin.
2. d(x, x ) = d(x , x) por definicin.
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 Rn cuya distancia
asociada sea la discreta.
Demostracin. (R.A.) Supongamos que existiese tal norma asociada || ||
y tomemos x 6= 0 (donde 0 es el origen de Rn ) y R, 6= 0. Entonces
x 6= 0 y 1 = d(x, 0) = ||x 0|| = ||x|| = || ||x|| = ||. Luego hemos
probado que || = 1 para cualquier R, 6= 0. Contradiccin.
En el plano eucldeo (R2 , deucldea )(plano), los crculos de centro un

punto x permiten medir la proximidad a ese punto.
Figura 1.6:
Esta observacin lleva a la siguiente definicin general
Definicin 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
Bd (x, ) = {y X; d(x, y) < }.
Una bola cerrada de centro x y radio es
Bd [x, ] = {y X; d(x, y) }.
Una esfera de centro x y radio es
Sd [x, ] = {y X; d(x, y) = }.
Ejemplo 1.1.19. En la recta eucldea (R, de ), tenemos Bde (x, ) = {y

R, |x y| < } = (x , x + ).
Ejemplo 1.1.20. En el plano eucldeo (R2 , de ), la p bola Bde (0, ) =

2 2
{(x1 , x2 ) R , de ((x1 , x2 ), 0) < } = {(x1 , x2 ) R , x21 + x22 < } =
{(x1 , x2 ) R2 , x21 + x22 < 2 }, sera un crculo sin circunferencia de centro
(0, 0) y radio .
Ejemplo 1.1.21. En (R2 , dtaxi ), la bola abierta de centro 0 y radio

es Bdtaxi (0, ) = {(x1 , x2 ) R2 , dtaxi ((x1 , x2 ), 0) < } = {(x1 , x2 )
R2 , |x1 | + |x2 | < }.
Si x1 , x2 0, entonces |x1 | + |x2 | < implica x1 + x2 < .
Figura 1.7:
Si x1 , x2 0, entonces |x1 | + |x2 | < implica x1 x2 < .

Si x1 0, x2 0, entonces |x1 | + |x2 | < implica x1 x2 < .
Si x1 0, x2 0, entonces |x1 | + |x2 | < implica x2 x1 < .
Por tanto, Bdtaxi (0, ) sera un cuadrado sin su borde de centro 0 y
con esquinas en (, 0), (0, ), (, 0) y (0, ).
Ejemplo 1.1.22. En (R2 , dmax ), la bola abierta de centro 0 y radio
es Bdmax (0, ) = {(x1 , x2 ) R2 , dmax ((x1 , x2 ), 0) < } = {(x1 , x2 )
R2 , max{|x1 |, |x2 |} < } = {(x1 , x2 ) R2 , |x1 | < y |x2 | < }.
Por tanto, Bdmax (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 Bd (, ) = {f X, d (f, ) < } = {f X, sup{|f (x)|} < } =
{f X, < |f (x)| < } = {f : R R| grfico de f est entre y =
e y = }.
Figura 1.9:
Ejemplo 1.1.24. Si tomamos X = R2 , la distancia

discreta ddiscreta y el
{}, 1
punto = (0, 0), entonces Bddiscreta (, ) =
R2 , > 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 Bd (x, ).
1. Si 0 < < , entonces Bd (x, ) Bd (x, ).
2. Si y Bd (x, ), donde x, son arbitrarios, entonces existe > 0

con Bd (y, ) Bd (x, ).
3. Si z Bd (x, ) Bd (x , ), entonces existe > 0 tal que Bd (z, )

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

concluimos que y Bd (x, ).
2. Como y Bd (x, ), entonces d(x, y) < y podemos definir :=

d(x, y) > 0. Veremos ahora que Bd (y, ) Bd (x, ). En efecto,
si p Bd (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 Bd (x, ).
3. Si z Bd (x, ) Bd (x , ), entonces:
z Bd (x, ), luego existe con Bd (z, ) Bd (x, ) por el

apartado (2).
z Bd (x , ), luego existe con Bd (z, ) Bd (x , ) por el
apartado (2).
Figura 1.10:
Figura 1.11:
Si tomamos = mn{, } > 0, entonces Bd (z, ) Bd (z, )

Bd (x, ) y Bd (z, ) Bd (z, ) Bd (x , ). Podemos concluir que
Bd (z, ) Bd (x, ) Bd (x , ).
Proposicin 1.1.26. (Propiedad de separacin de Hausdorff ) Si (X, d)

es un espacio mtrico y x 6= x X, entonces existe > 0 tal que
Bd (x, ) Bd (x , ) = .
Demostracin. Como (X, d) es un espacio mtrico, entonces d(x, x ) =

> 0. Sea = /2. Afirmamos que Bd (x, ) Bd (x , ) = .
(R.A.) Si existiese y Bd (x, ) Bd (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 R2 , d((x, x ), (y, y )) = |x y| es seudodistan-

cia pero no distancia porque d((0, 0), (0, 1)) = 0 < , luego (0, 1)
Bd ((0, 0), ), para todo > 0. Por tanto, Bd ((0, 1), ) Bd ((0, 0), ) 6=
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 figuras 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 fijar ideas establecemos las siguientes definiciones
Definicin 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
Bd (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 Bd (x, ) A.

Por el apartado 1 de la Proposicin 1.1.25, x Bd (x, ) A, luego
x A. Por tanto, intA A.
2. Demostraremos que intBd (x, ) = Bd (x, ) por doble inclusin.

intBd (x, ) Bd (x, ) por (1).
intBd (x, ) Bd (x, ): Sea y Bd (x, ). Por el apartado 2 de la
Proposicin 1.1.25, existe > 0 tal que Bd (y, ) Bd (x, ), luego
y intBd (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 (R2 , de (eucldea)), (R2 , dtaxi )

y (R2 , dmax ), cualquier conjunto A R2 tiene el mismo interior. Por tan-
to, las familias de los conjuntos abiertos de los tres espacios coinciden.
Demostracin. Si x = (x1 , x2 ) intA en (R2 , de (eucldea)), entonces ex-

iste > 0 tal que Bde (x, ) pA. Ahora bien, Bde (x, ) = {y = (y1 , y2)
R2 , de (x, y) < } = {y R2 , (x1 y1 )2 + (x2 y2 )2 < }, de donde se
sigue fcilmente que:

Bdmax (x, 2/2) Bde (x, ) A, luego x intA en (R2 , dmax ).
Bdtaxi (x, ) Bde (x, ) A, luego x intA en (R2 , dtaxi ).

Figura 1.14:
Figura 1.15:
Sea x = (x1 , x2 ) intA en (R2 , dtaxi ). Entonces existe > 0 tal que
Bdtaxi (x, ) A. Como Bdtaxi (x, ) = {y = (y1 , y2) R2 , dtaxi (x, y) <
} = {y R2 , |x1 y1 | + |x2 y2 | < }, tenemos que:

Bde (x, 2/2) Bdtaxi (x, ) A, luego x intA en (R2 , de ).
Figura 1.16:

Bdmax (x, /2) Bde (x, 2/2) Bdtaxi (x, ) A, luego x intA
en (R2 , dmax ).
El resto se deja como ejercicio (bastara probar que si x intA en
(R , dmax ), entonces x intA en (R2 , de ) y (R2 , dtaxi )).
2
Corolario 1.2.4. Las bolas abiertas de (R2 , de ), son abiertos en (R2 , dtaxi )
y (R2 , dmax ). Anlogamente para el resto de los casos.
Nota 1.2.5. Se deja como ejercicio generalizar los dos resultados ante-
riores al espacio Rn 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 definicin 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

Bd (x, ) N. Como las bolas abiertas son abiertos, entonces pode-
mos definir G := Bd (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 definicin de
interior, existe > 0 tal que Bd (x, ) G N, luego x intN y
obtenemos que N es entorno de x.
3. Por definicin, 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(A1 . . . An ) = intA1 . . . intAn .
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 Bd (x, ) A B. Por

tanto, Bd (x, ) B y concluimos que x intB.
3. Demostraremos int(A1 . . . An ) = intA1 . . . intAn por doble

inclusin.
Siempre es cierto que A1 . . . An Ai , (1 i n). Por tanto,
int(A1 . . . An ) intAi , para todo i, y obtenemos int(A1 . . .
An ) intA1 . . . intAn .
Si x intA1 . . . intAn , entonces x intAi para todo 1
i n. Para cada i existe i > 0 de forma que Bd (x, i ) Ai . Si
tomamos 0 = mn{i }1in , Bd (x, 0 ) Bd (x, i ) Ai , i. Por
tanto, Bd (x, 0 ) ni=1 Ai y concluimos que x ni=1 Ai .
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 Bd (x, ) A. Queremos
probar que x int(intA), es decir, que existe > 0 con Bd (x, )
intA.
Ahora bien, nos sirve como el propio porque Bd (x, ) intA. En

efecto, dado y Bd (x, ), por el apartado 2 de la proposicin 1.1.25,
existe > 0 on Bd (y, ) Bd (x, ) A. Por tanto, y intA y
hemos probado que Bd (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 A1 , . . . , An son abiertos en (X, d), entonces A1 . . .An tambin

es abierto.
3. Si {A } es una familia cualquiera de abiertos en (X, d), en-

tonces A tambin lo es.
Demostracin. 1. El conjunto X es abierto en (X, d) porque dados

x X y > 0 cualesquiera, Bd (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 A1 , . . . , An son abiertos en (X, d), entonces intAi = Ai para

todo 1 i n. Por la proposicin anterior, obtendramos que
ni=1 Ai = ni=1 intAi = int(ni=1 Ai ), luego ni=1 Ai es abierto.
3. Si {A } es una familia cualquiera de abiertos en (X, d), quere-

mos probar que int( A ) = A .
La inclusin int( A ) A es siempre cierta.
Veremos ahora que la otra inclusin tambin se cumple. Como A
es abierto, A = intA . El conjunto A est contenido
en A , luego intA int( A ), por la proposi-
cin 1.2.7. Por tanto, intA int( A ) y concluimos que
A int( A ).
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 reflejan 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

Definicin 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 A1 , . . . , An estn en T , entonces ni=1 Ai tambin est en T .
3. Si {A } es cualquier familia formada por conjuntos en T , en-
tonces A 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 Td = {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 Tdeucldea = Tdtaxi = Tdmax , 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 finitos (Topologa de Zariski o
cofinita). Comprobaremos a continuacin que T es topologa sobre X:
1. T por definicin.
X T porque X X = , que tiene 0 elementos.
2. Dados A1 , . . . , An T , tenemos dos casos posibles:
Si algn Ai = , entonces A1 . . . An = T .
Si Ai 6= , para todo 1 i n, entonces X Ai es un
conjunto finito para todo 1 i n. Como X (ni=1 Ai ) =
ni=1 (X Ai ) es unin finita de conjuntos finitos, entonces es
finito y concluimos que ni=1 Ai T .
3. Si {A } con A T para todo , queremos probar que
A T . Distinguiremos dos casos:
Si A = para todo , entonces A = T .
Si A0 6= para algn 0 , entonces X A0 es finito. Ahora
bien, X ( A ) = (X A ) X A0 (que es
finito), luego X ( A ) es finito y A T .
Proposicin 2.1.5. Si X es infinito, 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 Td =
T . Consideremos x, x X, con x 6= x . Por la propiedad de separacin
de Hausdorff, existe > 0 con Bd (x, ) Bd (x , ) = . Tomando comple-
mentarios, obtendramos que X = X = X (Bd (x, ) Bd (x , )) =
(X Bd (x, )) (X Bd (x , )) sera un conjunto infinito (porque por
hiptesis X lo es).
Ahora bien, cada bola es un abierto en Td = T y x Bd (x, ) 6=
, luego X Bd (x, ) y X Bd (x , ) son conjuntos finitos. Por tanto,
(XBd (x, ))(XBd (x , )) sera un conjunto finito. Contradiccin.
Nota 2.1.6. Se deja como ejercicio el demostrar que tampoco existe una
seudodistancia d sobre un conjunto infinito 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 definicin 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 definicin.
Definicin 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 definicin, 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 Ga en T con a Ga A. Como A = aA {a}
aA Ga A, luego A = aA Ga , que est en T por la tercera propiedad
de la definicin 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(A1 . . . An ) = intA1 . . . intAn .
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 A1 . . . An Ai para cada 1 i n,
tenemos int(A1 . . . An ) intAi , y por tanto int(A1 . . . An ) intA1
intA2 intAn . Para la otra inclusin, sea x intA1 intA2 intAn .
Por definicin, para cada i n existe un abierto Gi con x Gi Ai .
Por tanto, G = G1 Gn es un abierto y x G A1 An . Esto
prueba que x int(A1 An ). 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
definicin de interior nos da x int(intA).
Definicin 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.
Definicin 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 6= {x}, es decir, que (G {x}) A 6= .
Un punto no aislado se dice punto de acumulacin; esto es
Definicin 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 (G {x}) A 6= .
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 infinitos puntos de A.
Demostracin. Si todo G contiene infinitos puntos de A, entonces el con-

junto (G {x}) A contiene tambin infinitos puntos. En particular,
(G {x}) A 6= , 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 Bd (x, ) G.
Por hiptesis, (Bd (x, ) {x}) A 6= , luego existe x1 A con x1
Bd (x, ) {x}. Como x 6= x1 y d es distancia, > d(x, x1 ) = > 0.
Figura 2.1:
Sea 1 = /2. Por hiptesis, (Bd (x, 1 ) {x}) A 6= , luego existe

x2 A con x2 6= x. Adems, d(x, x2 ) < 1 = /2 < d(x, x1 ), luego
x2 6= x1 . Como x 6= x2 , 0 < d(x, x2 ) = 1 < 1 .
Sea 2 = 1 /2 = /4. Por hiptesis, (Bd (x, 2 ) {x}) A 6= , luego
existe x3 A con x3 6= x. Adems, d(x, x3 ) < 2 < 1 /2 < d(x, x2 ) <
d(x, x1 ), luego x3 6= x2 y x3 6= x1 . Como x 6= x3 , 0 < d(x, x3 ) = 2 < 2
y definimos 3 = 2 /2.
Reiterando el proceso obtenemos una sucesin de puntos distintos
{xn }n1 Bd (x, ) G y podemos concluir que G contiene infinitos
puntos de A.
Corolario 2.3.3. Si (X, d) es un espacio mtrico y A = {a1 , . . . , an } es
un conjunto finito, todos sus puntos son aislados.
Definicin 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 6= .
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.
Definicin 2.3.6. Se llama clausura de A al conjunto

A = {x X; x es adherente a A}.
Un conjunto A se llama
Por la nota anterior, siempre se cumple A A.
cerrado en (X, T ) si A = A.
Ejemplo 2.3.7. En al recta eucldea (R, eucldea), el supremo y el nfi-
mo de un conjunto A (si existen) son puntos adherentes a A; en particular,
si A es cerrado tiene mnimo y mximo, respectivamente. Sea x0 el nfi-
mo de A, por la definicin de nfimo, para todo > 0, siempre hay algn
punto a A con x0 a x0 + . Por otro lado, si G es un abierto
eucldeo con x0 G existe 0 > 0 con (x0 0 , x0 + 0 ) G, y por tanto
a/2 (x0 0 , x0 + 0 ) A G A. Tenemos as que x0 A.
Si ahora x1 es el supremo, tenemos un elemento a A con x1

a x1 y se razona igual que en caso anterior para llegar a que todo
abierto eucldeo que contega a x1 corta a A; es decir, x1 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 6 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 (A A ) A .
Para la otra contencin, si x (A A ) A , distinguimos:
-x A A , luego x A A, quedando demostrado.
-x A . Entonces, para todo G abierto, con x G, se verifica que
(G {x}) A = , por lo que G A 6= . 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 6= para todo G abierto de (X, T ), con x G, G *
X A x 6 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. A1 ... An = A1 ... An .
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 6= . Como A B, entonces G A G B. Por lo
tanto, G B 6= , y de ah deducimos que x B. Luego A B.
3. Por el apartado anterior, sabemos que si AiS A1 ... An , i, en-
tonces, Ai A1 ... An , para todo i. Por tanto, ni=1 Ai A1 ... An .
Para la otra contencin, sea x A1 ... An , por definicin se tiene
que si G es cualquier abierto de (X, T ) con x G, se tiene que G (A1
... An ) 6= . Ahora, por reduccin al absurdo:
Si x 6 A1 ... An , entonces x 6 Ai , i. De este modo,
T existir Gi
abierto, con x Gi y Gi Ai = , i. Ahora, sea Go = ni=1 Gi , ste
es un abierto con x Go . Llegamos as a contradiccin con G0 Ai

Gi Ai = , i, implicando G0 (A1 ... An ) = , 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 6= . De este modo, existir y A, con y G. As,
por la definicin de la clausura, G A 6= . Luego, x A, y, por tanto,
A A.
Figura 2.2:
La definicin 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. S
2. Si A1 ...An son cerrados, entonces ni=1 Ai es cerrado.
T
3. Si {A } es una familia de cerrados, entonces A es cer-
rado.
Demostracin. 1. es abierto, luego X = X es cerrado.

X es abierto,luego X X = es cerrado. T
Ai es abierto. Por tanto, ni=1 (X
es cerrado, entonces X S
2. Si Ai S
Ai ) = X ni=1 Ai es abierto, luego ni=1 Ai es cerrado.
3. Si A es cerrado,
S entonces X A es
T abierto. Luego, por propiedad
T los abiertos, (X A ) = X A es abierto. Por tanto,
de
A 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 filtros de la proximidad a x, la siguiente definicin precisa
la idea de acercarse a x mediante sucesiones.
Definicin 2.5.1. Sea (X, d) un espacio topolgico. Una sucesin {xn }n1
de X se dice que converge a x0 X (o equivalentemente, que x0 es un
punto lmite de {xn }n1 ) en (X, T ) si para todo abierto G de (X, T ) con
x0 G existe n0 tal que si n n0 , entonces xn 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 {xn }n1 X converge en (X, d)

a x0 y a x1 , con x0 6= x1 . Aplicando la propiedad de separacin de Haus-
dorff de los espacios mtricos, existe > 0 con Bd (x0 , ) Bd (x1 , ) = .
Como {xn }n1 converge a x0 , entonces existe n0 tal que xn Bd (x0 , )
si n n0 .
Por otro lado, como {xn }n1 converge a x1 , existe n1 tal que xn
Bd (x1 , ) para todo n n1 .
Si n > max{n0 , n1 }, entonces xn Bd (x0 , ) Bd (x1 , ) = . Con-
tradiccin.
Figura 2.4: Los puntos de la sucesin deben separarse para alcanzar los
dos puntos lmite
Definicin 2.5.3. Un espacio topolgico (X, T ) se dice que tiene la

propiedad de separacin de Hausdorff (o que es un espacio de Hausdorff )
si dados x, x X con x 6= x , existen abiertos G, G en (X, T ) tales que
x G, x G y G G = .
Nota 2.5.4. Si (X, T ) es un espacio topolgico de Hausdorff, entonces

toda sucesin convergente tiene un nico punto lmite.
Ejemplo 2.5.5. Sea (R2 , d) con d((x, y), (x, y )) = |x x |.

La sucesin (xn , yn ) = (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 Bd ((0, y), ) G.
Figura 2.5:
Si escogemos n0 tal que 1/n0 < , entonces para todo n n0 se

cumple que d((0, y), (1/n, 0)) = 1/n 1/n0 < , luego (xn , yn ) =
(1/n, 0) Bd ((0, y), ) G, n n0 .
Podemos concluir que el espacio no es de Hausdorff.
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 {an }n1 A con {an }n1 convergiendo a x.
Demostracin. 1) 2): Para cada > 0, Bd (x, ) es abierto en (X, d)
Existe por tanto
y x Bd (x, ), luego Bd (x, ) A 6= porque x A.
a A tal que a Bd (x, ), es decir, d(x, a) < .
2) 3) : Dado = 1, existe a1 A tal que a1 Bd (x, 1). Dado
= 1/2, existe a2 A tal que a2 Bd (x, 1/2).
Figura 2.6:
Reiterando el proceso obtenemos una sucesin a1 , . . . , an en A con

an B(x, 1/n), es decir, d(x, an ) < 1/n. Afirmamos que {an }n1 con-
verge a x. En efecto, si G es abierto de (X, d) con x G, entonces existe
> 0 con Bd (x, ) G.
Si n0 con 1/n0 < , se cumple que d(an , x) < 1/n < 1/n0 <
para todo n n0 . Luego an Bd (x, ) G y concluimos que {an }n1
converge a x.
3) 1) (Vlido para todo espacio topolgico):
Sea G un abierto de (X, d) con x G. Como {an }n1 converge a x por
hiptesis, existe n0 con an G si n n0 (por definicin de convergencia).
Como an A, entonces an A G 6= y concluimos que x A por la
definicin 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 {an }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 {an }n1 A convergiendo a x se

tiene que x A significa, 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
Definicin 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 verifica que G A 6= y (X A) G 6= .
Se llama conjunto frontera de A a
F rA = {x X, x punto frontera de A}
Proposicin 2.6.2. F rA = A X A
Proposicin 2.6.3. Sea (X, T ) un espacio topolgico. Entonces, para
todo A X, se cumple:
A = int(A) F rA
Adems, int(A) F rA = .
Demostracin. Para la contencin hacia la derecha, sea x A, distin-
guimos:
-x int(A), luego x int(A) F rA, y hemos terminado.
-x 6 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 verifica que
G (X A) 6= . Entonces, x F rA, y de este modo, x int(A) F rA.
Para la contencin hacia la izquierda, sea x int(A) F rA. Distin-
guimos:
-x int(A) A A, luego x A.
-x F rA = A X A, luego x A.
Finalmente, veamos que int(A) y F rA son disjuntos. Por reduccin al
absurdo, supongamos que x int(A) F rA. En particular, x int(A),
luego, existe un abierto G, con x G A. Entonces, G (X A) = ,
por lo que x 6 F rA, que contradice la hiptesis.
Definicin 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(X A). Se define el exterior
de A como:
ext(A) = int(X A)
Proposicin 2.6.5. Sea (X, T ) un espacio topolgico, entonces:

1. F rA = F r(X A)
2. X = int(A) F rA ext(A)
3. Los anteriores conjuntos son disjuntos entre s.
Demostracin. 1. F rA = A X A = F r(X A).

2. Tenemos que X = A (X A). Como A = X int(X A), se
tendr que X = int(A) F rA int(X A) = int(A) F rA ext(A).
3. Sabemos que F rA int(A) = . Por otro lado, F rA ext(A) =
F r(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 F rZ = 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. F rA = F rB = F rC = F rD = {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 An obtenido como la interseccin de los conjuntos cerrados
(y esto prueba que C es un conjunto cerrado) definidos inductivamente
al tomar An+1 como el resultado de eliminar los intervalos abiertos que
constituyen los tercios centrales de los intervalos que componen An . Se
comienza con A1 = [0, 1].
Figura 2.7:
(d) Sea X = {f : [1, 1] R continua}, definimos 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 6= 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 .
Definicin 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,
TA = {A G, G T }.
Entonces, la familia TA es una topologa sobre A, llamada topologa rel-

ativa a A (o restriccin). A (A, TA ) se le llama subespacio topolgico
de (X, T ), y se tiene que C A es un cerrado de (A, TA ) si y slo si
C = {F A, F cerrado de (X, T )}
Demostracin. Dejamos como ejercicio comprobar que TA es una topologa
sobre A. Para la segunda parte, tenemos que C A es un conjunto cerra-
do de (A, TA ) si y slo si C = A H, con H abierto en (A, TA ) 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 finita 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, TA ) son abiertos de (X, T ). Del mismo modo se tendr para los
cerrados.
Ejemplo 2.7.3. En general, los abiertos de (A, TA ) no son abiertos de
(X, T ). Por ejemplo: sea (R2 , eucldea), y A = R2+ = {(x, y) : y 0} el
semiplano superior.
Figura 2.9:
Entonces, A no es un abierto en (R2 , eucldea). Ahora, tomando G =

Bd (0, ), que es abierto de (R2 , eucldea), ocurre que G A no es abierto
de (R2 , eucldea), pero s lo es de (A, eucldea|A )
Nota 2.7.4. Si B A X y (X, T ) espacio topolgico, denotamos por
X A
B a la clausura de B en (X, T ), y B , a la clausura de B en (A, TA ).
A X
Probar que B = B A.
Nota 2.7.5. Sea (X, d) un espacio (seudo)mtrico, y sea Td 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 Td|A , entonces se tiene
Td|A = (Td )A . Se deja como ejercicio comprobar la igualdad (Ayuda: se

tiene que para todo a A, Bd|A (a, ) = Bd (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 6= y A 6= J. Escogemos un t0 J A.
Entonces si
Figura 2.10:
A0 = A (, t0 ) = A (, t0 ]
A1 = A (t0 , ) = A [t0 , )
necesariamente A0 6= A1 6= .
Supongamos A0 6= . Como A es abierto en (J, eucldea), tambin lo es
A0 = A(J (, t0 )) por ser interseccin de dos abiertos en (J, eucldea).
Del mismo modo, A0 es cerrado en (J, eucldea).
El conjunto A0 est acotado por t0 superiormente y A0 6= , entonces
existe a = sup A0 . Como J es in intervalo, para todo t A0 , tenemos
a [t, t0 ] J. Sabemos por el Ejemplo 2.3.7 que a es un punto adherente
J
de A0 en (R, eucldea). Por la Nota 2.7.4, tenemos que a A0 J = A0 .
Ahora bien, como A0 es cerrado en (J, eucldea), entonces, a A0 .
En particular, a < t0 . Por otro lado, de ser A0 abierto se sigue que
existe > 0 con {t J; |t t0 | < } A0 , entonces si 0 < < con
a + [a, t0 ] J tenemos a + A0 y a + > a, por lo que a no es
supremo de A0 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:
Definicin 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 verifi-
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 verifica 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) = X f 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) 6= . 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 definicin de punto adherente,
se tiene que f 1 (G) A 6= . Luego, existe a A con a f 1 (G).
Entonces, f (a) Gf (A), es decir, Gf (A) 6= , 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
x1 , x2 X con f (x1 ) < 0 y f (x2 ) > 0, entonces x0 X con f (x0 ) = 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
1 1
A = f ((t, )) coincide con f ([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 (x0 ), x0
/ A pues a = f (x0 ) < t, mientras que si
f (x1 ) = b entonces x1 A pues b > t. Esto nos dice que A 6= , X, lo
que contardice a).
b) c)
Si f (x1 ) = a < 0 y f (x2 ) = b > 0. Tenemos a b, entonces [a, b] f (X).
Por b) sabemos que 0 [a, b] f (X). Luego, x0 X con f (x0 ) = 0
c) a)
Si no no se cumpliese a) entonces existe A 6= , X abierto y cerrado a la
vez. Sea f : (X, T ) (R, eucldea) definida como

+1 si x A
f (x) =
1 si x 6 A
Afirmamos 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 6 G f 1 (G) =

Supongamos 1 G y 1 6 G f 1 (G) = A

Supongamos 1 G y 1 6 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 (Bd (x, ))
Bd (f (x), ).
Demostracin. (1) (2) Como Bd (f (x), ) es abierto de (Y, T ), por (1)
sabemos que f 1 (Bd (f (x), )) es abierto con de (X, T ). De este modo,
si f (x) Bd (f (x), ), entonces x f 1 (Bd (f (x), )). As, por definicin
de abierto, f 1 (Bd (f (x), )) es entorno de x, luego existir > 0 tal que
Bd (x, ) f 1 (Bd (f (x), )). Y por tanto, f (Bd (x, )) Bd (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 Bd (f (x), ) G. Por (2), existir > 0 tal que f (Bd (x, ))
Bd (f (x), ) G. Luego, Bd (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 {xn }n1 X y {xn }n1 converge a x0 en (X, d), entonces
{f (xn )}n1 converge a f (x0 ) en (Y, d).
Demostracin. (1) (2) Debemos probar que para cualquier G abierto

de (Y, d ) con f (x0 ) G, existe un n0 tal que f (xn ) G n n0 .
En efecto, por (1) sabemos que f 1 (G) es abierto de (X, d). Adems, si
f (x0 ) G, entonces x0 f 1 (G). Por hiptesis, si {xn }n1 converge a
x0 , entonces existe n0 con xn f 1 (G); es decir, f (xn ) G para todo
n n0 .
(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 {an }n1 A convergiendo a x. Entonces,
por (2), {f (an )}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, TA ) (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) = y0 Y x
X. Entonces, sea U Y abierto en (Y, T ), tendremos que f 1 (U) =
si y0 6 U, que es un abierto; y f 1 (U) = X si y0 U, que tambin es
abierto. Luego f es continua.
b) Sea U abierto de (X, T ), entonces id1 (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, TA ) (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 fe : (X, T )

e
(f (X), T |f (X) ) la restriccin sobre la imagen, dada por f(x) = f (x)
e
x X. Entonces f es continua.
Demostracin. Sea U abierto de (f (X), T |f (X) ). Por definicin 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. No siempre la aplicacin identidad id : (X, T )

(X, T ) va a ser continua si T = 6 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 {xn }n1 = { n1 }n1
converge a 0 en la topologa eucldea. Sin embargo, se tiene que id(xn ) =
xn no converge a id(0) = 0, pues Bdiscreta (0, ) = {0} para 1, y
xn 6 {0} n 1
2. Ahora, sea id : (R2 , eucldea) (R2 , taxi). En este caso, id va a ser
continua, a pesar de tener distintas distancias definiendo las topologas de
los espacios de salida y llegada. Anlogo se tendr que id : (R2 , taxi)
(R2 , eucldea) es continua.
Definicin 2.8.9. Una aplicacin f : (X, T ) (Y, T ) se dice equivalen-
cia topolgica (homeomorfismo) 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 id1 : (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 pi : (Rn , eucldea) (R, eucldea),
definidas como pi (x1 , ..., xn ) = xi , para 1 i n son siempre continuas.
n
Demostracin. Aplicaremos el criterio . Dado (x1 ,p

Pxnn ) R y 2>
...,
0, debemos probar que si de ((x1 , ..., xn ), (x1 , ..., xn )) = i=1 (xi xi ) <

, entonces |xi xi | < . pPn
2
En efecto, basta tomar = , de manera que i=1 (xi xi ) < ,
deduciendo que |xi xi |2 < 2 , luego |xi xi | < .
Proposicin 2.8.12. Una aplicacin f : (X, T ) (Rn , eucldea) es

continua si y slo si pi 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 pi son continuas, la composicin de aplicaciones
continuas es continua. Luego, pi f es continua para todo 1 i n.
Para la otra implicacin, suponemos que cada pi f es continua.
Entonces, sea U Rn abierto de (Rn ,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,
Bd (f (x), ) U. Entonces, si f (x1 , ..., xn ) = (y1 , ..., yn ), se tendr que
Bd (f (x), ) = {(z1 , ..., zn ) Rn : max{|yi zi |} < } |yi zi | <
i zi (yi , yi + ) que es un abierto eucldeo en R.
Por tanto, como pi f es continua, entonces (pi f )1 (yi , yi + ) es
abierto de (X, T ). Y adems, (pi f )1 (yi , yi +) = f 1 (p1 i (yi , yi +
)) = f 1
Tn(R R ... (y
Qi n , y i + ) (i)
... R). De este modo, se tendr
que x i=1 Ai = f ( i=1 (yi , yi +)) = f (Bd (f (x), )) f 1 (U),
1 1
luego f 1 (U) es entorno de todos sus puntos.
Proposicin 2.8.13. Si f : (X, T ) (Y, T ) es un homeomorfismo 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 homeomorfismo, entonces f 1 : (Y, T )

(X, T ) es continua. Luego (f 1 )1 (G) = f (G) es abierto de (Y, T ).
Definicin 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 homeomorfismo 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 homeomorfismo 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 homeomorfismo.
La segunda equivalencia se hace de modo anlogo.
Ejemplo 2.8.16. 1. Las proyecciones pi : (Rn , eucldea) (R, eucldea)

son aplicaciones abiertas y no cerradas.
Figura 2.12:
En efecto, sea G abierto de (Rn ,eucldea), debemos probar que pi (G)

es entorno de todos sus puntos para ver que pi (G) es abierto de (R,eucldea).
Entonces, sea x pi (G), se tendr que existe y = (y1 , ..., yn ) G con
yi = x. Por propiedad de los espacios eucldeos, va a existir > 0 tal
que Bd (y, ) G. De este modo, pi (Bd (y, )) = (x , x + ) pi (G), es
decir, pi (G) es entorno de x.
Sin embargo no es cerrada. Basta ver un contraejemplo: sea F =
{(x, y) : y = x1 , x > 0} cerrado de (R2 ,eucldea) (ya que R2 F es abier-
to). Sin embargo, p1 (F ) = (0, ), que no es cerrado.
Figura 2.13:
2. Veamos un ejemplo de aplicacin biyectiva y continua que no es

homeomorfismo. Sea f : ([0, 2), eucldea) (R2 , eucldea), definida co-
mo f (t) = (cos t, sen t). Entonces, f es continua pues p1 f y p2 f
son las aplicaciones cos t y sen t, respectivamente, que son continuas.

As que, como f ([0, 2)) es la circunferencia unidad S 1 , vamos a definir
fe : ([0, 2), eucldea) (S 1 , eucldea) la restriccin de f .
Entonces, fe es continua pues f lo es. Adems, fe es biyectiva. Sin
embargo, fe1 no es continua, ya que tomando la sucesin (xn , yn ) =
(cos(2 n1 ), sen (2 n1 )), sta va a converger a (1, 0) S 1 , pero
fe1 (xn , yn ) = 2 n1 no converge en [0, 2) por hacerlo a 2 6 [0, 2).
3. Sean (a, b) y (a , b ) intervalos de R. Definimos la aplicacin f :

a
((a, b), eucldea) ((a , b ), eucldea) como f (x) = y = bba (x a) + a .
Figura 2.14:
Entonces, esta aplicacin es continua, biyectiva y su inversa, f 1 (y) =

ba
b a
a ) + a, tambin es continua. Luego, f es un homeomorfismo.
(y
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) = arctan y 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) = ex que es continua y biyectiva, y cuya inversa f 1 (y) = ln 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).
Definicin 2.8.18. Dada f : (R, eucldea) (R, eucldea), se llama
grfica de f a f = {(x, y) : y = f (x)} R2
Ahora, consideramos f : (R, eucldea) (R2 , eucldea) definida co-
mo f (x) = (x, f (x)). Entonces, f es inyectiva, pues f (x) = f (x )
implica que x = x . As, la restriccin
ff : (R, eucldea) (f , eucldea)
va a ser una aplicacin biyectiva. Y ff 1 ((x, y)) = x, es decir,
ff 1 es la
1
restriccin de la proyeccin pi a f . Luego, ff es continua.
De este modo, ff es continua, si y slo si p1 ff = idR y p2 ff = f
son continuas, si y slo sif es continua. Por tanto, f es continua, si y slo
si
ff es homeomorfismo entre (R,eucldea) y (f ,eucldea).
Definicin 2.8.19. Una inmersin es una aplicacin continua e inyec-

tiva f : (X, T ) (Y, T ), cuya restriccin a la imagen fe : (X, T )
(f (X), Tf (X) ) es homeomorfismo.
Proposicin 2.8.20. Si f es continua, f es una inmersin de (R,eucldea)
en (R2 ,eucldea).
Demostracin. Si f = {(x, y) R R2 : y = f (x)} R3 , se prueba
igual que antes que f es continua, si y slo si f es una inmersin (es
decir,
ff es homeomorfismo).
Ejemplo 2.8.21. Dada la funcin f (x) = (cos x, sen x) R2 , entonces
f = {(x, cos x, sen x) : x R} R3 se trata de una hlice en R3 . Por
tanto, toda hlice es una inmersin de la recta R en R3 .
Figura 2.17:
Captulo 3
Compacidad
3.1. Definicin y primeros ejemplos
Definicin 3.1.1. Dado un conjunto X y A X, un recubrimiento

S de A
en X es una familia {C } de subconjuntos de X tal que A C .
S
Nota 3.1.2. Si A = X la inclusin es una igualdad: X = C .
Definicin 3.1.3. Un subrecubrimiento
S de {C } es una subfamilia
{C } con y an A C
Definicin 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 finito.
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, TA )
es compacto.
44
CAPTULO 3. COMPACIDAD 45
Demostracin. [] Supongamos A compacto en (X, T ).

Sea {G } un recubrimiento
S de A por abiertos de la topologa restric-
cin TA , entonces A = G y para cada se tiene G = H A
con H abierto S ed (X, T ).
S
Ahora, A = G H . Por tanto, {H } es recubrimiento
de A por abiertos de (X, T ). Luego, utilizando la hiptesis,
1 , . . . , n con A H1 Hn , lo que implica que
A = (H1 Hn ) A = (H1 A) (Hn A) = G1 Gn ,
por lo tanto tenemos que (A, TA ) es compacto.
[] Recproco: (A, TA ) es compacto. A es compacto de (X, S T )?
Sea {U } recubrimiento de A por abiertos de T , A U .
Entonces:
S S
A = ( U ) A = (U A) donde las intersecciones son abiertos
de (A, TA ). Aplicando la hiptesis, 1 . . . n con A = (U1 A)
(Un A) U1 Un .
Por lo tanto, A es compacto en (X, T ).
Ejemplo 3.1.7. S (Rn , eucldea) no es compacto.

n
Tenemos: R = n1 Bd (, n), con d= distancia eucldea y = origen.
S
Pero, no existe n1 , . . . nk con Rn = kj=1 Bd (, nj ), pues en tal caso,Rn =
Bd (, n0 ), con n0 = max{n1 , . . . nk }
Ejemplo 3.1.8. (X, discreta) es compacto X es finito.
Ejemplo 3.1.9. En cualquier espacio topolgico (X, T ) todo conjun-

to finito es siempre compacto.
S En efecto, sea el conjunto finito A =
{a1 , . . . , as } y A G , con G abierto de (X, T ). Para cada
ai encontramos un Gi con a1 Gi (1 i s). Entonces, A
G1 Gs ; por tanto, A es compacto.
Ejemplo 3.1.10. (R, cofinita) es compacto. Recordemos que la topologa

cofinita es la familia {, A R tal que R A sea finito }. Sea R =
G con G abierto de la topologa cofinita. Dado x R, 0 con
x G0 , lo que implica que G0 6= . Luego, R G0 = {x1 , . . . xn } es
finito. Ahora, como en el Ejemplo 3.1.9, dado xi , sea Gi con xi Gi .
Entonces tenemos que:
R = (R G0 ) G0 = {x1 , . . . , xn } G0 G1 Gn G0 .
Hemos probado que (R, cofinita) es compacto.
Ejemplo 3.1.11. Toda unin finita 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 finita de G }.
Tenemos que A 6= pues si tomamos x = a, tenemos que [a, a] = {a} y
a est en algn G0 pues [a, b] G .
Sea x0 = supA. Afirmamos:
1. x0 A
2. x0 = b, y con esto se habra demostrado el ejemplo.
Veamos (1):
x0 [a, b] G , luego con x0 G , y como G es abierto,
existe > 0 con (x0 , x0 + ) G . Como x0 es supremo, x1 A
con x1 (x0 , x0 ]. Como x1 A, entonces 1 , . . . , n con [a, x1 ]
G1 Gn . Lo que implica que
[a, x0 ] [a, x1 ] (x0 , x0 ] G1 Gn G .
Por tanto, aplicando la definicin de A, tenemos que x0 A.

Veamos (2):
R.A.: Supongamos que x0 < b, entonces > 0 tal que [x0 , x0 +) [a, b].
Sea 0 = min{, }, donde est dado ms arriba. Entonces, [x0 , x0 +
0 ) G , luego,
h 0 i
a, x0 + [a, x0 ] [x0 , x0 + 0 ) G G1 Gn ,
2
0
y por definicin de A, tenemos que x0 + A. Contradiccin, porque
2
0
x0 + > x0 .
2
Luego, x0 = b. Por tanto, [a, b] es compacto.
Proposicin 3.1.13. Sea (X, d) espacio (seudo)mtrico. Entonces, todo

C X compacto est acotado.
S
Demostracin. S Sea x 0 C cualquiera. Tenemos que X = n=1 Bd (x0 , n),
luego C B
n=1 d 0 (x , n). Como C es compacto, n1 , . . . , nk con C
Bd (x0 , n1 ) Bd (x0 , nk ) Bd (x0 , n0 ) con n0 = max{n1 , . . . , nk }. Por
tanto, x, x C, tenemos que d(x, x ) d(x, x0 ) + d(x , x0 ) < 2n0 ; esto
es, C est acotado.
3.2. La compacidad y los conjuntos cerrados

Definicin 3.2.1. Una familia de conjuntos {A } se dice que tiene
la Propiedad de Interseccin Finita (PIF) si toda subfamilia finita
A1 , . . . , An tiene interseccin A1 An 6= 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 F1 ) (X Fn ). Tomando complementarios,
= F1 Fn , que es una contradiccin con la PIF.
Veamos 2) 1).
Sea {G } un recubrimiento por abiertos de X. Es decir, X = G
y cada G es abierto. Tomando complementarios, = (X G ).
Aplicando 2), la familia {X G } no puede tener la PIF, y por
definicin: 1 , . . . , n con (X G1 ) (X G1 ) = . Luego,
X = G1 G2 Gn . 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 ) ( G ), y por tanto, X =
(X F ) ( G ). As, {(X F ), G } es un recubrimiento por
abiertos de X. Aplicando la hiptesis, 1 , . . . , n con
X = (X F ) (G1 Gn ). Como F (X F ) = , necesariamente
F G1 Gn . 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 Haussdorff

Proposicin 3.3.1. (Separacin de punto y compacto)
Sea (X, T ) un espacio topolgico con la propiedad de Haussdorff. Sea
F X compacto y x 6 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 6 F entonces x 6= y, y por la
propiedad de Hausdorff existen abiertos Vy y Uy con x Uy , y Vy y Vy
Uy = . S S
Ahora, F = yF {y} yFSVy y como F esT compacto y1 . . . yn con
F Vy1 Vyn . Sea V = ni=1 Vyi y U = ni=1 Uyi . Obsrvese que V
es abierto y U tambin (por ser interseccin finita de abiertos).
Adems, F V y x U.
Por ltimo, U V = U (Vy1 Vyn ) = (U Vy1 ) (U Vyn )
(Uy1 Vy1 ) (Uy2 Vy2 ) (Uyn Vyn ), 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 Hausdorff (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 6 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-
dorff. Sean F1 , F2 X compactos disjuntos. Entonces existen abiertos U
y V de (X, T ) con F1 U, F2 V y U V = .
Demostracin. Si x F1 , entonces, como F1 F2 = , x 6 F2 . Aplicando
la proposicin anterior: abiertos Ux y Vx con Ux Vx = tales que
x Ux y F2 SVx . S
Tenemos F1 = xF1 {x} xF1 Ux y por ser F1 compacto, x1 , . . . , xn
con F1 Ux1 Uxn .
Sean U = ni=1 Uxi y V = ni=1 Vxi . Ntese que U y V son abiertos (este
ltimo por ser interseccin finita de abiertos). Claramente F1 U y

F2 V .
Por ltimo, U V = (Ux1 Uxn ) V = (Ux1 V ) (Ux2 V )
(Uxn V ) (Ux1 Vx1 ) (Ux2 Vx2 ) (Uxn Vxn ) = .
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 ).
S
Demostracin.
S Seaf (A)S = G con G abierto de (Y, T ), entonces
A f 1 G = f 1 (G ) donde f 1 (G ) es abierto por ser
f continua. Como A es compacto 1 . . . n con A f 1 (G1 )
f 1 (Gn ) f 1 (G1 Gn ), luego f (A) G1 Gn 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 nfimo 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 Hausdorff. 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 Hausdorff 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 Hausdorff de (Y, T ).
Corolario 3.4.5. (Homeomorfismos entre espacios de Hausdorff com-
pactos) Toda aplicacin biyectiva y continua, f : (X, T ) (Y, T ) entre
espacios compactos y de Hausdorff es un homeomorfismo.
Demostracin. Por la proposicin anterior, f es cerrada, y por hiptesis,
es continua y biyectiva, por tanto, f es un homeomorfismo.
Ejemplo 3.4.6. La circunferencia unidad, S 1 R2 , es un compacto de
(R2 , euclidea)
Sea f : ([0, 2], eucldea) (R2 , eucldea) dada por f (t) = (cos t, sen t).
Figura 3.1: Figure
f es continua pues p1 f (t) = cos t; p2 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
A A es cerrado y por herencia de compacidad ya que A que
es compacto, tenemos que A es compacto.
Ejemplo 3.4.8. Sea la sucesin F1 F2 . . . de cerrados encaja-
dos, distintos del vaco, en un espacio topolgico con la propiedad de
Hausdorff, (X, T ). Si F1 es compacto, entonces,
i=1 Fi 6= (Teorema de
Cantor).
En efecto, {Fn } tiene la PIF pues dado n1 , . . . , nk , Fn1 Fnk =

Fn0 6= , con n0 = max{n1 , . . . nk }. Todos estn contenidos en F1 que
es compacto. Luego, por la caractrizacin de compacidad por cerrados,
i=1 Fi 6= . 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 (X1 , d1 ) . . . (Xn , dn ) espacios (seudo)mtricos. Sobre el produc-
to cartesiano X1 X2 Xn podemos considerar las siguientes
seudo(distancias) ntaxi = ntaxi (d1 , . . . , dn ), nmax = nmax (d1 , . . . , dn ) y
neuclidea = neuclidea(d1 , . . . , dn ), dadas P por
ntaxi ((x1 , . . . , xn ), (x1 , . . . , xn )) = ni=1 di (xi , xi ),
nmax ((x1 , . . . , xn ), (x1 , . . . , xn )) = max{dpP

1 (x1 , x1 ), . . . , d(xn , xn )}, y
n
neuclidea ((x1 , . . . , xn ), (x1 , . . . , xn )) = 2
i=1 di (xi , xi ) , respectivamente.
Obsrvese que si X1 = X2 = = Xn = R y d1 = d2 = = dn =
eucldea sobre R entonces ntaxi = dtaxi , nmax = dmax y neuclidea = deuclidea
sobre Rn . 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 (X1 , d1 ) . . . (Xn , dn ) espacios (seudo)mtricos,
y sea cualquiera de las (seudo)distancias ntaxi , nmax o neuclidea .
Si Ai Xi , 1 i n compacto en (Xi , di ), entonces A1 An es

compacto en (X1 Xn , ).
Demostracin. Haremos la demostracin para = nmax . Es inmediato

comprobar:
nmax = 2max (n1
max
, dn ),
por lo que por induccin basta hacer el caso n=2.
Sea ahora {G } un recubrimiento S por abiertos de A1 A2 en (X1
max
X2 , 2 ). Es decir, A1 A2 G y cada G es abierto en (X1
X2 , 2max ).
Para todo (x, y) A1 A2 , existe un ndice (x, y) con (x, y)
G(x,y) . Como G(x,y) es abierto, tenemos que (x, y) > 0 tal que
B2max ((x, y), (x, y)) G (x, y).
Es fcil verificar la siguiente igualdad para todo > 0
B2max ((x, y), ) = Bd1 (x, ) Bd2 (y, ).

S S
Fijado y, A1 = xA1 {x} xA1 Bd1 (x, (x, y)). Entonces, por ser
A1 compacto, un conjunto finito Jy = {x1 , . . . , xn } tales que A1
Bd1 (x1 , (x1 , y))Bd1 (x2 , (x2 , y)) Bd1 (xn , (xn , y)). Tomamos y =
min{(x1 , y), . . . , (xn , y)} y consideremos las bolas
Bd2 (y, y ) con yS A2 . S
Tenemos A2 = yA2 {y} yA2 Bd2 (y, y ). Entonces, por ser A2 com-
pacto, y1 , . . . , yk con A2 S Bd2 (y1 , y1 ) Bdk (yk , yk ).
Afirmamos que A1 A2 1ik, xJy Jy G(x,y) , que es una unin
1 k
finita de los abiertos G originales. En efecto sea (x0 , y0 ) A1 A2
cualquiera. EntoncesSexiste k0 con 1 k0 k con y0 Bd2 (yk0 , yk0 ).
Ahora, x0 A1 xJy Bd1 (x, (x, yk0 )) y existe x Jyk0 con x0
k0
Bd1 (x , (x , yk0 )).
Por definicin, yk0 (x , yk0 ).
Tenemos (x0 , y0 ) Bd1 (x , (x , yk0 )) Bd2 (yk0 , yk0 ) Bd1 (x , (x, yk0 )
Bd2 (yk0 , (x , yk0 )) = B2max ((x , yk0 ), (x , yk0 )) G (x , yk0 ) con x
Jyk0 y1 k0 k.
Corolario 3.5.2. El paralelogramo (producto de intervalos) [a1 , b1 ]

[an , bn ] es compacto en (Rn , dmax ) (o equivalentemente (Rn , dtaxi ) o
(Rn , deuclidea))
Proposicin 3.5.3. (Teorema de Heine-Borel).

A R es compacto en (Rn , eucldea) si y slo si A es cerrado y acotado.
Demostracin. ) Tenemos que (Rn ,eucldea) es Haussdorff 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 (X1 , T1 ) y (X2 , T2 )

espacio topolgico. Se define sobre X1 X2 la topologa producto, T1 T2 =
{ y G X1 X2 , tales que para todo (x, y) G existen U y V abiertos
de T1 y T2 con (x, y) U V G}. Se puede demostrar, con una
demostracin similar a la de 3.5.1 que si A1 y A2 son compactos de
(X1 , T1 ) y (X2 , T2 ), respectivamente, entonces A1 A2 es un compacto
de (X1 X2 , T1 T2 ).
3.6. Compacidad en espacios mtricos

Proposicin 3.6.1. Sea (X, d) espacio mtrico y {xn }n1 X una
sucesin sin subsucesiones convergentes. Entonces:
1. El conjunto A = {x1 , x2 , x3 , . . . , xn , . . . } es infinito.
2. El conjunto de puntos de acumulacin de A, A = , es vaco.
Demostracin.
1. R.A.: Supongamos que A es finito, entonces cierto elemento xn0

aparece infinitas veces en la sucesin. Por tanto, xn0 = xn1 = xn2 =
= xnk = . . . con n0 < n1 < n2 . . . < nk < . . . . Luego existe una
subsucesin constante, y por tanto convergente. Contradiccin!
2. R.A.: Si x0 A , entonces por estar en un espacio mtrico, tenemos

que cualquier bola abierta de centro x0 contiene inifinitos puntos
de A: As:
xn1 Bd (x0 , 1)
xn2 Bd x0 , 21 con n2 > n1
xn3 Bd x0 , 13 con n3 > n2 > n1
...
xnk Bd x0 , k1 con nk > nk1 > . . . > n1
...
Es decir, existe una subsucesin {xk }k1 de {xn }n1 convergiendo a

1
x0 . En efecto, dado > 0, sea k0 con < , entonces d(xnk , x0 ) =
k0
1 1
< si k k0 . Llegamos a contradiccin. Por tanto, A = .
k k0
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 {xn }n1 sucesin sin sucesiones

convergentes. Entonces, por la propiedad anterior:
1. A = {x1 , . . . , xn , . . . } es infinito.
2. A = , lo que implica que todos los puntos de A son aislados. Es

decir, xn n con Bd (xn , n ) A = {xn }
3. A es cerrado
S y por tanto compacto al ser (X, d) compacto. Como
A n=1 d (xn , n ), n1 , . . . , nk con A Bd (xn1 , n1 )
B
Bd (xnk , nk ). Luego A = {xn1 , . . . , xnk }; es decir, A es finito, 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 finita de bolas de radio .
Demostracin. R.A.: Supongamos que 0 tal que X no se cubre con

una cantidad finita de bolas de radio 0 . Entonces tomamos x1 X
cualquiera:
X 6= Bd (x1 , 0 ) (en caso contrario, X quedara cubierto con una slo una
bola de radio 0 ), entonces x2 X tal que x2 6 Bd (x, 0 ) (si no, dos
bolas de radio 0 bastaran para cubrir X), luego d(x1 , x2 ) 0 .

De nuevo:
X 6= Bd (x1 , 0) Bd (x2 , 0 ), entonces, x3 X tal que x3 6 Bd (x1 , 0)
Bd (x2 , 0 ), luego d(x1 , x3 ) 0 y d(x2 , x3 ) 0 .
Reiterando el proceso, construimos una sucesin {xn }n1 X tal que
d(xn , xm ) 0 si m n Por la propiedad de Bolzano-Weierstrass,
{xnk }k1 subsucesin convergiendo a algn x0 X. Entonces si tomamos
0 0
la bola Bd x0 , , debe existir k0 con xnk Bd x0 , si k k0 . En-
2 2
tonces, si k, s k0 ,
0 0
d(xnk , xns ) d(xnk , x0 ) + d(xns , x0 ) < + = 0 .
2 2
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 = {U } de X existe > 0 (llamado nmero de
Lebesgue de U) tal que para cada bola abierta de radio , Bd (x, ) existe
0 con Bd (x, ) U0
Demostracin. R.A.: Supongamos que para > 0, x X con Bd (x , ) *
G , , tenemos que
dado 1 = 1, x1 con Bd (x1 , 1 ) * U ,
1
dado 2 = , x2 con Bd (x2 , 2 ) * U ,
2
...
1
dado n = , xn con Bd (xn , n ) * U , .
n
...
Es decir, hemos construido una sucesin {xn }n1 X que, por la propiedad
de Bolzano-Weierstrass, debe S contener una subsucesin {xnk }k1 que con-
verge a algn x0 X = U . Entonces 0 con x0 U0 . Sea
> 0 tal que Bd (x0 , ) U0 .

Por convergencia, dado , k0 tal que d(x0 , xnk ) < si k k0 . Por
2 2
1
tanto, x0 Bd xnk , . Sea k1 > k0 con < . Afirmamos que
2 nk1 2
1
Bd xnk1 , Bd (x0 , ) U0 , lo que lleva a contradiccin con la
nk1
eleccin delos xn .
1 1
Si y Bd xnk1 , , entonces d(xnk , y) < < , y
nk1 nk1 2

d(x0 , y) d(x0 , y) d(x0 , xnk ) + d(xnk , y) < + = ,
2 2
Figura 3.3:
luego, y Bd (x0 , ).
Nota 3.6.6. El lema de Lebesgue implica que si A X es cualquier

conjunto con dimetro (A) < , entonces A U0 para algn 0 .
En efecto, si a A, (A) < implica que A Bd (a, ) y esta bola est
contenida en algn U por el lema de Lebesgue.
Demostracin.
S (Final de la demostracin del teorema de Bolzano-Weierstrass).
Sea X = U con U = {U } un recubrimiento por abiertos de
X. Entonces, por el lema de Lebesgue, > 0 tal que x X ex-
iste (x) con Bd (x, ) U(x) , aplicando 3.6.4, x1 , . . . , xn con
X = Bd (x1 , ) Bd (xn , ) U(x1 ) U(x2 ) U(xn ) , luego
X = U(x1 ) U(x2 ) U(xn ) . Por tanto (X, d) es compacto.
Definicin 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
S
abierta Bd y, . Tenemos Y = yY Bd y, y por continuidad,
2 2
S
f 1 Bd y, es abierto de (X, d) y X = yY f 1 Bd y, .
2 n o 2
Por tanto, U = f 1 Bd y, es un recubrimiento por abiertos
2 yY
de X.
Aplicando el lema de Lebesgue, > 0 tal que si (A) < entonces,
A est contenido en algn abierto de U. Si x, x X con d(x, x ) < ,
entonces
({x, x }) < , luego y0 Y con {x, x } f 1 Bd y0 , .
2
As que f (x), f (x ) Bd y0 , . Por tanto,
2

d (f (x), f (x )) < d (f (x), y0) + d (y0 , 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) =
supx[0,1] {|f (x) g(x)|} = maxx[0,1] {|f (x) g(x)|}. En (X, d) considere-
mos la bola cerrada A = Bd [, ] con = constante 0 y arbitrario pero
fijo. A es cerrado y acotado pero no es compacto. Veamos esto ultimo:
R.A.: Sea {fn }n1 la sucesin en Bd [, ] indicada en la figura. Si A
fuese compacto, por la propiedad de Bolzano-Weierstrass, {fnk }k1 sub-
sucesin convergiendo a algn f0 A. Luego dado > 0, k0 con
d(fnk , f0 ) < , k k0 . Es decir, |fn (x) f0 (x)| < , x [0, 1].
1
Si x 6= 0, sea k con < x y k k0 . Lo que implica que fn (x) = 0 y
nk
|f0 (x)| < , > 0. Por tanto, f0 (x) = 0, y por ser f0 continua tene-
mos que f0 (0) = 0, luego f0 = . Pero d(fnk , f0 ) = d(fnk , ) = (fijo).
Contradiccin.
Figura 3.4:
3.7. Compacidad y completitud

Definicin 3.7.1. Sea (X, d) un espacio (seudo)mtrico. Una sucesin
{xn }n1 X se dice de Cauchy si dado > 0, n0 con d(xn , xn ) <
para todo n, n n0 .
Proposicin 3.7.2. Toda sucesin de Cauchy est acotada.
Demostracin. Sea (X, d) un espacio (seudo)mtrico y {xn }n1 X una
sucesin de Cauchy. Entonces, existe n0 tal que para todo n, m n0
d(xn , xm ) < 1. Si r > mx {1, d(xn0 , xi ); 1 i n0 1}, tenemos que
d(xn0 , xn ) < r para todo n 1 y la sucesin est acotada.
Proposicin 3.7.3. Toda sucesin convergente es de Cauchy.

Demostracin. Si {xn }n1 converge a x0 en (X, d) entonces dado existe
2

n0 tal que d(xn , x0 ) < si n n0 , por lo que
2

d(xn , xn ) d(xn , x0 ) + d(x0 , xn ) < + =
2 2

si n, n n0 .
Definicin 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 {xn }n1 X de Cauchy. Por la propiedad de Bolazano-
Weierstrass, existe una subsucesin {xnk }k1 convergente a algn x0 X.
Afirmamos que {xn }n1 converge a x0 . En efecto, dado > 0 :

Por Cauchy, n0 con d(xn , xn ) < si n, n n0
2

Por convergencia, k0 con d(xnk , x0 ) < si k k0 .
2
Sea n1 = max{n0 , nk0 }, entonces si n n1 y nk n1 ,

d(xn , x0 ) d(xn , xnk ) + d(xnk , x0 ) < + = . Luego {xn }n1 converge
2 2
a x0 .
Corolario 3.7.6. Los espacios eucldeos (Rn , eucldea) son completos.
Demostracin. Sea {xn }n1 Rn una sucesin de Cauchy. Por 3.7.2
tenemos que esta sucesn est acotada y por tanto existe r tal que
{xn }n1 Bde [x1 , r] donde de denota la distancia eucldea. Como las
bolas eucldeas cerradas son compactos, se sigue de 3.7.5 que la sucesin
{xn }n1 converge en Bde [x1 , r] y por tanto en (Rn , eucldea).
3.8. Compacidad local

Definicin 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 Bd [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 Bd (x, ) N.

Si = , Bd [x, ] Bd (x, ) N, y como Bd [x, ] es cerrado y N es
2
compacto, entonces Bd [x, ] es compacto.
2) 3) : Es trivial tomando N = Bd [x, ].
3 1 : Sea M cualquier entorno de de x. Entonces x intM y existe
> 0 con Bd (x, ) M. Dado el entorno compacto N proporcionado por
3), tambin existe > 0 con Bd (x, ) N. Sea < min{, }, entonces
N = Bd [x, ] Bd (x, ) M es un entorno de x y como Bd [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 (Rn , 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 Bd [ 12 , 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 Bd [x, ] = [x , x + ] Q debe ser
compacto. Pero se serlo, lo sera tambin en (R, eucldea) y all no es
cerrado. Por tanto, Bd [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 ) es localmente compacto.
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 Bd [a, ] N A. Por
tanto, Bd |A [a, ] = Bd [a, ] es compacto. As obtenemos que (A, d|A )
es localmente compacto.
2. Sea b B. Como (X, d) es localmente compacto, > 0 con Bd [b, ]

es compacto. Adems Bd |B [b, ] = B Bd [b, ] es cerrado de la
topologa relativa de Bd [b, ] que es compacto. Luego Bd |B [b, ] es
compacto. Por tanto, (B, d|B ) es localmente compacto.
Captulo 4
Conexin
4.1. Conexin por caminos

Definicin 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.
Definicin 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 A es 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)
definida por (t) = (1 t)x + ty [x, y] A, es continua,
(0) = x y (1) = y.
2. Si (V, k . k) es un espacio vectorial normado, tal que dk.k (x, y) =k

x y k. Entonces (V, dk.k) es conexo por caminos.
En efecto, dados x, y V , sea : ([0, 1], eucldea) (V, dk.k ) con
(t) = (1 t)x + ty V , (0) = x y (1) = y. Veamos si es
continua:

Dado > 0 bastar tomar un kxk+kyk para satisfacer el criterio
de continuidad. En efecto,
k (t)(t ) k=k (1t)x+ty(1t )xt y k=k (tt )x+(t t)y k

|t t | k x k +|t t | k y k= |t t |(k x k + k y k).
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 6= X, . Sea x0 A (aqu usamos que
A 6= ) y x1 / A (aqu aplicamos que A 6= X). Por hiptesis existe
un camino : ([0, 1], eucldea) (X, T ) con (0) = x1 y (1) = x2 .
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 R el 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 nfimo.
1. Supongamos que A no tiene ni supremo ni nfimo. En este caso

dado n N existen an , bn A tales que an < n y bn > n.
Entonces [n, n] [an , bn ]. Por (3), [an , bn ] A, para todo n.

[
[
Ahora R = [n, n] [an , bn ] A R entonces A = R.
n=1 n=1
2. Supongamos que A tiene supremo pero no nfimo. 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 an A con an n.
Por (3) se tiene que [an , b] A. Entonces

[
[
(, b] = [n, b] [an , b] A (, b] A = (, b]
n=1 n=1
3. Supongamos que A tiene nfimo pero no supremo. Probaremos slo

el caso en el que A no tiene mnimo.
Sea a = nf A, con a 6 A . Entonces se tiene n 1 bn A con
bn n y an A con an a + n1 . Por (3) se sigue [an , n] A
[ [
1 1
[an , n] A. Tambin [a + n , n] [an , n] [a + , n] A.
n=1 n=1
n
[
1
Ahora [a + , n] = (a, +) A. Adems A (a, ) por
n=1
n
a = nf A y a 6 A. As A = (a, ).
Si el nfimo es mnimo se deja como ejercicio. La demostracin es
anloga al caso 2.
4. Supongamos que A tiene supremo e nfimo. Probaremos primero el

caso en el que existe mximo pero no mnimo. Sean b = max A y
a = nf A con a 6 A. Igual que en el caso anterior, n 1, an A
con an a + n1 .
Entonces de (3) concluimos [an , b] A. Luego

[ [
1
(a, b] = [a + , b] [an , b] A (a, b]
n=1
n n=1
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, an A y bn A con an a + n1 y bn b n1 .
Por (3) se tiene [an , bn ] A
Finalmente,
[a + n1 , b n1 ] [an , bn ]
S S
(a, b) = n=1 [a + n1 , b n1 ] n=1 [an , bn ] 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.
Proposicin 4.1.6. Sea f : (X, T ) (Y, T ) continua. Si A X es

conexo por caminos f (A) tambin.
Consecuencia: Si f es homeomorfismo y (X, T ) es conexo por caminos,

entonces (Y, T ) tambin lo es.
Demostracin. Sea fe : (A, T /A ) (f (A), T /f (A) ) la restriccin sobre la

imagen. Como f es continua, fe 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 = fe para la cual
)
(0) = fe (0) = fe(x) = p
(1) = fe (1) = fe(y) = q
lo que demuestra que f (A) es conexo por caminos.
Proposicin 4.1.7. Sean (X1 , d1 ) y (X2 , d2 ) e. (seudo)mtricos conexos

por caminos. Entonces (X1 X2 , 2max ) es conexo por caminos, donde
Figura 4.1:
2max (d1 , d2 )((x1 , x2 ), (x1 , x2 )) = max{d1 (x1 , x1 ), d2 (x2 , x2 )}
Demostracin. Sean 1 : ([0, 1], eucldea) (X1 , d1) un camino de x1 a

x1 y 2 : ([0, 1], eucldea) (X2 , d2 ) un camino de x2 a x2 . Definimos
: ([0, 1], eucldea) (X1 X2 , 2max ), por (t) = (1 (t), 2 (t)). Es claro
que (0) = (1 (0), 2 (0) = (x1 , x2 ) y (1) = (1 (1), 2 (1) = (x1 , x2 ).
Probemos la continuidad de . Para ello sea t y > 0, veamos si existe
tal que si | t t |< entonces
2max ((t), (t )) = max{d1 (1 (t), 1 (t )), d2 (2 (t), 2 (t ))} < .
Se tiene:
(1) continua 1 con d1 (1 (t), 1 (t )) < si | t t |< 1
(2) continua 2 con d2 (2 (t), 2 (t )) < si | t t |< 2
Sea = mn{1 , 2 }, entonces 2max ((t), (t )) < .
Nota 4.1.8. La proposicin anterior es vlida tambin para las (seu-

do)distancias 2taxi y 2euclidea ; ver Seccin 3.5. Ms generalmente, la proposi-
cin es vlida para (X1 X2 , T1 T2 ) donde T1 T2 es la topologa producto
en 3.5.5. Igualmente se puede generalizar a un nmero cualquiera de fac-
tores (X1 , d1 ), ..., (Xn , dn ) 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. Reflexiva: 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, 21 ] [0, 1] tal que (t) = 2(t). De igual forma, sea
: [ 12 , 1] [0, 1] tal que (t) = 2t 1. Ambas aplicaciones son
obviamente continuas.
Sean e = : [0, 12 ] X con e(t) = (t) = (2t) y e =
e = (t) = (2t 1).
: [ 21 ] X con (t)
Entonces se define : [0, 1] X por

e(t) = (2t) si t 12
(t) = e = (2t 1) si t 1
(t) 2
est bien definida por ( 12 ) = (1) = (0) = y. Comprobemos

que es continua.
Sea F cerrado de (X, T ) se tiene 1 (F ) = e1 (F ) e1 (F ), donde,
por continuidad, e1 (F ) = H [0, 12 ], con H cerrado de [0, 1]. Y
e1 (F ) es cerrado de [0,1]. Anlogamente e1 (F ) es cer-
por tanto
rado de [0, 1]. Por tanto, se deduce que 1 (F ) es cerrado de [0, 1].
Finalmente,
(0) = e(0) = (0) = x
e = (1) = z
(1) = (1)
lo que demuestra que x z.
Proposicin 4.1.10. Sea {C } familia de conexos por caminos en

[Supongamos que 0 tal que C C0 6= . Entonces
(X, T ).
C0 = C es conexo por caminos.

Demostracin. Sean x, x C0 , entonces x C para algn y

x C para algn .
Como C C0 6= entonces x0 C C0 . Luego x se conecta con x0
por un camino en C C0 .
Igual existe x0 C C0 , luego x0 y x se conectan por un camino en
C C0 .
Figura 4.3:
Adems, C0 conexo por caminos implica que x0 y x0 se conectan por

un camino en C0 C0
Aplicamos la propiedad transitiva de 4.1.9 y obtenemos que x y x se
conectan por un camino en C0 ; es decir, C0 es conexo por caminos.
Proposicin 4.1.11. (Variante 1) Supongamos que la familia

\ en 4.1.10

cumple ahora que C C 6= , ; en particular si C 6= .

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 C1 , C2 , ..., Cn una sucesin de

subconjuntos conexos por caminos de algn espacio topolgico (X, T ) tal

[
que Ci Ci+1 6= i 1. Entonces C = Cn es conexo por caminos.
n=1
Figura 4.4:
Demostracin. Sea
D1 = C1 es conexo por caminos.
D2 = C1 C2 es conexo por caminos por 4.1.11.
D3 = C1 C2 C3 = D2 C3 es conexo por caminos ya que D2 es conexo
por caminos y D2 C3 6=
..
.
[n
Dn = Ci = Dn1 Cn es conexo por caminos pues Dn1 es conexo
i=1
por caminos y Dn1 Cn 6= .

[
Tenemos que C = Dn . Ahora bien, los Di son conexos por caminos y
n=1
n=1 Dn = D1 , 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 = J1 J2 ...Jn en
(Rn ,eucldea) con Ji un intervalo (en particular Rn con Ji = R i
n) es conexo por caminos. En efecto, por 4.1.3(1) P es conexo en
el espacio mtrico (Rn , max ) que tiene el mismo espacio topolgico
subyacente que la distancia eucldea sobre Rn .
2. El crculo unidad C = {(x, y) R; x2 + 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 (R2 ,eucldea) es conexa or caminos.

Basta tomar f : ([0, 2], eucldea) (R2 , 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 R3 es conexa por caminos en (R3 ,eucldea).

Para ello consideramos los hemisferios E+2 = {(x, y, z) S 2 ; z 0}
Figura 4.5:
y E2 = {(x, y, z) S 2 ; z 0} y si B 2 es el disco unidad de R2

definimos p : S 2 B 2 por p(x, y, z) = (x, y, 0). Obsrvese que la
restriccin de p a E+2 es un homeomorfismo p+ . Anlogamente los
es la restriccin a E2 . Sabemos que el disco unidad es conexo por
caminos. Se tiene que E+2 y E2 son conexos por caminos y por tanto
lo son E+2 y E2 . 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 (R3 ,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
Definicin 4.2.1. Sea (X, T ) un espacio topolgico. Se llama compo-
nente conexa por caminos de x X al mayor conexo por caminos Cx X
con x Cx .
Lema 4.2.2. Cx existe.
Demostracin. Sea C = {C X; x Cy es conexo por caminos}. La

familia C =
6 no es vaca pues {x} C. \
Ahora, por la variante anterior, como x C 6= , entonces x
[ C C
C = D es conexo por caminos. Adems, si C es conexo por caminos
C C
y x C, por definicin se tiene que C C, luego C D y, por tanto, D es
el mayor entre todos los conjuntos que contienen a x; es decir Cx = D.
Proposicin 4.2.3. Cx 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 = Cx .
Comenzamos probando Cx Z. Sea y Cx , entonces : [0, 1] Cx
X con (0) = x y (1) = y. Luego, es un camino en X y, por tanto,
y Z y Cx 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 Cx y hemos demostrado
Z Cx .
Proposicin 4.2.4. (Propiedades de componentes conexas por caminos)
Sea (X, T ) un espacio topolgico. Se cumplen:
1. x Cx .
2. Cx es conexo por caminos.
3. Cx es la clase de x por la relacin estar conectado por un camino
en (X, T )".
4. Cx Cy 6= Cx = Cy . Es decir, las componentes conexas por
caminos forman una particin de X.
Definicin 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 es conexo por caminos.
Proposicin 4.2.6. Si (X, T ) es localmente conexo por caminos, la com-
ponente conexa por caminos (Cx ) es abierto y cerrado x X.
Demostracin. Probemos que es abierto.
Sea y Cx y Cy Cx Cx = Cy . Sea N = X, por hiptesis existe
N X entorno de y con N conexo por caminos. En particular y
intN N y N . Como N es conexo por caminos, necesariamente
N Cy y intN intCy = intCx . Luego, y intCx Cx
intCx Cx = intCx Cx es abierto.
Veamos que Cx es cerrado.
Sea y Cx entonces para el entorno N anterior y intN (intN )
Cx 6= N Cx 6= Cx N es conexo por caminos.
Adems, Cx Cx N y por definicin de componente Cx = Cx N
N Cx y Cx luego, Cx Cx Cx = Cx Cx es cerrado.
Proposicin 4.2.7. (Invarianza del nmero de componentes conexas por
caminos)
Sea f : (X, T ) (Y, T ) un homeomorfismo. Si Cx es la componente
conexa por caminos de x, entonces f (Cx ) 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 (Cx ) es conexo por caminos

y f (x) f (Cx ). Si Df (x) es la componente de f (x) en (Y, T ) se tiene que
f (Cx ) Df (x) . Como f 1 es continua, entonces f 1 (Df (x) ) es tambin
conexo por caminos y x = f 1 (f (x)) f 1 (Df (x) ). Luego, por definicin
de componente conexa por caminos f 1 (Df (x) ) Cx Df (x) f (Cx )
y, por tanto, f (Cx ) = Df (x) .
Demostracin. (Consecuencia)
Sea CompX y CompY las familias de componentes conexas por caminos
de (X, T ) e (Y, T ), respectivamente. Definimos
: CompX CompY
Cx 7 f (Cx ) = Df (x)
es biyectiva con inversa
1 : CompY CompX
Dy 7 f 1 (Dy ) = Cf 1 (y)
En efecto, se tiene:
1 (Cx ) = 1 (Df (x) ) = f 1 (Df (x) ) = Cf 1 (f (x))
(Dy ) = (f 1 (Dy )) = (Cf 1 (y) ) = f (Cf 1 (y) ) = Df (f 1 (y)) = Dy
1
Ejemplo 4.2.8. Veamos algunos ejemplos:

1. Los espacios eucldeos (Rn ,eucldea) son conexos por caminos y
localmente conexos por caminos.
(Rn ,eucldea) viene del espacio normado (Rn , k keuclidea ) y los
espacios normados son todos conexos por caminos.
Otra forma de razonarlo sera:
(Rn , eucldea) = (Rn , neuclidea = 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 (Rn ,eucldea).
Entonces (Rn ,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) An , An = {(x, y); x = n1 }.
n=1
OX, OY, An son conexos por caminos y An OX 6= y OX OY 6=

. 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 6= 0. Tomamos Bd (p, r) con
r < d(p, OX), d = eucldea|X y N Bd (p, r) entorno conexo
por caminos de p.
Como N es entorno de p, existe > 0 tal que Bd (p, ) N. Adems
p = lm pn con pn Zn y existe n0 con pn Bd (p, ) N si n n0 .
Sea t con n01+1 < t < n10 . Entonces, no podemos encontrar un
camino de pn0 a pn0 +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 = ( An ) ( Bn ) donde A0 = OY , y n 1
n=0 n=1
Figura 4.10:
Figura 4.11:
An = {(x, y) : x = n1 } y Bn = {(x, y) : y = n; n+1

1
x n1 }.
Consideramos (X, eucldea).
Cada Hi = Ai Bi Ai+1 i 1 es unin de tres conexos (por lo
que Hi es conexo) y uno corta a los otros dos. Entonces se tiene:
H1 H2 = A2 H1 H2 es conexo.
(H1 H2 ) H3 = A3 H1 H2 H3 es conexo.
..
.

[
Por tanto, H = Hn es conexo por caminos. Sin embargo, X no
1
es conexo por caminos.
R.A: supongamos : ([0, 1], eucldea) (X, eucldea) tal que
(0) = p H y (1) = q A0 .
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,
R2 cuadrado centrado en el origen con ([0, 1]) . Se tiene:
n0 tal que n n0 Bn = ([0, 1]) Bn = n n0 .
Sea R = {(x, y); x = } con n01+1 < < n10 . Entonces U =
{(x, y); x < } y V = {(x, y); y > } son abiertos de (R2 ,eucldea)
disjuntos. Adems, p V y q U. Como Bn0 ([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 A0 ) = Z A0 6= , entonces Z = X;
en efecto, Z A0 sera un conjunto abierto y cerrado (6= ) en la
topologa restriccin de XA0 que es conexo por caminos. Entonces
Z A0 = X A0 ; luego X A0 Z. Adems X A0 = X, por
lo que al ser Z cerrado X = X A0 Z = Z; es decir Z = X.
Observemos que el caso Z A0 = no se puede dar ya que si as
fuese Z A0 y como Z es tambin abierto y los puntos de A0 son
adherentes a X A0 , entonces se seguira ZA0 = Z(X A0 ) 6= .
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 A0 donde A0 es cerrada pero H no, pues H = X 6= H.
4.3. Puntos de Corte

Definicin 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 (R2 , eucldea) ningn x R2 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.

Definicin 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 homeomorfismo:
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 homeomorfismo lo es su restriccin sobre la

imagen fe : (X {x}, T /X{x} ) (Y {f (x)}, T /Y {f (x)} ) con inversa,
la restriccin sobre la imagen de f 1
fg
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 homeomorfismo 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 homeomorfismo 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. Definicin 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.
Definicin 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 U V =
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 6= , 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 (X A)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 U V = . Luego U = X V que es cerrado.
Por tanto, U es abierto y cerrado, U 6= y U 6= X pues V = X U 6= .
Por tanto, (X, T ) es conexo.
Ejemplo 4.4.3. (R, discreta) no es conexo. S

x R, {x} = Bd (x, 1) es abierto. R {x} = y6=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 suficiente 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 x0 X. Por la proposicin anterior Cx0 es abierto y

cerrado, entonces Cx0 = X. Pero Cx0 = {y X : y se conecta por un
camino en X con x0 }, luego todo x X se conecta por un camino con
x0 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)
Proposicin 4.4.7. Sea f : (X, T ) (Y, T ) continua y A X conexo.

Entonces f (A) es conexo. En particular, si f es homeomorfismo y (X, T )
es conexo, entonces (Y, T ) tambin.
Demostracin. Por definicin (A, T /A ) es conexo. Como f es continua,

entonces la restriccin sobre la imagen fe : (A, T /A ) (f (A), T /f (A) ),
fe(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 fe continua, fg
1 (Z) es abierto y cerrado de (A, T / ) y como
A
A es conexo entonces fg 1 (Z) = A f g 1 (Z) = . De esta forma, si
fg
1 (Z) = A fe(A) = f (A) = Z y si fg1 (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 6= , V 6= 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 V = (G H) A = [(G H B)] A = [U V ] A = B A = A
U V = (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 6= entonces existe b B con b G. Como G es abierto y
b B A entonces G A 6= y por tanto U 6= .
De igual forma V 6= , entonces V 6= 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) 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
x1 , x2 X con f (x1 ) < 0 y f (x2 ) > 0, entonces x0 X con f (x0 ) = 0.
Definicin 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, Bd (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 6= y); consideramos A = {x} (A {x}),
donde {x} y A {x} = 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 = {y0 , y1} y T = {, Y, {y0}, {y1 }}. Es claro que (Y, T ) es un
espacio discreto. Definimos f : (X, T ) (Y, T ) como

y0 si x A
f (x) =
y1 si x B
Es inmediato comprobar f continua es continua ya que: f 1 () = ,

f 1 (Y ) = X, f 1 ({y0}) = A, f 1 ({y1 }) = 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 6= , 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 = C U y V = C V . Se
cumple que U V U V = , luego U V = y U , V 6= . Como
U y V son abiertos de (C, TC ) 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 C0 6=
(*). Entonces C = 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 C0 6= si

x C f (x) = y
x0 C C0
x C0 f (x) = y0
Entonces y = y0 , 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 C 6= , ; en particular si C 6= . Entonces C

sigue siendo conexo.
Proposicin 4.5.9. (Variante 2) Sean C1 , C2 , ..., Cn una sucesin de
subconjuntos conexos en un espacio topolgico (X, T ) con Ci Ci+1 6=

[
i 1. Entonces C = Cn es conexo.
n=1
Pasamos a estudiar la conexin del producto de espacios (seudo)mtricos.

Proposicin 4.5.10. Sean (X1 , d1 ) y (X2 , d2 ) espacios (seudo)mtricos
conexos. Entonces (X1 X2 , 2max ) con
2max ((x1 , x2 )(x1 , x2 )) = max{d1 (x1 , x1 ), d2(x2 , x2 )}
es conexo.
Demostracin. Sean (x01 , x02 ),(x11 , x12 ) X1 X2 .
Figura 4.14:
La aplicacin 1 : (X2 , d2 ) (X1 X2 , 2max ) dada por 1 (x2 ) =

(x01 , x2 ).
es isometra por tanto, continua. En efecto:
2max (1 (x2 )1 (y2 )) = max{d1 (x01 , x01 ), d2 (x2 , y2 )} = d2 (x2 , y2).
En particular, 1 (X2 ) = {x01 } X2 es conexo.
Anlogamente, 2 : (X1 , d1 ) (X1 X2 , 2max ) dada por 2 (x1 ) =
(x1 , x12 ) es una isometra y 2 (X1 ) = X1 {x12 } es conexo. Por lti-
mo, 1 (X2 ) 2 (X1 ) = {(x01 , x12 )} =
6 , luego, 1 (X2 ) 2 (X1 ) es conexo
y contiene a (x1 , x2 ) y (x1 , x2 ). Entonces (X1 X2 , 2max ) es conexo por
0 0 1 1
4.5.6.
Nota 4.5.11. La proposicin anterior es vlida tambin para las (seu-

do)distancias 2taxi y 2euclidea. 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

Definicin 4.6.1. Dado (X, T ) un espacio topolgico y x X llamamos
componente conexa de X al mayor conjunto conexo Cx X que contiene
a x.
Lema 4.6.2. Cx siempre existe.
Demostracin. En efecto, sea C = {C X; C es conexo y x C}.
[ C =
La familia 6 no es vaca pues {x} es conexo y x {x}. La unin
C0 = C es un conjunto conexo pues cada C es conexo y si C, C C
C C
x C C , y como x C0 se tiene C0 C. Pero C C, C C0 por
definicin. Esto es, C0 es el mayor conexo en (X, T ) que contiene a x.
As, Cx = C0
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 Cx = X x X.
Proposicin 4.6.5. (Propiedades bsicas de las componentes conexas)
Sea (X, T ) un espacio topolgico. Si Cx es la componente conexa de x
X, se cumplen:
1. x Cx
2. Cx es conexo.
3. Cx es cerrado en (X, T ).
4. Si Cx Cy 6= Cx = Cy . Es decir, las componentes conexas

forman una particin de X.
Demostracin. Los apartados 1) y 2) se tienen por definicin.

3) Cx es conexo, entonces Cx es conexo. Adems, x Cx , luego x Cx
ya que Cx Cx siempre.
Por ser Cx el mayor conexo conteniendo a x, se tiene Cx Cx , por tanto,

Cx = Cx y se deduce que Cx es cerrado.
4) Como Cx Cy 6= y Cx y Cy son conexos, entonces Cx Cy es conexo.
Adems,
x Cx Cx Cy Cx Cy Cx Cy Cx .
Anlogamente,
y Cy Cx Cy Cx Cy Cy Cx Cy de donde Cx = Cy .
Ejemplo 4.6.6. Sea A = { n1 , 0}n1, X = A R R2 .

Entonces en (X,eucldea) la componente conexa de de x = (a, y) con
a A es Cx = {a} R.
Figura 4.15:
Claramente, {a} R es conexo, por tanto, {a} R Cx .

Si p = (a , y ) Cx y p1 : R2 R es la primera proyeccin, p1 (Cx ) es
conexo en A Q, entonces p1 (Cx ) = {}, A. Luego, = a a = a.
Por tanto Cx p1 1 (a) = {a} R
Definicin 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 Cx es un conjunto abierto (y por tanto abierto y cerrado).
Demostracin. Sea y Cx . Por hiptesis si N = X (que es entorno de

y) existe N X conexo y entorno de y. En particular y intN N .
Adems, y Cy , por tanto, Cy Cx 6= por lo que Cx = Cy . Por defini-
cin de componente conexa se tiene,
N Cy = Cx y intN intCx .
As, Cx intCx Cx = intCx Cx 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
Bd (x, ) = {x} es conexo. Las componentes conexas son Cx = {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 (R2 ,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-

[
2
spacio en cuestin era X R con X = OX OY Zn con
1
Zn = {(x, y); x = n1 }.
Para ver que (X, eucldea) no es localmente conexo razonamos por

R.A.: Sea Bd (p, r) con r < d(p, OX), d = eucldea|X y N Bd (p, r)
entorno conexo de p.
Como N es entorno de p, existe > 0 tal que Bd (p, ) N. Adems
p = lm pn con pn Zn y existe n0 con pn Bd (p, ) N si n n0 .
Sea t con n01+1 < t < n10 . 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 = (N U)(N V )

porque n01+1 < t < n10 y N X. Luego, llamando a N U = U
y N V = V se tiene U 6= ya que pn0 +1 U , V 6= porque
pn0 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 homeomorfismo, entonces si Cx es compo-
nente de x se tiene que f (Cx ) 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)

A Punt Es Completo 1314

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

A Punt Es Completo 1314

Enviado por

Direitos autorais:

Formatos disponíveis

TOPOLOGA

1.1. Medir la proximidad

Definicin 1.1.1. Una distancia sobre X es una aplicacin d : X X

2. d(x, x ) = d(x , x), x, x X (Propiedad simtrica),

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

Ejemplo 1.1.2. (Anlisis I) Se toma X = R y se define d(x, x ) = |xx |.

Ejemplo 1.1.3. (Geometra)

Definicin 1.1.4. Sea V un espacio vectorial sobre R. Una norma sobre

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

Demostracin. Veremos a continuacin que d cumple las condiciones que

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||,

3. Por definicin, d(v, w) = 0 si y slo si ||vw|| = 0. Por la propiedad

4. d(v, v ) = ||v v || = ||v v + v v || ||v v || + ||v v || =

Veremos a continuacin algunos ejemplos de espacios normados y sus

Ejemplo 1.1.6. Si V = R y || || =valor absoluto, entonces (V, || ||) es

Ejemplo 1.1.7. Si V = R2 y p || || es la habitual en Geometra, es decir,

Ejemplo 1.1.8. Si V = R2 , entonces ||(x, y)||taxi = |x| + |y| es una

A esta norma se le llama norma taxi y a su distancia asociada dis-

Ejemplo 1.1.9. Si V = R2 , ||(x, y)||max = max{|x|, |y|} es una norma.

||(x, y)+(x , y )||max = max{|x+x |, |y+y |} ||(x, y)||max +||(x , y )||max .

Su distancia asociada es dmax ((x, y), (x , y )) = max{|x x |, |y y |},

Se define ||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

La norma anterior se llama norma del supremo y su distancia asociada es

Veremos a continuacin con un ejemplo concreto cmo funcionan esta

Ejemplo 1.1.12. Si f (x) = sen(x), entonces ||f || = 1. Si tomamos

Se define la sucesin de funciones {fn } como fn = (1/n) sen(x) y

Definiremos a continuacin otra norma:

Ejemplo 1.1.13. Si V = {f : [0, 1] R; f continua}, entonces ||f ||1 =

1. ||f ||1 0 porque |f (x)| 0 para todo 0 x 1.

Comprobaremos a continuacin que las distancias d1 y d son distin-

Ejemplo 1.1.14. Para la sucesin {fn } descrita en el siguiente dibujo

Veamos ahora un ejemplo de seudodistancia.

Ejemplo 1.1.15. Dado el espacio vectorial V = {f : [0, 1] R; f continua},

Definiremos ahora una distancia vlida para cualquier conjunto.

En el plano eucldeo (R2 , deucldea )(plano), los crculos de centro un

Esta observacin lleva a la siguiente definicin general

Definicin 1.1.18. Sea (X, d) un espacio (seudo)mtrico. Dados x X

Bd (x, ) = {y X; d(x, y) < }.

Una bola cerrada de centro x y radio es

Una esfera de centro x y radio es

Ejemplo 1.1.19. En la recta eucldea (R, de ), tenemos Bde (x, ) = {y

Ejemplo 1.1.20. En el plano eucldeo (R2 , de ), la p bola Bde (0, ) =

Ejemplo 1.1.21. En (R2 , dtaxi ), la bola abierta de centro 0 y radio

Si x1 , x2 0, entonces |x1 | + |x2 | < implica x1 x2 < .

Ejemplo 1.1.23. Sean X = {f : R R, f es acotada} y la distancia

Ejemplo 1.1.24. Si tomamos X = R2 , la distancia

Proposicin 1.1.25. (Propiedades de las bolas abiertas)

1. Dados > 0 y x X, x Bd (x, ).

1. Si 0 < < , entonces Bd (x, ) Bd (x, ).

2. Si y Bd (x, ), donde x, son arbitrarios, entonces existe > 0

3. Si z Bd (x, ) Bd (x , ), entonces existe > 0 tal que Bd (z, )

Demostracin. 1. Como d(x, x) = 0 < , entonces x Bd (x, ).

1. Si y Bd (x, ), entonces d(x, y) < < . Por tanto, d(x, y) < y

2. Como y Bd (x, ), entonces d(x, y) < y podemos definir :=

z Bd (x, ), luego existe con Bd (z, ) Bd (x, ) por el

Si tomamos = mn{, } > 0, entonces Bd (z, ) Bd (z, )

Proposicin 1.1.26. (Propiedad de separacin de Hausdorff ) Si (X, d)