Capı́tulo 1

Espacios Topológicos

Desde un punto de vista intuitivo, la Topologı́a es la rama de las matemáticas que

estudia las propiedades de los objetos que se preservan cuando estos se deforman sin
“cortar” ni “pegar” (o, si se “corta”, luego se debe “pegar” por el mismo sitio). Por
ejemplo, la superficie de una bola de billar es topológicamente equivalente a la de un
huevo o a la de un lingote de oro, aunque no lo es a la de un dónut, puesto que este
último tiene un “agujero”. El objetivo del presente capı́tulo es introducir el concepto
de espacio topológico, ası́ como algunas nociones elementales relacionadas.

1.1. Espacios Métricos

Comenzamos estableciendo la definición de espacio métrico, que, como veremos
más adelante, nos permitirá abstraer las propiedades que desembocarán en la noción
de espacio topológico.

Definición 1.1.1 Una métrica (o distancia) en un conjunto X es una función d :

X × X → R que verifica las siguientes propiedades:

(1) d(x, y) ≥ 0 para todo x, y ∈ X; además, d(x, y) = 0 si y sólo si x = y.

(2) (Simetrı́a.) d(x, y) = d(y, x) para todo x, y ∈ X.

(3) (Desigualdad Triangular.) d(x, z) ≤ d(x, y) + d(y, z) para todo x, y, z ∈ X.

Dados x, y ∈ X, al número real d(x, y) se le llama distancia de x a y, y al par (X, d)

espacio métrico.

1
1.1. ESPACIOS MÉTRICOS

Ejemplos 1.1.2 (1) Todo espacio vectorial euclı́deo (V, h·, ·i) se puede dotar de es-
tructura de espacio métrico sin más que definir d(x, y) := ky − xk. En particular,
si tomamos (Rn , h·, ·i0 ), se tiene
p
d0 (x, y) := ky − xk0 = (y1 − x1 )2 + · · · + (yn − xn )2 .

(2) El par (X, d) con d(x, y) = 1 si x 6= y, d(x, y) = 0 si x = y, es un espacio métrico.

(3) Si (X, d) es un espacio métrico entonces el par (X, d) con d(x, y) := min{d(x, y), 1}
es también un espacio métrico.

Ejercicio. Prueba que d es efectivamente una distancia de acuerdo con la defn.

1.1.1.
Definición 1.1.3 Sea (X, d) un espacio métrico. Dado r > 0 y x ∈ X, llamamos bola
(abierta) de centro x y radio r al conjunto
Br (x) := {y ∈ X : d(x, y) < r} ⊂ X.

Ejercicio. Comprueba que la forma de las bolas de centro el origen y radio unidad
asociadas a las siguientes métricas de R2 ,
p
d0 (x, y) = (y1 − x1 )2 + (y2 − x2 )2 , d1 (x, y) = max{|y1 − x1 |, |y2 − x2 |}

d2 (x, y) = |y1 − x1 | + |y2 − x2 |,

se corresponde con un cı́rculo, un cuadrado y un rombo, respectivamente.
A partir de la noción de distancia puede definirse la noción de abierto métrico:
Definición 1.1.4 Un subconjunto A de un espacio métrico (X, d) es un abierto métri-
co (para d) si para cada x ∈ A existe un r(x) > 0 tal que Br(x) (x) ⊂ A.
Ejemplos 1.1.5 (1) Una bola (abierta) de un espacio métrico (X, d) es un abierto
métrico.
(2) En (R2 , d0 ) el conjunto A = {(x, y) ∈ R2 : x + y < 0} es un abierto métrico, pero
no lo es el conjunto C = {(x, y) ∈ R2 : x + y ≤ 0}.
Propiedades de los abiertos métricos:
(1) ∅ y X son abiertos métricos.
(2) La unión arbitraria de abiertos métricos es un abierto métrico.
(3) Si U y V son abiertos métricos entonces U ∩V también lo es (o, equivalentemente,
la intersección finita de abiertos métricos es un abierto métrico).

2
 CAPÍTULO 1. ESPACIOS TOPOLÓGICOS

1.2. Espacios Topológicos

En muchas ocasiones distancias distintas definidas sobre un mismo conjunto definen
los mismos abiertos métricos. Esto sugiere la introducción del concepto de espacio to-
pológico mediante la abstracción de las propiedades que verifican los abiertos métricos.
Definiciones 1.2.1 Dado un conjunto X diremos que una familia τ de subconjuntos
de X es una topologı́a si verifica:
(i) ∅, X ∈ τ .

(ii) La unión arbitraria de elementos de τ pertenece a τ .

(iii) Si U, V ∈ τ entonces U ∩ V ∈ τ (o, equivalentemente, la intersección finita de

elementos de τ pertenece a τ ).
Al par (X, τ ) lo llamaremos espacio topológico. A cada elemento de la topologı́a τ lo
llamaremos abierto.

Ejemplos 1.2.2 (1) Dado un conjunto X definimos la topologı́a trivial (o grosera)

de X como τ = {X, ∅}.

(2) Dado un conjunto X definimos la topologı́a discreta de X como τ = P(X) (esto

es, la colección de todos los subconjuntos de X).

(3) Cada métrica d sobre un conjunto X lleva asociada, de modo natural, una topo-
logı́a τd formada por los abiertos métricos para d.
Pero no todo espacio topológico proviene de una métrica. Un espacio topológico
se llama metrizable cuando su topologı́a es la topologı́a métrica para una cierta
distancia (en general, no única).

(4) Dado X = Rn definimos la topologı́a usual de Rn como la topologı́a τ0 asociada

a la métrica usual d0 de Rn (recuérdese el Ejemplo 1.1.2 (1)).

(5) Se define la topologı́a de los complementos finitos sobre X como aquella formada
por el conjunto vacı́o y los subconjuntos A ⊂ X tales que Ac = X \ A es finito.

(6) Sea {τi }i∈I una familia de topologı́as en un mismo conjunto X. Entonces la in-
tersección de todas ellas τ := ∩i∈I τi también es una topologı́a en X.

Ejercicio. Comprueba que la unión de una familia de topologı́as en un conjunto

X puede no ser una topologı́a en X.

3
1.3. BASE Y SUBBASE DE UNA TOPOLOGÍA

La relación de inclusión ⊂ define una relación de orden entre las topologı́as de un

conjunto X dado.

Definición 1.2.3 Diremos que τ ′ es más fina que τ si τ ⊂ τ ′ , es decir, si todo abierto
de τ lo es también de τ ′ . Análogamente, diremos que τ ′ es menos fina que τ si τ ′ ⊂ τ ,
es decir, si todo abierto de τ ′ lo es también de τ .

