Captulo 3

Espacios topol ogicos

3.1 Espacio topol ogico
Denici on 3.1.1. Un espacio topol ogico es un par (X, ), donde X es un conjunto, y es una
familia de subconjuntos de X que verica las siguientes condiciones
(1) X y .
(2) Dada una familia {A
i
, i I} de elementos de , su uni on
iI
A
i
tambi en est a
en .
(3) Si A
1
, A
2
, entonces A
1
A
2
(la intersecci on de dos elementos de la familia
tambi en es un elemento de la familia)
Diremos entonces, que la familia es una topologa sobre X, y a sus elementos les llamaremos
conjuntos abiertos de (X, ).
De la condici on (2) se deduce, por inducci on, que la intersecci on de una familia nita de conjuntos
abiertos sigue siendo un conjunto abierto en (X, ). (Ejercicio)
Ejemplo 3.1.2.
(1) Topologa asociada a una m etrica. Todo espacio m etrico (X, d) tiene asociado un espacio
topol ogico (X,
d
), donde
d
es la familia de los conjuntos abiertos de X para la distancia d tal y
como los hemos denido en [2.3.3]. El teorema [2.3.6] prueba que, efectivamente, estos abiertos
constituyen una topologa que llamamos topologa
d
asociada a la m etrica d.
(2) Topologa discreta. Sea X un conjunto; consideremos la familia = P(X), formada por
todos los subconjuntos de X. Esta familia es una topologa en la que cualquier subconjunto de X
23
24 CAP

ITULO 3. ESPACIOS TOPOL

OGICOS
es un abierto y se llama topologa discreta, en este caso decimos que (X, P(X)) es un espacio
topol ogico discreto.
(3) Topologa indiscreta. Si consideramos ahora la familia {, X} cuyos unicos conjuntos son el
vaco y el propio X, tambi en constituye una topologa sobre X que llamaremos topologa gruesa,
indiscreta o trivial.
(4) Sea el conjunto X = {a, b, c, d, e}. Entre otras, podemos construir las siguientes familias de
subconjuntos de X:

1
= {X, , {a}, {c, d}, {a, c, d}, {b, c, d, e}}

2
= {X, , {a}, {c, d}, {a, c, d}, {b, c, d}}

3
= {X, , {a}, {c, d}, {a, c, d}, {a, b, d, e}}

1
es una topologa sobre X y sin embargo,
2
falla en la uni on y
3
falla en la intersecci on, por lo
tanto no lo son.
(5) Topologa conita. Sea X un conjunto cualquiera y denamos como el conjunto vaco junto
con aquellos subconjuntos A X tales que A
c
= X A es nito. es una topologa sobre X
que se conoce como la topologa conita y se representa por
cf
. Cuando el conjunto X es nito,
entonces la topologa conita coincide con la topologa discreta. Como este caso no introduce
nada nuevo, siempre que se estudie la topologa conita ser a sobre conjuntos innitos.

Como hemos visto, sobre un conjunto se puede denir m as de una topologa. Podemos establecer
una cierta comparaci on:
Denici on 3.1.3 (Topologas m as nas). Dado un conjunto X, sean
1
y
2
dos topologas
denidas sobre X. Si todo abierto de
1
es un abierto de
2
, es decir,
1

2
, diremos que

2
es m as na que
1
o que
1
es menos na que
2
, o bien que
2
es m as d ebil que
1
. Dos
topologas son equivalentes si tienen los mismos abiertos y dos topologas no son comparables si
ninguna es m as na que la otra.
Ejemplo 3.1.4.
(1) La topologa indiscreta es menos na que cualquier otra y la topologa discreta es la m as na
posible.
(2) La topologa conita sobre R
2
es menos na que la topologa usual, puesto que si A es abierto
de la topologa conita, Aes complementario de un subconjunto nito de R
2
y, como los conjuntos
nitos son cerrados para la topologa usual, A tambi en es abierto en R
2
para la topologa usual.

Denici on 3.1.5 (Base de una topologa). Sea (X, ) un espacio topol ogico. Diremos que una
subfamilia B , es una base de la topologa si cada abierto A se puede expresar como uni on
de conjuntos de B, es decir, existe {B
i
}
iI
B tal que A =

iI
B
i
.
3.1. ESPACIO TOPOL

OGICO 25
Proposici on 3.1.6. Sea X un conjunto y B P(X) una familia de subconjuntos de X. Entonces
B es base de una topologa sobre X si, y s olo si se cumplen las dos condiciones siguientes:
(a) X =

