A Punt Es Completo 1617

TOPOLOGA
Curso 2016/2017
Captulo 1
Espa ios mtri os
1.1. Medir la proximidad
Sea X un onjunto. Denotaremos por X X al onjunto de los pares

de elementos de X .
Deni in 1.1.1. Una distan ia sobre X es una apli a in d : X X

R umpliendo:
1. d(x, x ) 0, x, x X ,
2. d(x, x ) = d(x , x), x, x X (Propiedad simtri a),
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 espa io mtri o. Si la ondi in (3) se sustituye

por
(3 ) d(x, x) = 0,
enton es d se llama seudodistan ia y el par (X, d) espa io seudomtri o.
Ejemplo 1.1.2. (Anlisis I) Se toma X = R y se dene d(x, x ) = |xx |.

Ejemplo 1.1.3. (Geometra)
p Se toma X = R2 y se dene d((x, y), (x, y )) =
||(x, y) (x , y )|| = (x x )2 + (y y )2 .
Deni in 1.1.4. Sea V un espa io ve torial sobre R. Una norma sobre

V es una apli a in || || : V R umpliendo:
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 espa io normado.
Proposi in 1.1.5. Si(V, || ||) es un espa io normado, la apli a in

d:V V R dada por d(v, w) = ||v w|| es una distan ia sobre V .
A (V, d) se le llama espa io mtri o aso iado al espa io normado
(V, || ||).
Demostra in. Veremos a ontinua in que d umple las ondi iones que
ha en a una apli a in distan ia:
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 ter era igualdad.
3. Por deni in, d(v, w) = 0 si y slo si ||vw|| = 0. Por la propiedad

3 de la norma, esto o urre si y slo si v w = 0, es de ir, 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 onseguir la desigualdad.
Veremos a ontinua in algunos ejemplos de espa ios normados y sus

distan ias aso iadas.
Ejemplo 1.1.6. Si V = R y || || =valor absoluto, enton es (V, || ||) es

un espa io normado on distan ia aso iada d(x, x ) = |x x |.
Ejemplo 1.1.7. Si V = R2 y p || || es la habitual en Geometra, es de ir,

la norma eu ldea ||(x, y)|| = x2 + y 2, enton es (V, || ||) es un espa io
normado. Su distan ia aso iada, que llamaremosp distan ia eu ldea y
denotaremos de , es de ((x, y), (x , y )) = (x x ) + (y y )2 .
2
Ejemplo 1.1.8. Si V = R2 , enton es ||(x, y)||taxi = |x| + |y| es una

norma. La uarta propiedad de la deni in 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 distan ia aso iada dis-

tan ia taxi : dtaxi ((x, y), (x , y )) = |x x | + |y y |.

En el plano R 2
, las distan ias 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 ontinua in su uarta propiedad:
Se umple que |x + x | |x| + |x | max{|x|, |y|} + max{|x |, |y |} =
||(x, y)||max + ||(x , y )||max . Podemos ha er lo mismo on |y + y |, luego
tenemos que
||(x, y)+(x , y )||max = max{|x+x |, |y+y |} ||(x, y)||max +||(x , y )||max .
Su distan ia aso iada es dmax ((x, y), (x , y )) = max{|x x |, |y y |},

que llamaremos distan ia del mximo.
Ejemplo 1.1.10.pSiPtomamos V = Rn , n 2, la norma eu ldea es ahora
n
i=1 xi . Su distan ia aso iada, que tambin
pPn llamare-
2
||(x1 , . . . , xn )|| =
mos distan ia eu ldea, es de ((x1 , . . . , xn ), (y1, . . . , yn )) = i=1 (xi yi ) .
2
Anlogamente, las normas taxi y mximo para R son ||(x1 , . . . , xn )||taxi =

P
n
n
i=1 |xi | y ||(x1 , . . . , xn )||max = max{|xi |; 1 i P n}, siendo sus distan-
ias aso iadas dtaxi ((x1 , . . . , xn ), (y1 , . . . , yn )) = ni=1 |xi yi | y
dmax ((x1 , . . . , xn ), (y1, . . . , yn )) = max{|xi yi |; 1 i n}, respe tiva-
mente.
Ejemplo 1.1.11. V = {f : R R; f es a otada} es un espa io ve torial
on:
Suma: (f + g)(x) = f (x) + g(x),
Produ to por es alar: (f )(x) = f (x).

Se dene ||f || = sup{|f (x)|; x R}, que se demuestra que es norma:
1. ||f || 0 porque es un supremo de valores absolutos.
2. ||f || = sup{|||f (x)|; x R} = || sup{|f (x)|; x R} = ||||f ||.
3. Si ||f || = 0 = sup{ |f (x)|, x R}, enton es |f (x)| = 0, para todo

x R, luego f es la fun in 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 distan ia aso iada es

d = sup{|f (x) g(x)|, x R}, que se denotar distan ia del supremo.
Veremos a ontinua in on un ejemplo on reto mo fun ionan esta

norma y distan ia.
Ejemplo 1.1.12. Si f (x) = sen(x), enton es ||f || = 1. Si tomamos

g(x) = cos(x), se tiene d (f, g) = 1.
Figura 1.2:
Se dene la su esin de fun iones {fn } omo fn = (1/n) sen(x) y