Observaciones 1.2.4 Obsérvese que, por definición, se tiene que:

(1) La topologı́a discreta es la más fina de todas.

(2) La topologı́a grosera es la menos fina de todas.

1.3. Base y Subbase de una Topologı́a

A raı́z de las propiedades (ii) y (iii) de la definición de topologı́a (Defn. 1.2.1),
resulta natural plantearse cuándo una colección de abiertos de una topologı́a permite
generar los abiertos restantes de la topologı́a a partir de uniones e intersecciones finitas
de abiertos de la colección. Esta cuestión da pie a los conceptos de base y subbase de
una topologı́a, que, como veremos, permiten describir la topologı́a de una forma más
cómoda.

Definición 1.3.1 Sea X un conjunto arbitrario. Llamaremos base (de una topologı́a)
de X a toda familia B de subconjuntos de X que cumpla:

(1) La unión de todos los elementos de B es X.

(2) Si x ∈ X se encuentra en la intersección de dos elementos B1 , B2 ∈ B entonces

existe B3 ∈ B tal que x ∈ B3 ⊂ B1 ∩ B2 .

Ejemplo 1.3.2 En un espacio métrico (X, d) las bolas (abiertas) forman una base. En
efecto:

(1) X = ∪x∈X ∪r>0 Br (x).

(2) Supongamos que x ∈ Br1 (x1 ) ∩ Br2 (x2 ). Como estas bolas son abiertos métricos
para d (recuérdese el Ejemplo 1.1.5 (1)), también lo es la intersección Br1 (x1 ) ∩
Br2 (x2 ). Luego existe r > 0 tal que x ∈ Br (x) ⊂ Br1 (x1 ) ∩ Br2 (x2 ).

Nótese que también forman una base de (X, d) las bolas de radio racional o las de radio
1/k, k ∈ N \ {0}.

4
 CAPÍTULO 1. ESPACIOS TOPOLÓGICOS

Definición 1.3.3 Llamaremos topologı́a asociada a una base B de un conjunto X a

aquella topologı́a τ cuyos abiertos son los subconjuntos de X que se pueden expresar
como uniones de elementos de B. En este caso también se dice que B es base de τ o
que τ está generada por B.

Ejercicio. Prueba que la familia resultante de la definición anterior verifica los

axiomas de una topologı́a.

Observaciones 1.3.4 (1) Los elementos de B son abiertos de la topologı́a asociada

a B.
(2) Si (X, τ ) es un espacio topológico entonces τ es una base cuya topologı́a asociada
coincide con τ .
Como acabamos de ver, toda topologı́a es base de sı́ misma. Sin embargo, lo interesante
es encontrar bases “de menor tamaño” que la topologı́a. El siguiente resultado permite
determinar si una familia C de abiertos de un espacio topológico (X, τ ) es base de la
topologı́a τ .
Proposición 1.3.5 Sea (X, τ ) un espacio topológico y C una familia de abiertos de
X. Si para cada abierto A de (X, τ ) y cada x ∈ A existe un elemento C ∈ C tal que
x ∈ C ⊂ A, entonces C es una base de τ .
Demostración. En primer lugar, veamos que C es una base. Como X es abierto de τ ,
para cada x ∈ X existe Cx ∈ C tal que x ∈ Cx ⊂ X. Luego X = ∪x∈X Cx . Supongamos
ahora que x ∈ C1 ∩ C2 , C1 , C2 ∈ C. Como C1 ∩ C2 es abierto de τ , existe C ∈ C tal que
x ∈ C ⊂ C1 ∩ C2 .
Probemos a continuación que la topologı́a τC asociada a C coincide con τ . Como
C ⊂ τ , necesariamente τC ⊂ τ . Por otra parte, si A ∈ τ entonces existe Cx ∈ C tal
que x ∈ Cx ⊂ A para todo x ∈ A. Luego A = ∪x∈A Cx , lo que implica que A ∈ τC . En
definitiva τ ⊂ τC . ✷
Proposición 1.3.6 Sean B, B ′ dos bases de dos topologı́as τ , τ ′ , respectivamente, sobre
X. Entonces son equivalentes:
(1) τ ′ es más fina que τ .
(2) Para todo B ∈ B y para cada x ∈ B, existe B ′ ∈ B ′ tal que x ∈ B ′ ⊂ B.
Demostración. (1)⇒(2). Sea x ∈ B ∈ B. En particular, B es abierto de τ . Por hipótesis,
B también es abierto de τ ′ . Luego B = ∪j∈J Bj′ con Bj′ ∈ B ′ . Basta tomar entonces
B ′ = Bj′ 0 siendo j0 ∈ J tal que x ∈ Bj′ 0 .
(2)⇒(1). Por (2), si B ∈ B entonces B se expresa como unión de elementos de B ′ .
Luego B ⊂ τ ′ . En consecuencia, las uniones de elementos de B también son abiertos de
τ ′ . En conclusión, τ ′ es más fina que τ . ✷

5
1.4. SUBESPACIO TOPOLÓGICO

Ejemplo 1.3.7 Veamos que las métricas d0 , d1 , d2 introducidas en la Sección 1.1 indu-
cen la misma topologı́a sobre R2 . Para ello, basta recordar el aspecto de las correspon-
dientes bolas. Las bolas de d0 , d1 , d2 son discos, cuadrados y rombos, respectivamente.
Ahora bien, dada una figura arbitraria de uno de estos tipos y un punto contenido
en ella, siempre es posible encontrar una figura de cualquiera de los otros tipos que
contenga a dicho punto y esté contenida en la anterior. Por la Proposición 1.3.6 esto
implica que las topologı́as asociadas a las tres métricas se contienen mutuamente, es
decir, coinciden, y, por tanto, se corresponden con la topologı́a usual de R2 .

Definición 1.3.8 Sea X un conjunto arbitrario. Una familia S de subconjuntos de X

es subbase (de una topologı́a) de X si la unión de sus elementos es igual a X.

La siguiente proposición establece la relación entre este concepto y la noción de base.

Proposición 1.3.9 Si S es una subbase de X, la familia BS formada por las intersec-
ciones finitas de elementos de S es una base de X.
Demostración. Probemos que la familia BS verifica las condiciones (1), (2) de la defini-
ción de base (Defn. 1.3.1). Para la prueba de (1) basta recordar que la unión de todos
los elementos de S, que coincide con la unión de todos los elementos de BS , es X. Para
la prueba de (2), sea x ∈ B1 ∩ B2 con B1 , B2 ∈ BS . En particular,

B1 = ∩ni=1
1
A1i , B2 = ∩nj=1
2
A2j , con A1i , A2j ∈ S ∀i, j.