BB
B.
(b) Si B
1
, B
2
B, para cada x B
1
B
2
, existe B B tal que x B B
1
B
2
.
Demostraci on. = Si suponemos que B es base de una topologa en X, como X , est a
claro que X =
BB
B y se cumple (a). Veamos que se cumple (b); si B
1
, B
2
B, es evidente
que B
1
, B
2
, por tanto B
1
B
2
, luego esta intersecci on ser a uni on de conjuntos de B,
B
1
B
2
=
iI
B
i
con B
i
B para todo i I. Si x B
1
B
2
, entonces x B
j
para alg un
j I. Por tanto x B
j
B
1
B
2
.
= Supongamos ahora que B es una familia de subconjuntos de X que cumple (a) y (b) y
veamos que existe una topologa determinada por B. Denimos la familia
= {A X : A =
jJ
B
j
, con B
j
B, para todo j J}.
Hay que comprobar que se trata de una topologa. X por (a); pues B.
Si {A
i
}
iI
es una familia de conjuntos de , tendremos que cada A
i
ser a uni on de conjuntos de
B, es decir, A
i
=
jJ
i
B
ij
para cada i I con B
ij
B para todo j J
i
; como la uni on es
asociativa, tendremos que

iI
A
i
=

iI
(

jJ
i
B
ij
) =

iI,jJ
i
B
ij
lo que implica que la uni on de conjuntos de es de .
Por ultimo veamos que si A
1
, A
2
entonces A
1
A
2
. Tenemos que A
1
=
iI
B
i
y
A
2
=
jJ
B
j
con B
i
, B
j
B para todo i I, j J. Para cada x A
1
A
2
, x
iI
B
i
y
x
jJ
B
j
, luego existen i
o
I y j
o
J tales que x B
i
o
B
j
o
y por (b), existe B
x
B tal
que x B
x
B
i
o
B
j
o
A
1
A
2
y por tanto
xA
1
A
2
B
x
= A
1
A
2
.
Ejemplo 3.1.7.
(1) Los intervalos abiertos (a, b); a, b R son una base de la topologa usual en R.
(2) La familia {B(x, r) : x X, r > 0} son base de la topologa asociada a la distancia en un
espacio m etrico (X, d).
(3) Los rect angulos abiertos y de lados paralelos a los ejes, son una base de la topologa eucldea
en R
2
.
(4) Si consideramos (X,
D
) espacio topol ogico con la topologa discreta, la familia B = {{x} :
x X}, es una base de dicha topologa.

26 CAP

ITULO 3. ESPACIOS TOPOL

OGICOS
3.2 Cerrados
Denici on 3.2.1 (Cerrado). Dado un espacio topol ogico (X, ), diremos que un subconjunto
C X es cerrado si su complementario C
c
= X C es abierto. Representaremos la familia de
todos los cerrados por C
Ejemplo 3.2.2.
(1) En un espacio m etrico (X, d), la denici on de cerrado para la m etrica d coincide con la de
cerrado para la topologa
d
, asociada a la distancia d.
(2) En un espacio topol ogico con la topologa indiscreta, los unicos cerrados son X y .
(3) En un espacio topol ogico con la topologa discreta, todos los subconjuntos de X son cerrados.
(4) En la topologa conita, (X,
cf
), un subconjunto C X es cerrado si y s olo si C = X, o
bien C es nito.
El hecho de que un conjunto sea cerrado no implica que este conjunto no sea abierto; de hecho,
existen conjuntos que son a la vez abiertos y cerrados, por ejemplo el espacio total X en cualquier
espacio topol ogico (X, ); o la topologa discreta del ejemplo anterior, tiene todos sus conjuntos
que son a la vez abiertos y cerrados. Tambi en existen, como hemos visto, conjuntos que no son ni
abiertos ni cerrados como cualquier intervalos [a, b) en R con la topologa usual.
Los cerrados cumplen una serie de propiedades, que podemos llamar, duales de las propiedades
de los abiertos y que, en el caso de espacios m etricos ya hemos visto en [2.4.7].
Teorema 3.2.3. Dado un espacio topol ogico (X, ), la familia de los conjuntos cerrados cumple
las siguientes propiedades:
(1) X y son cerrados.
(2) Si {C
i
: i I} es una familia de cerrados en X, entonces
iI
C
i
es un cerrado.
(3) Si {C
i
: i = 1, 2, . . . , n} es una familia nita de cerrados, entonces
n
i=1
C
i
es un
cerrado.
Ya hemos visto en el ejemplo [2.4.8(1)] que la uni on arbitraria de cerrados no es, en general, un
cerrado.
3.3 Entornos
Otro concepto que ya apareci o en los espacios m etricos, pero que en realidad es topol ogico es el
de entorno de un punto.
3.3. ENTORNOS 27
Denici on 3.3.1 (Entorno de un punto). Dado un espacio topol ogico (X, ), diremos que un
subconjunto U X es un entorno de un punto x X si existe un abierto A tal que x A U.
Al conjunto o familia de todos los entornos de un punto x X lo representaremos por U
x
.
Ejemplo 3.3.2.
(1) Si (X, d) es un espacio m etrico, todo entorno para la m etrica ser a obviamente un entorno para
la topologa asociada a la distancia. El recproco tambi en es cierto.
(2) En un espacio topol ogico trivial el unico entorno posible de un punto es el espacio total.
(3) En un espacio topol ogico discreto U U
x
si y s olo si x U.
(4) En la topologa conita, U U
x
si y s olo si x U y U
c
= X U es nito.
Recordemos que, en un espacio m etrico los conjuntos abiertos se pueden caracterizar a partir de la
noci on de entorno. En el caso general de los espacios topol ogicos tambi en se pueden caracterizar
los conjuntos abiertos de una manera an aloga.