se denota por a la fun in nula. Enton es d (fn , ) = 1/n y la su e-
sin {fn } se aproxima arbitrariamente a la onstante ero en el espa io
(V, d ).
Deniremos a ontinua in otra norma:
Ejemplo
R
1.1.13. Si V = {f : [0, 1] R; f ontinua}, enton es ||f ||1 =
R1
1
0
|f (x)|dx es una norma uya distan ia aso iada es d1 (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, enton es |f (x)| = 0 para todo x R, luego
f es la fun in 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
1
En general, podemos denir ||f ||n = n 0 |f (x)|n dx.
Comprobaremos a ontinua in que las distan ias d1 y d son distin-

tas.
Ejemplo 1.1.14. Para la su esin {fn } des rita en el siguiente dibujo
se tiene que d1 (fn , ) = 1/2n+1, luego fn se a er a todo lo que se quiera a
en (V, d1 ). Sin embargo, d (fn , ) = 1 para todo n, luego fn perman e
separada de en (V, d ).
Figura 1.4:
Veamos ahora un ejemplo de seudodistan ia.

Ejemplo 1.1.15. Dado el espa io ve torial V = {f : [0, 1] R; f ontinua},
enton es dmeta = |f (1)g(1)| es una suedodistan ia. No es distan ia por-
que si tomamos dos fun iones f, h que sean distintas pero que oin idan
en el punto 1, enton es dmeta (f, h) = 0. Podemos darle un sentido a esta

seudodistan ia si observamos una fun in re iente en V on f (0) = 0
puede ser onsiderada omo la expresin del tiempo que tarda un orre-
dor en pasar por ada punto de su arrera entre la salida en x = 0 y
la meta en x = 1. De esta forma dmeta mide la diferen ia del tiempo de
llegada.
Figura 1.5:
Deniremos ahora una distan ia vlida para ualquier onjunto.

Ejemplo 1.1.16. Dado un onjunto X , la apli a in d : X X R

1, x 6
= x
denida por d(x, x ) = es una distan ia, que denotaremos
0, x = x
distan ia dis reta.
1. Trivial por deni in.
2. d(x, x ) = d(x , x) por deni in.
3. d(x, x ) = 0 si y slo si x = x .
4. La apli a in d slo puede tomar los valores 0 y 1, luego la ni a

posibilidad de que la desigualdad d(x, x ) d(x, x ) + d(x , x )
falle sera si d(x, x ) = 1 pero enton es d(x, x ) = 0 = d(x , x ). Sin
embargo, este aso no puede o urrir porque d(x, x ) = 0 = d(x , x )
impli a x = x = x , luego d(x, x ) = 0.
Proposi in 1.1.17. No existe ninguna norma en Rn uya distan ia
aso iada sea la dis reta.
Demostra in. (R.A.) Supongamos que existiese tal norma aso iada || ||
y tomemos x 6= 0 (donde 0 es el origen de Rn ) y R, 6= 0. Enton es
x 6= 0 y 1 = d(x, 0) = ||x 0|| = ||x|| = || ||x|| = ||. Luego hemos
probado que || = 1 para ualquier R, 6= 0. Contradi in.
En el plano eu ldeo (R2 , deucldea )(plano), los r ulos de entro un

punto x permiten medir la proximidad a ese punto.
Figura 1.6:
Esta observa in lleva a la siguiente deni in general
Deni in 1.1.18. Sea (X, d) un espa io (seudo)mtri o. Dados x X

y > 0, se llama bola abierta de entro x y radio a
Bd (x, ) = {y X; d(x, y) < }.
Una bola errada de entro x y radio es
Bd [x, ] = {y X; d(x, y) }.
Una esfera de entro x y radio es
Sd [x, ] = {y X; d(x, y) = }.
Ejemplo 1.1.19. En la re ta eu ldea (R, de ), tenemos Bde (x, ) = {y

R, |x y| < } = (x , x + ).
Ejemplo 1.1.20. En el plano eu ldeo (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 r ulo sin ir unferen ia de entro
(0, 0) y radio .
Ejemplo 1.1.21. En (R2 , dtaxi ), la bola abierta de entro 0 y radio

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

Si x1 0, x2 0, enton es |x1 | + |x2 | < impli a x1 x2 < .
Si x1 0, x2 0, enton es |x1 | + |x2 | < impli a x2 x1 < .
Por tanto, Bdtaxi (0, ) sera un uadrado sin su borde de entro 0 y
on esquinas en (, 0), (0, ), (, 0) y (0, ).
Ejemplo 1.1.22. En (R2 , dmax ), la bola abierta de entro 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 uadrado sin su borde entrado en 0,
on sus lados (de longitud 2) paralelos a los ejes de oordenadas.
Figura 1.8:
Ejemplo 1.1.23. Sean X = {f : R R, f es a otada} y la distan ia

d = sup{|f (x)g(x)|}. Si denotamos por la fun in onstate nula, en-
ton es Bd (, ) = {f X, d (f, ) < } = {f X, sup{|f (x)|} < } =
{f X, < |f (x)| < } = {f : R R| gr o de f est entre y =
e y = }.
Figura 1.9:
Ejemplo 1.1.24. Si tomamos X = R2 , la distan ia

dis reta ddiscreta y el
{}, 1
punto = (0, 0), enton es Bddiscreta (, ) =
R2 , > 1
Proposi in 1.1.25. (Propiedades de las bolas abiertas)

Sea (X, d) un espa io (seudo)mtri o. Se umplen:
1. Dados >0 y x X , x Bd (x, ).
1'. Si 0 < < , enton es Bd (x, ) Bd (x, ).
2. Si y Bd (x, ), donde x, son arbitrarios, enton es existe >0

on Bd (y, ) Bd (x, ).
3. Si z Bd (x, ) Bd (x , ), enton es existe > 0 tal que Bd (z, )

Bd (x, ) Bd (x , ).
Demostra in. 1. Como d(x, x) = 0 < , enton es x Bd (x, ).
1'. Si y Bd (x, ), enton es d(x, y) < < . Por tanto, d(x, y) < y
on luimos que y Bd (x, ).
2. Como y Bd (x, ), enton es d(x, y) < y podemos denir :=

d(x, y) > 0. Veremos ahora que Bd (y, ) Bd (x, ). En efe to,
si p Bd (y, ), enton es 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 de ir, que p Bd (x, ).
3. Si z Bd (x, ) Bd (x , ), enton es:
z Bd (x, ), luego existe on Bd (z, ) Bd (x, ) por el

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

Bd (x, ) y Bd (z, ) Bd (z, ) Bd (x , ). Podemos on luir que
Bd (z, ) Bd (x, ) Bd (x , ).
Proposi in 1.1.26. (Propiedad de separa in de Hausdor ) Si (X, d)

es un espa io mtri o y x 6= x X , enton es existe > 0 tal que
Bd (x, ) Bd (x , ) = .
Demostra in. Como (X, d) es un espa io mtri o, enton es d(x, x ) =

> 0. Sea = /2. Armamos que Bd (x, ) Bd (x , ) = .
(R.A.) Si existiese y Bd (x, ) Bd (x , ), enton es d(x, y) < y
d(x , y) < . Luego d(x, x ) d(x, y) + d(y, x ) < + = 2 = y
on luimos que d(x, x ) < , lo ual es absurdo.
Ejemplo 1.1.27. En R2 , d((x, x ), (y, y )) = |xy| es seudodistan ia pe-

ro no distan ia 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 nun a del (0, 0).
1.2. Conjuntos que envuelven a sus puntos
Un r ulo abierto del plano ontiene todos los puntos del plano que
rodean su entro hasta una ierta distan ia (el radio del r ulo), igual-
mente una bola abierta de un espa io (seudo)mtri o. Ms an, de a uer-
do on la propiedad 1.1.25(2), una bola abierta ualquiera ontiene todos
los puntos ve inos de ada uno de sus puntos hasta una ierta distan ia
(que vara segn el punto elegido). Pero tambn guras de aspe to geo-
mtri o irregular pueden envolver a algunos de sus puntos (in luso a
todos): bastar que ontenga alguna bola abierta, por pequea que sea,
entrada en ada uno de esos puntos.
Figura 1.12:
Para jar ideas estable emos las siguientes deni iones
Deni in 1.2.1. Sea (X, d) un espa io (seudo)mtri o y A X . De-

imos que x X es un punto interior de A si existe > 0 tal que
Bd (x, ) A. En tal aso se di e 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 onjunto A X se di e abierto en (X, d) si A = intA.
Proposi in 1.2.2. 1. Se umple que intA A en todo espa io (seu-

do)mtri o (X, d).
2. Toda bola abierta en un espa io (seudo)mtri o es un onjunto

abierto en (X, d).
Demostra in. 1. Si x intA, enton es existe > 0 on Bd (x, ) A.

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

intBd (x, ) Bd (x, ) por (1).
intBd (x, ) Bd (x, ): Sea y Bd (x, ). Por el apartado 2 de la
Proposi in 1.1.25, existe > 0 tal que Bd (y, ) Bd (x, ), luego
y intBd (x, ).
El siguiente resultado muestra que todo ontrol de proximidad"tiene

a los abiertos y no al valor numri o de la (seudo) distan ia que los genera
omo elemento fundamental.
Figura 1.13:
Proposi in 1.2.3. En los espa ios mtri os (R2 , de(eu ldea)), (R2 , dtaxi )
y (R2 , dmax ), ualquier onjunto A R2 tiene el mismo interior. Por tan-
to, las familias de los onjuntos abiertos de los tres espa ios oin iden.
Demostra in. Si x = (x1 , x2 ) intA en (R2 , de (eu ldea)), enton es

existe > 0 tal que Bde (x, ) A. Ahora p bien, Bde (x, ) = {y =
(y1 , y2 ) R , de (x, y) < } = {y R , (x1 y1 )2 + (x2 y2 )2 < },
2 2
de donde se sigue f ilmente 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 ). Enton es 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 omo ejer i io (bastara probar que si x intA en

(R , dmax ), enton es 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 asos.
Nota 1.2.5. Se deja omo ejer i io generalizar los dos resultados ante-
riores al espa io Rn para todo n 2.
Proposi in 1.2.6. Sea (X, d) un espa io (seudo)mtri o. Enton es:
1. AX 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) on x G N .
3. x es un punto interior de A en (X, d) si y slo si existe un abierto

G on x G A.
Demostra in. 1. Si A X es abierto, enton es A = intA. Por tanto,

dado x A se tiene que x intA. Es de ir, que A es entorno de
todos x A.
Re pro amente, si A es entorno de todo x A, enton es x intA,
para todo x A por deni in de entorno. Luego A intA y,
omo la in lusin ontraria siempre es ierta, on luimos que A es
abierto.
2. Si N X es entorno de x, enton es existe un > 0 tal que

Bd (x, ) N . Como las bolas abiertas son abiertos, enton es pode-
mos denir G := Bd (x, ), que es un abierto en (X, d). Como x G
(por ser el entro de la bola), enton es x G N .
Re pro amente, supongamos que x G N on G abierto. Por
ser G abierto, enton es G = intG y x intG. Por la deni in de
interior, existe > 0 tal que Bd (x, ) G N , luego x intN y
obtenemos que N es entorno de x.
3. Por deni in, x intA si y slo si A es entorno de x.
Proposi in 1.2.7. (Propiedades del interior) Sea (X, d) un espa io

(seudo)mtri o. Enton es:
1. intA A.
2. Si A B, enton es intA intB .
3. int(A1 . . . An ) = intA1 . . . intAn .
4. int(intA) = intA. En parti ular, intA siempre es abierto.
Demostra in. 1. Ya he ha en el apartado 2 de 1.2.2.

2. Si x intA, enton es existe > 0 on Bd (x, ) A B . Por

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

in lusin.
Siempre es ierto 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 , enton es x intAi para todo 1
i n. Para ada 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 on luimos que x ni=1 Ai .
4. Por el primer apartado, intA A. Por el segundo, int(intA)

intA. Veamos a ontinua in la otra in lusin.
Si x intA, enton es existe > 0 tal que Bd (x, ) A. Queremos
probar que x int(intA), es de ir, que existe > 0 on Bd (x, )
intA.
Ahora bien, nos sirve omo el propio porque Bd (x, ) intA. En

efe to, dado y Bd (x, ), por el apartado 2 de la proposi in 1.1.25,
existe > 0 on Bd (y, ) Bd (x, ) A. Por tanto, y intA y
hemos probado que Bd (x, ) intA.
Proposi in 1.2.8. (Propiedades bsi as de los onjuntos abiertos en

un espa io (seudo)mtri o). Dado un espa io (seudo)mtri o (X, d), se
umplen:
1. Los onjuntos y X son abiertos en (X, d).

2. Si A1 , . . . , An son abiertos en (X, d), enton es A1 . . .An tambin

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

es A tambin lo es.
Demostra in. 1. El onjunto X es abierto en (X, d) porque dados

x X y > 0 ualesquiera, Bd (x, ) X por ser X el espa io
total, luego x intX, x X .
Por otra parte, est ontenido en ualquier onjunto, luego
int. La otra in lusin siempre es ierta, luego = int y on lui-
mos que es abierto.
2. Si A1 , . . . , An son abiertos en (X, d), enton es intAi = Ai para

todo 1 i n. Por la proposi in 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 ualquiera de abiertos en (X, d), quere-

mos probar que int( A ) = A .
La in lusin int( A ) A es siempre ierta.
Veremos ahora que la otra in lusin tambin se umple. Como A
es abierto, A = intA . El onjunto A est ontenido
en A , luego intA int( A ), por la proposi-
in 1.2.7. Por tanto, intA int( A ) y on luimos que
A int( A ).
Captulo 2
Espa ios topolgi os
En el aptulo anterior vimos que dista ias distintas podan dar lugar
a un mismo ontrol de proximidad". Por tanto debe existir una no in
subya ente a la de distan ia que nos lleve a la fundamenta in general de
la idea de proximidad. Esta estru tura es la de topologa omo ole in
de sub onjuntos sujetos a las ondi iones que se reejan en la propie-
dades bsi as de los onjuntos abiertos de los espa ios (seudo)mtri os
en la proposi in 1.2.8. El relevo de una (seudo)distan ia por la fami-
lia de abiertos permite estable er sobre un onjunto una estru tura de
proximidad sin valores numri os.
2.1. La proximidad sin distan ia
Deni in 2.1.1. Dado un onjunto X ualquiera, se llama topologa

sobre X a ualquier familia T de sub onjuntos de X umpliendo:
1. Los onjuntos y X estn en T .
2. Si A1 , . . . , An estn en T , enton es ni=1 Ai tambin est en T .
3. Si {A } es ualquier familia formada por onjuntos en T , en-
ton es A tambin est en T .
Al par (X, T ) se le llama espa io topolgi o. Los onjuntos de T se llaman
abiertos del espa io topolgi o (X, T ).
Ejemplo 2.1.2. Si (X, d) es un espa io (seudo)mtri o, enton es la fa-
milia Td = {A X; A es abierto en (X, d)} es una topologa sobre X ,
llamada topologa aso iada a la distan ia d. Esto es una onse uen ia in-
mediata de las propiedades bsi as de los onjuntos abiertos en espa ios
(seudo)mtri os.
18
CAPTULO 2. ESPACIOS TOPOLGICOS 19
Nota 2.1.3. Se umple que Tdeucldea = Tdtaxi = Tdmax , es de ir, que el

espa io topolgi o aso iado a las tres distan ias es el mismo.
Ejemplo 2.1.4. Sea X un onjunto ualquiera y T la familia formada
por y todos los A X on X A nitos (Topologa de Zariski o
onita ). Comprobaremos a ontinua in que T es topologa sobre X :
1. T por deni in.

X T porque X X = , que tiene 0 elementos.
2. Dados A1 , . . . , An T , tenemos dos asos posibles:
Si algn Ai = , enton es A1 . . . An = T .
Si Ai 6= , para todo 1 i n, enton es X Ai es un
onjunto nito para todo 1 i n. Como X (ni=1 Ai ) =
ni=1 (X Ai ) es unin nita de onjuntos nitos, enton es es
nito y on luimos que ni=1 Ai T .
3. Si {A } on A T para todo , queremos probar que

A T . Distinguiremos dos asos:
Si A = para todo , enton es A = T .
Si A0 6= para algn 0 , enton es X A0 es nito. Ahora
bien, X ( A ) = (X A ) X A0 (que es
nito), luego X ( A ) es nito y A T .
Proposi in 2.1.5. Si X es innito, no existe ninguna distan ia d so-

bre X uyos abiertos sean los onjuntos que apare en en la topologa de
Zariski.
Demostra in. (R.A.) Supongamos que existiese tal distan ia d on Td =

T . Consideremos x, x X , on x 6= x . Por la propiedad de separa in
de Hausdor, existe > 0 on Bd (x, ) Bd (x , ) = . Tomando omple-
mentarios, obtendramos que X = X = X (Bd (x, ) Bd (x , )) =
(X Bd (x, )) (X Bd (x , )) sera un onjunto innito (porque por
hiptesis X lo es).
Ahora bien, ada bola es un abierto en Td = T y x Bd (x, ) 6=
, luego X Bd (x, ) y X Bd (x , ) son onjuntos nitos. Por tanto,
(XBd (x, ))(XBd (x , )) sera un onjunto nito. Contradi in.
Nota 2.1.6. Se deja omo ejer i io el demostrar que tampo o existe una
seudodistan ia d sobre un onjunto innito X para la ual la topologa
de Zariski sea la familia de abiertos de (X, d).
2.2. El interior de un onjunto en un espa io

topolgi o
Hemos basado la deni in de espa io topolgi o en la no in de on-

junto abierto. Nuestra experien ia on los espa ios (seudo)mtri os nos
di e que debera existir una idea de interior en un espa io topolgi o
de forma que los abiertos de ese espa io quedasen ara terizados omo
aquellos onjuntos que oin iden on su interior omo as o urre en los
espa ios (seudo)mtri os. La Proposi in 1.2.6(3) sugiere la siguiente de-
ni in.
Deni in 2.2.1. Sea (X, T ) un espa io topolgi o. Si A X y x X ,

de imos que x es interior a A en (X, T ) si existe un G en T on x
G A. En parti ular, A.
Se llama interior del onjunto A en (X, T ) al onjunto intA = {x
X; x es interior a A}.
Nota 2.2.2. Obsrvese que por deni in, siempre intA A.
Proposi in 2.2.3. El onjunto A est en T si y slo si A = intA.
Demostra in. Si A est en T , todo a A umple que a A A,

luego a intA. Como A intA y la otra in lusin se umple siempre,
enton es A = intA.
Re pro amente, si intA = A, enton es todo a A umple que a
intA, es de ir, que existe Ga en T on a Ga A. Como A = aA {a}
aA Ga A, luego A = aA Ga , que est en T por la ter era propiedad
de la deni in de topologa.
Ahora veremos que las propiedades del interior en un espa io (seu-
do)mtri o se mantienen en los espa ios topolgi os.
Proposi in 2.2.4. Sea (X; T ) un espa io topolgi o. Enton es se um-

plen:
1. intA A.
2. Si A B, enton es intA intB .
3. int(A1 . . . An ) = intA1 . . . intAn .
4. int(intA) = intA. En parti ular, intA siempre es abierto.

Demostra in. (1) es la Nota 2.2.2. Para demostrar (2), si x intA

existe un abierto G on x G A B ; luego x intB . As pues,
intA intB .
De a uerdo on (2), y omo A1 . . . An Ai para ada 1 i n,
tenemos int(A1 . . . An ) intAi , y por tanto int(A1 . . . An ) intA1
intA2 intAn . Para la otra in lusin, sea x intA1 intA2 intAn .
Por deni in, para ada i n existe un abierto Gi on x Gi Ai .
Por tanto, G = G1 Gn es un abierto y x G A1 An . Esto
prueba que x int(A1 An ). Esto on luye la demostra in de (3).
Finalmente, tenemos int(intA) intA por (1). Adems, si x intA
existe un abierto G on x G A. Apli ando la Proposi in 2.2.3 y
la propiedad (2), tenemos x G = intG intA. Conse uentemente, la
deni in de interior nos da x int(intA).
Deni in 2.2.5. Dado N X , de imos que N es entorno de x X
en el espa io topolgi o (X, T ) si x intN .
Proposi in 2.2.6. A est en T si y slo si es entorno de todos sus
puntos.
Demostra in. Se deja omo ejer i io.

Deni in 2.2.7. Dado (X, T ) un espa io topolgi o, se di e que x A
es un punto aislado en A X si existe G en T on x G tal que
G A = {x}. En parti ular, de ir que x es aislado en X equivale a de ir
que {x} est en T .
2.3. La lausura de un onjunto. Conjuntos

errados
En un espa io toplogi o, la idea de estar adherido un punto a un

onjunto se expresa por medio de la siguiente deni in.
Deni in 2.3.1. Dados (X, T ) un espa io topolgi o y un onjunto
A X , de imos que x X es punto adherente a A si todo abierto G de
T on x G umple G A 6= . En parti ular, ualquier punto x A
(aislado o no) siempre es punto adherente a A.
Deni in 2.3.2. Se llama lausura de A al onjunto
A = {x X; x es adherente a A}.
Siempre se umple A A. Un onjunto A se llama errado en (X, T ) si
A = A.
Ejemplo 2.3.3. En al re ta eu ldea (R, eu ldea), el supremo y el n-

mo de un onjunto A (si existen) son puntos adherentes a A; en parti ular,
si A es errado tiene mnimo y mximo, respe tivamente. Sea x0 el n-
mo de A, por la deni in de nmo, para todo > 0, siempre hay algn
punto a A on x0 a x0 + . Por otro lado, si G es un abierto
eu ldeo on x0 G existe 0 > 0 on (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 on x1
a x1 y se razona igual que en aso anterior para llegar a que todo

abierto eu ldeo que ontega a x1 orta a A; es de ir, x1 A.
Los puntos adherentes de A que no son puntos aislados de A llaman

puntos de a umula in de A y se ajustan a la siguiente deni in.
Deni in 2.3.4. Dado un espa io topolgi o (X, T ) y A X , de imos

que x X es punto de a umula in de A si para todo abierto G en (X, T )
on x G, se umple que (G {x}) A 6= .
Se tiene enton es, para todo A X , la igualdad
A = (A A ) A
donde A = {x X, x es punto de a umula in} y A A es el onjunto

de puntos asilados de A.
Proposi in 2.3.5. (Cara teriza in de puntos de a umula in en es-

pa ios mtri os) Dados (X, d) un espa io mtri o y A X , el punto
x X es de a umula in de A G en (X, d)
si y slo si todo abierto
ontiene innitos puntos de A.
Demostra in. Si todo G ontiene innitos puntos de A, enton es el on-

junto (G {x}) A ontiene tambin innitos puntos. En parti ular,
(G {x}) A 6= , luego x es de a umula in de A.
Re pro amente, sea G un abierto en (X, d) on 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 on x1
Bd (x, ) {x}. Como x 6= x1 y d es distan ia, > d(x, x1 ) = > 0.
Sea 1 = /2. Por hiptesis, (Bd (x, 1 ) {x}) A 6= , luego existe
x2 A on 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 on x3 6= x. Adems, d(x, x3 ) < 2 < 1 /2 < d(x, x2 ) <
Figura 2.1:
d(x, x1 ), luego x3 6= x2 y x3 6= x1 . Como x 6= x3 , 0 < d(x, x3 ) = 2 < 2

y denimos 3 = 2 /2.
Reiterando el pro eso obtenemos una su esin de puntos distintos
{xn }n1 Bd (x, ) G y podemos on luir que G ontiene innitos
puntos de A.
Corolario 2.3.6. Si (X, d) es un espa io mtri o, todo onjunto nito

es errado y todos sus puntos son aislados.
2.4. Dualidad interior/ lausura y abierto/ errado
En esta se in veremos que en ualquier espa io topolgi o el inte-

rior y la lausura se determinan re pro amente; es de ir, basta ono er
los interiores de los sub onjuntos de un espa io topolgi o para ono er
sus lausuras y re pro amente. Exa tamente se tiene la siguiente propo-
si in:
Proposi in 2.4.1. (Dualidad interior/ lausura)

Sea (X, T ) un espa io topolgi o. Dado AX se tiene:
1. A = X int(X A).
2. int(A) = X (X A).
Demostra in. 1. x A para todo G abierto de (X, T ), on x

G, G A 6= para todo G abierto de (X, T ), on x G, G *
X A x 6 int(X A) x X int(X A).
2. A partir del apartado anterior, ambiando A por X A.
Como onse uen ia inmediata se tiene.
Proposi in 2.4.2. (Dualidad abierto- errado) En ualquier espa io to-

polgi o (X, T ) un onjunto A es abierto si y slo si su omplementario
X A es errado
Tenemos, A abierto A = int(A) (2) A = X

Demostra in.
(X A) X A = (X A) X A es errado.
A partir de las propiedades del interior y la dualidad en la Proposi-

in 2.4.1 podemos demostrar las siguientes propiedades generales de la
lausura. Aqu las demostraremos dire tamente, dejando omo ejer i io
el ha erlo omo se ha indi ado anteriormente.
Proposi in 2.4.3. (Propiedades de la lausura)

Sea (X, T ) un espa io topolgi o. Se umple:
1. Si A X enton es A A.
2. Si A B enton es A B .
3. A1 ... An = A1 ... An .
4. A = A. En parti ular, A siempre es errado.
Demostra in. 1. Ya lo hemos observado antes.

2. Sea x A, enton es, para todo abierto G de (X, T ) on x G se
tiene que G A 6= . Como A B , enton es G A G B . Por lo
tanto, G B 6= , y de ah dedu imos que x B . Luego A B .
3. Por el apartado anterior, sabemos que si AiS A1 ...An , i, enton-
es, Ai A1 ... An , para todo i. Por tanto, ni=1 Ai A1 ... An .
Para la otra onten in, sea x A1 ... An , por deni in se tiene
que si G es ualquier abierto de (X, T ) on x G, se tiene que G (A1
... An ) 6= . Ahora, por redu in al absurdo:
Si x 6 A1 ... An , enton es x 6 Ai , i. De este modo,
T existir Gi
abierto, on x Gi y Gi Ai = , i. Ahora, sea Go = ni=1 Gi , ste
es un abierto on x Go . Llegamos as a ontradi in on G0 Ai
Gi Ai = , i, impli ando G0 (A1 ... An ) = , que no se puede dar.
4. Apli ando el primer apartado, se tendr que A A. Para la otra
onten in, tomamos x A. Enton es, para todo G abierto de (X, T ),
on x G, G A 6= . De este modo, existir y A, on y G. As,
por la deni in de la lausura, G A 6= . Luego, x A, y, por tanto,
A A.
La deni in de errado omo onjunto que oin ide on su lausu-
ra y las propiedades de la lausura en la Proposi in 2.4.3 impli an las
Figura 2.2:
siguientes propiedades de los onjunto errados de ualquier espa io to-

polgi o. Dejamos omo ejer i io el es ribir una demostra in siguiendo
esta indi a in. Aqu lo haremos usando la dualidad abierto/ errado.
Proposi in 2.4.4. (Propiedades de los errados)

1. X son errados.
y
S
2. Si A1 ...An son errados, enton es ni=1 Ai es errado.
T
3. Si {A } es una familia de errados, enton es A es e-
rrado.
Demostra in. 1. es abierto, luego X = X es errado.

X es abierto,luego X X = es errado. T
2. Si Ai S
es errado, enton es X S Ai es abierto. Por tanto, ni=1 (X
Ai ) = X ni=1 Ai es abierto, luego ni=1 Ai es errado.
3. Si A es errado,
S enton es X A es T abierto. Luego, por propiedad
de
T los abiertos, (X A ) = X A es abierto. Por tanto,
A es errado.
2.5. Convergen ia de su esiones en un es-

pa io topolgi o. Cara teriza in de la
lausura en los espa ios (seudo)mtri os
Como los abiertos que ontinen a un punto x de un espa io topolgi o

a tuan omo ltros de la proximidad a x, la siguiente deni in pre isa
la idea de a er arse a x mediante su esiones.
Deni in 2.5.1. Sea (X, d) un espa io topolgi o. Una su esin {xn }n1
de X se di e que onverge 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 ) on
x0 G existe n0 tal que si n n0 , enton es xn G.
Figura 2.3:
Proposi in 2.5.2. Sea (X, d) un espa io (seudo)mtri o. Las siguien-

tes arma iones son equivalentes:
1. La su esin {xn }n1 onverge a x en (X, d).
2. Para todo > 0 existe un n0 tal que d(xn , x0 ) < para todo n n0 .
3. La su esin {d(xn , x)}n1 onverge a 0 en (R, eu ldea).
Demostra in. (1) (2). Sea > 0. La bola abierta U = Bd (x, ) es un

abierto de (X, d) y por onvergen ia existe n0 tal que xn U , es de ir,
d(xn , x) < , si n n0 .
(2) (3). Como d(xn , x) 0 para todo n, se sigue inmediatamente
de (2) que la su esin de nmeros d(xn , x) debe onverger a 0 en la re ta
eu ldea.
(3) (1). Sea U un onjunto abierto de (X, d) on x U . Existe
> 0 tal que Bd (x, ) U . Ento es por (3) se en uentra un n0 tal que
d(xn , x) < ; esto es, xn Bd (x, ) U para todo n n0 .
Proposi in 2.5.3. Sea (X, d) un espa io mtri o. Toda su esin on-

vergente en (X, d) tiene un ni o punto lmite.
Demostra in. (R.A.) Supongamos que {xn }n1 X onverge en (X, d)

a x0 y a x1 , on x0 6= x1 . Apli ando la propiedad de separa in de Haus-
dor de los espa ios mtri os, existe > 0 on Bd (x0 , ) Bd (x1 , ) = .
Como {xn }n1 onverge a x0 , enton es existe n0 tal que xn Bd (x0 , )
si n n0 .
Figura 2.4: Los puntos de la su esin deben separarse para al anzar los
dos puntos lmite
Por otro lado, omo {xn }n1 onverge a x1 , existe n1 tal que xn
Bd (x1 , ) para todo n n1 .
Si n > max{n0 , n1 }, enton es xn Bd (x0 , ) Bd (x1 , ) = . Contra-
di in.
Deni in 2.5.4. Un espa io topolgi o (X, T ) se di e que tiene la
propiedad de separa in de Hausdor (o que es un espa io de Hausdor )
si dados x, x X on x 6= x , existen abiertos G, G en (X, T ) tales que
x G, x G y G G = .
Nota 2.5.5. Si (X, T ) es un espa io topolgi o de Hausdor, enton es
toda su esin onvergente tiene un ni o punto lmite.
Ejemplo 2.5.6. Sea (R2 , d) on d((x, y), (x, y )) = |x x |.
La su esin (xn , yn ) = (1/n, 0) onverge a todo punto de la forma
(0, y). En efe to, sea G un abierto de (X, d) on (0, y) G(= intG).
Enton es existe > 0 tal que Bd ((0, y), ) G.
Si es ogemos n0 tal que 1/n0 < , enton es para todo n n0 se um-
ple que d((0, y), (1/n, 0)) = 1/n 1/n0 < , luego (xn , yn ) = (1/n, 0)
Bd ((0, y), ) G, n n0 .
Podemos on luir que el espa io no es de Hausdor.
Proposi in 2.5.7. (Cara teriza in de la lausura en espa ios (seu-
do)mtri os). Sea (X, d) un espa io (seudo)mtri o. Son equivalentes:
1. x A on xX y A X.
2. Dado > 0, existe aA on d(x, a) < .

Figura 2.5:
3. Existe {an }n1 A on {an }n1 onvergiendo a x.
Demostra in. 1) 2): Para ada > 0, Bd (x, ) es abierto en (X, d)