Tomemos
B3 = B1 ∩ B2 = (∩ni=1
1
A1i ) ∩ (∩nj=1
2
A2j ),
que pertenece a BS por ser intersección finita de elementos de S. Es inmediato entonces
que x ∈ B3 ⊂ B1 ∩ B2 . ✷

Definición 1.3.10 Llamamos topologı́a inducida por la subbase S a la topologı́a aso-

ciada a la base BS . En este caso también se dice que S es subbase de τ o que τ está
generada por S.

1.4. Subespacio Topológico

Los subconjuntos de un espacio topológico heredan una topologı́a natural de la del
espacio total, que preserva varias de sus propiedades. En esta sección vamos a definir
esa topologı́a, y estudiar alguna de sus propiedades.
Sea (X, τ ) un espacio topológico e Y un subconjunto de X. Consideremos la si-
guiente familia de subconjuntos de Y :

τY := {Y ∩ A : A ∈ τ }.

6
 CAPÍTULO 1. ESPACIOS TOPOLÓGICOS

Proposición 1.4.1 La familia τY es una topologı́a en Y .

Demostración. Veamos que verifica las tres condiciones de una topologı́a.
(i) ∅ = Y ∩ ∅ ∈ τY ya que ∅ ∈ τ ; Y = Y ∩ X ∈ τY ya que X ∈ τ.
(ii) ∪i∈I (Y ∩ Ai ) = Y ∩ (∪i∈I Ai ) ∈ τY ya que ∪i∈I Ai ∈ τ .
(iii) ∩ni=1 (Y ∩ Ai ) = Y ∩ (∩ni=1 Ai ) ∈ τY ya que ∩ni=1 Ai ∈ τ . ✷
Definición 1.4.2 Llamamos subespacio topológico de un espacio topológico (X, τ ) a
todo subconjunto Y de X dotado de la topologı́a τY .
Vamos a comenzar el estudio de esta topologı́a comprobando que si el espacio
topológico (X, τ ) admite una base, entonces (Y, τY ) también.
Proposición 1.4.3 Sea (Y, τY ) un subespacio topológico de (X, τ ). Si B es base de la
topologı́a τ entonces
BY := {B ∩ Y : B ∈ B}
es base de la topologı́a τY .
Demostración. Basta aplicar la Proposición 1.3.5. Observemos en primer lugar que los
elementos de BY son abiertos de la topologı́a τY , ya que son intersección de Y con
elementos de B, que son abiertos de X. Sea A ∩ Y un abierto arbitrario de τY , y
consideremos x ∈ A ∩ Y . Como A es abierto de τ , se expresa como unión de abiertos
de la base B, digamos A = ∪i∈I Bi , Bi ∈ B. Luego:
A ∩ Y = (∪i∈I Bi ) ∩ Y = ∪i∈I (Bi ∩ Y ).
Sea i0 ∈ I tal que x ∈ Bi0 ∩ Y . Entonces se tiene x ∈ Bi0 ∩ Y ⊂ A ∩ Y . ✷
Veamos a continuación que si (X, τ ) es un espacio topológico metrizable, entonces
(Y, τY ) también lo es.
Proposición 1.4.4 Sea (X, τ ) un espacio topológico e Y un subconjunto de X. Si τ
es la topologı́a métrica asociada a una distancia d en X entonces τY es la topologı́a
métrica τ ′ asociada a la distancia d′ restricción de d sobre Y .
Demostración. En primer lugar, observemos que las familias
′
BY = {Brd (x) ∩ Y : x ∈ X, r > 0}, B ′ = {Brd (y) : y ∈ Y, r > 0}
son bases de las topologı́as τY y τ ′ , respectivamente. Si x = y entonces
′
Brd (x) ∩ Y = {z ∈ Y : d(z, x) < r} = {z ∈ Y : d′ (z, y) < r} = Brd (y).
Luego B ′ ⊂ BY , y, por tanto, τ ′ ⊂ τY . Para la otra inclusión, basta probar
Brd (x) ∩ Y = ∪i∈I Bi′ , siendo Bi′ ∈ B ′ .
′
Para cada y ∈ Brd (x) ∩ Y , se tiene Brdy (y) ⊂ Brd (x) ∩ Y , siendo ry := r − d(x, y). Por
′
tanto, Brd (x) ∩ Y = ∪y∈Brd (x)∩Y Brdy (y), tal y como querı́amos probar. ✷

7
1.5. CONJUNTOS CERRADOS

1.5. Conjuntos Cerrados. Puntos de Adherencia y

Acumulación
En esta sección vamos a estudiar los complementarios de los conjuntos abiertos, que
denominaremos cerrados. Estos conjuntos proporcionan una descripción alternativa,
aunque equivalente, de la topologı́a, que resulta más natural en ciertas situaciones.
De ahora en adelante omitiremos frecuentemente la topologı́a al referirnos a un espacio
topológico (X, τ ), escribiendo simplemente X cuando no haya posibilidad de confusión.

Definición 1.5.1 Un subconjunto C de un espacio topológico X se dice cerrado si su

complementario X \ C es abierto.

Ejemplos 1.5.2 (1) Consideremos R con la topologı́a usual, es decir, la inducida por
d0 . El intervalo [a, b] es cerrado, pues su complementario R \ [a, b] = (−∞, a) ∪
(b, ∞) es abierto. Sin embargo, el conjunto [a, b) no es cerrado ni abierto.

(2) Consideremos R2 con la topologı́a usual. El conjunto

C1 = {(x, y) ∈ R2 : x ≥ 0, y ≥ 0}

es cerrado puesto que su complementario

X − C1 = {(x, y) ∈ R2 : x < 0} ∪ {(x, y) ∈ R2 : y < 0}

es unión de dos abiertos, y, por tanto, abierto. También son cerrados los conjuntos

C2 = {(x, y) ∈ R2 : x2 + y 2 ≤ 1}, C3 = {(x, y) ∈ R2 : x2 + y 2 = 1}.

Observación 1.5.3 Lo más frecuente es que un conjunto dado no sea ni cerrado ni

abierto. En cualquier caso, existen ejemplos de todas las combinaciones posibles: abierto
y no cerrado, cerrado y no abierto, ni abierto ni cerrado, abierto y cerrado.

Teorema 1.5.4 Sea X un espacio topológico. Entonces:

(i) X, ∅ son cerrados.

(ii) La intersección arbitraria de cerrados es un cerrado.

(iii) La unión finita de cerrados es un cerrado.

8
 CAPÍTULO 1. ESPACIOS TOPOLÓGICOS