Proposici on 3.3.3. En un espacio topol ogico (X, ), un conjunto A es abierto si, y s olo si A es
entorno de todos sus puntos.
Demostraci on. = Si A es abierto, se tiene, obviamente, que x A A, y por tanto A es un
entorno de x, para todo x A.
= Recprocamente, si suponemos que A es entorno de todos sus puntos, entonces, para todo
x A existe un abierto U
x
tal que x U
x
A. De esta manera se puede escribir A =
xA
U
x
,
que ser a abierto ya que es uni on de abiertos.
Proposici on 3.3.4. Dados un espacio topol ogico (X, ) y un punto x X, la familia de entornos
U
x
verica las siguientes propiedades:
(1) Si U U
x
, entonces x U.
(2) Si U U
x
y U V , entonces tambi en V U
x
.
(3) Si U, V U
x
, entonces U V U
x
.
(4) Si U U
x
, existe V U
x
tal que x V U y V U
y
para todo y V .
Demostraci on. (1)Es evidente. (2) Como U U
x
, entonces existe A abierto de modo que x
A U, pero entonces x A V ; por tanto V U
x
.
(3) Si U, V U
x
existen abiertos A, B, tales que x A U y x B V . Eso implica que
x A B U V , y como A B es abierto por ser intersecci on de dos abiertos, tendremos
que U V U
x
.
(4)Como U U
x
, existe un abierto A tal que x A U; basta tomar A = V
28 CAP

ITULO 3. ESPACIOS TOPOL

OGICOS
La familia de todos los entornos habitualmente es muy grande y, con frecuencia, difcil de repre-
sentar. Incluso en el caso de R con la topologa usual, los entornos pueden ser muy complicados.
Esto se resuelve trabajando s olo con los intervalos. En el caso de un espacio m etrico este papel lo
hacen las bolas y en el caso general introduciremos un concepto que facilitar a el trabajo de forma
semejante:
Denici on 3.3.5 (Base de entornos). Dado un espacio topol ogico (X, ), un punto x X, y una
subfamilia V
x
U
x
de la familia de entornos de x; diremos que V
x
es una base de entornos de x,
o base local de x, en (X, ) si verica
Si U U
x
es un entorno de x, entonces existe V V(x) tal que V U
Ejemplo 3.3.6.
(1) En R con la topologa usual, una base de entornos para cada x R es la familia formada por
los intervalos de centro x y radio r > 0 variando r, es decir {(x r, x + r) : r > 0}.
(2)En un espacio m etrico (X, d), la familia de bolas V
x
= {B(x, r) : r > 0} es obviamente, una
base de entornos de x, para cada x X.
(3)En un espacio m etrico (X, d), la familia de bolas V
x
= {B(x,
1
n
) : n N

} es tambi en una
base de entornos de x, para cada x X, puesto que para cada r > 0 existe n N