y x Bd (x, ), luego Bd (x, ) A 6= porque x A. Existe por tanto
a A tal que a Bd (x, ), es de ir, 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 pro eso obtenemos una su esin a1 , . . . , an en A on

an B(x, 1/n), es de ir, d(x, an ) < 1/n. Armamos que {an }n1 onver-
ge a x. En efe to, si G es abierto de (X, d) on x G, enton es existe
> 0 on Bd (x, ) G.
Si n0 on 1/n0 < , se umple que d(an , x) < 1/n < 1/n0 <
para todo n n0 . Luego an Bd (x, ) G y on luimos que {an }n1

onverge a x.
3) 1) (Vlido para todo espa io topolgi o):
Sea G un abierto de (X, d) on x G. Como {an }n1 onverge a x por
hiptesis, existe n0 on an G si n n0 (por deni in de onvergen ia).
Como an A, enton es an A G 6= y on luimos que x A por la
deni in de lausura.
Corolario 2.5.8. En un espa io (seudo)mtri o las siguientes arma-

iones son equivalentes.
1. A es errado en (X, d).
2. Todas las su esiones de elementos de A tienen sus lmites en A.
3. Todo xX para el ual exista {an }n1 A onvergiendo a x es

un punto de A.
Demostra in. (1) (2). Por ser A errado, A = A. Si {an }n1 A

onverge a x, se tiene x A = A por la Proposi in 2.5.7.
(2) (3). Es inmediato.
(3) (1). Si x A existe, por la Proposi in 2.5.7, una su esin
{an }n A onvergiendo a x. Enon es, por (3); x A. Hemos probado
A A; es de ir, A es errado.
2.6. Otros puntos notables. Anlisis de la po-

si in en un espa io topolgi o
Deni in 2.6.1. Sea (X, T ) un espa io topolgi o. Dado A X , de i-

mos que x X es un punto frontera de A si para todo onjunto G abierto
de (X, T ) on x G, se veri a que G A 6= y (X A) G 6= .
Se llama onjunto frontera de A a
F rA = {x X, x punto frontera de A}
Proposi in 2.6.2. F rA = A X A
Proposi in 2.6.3. Sea (X, T ) un espa io topolgi o. Enton es, para
todo A X, se umple:
A = int(A) F rA
Adems, int(A) F rA = .
Demostra in. Para la onten in ha ia la dere ha, sea x A, distingui-

mos:
-x int(A), luego x int(A) F rA, y hemos terminado.
-x 6 int(A), enton es, para todo G abierto, on x G, se tiene que
G * A. De este modo, para todo G abierto on x G, se veri a que
G (X A) 6= . Enton es, x F rA, y de este modo, x int(A) F rA.
Para la onten in ha ia 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 redu in al
absurdo, supongamos que x int(A) F rA. En parti ular, x int(A),
luego, existe un abierto G, on x G A. Enton es, G (X A) = ,
por lo que x 6 F rA, que ontradi e la hiptesis.
Deni in 2.6.4. Sea (X, T ) un espa io topolgi o, y A X . Un ele-

mento x X se di e exterior a A si x int(X A). Se dene el exterior
de A omo:
ext(A) = int(X A)
Proposi in 2.6.5. Sea (X, T ) un espa io topolgi o, enton es:

1. F rA = F r(X A)
2. X = int(A) F rA ext(A)
3. Los anteriores onjuntos son disjuntos entre s.
Demostra in. 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 onjuntos son disjuntos.
Ejemplo 2.6.6. (a) Si Z R es el onjunto de los nmeros enteros, se

tiene que int(Z) = y Z = Z en (R, eu ldea), en parti ular F rZ = Z.
Tenemos as que Z es errado (pero no abierto) en la re ta eu ldea.
(b) Si a < b, enton es los intervalos A = [a, b], B = (a, b), C = [a, b)
y D = (a, b] omo onjuntos de la re ta eu ldea umplen:
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 onjunto errado pero no abierto, B es un onjunto
abierto no errado y C y D no son ni abiertos ni errados.
( ) El Conjunto de Cantor es el onjunto errado de la re ta eu ldea

C = n=1 An obtenido omo la interse in de los onjuntos errados
(y esto prueba que C es un onjunto errado) denidos indu tivamente
al tomar An+1 omo el resultado de eliminar los intervalos abiertos que
onstituyen los ter ios entrales de los intervalos que omponen An . Se
omienza on A1 = [0, 1].
Figura 2.7:
(d) Sea X = {f : [1, 1] R ontinua}, denimos el onjunto

A X omo A = {f X : f derivable}. Nos preguntamos si el on-
junto A es errado para la distan ia del supremo d . Esta pregunta,
puramente topolgi a, equivale a probar que el lmite respe to a d de
fun iones derivables es derivable lo dara un importante resultado de
Anlisis. Desafortunadamente la respuesta es negativa. En efe to, si to-
mamos f (x) = |x|, fun in no derivable, podemos en ontrar una su esin
de fun iones derivables que tienden a f .
Figura 2.8:
Esto impli a que A 6= A, por lo que A no es errado. De he ho se

puede demostrar que A = X , por lo que toda fun in ontinua es lmite
de fun iones derivables respe to a la distan ia del supremo d .
Deni in 2.6.7. Sea (X, T ) un espa io topolgi o, A X se di e
denso en (X, T ) si A = X .
2.7. Subespa io topolgi o
Proposi in 2.7.1. Sea (X, T ) un espa io topolgi o, y A X. Sea la

familia de sub onjuntos de A,
TA = {A G, G T }.
Enton es, la familia TA es una topologa sobre A, llamada topologa re-
lativa a A (o restri in). A (A, TA ) se le llama subespa io topolgi o
de (X, T ), y se tiene que C A es un errado de (A, TA ) si y slo si
C = {F A, F errado de (X, T )}
Demostra in. Dejamos omo ejer i io omprobar que TA es una topo-
loga sobre A. Para la segunda parte, tenemos que C A es un on-
junto errado de (A, TA ) si y slo si C = A H , on H abierto en
(A, TA ) si y slo si C = A H y H = G A on G T . Luego
C = A (X H) = A (X G), siendo X G errado de (X, T ).
Teniendo en uenta que la interse in nita de onjuntos abiertos

(de errados, respe tivamente) es un onjunto abierto ( errado, resp.),
se sigue inmediatamente la siguiente proposi in. Dejamos los detalles
omo ejer i io.
Proposi in 2.7.2. si A abierto de (X, T ), enton es todos los abiertos
de (A, TA ) son abiertos de (X, T ). Del mismo modo se tendr para los
errados.
Ejemplo 2.7.3. En general, los abiertos de (A, TA ) no son abiertos de

(X, T ). Por ejemplo: sea (R2 , eu ldea), y A = R2+ = {(x, y) : y 0} el
semiplano superior.
Figura 2.9:
Enton es, A no es un abierto en (R2 , eu ldea). Ahora, tomando G =

Bd (0, ), que es abierto de (R2 , eu ldea), o urre que G A no es abierto
de (R2 , eu ldea), pero s lo es de (A, eu ldea|A )
Nota 2.7.4. Si B A X y (X, T ) espa io topolgi o, denotamos por

X A
B a la lausura de B en (X, T ), y B , a la lausura de B en (A, TA ).
A X
Probar que B = B A.
Nota 2.7.5. Sea (X, d) un espa io (seudo)mtri o, y sea Td la topologa
de los abiertos de (X, d). Dado A X , denotamos por d|A a la distan-
ia restri in uyos abiertos forman la topologa Td|A , enton es se tiene
Td|A = (Td )A . Se deja omo ejer i io omprobar la igualdad (Ayuda: se
tiene que para todo a A, Bd|A (a, ) = Bd (a, ) A).
Para terminar, una observa in sobre aquellos onjuntos que son si-
multneamente abiertos y errados en un espa io topolgi o. Hemos visto
que al menos X y son onjuntos simultneamente abiertos y errados
en ualquier espa io topolgi o (X, T ). Los espa ios donde ni amente
el espa io total y el onjunto va o son a la vez abiertos y errados son de
gran importan ia en matemti as y son llamados espa ios onexos. Vol-
verenos sobre ellos en la Se in 4.4. A ontinua in demostraremos que
todos los intervalos de la re ta on la restri in de la topologa eu ldea

umplen esta propiedad.
Proposi in 2.7.6. Sea J un intervalo de ualquier tipo de la re ta
in luyendo la propia re ta. Enton es, los ni os abiertos de (J ,eu ldea)
que son a la vez errados son J y .
Demostra in. R.A. Supongamos por el ontrario que existe A J abier-
to y errado de (J ,eu ldea) on A 6= y A 6= J . Es ogemos un t0 J A.
Enton es si
Figura 2.10:
A0 = A (, t0 ) = A (, t0 ]
A1 = A (t0 , ) = A [t0 , )
ne esariamente A0 6= A1 6= .
Supongamos A0 6= . Como A es abierto en (J, eu ldea), tambin lo es
A0 = A(J (, t0 )) por ser interse in de dos abiertos en (J, eu ldea).
Del mismo modo, A0 es errado en (J, eu ldea).
El onjunto A0 est a otado por t0 superiormente y A0 6= , enton es
existe a = sup A0 . Como J es in intervalo, para todo t A0 , tenemos
a [t, t0 ] J . Sabemos por el Ejemplo 2.3.3 que a es un punto adherente
J
de A0 en (R, eu ldea). Por la Nota 2.7.4, tenemos que a A0 J = A0 .
Ahora bien, omo A0 es errado en (J, eu ldea), enton es, a A0 .
En parti ular, a < t0 . Por otro lado, de ser A0 abierto se sigue que
existe > 0 on {t J; |t a| < } A0 , enton es si 0 < < on
a + [a, t0 ] J tenemos a + A0 y a + > a, por lo que a no es
supremo de A0 llegando as a una ontradi in.
2.8. Continuidad
Desde el punto de vista del anlisis de la posi in, una apli a in

ontinua debe preservar la estru tura de proximidad; es de ir, si un punto
est adherido a un onjunto, enton es la imagen de aquel debe seguir
pegado a la imagen del onjunto.
Figura 2.11:
Deni in 2.8.1. Sean (X, T ) e (Y, T ) espa ios topolgi os. Una apli-
a in f : (X, T ) (Y, T ) se di e ontinua si para todo A X , se veri-
a que f (A) f (A). Es de ir, si para todo a A, enton es, f (a) f (A).
Proposi in 2.8.2. (Cara teriza in de la ontinuidad por abiertos y

errados)
Sean (X, T ) e (Y, T ) espa ios topolgi os, y sea una apli a in f :
(X, T ) (Y, T ). Son equivalentes:
(1) f es ontinua.
1
(2) Si F es un errado en (Y, T ), enton es f (F ) es errado en
(X, T ).
1
(3) Si G es un abierto en (Y, T ), enton es f (G) es abierto en
(X, T ).
Demostra in. (1) (2) Sea F un errado en (Y, T ), veamos que

f 1 (F ) es errado en (X, T ). Esto ser ierto si f 1 (F ) = f 1 (F ), de
modo que la onten in ha ia la izquierda se tiene siempre.
Para la otra onten in, tomamos A = f 1 (F ) X . Enton es, por la
ontinuidad 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 lausura, f (f 1 (F ))
F = F . Apli ando lo anterior, se tiene que f (f 1(F )) F . Luego, para
todo z f 1 (F ), se veri a que f (z) F , luego z f 1 (F ). Por tanto,
se tiene la otra in lusin.
(2) (3) Sea G abierto, enton es Y G es errado. Como estamos
suponiendo (2), f 1 (Y G) = X f 1 (G) es errado. Por tanto, f 1 (G)
es abierto.
(3) (1) Sea y f (A), veamos que y f (A). Es de ir, debemos
probar que para todo G abierto de (Y, T ) on y G, se tiene que
Gf (A) 6= . En efe to, si G abierto, enton es, por (3), f 1 (G) es abierto
de (X, T ). Como y f (A), existir algn x A on f (x) = y . De modo
que, omo y G, x f 1 (G). Ahora, omo x A, ualquier abierto
que ontenga a x orta a A. As, por la deni in de punto adherente,
se tiene que f 1 (G) A 6= . Luego, existe a A on a f 1 (G).
Enton es, f (a) Gf (A), es de ir, Gf (A) 6= , que es lo que queramos

probar.
La ara teriza in de la ontinuidad por abiertos y errados nos lleva
a la siguiente versin general de ono ido Teorema del Valor Intermedio
de Bolzano.
Proposi in 2.8.3. Sea (X, T ) un espa io topolgi o. Son equivalentes
a) Los ni os onjuntos abiertos que son tambin errados en (X, T ) son
X y .
b) Si f : (X, T ) (R, eu ldea) es ontinua y a, b f (X) on a b
enton es [a, b] f (X)
)(Teorema de Bolzano) Si f : (X, T ) (R, eu ldea) es ontinua y
x1 , x2 X on f (x1 ) < 0 y f (x2 ) > 0, enton es x0 X on f (x0 ) = 0.
Demostra in. a) b)
Si a = b no hay nada que probar. Supongamos enton es que a < b. Si
algn t on a < t < b umpliese que t / f (X), enton es el onjunto
A = f 1 ((t, )) oin ide on f 1 ([t, )). Luego la ontinuidad de f im-
pli a que el A es un onjunto a la vez abierto y errado. Adems, omo
a f (X), si a = f (x0 ), x0 / A pues a = f (x0 ) < t, mientras que si
f (x1 ) = b enton es x1 A pues b > t. Esto nos di e que A 6= , X , lo
que ontardi e a).
b) )
Si f (x1 ) = a < 0 y f (x2 ) = b > 0. Tenemos a b, enton es [a, b] f (X).
Por b) sabemos que 0 [a, b] f (X). Luego, x0 X on f (x0 ) = 0
) a)
Si no no se umpliese a) enton es existe A 6= , X abierto y errado a la
vez. Sea f : (X, T ) (R, eu ldea) denida omo

+1 si x A
f (x) =
1 si x 6 A
Armamos que f es ontinua y laramente no umple la ondi in ),
llegando a una ontradi in. Veamos la ontinuidad. Sea G abierto de
(R,eu ldea)

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 ualquier aso f 1 (G) es un onjunto abierto y por tanto f es onti-

nua.
Conse uen ia: Como todo intervalo de la re ta (in luyendo la re ta)
umple el apartado a) (Proposi in 2.7.6), obtenemos omo aso parti-
ular de la Proposi in 2.8.3 la versin lsi a del teorema de Bolzano.
Proposi in 2.8.4. (Cara teriza in de la ontinuidad para espa ios

(seudo)mtri os)
Sea f : (X, d) (Y, d ) una apli a in entre espa ios (seudo)mtri os.
Son equivalentes:
(1) f es ontinua ( on la ara teriza in por abiertos).
(2) Para todo x X y para todo > 0, existe > 0 tal que si
d(x, x ) < , enton es, d (f (x), f (x )) < . O equivalentemente, f (Bd (x, ))

Bd (f (x), ).
Demostra in. (1) (2) Como Bd (f (x), ) es abierto de (Y, T ), por (1)
sabemos que f (Bd (f (x), )) es abierto on de (X, T ). De este modo,
1
si f (x) Bd (f (x), ), enton es x f 1 (Bd (f (x), )). As, por deni in

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 de ir, hay que probar que f 1 (G) es entorno de todos
sus puntos. En efe to, sea x f 1 (G), enton es, omo G abierto, existe
> 0 on Bd (f (x), ) G. Por (2), existir > 0 tal que f (Bd (x, ))
Bd (f (x), ) G. Luego, Bd (x, ) f 1 (G), es de ir, f 1 (G) es entorno
de todos sus puntos.
Proposi in 2.8.5. (Cara teriza in por onvergen ia)

Sea f : (X, d) (Y, d ) una apli a in entre espa ios (seudo)mtri os.
Son equivalentes:
(1) f es ontinua.
(2) Si {xn }n1 X y {xn }n1 onverge a x0 en (X, d), enton es
{f (xn )}n1 onverge a f (x0 ) en (Y, d).
Demostra in. (1) (2) Debemos probar que para ualquier G abierto
de (Y, d ) on f (x0 ) G, existe un n0 tal que f (xn ) G n n0 .

En efe to, por (1) sabemos que f 1 (G) es abierto de (X, d). Adems, si
f (x0 ) G, enton es x0 f 1 (G). Por hiptesis, si {xn }n1 onverge a
x0 , enton es existe n0 on xn f 1 (G); es de ir, f (xn ) G para todo
n n0 .
(2) (1) Para ver que f es ontinua, debemos probar que f (A)
f (A), para todo A X . En efe to, sea y f (A), enton es existe x
A tal que y = f (x). Por la ara teriza in de la lausura en espa ios
(seudo)mtri os, va a existir {an }n1 A onvergiendo a x. Enton es,
por (2), {f (an )}n1 f (A) onverge a f (x). Luego, por propiedad de la
lausura, y = f (x) f (A). Por lo que hemos probado lo que queramos.
Proposi in 2.8.6. (Propiedades generales de las apli a iones onti-

nuas)
a) Cualquier apli a in onstante es ontinua.
b) La identidad id : (X, T ) (X, T ) es ontinua.
) La omposi in de apli a iones ontinuas es ontinua.
d) La restri in de una apli a in ontinua es ontinua respe to de
la topologa restri in (o relativa).
Notar que b) + d) impli a que toda in lusin i : (A, TA ) (X, T ) :
i(a) = a a A, on A X, es ontinua.
Demostra in. Usaremos la ara teriza in por abiertos.

