Capı́tulo 3

Espacios topológicos

3.1 Espacio topológico

Definición 3.1.1. Un espacio topológico es un par (X, τ ), donde X es un conjunto, y τ es una

familia de subconjuntos de X que verifica las siguientes condiciones

(1) X ∈ τ y ∅ ∈ τ .

(2) Dada una familia {Ai ∈ τ, i ∈ I} de elementos de τ , su unión ∪i∈I Ai ∈ τ también está
en τ .

(3) Si A1 , A2 ∈ τ , entonces A1 ∩ A2 ∈ τ (la intersección de dos elementos de la familia τ

también es un elemento de la familia)

Diremos entonces, que la familia τ es una topologı́a sobre X, y a sus elementos les llamaremos
conjuntos abiertos de (X, τ ).

De la condición (2) se deduce, por inducción, que la intersección de una familia finita de conjuntos
abiertos sigue siendo un conjunto abierto en (X, τ ). (Ejercicio)

Ejemplo 3.1.2.
(1) Topologı́a asociada a una métrica. Todo espacio métrico (X, d) tiene asociado un espacio
topológico (X, τd ), donde τd es la familia de los conjuntos abiertos de X para la distancia d tal y
como los hemos definido en [2.3.3]. El teorema [2.3.6] prueba que, efectivamente, estos abiertos
constituyen una topologı́a que llamamos topologı́a τd asociada a la métrica d.

(2) Topologı́a discreta. Sea X un conjunto; consideremos la familia τ = P(X), formada por
todos los subconjuntos de X. Esta familia es una topologı́a en la que cualquier subconjunto de X

23
24 CAPÍTULO 3. ESPACIOS TOPOLÓGICOS

es un abierto y se llama topologı́a discreta, en este caso decimos que (X, P(X)) es un espacio
topológico discreto.

(3) Topologı́a indiscreta. Si consideramos ahora la familia {∅, X} cuyos únicos conjuntos son el
vacı́o y el propio X, también constituye una topologı́a sobre X que llamaremos topologı́a 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 topologı́a sobre X y sin embargo, τ2 falla en la unión y τ3 falla en la intersección, por lo
tanto no lo son.

(5) Topologı́a cofinita. Sea X un conjunto cualquiera y definamos τ como el conjunto vacı́o junto
con aquellos subconjuntos A ⊂ X tales que Ac = X r A es finito. τ es una topologı́a sobre X
que se conoce como la topologı́a cofinita y se representa por τcf . Cuando el conjunto X es finito,
entonces la topologı́a cofinita coincide con la topologı́a discreta. Como este caso no introduce
nada nuevo, siempre que se estudie la topologı́a cofinita será sobre conjuntos infinitos. 

Como hemos visto, sobre un conjunto se puede definir más de una topologı́a. Podemos establecer
una cierta comparación:

Definición 3.1.3 (Topologı́as más finas). Dado un conjunto X, sean τ1 y τ2 dos topologı́as
definidas sobre X. Si todo abierto de τ1 es un abierto de τ2 , es decir, τ1 ⊂ τ2 , diremos que
τ2 es más fina que τ1 o que τ1 es menos fina que τ2 , o bien que τ2 es más débil que τ1 . Dos
topologı́as son equivalentes si tienen los mismos abiertos y dos topologı́as no son comparables si
ninguna es más fina que la otra.

Ejemplo 3.1.4.

(1) La topologı́a indiscreta es menos fina que cualquier otra y la topologı́a discreta es la más fina
posible.

(2) La topologı́a cofinita sobre R2 es menos fina que la topologı́a usual, puesto que si A es abierto
de la topologı́a cofinita, A es complementario de un subconjunto finito de R2 y, como los conjuntos
finitos son cerrados para la topologı́a usual, A también es abierto en R2 para la topologı́a usual. 

Definición 3.1.5 (Base de una topologı́a). Sea (X, τ ) un espacio topológico. Diremos que una
subfamilia B ⊂ τ , es una base de la topologı́a τ si cada abierto A se puede expresar como unión
S
de conjuntos de B, es decir, existe {Bi }i∈I ⊂ B tal que A = i∈I Bi .
3.1. ESPACIO TOPOLÓGICO 25

Proposición 3.1.6. Sea X un conjunto y B ⊂ P(X) una familia de subconjuntos de X. Entonces

B es base de una topologı́a τ sobre X si, y sólo si se cumplen las dos condiciones siguientes:

S
(a) X = B∈B B.