tal que
1
n
< r.
(4) En un espacio topol ogico trivial o indiscreta, (X,
I
), la unica base de entornos posible es la
formada unicamente por el espacio total X.
(5) Si el espacio topol ogico es discreto, (X,
D
), {x} es un entorno de x, para todo x X, y por
tanto se deduce que la familia formada por este entorno, V
x
= {{x}}, es una base de entornos de
x.

3.4 Subespacios topol ogicos

Proposici on 3.4.1. Sea (X, ) un espacio topol ogico y H X entonces la familia
H
= {HA :
a } de las intersecciones de los abiertos de (X, ) con H es una topologa sobre H.
Demostraci on. Evidentemente H
H
puesto que H = H X y = H , luego
H
.
Si tenemos una familia {H A
i
: i I, A
i
} de elementos de
H
, entonces la uni on ser a

iI
(H A
i
) = H (
iI
A
i
) y como
iI
A
i
por ser abiertos, tendremos que la uni on de
elementos de
H
tambi en es de
H
. Aplicando la misma propiedad en sentido contrario se prueba
que la intersecci on de dos elementos de
H
tambi en es de
H
.
3.4. SUBESPACIOS TOPOL

OGICOS 29
Denici on 3.4.2 (Subespacio topol ogico). Si (X, ) es un espacio topol ogico y H X, al
espacio topol ogico (H,
H
) se le llama subespacio topol ogico de X y a la topologa
H
se le
llama topologa inducida por sobre H o topologa relativa de H con respecto a (X, ). A los
abiertos de
H
les llamamos abiertos relativos o abiertos para la topologa relativa.
Ejemplo 3.4.3. Los subconjuntos de un espacio m etrico con la topologa asociada a la distancia
inducida son subespacios topol ogicos.

Los cerrados en la topologa inducida tambi en son intersecciones de cerrados del espacio total con
el subespacio.
Proposici on 3.4.4. Sea (X, ) un espacio topol ogico y sea H X. Un subconjunto de F H,
es un cerrado relativo si, y s olo si existe un cerrado C en el espacio total, de forma que F = CH.
Demostraci on. = Sea F un cerrado en (H,
H
). Eso signica que su complementario en H
es un abierto relativo, H F
H
. Por tanto, existe A tal que H F = A H. Pero
entonces C = X A es un cerrado en (X, ), y
F = H (H F) = H (A H) = H A = H (X A) = H C
= Recprocamente, sea F = C H con C cerrado en el espacio total. Su complementario en
H se puede expresar as:
H F = H (C H) = H C = H (X C)
Como X C , es abierto por ser complementario de un cerrado, H F
H
. Tendremos
que F es cerrado en (H,
H
).
Ejemplo 3.4.5. Es importante darse cuenta de que, en general, los abiertos relativos no tienen
por qu e ser abiertos en el espacio total. As, [0, 1) no es abierto en R con la topologa usual; sin
embargo, s es abierto en [0, +) con la topologa inducida.

Proposici on 3.4.6. Sea (X, ) un espacio topol ogico y (H,

H
) un subespacio. Entonces:
(a) Todo subconjunto A H abierto en (H,
H
) es abierto en (X, ) si, y s olo H es abierto
en (X, ).
(b) Todo subconjunto C H cerrado en (H,
H
) es cerrado en (X, ) si, y s olo H es
cerrado en (X, ).
30 CAP

ITULO 3. ESPACIOS TOPOL

OGICOS
Demostraci on. (a) Si todo abierto en
H
lo es en , como H es abierto en
H
tambi en es abierto
en .
Recprocamente, si H es abierto en , como todo abierto A en
H
es de la forma A = H B, con
B abierto en el espacio total, A ser a abierto en el espacio total por ser intersecci on de abiertos.
(b)(Ejercicio).
Cada una de las dos armaciones de la proposici on anterior son independientes, es decir la primera
(a), habla de abiertos pero no dice nada de cerrados y la segunda (b) habla de cerrados pero no de
abiertos. Observemos los dos ejemplos siguientes.
Ejemplo 3.4.7.
(1) Consideremos R con la topologa usual y el subespacio formado por los racionales Q. Los
abiertos en Q para la topologa inducida ser an intersecciones de abiertos de R con Q. Entonces el
conjunto {x Q : 0 < x < 1} es abierto en Q pero no lo es en R.
(2) Sea A = {(x, y) R
2
: xy > 1} que es abierto en (R
2
, d
2
) y, por tanto, todo abierto de
(A, d
2
), lo es en R
2
, por ejemplo, B = B((0, 0), 2) A es abierto, sin embargo A B es un
cerrado en (A, d
2
) pero no lo es en (R
2
, d
2
).