a) Sea f : (X, T ) (Y, T ) onstante. Es de ir, f (x) = y0 Y x
X . Enton es, 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 ontinua.
b) Sea U abierto de (X, T ), enton es id1 (U) = U . Luego la identidad
es ontinua.
) Sean f : (X, T ) (Y, T ) y g : (Y, T ) (Z, T ) apli a iones
ontinuas, y sea U abierto de (Z, T ). Enton es, x (g f )1 (U)
g(f (x)) = g f (x) U f (x) g 1 (U) x f 1 (g 1 (U)) Es de ir,
(g f )1 (U) = f 1 (g 1(U)), que es abierto por ser f ontinua, y ser
g 1(U) abierto por la ontinuidad de g . Por tanto, la omposi in de
apli a iones ontinuas es ontinua.
d) Sea f : (X, T ) (Y, T ) ontinua, y A X . Enton es, sea f |A :
(A, TA ) (Y, T ) la restri in 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 restri in.
Luego, la restri in es ontinua.
Proposi in 2.8.7. Sea f : (X, T ) (Y, T ) ontinua, y fe : (X, T )

(f (X), T |f (X) ) la restri in sobre la imagen, dada por fe(x) = f (x)
x X . Enton es fe es ontinua.
Demostra in. Sea U abierto de (f (X), T |f (X) ). Por deni in se tiene

que U = W f (X), on 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 ontinua y
f 1 (f (X)) = X .
Ejemplo 2.8.8. 1. No siempre la apli a in identidad id : (X, T )

(X, T ) va a ser ontinua si T =

6 T . Por ejemplo, vamos a tomar las
topologas T aso iada a la distan ia eu ldea, T a la distan ia dis reta,
y tomamos X = R. Enton es, sabemos que la su esin {xn }n1 = { n1 }n1
onverge a 0 en la topologa eu ldea. Sin embargo, se tiene que id(xn ) =
xn no onverge a id(0) = 0, pues Bdiscreta (0, ) = {0} para 1, y
xn 6 {0} n 1
2. Ahora, sea id : (R2 , eu ldea) (R2 , taxi). En este aso, id va a ser
ontinua, a pesar de tener distintas distan ias deniendo las topologas de
los espa ios de salida y llegada. Anlogo se tendr que id : (R2 , taxi)
(R2 , eu ldea) es ontinua.
Deni in 2.8.9. Una apli a in f : (X, T ) (Y, T ) se di e equi-

valen ia topolgi a (homeomorsmo) si f es biye tiva, y f y f 1 son
ontinuas.
Ejemplo 2.8.10. Se tiene que id : (R, dis reta) (R, eu ldea) es onti-
nua (se prueba que las ni as su esiones onvergentes son las onstantes),
pero vimos que id1 : (R, eu ldea) (R, dis reta) no lo es. Por tanto,
en este aso, la identidad no es una equivalen ia topolgi a.
Proposi in 2.8.11. Las proye iones pi : (Rn, eu ldea) (R, eu ldea),

denidas omo pi (x1 , ..., xn ) = xi , para 1in son siempre ontinuas.
Demostra in. Apli aremos el riterio . Dado (x1 ,p ...,

P xn ) Rn y >
n
0, debemos probar que si de ((x1 , ..., xn ), (x1 , ..., xn )) = 2
i=1 (xi xi ) <
, enton es |xi xi | < . pPn
En efe to, basta tomar = , de manera que i=1 (xi xi ) < ,
2
dedu iendo que |xi xi |2 < 2 , luego |xi xi | < .
Proposi in 2.8.12. Una apli a in f : (X, T ) (Rn , eu ldea) es

ontinua si y slo si pi f : f : (X, T ) (R, eu ldea) es ontinua para
todo 1 i n.
Demostra in. Para probar la impli a in ha ia la dere ha basta ob-

servar que omo f y pi son ontinuas, la omposi in de apli a iones
ontinuas es ontinua. Luego, pi f es ontinua para todo 1 i n.
Para la otra impli a in, suponemos que ada pi f es ontinua.
Enton es, sea U Rn abierto de (Rn ,eu ldea), para ver que f es on-
tinua, debemos probar que f 1 (U) es abierto de (X, T ). Es de ir, hay
que probar que f 1 (U) es entorno de todos sus puntos. En efe to, sea
x f 1 (U), enton es f (x) U . As, al ser U abierto eu ldeo, va
a existir tal que, tomando, por ejemplo, la distan ia del mximo,
Bd (f (x), ) U . Enton es, 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 eu ldeo en R.
Por tanto, omo pi f es ontinua, enton es (pi f )1 (yi , yi + ) es
abierto de (X, T ). Y adems, (pi f )1 (yi , yi +) = f 1 (p1 i (yi , yi +
1
)) = f T(R R ... (y (i)
. De este modo, se tendr
Qi n , yi + ) ... R)1
n
que x i=1 Ai = f ( i=1 (yi , yi +)) = f (Bd (f (x), )) f 1 (U),
1
luego f 1 (U) es entorno de todos sus puntos.
Proposi in 2.8.13. Si f : (X, T ) (Y, T ) es un homeomorsmo y

GX es un abierto de (X, T ), enton es f (G) es abierto de (Y, T ). Se
tendr un resultado anlogo para los errados.
Demostra in. Al ser f un homeomorsmo, enton es f 1 : (Y, T )

(X, T ) es ontinua. Luego (f 1 )1 (G) = f (G) es abierto de (Y, T ).
Deni in 2.8.14. Una apli a in f : (X, T ) (Y, T ) se di e abierta

si para todo abierto G de (X, T ), enton es f (G) es abierto de (Y, T ).
Anlogamente, se di e que f es errada si para todo errado F de (X, T ),
enton es f (F ) es errado de (Y, T ).
Proposi in 2.8.15. f es homeomorsmo si y slo si es biye tiva, on-

tinua y abierta, si y slo si es biye tiva, ontinua y errada.
Demostra in. Veamos la primera equivalen ia. La impli a in ha ia la

dere ha se tiene por ser todo homeomorsmo una apli a in abierta.
Re pro amente, basta probar que f 1 es ontinua. En efe to, si G es
abierto de (X, T ), enton es (f 1 )1 (G) = f (G) va a ser abierto por
hiptesis. Luego f 1 es ontinua, y, por tanto, f es un homeomorsmo.
La segunda equivalen ia se ha e de modo anlogo.
Figura 2.12:
Ejemplo 2.8.16. 1. Las proye iones pi : (Rn , eu ldea) (R, eu ldea)

son apli a iones abiertas y no erradas.
En efe to, sea G abierto de (Rn ,eu ldea), debemos probar que pi (G)
es entorno de todos sus puntos para ver que pi (G) es abierto de (R,eu ldea).
Enton es, sea x pi (G), se tendr que existe y = (y1 , ..., yn ) G on
yi = x. Por propiedad de los espa ios eu ldeos, va a existir > 0 tal
que Bd (y, ) G. De este modo, pi (Bd (y, )) = (x , x + ) pi (G), es
de ir, pi (G) es entorno de x.
Sin embargo no es errada. Basta ver un ontraejemplo: sea F =
{(x, y) : y = x1 , x > 0} errado de (R2 ,eu ldea) (ya que R2 F es abier-
to). Sin embargo, p1 (F ) = (0, ), que no es errado.
Figura 2.13:
2. Veamos un ejemplo de apli a in biye tiva y ontinua que no es

homeomorsmo. Sea f : ([0, 2), eu ldea) (R2 , eu ldea), denida o-
mo f (t) = (cos t, sen t). Enton es, f es ontinua pues p1 f y p2 f
son las apli a iones cos t y sen t, respe tivamente, que son ontinuas.
As que, omo f ([0, 2)) es la ir unferen ia unidad S 1 , vamos a denir
fe : ([0, 2), eu ldea) (S 1 , eu ldea) la restri in de f .
Enton es, fe es ontinua pues f lo es. Adems, fe es biye tiva. Sin
embargo, fe1 no es ontinua, ya que tomando la su esin (xn , yn ) =
(cos(2 n1 ), sen (2 n1 )), sta va a onverger a (1, 0) S 1 , pero

fe1 (xn , yn ) = 2 n1 no onverge en [0, 2) por ha erlo a 2 6 [0, 2).
3. Sean (a, b) y (a , b ) intervalos de R. Denimos la apli a in f :

((a, b), eu ldea) ((a , b ), eu ldea) omo f (x) = y = bba (x a) + a .
a
Figura 2.14:
Enton es, esta apli a in es ontinua, biye tiva y su inversa, f 1 (y) =
ba
b a
(y a ) + a, tambin es ontinua. Luego, f es un homeomorsmo.
Por tanto, todos los intervalos a otados de (R,eu ldea) son homeomor-
fos. De modo anlogo, los intervalos de la forma (a, ) y (a , ) van a
ser homeomorfos. As omo 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 ),eu ldea) y (R,eu ldea) son homeomorfos.
Basta tomar f (x) = tan x, por tratarse de una apli a in ontinua y
biye tiva, y ser f 1 (y) = arctan y ontinua.
Figura 2.15:
6. Tambin se tiene que ((0, ),eu ldea) y (R,eu ldea) son homeo-
morfos. En este aso, basta tomar f : (R, eu ldea) ((0, ), eu ldea) :
f (x) = ex que es ontinua y biye tiva, y uya inversa f 1 (y) = ln y es
ontinua.
Como onse uen ia, se tiene el siguiente resultado:
Proposi in 2.8.17. Todos los intervalos abiertos de R son homeomor-
fos entre s (in luyendo R).
Figura 2.16:
Deni in 2.8.18. Dada f : (R, eu ldea) (R, eu ldea), se llama

gr a de f a f = {(x, y) : y = f (x)} R2
Ahora, onsideramos f : (R, eu ldea) (R2 , eu ldea) denida o-

mo f (x) = (x, f (x)). Enton es, f es inye tiva, pues f (x) = f (x )
impli a que x = x . As, la restri in
ff : (R, eu ldea) (f , eu ldea)
va a ser una apli a in biye tiva. Y ff 1 ((x, y)) = x, es de ir,
ff 1 es la
restri in de la proye in pi a f . Luego, ff 1 es ontinua.
De este modo, ff es ontinua, si y slo si p1 ff = idR y p2 ff = f
son ontinuas, si y slo sif es ontinua. Por tanto, f es ontinua, si y slo
si
ff es homeomorsmo entre (R,eu ldea) y (f ,eu ldea).
Deni in 2.8.19. Una inmersin es una apli a in ontinua e inye -

tiva f : (X, T ) (Y, T ), uya restri in a la imagen fe : (X, T )
(f (X), Tf (X) ) es homeomorsmo.
Proposi in 2.8.20. Si f es ontinua, f es una inmersin de (R,eu ldea)

2
en (R ,eu ldea).
Demostra in. Si f = {(x, y) R R2 : y = f (x)} R3 , se prueba

igual que antes que f es ontinua, si y slo si f es una inmersin (es
de ir,
ff es homeomorsmo).
Ejemplo 2.8.21. Dada la fun in f (x) = (cos x, sen x) R2 , enton es

f = {(x, cos x, sen x) : x R} R3 se trata de una hli e en R3 . Por
tanto, toda hli e es una inmersin de la re ta R en R3 .
Figura 2.17:
Captulo 3
Compa idad
3.1. Deni in y primeros ejemplos
Deni in 3.1.1. Dado un onjunto X y A X , un re ubrimiento

S de A
en X es una familia {C } de sub onjuntos de X tal que A C .
S
Nota 3.1.2. Si A = X la in lusin es una igualdad: X = C .
Deni in 3.1.3. Un subre ubrimiento
S de {C } es una subfamilia
{C } on y an A C
Deni in 3.1.4. Sea (X, T ) un espa io topolgi o. Un sub onjunto
A X se di e ompa to en (X, T ) si de todo re ubrimiento de A por
abiertos en (X, T ) se puede extraer un subre ubrimiento nito.
Nota 3.1.5. Si A = X de imos que (X, T ) es un espa io ompa to.
Lema 3.1.6. A es ompa to en (X, T ) si y solo si el subespa io (A, TA )
es ompa to.
45
CAPTULO 3. COMPACIDAD 46
Demostra in. [] Supongamos A ompa to en (X, T ).

Sea {G } un re ubrimiento
S de A por abiertos de la topologa restri -
in TA , enton es A = G y para ada se tiene G = H A
on H abierto S ed (X, T )S.
Ahora, A = G H . Por tanto, {H } es re ubrimiento
de A por abiertos de (X, T ). Luego, utilizando la hiptesis,
1 , . . . , n on A H1 Hn , lo que impli a que
A = (H1 Hn ) A = (H1 A) (Hn A) = G1 Gn ,
por lo tanto tenemos que (A, TA ) es ompa to.
[] Re pro o: (A, TA ) es ompa to. A es ompa to de (X, S T )?
Sea {U } re ubrimiento de A por abiertos de T , A U .
Enton es:
S S
A = ( U ) A = (U A) donde las interse iones son abiertos
de (A, TA ). Apli ando la hiptesis, 1 . . . n on A = (U1 A)
(Un A) U1 Un .
Por lo tanto, A es ompa to en (X, T ).
Ejemplo 3.1.7. S n
(R , eu ldea) no es ompa to.
Tenemos: Rn = n1 Bd (, n), on d= distan ia eu ldea y = origen.
n
Sk n
Pero, no existe n1 , . . . nk on R = j=1 Bd (, nj ), pues en tal aso,R =
Bd (, n0 ), on n0 = max{n1 , . . . nk }
Ejemplo 3.1.8. (X, discreta) es ompa to X es nito.
Ejemplo 3.1.9. En ualquier espa io topolgi o (X, T ) todo onjun-

to nito es siempre ompa to.
S En efe to, sea el onjunto nito A =
{a1 , . . . , as } y A G , on G abierto de (X, T ). Para ada
ai en ontramos un Gi on a1 Gi (1 i s). Enton es, A
G1 Gs ; por tanto, A es ompa to.
Ejemplo 3.1.10. (R, onita) es ompa to. Re ordemos que la topo-

loga onita es la familia {, A R tal que R A sea nito }. Sea
R = G on G abierto de la topologa onita. Dado x R, 0
on x G0 , lo que impli a que G0 6= . Luego, R G0 = {x1 , . . . xn }
es nito. Ahora, omo en el Ejemplo 3.1.9, dado xi , sea Gi on xi Gi .
Enton es tenemos que:
R = (R G0 ) G0 = {x1 , . . . , xn } G0 G1 Gn G0 .
Hemos probado que (R, onita) es ompa to.
Ejemplo 3.1.11. Toda unin nita de ompa tos es ompa to.

Ejemplo 3.1.12. En (R, eu ldea) todo intervalo errado y a otado [a, b]

es ompa to.
En efe to, sea {G } re ubrimiento de [a, b] por abiertos de (R, eu l-
dea).
Sea A = {x [a, b]; el intervalo [a, x] est re ubierto por una antidad nita 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. Armamos:
1. x0 A
2. x0 = b, y on esto se habra demostrado el ejemplo.
Veamos (1):
x0 [a, b] G , luego on x0 G , y omo G es abierto,
existe > 0 on (x0 , x0 + ) G . Como x0 es supremo, x1 A
on x1 (x0 , x0 ]. Como x1 A, enton es 1 , . . . , n on [a, x1 ]
G1 Gn . Lo que impli a que
[a, x0 ] [a, x1 ] (x0 , x0 ] G1 Gn G .
Por tanto, apli ando la deni in de A, tenemos que x0 A.

Veamos (2):
R.A.: Supongamos que x0 < b, enton es > 0 tal que [x0 , x0 +) [a, b].
Sea 0 = min{, }, donde est dado ms arriba. Enton es, [x0 , x0 +
0 ) G , luego,
h 0 i
a, x0 + [a, x0 ] [x0 , x0 + 0 ) G G1 Gn ,
2
0
y por deni in de A, tenemos que x0 + A. Contradi in, porque
2
0
x0 + > x0 .
2
Luego, x0 = b. Por tanto, [a, b] es ompa to.
Proposi in 3.1.13. Sea (X, d) espa io (seudo)mtri o. Enton es, todo

CX ompa to est a otado.
S
Demostra in.
S Sea x 0 C ualquiera. Tenemos que X = n=1 Bd (x0 , n),
luego C B
n=1 d 0 (x , n). Como C es ompa to, n1 , . . . , nk on C
Bd (x0 , n1 ) Bd (x0 , nk ) Bd (x0 , n0 ) on 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 a otado.
3.2. La ompa idad y los onjuntos errados
Deni in 3.2.1. Una familia de onjuntos {A } se di e que tiene

la Propiedad de Interse in Finita (PIF) si toda subfamilia nita
A1 , . . . , An tiene interse in A1 An 6= no va a.
Proposi in 3.2.2. Sea (X, T ) un espa io topolgi o. Son equivalentes:
1. (X, T ) es ompa to.
2. Tada familia de errados on la PIF tiene interse in distinta de

va o.
Demostra in. Veamos 1) 2).

R.A.: Sea {F } una familia de errados on la PIF y tal que F = .
Enton es
X = (X F ), es un re ubrimiento abierto de X y apli ando 1),
1 , . . . , n on
X = (X F1 ) (X Fn ). Tomando omplementarios,
= F1 Fn , que es una ontradi in on la PIF.
Veamos 2) 1).
Sea {G } un re ubrimiento por abiertos de X . Es de ir, X = G
y ada G es abierto. Tomando omplementarios, = (X G ).
Apli ando 2), la familia {X G } no puede tener la PIF, y por
deni in: 1 , . . . , n on (X G1 ) (X G1 ) = . Luego,
X = G1 G2 Gn . Lo que prueba que (X, T ) es ompa to.
Proposi in 3.2.3. (Los errados heredan la ompa idad).

Sea (X, T ) un espa io topolgi o y F K on F errado y K ompa to.
Enton es F tambin es ompa to en (X, T ).
Demostra in. Sea {G } re ubrimiento de F on abiertos de (X, T ).

Enton es K X = (X F )F (X F )( G ), y por tanto {(X
F ), G } es un re ubrimiento de K por abiertos de (X, T ). Apli ando
la hiptesis, existen 1 , . . . , n on F K (X F ) (G1 Gn ).
Como F (X F ) = , ne esariamente F G1 Gn . Lo que
demuestra F es ompa to.
Puesto que todo onjunto a otado est ontenido en un intervalo e-
rrado, se sigue de 3.2.3 y 3.1.12.
Corolario 3.2.4. En (R, eu ldea), si A es errado y a otado enton es