Demostración. (i) X c = X \ X = ∅ es abierto, luego X es cerrado. Análogamente,

∅c = X es abierto, luego ∅ es cerrado.
(ii) Sea {Ci }i∈I una familia arbitraria de cerrados en X. Entonces (∩i∈I Ci )c =
∪i∈I Cic , que es abierto por ser unión arbitraria de abiertos. Luego ∩i∈I Ci es cerrado.
(iii) Sea {Ci }ni=1 una familia finita de cerrados en X. Entonces (∪ni=1 Ci )c = ∩ni=1 Cic ,
que es abierto por ser intersección finita de abiertos. Luego ∪ni=1 Ci es cerrado. ✷

Observación 1.5.5 Obsérvese que las propiedades (i), (ii) y (iii) son las versiones
“cerradas” de las correspondientes en la definición de topologı́a (Defn. 1.2.1). De hecho,
es posible introducir el concepto de topologı́a de manera equivalente, pero usando
cerrados en vez de abiertos, y las propiedades probadas en el teorema anterior.

Teorema 1.5.6 Sea Y un subespacio de un espacio topológico X. Entonces:

(1) Un subconjunto Z de Y es un cerrado de Y si y sólo si es la intersección de Y

con un cerrado C de X.

(2) Si Y es un cerrado de X entonces Z ⊂ Y es un cerrado de Y si y sólo si Z es

un cerrado de X.

(3) Si Y es un abierto de X entonces Z ⊂ Y es un abierto de Y si y sólo si Z es un

abierto de X.

Demostración. (1) Para la implicación a la derecha, supongamos que Z es un cerrado

de Y . Entonces Y \ Z = Y ∩ A con A abierto de X. En particular, Z = Y ∩ (X \ A) con
X \ A cerrado de X. Para la implicación a la izquierda, supongamos que Z = Y ∩ C
con C cerrado de X. Entonces Y \ Z = Y ∩ (X \ C), con X \ C abierto de X. Luego
Z es un abierto de Y .
(2) Supongamos que Y es un cerrado de X. Para la implicación a la derecha su-
pongamos que Z es un cerrado de Y . Por (1), Z = C ∩ Y para algún cerrado C de X.
Luego Z es cerrado en X por ser intersección de dos cerrados en X. Para la implicación
a la izquierda, supongamos que Z ⊂ Y es un cerrado de X. Por (1), Z = Z ∩ Y es un
cerrado de Y .
(3) Análogo a (2) intercambiando las palabras “cerrado” y “abierto”. ✷

Como ya comentamos anteriormente, un conjunto arbitrario de un espacio topológi-

co puede no ser cerrado o abierto. Sin embargo, podemos plantearnos cuál es el con-
junto cerrado o abierto que “mejor lo aproxima”. Vamos a estudiar a continuación esta
cuestión, lo que, adicionalmente, nos permitirá obtener nuevas caracterizaciones para
estos conjuntos. Para ello, vamos a introducir previamente una serie de nociones que
usaremos frecuentemente a lo largo de este texto.

9
1.5. CONJUNTOS CERRADOS

X A

Z Y

Figura 1.1: Representación gráfica de los distintos elementos necesarios para la demos-
tración del Teorema 1.5.6.

Definición 1.5.7 Sea X un espacio topológico. Se dice que un subconjunto U ⊂ X es

un entorno de un punto x ∈ X si U contiene a algún abierto A que contiene a x.
Obsérvese que para todo punto x contenido en un abierto A de X se tiene que A es
entorno de x.
Definiciones 1.5.8 Consideremos un punto x en un espacio topológico X, y un sub-
conjunto D ⊂ X.
(1) Se dice que x es un punto de adherencia de D si todo entorno U de x corta a D,
es decir, U ∩ D 6= ∅.
(2) Se dice que x es un punto de acumulación de D si todo entorno U de x corta a
D en un punto distinto de x, es decir, (U \ {x}) ∩ D 6= ∅.

Observación 1.5.9 En las Definiciones 1.5.8, y a lo largo de todo el capı́tulo, los

términos “entorno de un punto” y “abierto que contiene al punto” son reemplazables,
de modo que las definiciones y resultados correspondientes permanecen inalterados.
Para convencerse de ello, basta tener en cuenta que todo entorno de x contiene a un
abierto que contiene a x, y que todo abierto es entorno de cualquiera de sus puntos.

Ejemplo 1.5.10 En X = R con la topologı́a usual consideremos D = (0, ∞). Se tiene

que x = 0 (y, de hecho, cualquier x ≥ 0) es punto de adherencia y de acumulación de
D. Sin embargo, x = −1 (y, de hecho, cualquier x < 0) no es punto de adherencia ni
de acumulación de D.

10
 CAPÍTULO 1. ESPACIOS TOPOLÓGICOS

Ejercicio. Da un espacio topológico X, un subconjunto D ⊂ X y un punto x ∈ X

que sea de adherencia pero no de acumulación de D.

Definiciones 1.5.11 Sea X un espacio topológico y D un subconjunto suyo.

(1) Se define el interior de D, denotado por Int(D), como la unión de todos los
abiertos contenidos en D.

(2) Se define el cierre (o clausura) de D, denotado por D, como la intersección de

todos los cerrados que contienen a D.

Con estas definiciones se tienen trivialmente las siguientes inclusiones:

Int(D) ⊂ D ⊂ D. (1.1)

También resulta inmediato que Int(D) es el mayor abierto contenido en D (esto es,
Int(D) contiene a cualquier otro abierto contenido en D), y D es el menor cerrado que
contiene a D (esto es, D está contenido en cualquier otro cerrado que contenga a D).

Proposición 1.5.12 Se verifican las siguientes equivalencias:

(i) D es abierto si y sólo si D = Int(D).

(ii) D es cerrado si y sólo si D = D.

Demostración. (i) Para la implicación a la derecha, supongamos que D es abierto. Por

la observación anterior, D ⊂ Int(D). Pero, por (1.1), Int(D) ⊂ D. Luego, D = Int(D).
Para la implicación a la derecha, supongamos D = Int(D). Como Int(D) es abierto,
también lo es D.
(ii) Para la implicación a la derecha, supongamos que D es cerrado. Por la obser-
vación anterior, D ⊂ D. Pero, por (1.1), D ⊂ D. Luego, D = D. Para la implicación a
la derecha, supongamos D = D. Como D es cerrado, también lo es D. ✷

Definición 1.5.13 Sea X un espacio topológico y D un subconjunto suyo. Se dice que

x ∈ X es punto interior de D si existe un abierto A de X tal que x ∈ A ⊂ D (en
particular, x ∈ D).

11
1.5. CONJUNTOS CERRADOS