Veamos, para concluir esta secci on, como son los entornos y las bases de entornos en la topologa
inducida.
Proposici on 3.4.8. Sea (X, ) un espacio topol ogico, y sea H X. Dado x H, un subconjunto
V H es un entorno relativo de x (V U
H
x
) si, y s olo si existe U entorno de x en el espacio
total, (U U
x
), de forma que V = U H.
Demostraci on. = Sea V un entorno relativo de x: existe B
H
tal que x B V ;
entonces existir a A tal que B = A H. Sea U = A V ; evidentemente U U
x
, pues
x B = A H, x A A V . Adem as:
U H = (A V ) H = (A H) (V H) = B V = V.
= Recprocamente sea U U
x
; tomamos V = U H; existe A tal que x A U.
Entonces x A H U H = V .
Proposici on 3.4.9. Sea (X, ) un espacio topol ogico y sea x H X. Si B(x) es una base de
entornos de x en (X, ), la familia B
H
(x) = {B H : B B(x)} es una base de entornos para
la topologa relativa.
Demostraci on. Evidentemente B
H
(x) U
H
x
. Sea V U
H
x
; entonces V = U H, con U U
x
.
Entonces existe B B(x) tal que x B U; entonces B H U H = V y B H
B
H
(x).
3.5. ESPACIOS TOPOL

OGICOS METRIZABLES 31
3.5 Espacios topol ogicos metrizables
Ya hemos visto en el ejemplo [3.1.2,1)] que cualquier espacio m etrico (X, d) tiene asociada una
topologa que llamamos
d
, a partir de la denici on [2.3.3] y el teorema [2.3.6]. Nos podemos
preguntar si todo espacio topol ogico procede de una m etrica.
Denici on 3.5.1 (Espacio metrizable). Diremos que un espacio topol ogico (X, ) es metrizable
si existe una distancia d denida sobre X, tal que coincide con
d
.
Ejemplo 3.5.2.
(1) La topologa discreta sobre cualquier conjunto X, es metrizable y la distancia asociada es la
distancia discreta o trivial
(2) No todo espacio topol ogico es metrizable. Por ejemplo, si X es un conjunto que contiene
m as de un punto y lo consideramos dotado de la topologa indiscreta (X,
I
), no es un espacio
metrizable, puesto que los unicos cerrados para esta topologa son y X, pero sabemos que en
un espacio m etrico, los conjuntos nitos son cerrados, con lo cual deberan existir m as cerrados.

Sigue teniendo, en el presente curso, un gran inter es estudiar los espacios cuya topologa es metriz-
able, es decir, los espacios m etricos. Vamos a recordar como se concretan en los espacios m etricos,
los conceptos estudiados hasta ahora en el presente captulo.
Base de la topologa.- Tal y como hemos denido los abiertos [2.3.3] en un espacio m etrico
(X, d), el conjunto {B(x, r) : x X, r > 0} de las bolas abiertas es una base de la topologa
d
asociada a la distancia.
Entornos.- Lo mismo ocurre con los entornos, ya los denimos en [2.3.8].
Cerrados.- Tambi en hemos denido y caracterizado los cerrados de un espacio m etrico en el
captulo anterior [2.4.7].
Base de entornos.- Hemos visto en el ejemplo [3.3.6 2)] que para un punto x X, una base de
entornos es el conjunto {B(x, r) : r > 0} de todas las bolas abiertas con centro en dicho punto.
Tambi en hemos visto que en el ejemplo [3.3.6 3)] que el conjunto {B(x,
1
n
) : n N

} es tambi en
una base de entornos.
Tambi en hemos estudiado en el captulo anterior los subespacios m etricos. Veamos que son los
subespacios topol ogicos asociados a la m etrica.
Proposici on 3.5.3. Sea un espacio m etrico (X, d) y sea un subconjunto H X. Entonces la
topologa asociada a la m etrica inducida sobre H coincide con la topologa inducida por la
topologa m etrica en X. Es decir:
d
\
H
=
d
H
32 CAP

ITULO 3. ESPACIOS TOPOL

OGICOS
Demostraci on. Sea A

d
\
H
, entonces existe un A
d
tal que A

= A H. Veamos
que A

d
H
. Para cualquier x A

A existe un r > 0 tal que B