es ompa to.
3.3. Compa idad y propiedad de Haussdor
Proposi in 3.3.1. (Separa in de punto y ompa to)

Sea (X, T ) un espa io topolgi o on la propiedad de Haussdor. Sea
F X ompa to y x 6 F. Enton es existen abiertos U y V de (X, T )
on x U, F V y U V = .
Nota 3.3.2. La proposi in anterior vale para ualquier espa io mtri o.

Demostra in. Dado y F, omo x 6 F enton es x 6= y , y por la
propiedad de Hausdor existen abiertos Vy y Uy on x Uy , y Vy y Vy
Uy = . S S
Ahora, F = yF {y} yFSVy y omo F esT ompa to y1 . . . yn on
F Vy1 Vyn . Sea V = ni=1 Vyi y U = ni=1 Uyi . Obsrvese que V
es abierto y U tambin (por ser interse in nita 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 ), omo ada una de estas
ltimas interse iones es va a, se tiene que U V = .
Corolario 3.3.3. Todo ompa to en un espa io on la propiedad de se-
para in de Hausdor (en parti ular en un espa io mtri o) es siempre
errado.
Demostra in. El onjunto ompa to F ser errado si y solo si X F

es abierto. Sea x X F veamos si x int(X F ) :
Como x 6 F por la proposi in anterior U, V abiertos on x U, F V
y U V = .
En parti ular, F U V U = enton es U F = , y por tanto
x U X F, que, al ser U abierto, impli a que x int(X F ): As
pues, X F es abierto y F es errado.
Proposi in 3.3.4. (Separa in de ompa tos)
Sea (X, T ) un espa io topolgi o on la propiedad de separa in de Haus-
dor. Sean F1 , F2 X ompa tos disjuntos. Enton es existen abiertos U
y V de (X, T ) on F1 U, F2 V y U V = .
Demostra in. Si x F1 , enton es, omo F1 F2 = , x 6 F2 . Apli ando
la proposi in anterior: abiertos Ux y Vx on Ux Vx = tales que
x Ux y F2 SVx . S
Tenemos F1 = xF1 {x} xF1 Ux y por ser F1 ompa to, x1 , . . . , xn
on F1 Ux1 Uxn .
Sean U = ni=1 Uxi y V = ni=1 Vxi . Ntese que U y V son abiertos (este
ltimo por ser interse in nita 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 proposi in anterior vale para todos los espa ios mtri-
os.
Proposi in 3.3.6. (Teorema de Heine-Borel para la re ta eu ldea) En

(R, eu ldea), un onjunto AR es ompa to si y slo si es errado y
a otado.
Demostra in. Por el Corolario 3.2.4, si A es errado y a otado enton es

es ompa to. Re pro amente, si es ompa to enton e A es a otado y
errado por las proposi iones 3.1.13 y 3.3.3, respe tivamente.
3.4. Compa idad y ontinuidad
Proposi in 3.4.1. (La ontinuidad preserva la ompa idad)

Sea f : (X, T ) (Y, T ) una apli a in ontinua entre espa ios topol-

gi os. Si A X es ompa to en (X, T ) enton es f (A) lo es en (Y, T ).
S
Demostra in. Sea f (A) = G on G abierto de (Y, T ), enton es

S S
A f 1 G = f 1 (G ) donde f 1 (G ) es abierto por ser
f ontinua. Como A es ompa to 1 . . . n on A f 1 (G1 )
f 1 (Gn ) f 1 (G1 Gn ), luego f (A) G1 Gn y por
tanto f (A) es ompa to.
Proposi in 3.4.2. (Teorema de Weierstrass) Sea f : (X, T ) (R, eu ldea)

una apli a in ontinua, enton es la imagen de ualquier sub onjunto
ompa to AX al anza su mximo y su mnimo.
Demostra in. Por la Proposi in 3.4.1, f (A) es un ompa to de la re ta

eu ldea y por la Proposi in 3.3.6 es errado y a otado. Por ser a otado
f (A) tiene nmo y supremo. Pero por ser errado estos punto que son
puntos adherentes por el Ejemplo 2.3.3, estn en f (A) = f (A).
Proposi in 3.4.3. Sean (X, T ) e (Y, T ) espa ios topolgi os ompa -

tos on la propiedad de Hausdor. Toda f : (X, T ) (Y, T ) ontinua
es tambin errada.
Demostra in. Sea F errado en (X, T ), por ser (X, T ) ompa to, F es
ompa to y usando que f es ontinua, se tiene que f (F ) es ompa to en
(Y, T ), que es un espa io de Hausdor y tanto f (F ) es errado. As f es
errada.
Nota 3.4.4. En la demostra in slo se ha usado la ompa idad de

(X, T ) y la propiedad de Hausdor de (Y, T ).
Corolario 3.4.5. (Homeomorsmos entre espa ios de Hausdor om-
pa tos) Toda apli a in biye tiva y ontinua, f : (X, T ) (Y, T ) entre
espa ios ompa tos y de Hausdor es un homeomorsmo.
Demostra in. Por la proposi in anterior, f es errada, y por hiptesis,

es ontinua y biye tiva, por tanto, f es un homeomorsmo.
Ejemplo 3.4.6. La ir unferen ia unidad, S 1 R2 , es un ompa to de

(R2 , eu lidea)
Sea f : ([0, 2], eu ldea) (R2 , eu ldea) dada por f (t) = (cos t, sen t).
Figura 3.1: Figure
f es ontinua pues p1 f (t) = cos t; p2 f (t) = sen t y [0, 2] es

ompa to. Enton es la ir unferen ia unidad f ([0, 2]) = S 1 es ompa to.
Ejemplo 3.4.7. En un espa io mtri o la interse in arbitraria de om-

pa tos es siempre un onjunto ompa to. En efe to, sean {A } om-
pa tos. Por estar en un espa io mtri o, los A son errados (3.3.3), luego
A A es errado y por heren ia de ompa idad ya que A que
es ompa to, tenemos que A es ompa to.
Ejemplo 3.4.8. Sea la su esin F1 F2 . . . de errados en aja-

dos, distintos del va o, en un espa io topolgi o on la propiedad de
Hausdor, (X, T ). Si F1 es ompa to, enton es,
i=1 Fi 6= (Teorema de
Cantor).
En efe to, {Fn } tiene la PIF pues dado n1 , . . . , nk , Fn1 Fnk =

Fn0 6= , on n0 = max{n1 , . . . nk }. Todos estn ontenidos en F1 que
es ompa to. Luego, por la ara triza in de ompa idad por errados,
i=1 Fi 6= . Exa tamente esto es lo que o urre en la onstru in del
Conjunto de Cantor en el Ejemplo 2.6.6( ).
Figura 3.2:
3.5. Compa idad en espa ios produ tos. Ca-

ra teriza in de la ompa idad en los es-
pa ios eu ldeos
Sean (X1 , d1 ) . . . (Xn , dn ) espa ios (seudo)mtri os. Sobre el produ -

to artesiano X1 X2 Xn podemos onsiderar las siguientes
seudo(distan ias) 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{d 1 (x1 , x1 ), . . . , d(xn , xn )}, y

pP n
neuclidea ((x1 , . . . , xn ), (x1 , . . . , xn )) = i=1 di (xi , xi ) , respe tivamente.
2
Obsrvese que si X1 = X2 = = Xn = R y d1 = d2 = = dn =
eu ldea sobre R enton es ntaxi = dtaxi , nmax = dmax y neuclidea = deuclidea
sobre Rn . Adems, extendiendo la Nota 1.2.5, se puede omprobar (ejer-
i io) que las tres generan los mismos onjuntos abiertos. Por tanto, sus
espa ios topolgi os subya entes son el mismo y, omo onse uen ia, la
ompa idad se puede estudiar on ualquiera de estas (seudo)distan ias.
Proposi in 3.5.1. Sean (X1 , d1 ) . . . (Xn , dn ) espa ios (seudo)mtri os,
taxi max euclidea
y sea ualquiera de las (seudo)distan ias n , n o n .
SiAi Xi , 1 i n ompa to en (Xi , di ), enton es A1 An es

ompa to en (X1 Xn , ).
En la demostra in de esta proposi in usaremos el siguiente lema.
Lema 3.5.2. (X, d) un espa io (seudo)mtri o y A X . Enton es

Sea
A es ompa to en (X, d) si y slo si de todo re ubrimiento de A on bolas
abiertas de entro los puntos de A se puede extraer un subre ubrimiento
nito.
Demostra in. La parte slo si es trivial. Para el re pro o, sea {G }

un re ubrimiento de A por abiertos de (X, d). Para todo a A existe
un ndi e (a) on a G(a) . Como G(a) es abierto, tenemos que
(a) > 0 tal que Bd (a, (a)) G (a). Claramente A aA Bd (a, (a))
y, por hiptesis, existe una antidad nita de puntos a1 , . . . , as A tales
que A Bd (a1 , (a1 )) Bd (a2 , (a2 )) Bd (as , (as )) G(a1 )
G(a2 ) G(as ) . Esto es, A es ompa to
Demostra in de Proposi in 3.5.1. Haremos la demostra in para =
nmax . Es inmediato omprobar:
nmax = 2max (n1

max
, dn ),
por lo que por indu in basta ha er el aso n = 2, esto es, veremos la

ompa idad de A1 A2 en el espa io (X1 X2 , 2max ). Por el Lema 3.5.2
podemos empezar on un re ubrimiento on bolas abiertas de entro los
puntos de A1 A2 , {B2max ((x, y), (x, y))}(x,y)A1A2 .
Es inmediato veri ar la siguiente igualdad para todo > 0
B2max ((x, y), ) = Bd1 (x, ) Bd2 (y, ).

S S
Fijado y , tenemos A1 = xA1 {x} xA1 Bd1 (x, (x, y)). Enton es,
por ser A1 ompa to, un onjunto nito Jy = {x1 , . . . , xn } tales que
A1 Bd1 (x1 , (x1 , y)) Bd1 (x2 , (x2 , y)) Bd1 (xn , (xn , y)). Toma-
mos y = min{(x1 , y), . . . , (xn , y)} y onsideremos las bolas
Bd2 (y, y ) on yS A2 . S
Tenemos A2 = yA2 {y} yA2 Bd2 (y, y ). Enton es, por ser A2 om-
pa to, y1 , . . . , yk on A2 BS d2 (y1 , y1 ) Bdk (yk , yk ).
Armamos que A1 A2 1ik, xJy Jy B2max ((x, y), (x, y)), lo
1 k
que prueba la ompa idad de A1 A2 .
En efe to sea (x0 , y0 ) A1 A2 ualquiera. Enton es existe k0 on
1 k0 k on y0 Bd2 (yk0 , yk0 ).
S
Ahora, x0 A1 xJyk Bd1 (x, (x, yk0 )) y existe x Jyk0 on x0
0
Bd1 (x , (x , yk0 )).
Por deni in, yk0 (x , yk0 ) as que tenemos (x0 , y0 ) Bd1 (x , (x , yk0 ))
Bd2 (yk0 , yk0 ) Bd1 (x , (x, yk0 ) Bd2 (yk0 , (x , yk0 )), y este produ to de
bolas es B2max ((x , yk0 ), (x , yk0 )).
Corolario 3.5.3. El paralelogramo (produ to de intervalos) [a1 , b1 ]

n n
[an , bn ] es ompa to en (R , dmax ) (o equivalentemente (R , dtaxi ) o
n
(R , deuclidea))
Proposi in 3.5.4. (Teorema de Heine-Borel).

n
AR es ompa to en (R , eu ldea) si y slo si A es errado y a otado.
Demostra in. ) Tenemos que (Rn ,eu ldea) es Haussdor y por tanto
A es errado (3.3.3) y a otado lo es por 3.1.13.
) Como A es a otado, A est ontenido en un paralelogramo J , que es
ompa to por 3.5.3. Enton es A es errado en un ompa to y por tanto
A es ompa to por 3.2.3.
Nota 3.5.5. ) Es vlida para todo espa io mtri o.

Nota 3.5.6. Generaliza in a espa ios topolgi os: Si (X1 , T1 ) y (X2 , T2 )
espa io topolgi o. Se dene sobre X1 X2 la topologa produ to, T1 T2 =
{ y G X1 X2 , tales que para todo (x, y) G existen U y V abiertos
de T1 y T2 on (x, y) U V G}. Se puede demostrar, on una
demostra in similar a la de 3.5.1 que si A1 y A2 son ompa tos de
(X1 , T1 ) y (X2 , T2 ), respe tivamente, enton es A1 A2 es un ompa to
de (X1 X2 , T1 T2 ).
3.6. Compa idad en espa ios mtri os
Proposi in 3.6.1. Sea (X, d) espa io mtri o y {xn }n1 X una

su esin sin subsu esiones onvergentes. Enton es:
1. El onjunto A = {x1 , x2 , x3 , . . . , xn , . . . } es innito.
2. El onjunto de puntos de a umula in de A, A = , es va o.
Demostra in.
1. R.A.: Supongamos que A es nito, enton es ierto elemento xn0

apare e innitas ve es en la su esin. Por tanto, xn0 = xn1 = xn2 =
= xnk = . . . on n0 < n1 < n2 . . . < nk < . . . . Luego existe una
subsu esin onstante, y por tanto onvergente. Contradi in!
2. R.A.: Si x0 A , enton es por estar en un espa io mtri o, tenemos
que ualquier bola abierta de entro x0 ontiene ininitos puntos
de A: As:
xn1 Bd (x0 , 1)
xn2 Bd x0 , 21 on n2 > n1
xn3 Bd x0 , 13 on n3 > n2 > n1
...
xnk Bd x0 , k1 on nk > nk1 > . . . > n1
...
Es de ir, existe una subsu esin {xk }k1 de {xn }n1 onvergiendo a
1
x0 . En efe to, dado > 0, sea k0 on < , enton es d(xnk , x0 ) =
k0
1 1
< si k k0 . Llegamos a ontradi in. Por tanto, A = .
k k0
Luego, A = A A = A, lo que impli a que A es errado.
Corolario 3.6.2. (Propiedad de Bolzano-Weierstrass). Si (X, d) es un

espa io mtri o ompa to enton es toda su esin en X posee una subsu-
esin onvergente.
Demostra in. R.A.: Supongamos que {xn }n1 su esin sin su esiones
onvergentes. Enton es, por la propiedad anterior:
1. A = {x1 , . . . , xn , . . . } es innito.
2. A = , lo que impli a que todos los puntos de A son aislados. Es
de ir, xn n on Bd (xn , n ) A = {xn }
3. A es errado
S y por tanto ompa to al ser (X, d) ompa to. Como
A n=1 d (xn , n ), n1 , . . . , nk on A Bd (xn1 , n1 )
B
Bd (xnk , nk ). Luego A = {xn1 , . . . , xnk }; es de ir, A es nito, lo que
ontradi e el apartado (1).
Proposi in 3.6.3. (Teorema de Bolzano-Weierstrass) El re pro o tam-

bin es ierto, es de ir, un espa io mtri o (X, d) es ompa to si y slo
si posee la propiedad de Bolzano-Weierstrass.
Demostra in. El re pro o es onse uen ia de las dos siguientes propo-

si iones.
Proposi in 3.6.4. Sea (X, d) espa io mtri o on la propiedad de Bolzano-

Weierstrass. Enton es para ualquier > 0, X se puede ubrir on una
antidad nita de bolas de radio .
Demostra in. R.A.: Supongamos que 0 tal que X no se ubre on una
antidad nita de bolas de radio 0 . Enton es tomamos x1 X ualquie-
ra:
X 6= Bd (x1 , 0 ) (en aso ontrario, X quedara ubierto on una slo una
bola de radio 0 ), enton es x2 X tal que x2 6 Bd (x, 0 ) (si no, dos
bolas de radio 0 bastaran para ubrir X ), luego d(x1 , x2 ) 0 .
De nuevo:
X 6= Bd (x1 , 0) Bd (x2 , 0 ), enton es, x3 X tal que x3 6 Bd (x1 , 0)
Bd (x2 , 0 ), luego d(x1 , x3 ) 0 y d(x2 , x3 ) 0 .
Reiterando el pro eso, onstruimos una su esin {xn }n1 X tal que
d(xn , xm ) 0 si m n Por la propiedad de Bolzano-Weierstrass,
{xnk }k1 subsu esin onvergiendo a algn x0 X. Enton es
sito-
0 0
mamos la bola Bd x0 , , debe existir k0 on xnk Bd x0 , si
2 2
k k0 . Enton es, si k, s k0 ,
0 0
d(xnk , xns ) d(xnk , x0 ) + d(xns , x0 ) < + = 0 .
2 2
Contradi in.
Proposi in 3.6.5. (Lema de Lebesgue) Sea (X, d) un espa io mtri o

on la propiedad de Bolzano-Weierstrass, enton es dado ualquier re u-
brimiento U = {U } de X existe > 0 (llamado nmero de Lebesgue
de U ) tal que para ada bola abierta de radio , Bd (x, ) existe 0
on Bd (x, ) U0
Demostra in. R.A.: Supongamos que para > 0, x X on Bd (x , ) *

G , , tenemos que
dado 1 = 1, x1 on Bd (x1 , 1 ) * U ,
1
dado 2 = , x2 on Bd (x2 , 2 ) * U ,
2
...
1
dado n = , xn on Bd (xn , n ) * U , .
n
...
Es de ir, hemos onstruido una su esin {xn }n1 X que, por la propie-
dad de Bolzano-Weierstrass, debe ontener una subsu esin {xnk }k1 que
Figura 3.3:
S
onverge a algn x0 X = U . Enton es 0 on x0 U0 .
Sea > 0 tal que Bd (x0 , ) U0 .

Por onvergen ia, dado , k0 tal que d(x0 , xnk ) < si k k0 . Por
2 2
1
tanto, x0 Bd xnk , . Sea k1 > k0 on < . Armamos que
2 nk 1 2
1
Bd xnk1 , Bd (x0 , ) U0 , lo que lleva a ontradi in on la
nk1
ele in delos xn .
1 1
Si y Bd xnk1 , , enton es d(xnk , y) < < , y
nk1 nk1 2