ρ
γ

x0

Figura 1.2: El conjunto A está formado por tres subconjuntos de R2 , siendo estos el
punto x0 , la curva γ (con un extremo incluido y el otro no) y la región interior de la
curva ρ junto con parte de esta curva.

Ejercicio. Clasifica los puntos del subconjunto A ⊂ R2 de la Figura 1.2.

El siguiente resultado establece algunas relaciones entre los conceptos introducidos

anteriormente, y presenta otras propiedades interesantes sobre el interior y la clausura
de subconjuntos:

Teorema 1.5.14 Sea D un subconjunto de un espacio topológico X. Se tiene:

(1) Int(D) coincide con el conjunto de los puntos interiores de D.

(2) D coincide con el conjunto de los puntos de adherencia de D.

(3) Si D′ designa el conjunto de los puntos de acumulación de D entonces D =

D ∪ D′ .

(4) Int(D) = X \ (X \ D), D = X \ Int(X \ D).

Y
(5) Si Y ⊂ X contiene a D entonces D = D ∩ Y .

Demostración. (1) Si x ∈ Int(D) entonces tomando A = Int(D) se tiene x ∈ A ⊂ D,

siendo A abierto. Luego x es punto interior de D. Por otra parte, si x es punto interior
de D existe un abierto Ax tal que x ∈ Ax ⊂ D. Luego, por definición de Int(D),
necesariamente Ax ⊂ Int(D), y, por tanto, x ∈ Int(D).
(2) Supongamos que x no es adherente a D. Entonces existe un abierto A tal que
x ∈ A pero A ∩ D = ∅. Esto es, x 6∈ X \ A pero D ⊂ X \ A, y, por tanto, x 6∈ D.
Supongamos ahora que x es adherente a D. Sea C un cerrado arbitrario que contiene
a D. Entonces X \ C es abierto que no corta a D. Luego x 6∈ X \ C, es decir, x ∈ C.
Como C es arbitrario, necesariamente x ∈ D.

12
 CAPÍTULO 1. ESPACIOS TOPOLÓGICOS

(3) Se deduce de que si x 6∈ D, pero x es adherente a D, entonces x es de acumulación

de D.
(4) Como X \ (X \ D) y X \ Int(X \ D) son respectivamente abierto y cerrado de
X tales que X \ (X \ D) ⊂ D ⊂ X \ Int(X \ D) deducimos que:

X \ (X \ D) ⊂ Int(D), D ⊂ X \ Int(X \ D). (1.2)

Por otro lado, si en las inclusiones anteriores sustituimos el conjunto D por X \ D

obtenemos:
X \ D ⊂ Int(X \ D), X \ D ⊂ X \ Int(D).
De donde, tomando complementarios, deducimos que:

X \ Int(X \ D) ⊂ D, Int(D) ⊂ X \ (X \ D). (1.3)

Combinando ahora las inclusiones en (1.2) y (1.3) obtenemos las igualdades que buscába-
mos.
(5) Sea {Ci }i∈I la colección formada por todos los cerrados de X que contienen a
D. Por (2), {Ci ∩ Y }i∈I es la familia de todos los cerrados de Y que contienen a D.
Luego:
Y
D = ∩i∈I (Ci ∩ Y ) = (∩i∈I Ci ) ∩ Y = D ∩ Y. ✷

Observación 1.5.15 De (3) se sigue que un subconjunto D ⊂ X es cerrado si y sólo

si contiene a todos sus puntos de acumulación.

Definición 1.5.16 Se define la frontera de un subconjunto D de un espacio topológico

X como:
F r(D) := D \ Int(D).

Proposición 1.5.17 x ∈ Fr(D) si y sólo si en cada entorno de x hay puntos de D y

de X \ D.

Demostración. Basta observar lo siguiente:

F r(D) := D\Int(D) = (X \ Int(X \ D))\Int(D) = X\(Int(D)∪Int(X\D)) = D∩X \ D.

✷
Ejercicio. Clasifica los puntos de:

1. A = [0, 1) ∪ {7} ∪ ((−3, 0) \ (−2, −1)) ⊂ R.

2. Clasifica los puntos de un subconjunto arbitrario A ⊂ X con cardinal mayor

que 1 cuando X se considera dotado con: (i) la topologı́a discreta; (ii) la

13
1.5. CONJUNTOS CERRADOS

topologı́a trivial.
Definición 1.5.18 Se dice que un subconjuto D de un espacio topológico X es denso
si su clausura coincide con X.
Es decir, los subconjuntos densos son aquellos que intersecan a cualquier abierto del
espacio topológico.
Ejemplo 1.5.19 El conjunto de los números racionales Q es denso en R con la topo-
logı́a usual, pero no lo es si consideramos la topologı́a discreta.
A continuación vamos a introducir el concepto de espacio topológico Hausdorff,
una noción que formaliza la idea de que podamos “separar” dos puntos arbitrarios del
espacio topológico mediante abiertos suyos. Este tipo de propiedades reciben el nombre
de axiomas de separación, y serán estudiados con más detalle en el Capı́tulo 5.
Definición 1.5.20 Se dice que un espacio topológico X es Hausdorff (o T2 ) si para
cada par de puntos distintos x, y ∈ X existen entornos U de x y V de y tales que
U ∩ V = ∅.
Ejemplo 1.5.21 Todo espacio métrico (X, d) es Hausdorff. En efecto, sean x, y dos
puntos distintos de X. Sea a = d(x, y)(> 0). Consideremos los abiertos U = Ba/2 (x),
V = Ba/2 (y). Claramente, x ∈ U , y ∈ V . Además, U ∩ V = ∅, ya que en caso contrario
existirı́a algún z ∈ Ba/2 (x) ∩ Ba/2 (y)), que implicarı́a la contradicción
a a
d(x, y) ≤ d(x, z) + d(z, y) < + = a.
2 2

Ejercicio: Prueba que si X es T2 entonces todos sus subespacios también lo son.

Proposición 1.5.22 En un espacio topológico X Hausdorff los conjuntos formados
por un único punto son cerrados.
Demostración. Sea x ∈ X arbitrario. Debemos probar que X \ {x} es abierto. Como
X es Hausdorff, para cada y 6= x existen abiertos Uy , Vy tales que x ∈ Uy , y ∈ Vy y
Uy ∩ Vy = ∅. Definamos V := ∪y6=x Vy , que es un abierto de X por ser unión de abiertos.
Es claro que X \ {x} = V , lo que concluye la prueba. ✷
El recı́proco de la Proposición 1.5.22 no es cierto. De hecho, existen espacios to-
pológicos no Hausdorff tales que todos sus puntos son cerrados. En efecto, consideremos
X = R (o cualquier conjunto X con infinitos elementos) dotado de la topologı́a de los
complementos finitos (Ejemplo 1.2.2 (5)). Obviamente, {x} es cerrado para todo x ∈ R,
ya que R \ {x} es abierto. Sin embargo, X no es Hausdorff, ya que si A, B son abiertos
de X tales que A ∩ B = ∅ entonces (X \ A) ∪ (X \ B) = X \ (A ∩ B) = X \ ∅ = R, en
contradicción con la finitud de X \ A, X \ B. Una propiedad más débil que la de ser
Hausdorff es, por tanto, la siguiente:

14
 CAPÍTULO 1. ESPACIOS TOPOLÓGICOS

Definición 1.5.23 Se dice que un espacio topológico X es T1 si todos sus puntos son
cerrados.
Esta propiedad admite la siguiente caracterización:
Proposición 1.5.24 Un espacio topológico X es T1 si y sólo si para cualesquiera dos
puntos distintos x, y ∈ X existe un abierto U que contiene a x pero no contiene a y, y
un abierto V que contiene a y pero no contiene a x.
Demostración. Para la implicación a la derecha, supongamos que X es T1 y considere-
mos dos puntos distintos x, y ∈ X. Definamos V = {x}c , U = {y}c , que son abiertos
por ser complementarios de puntos en un espacio T1 . Claramente x ∈ U , y 6∈ U , y ∈ V ,
x 6∈ V .
Para la implicación a la izquierda, supongamos que X verifica la propiedad del
enunciado y consideremos un punto arbitrario x ∈ X. Por hipótesis, para cada y ∈ X,
y 6= x, existe un abierto Vy que no contiene a x. Definamos el abierto V = ∪y6=x Vy .
Entonces X \ V = {x} es un cerrado. ✷

1.6. Aplicaciones Continuas

La noción de continuidad que se estudia en los cursos básicos de Análisis utiliza
fuertemente la distancia usual de la recta real. Sin embargo, la idea de continuidad
puede realmente formalizarse para aplicaciones entre espacios mucho más generales. A
contiuación vamos a ver que, en realidad, no es necesario tener difinidas distancias en
los espacios involucrados, sino que basta con tener topologı́as.
Definición 1.6.1 Se dice que una aplicación f : X → Y entre dos espacios topológicos
es continua si para todo abierto A de Y el conjunto f −1 (A) es un abierto de X.

Ejemplos 1.6.2 (1) Las funciones reales continuas, según la definición que se es-
tudia en el primer curso de Análisis, son también continuas en el sentido de la
Definición 1.6.1. En particular, las funciones reales derivables son continuas.

(2) La aplicación Id : (X, τ1 ) → (X, τ2 ) es continua si y sólo si τ1 es más fina que

τ2 . En efecto, Id es continua si y sólo si para todo abierto U de τ2 se tiene que
Id−1 (U ) = U es abierto de τ1 .

Observaciones 1.6.3 Sea f : X → Y una aplicación entre dos espacios topológicos.

(1) Si B es base de la topologı́a de Y , para la continuidad de f basta comprobar que
f −1 (B) es abierto de X para cada B ∈ B. En efecto, esto es consecuencia directa
de que f −1 (∪j∈J Bj ) = ∪j∈J f −1 (Bj ).

15
1.6. APLICACIONES CONTINUAS

(2) Si S es subbase de la topologı́a de Y , para la continuidad de f basta comprobar

que f −1 (S) es abierto de X para cada S ∈ S. En efecto, esto es consecuencia
directa de que f −1 (∪i∈I (∩njii=1 Sji )) = ∪i∈I (∩njii=1 f −1 (Sji )).

Teorema 1.6.4 Sea f : X → Y una aplicación entre dos espacios topológicos. Las
siguientes afirmaciones son equivalentes:

(1) f es continua.

(2) Para cada cerrado C de Y , el conjunto f −1 (C) es un cerrado de X.

(3) Se verifica que f (D) ⊂ f (D) para todo subconjunto D de X.

Demostración. (1)⇒(2). Sea C un cerrado arbitrario de Y . Entonces Y \ C es abierto

de Y . Como f es continua, f −1 (Y \ C) = X \ f −1 (C) es abierto de X. Luego f −1 (C)
es cerrado de X.
(2)⇒(3). Sea D un subconjunto arbitrario de X. Consideremos f (D), que es cerrado
de Y . Por hipótesis se tiene que f −1 (f (D)) es un cerrado de X que, además, contiene
a D. Luego D ⊂ f −1 (f (D)), y, por tanto, f (D) ⊂ f (D).
(3)⇒(1). Sea A un abierto arbitrario de Y . Consideremos D = X \ f −1 (A) =
f −1 (Y \ A). Por hipótesis tenemos

f (D) = f (X \ f −1 (A)) ⊂ f (f −1 (Y \ A)) = Y \ A = Y \ A.

Por tanto,
X \ f −1 (A) ⊂ f −1 (Y \ A) = X \ f −1 (A).
En conclusión, X \ f −1 (A) es cerrado, y, por tanto, f −1 (A) es abierto. ✷
A continuación vamos a introducir el concepto que nos va a permitir formalizar la
idea de equivalencia entre dos espacios topológicos.

Definición 1.6.5 Sea f : X → Y una aplicación entre dos espacios topológicos. Dire-
mos que f es un homeomorfismo si es biyectiva y f , f −1 son continuas.

Ejemplo 1.6.6 Consideremos Rn con la topologı́a usual y la bola B1 (0) de Rn con

la topologı́a inducida por esta. La función f : B1 (0) → Rn , x 7→ x/(1 − kxk2 ) es
un homeomorfismo. En efecto, f admite inversa g : Rn → B1 (0), y 7→ 2y/(1 + (1 +
4kyk2 )1/2 ), y tanto f como g son derivables, luego continuas (recuérdese el Ejemplo
1.6.2 (1)).

Teorema 1.6.7 (Reglas de construcción de aplicaciones continuas). Sean X, Y , Z

espacios topológicos. Se verifican las siguientes afirmaciones:

16
 CAPÍTULO 1. ESPACIOS TOPOLÓGICOS

(1) La aplicación constante f : X → Y , x 7→ y0 es continua.

(2) La aplicación inclusión j : D ֒→ X, siendo D un subespacio arbitario de X, es

continua.

(3) La aplicación composición g ◦ f de aplicaciones continuas f : X → Y , g : Y → Z

es continua.

(4) La aplicación restricción f |D : D → Y , siendo D un subespacio arbitrario de X

y f : X → Y una aplicación continua, es también continua.