(b) Si B1 , B2 ∈ B, para cada x ∈ B1 ∩ B2 , existe B ∈ B tal que x ∈ B ⊂ B1 ∩ B2 .

Demostración. =⇒ Si suponemos que B es base de una topologı́a τ en X, como X ∈ τ , está

claro que X = ∪B∈B B y se cumple (a). Veamos que se cumple (b); si B1 , B2 ∈ B, es evidente
que B1 , B2 ∈ τ , por tanto B1 ∩ B2 ∈ τ , luego esta intersección será unión de conjuntos de B,
B1 ∩ B2 = ∪i∈I Bi con Bi ∈ B para todo i ∈ I. Si x ∈ B1 ∩ B2 , entonces x ∈ Bj para algún
j ∈ I. Por tanto x ∈ Bj ⊂ B1 ∩ B2 .

⇐= Supongamos ahora que B es una familia de subconjuntos de X que cumple (a) y (b) y
veamos que existe una topologı́a determinada por B. Definimos la familia

τ = {A ⊂ X : A = ∪j∈J Bj , con Bj ∈ B, para todo j ∈ J}.

Hay que comprobar que se trata de una topologı́a. X ∈ τ por (a); ∅ ∈ τ pues ∅ ∈ B.

Si {Ai }i∈I es una familia de conjuntos de τ , tendremos que cada Ai será unión de conjuntos de
B, es decir, Ai = ∪j∈Ji Bij para cada i ∈ I con Bij ∈ B para todo j ∈ Ji ; como la unión es
asociativa, tendremos que
[ [ [ [
Ai = ( Bij ) = Bij
i∈I i∈I j∈Ji i∈I,j∈Ji

lo que implica que la unión de conjuntos de τ es de τ .

Por último veamos que si A1 , A2 ∈ τ entonces A1 ∩ A2 ∈ τ . Tenemos que A1 = ∪i∈I Bi y

A2 = ∪j∈J Bj con Bi , Bj ∈ B para todo i ∈ I, j ∈ J. Para cada x ∈ A1 ∩ A2 , x ∈ ∪i∈I Bi y
x ∈ ∪j∈J Bj , luego existen io ∈ I y jo ∈ J tales que x ∈ Bio ∩ Bjo y por (b), existe Bx ∈ B tal
que x ∈ Bx ⊂ Bio ∩ Bjo ⊂ A1 ∩ A2 y por tanto ∪x∈A1 ∩A2 Bx = A1 ∩ A2 .

Ejemplo 3.1.7.
(1) Los intervalos abiertos (a, b); a, b ∈ R son una base de la topologı́a usual en R.

(2) La familia {B(x, r) : x ∈ X, r > 0} son base de la topologı́a asociada a la distancia en un

espacio métrico (X, d).

(3) Los rectángulos abiertos y de lados paralelos a los ejes, son una base de la topologı́a euclı́dea
en R2 .

(4) Si consideramos (X, τD ) espacio topológico con la topologı́a discreta, la familia B = {{x} :
x ∈ X}, es una base de dicha topologı́a. 
26 CAPÍTULO 3. ESPACIOS TOPOLÓGICOS

3.2 Cerrados

Definición 3.2.1 (Cerrado). Dado un espacio topológico (X, τ ), diremos que un subconjunto
C ⊂ X es cerrado si su complementario C c = X r C es abierto. Representaremos la familia de
todos los cerrados por C
Ejemplo 3.2.2.
(1) En un espacio métrico (X, d), la definición de cerrado para la métrica d coincide con la de
cerrado para la topologı́a τd , asociada a la distancia d.

(2) En un espacio topológico con la topologı́a indiscreta, los únicos cerrados son X y ∅.

(3) En un espacio topológico con la topologı́a discreta, todos los subconjuntos de X son cerrados.

(4) En la topologı́a cofinita, (X, τcf ), un subconjunto C ⊂ X es cerrado si y sólo si C = X, o

bien C es finito. 

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ógico (X, τ ); o la topologı́a discreta del ejemplo anterior, tiene todos sus conjuntos
que son a la vez abiertos y cerrados. También existen, como hemos visto, conjuntos que no son ni
abiertos ni cerrados como cualquier intervalos [a, b) en R con la topologı́a 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étricos ya hemos visto en [2.4.7].
Teorema 3.2.3. Dado un espacio topológico (X, τ ), la familia de los conjuntos cerrados cumple
las siguientes propiedades:

(1) X y ∅ son cerrados.

(2) Si {Ci : i ∈ I} es una familia de cerrados en X, entonces ∩i∈I Ci es un cerrado.

(3) Si {Ci : i = 1, 2, . . . , n} es una familia finita de cerrados, entonces ∪ni=1 Ci es un

cerrado.

Ya hemos visto en el ejemplo [2.4.8(1)] que la unión arbitraria de cerrados no es, en general, un
cerrado.

3.3 Entornos

Otro concepto que ya apareció en los espacios métricos, pero que en realidad es topológico es el
de entorno de un punto.
3.3. ENTORNOS 27

Definición 3.3.1 (Entorno de un punto). Dado un espacio topológico (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 Ux .
Ejemplo 3.3.2.
(1) Si (X, d) es un espacio métrico, todo entorno para la métrica será obviamente un entorno para
la topologı́a asociada a la distancia. El recı́proco también es cierto.

(2) En un espacio topológico trivial el único entorno posible de un punto es el espacio total.

(3) En un espacio topológico discreto U ∈ Ux si y sólo si x ∈ U .

(4) En la topologı́a cofinita, U ∈ Ux si y sólo si x ∈ U y U c = X r U es finito.

Recordemos que, en un espacio métrico los conjuntos abiertos se pueden caracterizar a partir de la
noción de entorno. En el caso general de los espacios topológicos también se pueden caracterizar
los conjuntos abiertos de una manera análoga. 
Proposición 3.3.3. En un espacio topológico (X, τ ), un conjunto A es abierto si, y sólo si A es
entorno de todos sus puntos.

Demostración. =⇒ Si A es abierto, se tiene, obviamente, que x ∈ A ⊂ A, y por tanto A es un

entorno de x, para todo x ∈ A.

⇐= Recı́procamente, si suponemos que A es entorno de todos sus puntos, entonces, para todo
x ∈ A existe un abierto Ux tal que x ∈ Ux ⊂ A. De esta manera se puede escribir A = ∪x∈A Ux ,
que será abierto ya que es unión de abiertos.

Proposición 3.3.4. Dados un espacio topológico (X, τ ) y un punto x ∈ X, la familia de entornos

Ux verifica las siguientes propiedades:

(1) Si U ∈ Ux , entonces x ∈ U .

(2) Si U ∈ Ux y U ⊂ V , entonces también V ∈ Ux .

(3) Si U, V ∈ Ux , entonces U ∩ V ∈ Ux .

(4) Si U ∈ Ux , existe V ∈ Ux tal que x ∈ V ⊂ U y V ∈ Uy para todo y ∈ V .

Demostración. (1)Es evidente. (2) Como U ∈ Ux , entonces existe A abierto de modo que x ∈
A ⊂ U , pero entonces x ∈ A ⊂ V ; por tanto V ∈ Ux .

(3) Si U, V ∈ Ux 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ón de dos abiertos, tendremos
que U ∩ V ∈ Ux .

(4)Como U ∈ Ux , existe un abierto A ∈ τ tal que x ∈ A ⊂ U ; basta tomar A = V

28 CAPÍTULO 3. ESPACIOS TOPOLÓGICOS

La familia de todos los entornos habitualmente es muy grande y, con frecuencia, difı́cil de repre-
sentar. Incluso en el caso de R con la topologı́a usual, los entornos pueden ser muy complicados.
Esto se resuelve trabajando sólo con los intervalos. En el caso de un espacio métrico este papel lo
hacen las bolas y en el caso general introduciremos un concepto que facilitará el trabajo de forma
semejante:

Definición 3.3.5 (Base de entornos). Dado un espacio topológico (X, τ ), un punto x ∈ X, y una
subfamilia Vx ⊂ Ux de la familia de entornos de x; diremos que Vx es una base de entornos de x,
o base local de x, en (X, τ ) si verifica

Si U ∈ Ux es un entorno de x, entonces existe V ∈ V(x) tal que V ⊂ U

Ejemplo 3.3.6.

(1) En R con la topologı́a 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étrico (X, d), la familia de bolas Vx = {B(x, r) : r > 0} es obviamente, una
base de entornos de x, para cada x ∈ X.

(3)En un espacio métrico (X, d), la familia de bolas Vx = {B(x, n1 ) : n ∈ N∗ } es también una
base de entornos de x, para cada x ∈ X, puesto que para cada r > 0 existe n ∈ N∗ tal que n1 < r.

(4) En un espacio topológico trivial o indiscreta, (X, τI ), la única base de entornos posible es la
formada únicamente por el espacio total X.

(5) Si el espacio topológico 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, Vx = {{x}}, es una base de entornos de
x. 

3.4 Subespacios topológicos

Proposición 3.4.1. Sea (X, τ ) un espacio topológico y H ⊂ X entonces la familia τH = {H ∩A :

a ∈ τ } de las intersecciones de los abiertos de (X, τ ) con H es una topologı́a sobre H.

Demostración. Evidentemente H ∈ τH puesto que H = H ∩ X y ∅ = H ∩ ∅, luego ∅ ∈ τH .

Si tenemos una familia {H ∩ Ai : i ∈ I, Ai ∈ τ } de elementos de τH , entonces la unión será

∪i∈I (H ∩ Ai ) = H ∩ (∪i∈I Ai ) y como ∪i∈I Ai ∈ τ por ser abiertos, tendremos que la unión de
elementos de τH también es de τH . Aplicando la misma propiedad en sentido contrario se prueba
que la intersección de dos elementos de τH también es de τH .
3.4. SUBESPACIOS TOPOLÓGICOS 29

Definición 3.4.2 (Subespacio topológico). Si (X, τ ) es un espacio topológico y H ⊂ X, al

espacio topológico (H, τH ) se le llama subespacio topológico de X y a la topologı́a τH se le
llama topologı́a inducida por τ sobre H o topologı́a relativa de H con respecto a (X, τ ). A los
abiertos de τH les llamamos abiertos relativos o abiertos para la topologı́a relativa.

Ejemplo 3.4.3. Los subconjuntos de un espacio métrico con la topologı́a asociada a la distancia
inducida son subespacios topológicos.


Los cerrados en la topologı́a inducida también son intersecciones de cerrados del espacio total con
el subespacio.

Proposición 3.4.4. Sea (X, τ ) un espacio topológico y sea H ⊂ X. Un subconjunto de F ⊂ H,

es un cerrado relativo si, y sólo si existe un cerrado C en el espacio total, de forma que F = C∩H.

Demostración. =⇒ Sea F un cerrado en (H, τH ). Eso significa que su complementario en H

es un abierto relativo, H r F ∈ τH . Por tanto, existe A ∈ τ tal que H r F = A ∩ H. Pero
entonces C = X r A es un cerrado en (X, τ ), y

F = H r (H r F ) = H r (A ∩ H) = H r A = H ∩ (X r A) = H ∩ C

⇐= Recı́procamente, sea F = C ∩ H con C cerrado en el espacio total. Su complementario en

H se puede expresar ası́:

H r F = H r (C ∩ H) = H r C = H ∩ (X r C)

Como X r C ∈ τ , es abierto por ser complementario de un cerrado, H r 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é ser abiertos en el espacio total. Ası́, [0, 1) no es abierto en R con la topologı́a usual; sin
embargo, sı́ es abierto en [0, +∞) con la topologı́a inducida.


Proposición 3.4.6. Sea (X, τ ) un espacio topológico y (H, τH ) un subespacio. Entonces:

(a) Todo subconjunto A ⊂ H abierto en (H, τH ) es abierto en (X, τ ) si, y sólo H es abierto
en (X, τ ).

(b) Todo subconjunto C ⊂ H cerrado en (H, τH ) es cerrado en (X, τ ) si, y sólo H es

cerrado en (X, τ ).
30 CAPÍTULO 3. ESPACIOS TOPOLÓGICOS

Demostración. (a) Si todo abierto en τH lo es en τ , como H es abierto en τH también es abierto

en τ .

Recı́procamente, 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á abierto en el espacio total por ser intersección de abiertos.

(b)(Ejercicio).

Cada una de las dos afirmaciones de la proposición 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 topologı́a usual y el subespacio formado por los racionales Q. Los
abiertos en Q para la topologı́a inducida serán 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) ∈ R2 : xy > 1} que es abierto en (R2 , d2 ) y, por tanto, todo abierto de
(A, d2 ), lo es en R2 , por ejemplo, B = B((0, 0), 2) ∩ A es abierto, sin embargo A r B es un
cerrado en (A, d2 ) pero no lo es en (R2 , d2 ). 

Veamos, para concluir esta sección, como son los entornos y las bases de entornos en la topologı́a
inducida.
Proposición 3.4.8. Sea (X, τ ) un espacio topológico, y sea H ⊂ X. Dado x ∈ H, un subconjunto
V ⊂ H es un entorno relativo de x (V ∈ UxH ) si, y sólo si existe U entorno de x en el espacio
total, (U ∈ Ux ), de forma que V = U ∩ H.

Demostración. =⇒ Sea V un entorno relativo de x: existe B ∈ τH tal que x ∈ B ⊂ V ;

entonces existirá A ∈ τ tal que B = A ∩ H. Sea U = A ∪ V ; evidentemente U ∈ Ux , pues
x ∈ B = A ∩ H, x ∈ A ⊂ A ∪ V . Además:
U ∩ H = (A ∪ V ) ∩ H = (A ∩ H) ∪ (V ∩ H) = B ∪ V = V.

⇐= Recı́procamente sea U ∈ Ux ; tomamos V = U ∩ H; existe A ∈ τ tal que x ∈ A ⊂ U .

Entonces x ∈ A ∩ H ⊂ U ∩ H = V .

Proposición 3.4.9. Sea (X, τ ) un espacio topológico y sea x ∈ H ⊂ X. Si B(x) es una base de
entornos de x en (X, τ ), la familia BH (x) = {B ∩ H : B ∈ B(x)} es una base de entornos para
la topologı́a relativa.

Demostración. Evidentemente BH (x) ⊂ UxH . Sea V ∈ UxH ; entonces V = U ∩ H, con U ∈ Ux .

Entonces existe B ∈ B(x) tal que x ∈ B ⊂ U ; entonces B ∩ H ⊂ U ∩ H = V y B ∩ H ∈
BH (x).
3.5. ESPACIOS TOPOLÓGICOS METRIZABLES 31

3.5 Espacios topológicos metrizables

Ya hemos visto en el ejemplo [3.1.2,1)] que cualquier espacio métrico (X, d) tiene asociada una
topologı́a que llamamos τd , a partir de la definición [2.3.3] y el teorema [2.3.6]. Nos podemos
preguntar si todo espacio topológico procede de una métrica.

Definición 3.5.1 (Espacio metrizable). Diremos que un espacio topológico (X, τ ) es metrizable
si existe una distancia d definida sobre X, tal que τ coincide con τd .

Ejemplo 3.5.2.

(1) La topologı́a discreta sobre cualquier conjunto X, es metrizable y la distancia asociada es la

distancia discreta o trivial

(2) No todo espacio topológico es metrizable. Por ejemplo, si X es un conjunto que contiene
más de un punto y lo consideramos dotado de la topologı́a indiscreta (X, τI ), no es un espacio
metrizable, puesto que los únicos cerrados para esta topologı́a son ∅ y X, pero sabemos que en
un espacio métrico, los conjuntos finitos son cerrados, con lo cual deberı́an existir más cerrados.


Sigue teniendo, en el presente curso, un gran interés estudiar los espacios cuya topologı́a es metriz-
able, es decir, los espacios métricos. Vamos a recordar como se concretan en los espacios métricos,
los conceptos estudiados hasta ahora en el presente capı́tulo.

Base de la topologı́a.- Tal y como hemos definido los abiertos [2.3.3] en un espacio métrico
(X, d), el conjunto {B(x, r) : x ∈ X, r > 0} de las bolas abiertas es una base de la topologı́a τd
asociada a la distancia.

Entornos.- Lo mismo ocurre con los entornos, ya los definimos en [2.3.8].

Cerrados.- También hemos definido y caracterizado los cerrados de un espacio métrico en el

capı́tulo 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én hemos visto que en el ejemplo [3.3.6 3)] que el conjunto {B(x, n1 ) : n ∈ N∗ } es también
una base de entornos.

También hemos estudiado en el capı́tulo anterior los subespacios métricos. Veamos que son los
subespacios topológicos asociados a la métrica.

Proposición 3.5.3. Sea un espacio métrico (X, d) y sea un subconjunto H ⊂ X. Entonces la

topologı́a asociada a la métrica inducida sobre H coincide con la topologı́a inducida por la
topologı́a métrica en X. Es decir: τd \H = τdH
32 CAPÍTULO 3. ESPACIOS TOPOLÓGICOS

Demostración. ⊂ Sea A0 ∈ τd \H , entonces existe un A ∈ τd tal que A0 = A ∩ H. Veamos

que A0 ∈ τdH . Para cualquier x ∈ A0 ⊂ A existe un r > 0 tal que Bd (x, r) ⊂ A, entonces
Bd (x, r) ∩ H ⊂ A0 , pero ya hemos visto que Bd (x, r) ∩ H = BdH (x, r). Por tanto, A0 ∈ τdH .

⊃ Sea ahora A0 ∈ τdH , para cualquier x ∈ A0 existe un r > 0 tal que BdH (x, r) ⊂ A0 . Como
antes, BdH (x, r) = Bd (x, r) ∩ H. Si tomamos

A = ∪x∈A0 Bd (x, r)

tendremos

A0 ⊂ A ∩ H = (∪x∈A0 Bd (x, r)) ∩ H = ∪x∈A0 (Bd (x, r) ∩ H) = ∪x∈A0 BdH (x, r) ⊂ A0

Entonces, A0 = A ∩ H y por tanto, A0 ∈ τd \H .

Hemos visto que no todo espacio topológico es metrizable. Cabe entonces hacerse la siguiente
pregunta: ¿Existen diferencias topológicas entre un espacio topológico que sea metrizable y otro
que no lo sea? La respuesta es que sı́, y existe una propiedad fundamental que se verifica en los
espacios metrizables, pero que no es cierta, en general, en un espacio topológico arbitrario.

Definición 3.5.4 (Espacio de Hausdorff o T2 ). Diremos un espacio topológico (X, τ ) es un

espacio de Hausdorff o T2 o separado, si para todo par de puntos x, y ∈ X distintos, existen
entornos, Ux ∈ Ux , y Vy ∈ Uy , tales que Ux ∩ Vy = ∅.

Proposición 3.5.5. Un espacio topológico (X, τ ) es de Hausdorff si, y sólo 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ón. Es consecuencia directa de la definición anterior y la de entorno.

Ejemplo 3.5.6.
(1) Todo espacio métrico es de Hausdorff.

(2) No todo espacio topológico es T2 . La recta real, con la topologı́a cofinita no es un espacio de
Hausdorff. 

Vamos a comparar las topologı́as métricas. En realidad estudiaremos cuando dos métricas sobre
un mismo espacio X generan la misma topologı́a, que es lo realmente interesante.

Definición 3.5.7 (Métricas equivalentes). Diremos que dos métricas d y d0 sobre un mismo con-
junto X son equivalentes si dan lugar a la misma topologı́a, es decir, si τd = τd0 .

Proposición 3.5.8. Sean d y d0 dos distancias definidas sobre un conjunto X. Entonces d y

d0 son equivalentes si, y sólo si para todo x ∈ X y para todo r > 0 existe δ > 0 tal que
Bd (x, δ) ⊂ Bd0 (x, r) y existe δ 0 > 0 tal que Bd0 (x, δ 0 ) ⊂ Bd (x, r)
3.5. ESPACIOS TOPOLÓGICOS METRIZABLES 33

Demostración. =⇒ Supongamos que d y d0 son equivalentes. Dados x ∈ X y r > 0, Bd0 (x, r)

es un abierto de τd0 , y por tanto de τd ; por eso existe δ > 0 tal que Bd (x, δ) ⊂ Bd0 (x, r).
Análogamente se demuestra la segunda afirmación.

⇐= Recı́procamente, si suponemos que se cumplen las dos afirmaciones veamos que d y d0 son
equivalentes. Sea A un abierto de τd y sea x ∈ A. Entonces existe r > 0 tal que Bd (x, r) ⊂ A.
Aplicando la segunda propiedad, existirá δ 0 > 0 tal que Bd0 (x, δ 0 ) ⊂ Bd (x, r), y entonces A es
un entorno de x para τd0 y es, por tanto, abierto en esta topologı́a. De forma análoga se demuestra
que todo abierto de τd0 lo es también de τd .

Corolario 3.5.9. Dos distancias d y d0 sobre un conjunto X son equivalentes si existen constantes
m, M > 0 tales que para todo x, y ∈ X

md(x, y) ≤ d0 (x, y) ≤ M d(x, y)

r
Demostración. Sean x ∈ X y r > 0. Entonces tomando δ = M , se tiene que d(x, y) ≤ δ implica
0
que d (x, y) ≤ M d(x, y) ≤ M δ = r, con lo que Bd (x; δ) ⊂ Bd0 (x, r). De forma análoga,
tomando δ 0 = mr se tiene que Bd0 (x, δ 0 ) ⊂ Bd (x, r).

Ejemplo 3.5.10.

(1) El hecho de que dos métricas sean equivalentes, significa que tienen los mismos abiertos,
pero no necesariamente las mismas bolas; por ejemplo en Rn las tres métricas d1 , d2 y d∞ son
equivalentes (Ejercicio) y sin embargo, como ya hemos visto, no tienen las mismas bolas.

(2) La métrica euclı́dea y la métrica discreta sobre R2 no son equivalentes.