d(x0 , y) d(x0 , y) d(x0 , xnk ) + d(xnk , y) < + = ,
2 2
luego, y Bd (x0 , ).
Nota 3.6.6. El lema de Lebesgue impli a que si A X es ualquier

onjunto on dimetro (A) < , enton es A U0 para algn 0 .
En efe to, si a A, (A) < impli a que A Bd (a, ) y esta bola est
ontenida en algn U por el lema de Lebesgue.
Demostra in.
S (Final de la demostra in del teorema de Bolzano-Weierstrass).
Sea X = U on U = {U } un re ubrimiento por abiertos
de X . Enton es, por el lema de Lebesgue, > 0 tal que x X
existe (x) on Bd (x, ) U(x) , apli ando 3.6.4, x1 , . . . , xn on

X = Bd (x1 , ) Bd (xn , ) U(x1 ) U(x2 ) U(xn ) , luego
X = U(x1 ) U(x2 ) U(xn ) . Por tanto (X, d) es ompa to.
Deni in 3.6.7. Sea f : (X, d) (Y, d ) entre espa ios (seudo)mtri os.
De imos que f es uniformemente ontinua si dado > 0, > 0 tal que
si d(x, x ) < , enton es d (f (x), f (x )) < .
Proposi in 3.6.8. (Teorema de Heine). Sea f : (X, d) (Y, d) on

(X, d) espa io mtri o ompa to. Enton es, si f es ontinua, f es uni-
formemente ontinua.
Demostra in.
Tomemos > 0. Para ada y Y onsideramos la bola
S
abierta Bd y, . Tenemos Y = yY Bd y, y por ontinuidad,
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 re ubrimiento por abiertos
2 yY
de X.
Apli ando el lema de Lebesgue, > 0 tal que si (A) < enton es,
A est ontenido en algn abierto de U. Si x, x X on d(x, x ) < ,
enton es
({x, x }) < , luego y0 Y on {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 espa ios mtri os on onjuntos errados y a ota-

dos que no son ompa tos.
Sea X = {f : [0, 1] [0, 1] continuas} y d = d la distan ia d (f, g) =
supx[0,1] {|f (x) g(x)|} = maxx[0,1] {|f (x) g(x)|}. En (X, d) onsidere-
mos la bola errada A = Bd [, ] on = constante 0 y arbitrario pero
jo. A es errado y a otado pero no es ompa to. Veamos esto ultimo:
R.A.: Sea {fn }n1 la su esin en Bd [, ] indi ada en la gura. Si A fue-
se ompa to, por la propiedad de Bolzano-Weierstrass, {fnk }k1 sub-
su esin onvergiendo a algn f0 A. Luego dado > 0, k0 on
d(fnk , f0 ) < , k k0 . Es de ir, |fn (x) f0 (x)| < , x [0, 1].
1
Si x 6= 0, sea k on < x y k k0 . Lo que impli a que fn (x) = 0 y
nk
|f0 (x)| < , > 0. Por tanto, f0 (x) = 0, y por ser f0 ontinua tene-
mos que f0 (0) = 0, luego f0 = . Pero d(fnk , f0 ) = d(fnk , ) = (jo).
Contradi in.
Figura 3.4:
3.7. Compa idad y ompletitud
Deni in 3.7.1. Sea (X, d) un espa io (seudo)mtri o. Una su esin

{xn }n1 X se di e de Cau hy si dado > 0, n0 on d(xn , xn ) <
para todo n, n n0 .
Proposi in 3.7.2. Toda su esin de Cau hy est a otada.
Demostra in. Sea (X, d) un espa io (seudo)mtri o y {xn }n1 X una

su esin de Cau hy. Enton es, 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 su esin est a otada.
Proposi in 3.7.3. Toda su esin onvergente es de Cau hy.

Demostra in. Si {xn }n1 onverge a x0 en (X, d) enton es 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 .

Deni in 3.7.4. Un espa io (seudo)mtri o (X, d) se di e ompleto si

toda su esin de Cau hy en (X, d) es onvergente.
Proposi in 3.7.5. Todo espa io mtri o ompa to (X, d) es ompleto.

Demostra in. Sea {xn }n1 X de Cau hy. Por la propiedad de Bolazano-
Weierstrass, existe una subsu esin {xnk }k1 onvergente a algn x0 X.
Armamos que {xn }n1 onverge a x0 . En efe to, dado > 0 :

Por Cau hy, n0 on d(xn , xn ) < si n, n n0
2

Por onvergen ia, k0 on d(xnk , x0 ) < si k k0 .
2
Sea n1 = max{n0 , nk0 }, enton es si n n1 y nk n1 ,

d(xn , x0 ) d(xn , xnk ) + d(xnk , x0 ) < + = . Luego {xn }n1 onverge
2 2
a x0 .
Corolario 3.7.6. n
Los espa ios eu ldeos (R , eu ldea) son ompletos.
Demostra in. Sea {xn }n1 Rn una su esin de Cau hy. Por 3.7.2
tenemos que esta su esn est a otada y por tanto existe r tal que
{xn }n1 Bde [x1 , r] donde de denota la distan ia eu ldea. Como las
bolas eu ldeas erradas son ompa tos, se sigue de 3.7.5 que la su esin
{xn }n1 onverge en Bde [x1 , r] y por tanto en (Rn , eu ldea).
3.8. Compa idad lo al
Deni in 3.8.1. Un espa io topolgi o (X, T ) se di e lo almente om-

pa to si x X y ualquier entorno N de x existe otro entorno N de x
on N N y N ompa to.
Proposi in 3.8.2. Sea (X, d) un espa io (seudo)mtri o. Son equi-

valentes:
1. (X, d) es lo almente ompa to.
2. Dado xX existe una bola errada Bd [x, ] que es ompa ta.
3. Todo xX posee un entorno N en (X, T ) que es ompa to.
Demostra in. 1) 2) : Por hiptesis, omo X es entorno de ualquier

x X existe N entorno ompa to de x, luego > 0 on Bd (x, ) N.

Si = , Bd [x, ] Bd (x, ) N, y omo Bd [x, ] es errado y N es
2
ompa to, enton es Bd [x, ] es ompa to.
2) 3) : Es trivial tomando N = Bd [x, ].
3 1 : Sea M ualquier entorno de de x. Enton es x intM y existe
> 0 on Bd (x, ) M . Dado el entorno ompa to N propor ionado por
3), tambin existe > 0 on Bd (x, ) N . Sea < min{, }, enton es
N = Bd [x, ] Bd (x, ) M es un entorno de x y omo Bd [x, ) N ,

por tanto, N es entorno de x. Por ltimo, omo N B(x, ) N es un
errado ontenido en el onjunto ompa to N , N es ompa to.
Ejemplo 3.8.3. Los espa ios eu ldeos (Rn , eu ldea) son lo almente
ompa tos (es ms, en ellos toda bola errada es ompa ta).
Ejemplo 3.8.4. ((0, 1), eu ldea) es lo almente ompa to ya que umple

la segunda ondi in del teorema anterior. Sin embargo no todas las
bolas erradas son ompa tas ya que por ejemplo Bd [ 21 , 1] = (0, 1) no es
ompa to.
Ejemplo 3.8.5. El espa io de fun iones ontinuas (X, d) de 3.6.9 no es

lo almente ompa to en = onstante 0.
Ejemplo 3.8.6. (Q, d = eu ldea) no es lo almente ompa to. Si lo

fuese, dado x Q, > 0 tal que Bd [x, ] = [x , x + ] Q debe ser
ompa to. Pero se serlo, lo sera tambin en (R, eu ldea) y all no es
errado. Por tanto, Bd [x, ] no es ompa to.
Proposi in 3.8.7. Sea (X, d) un espa io (seudo)mtri o lo almente

ompa to.
1. Si AX es errado, (A, d|A ) es lo almente ompa to.
2. Si BX es errado, (B, d|B ) es lo almente ompa to.
Demostra in.
1. Sea a A. Como A es abierto, A es entorno de a. Como (X, d)

es lo almente ompa to, N A, N entorno ompa to 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 ompa to. As obtenemos que (A, d|A )
es lo almente ompa to.
2. Sea b B. Como (X, d) es lo almente ompa to, > 0 on Bd [b, ]

es ompa to. Adems Bd |B [b, ] = B Bd [b, ] es errado de la
topologa relativa de Bd [b, ] que es ompa to. Luego Bd |B [b, ] es
ompa to. Por tanto, (B, d|B ) es lo almente ompa to.
Captulo 4
Conexin
4.1. Conexin por aminos
Deni in 4.1.1. Dado (X, T ) un espa io topolgi o, un amino entre

dos elementos x, y X es una apli a in ontinua : ([0, 1], eu ldea)
(X, T ) tal que (0) = x y (1) = y .
Deni in 4.1.2. Un espa io topolgi o (X, T ) se di e onexo por a-

minos si x, y X existe un amino entre x e y . Ms generalmente,
A X se di e onexo por aminos si lo es (A, T /A ).
Veamos los primeros ejemplos.
Ejemplo 4.1.3. 1. Sea A es un intervalo de ualquier tipo en (R,eu ldea),

enton es A es onexo por aminos. En efe to, dados x, y A on
x y , enton es, [x, y] A. Sea : ([0, 1], eu ldea) (A, eu ldea)
denida por (t) = (1 t)x + ty [x, y] A, es ontinua,
(0) = x y (1) = y .
2. Si (V, k . k) es un espa io ve torial normado, tal que dk.k (x, y) =k

x y k. Enton es (V, dk.k) es onexo por aminos.
En efe to, dados x, y V , sea : ([0, 1], eu ldea) (V, dk.k ) on
(t) = (1 t)x + ty V , (0) = x y (1) = y . Veamos si es
ontinua:
Dado > 0 bastar tomar un kxk+kyk
para satisfa er el riterio
de ontinuidad. En efe to,
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).
62
CAPTULO 4. CONEXIN 63
La siguiente proposi in muestra que todos los espa ios onexos por
aminos tienen slo al espa io total y el va o omo onjuntos simult-
neamenta abiertos y errados.
Proposi in 4.1.4. Si (X, T ) es onexo por aminos, enton es los ni-

os onjuntos abiertos y errados de (X, T ) son X y .
Demostra in. Razonamos por R.A. y suponemos que A X es un

onjunto abierto y errado on A 6= X, . Sea x0 A (aqu usamos que
A 6= ) y x1 / A (aqu apli amos que A 6= X ). Por hiptesis existe
un amino : ([0, 1], eu ldea) (X, T ) on (0) = x1 y (1) = x2 .
Como es ontinua el onjunto 1 (A) es tanto abierto omo errado de
([0, 1], eu ldea). Ahora bien, A no es el onjunto va o pues 0 1 (A)
y tampo o es todo [0, 1] pues 1 / 1 (A). Esto ontradi e la Proposi in
2.7.6.
Para los intervalos de R el re pro o de la proposi in anterior tambin
es ierto y ello nos permite determinar todos los onjuntos onexos por
aminos de la re ta eu ldea. Expl itamente,
Proposi in 4.1.5. (Cara teriza in de los onjuntos onexos por a-

minos de la re ta eu ldea)
En (R,eu ldea), las siguientes propiedades son equivalentes para ual-
quier A R.
1. A es onexo por aminos.
2. Los ni os onjuntos que son a la vez abiertos y errados en (A,eu ldea)

son A y .
3. Si ab on a, b A, enton es [a, b] A.
4. A es un intervalo.
Demostra in. (1) (2) es un aso parti ular de la Proposi in 4.1.4.

Para probar la impli a in (2) (3) se razona por R.A. Si existe a < t < b
on t
/ A. Enton es A (, t) = A (, t] sera un onjunto abierto
y errado en (A; eu ldea), lo que ontradi e (2).
Para demostrar (3) (4)veremos las distintas posibilidades que tiene
el onjunto A respe to a su supremo e nmo.
1. Supongamos que A no tiene ni supremo ni nmo. En este aso

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