(5) Sea f : X → Y una aplicación continua y E un subespacio de Y tal que f (X) ⊂

E. Entonces la aplicación f˜ : X → E, x 7→ f (x), también es continua.

(6) Supongamos que X = ∪i∈I Ai , Ai abiertos. Si f : X → Y es una aplicación tal

que cada f |Ai es continua entonces f también lo es.

(7) Supongamos que X = ∪ni=1 Ci , Ci cerrados. Si f : X → Y es una aplicación tal

que cada f |Ci es continua entonces f también lo es.

Demostración. (1) Sea A un abierto de Y . Si y0 ∈ A entonces f −1 (A) = X, que es

abierto de X. Si y0 6∈ A entonces f −1 (A) = ∅, que también es abierto de X.
(2) Sea A un abierto de X. Entonces j −1 (A) = A ∩ D, que es abierto de D.
(3) Sea A un abierto de Z. Como g es continua, g −1 (A) es abierto de Y . Como f
es continua, f −1 (g −1 (A)) es abierto de X. Por tanto, (g ◦ f )−1 (A) = f −1 (g −1 (A)) es
abierto de X.
(4) Directo de (2) y (3), ya que f |D = f ◦ j.
(5) Sea A un abierto de E. Entonces existe un abierto A′ de Y tal que A = E ∩ A′ .
Luego, f˜−1 (A) = f −1 (A′ ), que es abierto de X por ser f continua.
(6) Sea A un abierto de Y . Entonces

f −1 (A) = f −1 (A) ∩ (∪i∈I Ai ) = ∪i∈I (f −1 (A) ∩ Ai ) = ∪i∈I ((f |Ai )−1 (A)).

Como cada f |Ai es continua, (f |Ai )−1 (A) es abierto de Ai , y, por tanto, de X (por
hipótesis, cada Ai es abierto de X). En definitiva, f −1 (A) es un abierto de X.
(7) Sea C un cerrado de Y . Entonces

f −1 (C) = f −1 (C) ∩ (∪ni=1 Ci ) = ∪ni=1 (f −1 (C) ∩ Ci ) = ∪ni=1 ((f |Ci )−1 (C)).

Como cada f |Ci es continua, (f |Ci )−1 (C) es cerrado de Ci , y, por tanto, de X (por
hipótesis, cada Ci es cerrado de X). En definitiva, f −1 (C) es un cerrado de X. ✷
La noción de aplicación continua a nivel topológico también puede expresarse a
nivel puntual, tal y como se hace en los cursos básicos de Análisis. En efecto:

17
1.6. APLICACIONES CONTINUAS

f
X Y

p f (p)

V
U f (U )

Figura 1.3: Continuidad de f en un punto p

Definición 1.6.8 Sea f : X → Y una aplicación entre dos espacios topológicos. Se

dice que f es continua en x0 ∈ X si para cada abierto V que contiene f (x0 ) existe un
abierto U que contiene a x0 tal que f (U ) ⊂ V (véase la Figura 1.3).

Teorema 1.6.9 Una aplicación f : X → Y es continua si y sólo si f es continua en

cada punto de X.

Demostración. Para la implicación a la derecha, supongamos que f es continua. Sea

x0 ∈ X y V un abierto de Y que contiene a f (x0 ). Entonces f −1 (V ) es un abierto de
X que, obviamente, contiene a x0 . Tomando U = f −1 (V ) tenemos que

f (U ) = f (f −1 (V )) = V ⊂ V.

Luego f es continua en x0 .
Para la implicación a la izquierda, supongamos que f es continua en cada punto
de X. Sea A un abierto arbitrario de Y , y consideremos f −1 (A). Basta demostrar que
f −1 (A) es entorno de todos sus puntos. Consideremos un punto arbitrario x0 ∈ f −1 (A).
Entonces f (x0 ) ∈ A. Como f es continua en x0 , existe un abierto U que contiene a x0
tal que f (U ) ⊂ A. En particular, x0 ∈ U ⊂ f −1 (A). Luego f −1 (A) es entorno de x0 . ✷

Teorema 1.6.10 Sean X, Y , Z espacios topológicos. Se verifica lo siguiente:

(1) Si f : X → Y es continua en x0 , g : Y → Z es continua en f (x0 ) entonces

g ◦ f : X → Z es continua en x0 .

(2) Si f : X → Y es continua en x0 y D es un subespacio de X que contiene a x0

entonces f |D : D → Y es continua en x0 .

(3) Si f : X → Y es continua en x0 , y E es un subespacio de Y tal que f (X) ⊂ E,

entonces f˜ : X → E, x 7→ f (x), es continua en x0 .

18
 CAPÍTULO 1. ESPACIOS TOPOLÓGICOS

(4) Supongamos X = ∪ni=1 Ci , donde cada Ci contiene a x0 . Si f : X → Y es una

aplicación tal que cada f |Ci es continua en x0 entonces f es continua en x0 .

Demostración. Las pruebas de (1), (2) y (3) son análogas a las correspondientes del
Teorema 1.6.7 (se dejan como ejercicio al lector). Desarrollamos aquı́ únicamente la
prueba de (4).
Sea V un abierto que contiene a f (x0 ). Como f |Ci es continua, existe un abierto Ui
de Ci que contiene a x0 tal que f (Ui ) ⊂ V . Como Ui es abierto de Ci , existe un abierto
Ai de X tal que Ui = Ai ∩ Ci . Definimos A := ∩ni=1 Ai , que es abierto de X por ser
intersección finita de abiertos de X. Además, x0 ∈ ∩ni=1 Ui = ∩ni=1 Ai ∩Ci ⊂ ∩ni=1 Ai = A.
Finalmente, observemos que

f (A) = f (A∩(∪ni=1 Ci )) = f (∪ni=1 A∩Ci ) ⊂ f (∪ni=1 Ai ∩Ci ) = f (∪ni=1 Ui ) = ∪ni=1 f (Ui ) ⊂ V.

Luego f es continua en x0 . ✷

1.7. Continuidad y Lı́mites de sucesiones

Para finalizar este capı́tulo, vamos a estudiar el lı́mite de sucesiones en espacios
topológicos, y lo vamos a usar para caracterizar la continuidad de aplicaciones entre
espacios métricos.

Definición 1.7.1 Sea {xn } una sucesión de puntos de un espacio topológico X. Se

dice que {xn } tiende a z ∈ X (o que z es lı́mite de {xn }), si para cada entorno U de
z existe n0 ∈ N tal que xn ∈ U para todo n ≥ n0 .

Observación 1.7.2 El lı́mite de una sucesión puede no ser único. Por ejemplo, en R
dotado de la topologı́a trivial todos los puntos son lı́mites de todas las sucesiones.