d
(x, r) A, entonces
B
d
(x, r) H A

, pero ya hemos visto que B

d
(x, r) H = B
d
H
(x, r). Por tanto, A

d
H
.
Sea ahora A

d
H
, para cualquier x A

existe un r > 0 tal que B

d
H
(x, r) A

. Como
antes, B
d
H
(x, r) = B
d
(x, r) H. Si tomamos
A =
xA
B
d
(x, r)
tendremos
A

A H = (
xA
B
d
(x, r)) H =
xA
(B
d
(x, r) H) =
xA
B
d
H
(x, r) A

Entonces, A

= A H y por tanto, A

d
\
H
.
Hemos visto que no todo espacio topol ogico es metrizable. Cabe entonces hacerse la siguiente
pregunta: Existen diferencias topol ogicas entre un espacio topol ogico que sea metrizable y otro
que no lo sea? La respuesta es que s, y existe una propiedad fundamental que se verica en los
espacios metrizables, pero que no es cierta, en general, en un espacio topol ogico arbitrario.
Denici on 3.5.4 (Espacio de Hausdorff o T
2
). Diremos un espacio topol ogico (X, ) es un
espacio de Hausdorff o T
2
o separado, si para todo par de puntos x, y X distintos, existen
entornos, U
x
U
x
, y V
y
U
y
, tales que U
x
V
y
= .
Proposici on 3.5.5. Un espacio topol ogico (X, ) es de Hausdorff si, y s olo si para todo par de
puntos distintos x, y X, existen abiertos A, B X, tales que x A, y B y A B = .
Demostraci on. Es consecuencia directa de la denici on anterior y la de entorno.
Ejemplo 3.5.6.
(1) Todo espacio m etrico es de Hausdorff.
(2) No todo espacio topol ogico es T
2
. La recta real, con la topologa conita no es un espacio de
Hausdorff.

Vamos a comparar las topologas m etricas. En realidad estudiaremos cuando dos m etricas sobre
un mismo espacio X generan la misma topologa, que es lo realmente interesante.
Denici on 3.5.7 (M etricas equivalentes). Diremos que dos m etricas d y d

sobre un mismo con-

junto X son equivalentes si dan lugar a la misma topologa, es decir, si
d
=
d
.
Proposici on 3.5.8. Sean d y d

dos distancias denidas sobre un conjunto X. Entonces d y

d

son equivalentes si, y s olo si para todo x X y para todo r > 0 existe > 0 tal que
B
d
(x, ) B
d
(x, r) y existe

> 0 tal que B

d
(x,

) B
d
(x, r)
3.5. ESPACIOS TOPOL

OGICOS METRIZABLES 33
Demostraci on. = Supongamos que d y d

son equivalentes. Dados x X y r > 0, B

d
(x, r)
es un abierto de
d
, y por tanto de
d
; por eso existe > 0 tal que B
d
(x, ) B
d
(x, r).
An alogamente se demuestra la segunda armaci on.
= Recprocamente, si suponemos que se cumplen las dos armaciones veamos que d y d

son
equivalentes. Sea A un abierto de
d
y sea x A. Entonces existe r > 0 tal que B
d
(x, r) A.
Aplicando la segunda propiedad, existir a

> 0 tal que B

d
(x,

) B
d
(x, r), y entonces A es
un entorno de x para
d
y es, por tanto, abierto en esta topologa. De forma an aloga se demuestra
que todo abierto de
d
lo es tambi en de
d
.
Corolario 3.5.9. Dos distancias d y d

sobre un conjunto X son equivalentes si existen constantes

m, M > 0 tales que para todo x, y X
md(x, y) d

(x, y) Md(x, y)
Demostraci on. Sean x X y r > 0. Entonces tomando =
r
M
, se tiene que d(x, y) implica
que d

(x, y) Md(x, y) M = r, con lo que B

d
(x; ) B
d
(x, r). De forma an aloga,
tomando

= mr se tiene que B
d
(x,

) B
d
(x, r).
Ejemplo 3.5.10.
(1) El hecho de que dos m etricas sean equivalentes, signica que tienen los mismos abiertos,
pero no necesariamente las mismas bolas; por ejemplo en R
n
las tres m etricas d
1
, d
2
y d

son
equivalentes (Ejercicio) y sin embargo, como ya hemos visto, no tienen las mismas bolas.
(2) La m etrica eucldea y la m etrica discreta sobre R
2
no son equivalentes.