[
[
Ahora R = [n, n] [an , bn ] A R enton es A = R.
n=1 n=1
2. Supongamos que A tiene supremo pero no nmo. Probaremos slo

el aso en el que A tiene mximo. El aso en el que el supremo no
sea mximo es anlogo al aso 3 que sigue (se deja omo ejer i io).
Sea b = max A. Como nf A n 1 an A on an n.
Por (3) se tiene que [an , b] A. Enton es

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

el aso en el que A no tiene mnimo.
Sea a = nf A, on a 6 A . Enton es se tiene n 1 bn A on
bn n y an A on an a + n1 . Por (3) se sigue [an , n] A
[ [
1
[an , n] A. Tambin [a + n , n] [an , n]
1
[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 nmo es mnimo se deja omo ejer i io. La demostra in es
anloga al aso 2.
4. Supongamos que A tiene supremo e nmo. Probaremos primero el

aso en el que existe mximo pero no mnimo. Sean b = max A y
a = nf A on a 6 A. Igual que en el aso anterior, n 1, an A
on an a + n1 .
Enton es de (3) on luimos [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 aso en el que A tiene mnimo y mximo.

Sea a = mn A y b = max B . Enton es 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 pertene iente a A. En-
ton es n 1, an A y bn A on 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 aso en el que A no tiene mximo pero s m-

nimo que dejaremos omo ejer i io.
Finalmente (4) (1) es inmediata pues ya sabemos que todo intervalo

es onexo por aminos.
Proposi in 4.1.6. Sea f : (X, T ) (Y, T ) ontinua. Si A X es

onexo por aminos f (A) tambin.
Conse uen ia: Si f es homeomorsmo y (X, T ) es onexo por aminos,

enton es (Y, T ) tambin lo es.
Demostra in. Sea fe : (A, T /A ) (f (A), T /f (A) ) la restri in sobre la

imagen. Como f es ontinua, fe tambin lo es.
Dados p, q f (A) enton es existe x, y A on f (x) = p y f (y) = q .
Como (A, T /A ) es onexo por aminos : ([0, 1], eu ldea) (A, T /A )
ontinua on (0) = x y (1) = y . Sea : ([0, 1], eu ldea) (f (A), T /f (A) ),
la omposi in = fe para la ual
)
(0) = fe (0) = fe(x) = p
(1) = fe (1) = fe(y) = q
lo que demuestra que f (A) es onexo por aminos.
Proposi in 4.1.7. Sean (X1 , d1 ) y (X2 , d2 ) e. (seudo)mtri os onexos

por aminos. Enton es (X1 X2 , 2max ) es onexo por aminos, donde
Figura 4.1:
2max (d1 , d2 )((x1 , x2 ), (x1 , x2 )) = max{d1 (x1 , x1 ), d2 (x2 , x2 )}
Demostra in. Sean 1 : ([0, 1], eu ldea) (X1 , d1) un amino de x1 a

x1 y 2 : ([0, 1], eu ldea) (X2 , d2 ) un amino de x2 a x2 . Denimos
: ([0, 1], eu ldea) (X1 X2 , 2max ), por (t) = (1 (t), 2 (t)). Es laro
que (0) = (1 (0), 2 (0) = (x1 , x2 ) y (1) = (1 (1), 2 (1) = (x1 , x2 ).
Probemos la ontinuidad de . Para ello sea t y > 0, veamos si existe
tal que si | t t |< enton es
2max ((t), (t )) = max{d1 (1 (t), 1 (t )), d2 (2 (t), 2 (t ))} < .
Se tiene:
(1) ontinua 1 on d1 (1 (t), 1 (t )) < si | t t |< 1
(2) ontinua 2 on d2 (2 (t), 2 (t )) < si | t t |< 2
Sea = mn{1 , 2 }, enton es 2max ((t), (t )) < .
Nota 4.1.8. La proposi in anterior es vlida tambin para las (seu-

do)distan ias 2taxi y 2euclidea; ver Se in 3.5. Ms generalmente, la pro-
posi in es vlida para (X1 X2 , T1 T2 ) donde T1 T2 es la topologa
produ to en 3.5.6. Igualmente se puede generalizar a un nmero ual-
quiera de fa tores (X1 , d1 ), ..., (Xn , dn ) on n 2.
Proposi in 4.1.9. La rela in estar one tados por un amino en

(X, T ).es de equivalen ia. La denotaremos por .
Demostra in. Veamos las ondi iones de rela in de equivalen ia:
1. Reexiva: x x por : ([0, 1], eu ldea) (X, T ) dada por (t) =

x t.
2. Simtri a: x y amino on (0) = x y (1) = y .

Sea : ([0, 1], eu ldea) ([0, 1], eu ldea) la apli a in ontinua
(t) = 1 t. Tambin ser ontinua, por tanto, = :
([0, 1], eu ldea) (X, T ) on (0) = (0) = (1) = y y
(1) = (1) = (0) = x.
Luego y x.
3. Transitiva: x y on (0) = x y (1) = y . Por otro lado,

y z on (0) = y y (1) = z .
Figura 4.2:
Sea : [0, 12 ] [0, 1] tal que (t) = 2(t). De igual forma, sea
: [ 12 , 1] [0, 1] tal que (t) = 2t 1. Ambas apli a iones son
obviamente ontinuas.
Sean e = : [0, 21 ] X on e(t) = (t) = (2t) y e =
e = (t) = (2t 1).
: [ 12 ] X on (t)
Enton es se dene : [0, 1] X por

e(t) = (2t) si t 21
(t) = e = (2t 1) si t 1
(t) 2
est bien denida por ( 21 ) = (1) = (0) = y . Comprobemos

que es ontinua.
Sea F errado de (X, T ) se tiene 1 (F ) = e1 (F ) e1 (F ), don-
de, por ontinuidad, e1 (F ) = H [0, 21 ], on H errado de [0, 1].
Y por tanto e1 (F ) es errado de [0,1. Anlogamente e1 (F ) es
errado de [0, 1]. Por tanto, se dedu e que 1 (F ) es errado de
[0, 1]. Finalmente,

(0) = e(0) = (0) = x
e = (1) = z
(1) = (1)
lo que demuestra que x z .
Proposi in 4.1.10. Sea {C } familia de onexos por aminos en

(X, T )[
. Supongamos que 0 tal que C C0 6= . Enton es
C0 = C es onexo por aminos.

Demostra in. Sean x, x C0 , enton es x C para algn y

x C para algn .
Como C C0 6= enton es x0 C C0 . Luego x se one ta on x0
por un amino en C C0 .
Igual existe x0 C C0 , luego x0 y x se one tan por un amino en
C C0 .
Figura 4.3:
Adems, C0 onexo por aminos impli a que x0 y x0 se one tan por

un amino en C0 C0
Apli amos la propiedad transitiva de 4.1.9 y obtenemos que x y x se
one tan por un amino en C0 ; es de ir, C0 es onexo por aminos.
Proposi in 4.1.11. (Variante 1) Supongamos que la familia

\ en 4.1.10

umple ahora que C C 6 , ; en parti ular si
= C 6= .

Enton es C sigue siendo onexo por aminos.
Demostra in. La demostra in es anloga a la anterior, tomando omo

0 ualquier .
Proposi in 4.1.12. (Variante 2) Sean C1 , C2 , ..., Cn una su esin de

sub onjuntos onexos por aminos de algn espa io topolgi o (X, T ) tal

[
que Ci Ci+1 6= i 1. Enton es C= Cn es onexo por aminos.
n=1
Figura 4.4:
Demostra in. Sea

D1 = C1 es onexo por aminos.
D2 = C1 C2 es onexo por aminos por 4.1.11.
D3 = C1 C2 C3 = D2 C3 es onexo por aminos ya que D2 es onexo
por aminos y D2 C3 6=
..
.
[n
Dn = Ci = Dn1 Cn es onexo por aminos pues Dn1 es onexo
i=1
por aminos y Dn1 Cn 6= .

[
Tenemos que C = Dn . Ahora bien, los Di son onexos por aminos y
n=1
n=1 Dn = D1 , y de 4.1.11 se sigue que C es onexo por aminos.
Terminamos esta se in on algunos ejemplos de espa ios bien ono-

idos que son onexos por aminos.
Ejemplo 4.1.13. 1. Cualquier paralelogramo P = J1 J2 ...Jn en
(Rn ,eu ldea) on Ji un intervalo (en parti ular Rn on Ji = R i
n) es onexo por aminos. En efe to, por 4.1.3(1) P es onexo en
el espa io mtri o (Rn , max ) que tiene el mismo espa io topolgi o
subya ente que la distan ia eu ldea sobre Rn .
2. El r ulo unidad C = {(x, y) R; x2 + y 2 1} es onexo por

aminos ya todo punto se puede unir al origen (de he ho C es un
onjunto onvexo).
3. La ir unferen ia unidad S 1 en (R2 ,eu ldea) es onexa or aminos.

Basta tomar f : ([0, 2], eu ldea) (R2 , eu ldea) dada por f (t) =
(cos t, sen t). f es ontinua y [0, 2] onexo por aminos, por tanto
tambin lo es f ([0, 2]) = S 1 .
4. La esfera unidad S 2 R3 es onexa por aminos en (R3 ,eu ldea).

Para ello onsideramos 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 dis o unidad de R2

denimos p : S 2 B 2 por p(x, y, z) = (x, y, 0). Obsrvese que la
restri in de p a E+2 es un homeomorsmo p+ . Anlogamente los
es la restri in a E2 . Sabemos que el dis o unidad es onexo por
aminos. Se tiene que E+2 y E2 son onexos por aminos y por tanto
lo son E+2 y E2 . Adems los hemisferios se ortan en el e uador.
Por tanto, la esfera unidad es onexa por aminos.
Figura 4.6:
5. El ilindro C en (R3 ,eu ldea) es onexo por aminos. Ntese que

C = S 1 R que es onexo por aminos por serlo S 1 y R.
Figura 4.7:
4.2. Componentes onexas por aminos. Co-

nexin lo al por aminos
Deni in 4.2.1. Sea (X, T ) un espa io topolgi o. Se llama ompo-

nente onexa por aminos de x X al mayor onexo por aminos Cx X
on x Cx .
Lema 4.2.2. Cx existe.
Demostra in. Sea C = {C X; x C y es onexo por aminos}. La

familia C =
6 no es va a pues {x} C . \
Ahora, por la variante anterior, omo x C 6= , enton es x
[ C C
C = D es onexo por aminos. Adems, si C es onexo por aminos
C C
y x C , por deni in se tiene que C C , luego C D y, por tanto, D es
el mayor entre todos los onjuntos que ontienen a x; es de ir Cx = D .
Proposi in 4.2.3. Cx oin ide on la lase de equivalen ia de x res-

pe to a la rela in estar one tado por un amino.
Demostra in. Sea Z esa lase de equivalen ia; esto es, Z = {y X;

existe un amino en X , entre x e y}. Veamos Z = Cx .
Comenzamos probando Cx Z . Sea y Cx , enton es : [0, 1] Cx
X on (0) = x y (1) = y . Luego, es un amino en X y, por tanto,
y Z y Cx Z .
Para ver la otra in lusin sea z Z , enton es existe un amino :
[0, 1] X on (0) = x y (1) = z . Tenemos que A = ([0, 1]) es

onexo por aminos por la ontinuidad de y la onexin por aminos
de [0, 1]. Como x, z A enton es z A Cx y hemos demostrado
Z Cx .
Proposi in 4.2.4. (Propiedades de omponentes onexas por aminos)
Sea (X, T ) un espa io topolgi o. Se umplen:
1. x Cx .
2. Cx es onexo por aminos.
3. Cx es la lase de x por la rela in estar one tado por un amino

en (X, T )".
4. Cx Cy 6= Cx = Cy . Es de ir, las omponentes onexas por
aminos forman una parti in de X.
Deni in 4.2.5. Un espa io topolgi o (X, T ) se di e lo almente o-
nexo por aminos si dado x X y ualquier entorno de N de x, existe
otro entorno N de x on N N y N es onexo por aminos.
Proposi in 4.2.6. Si (X, T ) es lo almente onexo por aminos, la om-
ponente onexa por aminos Cx de ualquier x X es un onjunto abierto
y errado .
Demostra in. Probemos que es abierto.

Sea y Cx y Cy Cx Cx = Cy . Sea N = X , por hiptesis existe
N X entorno de y on N onexo por aminos. En parti ular y
intN N y N . Como N es onexo por aminos, ne esariamente
N Cy y intN intCy = intCx . Luego, y intCx Cx
intCx Cx = intCx Cx es abierto.
Veamos que Cx es errado.
Sea y Cx enton es para el entorno N anterior y intN (intN )
Cx 6= N Cx 6= Cx N es onexo por aminos.
Adems, Cx Cx N y por deni in de omponente Cx = Cx N
N Cx y Cx luego, Cx Cx Cx = Cx Cx es errado.
Proposi in 4.2.7. (Invarianza del nmero de omponentes onexas por
aminos)
Sea f : (X, T ) (Y, T ) un homeomorsmo. Si Cx es la omponente
onexa por aminos de x, enton es f (Cx ) lo es de f (x).
Conse uen ia: f indu e una biye in entre las familias de omponen-
tes onexas por aminos de (X, T ) y de (Y, T ).
Demostra in. Como f es ontinua, enton es f (Cx ) es onexo por a-

minos y f (x) f (Cx ). Si Df (x) es la omponente de f (x) en (Y, T ) se
tiene que f (Cx ) Df (x) . Como f 1 es ontinua, enton es f 1 (Df (x) )
es tambin onexo por aminos y x = f 1 (f (x)) f 1 (Df (x) ). Luego,
por deni in de omponente onexa por aminos f 1 (Df (x) ) Cx
Df (x) f (Cx ) y, por tanto, f (Cx ) = Df (x) .
Demostra in. (Conse uen ia)
Sea CompX y CompY las familias de omponentes onexas por aminos
de (X, T ) e (Y, T ), respe tivamente. Denimos
: CompX CompY
Cx 7 f (Cx ) = Df (x)
es biye tiva on inversa
1 : CompY CompX
Dy 7 f 1 (Dy ) = Cf 1 (y)
En efe to, 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. Si un espa io (X; T ) es lo almente onexo por aminos tambin lo

es ualquier abierto de su topologa.
2. Los espa ios eu ldeos (Rn ,eu ldea) son onexos por aminos y lo-
almente onexos por aminos. En parti ular en todo abierto eu l-
deo es lo almente onexo por aminos. Re ordemos que (Rn ,eu ldea)
viene del espa io normado (Rn , k keuclidea ) y los espa ios normados
son todos onexos por aminos. Otra forma de razonarlo sera:
(Rn , eu ldea) = (Rn , neuclidea) = produ to n ve es de (R,eu ldea)
que es onexo por aminos.
Un ubo (= produ to de intervalos) es onexo por aminos y en-
torno de su entro x (arbitrariamente pequeo) en (Rn ,eu ldea).
Enton es (Rn ,eu ldea) es lo almente onexo por aminos.
3. S 1 en el plano eu ldeo es onexo y lo almente onexo por aminos.

Anlogamente el dis o unidad.
Figura 4.8:
Figura 4.9:
4. Un espa io onexo por aminos que no es lo almente onexo por

aminos es el siguiente subespa io del plano eu ldeo.

[
X = (OY ) (OX) An , An = {(x, y); x = n1 }.
n=1
OX, OY, An son onexos por aminos y An OX 6= y OX OY 6=

. Luego, X es onexo por aminos. Para ver que no es lo almente
onexo por amimos, suponemos por R.A. que s lo es. Enton es
dado Sea p = (0, y) OY on y 6= 0. Tomamos Bd (p, r) on
r < d(p, OX), d = eu ldea|X y N Bd (p, r) entorno onexo
por aminos de p.
Como N es entorno de p, existe > 0 tal que Bd (p, ) N . Adems
p = lm pn on pn Zn y existe n0 on pn Bd (p, ) N si n n0 .
Sea t on n01+1 < t < n10 . Enton es, no podemos en ontrar un
amino de pn0 a pn0 +1 dentro de N , lo que es una ontradi in.
Figura 4.10:
Figura 4.11:
5. El siguiente subespa io del plano eu ldeo no es onexo por aminos

(pero tiene la propiedad de que los ni os onjuntos abiertos y
errados simultneamente son el espa io total y el onjunto va o).

[
[
Sea X = ( An ) ( Bn ) donde A0 = OY , y n 1
n=0 n=1
An = {(x, y) : x = n1 } y Bn = {(x, y) : y = n; n+1
1
x n1 }.
Consideramos (X , eu ldea).
Cada Hi = Ai Bi Ai+1 i 1 es unin de tres onexos (por lo
que Hi es onexo) y uno orta a los otros dos. Enton es se tiene:
H1 H2 = A2 H1 H2 es onexo.
(H1 H2 ) H3 = A3 H1 H2 H3 es onexo.
..
.
Figura 4.12:

[
Por tanto, H = Hn es onexo por aminos. Sin embargo, X no
1
es onexo por aminos.
R.A: supongamos : ([0, 1], eu ldea) (X, eu ldea) tal que
(0) = p H y (1) = q A0 .
El onjunto ([0, 1]) es onexo y ompa to por ser imagen ontinua
de un onexo y ompa to, enton es es errado y a otado. Luego,
R2 uadrado entrado en el origen on ([0, 1]) . Se tiene:
n0 tal que n n0 Bn = ([0, 1]) Bn = n n0 .
Sea R = {(x, y); x = } on n01+1 < < n10 . Enton es U =
{(x, y); x < } y V = {(x, y); y > } son abiertos de (R2 ,eu ldea)
disjuntos. Adems, p V y q U . Como Bn0 ([0, 1]) = , te-
nemos que no existe un amino en ([0, 1]) entre p y q , pero esto
ontradi e que ([0, 1]) es onexo por aminos.
A pesar de no ser onexo por aminos, este espa io no tiene otros
onjuntos abiertos y errados simultneamente ms que X y . En
efe to, sea Z X un onjunto no va o a la vez abierto y errado
de (X, eu ldea). Si Z (X A0 ) = Z A0 6= , enton es Z = X ;
en efe to, Z A0 sera un onjunto abierto y errado (6= ) en la
topologa restri in de XA0 que es onexo por aminos. Enton es
Z A0 = X A0 ; luego X A0 Z . Adems X A0 = X , por
lo que al ser Z errado X = X A0 Z = Z ; es de ir Z = X .
Observemos que el aso Z A0 = no se puede dar ya que si as
fuese Z A0 y omo Z es tambin abierto y los puntos de A0 son

adherentes a X A0 , enton es se seguira ZA0 = Z(X A0 ) 6= .
Nota 4.2.9. Algunas observa iones:
1. No siempre la lausura de un onexo por aminos es onexo por

aminos. En efe to, en el ejer i io anterior H es onexo por aminos
pero X = H no lo es.
2. No siempre las omponentes onexas por aminos son erradas.En

el ejemplo anterior X tiene dos omponentes onexas por aminos
H y A0 donde A0 es errada pero H no, pues H = X 6= H .
4.3. Puntos de Corte
Deni in 4.3.1. Sea (X, T ) un espa io topolgi o. Un punto x X

se di e un punto de orte de orden n de (X, T ) si X {x} tiene n
omponentes onexas por aminos.
1. En (R2 , eu ldea) ningn x R2 es punto de orte.
2. En ([0, 1],eu ldea), x (a, b) x es punto de orte de [a, b] de orden

2 mientras que a y b no son de orte.
3. En (S 1 ,eu ldea) ningn x S 1 es de orte.

4. En (R,eu ldea) todo punto x R es de orte de orden 2.
Deni in 4.3.3. Sea (X, T ) un espa io topolgi o. Un punto x X se

di e un punto de orte lo al de orden n de (X, T ) si para todo entorno N
de x existe otro N N tal que N {x} tiene n omponentes onexas
por aminos.
Ejemplo 4.3.4. Observemos el dibujo:
y es punto de orte lo al de orden 3 pero no es de orte.

z es punto de orte lo al de orden 4 pero no es de orte.
x es punto de orte lo al de orden 2 pero no es de orte.
Proposi in 4.3.5. (Invarianza de los puntos de orte)
Sea f : (X, T ) (Y, T ) un homeomorsmo:
a) x es punto de orte de orden n de (X, T ) si y slo si f (x) lo es de
(Y, T ).
b) x es punto de orte lo al de orden n de (X, T ) si y slo si f (x) lo es

de (Y, T ).
Demostra in. a) Si f es homeomorsmo lo es su restri in sobre la

e
imagen f : (X {x}, T /X{x} ) (Y {f (x)}, T /Y {f (x)} ) on inversa,
la restri in 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 omponentes onexas por aminos

de X {x} oin ide on el de Y {f (x)}.
b) Si N es un entorno de f (x) enton es x f 1 (intN) f 1 (N) donde
f 1 (intN) es abierto por la ontinuidad de f y por tanto f 1 (N) es
entorno de x en (X, T ). Por hiptesis existe W entorno de x on W
f 1 (N) y tal que W {x} tiene n omponentes onexas por aminos.
Enton es la restri in de f
f : (W {x}, T |W {x} ) (f (W ) {f (x)}, T |f (W ){f (x)} )

es un homeomorsmo y as f (W ) {f (x)} tiene n omponentes one-
xas por aminos. Slo queda omprobar que f (W ) es entorno de f (x)
pues obviamente f (W ) N . En efe to, omo f es homeomorsmo f es
abierta 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 onexin topolgi a. Deni in y pri-

meras propiedades
Re ordemos que la re ta eu dea y todos los espa ios onexos por

aminos tienen la propiedad de que la familia de los onjuntos abiertos
y errados a la vez en ualquiera de ellos se redu e al espa io total y
el onjunto va o. Por tanto, esta propiedad generaliza la onexin por
aminos y vamos ahora a estudiarla on ms detalle en esta se in.
Comenzamos probando que es equivalente a la siguiente propiedad que
llamaremos onexin topolgi a.
Deni in 4.4.1. Un espa io topolgi o (X, T ) se di e dis onexo si
existen dos abiertos U y V de (X, T ), distintos del va o tales que U V =
y X = U V . En aso ontrario se dir que es topolgi amente onexo
o, por abreviar, onexo.
En general, un sub onjunto A X se di e onexo en (X, T ) si (A, T /A )
es onexo.
Proposi in 4.4.2. Un espa io topolgi o (X, T ) es onexo si y slo si
los ni os onjuntos que son abiertos y errados a la vez son y X.
Demostra in. Supongamos que existe un onjunto A 6= , X , que es
abierto y errado. Enton es X A no es ni el va o ni el total pero es
abierto y errado. Se tiene enton es X = (X A) A on A y X A
abiertos distintos del va o y (X A)A = . Luego (X, T ) es dis onexo,
llegando as a una ontradi in.
Re pro amente, si (X, T ) es dis onexo, enton es X = U V on U y V
abiertos distintos del va o y U V = . Luego U = X V que es errado.
Por tanto, U es abierto y errado, U 6= y U 6= X pues V = X U 6= .
Por tanto, (X, T ) es onexo.
Ejemplo 4.4.3. (R, discreta) no es onexo. S
x R, {x} = Bd (x, 1) es abierto. R {x} = y6=x {y} es abierto. Por
tanto {x} tambin es errado.
La Proposi in 4.4.2 nos permite res ribir la Proposi in 4.1.5 omo

sigue. De esta manera se ara terizan los onjuntos onexos de la re ta
eu ldea adems de estable erse que en ella la onexin es equivalente a
la onexin por aminos.
Proposi in 4.4.4. (Cara teriza in de los onexos de la re ta eu l-

dea)
En (R,eu ldea) las siguientes propiedades son equivalentes para un on-
junto A R.
1. A es onexo por aminos.
2. A es onexo.
3. Si ab on a, b A, enton es [a, b] A.
4. A es un intervalo.
En general, la Proposi in 4.1.4 muestra que la onexin topolgi a

generaliza a la onexin por aminos. Ambas propiedades no son equiva-
lentes omo se observa a ontinua in.
Ejemplo 4.4.5. El espa io en el Ejemplo 4.2.8(4) es onexo pero no

onexo por aminos. Todos los detalles se en uentran en 4.2.8(4).
Veamos una ondi in su iente para que un espa io onexo sea o-
nexo por aminos.
Proposi in 4.4.6. Sea (X, T ) lo almente onexo por aminos. Enton-

es (X, T ) es onexo si y slo si (X, T ) es onexo por aminos.
Demostra in. Sea x0 X . Por la proposi in anterior Cx0 es abierto y

errado, enton es Cx0 = X . Pero Cx0 = {y X : y se one ta por un
amino en X on x0 }, luego todo x X se one ta por un amino on
x0 y utilizando la transitividad x, x X , x y x estn one tados por
un amino en X . Por tanto, (X, T ) es onexo por aminos. El re pro o
es general (4.1.4)
Proposi in 4.4.7. Sea f : (X, T ) (Y, T ) ontinua y A X onexo.

Enton es f (A) es onexo. En parti ular, si f es homeomorsmo y (X, T )

es onexo, enton es (Y, T ) tambin.
Demostra in. Por deni in (A, T /A ) es onexo. Como f es ontinua,

enton es la restri in sobre la imagen fe : (A, T /A ) (f (A), T /f (A) ),
fe(a) = f (a) a A tambin es ontinua.
Sea Z f (A) abierto y errado de (f (A), T /f (A) ). Basta probar que
Z = Z = f (A) para on luir que f (A) es onexo.
Por ser fe ontinua, fg1 (Z) es abierto y errado de (A, T / ) y omo
A
g g
A es onexo enton es f (Z) = A f (Z) = . De esta forma, si
1 1
fg1 (Z) = A fe(A) = f (A) = Z y si f g1 (Z) = Z = .
Proposi in 4.4.8. Sea (X, T ) un espa io topolgi o y A X onexo,

enton es todo BX tal que A B A es onexo. En parti ular A es
siempre onexo.
Demostra in. Sea Z B un onjunto no va o que es abierto y errado

a la vez en (B, T |B). La onexin de B equivale a probar que Z = B ,
para lo que bastar ver que B Z .
Por deni in de los abiertos y errados relativos Z = U B y Z =
F B on U abierto y F errado en (X, T ). Si b Z , enton es b U y
omo b B A se sigue que
Z A = (U B) A = U A 6=
es un abierto no va o de (A, T |A). Por otro lado, F A = (F B) A =

Z A es errado de (A, T |A). Enton es la onexin de (A, T |A) nos di e
B
que Z A = A y por tanto A Z , luego A Z . Finalmente, si Z
denota la lausura de Z en (B, T |B) tenemos
B
B = A B Z B = Z = Z.
Aqu se usa que B A y que Z se supone errado en (B, T |B). Es de ir,

B Z.
4.5. Otras ara teriza iones y propiedades de

los espa ios onexos
Comenzamos observando que la Proposi in 4.4.2 permite demostrar

que la onexin de un espa io es equivalente a que toda apli a in de ese
espa io en la re ta eu ldea umpla el Teorema del Valor Intermedio de
Bolzano en la Proposi in 2.8.3. Esto es,
Proposi in 4.5.1. Sea (X, T ) un espa io topolgi o. Son equivalentes

a) (X, T ) es onexo.
b) Si f : (X, T ) (R, eu ldea) es ontinua y a, b f (X) on a b
enton es [a, b] f (X)
)(Teorema de Bolzano) Si f : (X, T ) (R, eu ldea) es ontinua y
x1 , x2 X on f (x1 ) < 0 y f (x2 ) > 0, enton es x0 X on f (x0 ) = 0.
Deni in 4.5.2. Un espa io topolgi o (X, T ) se di e dis reto si todos
los onjuntos unitarios {x} son abiertos.
Ejemplo 4.5.3. Si d es la distan ia dis reta (X, d) es un espa io dis reto
ya que, Bd (x, 1) = {x} es abierto.
Proposi in 4.5.4. Sea (X, T ) espa io topolgi o dis reto. Enton es
AX es onexo si y slo si A = {x} tiene un slo elemento.
Demostra in. Si A = {x} enton es es obvio que A es onexo. Re pro a-

mente, si A ontiene a x e y (x 6= y); onsideramos A = {x} (A {x}),
donde {x} y A {x} = aAx {a} son abierto y enton es A es dis onexo.
Por tanto, on luimos que A slo tiene un elemento.
Proposi in 4.5.5. Sea (X, T ) ualquier espa io topolgi o. Son equi-
valentes:
b) Toda f : (X, T ) (Y, T ) ontinua on (Y, T ) dis reto es onstante.
Demostra in. a) b)
Como (X, T ) es onexo y f es ontinua, enton es f (X) es onexo en
(Y, T ). Por la proposi in anterior f (X) se redu e a un elemento. Lue-
go, f es onstante.
b) a)
R.A. Supongamos que (X, T ) no es onexo. Enton es existen A y B
abiertos tales que X = A B y A B = .
Sea Y = {y0 , y1} y T = {, Y, {y0}, {y1 }}. Es laro que (Y, T ) es un
espa io dis reto. Denimos f : (X, T ) (Y, T ) omo

y0 si x A
f (x) =
y1 si x B
Es inmediato omprobar f ontinua es ontinua ya que: f 1 () = ,
f 1 (Y ) = X , f 1 ({y0}) = A, f 1 ({y1 }) = B . Se llega as a una on-
tradi in pues f no es onstante. Enton es, (X, T ) es ne esariamente
onexo.
Proposi in 4.5.6. Sea (X, T ) ualquier espa io topolgi o. Son equi-

valentes:
b) Dados a, b X , C X onexo tal que a, b C .
Demostra in. a) b) es trivial tomando C = X .
b) a)
R.A. Supongamos que (X, T ) no es onexo. Enton es 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 on a, b C .
Como C X . Enton es C = U V donde U = C U y V = C V . Se
umple 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 onexo, lo que es
una ontradi in.
Proposi in 4.5.7. Sea (X, T ) un espa io topolgi o. Sea {C } on
C X onexo . Supongamos
[ que existe 0 on C C0 6=
(*). Enton es C = C es onexo.

Figura 4.13:
Demostra in. Sea f : (C, T /C ) (Y, T ) ontinua on (Y, T ) dis reto.

Para ver que C es onexo basta ver que f es onstante.
Para ada , f |C es onstante por ser C onexo. 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
Enton es y = y0 , luego f es onstante.
Las dos proposi iones siguientes tienen demostra iones anlogas a las
de sus orrespondientes ontrapartes en onexin por aminos 4.1.11 y
4.1.12.
Proposi in 4.5.8. (Variante 1) Supongamos que

\ en vez de () en 4.5.7
se tiene C C 6= , ; en parti ular si C 6= . Enton es C

sigue siendo onexo.
Proposi in 4.5.9. (Variante 2) Sean C1 , C2 , ..., Cn una su esin de

sub onjuntos onexos en un espa io topolgi o (X, T ) on Ci Ci+1 6=

[
i 1. Enton es C= Cn es onexo.
n=1
Pasamos a estudiar la onexin del produ to de espa ios (seudo)mtri os.
Proposi in 4.5.10. Sean (X1 , d1 ) y (X2 , d2 ) espa ios (seudo)mtri os

onexos. Enton es (X1 X2 , 2max ) on
2max ((x1 , x2 )(x1 , x2 )) = max{d1 (x1 , x1 ), d2(x2 , x2 )}
es onexo.
Demostra in. Sean (x01 , x02 ),(x11 , x12 ) X1 X2 .
Figura 4.14:
La apli a in 1 : (X2 , d2 ) (X1 X2 , 2max ) dada por 1 (x2 ) =

(x01 , x2 ).
es isometra por tanto, ontinua. En efe to:
2max (1 (x2 )1 (y2 )) = max{d1 (x01 , x01 ), d2 (x2 , y2 )} = d2 (x2 , y2).
En parti ular, 1 (X2 ) = {x01 } X2 es onexo.

Anlogamente, 2 : (X1 , d1 ) (X1 X2 , 2max ) dada por 2 (x1 ) =
(x1 , x12 ) es una isometra y 2 (X1 ) = X1 {x12 } es onexo. Por lti-
mo, 1 (X2 ) 2 (X1 ) = {(x01 , x12 )} =
6 , luego, 1 (X2 ) 2 (X1 ) es onexo
y ontiene a (x1 , x2 ) y (x1 , x2 ). Enton es (X1 X2 , 2max ) es onexo por
0 0 1 1
4.5.6.
Nota 4.5.11. La proposi in anterior es vlida tambin para las (seu-
do)distan ias 2taxi y 2euclidea. De he ho, todo lo indi ado en 4.1.8 per-
manen e vlido si ambiamos la onexin por aminos por la onexin
topolgi a.
4.6. Componentes onexas. Conexin lo al
Deni in 4.6.1. Dado (X, T ) un espa io topolgi o y x X llamamos

omponente onexa de X al mayor onjunto onexo Cx X que ontiene
a x.
Lema 4.6.2. Cx siempre existe.
Demostra in. En efe to, sea C = {C X; C es onexo y x C}.

La familia
[ C 6 = no es va a pues {x} es onexo y x {x}. La unin
C0 = C es un onjunto onexo pues ada C es onexo y si C , C C
C C
x C C , y omo x C0 se tiene C0 C . Pero C C , C C0 por
deni in. Esto es, C0 es el mayor onexo en (X, T ) que ontiene a x.
As, Cx = C0
Ejemplo 4.6.3. En (Q,eu ldea) la omponente onexa de ada x Q

es {x}.
Nota 4.6.4. Si (X, T ) es onexo Cx = X x X .
Proposi in 4.6.5. (Propiedades bsi as de las omponentes onexas)

Sea (X, T ) un espa io topolgi o. Si Cx es la omponente onexa de x
X, se umplen:
1. x Cx
2. Cx es onexo.
3. Cx es errado en (X, T ).
4. Si Cx Cy 6= Cx = Cy . Es de ir, las omponentes onexas

forman una parti in de X .
Demostra in. Los apartados 1) y 2) se tienen por deni in.

3) Cx es onexo, enton es Cx es onexo. Adems, x Cx , luego x Cx
ya que Cx Cx siempre.
Por ser Cx el mayor onexo onteniendo a x, se tiene Cx Cx , por tanto,
Cx = Cx y se dedu e que Cx es errado.
4) Como Cx Cy 6= y Cx y Cy son onexos, enton es Cx Cy es onexo.
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 .