Proposición 1.7.3 El lı́mite de una sucesión en un espacio topológico Hausdorff, si

existe, es único.

Demostración. Por reducción al absurdo, supongamos que la sucesión {xn } ⊂ X posee

dos lı́mites z 6= z ′ . Como X es Hausdorff, existen dos abiertos disjuntos U , U ′ que
contienen a z, z ′ , respectivamente, y tales que U ∩ U ′ = ∅. Sean n0 , n′0 ∈ N tales
que xn ∈ U si n ≥ n0 y xn ∈ U ′ si n ≥ n′0 . Si n ≥ max{n0 , n′0 }, deducimos que
xn ∈ U ∩ U ′ 6= ∅, contradicción. ✷

Teorema 1.7.4 Sea f : (X, d) → (Y, d′ ) una aplicación entre espacios métricos. Los
siguientes enunciados son equivalentes:

19
1.7. CONTINUIDAD Y LÍMITES DE SUCESIONES

(1) f es continua en z ∈ X.

(2) Para cada ǫ > 0 existe δ > 0 tal que si d(x, z) < δ entonces d′ (f (x), f (z)) < ǫ.

(3) Para toda sucesión {xn } ⊂ X, si lı́mn→∞ {xn } = z entonces lı́mn→∞ {f (xn )} =
f (z).

Demostración. (1)⇒(2). Dado ǫ > 0, consideremos Bǫ (f (z)), que contiene a f (z). Como
f es continua en z, existe un abierto U de X que contiene a z tal que f (U ) ⊂ Bǫ (f (z)).
Como U es abierto métrico, existe δ > 0 tal que Bδ (z) ⊂ U . Por tanto,

f (Bδ (z)) ⊂ f (U ) ⊂ Bǫ (f (z)).

En definitiva, si d(x, z) < δ entonces d′ (f (x), f (z)) < ǫ.

(2)⇒(3). Sea {xn } ⊂ X una sucesión tal que lı́mn→∞ {xn } = z. Sea V un abierto
de Y que contiene a f (z). Existe ǫ > 0 tal que Bǫ (f (z)) ⊂ V . Por (2), existe δ > 0 tal
que si d(x, z) < δ entonces d′ (f (x), f (z)) < ǫ. Como z es lı́mite de {xn } existe n0 tal
que si n ≥ n0 entonces xn ∈ Bδ (z), esto es, d(xn , z) < δ. Luego, d′ (f (xn ), f (z)) < ǫ, y,
por tanto, f (xn ) ∈ Bǫ (f (z)) ⊂ V .
(3)⇒(1). Supongamos que (1) es falso, esto es, existe un abierto V de Y que contiene
a f (z) tal que para todo abierto U de X que contiene a z se tiene que f (U ) 6⊂ V .
Luego, para cada bola B1/n (z) existirá xn ∈ B1/n (z) tal que f (xn ) 6∈ V . Consideremos
la sucesión {xn } ⊂ X. Obviamente, {f (xn )} no converge a f (z). Basta probar por
tanto que {xn } sı́ converge a z. Sea W un abierto de X que contiene a z. Entonces
existe n0 ∈ N tal que B1/n0 (z) ⊂ W . Si n ≥ n0 entonces d(xn , z) < 1/n0 , y, por tanto,
xn ∈ B1/n0 (z) ⊂ W . ✷
Resulta natural plantearse si es posible extender el teorema anterior a espacios
topológicos generales (excluyendo del enunciado la propiedad (2), que no tiene sentido
en este tipo de espacios). La respuesta en general es no, puesto que, si bien la implicación
(1)⇒ (3) sigue siendo cierta, no ocurre lo mismo con la implicación (3)⇒ (1), cuya
demostración depende fuertemente de la distancia. No obstante, esta última implicación
también se verifica si se asume que el espacio topológico verifica el primer axioma de
numerabilidad (véase la Defn. 3.3.1).

Definición 1.7.5 Sea f : (X, d) → (Y, d′ ) una aplicación entre dos espacios métricos.
Se dice que f es uniformemente continua si para cada ǫ > 0 existe δ > 0 tal que si
d(x, z) < δ entonces d′ (f (x), f (z)) < ǫ.

Observación 1.7.6 Obviamente, si f es uniformemente continua entonces también es

continua. Sin embargo, el recı́proco no es cierto. Por ejemplo, la función f : R → R,

20
 CAPÍTULO 1. ESPACIOS TOPOLÓGICOS

x 7→ x2 , es continua pero no es uniformemente continua. En efecto, tomando x = n,

x′ = n + 1/n se tiene

|x − x′ | = |(n + 1/n) − n| = 1/n → 0, si n → ∞

pero
|f (x) − f (x′ )| = |(n + 1/n)2 − n2 | = 2 + 1/n2 ≥ 2.

Dos conceptos ı́ntimamente ligados a la noción de lı́mite de sucesiones en espacios

métricos son los de sucesión de Cauchy y espacio métrico completo.

Definición 1.7.7 Decimos que una sucesión {xn } en un espacio métrico (X, d) es
de Cauchy si para todo ǫ > 0 existe n0 tal que, para todo n, m ≥ n0 se tiene que
d(xn , xm ) < ǫ.

Se prueba con facilidad que toda sucesión convergente de un espacio métrico es una
sucesión de Cauchy. Sin embargo, el recı́proco no es cierto: por ejemplo, la sucesión
{1/n} es de Cauchy pero no convergente en el espacio (0, 1) dotado de la distancia
usual. Se dice que un espacio métrico (X, d) es completo si todas sus sucesiones de
Cauchy son convergentes.

1.8. Ejercicios
1. Determina todas las topologı́as distintas, salvo homeomorfismo, de un conjunto
de tres elementos.

2. Sea (X, ≤) un conjunto totalmente ordenado. Dados dos elementos a < b del mis-
mo, podemos considerar cuatro tipos de intervalos asociados a dichos elementos:

(a, b) = {x ∈ X : a < x < b}, [a, b] = {x ∈ X : a ≤ x ≤ b}

[a, b) = {x ∈ X : a ≤ x < b}, (a, b] = {x ∈ X : a < x ≤ b},

designados con los mismos nombres que en el caso real.
Prueba que la familia formada por todos los intervalos abiertos junto con los de
la forma [a0 , b), donde a0 es el primer elemento de X (si existe), y de la forma
(a, b0 ], donde b0 es el último elemento de X (si existe), constituye la base de una
topologı́a (denominada topologı́a del orden).

3. Considera un subconjunto no vacı́o D de un espacio métrico (X, d).

21