Enton es en (X ,eu ldea) la omponente onexa de de x = (a, y) on
a A es Cx = {a} R.
Figura 4.15:
Claramente, {a} R es onexo, por tanto, {a} R Cx .

Si p = (a , y ) Cx y p1 : R2 R es la primera proye in, p1 (Cx ) es
onexo en A Q, enton es p1 (Cx ) = {}, A. Luego, = a a = a.
Por tanto Cx p1 1 (a) = {a} R
Deni in 4.6.7. Un espa io topolgi o (X, T ) se di e lo almente o-

nexo si dado ualquier x X y ualquier entorno N de x en (X, T )
enton es existe otro entorno N de x que es onexo y N N .
Proposi in 4.6.8. Si (X, T ) es lo almente onexo enton es toda om-

ponente Cx es un onjunto abierto (y por tanto abierto y errado).
Demostra in. Sea y Cx . Por hiptesis si N = X (que es entorno de

y ) existe N X onexo y entorno de y . En parti ular y intN N .

Adems, y Cy , por tanto, Cy Cx 6= por lo que Cx = Cy . Por deni-

in de omponente onexa se tiene,
N Cy = Cx y intN intCx .
As, Cx intCx Cx = intCx Cx es abierto.
1. Ya sabemos que los espa ios eu ldeos son onexos por aminos y
lo almente onexos por aminos. Por tanto lo son tambin para la
onexin topolgi a. Adems, en todo abierto eu ldeo la onexin
y la onexin por aminos oin iden.
2. (R, discreta) no es onexo y s lo almente onexo, pues si 1

Bd (x, ) = {x} es onexo. Las omponentes onexas son Cx = {x}
x R
3. (Q,eu ldea) no es onexo y no es lo almente onexo pues A Q

es onexo si y slo si A = {} y por tanto, intA = , luego, dado x
no existe ningn entorno de x onexo.
4. En (R2 ,eu ldea) hay onexos que no son lo almente onexos.

Consideremos el ejemplo 4.2.8(3). Ya sabemos que es onexos por
aminos, luego es onexo. Adems la misma demostra in en 4.2.8(3)
lleva a que no es lo almente onexo. La re ordamos aqu. El subes-
[
pa io en uestin era X R on X = OX OY
2
Zn on
1
Zn = {(x, y); x = n1 }.
Figura 4.16:
Figura 4.17:
Para ver que (X , eu ldea) no es lo almente onexo razonamos por

R.A.: Sea Bd (p, r) on r < d(p, OX), d = eu ldea|X y N Bd (p, r)
entorno onexo de p.
Como N es entorno de p, existe > 0 tal que Bd (p, ) N . Adems
p = lm pn on pn Zn y existe n0 on pn Bd (p, ) N si n n0 .
Sea t on n01+1 < t < n10 . Consideremos:
U = {(x, y), x < t}

V = {(x, y), x > t}
ambos abiertos de (R,eu ldea). 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 onexo, lo que nos lleva
a ontradi in.
Proposi in 4.6.10. (Invarianza del nmero de omponentes onexas)

Sea f : (X, T ) (Y, T ) un homeomorsmo, enton es si Cx es ompo-
nente de x se tiene que f (Cx ) es omponente onexa de f (x).
Conse uen ia: Existe una biye in entre las omponentes onexas de
(X, T ) y las de (Y, T ).
Demostra in. La demostra in es anloga a la de 4.2.7 (ejer i io)

A Punt Es Completo 1617

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

A Punt Es Completo 1617

Cargado por

Copyright:

Formatos disponibles

TOPOLOGA

1.1. Medir la proximidad

Sea X un onjunto. Denotaremos por X X al onjunto de los pares

Deni in 1.1.1. Una distan ia sobre X es una apli a in d : X X

2. d(x, x ) = d(x , x), x, x X (Propiedad simtri a),

4. d(x, x ) d(x, x )+d(x, x ), x, x , x X (Propiedad triangular),

Al par (X, d) se le llama espa io mtri o. Si la ondi in (3) se sustituye

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

Deni in 1.1.4. Sea V un espa io ve torial sobre R. Una norma sobre

4. ||v + w|| ||v|| + ||w||, v, w V .

Al par (V, || ||) se le llama espa io normado.

Proposi in 1.1.5. Si(V, || ||) es un espa io normado, la apli a in

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 deni in, 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 ontinua in algunos ejemplos de espa ios normados y sus

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

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

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

A esta norma se le llama norma taxi y a su distan ia aso iada 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 distan ia aso iada es dmax ((x, y), (x , y )) = max{|x x |, |y y |},

Anlogamente, las normas taxi y mximo para R son ||(x1 , . . . , xn )||taxi =

Produ to por es alar: (f )(x) = f (x).

Se dene ||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}, enton es |f (x)| = 0, para todo

La norma anterior se llama norma del supremo y su distan ia aso iada es

Veremos a ontinua in on un ejemplo on reto mo fun ionan esta

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

Se dene la su esin de fun iones {fn } omo fn = (1/n) sen(x) y

Deniremos a ontinua in otra norma:

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

Comprobaremos a ontinua in que las distan ias d1 y d son distin-

Veamos ahora un ejemplo de seudodistan ia.

en el punto 1, enton es dmeta (f, h) = 0. Podemos darle un sentido a esta

Deniremos ahora una distan ia vlida para ualquier onjunto.

1. Trivial por deni in.

2. d(x, x ) = d(x , x) por deni in.

4. La apli a in d slo puede tomar los valores 0 y 1, luego la ni a

En el plano eu ldeo (R2 , deucldea )(plano), los r ulos de entro un

Esta observa in lleva a la siguiente deni in general

Deni in 1.1.18. Sea (X, d) un espa io (seudo)mtri o. Dados x X

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

Una bola errada de entro x y radio es

Una esfera de entro x y radio es

Ejemplo 1.1.19. En la re ta eu ldea (R, de ), tenemos Bde (x, ) = {y

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

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

Si x1 , x2 0, enton es |x1 | + |x2 | < impli a x1 x2 < .

Ejemplo 1.1.23. Sean X = {f : R R, f es a otada} y la distan ia

Ejemplo 1.1.24. Si tomamos X = R2 , la distan ia

Proposi in 1.1.25. (Propiedades de las bolas abiertas)

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

1'. Si 0 < < , enton es Bd (x, ) Bd (x, ).

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

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

Demostra in. 1. Como d(x, x) = 0 < , enton es x Bd (x, ).

2. Como y Bd (x, ), enton es d(x, y) < y podemos denir :=

3. Si z Bd (x, ) Bd (x , ), enton es:

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

Deni in 1.1.1. Una distan ia sobre X es una apli a in d : X X

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

Deni in 1.1.4. Sea V un espa io ve torial sobre R. Una norma sobre

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

Se dene ||f || = sup{|f (x)|; x R}, que se demuestra que es norma:

Se dene la su esin de fun iones {fn } omo fn = (1/n) sen(x) y

Deniremos a ontinua in otra norma:

Deniremos ahora una distan ia vlida para ualquier onjunto.

1. Trivial por deni in.

2. d(x, x ) = d(x , x) por deni in.

Esta observa in lleva a la siguiente deni in general

Deni in 1.1.18. Sea (X, d) un espa io (seudo)mtri o. Dados x X

2. Como y Bd (x, ), enton es d(x, y) < y podemos denir :=

Proposi in 1.1.26. (Propiedad de separa in de Hausdor ) Si (X, d)

1.2. Conjuntos que envuelven a sus puntos

Para jar ideas estable emos las siguientes deni iones

Deni in 1.2.1. Sea (X, d) un espa io (seudo)mtri o y A X . De-

El siguiente resultado muestra que todo ontrol de proximidad"tiene

3. Por deni in, x intA si y slo si A es entorno de x.

Deni in 2.1.1. Dado un onjunto X ualquiera, se llama topologa

1. T por deni in.

Proposi in 2.1.5. Si X es innito, no existe ninguna distan ia d so-

Hemos basado la deni in de espa io topolgi o en la no in de on-

Deni in 2.2.1. Sea (X, T ) un espa io topolgi o. Si A X y x X ,

Nota 2.2.2. Obsrvese que por deni in, siempre intA A.

En un espa io toplogi o, la idea de estar adherido un punto a un

Ejemplo 2.3.3. En al re ta eu ldea (R, eu ldea), el supremo y el n-

Deni in 2.3.4. Dado un espa io topolgi o (X, T ) y A X , de imos

Demostra in. Si todo G ontiene innitos puntos de A, enton es el on-