Topologia en R PDF

Capı́tulo 1
Preliminares
Vamos a ver en este primer capı́tulo de preliminares algunos conceptos, ideas y propiedades que
serán muy útiles para el desarrollo de la asignatura. Se trata de resultados sobre conjuntos, aplica-
ciones, numerabilidad y propiedades de los números reales.
1.1 Conjuntos
Supondremos conocidos algunos conceptos básicos sobre conjuntos: unión, intersección, diferen-
cia, etc... No obstante intentaremos fijar algunas ideas recordando varios resultados interesantes.
Recordemos que utilizaremos, como es habitual, la siguiente notación para algunos conjuntos de
números que son básicos.
• N será el conjunto de los números naturales o enteros positivos.
• Z será el conjunto de los números enteros.
• Q será el conjunto de los números racionales.
• R será el conjunto de los números reales.
• C será el conjunto de los números complejos.
Definición 1.1.1 (Familia de conjuntos). Una familia de conjuntos A será un conjunto cuyos
elementos son, a su vez conjuntos. Los representaremos con letras mayúsculas caligráficas y se
pueden expresar a través de un conjunto de ı́ndices I de la siguiente forma:
A = {Ai : i ∈ I}
1
2 CAPÍTULO 1. PRELIMINARES
Definición 1.1.2 (Unión e intersección de una familia). Dada una familia de conjuntos A =
{Ai : i ∈ I} definimos:
Unión de la familia A como el conjunto de todos los elementos que pertenecen a alguno de
los conjuntos de A y lo representaremos de las dos maneras siguientes:
[
A = {x : existe A ∈ A tal x ∈ A}
[
Ai = {x : existe i ∈ I tal x ∈ Ai }
i∈I
Intersección de la familia A como el conjunto de todos los elementos que pertenecen a

todos los conjuntos de A y lo representaremos de las dos maneras siguientes:
\
A = {x : x ∈ A para todo A ∈ A}
\
Ai = {x : x ∈ Ai para todo i ∈ I}
i∈I
Proposición 1.1.3 (Propiedad distributiva). Sea {Ai : i ∈ I} una familia de conjuntos y B un

conjunto. Entonces:
ST T S
1. B ( i∈I Ai ) = i∈I (B Ai )
TS S T
2. B ( i∈I Ai ) = i∈I (B Ai )
Demostración. -
ST S
(1) ⊂ Si x ∈ B ( i∈I Ai ), supongamos que x ∈ B, entonces x ∈ B Ai , para todo i ∈ I,
T S T
por tanto x ∈ i∈I (B Ai ). Si ahora suponemos que x ∈ / B, será x ∈ i∈I Ai , luego x ∈ Ai
S
para todo i ∈ I lo que implica que x ∈ B Ai para todo i ∈ I y por tanto está en la intersección
T S
i∈I (B Ai ) de todos ellos.
T S S
⊃ Sea x ∈ i∈I (B Ai ), entonces x ∈ B Ai para todo i ∈ I; si x ∈ B tenemos que
ST T
x ∈ B ( i∈I Ai ) y si x ∈ / B será x ∈ Ai para todo i ∈ I, por tanto x ∈ i∈I Ai lo que lleva a
ST
que x ∈ B ( i∈I Ai )
(2) Se realiza de forma análoga.
Definición 1.1.4 (Complementario). Dado A ⊂ E, definimos el complementario de A en X

como el conjunto X r A = {x ∈ X : x ∈ / A} de los elementos de X que no son elementos de
A. Si el contexto está suficientemente claro designaremos al complementario de A en X como
Ac = X r A.
1.2. APLICACIONES 3
Está claro que (Ac )c = A
Proposición 1.1.5 (Leyes de Morgan). Sea {Ai : I ∈ I} una familia de subconjuntos Ai ⊂ X,

i ∈ I. Entonces
1. ( i∈i Ai )c = i∈i Aci o bien X r ( i∈i Ai ) = i∈i (X r Ai )

S T S T
2. ( i∈i Ai )c = i∈i Aci o bien X r ( i∈i Ai ) = i∈i (X r Ai )

T S T S
Demostración. Vamos a ver la demostración de la propiedad 1). La 2) se hará de forma análoga.
⊂ Si x ∈ ( i∈i Ai )c , entonces x ∈
/ Ai para todo i ∈ I, por tanto x ∈ Aci para todo i ∈ I, luego
S
c
T
x ∈ i∈i Ai .
⊃ Si x ∈ i∈i Aci , x ∈ / i∈i Ai , por tanto x ∈ ( i∈i Ai )c .

T S S
/ Ai para todo i ∈ I, luego x ∈
Definición 1.1.6 (Diferencia de conjuntos). Dados dos conjuntos A y B, definimos la diferencia

de A y B como el conjunto A r B = {x : x ∈ A y x ∈ / B} de los elementos de A que no son
elementos de B.
Proposición 1.1.7. Sean A, B ⊂ X, entonces se verifican:
Bc
T
1. A r B = A
T
2. A r (A r B) = A B
T
3. A r (A B) = A r B
4. Para la diferencia de conjuntos se verifican las Leyes de Morgan.

! !
[ \ \ [
(a)B r Ai = (B r Ai ) (b)B r Ai = (B r Ai )
i∈I i∈I i∈I i∈I
1.2 Aplicaciones
Un concepto tan importante y básico como el de conjunto, y que también es conocido, es el de

aplicación entre conjuntos. Vamos a repasar algunas ideas y resultados sobre aplicaciones.
Definición 1.2.1 (Aplicación). Una aplicación entre los conjuntos X e Y es una correspondencia
entre ellos tal que, a cada punto de X le hace corresponder uno y sólo un punto de Y . La
representaremos de la siguiente manera
f
f : X −→ Y, o bien , X −→ Y
Una aplicación, f : X −→ Y , está dada por un conjunto de pares ordenados, y puede entenderse
como un subconjunto del producto cartesiano X × Y , de la forma siguiente:
Γ(f ) = {(x, y) : x ∈ X, y = f (x) ∈ Y } ⊂ X × Y,
que se denomina la gráfica de f o el grafo de f . Este conjunto debe cumplir que para todo elemento
x ∈ X existe un único elemento y ∈ Y tal que (x, y) ∈ Γ(f ). Este y se llama la imagen de x por
f , y se representa por y = f (x).
Definición 1.2.2 (Imagen e imagen inversa). Si A ⊂ X, el conjunto imagen de A, es el subcon-

junto
f (A) = {y ∈ Y : existe x ∈ A, y = f (x)} ⊂ Y
formado por todas las imágenes f (x) tales que x ∈ A.
Si B ⊂ Y , la imagen inversa de B es el subconjunto
f −1 (B) = {x ∈ X : f (x) ∈ B} ⊂ X
formado por aquellos elementos tales que su imagen pertenece a B.
Si y ∈ Y , se usará la notación f −1 (y) = f −1 ({y}), pero obsérvese que es un subconjunto de X

y no un punto.
Conviene tener en cuenta que el sı́mbolo f −1 (B) es simplemente una notación de un conjunto.
No hay que cometer el error de suponer que f −1 indica que la aplicación f tiene una aplicación
inversa.
Proposición 1.2.3. Sea f : X −→ Y una aplicación entre conjuntos y sean los subconjuntos
A ⊂ X y B ⊂ Y . Entonces
1. A ⊂ f −1 (f (A)),
2. f (f −1 (B)) ⊂ B.
Demostración. -
(1) Si x ∈ A, entonces y = f (x) ∈ f (A) ⊂ Y , luego x ∈ f −1 (f (A)).
(2) Si y ∈ f (f −1 )(B)), entonces f (x) = y para algún x ∈ f −1 (B), luego f (x) ∈ B, pero como
la imagen de cada x es única, f (x) = y ∈ B.
Ejemplo 1.2.4. Las inclusiones anteriores no son ,en general, igualdades.

1.2. APLICACIONES 5
(1) Consideremos la parábola f : R −→ R, f (x) = x2 .

√ [ √
f (f −1 (([1, 2])) = [− 2, −1] [1, 2].
(2) Consideremos el seno de x, f : R −→ R, f (x) = sen x.
f (f −1 ([−2, 2])) = [−1, 1].
Las imágenes y las imágenes inversas respecto de la unión y de la intersección de familias de

conjuntos tienen las siguientes propiedades.
Proposición 1.2.5. Sean f : X −→ Y una aplicación entre conjuntos y las familias de subcon-
juntos {Ai ⊂ X : i ∈ I} y {Bj ⊂ Y : j ∈ J}. Entonces
S S
1. f ( i∈I Ai ) = i∈I f (Ai ),
T T
2. f ( i∈I Ai ) ⊂ i∈I f (Ai ),
3. f −1 ( j∈J Bj ) = j∈J f −1 (Bj ),

S S
4. f −1 ( j∈J Bj ) = j∈J f −1 (Bj .

T T
5. f (A r B) ⊃ f (A) r f (B)
Ejemplo 1.2.6. Este ejemplo muestra que las inclusiones (1) y (5) de la proposición anterior no
son, en general, igualdades.
Consideremos los conjuntos A = [1, 2] × [1, 2] y B = [1, 2] × [3, 4] de R2 y la proyección

π1 : R2 −→ R, definida como π1 (x, y) = x. Entonces tenemos que
π1 (A) ∩ π1 (B) = [1, 2] ∩ [1, 2] = [1, 2], pero π1 (A ∩ B) = π1 (∅) = ∅
Por otra parte
π1 (A r B) = π1 (A) = [1, 2], pero π1 (A) r π1 (B) = [1, 2] r [1, 2] = ∅
Hay relaciones entre las imágenes inversas de los complementarios y el complementario de las
imágenes inversas. Ası́ se tiene:
Proposición 1.2.7. Sea f : X −→ Y una aplicación entre conjuntos y sea B ⊂ Y . Entonces

f −1 (Y r B) = X r f −1 (B).
Ejemplo 1.2.8. No se verifica ninguna relación entre las imágenes y los complementarios.
Si consideramos f : R −→ R, definida como f (x) sen x, tenemos que f ([0, π]c ) = [−1, 1] y, sin
embargo [f ([0, π])]c = [0, 1]c = (−∞, 0) (1, +∞)
S

Un tipo especial de aplicaciones que se utilizarán con frecuencia son las sucesiones. Una sucesión
en X es una aplicación φ : N −→ X. Es costumbre representar la sucesión como {xn }∞ n=1 donde
xn = φ(n).
Es conveniente distinguir una sucesión de su conjunto imagen. Una sucesión siempre tiene in-
finitos términos, pero su conjunto imagen no tiene por qué ser infinito. Por ejemplo, la sucesión
{1, 0, 1, 0, ...} tiene como conjunto imagen el {0, 1}.
La última definición de este apartado es la de subsucesión de una sucesión {xn }∞

n=1 . Dada una
aplicación estrictamente creciente α : N −→ N donde α(k) = nk , se define la subsucesión
asociada como la composición
φ ◦ α : N −→ X
es decir, es la sucesión {xnk }∞
n=1 .
1.3 Numerabilidad
En esta sección, y salvo que se diga lo contrario, X va a representar un conjunto no vacı́o.
Definición 1.3.1 (Conjunto finito). Diremos que X es un conjunto finito si existe un número
natural n 6= 0 y una aplicación biyectiva
φ : {1, 2, ..., n} −→ X
Definición 1.3.2 (Conjunto infinito numerable). Diremos que X es un conjunto infinito numer-
able si existe una aplicación biyectiva φ : N −→ X.
Definición 1.3.3 (Conjunto numerable). Diremos que X es un conjunto numerable si es, o bien
finito, o bien infinito numerable. Si X no es numerable, se dice que es infinito no numerable.
Proposición 1.3.4. Todo subconjunto A ⊂ N de los números naturales es numerable.
Demostración. Si A ⊂ N es finito el resultado es evidente.
Supongamos que A ⊂ N no es finito. Definimos entonces la aplicación φ : N −→ A de la

siguiente manera, φ(0) es el menor elemento de A; φ(1) será el menor elemento de A tal que
φ(1) 6= φ(0), ası́ sucesivamente φ(p) será el menor elemento de A tal que φ(p) 6= φ(0) 6= φ(1) 6=
· · · 6= φ(p − 1).
1.3. NUMERABILIDAD 7
Si existe p tal que ya no podemos hacer lo anterior, es decir φ(p) ≤ φ(0) ≤ . . . φ(p − 1) es que
A ya no tiene más elementos y, por tanto es finito, con lo cual hemos acabado. En caso contrario
podremos continuar y para cada p ∈ N existe φ(p) ∈ A, φ(p) 6= φ(i) para i < p. Evidentemente
φ es biyectiva y φ(p) ≥ p.
En ocasiones, en lugar de buscar una aplicación biyectiva para comprobar la numerabilidad, con-
viene hacer uso de la siguiente caracterización, que resulta evidente después de la proposición
anterior.
Proposición 1.3.5. Un conjunto X es numerable si y sólo si existe una aplicación suprayectiva

φ : N −→ X.
Esta propiedad puede interpretarse ası́: un conjunto X es numerable si existe una sucesión tal que
su conjunto imagen es todo X.
A continuación estudiaremos algunas propiedades básicas de la numerabilidad y veremos algunos

de los ejemplos más importantes de conjuntos numerables.
Proposición 1.3.6. Si X es numerable y S es un subconjunto de X, entonces S es numerable.
Demostración. Por el hecho de ser X numerable, existe una aplicación suprayectiva φ : N −→ X.

Se define la aplicación ψ : X −→ S como la identidad sobre los elementos de S y que lleva
los que no pertenecen a S a un punto fijo de S. Evidentemente ψ es suprayectiva, por tanto la
composición, ψ ◦ φ : N −→ S es una aplicación suprayectiva y S es numerable.
Ejemplo 1.3.7. El conjunto N × N es numerable; y como consecuencia también lo es N× . n. . ×N.

Demostración. Podemos ”colocar”el conjunto N × N de la siguiente forma:
(0, 0) (0, 1) (0, 2) (0, 3) ...

(1, 0) (1, 1) (1, 2) (1, 3) ...
(2, 0) (2, 1) (2, 2) (2, 3) ...
.. .. .. .. ..
. . . . .
Si los recorremos en diagonal de arriba a abajo y de izquierda a derecha, como se indica en

el esquema anterior está claro que N × N se puede escribir como una sucesión de elementos. No
obstante, si queremos hacer explı́cita la aplicación suprayectiva, podemos escribirla de la siguiente
forma. φ : N −→ N × N, φ(n) = (k, m − k), donde m es el único número natural tal que
m(m + 1) (m + 1)(m + 2) m(m + 1)
<n+1≤ , yk =n−
2 2 2
Proposición 1.3.8. Sea I un conjunto numerable de ı́ndices, y para cada i ∈ I, sea Si un conjunto
S
numerable. Entonces, S = i∈I Si es numerable.(La unión numerable de conjuntos numerables
es un conjunto numerable).
Demostración. Por el hecho de ser Si numerable, para cada i existe una aplicación suprayectiva
ψi : N −→ Si . Entonces, la aplicación:
ψ : I × N −→ S
dada por ψ(i, n) = ψi (n) también es suprayectiva.
Por el hecho de ser I numerable, existe otra aplicación suprayectiva θ : N −→ I. Sea φ : N −→

N × N la aplicación suprayectiva definida en el ejemplo anterior.
Entonces la composición
φ (θ,Id) ψ
N −→ N × N −→ I × N −→ S
es una aplicación suprayectiva, y por tanto S es numerable.
Ejemplo 1.3.9. El conjunto Z de los números enteros es numerable.

La numerabilidad también se conserva por productos finitos:
Proposición 1.3.10. Sea una colección de conjuntos numerables Si para i = 1, 2, ..., n. Entonces
S = S1 × S2 × ... × Sn es numerable.
Ejemplo 1.3.11. El conjunto de los números racionales, Q, es numerable.

Proposición 1.3.12. El intervalo [0, 1] ⊂ R no es numerable; en consecuencia R tampoco lo es.
Demostración. Supongamos que sı́ es numerable, es decir [0, 1] = {x1 , x2 , x3 , . . . } se trata de

una sucesión. Podemos expresar cada elemento del intervalo en forma decimal, con un número
infinito cifras decimales distintas de 0, de la siguiente forma:
x1 = 0, a11 a12 a13 . . . a1n . . .
x2 = 0, a21 a22 a23 . . . a2n . . .

......
xn = 0, an1 an2 an3 . . . ann . . .
......
1.3. NUMERABILIDAD 9
donde cada aij ∈ {0, 1, . . . 9}. Para que el número de cifras decimales sea distinto de 0 en todos,
si tenemos un número que tiene un número finito de decimales no nulos, tomamos su otra forma
de expresión:
1
= 0, 5 = 0, 4999999 . . .
2
Consideremos el número real del intervalo [0, 1], x = 0, b1 b2 b3 . . . bn . . . de la siguiente forma:
b1 6= a11 y b6 = 0; b2 6= a22 y b2 6= 0 y ası́ sucesivamente. Está claro que y 6= xi para todo i, por
tanto x ∈
/ [0, 1], lo cual es imposible.
Como consecuencia, todo conjunto que contiene al intervalo (0, 1) no es numerable. En particular,
R no es numerable.
Una propiedad importante de los números reales, relacionada con el orden, es la propiedad arqui-
mediana. esta propiedad se puede formular de varias maneras, damos aquı́ dos de ellas:
Proposición 1.3.13 (Propiedad Arquimediana). Para cualquier número real positivo ε > 0
existe un número natural n ∈ N tal que
nε = ε + ... + ε > 1.
Proposición 1.3.14 (Propiedad Arquimediana). Para cualquier par de números reales tales que
x < y, se puede encontrar siempre un número racional q ∈ Q verificando x < q < y.
10
Capı́tulo 2
Espacios Métricos
2.1 Distancias y espacios métricos

Definición 2.1.1 (Distancia). Dado un conjunto , una distancia es una aplicaci ón
que a cada par le asocia un número real
y que cumple los
siguientes condiciones:
1. .
2. si, y sólo si (separación).
3. para todo ! (simetrı́a).
4. " $#%&' (#) para todo $#* (desigualdad triangular).
Definición 2.1.2 (Espacio métrico). Se llama espacio métrico a un par $+ , donde es un

conjunto y es una distancia definida en .
Ejemplo 2.1.3.

,-
. /
021 31
(1) El espacio métrico de los números reales con la métrica del valor absoluto de la diferencia, es
decir definida como .
(2) El espacio métrico discreto. Sea un conjunto no vacı́o cualquiera; si 4 definimos
- 65 87 $+
si y si . es un espacio métrico. 9
Antes de continuar con el siguiente, e importante ejemplo, conviene establecer una interesante
relación:
11
12 CAPÍTULO 2. ESPACIOS MÉTRICOS
Proposición 2.1.4 (Desigualdad de Cauchy-Schwarz). Si y

números
reales cualesquiera, entonces:

"

Demostración. Dado cualquier se verifica que *&
el

. Si desarrollamos

cuadrado y agrupamos
tendremos que tomando & & ,

,
y .

En estos términos, lo que queremos probar es que . Si "
todos los y por
tanto también todos los

. Si 7 podemos poner

" & & ,
"!

$#

)*& &
para todo 8
. El segundo miembro es mı́nimo si
$%&
y si lo sustituimos en la expresión
anterior
(') "
"

(')
Ejemplo 2.1.5.
(1) Sea

, y para los puntos , e * se definen las aplicaciones:
*1 1 &21 1
& +*,
-- 0 .0/13$1 1 1 1 2

--
En el gráfico anterior puede verse como es cada una de estas distancias. Las tres son generaliza-
ciones de la métrica del valor absoluto de la diferencia, y las tres tienen nombre propio: se

llama la métrica del taxi, se llama la métrica euclı́dea o usual y 3- se llama la métrica del
ajedrez o del máximo.
2.1. DISTANCIAS Y ESPACIOS MÉTRICOS 13

- 0

* 0
(2) El ejemplo anterior se puede generalizar a

se define:
. Sean

e

1 1

+*,

-- $ 1 1 5

La prueba de que y - son distancias es una mera comprobación. Lo mismo sucede con las
propiedades (1) y (2); no ası́ con la desigualdad triangular en la que hay que utilizar la desigualdad
de Cauchy-Schwarz. Veámoslo.
Sean $#*

y consideremos

( $#%&' (#)

#
&
(#

# &

(# &

# (#

aplicando la desigualdad de Cauchy-Schwarz al último sumando de la expresión anterior, podemos
continuar

# &

( # &
# (#

# & (# &) # (#
# 3& (#

(
Las tres métricas se pueden considerar generalizaciones de la métrica del valor absoluto en

vista
en el Ejemplo 1.0.3(1)
(#
# 21 # # 1
(3) El conjunto de los números complejos con la métrica del módulo de la diferencia
con , es un espacio métrico. # $#

(de

. Dadas dos funciones (que son los puntos de este espacio),
(4) Sea la palabra inglesa bounded que significa acotada), el conjunto de

funciones acotadas
!
1 1
, sea
-- )

La siguiente gráfica nos da una idea de cómo es esta distancia.
..
.. ..
..
-
.. ..
.. ..
.. ..
.. ..
.. ..
.
. .
El par $- es un espacio métrico y la métrica se denomina métrica del supremo o métrica
uniforme.
En concreto podemos destacar por su interés el espacio de las sucesiones acotadas

-

sucesión acotada

*

acotada
con la distancia - -

. 1 1
(5) El espacio

continua de las funciones reales continuas

sobre un intervalo cerrado

con la distancia
1 1

)0

es también un espacio métrico.
...
.. ...
.. ..
.. ..
.. ..
.. ..
.. ..
..
.
(6) Las siguientes métricas se pueden definir en el producto de dos espacios métricos. Sean
- $ +
$
y ; se define para 6 *
, donde !
:
0 3&4

2.1. DISTANCIAS Y ESPACIOS MÉTRICOS 15
( &' +*,

-- $ $

Se ve claramente que se trata de una construcción
9
similar a la seguida en el ejemplo 1.0.5(1) para
la construcción de tres distancias en ; y juegan el papel de 1+1 .

Proposición 2.1.6. Sea $+ un espacio métrico, entonces se verifica

1 $#% (#) 1+" para todo $#
Demostración. Aplicando la desigualdad triangular tenemos $#%." & $#%

3&' (#) , por tanto $#% (#) "
De forma análoga podemos poner (#) " (#) & $#% & y tendremos

que " $#%
(#) .
Si unimos las dos desigualdades obtenidas en los párrafos anteriores
" $#% (#) "
$+ un subcon-
2

Definición 2.1.7 (Subespacio métrico). Sea

un espacio métrico y sea
6 . El par $
recibe el nombre
junto de . Sea también , definida por
es un espacio métrico y se llama un subespacio métrico de , y la métrica
de métrica inducida por .

Si
su métrica es la métrica inducida por la métrica euclı́dea de

, cuando se hable de como de un espacio métrico, siempre se estará suponiendo que

, salvo que se diga otra cosa en
contra. En particular esto se aplica a los diferentes tipos de intervalos de números reales.
Ejemplo 2.1.8.
(1) + 5 con la métrica inducida por el valor absoluto es subespacio métrico de

.

(2) con la métrica inducida por - es subespacio métrico de .

(3) El espacio de las sucesiones reales con lı́mite 0, es subespacio métrico de - . 9
Definición 2.1.9 (Distancia de un punto a un conjunto). Sea $+ un espacio m étrico, sea un
subconjunto
. Definimos la distancia de un punto
al subconjunto como

que existe dado que el conjunto sobre el que tomamos el ı́nfimo, está acotado inferiormente por 0.
Definición 2.1.10 (Distancia entre conjuntos). Sean y dos subconjuntos de . Se define la

distancia del subconjunto al subconjunto como
*

Ejemplo 2.1.11.
(1) Si es la métrica discreta sobre , y , entonces
0 5 sisi * 5 sisi 2

7

(2) Consideremos con la distancia usual 21

31 y sea 5
, entonces:
1 1% 4 5 ;
5 1 5 1 4 5 ;
(+ 1 1% 4 5 65 .
Evidentemente, si , entonces . El recı́proco no es cierto, como muestra este
ejemplo.
(3) Consideremos

$ y
& ",5 y 2
&* .
Entonces *

5 . Una gráfica ayuda a realizar este sencillo cálculo: la distancia que
queremos calcular es la diferencia entre la longitud de la diagonal de un cuadrado de lado 1, que
es y diámetro del cı́rculo que es 1.
5 ......................
..
..
..
.
5
9
2.2. BOLAS 17
2.2 Bolas
Los subconjuntos, quizás más importantes, de un espacio métrico, que vamos a estudiar a contin-
uación, son las bolas abiertas; que darán origen a un concepto fundamental: el de conjunto abierto.
Se trata de una generalización del concepto conocido de intervalo abierto centrado en un punto en
.
Definición 2.2.1 (Bola abierta). Sea $+
un espacio métrico y sean ,y un número
real. Definimos la bola abierta en , centrada en y de radio como el conjunto

-
Si se necesita especificar con qué métrica se está trabajando, se representará la bola abierta por

.

11 la bola abierta de centro y radio es el intervalo abierto de extremos
Ejemplo 2.2.2.
(1) En y
&
1 1 &
-

(2) La palabra bola debe su origen al caso euclı́deo. En

$ , tenemos que
-

&4
es el interior del cı́rculo de radio centrado en .
En el espacio
$ - $#%
&8 &'#
,

es el interior de la bola o
esfera sólida de radio centrada en .

$ *
Las bolas abiertas, sin embargo, pueden ser realmente muy diferentes y no tener la apariencia de
una bola esférica. En - , la bola -(+
es el interior del cuadrado de centro y de lados
paralelos a los ejes de coordenadas y con longitud .
En
$
con la métrica , la bola - (+
es el interior del cuadrado centrado en el punto (+$
y con vértices en los puntos ( + (+ $ $ podemos
. Con la gráfica siguiente nos

hacer una idea de cómo son estas tres bolas, con centro 0 y radio en el plano . 65
1 1 1 ...
. .
...... ........
.. .....
.....
5 5 5 ... .....
........ ...
.....1
1 1 ..... ..
.
.... ...
..... ........
5 5 5
..........
--(+ 5 (+ 5 (+ 5

+ 5
- + 5 , cuya

- ,
&
(3) En es el conjunto de todas las funciones continuas en

gráfica se encuentra entre las gráficas de las funciones y .
(4) En el espacio métrico discreto $ se tiene que

si ",5

-
si 5
(5) Sea + 5 2
con la métrica del valor absoluto
en . Entonces, en ,

5 5 9
(+
, mientras que para la métrica inducida en , 5 5 0 ( + 5
.
Las bolas abiertas en un subespacio métrico son la intersección con el subespacio de la bola del
espacio total con el mismo centro y radio:
$+
$
Proposición 2.2.3 (Bolas en subespacios métricos). Sea un espacio métrico, y sea un
subconjunto de ; entonces las bolas abiertas del subespacio m étrico son la intersec-
ción de las correspondientes bolas en el espacio total con el subconjunto. Es decir,

2.3 Abiertos. Propiedades
Uno de los objetivos de este curso es llegar al concepto de espacio topológico por medio del
estudio de los espacios métricos, que son más naturales, y de sus propiedades. Empezaremos con
una propiedad caracterı́stica de las bolas abiertas, que nos va a dar lugar a introducir una primera
definición de conjunto abierto; en este caso, abierto en un espacio métrico.
Lema 2.3.1. Sea - una bola abierta en un espacio métrico $+ , y sea -
,
entonces existe un

tal que - - .

..........
... ..

- -

Demostración. Basta tomar de modo que

. El número se
puede escoger

ası́ ya que, como -

, entonces

. Entonces

, puesto que si
#* -
$

entonces, por la desigualdad triangular,
$#% " &' $#% " 3& 3&

2.3. ABIERTOS. PROPIEDADES 19
Por tanto, # - .

Teorema 2.3.2 (Propiedad de Hausdorff). Si

$+ es un espacio métrico y son dos
puntos distintos, existen tales que - - .

Demostración. (Ejercicio)
Este resultado permite plantearse la definición de un tipo de subconjuntos que verifican esta condi-
ción, es decir, de aquellos subconjuntos tales que, para cualquier punto del subconjunto, existe una
bola abierta centrada en él y totalmente contenida en el subconjunto. Serán los conjuntos abiertos.
$+
-
Definición 2.3.3 (Conjunto abierto). Sea un espacio métrico. Diremos que un subcon-
junto es abierto en si para cada $+
existe un tal que 4 .
Observemos que el número real depende del punto , es decir, para diferentes ser án necesar-
ios diferentes radios .
Corolario 2.3.4. Cualquier bola abierta en un espacio m étrico $+ es un abierto

Ejemplo 2.3.5.
(1) Cualquier intervalo abierto de la recta real, incluso los intervalos abiertos no acotados, es en
subconjunto abierto de la recta real con la métrica del valor absoluto de la diferencia. También lo
son las uniones de intervalos abiertos. Sin embargo los intervalos

,

y

no lo son.

(2) Un conjunto abierto no tiene por qué ser una bola abierta. Ası́ el subconjunto de :

.
1 1,5 1 31

no es una bola abierta de

para la métrica euclı́dea, y sin embargo sı́ que es un subconjunto
abierto. Sin embargo el conjunto siguiente no es abierto

2

1 1,5 1 31%"

(3) En la métrica discreta, cualquier subconjunto es abierto.

(4) La condición de ser abierto depende de la métrica. El subconjunto es abierto para la
métrica discreta, pero no lo es para la métrica euclı́dea.
(5) La condición de ser abierto también depende del conjunto sobre el que se define la métrica.
+ 5 + $
es abierto en , pero no lo es en el espacio total con la métrica

9
Ası́, el intervalo

del valor absoluto.
Teorema 2.3.6. Sea $+ un espacio métrico, entonces se verifican:

1. y son abiertos.

2. Si

0 es una familia de abiertos en , entonces es un abierto.

3. Si

65 % es una familia finita de abiertos, entonces es un abierto.
(1) Es claro
Demostración.
(2) Si

, existirá un tal que
; como es abierto, para algún será
-
, lo que quiere
decir que la unión es un conjunto abierto.

(3) Si
, entonces para todo 5 % y como cada es abierto, cada
de centro , es decir, para cada 5 %

uno de estos conjuntos debe contener una bola

- tomamos . 5 % tendremos que

- -

existirá un tal que . Si
para todo 65 % y por tanto - .
Ejemplo 2.3.7.

131 Si consideramos
9
La intersección arbitraria de abiertos no es, en general un abierto. la familia de
abiertos
en , su intersección es -

, que no es abierto.
Algunas de las propiedades e ideas más importantes que abordaremos y, que de hecho, ya se están
abordando en análisis, necesitan del estudio de lo que ocurre en un punto y, más en concreto, en
las cercanı́as, en los alrededores de un punto; ası́ sucede con la continuidad, con la convergen-
cia,... Necesitamos realizar un estudio local. Vamos a ver algunos conceptos que facilitarán dicho

estudio.
$+

-
Definición 2.3.8 (Entorno). Sea un espacio métrico, un subconjunto y .
Diremos que es un entorno de si existe un
tal que .
Ejemplo 2.3.9.
(1) Una bola abierta en un espacio métrico, es entorno de todos sus puntos. En concreto, en

con
la métrica usual, un intervalo abierto, es entorno de todos sus puntos.
(2) El intervalo+ es un entorno del punto 5 , pero no lo es del punto .

9
Proposición 2.3.10. Un subconjunto de un espacio métrico $+ es abierto si y sólo si es
entorno de todos sus puntos.
2.4 Cerrados
Tan importantes como los abiertos, son sus complementarios, los llamaremos cerrados.
2.4. CERRADOS 21
$+
Definición 2.4.1 (Cerrado). Sea
es cerrado en
un espacio métrico. Diremos que un subconjunto
$+
si su complementario es un subconjunto abierto en
$+ .
Ejemplo 2.4.2.

&
En , con la métrica usual, los intervalos cerrados son subconjuntos cerrados; también lo son las

. No lo son los intervalos de la forma

o

9
semirrectas cerradas o
, .

Proposición 2.4.3. Un subconjunto de un espacio métrico

$+ es un cerrado si y sólo si para
todo
existe un tal que $ . - .

-
Demostración. ' Si es cerrado quiere decir que es abierto, por tanto, para todo

( , existe tal que , es decir, - $,

Si para todo (
), existe tal que - . , entonces - ,
entonces es abierto, luego es cerrado.
Ejemplo 2.4.4.

$ , el conjunto .
1 1 5 1 31)" no es cerrado y
1 1%",5 1 31+" , sı́ lo es.

(1) En
(2) En

$ , cualquier recta es un conjunto cerrado. 9
Definición 2.4.5. Sea $+ un espacio métrico, sea , y número real. Llamaremos
bola cerrada de centro y radio al conjunto
"
Las bolas cerradas contienen a las correspondientes bolas abiertas.
Proposición 2.4.6. En un espacio métrico, las bolas cerradas son conjuntos cerrados
Teorema 2.4.7. Sea $+ un espacio métrico, entonces se verifican:

1. y son cerrados.
2. Si

es una familia de cerrados en , entonces es un cerrado.

3. Si

65 % es una familia finita de cerrados, entonces es un cerrado.
Demostración. Se trata de aplicar las leyes de Morgan. (Ejercicio)
Ejemplo 2.4.8.
+ 5 3

(1) La unión arbitrario de cerrados no es, necesariamente un cerrado. Consideremos la familia

de intervalos cerrados en ; su intersección

+ 5 5 + 5
no es cerrado.
+ 5
(2) En la métrica discreta cualquier subconjunto es cerrado.
(3) Hay subconjuntos que no son ni abiertos ni cerrados, por ejemplo con la métrica

euclı́dea.
9
(4) También es posible que un subconjunto sea a la vez abierto y cerrado. Por ejemplo, con la
métrica discreta, cualquier subconjunto es a la vez abierto y cerrado.
$+ un espacio 2
y tal que - .
Definición 2.4.9. Sea métrico y . Diremos que es un subconjunto
acotado si eixten
Ejemplo 2.4.10.
(1)

con la métrica euclı́dea es un espacio métrico no acotado.
(2)

con la métrica discreta es un espacio métrico acotado.
5 5 5
(3) Los subespacios , y

de con la métrica euclı́dea son subespacios

métricos acotados. El subespacio

5&
no es acotado.

(4) Cualquier bola, abierta o cerrada, es un subespacio acotado. 9

Definición 2.4.11 (Diámetro de un conjunto). Sea un espacio métrico y $+ un
subconjunto acotado. Definimos el di ámetro de , y se representa por

como

0
Ejemplo 2.4.12.
(1) Los diámetros de los subconjuntos , 5 5 y 5 de

con la métrica usual son
5 5
respectivamente , y .

(2) El subespacio + 5

+ 5 de
es un subconjunto acotado para cada una de las tres métricas
, y - . Sus diámetros para cada una de estas tres métricas son, respectivamente, , y 5 9 .

Capı́tulo 3
Espacios topológicos
3.1 Espacio topológico
Definición 3.1.1. Un espacio topoló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 unión ∪i∈I Ai ∈ τ también está
en τ .
(3) Si A1 , A2 ∈ τ , entonces A1 ∩ A2 ∈ τ (la intersección de dos elementos de la familia τ

tambié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 condición (2) se deduce, por inducción, que la intersecció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 métrica. Todo espacio métrico (X, d) tiene asociado un espacio
topoló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 mé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 CAPÍTULO 3. ESPACIOS TOPOLÓGICOS
es un abierto y se llama topologı́a discreta, en este caso decimos que (X, P(X)) es un espacio
topológico discreto.
(3) Topologı́a indiscreta. Si consideramos ahora la familia {∅, X} cuyos únicos conjuntos son el
vacı́o y el propio X, tambié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 unión y τ3 falla en la intersecció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 será sobre conjuntos infinitos.
Como hemos visto, sobre un conjunto se puede definir más de una topologı́a. Podemos establecer
una cierta comparación:
Definición 3.1.3 (Topologı́as má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 más fina que τ1 o que τ1 es menos fina que τ2 , o bien que τ2 es más débil que τ1 . Dos
topologı́as son equivalentes si tienen los mismos abiertos y dos topologı́as no son comparables si
ninguna es má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 má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 también es abierto en R2 para la topologı́a usual.
Definición 3.1.5 (Base de una topologı́a). Sea (X, τ ) un espacio topológico. Diremos que una
subfamilia B ⊂ τ , es una base de la topologı́a τ si cada abierto A se puede expresar como unión
S
de conjuntos de B, es decir, existe {Bi }i∈I ⊂ B tal que A = i∈I Bi .
3.1. ESPACIO TOPOLÓGICO 25
Proposició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 só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 .
Demostración. =⇒ Si suponemos que B es base de una topologı́a τ en X, como X ∈ τ , está

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 intersección será unió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 algú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 será unión de conjuntos de
B, es decir, Ai = ∪j∈Ji Bij para cada i ∈ I con Bij ∈ B para todo j ∈ Ji ; como la unión es
asociativa, tendremos que
[ [ [ [
Ai = ( Bij ) = Bij
i∈I i∈I j∈Ji i∈I,j∈Ji
lo que implica que la unión de conjuntos de τ es de τ .
Por ú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 métrico (X, d).
(3) Los rectá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 topológico con la topologı́a discreta, la familia B = {{x} :
x ∈ X}, es una base de dicha topologı́a.
3.2 Cerrados
Definición 3.2.1 (Cerrado). Dado un espacio topoló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 métrico (X, d), la definición de cerrado para la métrica d coincide con la de
cerrado para la topologı́a τd , asociada a la distancia d.
(2) En un espacio topológico con la topologı́a indiscreta, los únicos cerrados son X y ∅.
(3) En un espacio topoló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 só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 topológico (X, τ ); o la topologı́a discreta del ejemplo anterior, tiene todos sus conjuntos
que son a la vez abiertos y cerrados. Tambié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 métricos ya hemos visto en [2.4.7].
Teorema 3.2.3. Dado un espacio topoló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 unión arbitraria de cerrados no es, en general, un
cerrado.
3.3 Entornos
Otro concepto que ya apareció en los espacios métricos, pero que en realidad es topológico es el
de entorno de un punto.
3.3. ENTORNOS 27
Definición 3.3.1 (Entorno de un punto). Dado un espacio topoló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 métrico, todo entorno para la métrica será obviamente un entorno para
la topologı́a asociada a la distancia. El recı́proco también es cierto.
(2) En un espacio topológico trivial el único entorno posible de un punto es el espacio total.
(3) En un espacio topológico discreto U ∈ Ux si y sólo si x ∈ U .
(4) En la topologı́a cofinita, U ∈ Ux si y sólo si x ∈ U y U c = X r U es finito.
Recordemos que, en un espacio métrico los conjuntos abiertos se pueden caracterizar a partir de la
noción de entorno. En el caso general de los espacios topológicos también se pueden caracterizar
los conjuntos abiertos de una manera análoga.
Proposición 3.3.3. En un espacio topológico (X, τ ), un conjunto A es abierto si, y sólo si A es
entorno de todos sus puntos.
Demostració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 será abierto ya que es unión de abiertos.
Proposición 3.3.4. Dados un espacio topoló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 tambié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 .
Demostració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 intersecció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

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 sólo con los intervalos. En el caso de un espacio métrico este papel lo
hacen las bolas y en el caso general introduciremos un concepto que facilitará el trabajo de forma
semejante:
Definición 3.3.5 (Base de entornos). Dado un espacio topoló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 mé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 métrico (X, d), la familia de bolas Vx = {B(x, n1 ) : n ∈ N∗ } es tambié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 topológico trivial o indiscreta, (X, τI ), la única base de entornos posible es la
formada únicamente por el espacio total X.
(5) Si el espacio topoló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 topológicos
Proposición 3.4.1. Sea (X, τ ) un espacio topoló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.
Demostració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 unión será

∪i∈I (H ∩ Ai ) = H ∩ (∪i∈I Ai ) y como ∪i∈I Ai ∈ τ por ser abiertos, tendremos que la unión de
elementos de τH también es de τH . Aplicando la misma propiedad en sentido contrario se prueba
que la intersección de dos elementos de τH también es de τH .
3.4. SUBESPACIOS TOPOLÓGICOS 29
Definición 3.4.2 (Subespacio topológico). Si (X, τ ) es un espacio topológico y H ⊂ X, al

espacio topológico (H, τH ) se le llama subespacio topoló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 métrico con la topologı́a asociada a la distancia
inducida son subespacios topológicos.

Los cerrados en la topologı́a inducida también son intersecciones de cerrados del espacio total con
el subespacio.
Proposición 3.4.4. Sea (X, τ ) un espacio topológico y sea H ⊂ X. Un subconjunto de F ⊂ H,

es un cerrado relativo si, y sólo si existe un cerrado C en el espacio total, de forma que F = C∩H.
Demostració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 qué 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.

Proposición 3.4.6. Sea (X, τ ) un espacio topológico y (H, τH ) un subespacio. Entonces:
(a) Todo subconjunto A ⊂ H abierto en (H, τH ) es abierto en (X, τ ) si, y sólo H es abierto
en (X, τ ).
(b) Todo subconjunto C ⊂ H cerrado en (H, τH ) es cerrado en (X, τ ) si, y sólo H es

cerrado en (X, τ ).
Demostración. (a) Si todo abierto en τH lo es en τ , como H es abierto en τH tambié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 será abierto en el espacio total por ser intersección de abiertos.
(b)(Ejercicio).
Cada una de las dos afirmaciones de la proposició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 será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 sección, como son los entornos y las bases de entornos en la topologı́a
inducida.
Proposición 3.4.8. Sea (X, τ ) un espacio topológico, y sea H ⊂ X. Dado x ∈ H, un subconjunto
V ⊂ H es un entorno relativo de x (V ∈ UxH ) si, y sólo si existe U entorno de x en el espacio
total, (U ∈ Ux ), de forma que V = U ∩ H.
Demostración. =⇒ Sea V un entorno relativo de x: existe B ∈ τH tal que x ∈ B ⊂ V ;

entonces existirá A ∈ τ tal que B = A ∩ H. Sea U = A ∪ V ; evidentemente U ∈ Ux , pues
x ∈ B = A ∩ H, x ∈ A ⊂ A ∪ V . Ademá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 .
Proposición 3.4.9. Sea (X, τ ) un espacio topoló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.
Demostració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 TOPOLÓGICOS METRIZABLES 31
3.5 Espacios topológicos metrizables
Ya hemos visto en el ejemplo [3.1.2,1)] que cualquier espacio métrico (X, d) tiene asociada una
topologı́a que llamamos τd , a partir de la definición [2.3.3] y el teorema [2.3.6]. Nos podemos
preguntar si todo espacio topológico procede de una métrica.
Definición 3.5.1 (Espacio metrizable). Diremos que un espacio topoló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 topológico es metrizable. Por ejemplo, si X es un conjunto que contiene
más de un punto y lo consideramos dotado de la topologı́a indiscreta (X, τI ), no es un espacio
metrizable, puesto que los únicos cerrados para esta topologı́a son ∅ y X, pero sabemos que en
un espacio métrico, los conjuntos finitos son cerrados, con lo cual deberı́an existir más cerrados.

Sigue teniendo, en el presente curso, un gran interés estudiar los espacios cuya topologı́a es metriz-
able, es decir, los espacios métricos. Vamos a recordar como se concretan en los espacios mé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 mé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.- También hemos definido y caracterizado los cerrados de un espacio mé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.
También hemos visto que en el ejemplo [3.3.6 3)] que el conjunto {B(x, n1 ) : n ∈ N∗ } es también
una base de entornos.
También hemos estudiado en el capı́tulo anterior los subespacios métricos. Veamos que son los
subespacios topológicos asociados a la métrica.
Proposición 3.5.3. Sea un espacio métrico (X, d) y sea un subconjunto H ⊂ X. Entonces la

topologı́a asociada a la métrica inducida sobre H coincide con la topologı́a inducida por la
topologı́a métrica en X. Es decir: τd \H = τdH
Demostració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 topológico es metrizable. Cabe entonces hacerse la siguiente
pregunta: ¿Existen diferencias topológicas entre un espacio topoló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 topológico arbitrario.
Definición 3.5.4 (Espacio de Hausdorff o T2 ). Diremos un espacio topoló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 = ∅.
Proposición 3.5.5. Un espacio topológico (X, τ ) es de Hausdorff si, y só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 = ∅.
Demostración. Es consecuencia directa de la definición anterior y la de entorno.
Ejemplo 3.5.6.
(1) Todo espacio métrico es de Hausdorff.
(2) No todo espacio topológico es T2 . La recta real, con la topologı́a cofinita no es un espacio de
Hausdorff.
Vamos a comparar las topologı́as métricas. En realidad estudiaremos cuando dos métricas sobre
un mismo espacio X generan la misma topologı́a, que es lo realmente interesante.
Definición 3.5.7 (Métricas equivalentes). Diremos que dos mé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 .
Proposición 3.5.8. Sean d y d0 dos distancias definidas sobre un conjunto X. Entonces d y

d0 son equivalentes si, y só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 TOPOLÓGICOS METRIZABLES 33
Demostració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).
Análogamente se demuestra la segunda afirmació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, existirá δ 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 análoga se demuestra
que todo abierto de τd0 lo es tambié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
Demostració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 análoga,
tomando δ 0 = mr se tiene que Bd0 (x, δ 0 ) ⊂ Bd (x, r).
Ejemplo 3.5.10.
(1) El hecho de que dos métricas sean equivalentes, significa que tienen los mismos abiertos,
pero no necesariamente las mismas bolas; por ejemplo en Rn las tres métricas d1 , d2 y d∞ son
equivalentes (Ejercicio) y sin embargo, como ya hemos visto, no tienen las mismas bolas.
(2) La métrica euclı́dea y la métrica discreta sobre R2 no son equivalentes.

34
Capı́tulo 4
Subconjuntos notables de un Espacio

Topológico
4.1 Adherencia
Definición 4.1.1 (Punto adherente). Sea (X, τ ) un espacio topológico, y sea S un subconjunto
de X. Diremos que x ∈ X es un punto adherente de S si todo entorno U de x cumple U ∩ S 6= ∅,
es decir, U corta a S (no hay ningún entorno de x totalmente contenido en X r S). El conjunto
de puntos adherentes de S se llama la adherencia de S y se representa por S.
Observación.-
(1) Tal y como se ha definido la adherencia de un conjunto S, es evidente que S ⊂ S.
(2) Si S1 ⊂ S2 , entonces S1 ⊂ S2 .
La definición exige que se compruebe una propiedad para todos los entornos de un punto. Por
tanto, será útil disponer de una caracterización que permita reducir el número de comprobaciones.
Esta es una de las razones más importantes de la utilidad del concepto de base de entornos.
Proposición 4.1.2. Sean (X, τ ) un espacio topológico, S ⊂ X un subconjunto de X, x ∈ X, y

sea B(x) un base de entornos de x en la topologı́a τ . Entonces x ∈ S si, y sólo si V ∩ S 6= ∅
para cada V ∈ B(x).
Demostración. -
⇒ Supongamos que x ∈ S, y V ∈ B(x). Como B(x) ⊂ E(x), según la definición de punto

adherente, V ∩ S 6= ∅.
35
36 CAPÍTULO 4. SUBCONJUNTOS NOTABLES DE UN ESPACIO TOPOLÓGICO
⇐ Si ahora suponemos que todo V ∈ B(x) cumple V ∩ S 6= ∅. Como B(x) es base de entornos
de x, para todo U ∈ E(x) existe un V ∈ B(x) tal que V ⊂ U . Como V ∩S 6= ∅, y V ∩S ⊂ U ∩S
tenemos que U ∩ S 6= ∅.
En particular, si la topologı́a está generada por una métrica, se pueden utilizar algunas bases de
entornos formadas por bolas y obtener los siguientes resultados particulares:
Ejemplo 4.1.3.
(1) Sea (X, d) un espacio métrico, y sea S un subconjunto de X. Entonces, x ∈ X es un punto

adherente de S (x ∈ S) si, y sólo si B(x, r) ∩ S 6= ∅, para todo r > 0.
(2) Sea (X, d) un espacio métrico, y sea S un subconjunto de X. Entonces, x ∈ X es un punto

adherente de S (x ∈ S) si y sólo si para todo n ∈ N, la bola de centro x y radio n1 , B(x, n1 ), corta
a S. Recordemos que estas bolas constituyen una base de entornos de x.
La propiedad más caracterı́stica de la adherencia de un conjunto S es la de que es el menor cerrado

que contiene al conjunto S.
Proposición 4.1.4. Sea (X, τ ) un espacio topológico, y S ⊂ X un subconjunto, entonces S es un

Demostración. Veamos que X r S es un abierto comprobando que es un entorno de todos sus

puntos. Sea x ∈ X r S, entonces x no es un punto adherente, por tanto, existe U , entorno de x,
tal que U ∩ S = ∅. Como U es un entorno de x existe un abierto, A ∈ τ , tal que x ∈ A ⊂ U . Por
tanto A ∩ S = ∅.
Veamos que A ⊂ X r S, con lo que X r S será abierto. Para todo y ∈ A, como A es abierto,
será un entorno de y que no corta a S, luego y ∈
/ S. Es decir, A ⊂ X r S. Por tanto X r S es un
entorno de x. Y esto para todo x que no esté en S, entonces X r S es abierto.
Proposición 4.1.5. Sea (X, τ ) un espacio topológico, S ⊂ X un subconjunto y C ⊂ X un

cerrado tal que S ⊂ C. Entonces S ⊂ C. Esto quiere decir que S es el menor cerrado que
contiene a S.
Demostración. Veámoslo por reducción al absurdo. Si C es un cerrado con S ⊂ C. Supongamos

que S 6⊂ C, es decir, que existe un punto x ∈ S tal que x ∈/ C. Entonces, X r C es un abierto
que contiene al punto x y como que S ⊂ C, se cumple que (X r C) ∩ S = ∅. Por tanto, x no es
un punto adherente de S, lo cual es una contradicción.
En particular, la propiedad anterior proporciona una caracterización de los conjuntos cerrados

como aquellos que contienen a todos los puntos de su adherencia:
4.1. ADHERENCIA 37
Corolario 4.1.6. Un conjunto C, en un espacio topológico, es cerrado si y sólo si C = C.
El Corolario anterior es equivalente a decir que un conjunto C es cerrado si y sólo si C ⊂ C, ya

que la otra inclusión siempre es cierta.
Ejemplo 4.1.7.
(1) En el espacio topológico trivial (X, τT ), la adherencia de cualquier conjunto no vacı́o es el

espacio total X.
(2) En un espacio topológico discreto (X, τD ), la adherencia de cualquier conjunto S es el mismo

S.
(3) En la topologı́a cofinita (X, τcf ), la adherencia de cualquier conjunto finito es él mismo, y la
de los conjuntos infinitos es el espacio total.
(4) En (R, τu ), (0, 1) = [0, 1].
4.1.1 Subconjuntos densos
Definición 4.1.8 (Subonjunto denso). Sea (X, τ ) un espacio topológico, diremos que un subcon-
junto S ⊂ X es denso en X si S = X.
Podemos caracterizar los subconjuntos de la siguiente forma.
Proposición 4.1.9. Sea (X, τ ) un espacio topológico, y sea S ⊂ X. Entonces S es denso en

(X, τ ) si, y sólo si todo abierto no vacı́o, A ∈ τ , cumple que A ∩ S 6= ∅.
Demostración. -
⇒ Supongamos que S ⊂ X es denso, es decir, S = X y sea A 6= ∅ un abierto; si x ∈ A como

x ∈ S = X y A es entorno de x, se cumple, por la definición de adherencia, que A ∩ S 6= ∅.
⇐ Supongamos ahora que para todo A 6= ∅ abierto, se cumple que A ∩ S 6= ∅. Si suponemos

que S 6= X, entonces X r S serı́a un abierto no vacı́o, pero (X r S) ∩ S = ∅, en contra de lo
supuesto. Por tanto, S = X.
Ejemplo 4.1.10.
(1) El conjunto de los racionales Q es denso en (R, τu ). Destacamos que R contiene, entonces, un
subconjunto numerable denso que es Q.
Definición 4.1.11 (Espacio separable). Diremos que un espacio topológico (X, τ ) es separable
si contiene un subconjunto numerable denso.
Ejemplo 4.1.12.
(R, τu ) es separable.

4.1.2 Puntos aislados y puntos de acumulación
Definición 4.1.13 (Punto de acumulación). Sea (X, τ ) un espacio topológico, y sea S ⊂ X.

Diremos que un punto x ∈ X es un punto de acumulación de S en (X, τ ), si cualquier entorno
U de x contiene un punto de S distinto de x. Es decir, si (U − {x}) ∩ S 6= ∅. El conjunto de
todos los puntos de acumulación de S se llama la acumulación o conjunto derivado de S, y se
representa por S 0 .
Definición 4.1.14 (Punto aislado). Sea (X, τ ) un espacio topológico, y sea S ⊂ X. Diremos que
un punto x ∈ S ⊂ X es un punto aislado de S en (X, τ ), si existe un entorno U de x tal que
U ∩ S = {x}.
Proposición 4.1.15. Sea (X, τ ) un espacio topológico y S ⊂ X. Entonces:
a) El conjunto de puntos aislados de S es S r S 0 .
b) S = S ∪ S 0
Ejemplo 4.1.16.
(1) En un espacio métrico (X, d) las definiciones anteriores se concretan diciendo que un punto
x ∈ X es punto de acumulación de S ⊂ X si para todo r > 0 (B(x, r) r {x}) ∩ S 6= ∅ y que un
punto x ∈ S ⊂ X es punto aislado de S si existe r > 0 tal que B(x, r) ∩ S = {x}.
(2) En R con la topologı́a usual, todo natural n ∈ N es un punto adherente a N pero no es de

acumulación, es decir, los naturales son puntos aislados en (R, τu ). En efecto (B(n, 12 ) r {n}) ∩
N = ∅.
(3) Si consideramos el conjunto A = { n1 : n ∈ N} en (R, τu ), entonces A0 = {0} y todos los

elementos de A son puntos aislados.

4.2. INTERIOR Y FRONTERA 39
4.2 Interior y frontera
Definición 4.2.1 (Punto interior). Sea (X, τ ) un espacio topológico, y sea S ⊂ X un subcon-
junto. Diremos que x ∈ S es un punto interior de S si S es un entorno de x. El conjunto de los
◦
puntos interiores de S se denomina el interior de S y se representa por S .
◦
z }| {
Diremos que un punto x ∈
/ S es exterior a S si x ∈(X r S), es decir x es del interior del
complementario de S.
Observación.-
◦
(1) Si S ⊂ X con (X, τ ) espacio topológico, S ⊂ S.
(2) Si S1 ⊂ S2 , entonces
Ejemplo 4.2.2.
(1) En R con la topologı́a usual, [0, 1)◦ = (0, 1).

◦
(2) En R con la topologı́a usual Q= ∅ y el exterior de Q también es vacı́o.
(3) Consideremos un espacio topológico con la topologı́a trivial y sea S un subconjunto de dicho
◦
espacio, que no sea el total. Entonces S = ∅.
Proposición 4.2.3. Sea (X, τ ) un espacio topológico, y sea S ⊂ X un subconjunto. Un punto

x ∈ S es interior de S si, y sólo si x ∈
/ (X r S). Esto es lo mismo que decir,
◦
S = X r (X r S)
Demostración. - Ejercicio
Una importante caracterı́stica del interior de un conjunto es que se trata del mayor abierto con-
tenido en dicho conjunto.
Proposición 4.2.4. Sea (X, τ ) un espacio topológico y S ⊂ X un subconjunto. Entonces se

cumplen:
◦
a) S es abierto.
◦
b) Si A ⊂ S y A es abierto, entonces A ⊂S
◦
Esto quiere decir que S es el mayor abierto contenido en S.
Demostración. -
◦
(a) Por la proposición anterior sabemos que S es el complementario de un cerrado, por tanto es
abierto.
(b) Sea A un abierto no vacı́o tal que A ⊂ S, y sea x un punto de A. Como A es abierto, es un
◦
entorno de x y por tanto también lo es S. Por tanto, x es un punto interior de S, luego A ⊂S .
En particular, esta proposición proporciona una caracterización de los conjuntos abiertos como
aquellos en los que todos sus puntos son interiores:
◦
Corolario 4.2.5. Un subconjunto S de un espacio topológico (X, τ ) es abierto si y sólo si S =S .
Se puede caracterizar el interior en términos de bases de entornos.

4.2. INTERIOR Y FRONTERA 41
Proposición 4.2.6. Sea (X, τ ) un espacio topológico, S ⊂ X y x ∈ S. Si B(x) una base de

◦
entornos de x en la topologı́a τ . Entonces x ∈S si, y sólo si existe V ∈ B(x) tal que V ⊂ S.
De nuevo nos interesa concretar estas caracterizaciones en el caso de los espacios métricos.
Ejemplo 4.2.7.
◦
(1) Sea (X, d) un espacio métrico y S ⊂ X; x ∈S si, y sólo si existe r > 0 tal que B(x, r) ⊂ S.
◦
(2) Sea (X, d) un espacio métrico y S ⊂ X; x ∈S si, y sólo si existe n ∈ N tal que B(x, n1 ) ⊂ S.
Definición 4.2.8 (Frontera). Sea (X, τ ) un espacio topológico, y sea S ⊂ X un subconjunto.

Diremos que x ∈ X es un punto frontera de S si todo entorno U de x cumple que U ∩ S 6= ∅
y U ∩ (X r S) 6= ∅. El conjunto de puntos frontera de S se denomina la frontera de S, y se
representa por f r(S).
Proposición 4.2.9. Sea (X, τ ) un espacio topológico, y sea S ⊂ X un subconjunto. Entonces,

f r(S) = S ∩ (X r S)
Corolario 4.2.10. Si S es un subconjunto de un espacio topológico, entonces f r(S) es cerrado.
Ejemplo 4.2.11.
(1) La frontera de (0, 1) en (R, τu ) es el conjunto de dos elementos {0, 1}.
(2) En (R, τu ), f r(Q) = Q
Proposición 4.2.12. Sea (X, τ ) un espacio topológico, sea S ⊂ X un subconjunto y B(x) una
base de entornos de un punto x ∈ X en la topologı́a τ . Entonces x ∈ f r(S) si, y sólo si para
todo V ∈ B(x) se cumple que V ∩ S 6= ∅ y V ∩ (X r S) 6= ∅.
Ejemplo 4.2.13.
(1) Sea (X, d) un espacio métrico y S ⊂ X un subconjunto, un punto x ∈ f r(S) si, y sólo si para
todo r > 0, B(x, r) ∩ S 6= ∅ y B(x, r) ∩ (X r S) 6= ∅.
(2) Sea (X, d) un espacio métrico y S ⊂ X un subconjunto, un punto x ∈ f r(S) si, y sólo si para
todo n ∈ N, B(x, n1 ) ∩ S 6= ∅ y B(x, n1 ) ∩ (X r S) 6= ∅.
Proposición 4.2.14. Sea (X, τ ) un espacio topológico, y sea S ⊂ X un subconjunto. Los puntos
adherentes son, o bien puntos interiores, o bien puntos frontera. Es decir:
◦
f r(S) = Sr S
Demostración. Hemos visto en la proposición [4.2.9, pag.41] que f r(S) = S ∩ X r S. Entonces

por la proposición [4.2.3, pag.40] tenemos
◦ ◦
S ∩ X r S = S ∩ (Xr S ) = S− S
4.3 Sucesiones
Definición 4.3.1 (Sucesión convergente). Sea (X, τ ) un espacio topológico, y sea (xn )∞
n=1 una
∞
sucesión de puntos de X. Diremos que (xn )n=1 converge a x en (X, τ ) (xn −→ x o limn xn = x)
si para todo entorno U de x existe un n0 , de modo que si n > n0 , entonces xn ∈ U . A x se le
llama lı́mite de (xn )∞
n=1 .
Ejemplo 4.3.2.
(1) La convergencia de una sucesión depende de la topologı́a. Sea un conjunto X y (xn )∞n=1 con
xn = x ∈ X para todo n, la sucesión constante x. Entonces se dan las dos situaciones siguientes:
a) (xn )∞
n=1 converge a cualquier punto y ∈ X en la topologı́a trivial (X, τT ).
b) {xn }∞
n=1 sólo converge a x en la topologı́a discreta(X, τD ).

Proposición 4.3.3. Sea (X, τ ) un espacio topológico, sea (xn )∞n=1 una sucesión en X, y B(x)
una base de entornos de x en la topologı́a τ . Entonces (xn )∞
n=1 converge a x si y sólo si para todo
V ∈ B(x) existe un no , tal que si n > no , entonces xn ∈ V .
Demostración. -
⇒ Si (xn )∞
n=1 converge a x, como B(x) ⊂ E(x), la condición se cumple para todos los V ∈
B(x).
⇐ Si ahora suponemos B(x) es una base de entornos de x y que para todo V ∈ B(x), existe
no tal que n > no implica que xn ∈ V . Si U ∈ E(x) es un entorno de x, como B(x) es base de
entornos, existirá V ∈ B(x) tal que V ⊂ U . Entonces para este V existirá un no de manera que
si n > no , se tiene que xn ∈ V ⊂ U . Por tanto, el mismo no sirve ya que para todo n > no ,
xn ∈ U .
4.3. SUCESIONES 43
Ejemplo 4.3.4.
(1) La definición de convergencia en R, con la topologı́a usual asociada al valor absoluto, coincide
con la conocida de sucesión convergente.
(2) En el caso de los espacios métricos, en general, la convergencia de una sucesión a un punto
obtenemos la siguiente formulación:
Sea (X, d) un espacio métrico, y sea (xn )∞ ∞

n=1 una sucesión en X. Entonces (xn )n=1 converge a x
si y sólo si para todo
ε > 0 existe no tal que n > no =⇒ d(xn , x) < ε
(3) La convergencia se puede reducir, en el caso de los espacios, el estudio de la convergencia de

una sucesión de números reales:
Sea (X, d) un espacio métrico, y (xn )∞ ∞

n=1 una sucesión en X. Entonces, (xn )n=1 converge a x si
y sólo si la sucesión de las distancias (d(xn , x))∞
n=1 converge a 0 en (R, | |).
Proposición 4.3.5. Sea (X, τ ) un espacio topológico de Hausdorff, y (xn )∞

n=1 una sucesión en
∞
X. Entonces, si (xn )n=1 converge, su lı́mite e único.
Demostración. Supongamos que (xn )∞n=1 es convergente en X a dos puntos distintos x 6= y.

Como X es Hausdorff, existen entornos U ∈ E(x) y V ∈ E(y) tales que U ∩ V = ∅.
Por otra parte, como (xn )∞

n=1 converge a x, par el entorno U de x, existe un no tal que si n > no ,
entonces xn ∈ U .
Igualmente, para el entorno V de y, existe un n1 tal que si n > n1 , entonces xn ∈ V . Ası́, para
todo n > n1 y n > no a la vez, se cumple xn ∈ U y xn ∈ V , lo que está en contradicción con el
hecho de que U ∩ V = ∅.
Proposición 4.3.6. Sea (X, d) un espacio métrico, y sea S ⊂ X. Entonces x ∈ S si, y sólo si
existe una sucesión (xn )∞
n=1 ⊂ S, tal que xn −→ x.
Demostración. -
⇒ Supongamos que x ∈ S. Sabemos que {B(x, n1 ) : n ∈ N} es una base de entornos de x en

(X, d), por tanto, según hemos visto en una proposición anterior, B(x, n1 ) ∩ S 6= ∅. Podemos
construir entonces una sucesión de la siguiente forma:
Si n = 1 tomamos x1 ∈ B(x, 1) ∩ S.
Si n = 2 tomamos x2 ∈ B(x, 12 ) ∩ S.
Ası́ sucesivamente para cada n tomamos xn ∈ B(x, n1 ) ∩ S.

De esta manera obtenemos una sucesión (xn )∞

n=1 de puntos de S que converge a x evidentemente.
⇐ Si existe una sucesión (xn )∞

n=1 en S tal que xn −→ x. Entonces para todo U ∈ E(x), existe
un no tal que n > no implica que xn ∈ U , es decir U ∩ S 6= ∅ y por tanto x ∈ S.
La propiedad anterior para los puntos adherentes permite dar dos caracterizaciones más, una para
un conjunto denso, y otra para los puntos frontera.
Proposición 4.3.7. Sea (X, d) un espacio métrico, y sea S ⊂ X un subconjunto. Entonces S es

denso en X si, y sólo si para todo x ∈ X, existe una sucesión (xn )∞
n=1 en S tal que xn −→ x.
Demostración. Simplemente hay que tener en cuenta la definición de conjunto denso y la proposi-
ción anterior.
Proposición 4.3.8. Sea (X, d) un espacio métrico, y sea S ⊂ X. Un punto x ∈ X es un punto

frontera de S si, y sólo si existe una sucesión (xn )∞ ∞
n=1 en S y otra (yn )n=1 en X r S, tales que
xn −→ x e yn −→ x.
Demostración. De nuevo, sólo hay que tener en cuenta la definición de punto frontera y la
proposición [4.3.6].
Capı́tulo 5
Continuidad
5.1 Continuidad en un punto
Definición 5.1.1 (Aplicación continua en un punto). Sean (X, τ ) e (Y, τ 0 ) dos espacios topológicos,
y sea f : X −→ Y una aplicación entre ellos. Diremos que f es continua en un punto a ∈ X si
para todo U ∈ E(f (a)) existe un V ∈ E(a) tal que f (V ) ⊂ U .
Proposición 5.1.2 (Continuidad y base de entornos). Sean (X, τX ), (Y, τY ) dos espacios topológicos,
f : X −→ Y una aplicación y B(a) y B(f (a)) son bases de entornos de a en τX y de f (a) en τY ,
respectivamente. Entonces f es continua en a si y sólo si para todo U ∈ B(f (a)) existe V ∈ B(a)
tal que f (V ) ⊂ U .
Demostración. -
⇒ Supongamos que f es continua en a. Dado U ∈ B(f (a)) existirá V ∈ E(a) tal que f (V ) ⊂
U . Pero como B(a) es base de entornos tendremos que existe V 0 ∈ B(a) de modo que V 0 ⊂ V ,
con lo que f (V 0 ) ⊂ f (V ) ⊂ U .
⇐ Sea ahora U ∈ E(f (a)), entonces existe U 0 ∈ B(f (a)) de modo que U 0 ⊂ U . Por hipótesis
existe V ∈ B(a) de modo que f (V ) ⊂ U 0 ⊂ U y como V ∈ B(a) ⊂ E(a).
Corolario 5.1.3 (Continuidad en un espacio métrico). Sean dos espacios métricos (X, d) e
(Y, d0 ), una aplicación f : X −→ Y , y un punto a ∈ X. Entonces f es continua en a si
y sólo si para todo ε > 0 existe un δ > 0 tal que siempre que d(x, a) < δ se verifica que
d0 (f (x), f (a)) < ε.
Demostración. Sólo hay que tener en cuenta que las bolas abiertas son base de entornos en una
topologı́a métrica.
45
46 CAPÍTULO 5. CONTINUIDAD
Ejemplo 5.1.4.
(1)La continuidad en R, con la topologı́a usual, coincide con el concepto habitual de continuidad
utilizado en Análisis. En particular se tiene la siguiente lista de funciones continuas de R en R:
(a) las funciones constantes
(b) la función identidad
(c) las funciones elementales xa , sen(x), cos(x), ex y sus inversas en sus dominios de definición.
(d) la suma y el producto de funciones continuas.
(e) la inversa para el producto de una función continua no nula.
(2)En Rn con la topologı́a usual (d = d2 o d1 o d∞ ), podemos hacer algo similar: f : Rn −→ Rn

es continua en a = (a1 , . . . , an ) ∈ Rn si y sólo si
para todo ε > 0 existe δ > 0 tal que d(x, a) < δ ⇒ d(f (x), f (a)) < ε
(3) Consideremos el conjunto X = {a, b, c, d} con la topologı́a τ = {X, ∅, {a}, {b}, {a, b}, {b, c, d}}.
La función f : X −→ X, definida por el diagrama siguiente, es continua en d y no lo es en c.
a a
b :z b
c : c
d jd
Proposición 5.1.5 (Continuidad y sucesiones). Sean dos espacios métricos (X, d) e (Y, d0 ), f :
X −→ Y una aplicación entre ellos, y a ∈ X. Entonces son equivalentes:
(a) f es continua en a.
(b) Si (xn )∞ ∞
n=1 es una sucesión en X con lı́mite a, entonces {f (xn )}n=1 converge a f (a).
Demostración. -
(a)⇒(b)
Supongamos que f es continua en a ∈ X y que (xn )n → a. para ver que (f (xn ))n → f (a)
tenemos que probar que dado
ε > 0, existe no tal que n > no ⇒ d0 (f (xn ), f (a)) < ε

5.1. CONTINUIDAD EN UN PUNTO 47
Como f es continua en a, dado
ε > 0, existe δ > 0 tal que d(x, a) < δ ⇒ d0 (f (x), f (a)) < ε
Por otra parte, como (xn )n → a, dado
δ > 0, existe no tal que n > no ⇒ d(xn , a) < δ
Por tanto, si n > no , d0 (f (xn ), f (a) < ε puesto que d(xn , a) < δ.
b)⇒a)
Supongamos que (f (xn ))n converge a f (a) y supongamos que f no es continua. Eso significa
que existe
ε > 0 tal que para cada δ > 0 existe xδ ∈ X con d(xδ , a) < δ y d0 (f (xδ ), f (a) ≥ ε.
Si para este ε fijo, tomamos
δ = 1 existe x1 con d(x1 , a) < 1 y d0 (f (x1 ), f (a)) > ε

1 1
δ= existe x2 con d(x2 , a) < y d0 (f (x1 ), f (a)) > ε
2 2
Ası́ sucesivamente para
1 1
δ= existe xn con d(xn , a) < y d0 (f (x1 ), f (a)) > ε
n n
De modo que hemos obtenido una sucesión (xn )n en X que converge hacia a puesto que la
sucesión de términos positivos (d(xn , a))n es menor término a término que la sucesión ( n1 )n ; y, sin
embargo, la sucesión (f (xn ))n no converge a f (a) ya que siempre es d0 (f (xn ), f (a)) > ε.
Ejemplo 5.1.6.
Sea función f : R −→ R, en ambos casos con la topologı́a usual, definida por
(
1
si x 6= 1
f (x) x−1
1 si x = 1
1
no es continua en x = 1, pues la sucesión xn = 1 + n tiene por lı́mite 1, y sin embargo
1
lim f (xn ) = lim 1 = lim n 6= f (1)
n n
n +1−1 n
Proposición 5.1.7 (Composición de funciones continuas). Sean (X, τ ), (Y, τ 0 ) y (Z, τ 00 ) tres
espacios topológicos, y sean f : X −→ Y , g : Y −→ Z dos aplicaciones tales que f es continua
en a ∈ X, y g es continua en f (a). Entonces g ◦ f es continua en a.
Demostración. Sea U ∈ E(g(f (a))). Por el hecho de ser g continua en f (a) existe V ∈ E(f (a))
tal que g(V ) ⊂ U y como f es continua en a, existe W ∈ E(a) tal que f (W ) ⊂ V . Pero entonces
g(f (W )) ⊂ g(V ) ⊂ U .
Proposición 5.1.8 (Continuidad y adherencia). Sean (X, τ ) e (Y, τ 0 ) dos espacios topológicos,
f : X −→ Y una aplicación continua en a ∈ X y un subconjunto S ⊂ X. Entonces si a ∈ S se
cumple que f (a) ∈ f (S) (f (S) ⊂ f (S)).
Demostración. Sea U ∈ E(f (a)); como f es continua en a existe V ∈ E(a) tal que f (V ) ⊂ U .
Pero a es un punto de adherencia de S, por tanto V ∩ S 6= ∅. Esto implica que
∅ 6= f (V ∩ S) ⊂ f (V ) ∩ f (S) ⊂ U ∩ f (S),
y ası́ f (a) es un punto de adherencia de f (S).
Ejemplo 5.1.9.
El resultado anterior no es cierto ni para puntos interiores ni para puntos frontera pues la función
◦
◦ z }| {
cos : R −→ R es una función continua, 0 ∈R y, sin embargo cos 0 = 1 ∈ / f (R)= (−1, 1). Por
otra parte, si S = [0, π] ∪ { 3π
2 }, 3π
2 ∈ f r(S), pero cos( 3π
2 ) = 0 ∈
/ f r(cos(S)).
5.2 Continuidad en todo el espacio
Definición 5.2.1 (Función continua). Sean dos espacios topológicos (X, τ ) e (Y, τ 0 ), y sea f :
X −→ Y una aplicación entre ellos. Diremos que f es continua (en X) si lo es en todo punto de
X.
Proposición 5.2.2. Sean (X, τ ) e (Y, τ 0 ) dos espacios topológicos, y sea f : X −→ Y una
aplicación. Entonces son equivalentes:
a) f es continua.
b) Para todo A ∈ τ 0 , f −1 (A) ∈ τ .
Demostración. -
a)⇒b) Supongamos que f es continua y sea A ∈ τ 0 . Para demostrar que f −1 (A) es abierto en
τ veremos que es entorno de todos sus puntos. Sea x ∈ f −1 (A), entonces f (x) ∈ A, luego A
es entorno de f (x). Como f es continua, en particular lo será en x, y existe V ∈ E(a) tal que
f (V ) ⊂ A. Pero eso implica que V ⊂ f −1 (A) y ası́ f −1 (A) ∈ E(a).
5.2. CONTINUIDAD EN TODO EL ESPACIO 49
b)⇒a) Supongamos ahora que para todo A ∈ τ 0 , f −1 (A) ∈ τ y veamos que f es continua en
cada punto de X. Sea x ∈ X y sea U ∈ E(f (x)). Entonces existe A ∈ τ 0 tal que f (x) ∈ A ⊂ U .
Eso significa que x ∈ f −1 (A) y como f −1 (A) ∈ τ se puede tomar V = f −1 (A) ∈ E(x).
Además, f (V ) = f (f −1 (A)) ⊂ A ⊂ U , por tanto f es continua en x.
Proposición 5.2.3. Una aplicación f : (X, τ ) −→ (Y, τ 0 ) es continua si y sólo si para todo
cerrado C en (Y, τ 0 ), se tiene que f −1 (C) es un cerrado en (X, τ ).
Proposición 5.2.4 (Continuidad y bases). Sean (X, τ ) e (Y, τ 0 ) dos espacios topológicos y B 0
una base de (Y, τ 0 ). Son equivalentes:
(a) La aplicación f : X −→ Y es continua.
(b) Para todo B‘ ⊂ B0 , se cumple que F −1 (B 0 ) es abierto en (X, τ ).
Demostración. Ejercicio.
Ejemplo 5.2.5.
(1) Hay que tener en cuenta que, en general, si f : X → Y es continua y A es un abierto en

X, f (A) no tiene por qué ser abierto en Y . Por ejemplo la función f : R −→ R, dada por
f (x) = sen(x), es continua para la topologı́a usual y sin embargo, f (R) = [−1, 1] que no es un
abierto en R.
(2) Una función constante f : X → Y es continua respecto cualquier topologı́a en X y cualquier

topologı́a en Y .
(3) Si (X, τD ) es un espacio topológico discreto, toda aplicación f : X −→ Y en un espacio

topológico (Y, τ 0 ) es continua.
(4) Si (Y, τT ) es un espacio topológico con la topologı́a trivial, toda aplicación f : (X, τ ) −→
(Y, τT ) es continua.
(5) La función identidad 1 : (X, τ ) → (X, τ 0 ) tal que 1(x) = x para cada x ∈ X, es continua si,
y sólo si τ es más fina que τ 0 .
Proposición 5.2.6 (Composición y continuidad). Sean f : (X, τ ) −→ (Y, τ 0 ) y g : (Y, τ 0 ) −→
(Z, τ 00 ) dos aplicaciones continuas, entonces la composición g ◦ f : X −→ Z es continua.
Demostración. Si A ∈ τ 00 es un abierto, tenemos que probar que (g◦f )−1 (A) ∈ τ . En efecto, (g◦
f )−1 (A) = f −1 (g −1 (A)), y como g es continua, g −1 (A) ∈ τ 0 , y al ser f continua f −1 (g −1 (A)) ∈
τ.
Definición 5.2.7 (Aplicación abierta y aplicación cerrada). Sean dos espacios topológicos (X, τ )
e (Y, τ 0 ), y f : X −→ Y una aplicación. Diremos que f es abierta si para todo A ∈ τ , f (A) ∈ τ 0
y diremos que f es cerrada si para todo C ⊂ X cerrado en τ , f (A) ⊂ Y , es cerrado en τ 0 .
Ejemplo 5.2.8.
La proyección π : (R2 , d2 ) −→ (R, τu ) del plano sobre el eje de las x, π(x, y) = x es una
aplicación abierta puesto que la proyección de cualquier bola abierta B((a, b), r) sobre el eje de
las x es un intervalo abierto (a−r, a+r). Pero no es cerrada puesto que la proyección del conjunto
cerrado C = {(x, y) ∈ R2 : xy ≥ 1} es el intervalo (0, +∞), que no es cerrado.
.. B((a, b), r) ..
.. ..
.. ..
.. .. C
.. ..
.. ..
.. ..
.. ..
.. ..
.. ..
.. ..
.. ..
. .
(a − r, a + r) (0, +∞)

La última parte de esta sección está dedicada al estudio de los homeomorfismos. Este concepto
tiene mucha importancia en Topologı́a, ya que dos espacios topológicos que sean homeomorfos
se pueden considerar iguales topológicamente.
Definición 5.2.9 (Homeomorfismo). Dados dos espacios topológicos (X, τ ) e (Y, τ 0 ), se llama
homeomorfismo entre (X, τ ) e (Y, τ 0 ) a una aplicación biyectiva f : X −→ Y tal que tanto f
como su inversa f −1 sean continuas (se dice que f es bicontinua). Diremos que dos espacios
topológicos son homeomorfos si existe un homeomorfismo entre ellos.
Diremos que una propiedad en un espacio topológico una propiedad topológica si es invariante
por homeomorfismos.
La siguiente caracterización de los homeomorfismos es consecuencia inmediata de las definiciones

y de las proposiciones 5.2.2 y 5.2.3.
Proposición 5.2.10. Sea f : X −→ Y una aplicación biyectiva entre espacios dos topológicos
(X, τ ) e (Y, τ 0 ).Son equivalentes:
a) f es un homeomorfismo.
5.3. CONTINUIDAD UNIFORME. ISOMETRÍAS 51
b) Un subconjunto A ⊂ X es abierto (A ∈ τ ) si y sólo si f (A) ∈ τ 0 .
c) Un subconjunto C ⊂ X es cerrado si y sólo si f (C) es cerrado en (Y, τ 0 ).
Ejemplo 5.2.11.
(1) Dos espacios topológicos triviales son homeomorfos si y sólo si existe una biyección entre
ellos.
(2) Lo mismo pasa si se consideran dos espacios topológicos discretos.
(3) La aplicación sen : (0, π/2) −→ (0, 1) es un homeomorfismo, ya que restringida a estos
intervalos es biyectiva, y su inversa arcsen : (0, 1) −→ (0, π/2) es también continua.
(4) La función f : (−1, 1) −→ R definida por f (x) = tan π2 x es un homeomorfismo ya que f

es biyectiva y continua y también lo es f −1 . Esto implica que (−1, 1) y R son topológicamente

equivalentes.
(5) La longitud y la acotación no son propiedades topológicas. En el ejemplo anterior, (−1, 1) y

R tienen longitudes diferentes y, además, el primero de ellos está acotado y el segundo no.
(6) El que una sucesión sea de Cauchy tampoco es una propiedad topológica puesto que
1
f : (0, +∞) −→ (0, +∞) con f (x) =
x
es homeomorfismo y a la sucesión de Cauchy ( n1 )n le corresponde por f la sucesión (n)n que no
es de Cauchy.
5.3 Continuidad uniforme. Isometrı́as
En el caso de los espacios métricos, además de las aplicaciones continuas, hay otras clases de
aplicaciones interesantes:
Definición 5.3.1 (Función uniformemente continua). Diremos que una aplicación entre espa-
cios métricos f : (X, d) −→ (Y, d0 ) es uniformemente continua si para cada ε > 0 existe un
δ > 0 tal que para todo x, y ∈ X con d(x, y) < δ se verifica que d0 (f (x), f (y)) < ε.
Ejemplo 5.3.2.
Obviamente, toda aplicación uniformemente continua es continua, pero el recı́proco no es cierto:
basta considerar la función f (x) = x2 .
Definición 5.3.3 (Isometrı́a). Dados dos espacios métricos (X, d) e (Y, d0 ), diremos que una apli-
cación biyectiva f : X −→ Y es una isometrı́a si verifica que para todos los puntos x1 , x2 ∈ X,
entonces d(x1 , x2 ) = d0 (f (x1 ), f (x2 )). En este caso decimos que (X, d) e (Y, d0 ) son isométricos.
Proposición 5.3.4. Una isometrı́a es uniformemente continua.
Proposición 5.3.5. Si dos espacios métricos son isométricos, entonces también son homeomorfos.
Ejemplo 5.3.6.
El recı́proco de la última proposición no es cierto en general. Si Consideramos R con la distancia
discreta y con la distancia (
2 si x 6= y
d(x, y) =
0 si x = y
la aplicación identidad es un homeomorfismo que no es isometrı́a.
Capı́tulo 6
Espacios conexos
6.1 Conexos
Definición 6.1.1 (Conjuntos separados). Dado un espacio topológico (X, τ ) y dos subconjuntos
A, B ⊂ X, diremos que A y B están separados si
A∩B =A∩B =∅
Es evidente que si A y B están separados, entonces son disjuntos. Sin embargo el recı́proco no es
cierto como queda de manifiesto en los siguientes ejemplos.
Ejemplo 6.1.2.
(1) En R con la topologı́a usual, los intervalos (0, 1) y (1, 2) están separados, pero los intervalos
(0, 1) y [1, 2) no lo están, a pesar de que son disjuntos.
(2) En (R2 , d2 ) los conjuntos A y B siguientes, están separados

A = {(x, y) ∈ R2 : x2 + y 2 > 1} y B{(x, y) ∈ R2 : x2 + y 2 < 1}
(3) En R con la topologı́a usual, Q y R r Q no están separados.
Definición 6.1.3 (Espacio topológico conexo). Diremos que un espacio topológico (X, τ ) es
conexo si X no es unión de dos subconjuntos no vacı́os y separados. En caso contrario diremos
que X es no conexo.
Proposición 6.1.4. Sea (X, τ ) un espacio topológico y dos subconjuntos A, B ⊂ X disjuntos,

tales que X = A ∪ B. Son equivalentes:
(a) X es no conexo (A y B están separados).
53
54 CAPÍTULO 6. ESPACIOS CONEXOS
(b) A y B son cerrados.
(c) A y B son abiertos.
Demostración. -
(a)⇒(b) Supongamos que A y B están separados, es decir que A ∩ B = A ∩ B = ∅ y veamos

que A es cerrado. Podemos poner
A = A ∩ X = A ∩ (A ∪ B) = (A ∩ A) ∪ (A ∩ B) = A ∩ ∅ = A
por tanto A = A y es cerrado. Análogamente B también es cerrado.
(b)⇒(c) Suponemos ahora que A y B son cerrados, como A ∪ B = X, tenemos que (A ∪ B)c =
∅, luego Ac ∩ B c = ∅; esto implica que Ac ⊂ B y Ac es abierto y como A ∩ B = ∅,, también
es B ⊂ Ac , luego Ac = B y B es abierto. Análogamente A también es abierto.
(c)⇒(a) Supongamos que A y B son abiertos y que A ∪ B = X. Tal y como hemos visto, esto
quiere decir que Ac ∩ B c = ∅, luego Ac ⊂ B; y como A y B son disjuntos también ocurre que
B ⊂ Ac luego Ac = B, lo que implica que, B es también cerrado y B = B de lo que obtenemos
A ∩ B = A ∩ B = ∅. Análogamente A ∩ B = ∅.
Corolario 6.1.5. Un espacio topológico (X, τ ) es conexo si, y sólo si los únicos conjuntos abiertos
y cerrados son X y ∅.
Definición 6.1.6 (Subconjunto conexo). Dado un espacio topológico (X, τ ) y un subconjunto

S ⊂ X, diremos que S es conexo si (S, τS ) con la topologı́a relativa es conexo.
Proposición 6.1.7. Un subconjunto S de un espacio topológico (X, τ ) es no conexo si, y sólo si

existen dos subconjuntos A, B ⊂ X separados, tales que A ∪ B = S.
Demostración. Es una consecuencia inmediata de la definición de topologı́a relativa y la proposi-

ción 6.1.4.
Ejemplo 6.1.8.
(1) Cualquier espacio topológico con la topologı́a trivial es conexo.
(2) Cualquier espacio topológico con la topologı́a discreta es no conexo.
Teorema 6.1.9. Sea (X, τ ) un espacio topológico y {Ai }i∈I una familia de subconjuntos conexos
no vacı́os de X, tales que no están separados dos a dos. Entonces A = ∪i∈I Ai es conexo.
Demostración. Hagamos la prueba por reducción al absurdo. Supongamos que A = ∪i∈I Ai es

no conexo; entonces existe B ⊂ A, B 6= A no vacı́o que es abierto y cerrado en (A, τA ).
6.2. CONEXOS EN R 55
Como B 6= ∅, existe x ∈ B ⊂ A y como B 6= A existe y ∈ A, y ∈ / B. Por tanto existen ix , iy ∈ I

tales que x ∈ Aix e y ∈ Aiy . Entonces B ∩ Aix 6= ∅ es abierto y cerrado en (Aix , τix ) que es
conexo por hipótesis, luego B ∩ Aix = Aix lo que implica que Aix ⊂ B.
De la misma forma (ArB)∩Aiy 6= ∅ es abierto y cerrado e (Aiy , τiy ), luego (ArB)∩Aiy = Aiy ,
lo que implica que Aiy ⊂ B r A.
Pero A y B r B están separados en (A, τA ) pues son dos abiertos y cerrados no vacı́os cuya unión
es A, lo que lleva consigo que Aix y Aiy también están separados, en contra de la hipótesis, lo que
concluye la prueba.
Corolario 6.1.10. Si (X, τ ) es un espacio topológico y {Ai }i∈I es una familia de subconjuntos
conexos no vacı́os de X tales que Ai ∩ Aj 6= ∅ para cada par i, j ∈ I. Entonces A = ∪i∈I Ai es
conexo.
6.2 Conexos en R
Lema 6.2.1. Sea (R, τu ) y un subconjunto I ⊂ R. Son equivalentes:
(a) I es un intervalo.
(b) Para cada x, y ∈ I, x ≤ y, se verifica que [x, y] ⊂ I.
Demostración. Sólo tenemos que probar que (b) implica (a). En efecto, si se cumple (b), llamem-
os
a = inf I y b = sup I
teniendo en cuenta que si I no está acotado inferiormente, a = −∞ y si I no está acotado

superiormente, b = +∞. Vamos a ver que ha de ocurrir que (a, b) ⊂ I ⊂ [a, b], cometiendo
un pequeño abuso de notación en el caso de que a = −∞ o bien b = +∞; con lo cuál I será un
intervalo.
Si z ∈ (a, b), tenemos que a < z y por la definición de a como un ı́nfimo, existe x ∈ I tal que
x < z; de la misma manera tenemos que z < b y por la definición de b como un supremo, existe
y ∈ I tal que z < y, entonces, como x < y con x, y ∈ I, por la hipótesis (b), z ∈ [x, y] ⊂ I,
luego (a, b) ⊂ I. I ⊂ [a, b] por la propia definición de a y de b
Teorema 6.2.2 (Conexos en (R, τu )). Un subconjunto S R, con la topologı́a usual, es conexo
si, y sólo si S es un intervalo o un conjunto unitario.
Demostración. -
56 CAPÍTULO 6. ESPACIOS CONEXOS
⇒ Supongamos que S es conexo y que no es unitario ni es un intervalo; entonces existen x, y ∈ S

tales que [x, y] no está contenido en S, es decir, existe z ∈ (x, y) tal que z ∈
/ S. Consideremos los
conjuntos
A = (−∞, z) ∩ S y B = (z, +∞) ∩ S.
Entonces S = A ∪ B, siendo A y B separados, en contra de que S es conexo.
⇐ Supongamos ahora que S es un intervalo y que es no conexo, esto quiere decir que existen
A, B ⊂ R, no vacı́os y separados tales que S = A ∪ B, sean x ∈ A, y ∈ B y supongamos que
x < y. Como S es un intervalo, por el lema anterior, [x, y] ⊂ S.
Consideremos el conjunto C = [x, y] ∩ A, que es no vacı́o (x ∈ A) y está acotado superiormente

por y; por tanto existe α = sup C.
Tenemos entonces que x ≤ α ≤ y, es decir, α ∈ [x, y] ⊂ S. Por tanto, o bien α ∈ A o bien

α ∈ B, pero no a los dos. Supongamos que α ∈ A, esto implica que α < y. Como A es abierto
en S, por definición de topologı́a relativa, existirá G abierto en (X, τ ) tal que A = G ∩ S, luego
α ∈ G, que por ser abierto es entorno de α y para algún ε > 0 (α − ε, α + ε) ⊂ G, además α < y,
luego podemos tomar ε > 0 tal que α + ε < y, luego α + ε ∈ S y por tanto α + ε ∈ G ∩ S = A,
en contra de que α es supremo. De forma análoga se ve que α no puede ser de B.
Corolario 6.2.3. R con la topologı́a usual, es un espacio conexo.
Ejemplo 6.2.4. En R con la topologı́a usual, S = [0, 1) ∪ [2, 3] es no conexo.

6.3 Conexión y continuidad
Teorema 6.3.1. Sean (Xτ ) e (Y, τ 0 ), dos espacios topológicos, f : X −→ Y una aplicación
continua y S ⊂ X un subconjunto conexo en X. Entonces f (S) es conexo en Y .
Demostración. Supongamos que f (S) es no conexo, entonces existen A, B ⊂ Y no vacı́os y

separados tales que f (S) = A ∪ B. Como f : S −→ f (S) es continua y A y B son abiertos
y cerrados en f (S) con la topologı́a relativa, tendremos que f −1 (A) y f −1 (B) serán abiertos y
cerrados en S con la topologı́a relativa a (X, τ ), que además son no vacı́os, disjuntos y cumplen
S = f −1 (f (S)) = f −1 (A ∪ B) = f −1 (A) ∪ f −1 (B)
con lo que S serı́a no conexo.
Corolario 6.3.2. Sean (X, τ ) y (Y, τ 0 ) dos espacios topológicos homeomorfos. Entonces (X, τ )
es conexo si, y sólo si (Y, τ 0 ) es conexo.
6.3. CONEXIÓN Y CONTINUIDAD 57
Corolario 6.3.3. Un espacio topológico (X, τ ) es conexo si, y sólo si cualquier aplicación contin-
ua entre X y el espacio discreto {0, 1} es constante f (x) = 0 para todo x ∈ X, o bien f (x) = 1
para todo x ∈ X).
Lema 6.3.4. Si (X, τ ) es un espacio topológico no conexo, existe f : X −→ {0, 1} continua y no

constante.
Demostración. Si (X, τ ) es no conexo entonces X = A ∪ B con A y B abiertos y cerrados

disjuntos. Definimos f (x) = 0 si x ∈ A y f (x) = 1 si x ∈ B. esta aplicación es continua puesto
que f −1 ({0}) es abierto y cerrado y lo mismo ocurre para {1}.
Teorema 6.3.5 (de los valores intermedios). Un espacio topológico (X, τ ) es conexo si, y sólo si
cada aplicación continua f : X −→ R cumple que si x, y ∈ X y c ∈ R tal que f (x) ≤ c ≤ f (y),
existe z ∈ X tal que f (z) = c.
Demostración. -
⇒ Si X es conexo, f (X) es conexo en R y por tanto es un intervalo.
⇐ Supongamos que X fuera no conexo, entonces X = A ∪ B con A y B no vacı́os y separa-

dos. Consideramos una función g : X −→ {0, 1} continua como la del lema anterior y tal que
g(A) = {0} y g(B) = {1}. Consideremos la composición de g con la inclusión i, de {0, 1} en R.
Tendremos una aplicación g ◦ i continua de X en R, que no cumple las hipótesis.
Teorema 6.3.6. Sea (X, τ ) un espacio topológico, se verifican:
(a) Si H ⊂ X es un subconjunto conexo y S ⊂ X tal que H ⊂ S ⊂ H, entonces S es

conexo.
(b) Si S es un subconjunto conexo de X, entonces S es conexo.
Demostración. -
(a)Si S es no conexo, existe f : S −→ {0, 1} no constante y continua. Como H es conexo, la

restricción de f a H será constante, por ejemplo f (H) = {0}.
Sea s ∈ S, tal que f (s) = 1, como {1} es abierto en {0, 1} y f es continua,f −1 ({1}) es abierto
en S, luego será f −1 ({1}) = S ∩ A, para algún A abierto en (X, τ ). Entonces s ∈ A abierto y
como s ∈ H, tendremos por la definición de adherencia, que A ∩ H 6= ∅, luego si x ∈ A ∩ H
será f (x) = 0, pero también f (x) = 1, ya que x ∈ H ∩ A ⊂ S ∩ A = f −1 ({1}), lo cuál es una
contradicción.
(b) Es una consecuencia inmediata de (a).

58
Capı́tulo 7
Espacios compactos
7.1 Espacios compactos
Definición 7.1.1 (Recubrimiento). Sea X un conjunto y sea S ⊂ X. Un recubrimiento de S es

una familia A = {Ai }i∈I de subconjuntos de X tales que S = ∪i∈I Ai . Un subrecubrimiento
es una subfamilia B ⊂ A que es también un recubrimiento de S. Un recubrimiento se dice que
es finito si está formado por una cantidad finita de conjuntos. En el caso de que (X, τ ) sea un
espacio topológico, S ⊂ X y A = {Ai }i∈I sea un recubrimiento de S tal que cada Ai sea un
abierto de (X, τ ), se dice que A es un recubrimiento abierto de S.
Ejemplo 7.1.2.
Sea X = R, entonces la familia A = {[−n, n]}∞ n=1 es claramente un recubrimiento de S = R,
pero no es un recubrimiento abierto en la topologı́a usual. Un ejemplo de un subrecubrimiento de
A serı́a: D = {[−2n, 2n]}∞ ∞
n=1 . La familia {(−n, n)}n=1 también es un recubrimiento abierto de
R, pero no es un subcubrimiento de A.
Definición 7.1.3 (Espacio compacto). Diremos que un espacio topológico (X, τ ) es compacto si
todo recubrimiento abierto de X admite un subrecubrimiento finito.
Ejemplo 7.1.4.
(1) El espacio (R, τu ) no es compacto.
(2) En cambio (R, τcf ) sı́ que lo es.
(3) Si X es un conjunto finito (X, τ ) es siempre compacto.
(4) (X, τT ) siempre es compacto.
(5) Si X es un conjunto infinito (X, τD ) no es compacto.
59
60 CAPÍTULO 7. ESPACIOS COMPACTOS
7.2 Subconjuntos compactos
Definición 7.2.1 (Subconjunto compacto). Sea (X, τ ) un espacio topológico y K ⊂ X un sub-

conjunto. Diremos que K es un conjunto compacto en (X, τ ) si (K, τK ), con la topologı́a relativa,
es un espacio compacto. En este caso se dice que (K, τK ) es un subespacio compacto.
Proposición 7.2.2. Sea K un subespacio de un espacio topológico (X, τ ). Entonces K es com-

pacto si y sólo si para toda familia {Ai }i∈I de abiertos en X tal que K ⊂ ∪i∈I Ai , existe una
subfamilia finita {Ai }ni=1 tal que K ⊂ ∪ni=1 Ai .
Demostración. -
⇒ Supongamos que K es compacto y sea K ⊂ ∪i∈I Ai , donde {Ai }i∈I es una familia de abiertos
de (X, τ ). Entonces, según la definición de topologı́a relativa, {Ai ∩ K}i∈I es un recubrimiento
de K por abiertos de (K, τK ), que es compacto, por lo que existen abiertos Ai1 , ..., Ain tales que
K = (Ai1 ∩ K) ∪ ... ∪ (Ain ∩ K)
De aquı́ se deduce que K ⊂ Ai1 ∪ ... ∪ Ain .
⇐ Supongamos ahora que de todo recubrimiento de K por abiertos de (X, τ ) se puede extraer
un subrecubrimiento finito y veamos que K es compacto. Para ello, sea {Ai }i∈I una familia de
abiertos de (K, τK ) que recubren K. Entonces, cada abierto Ai se puede escribir de la forma
Ai = Bi ∩ K, donde Bi es un abierto en (X, τ ) y ası́ se tiene que K ⊂ ∪i∈I Bi . Por hipótesis,
existirán Bi1 , ..., Bin tales que K ⊂ Bi1 ∪ ... ∪ Bin de forma que
K = (Bi1 ∩ K) ∪ ... ∪ (Bin ∩ K) = Bi1 ∪ ... ∪ Bin
y por tanto, K es compacto.
Teorema 7.2.3. Todo subconjunto cerrado C de un espacio topológico compacto (X, τ ) es com-
pacto.
Demostración. Sea A = {Ai }i∈I un recubrimiento de C por abiertos de (X, τ ). Entonces

A ∪ C c es un recubrimiento abierto de X, del cual se puede extraer un subrecubrimiento fini-
to; si este subrecubrimiento finito no contiene a C c , estará formado únicamente por elementos
de A: {Ai1 , ..., Ain } y como C ⊂ X ya lo tendrı́amos. Si C c está en el recubrimiento fini-
to, será de la forma {Ai1 , ..., Ain , C c } y como C ⊂ X = Ai1 ∪, ..., ∪Ain ∪ C c , tenemos que
C ⊂ Ai1 ∪, ..., ∪Ain .
Teorema 7.2.4. Todo subconjunto compacto de un espacio topológico de Hausdorff, (X, τ ), es

7.3. COMPACTOS EN R Y RN 61
Demostración. Probemos que K c es abierto, demostrando que es entorno de todos sus puntos.
Sea a ∈
/ K, si x ∈ K, x 6= a, como X es Hausdorff, existen abiertos disjuntos Ax y Bx con
a ∈ Ax y x ∈ Bx ; y esto se puede hacer para cada x 6= a, x ∈ K.
Pero {Bx }x∈K es un recubrimiento de K por abiertos de X del cual se puede extraer un subre-
cubrimiento finito Bx1 , ..., Bxn , para ciertos puntos x1 , ..., xn ∈ K. Entonces tomemos
A = Ax1 ∩ ... ∩ Axn ,
que es abierto y contiene a a y veamos que A ⊂ K c . Si b ∈ A, entonces para cada i = 1, ..., n se

tiene que b ∈ Axi , y por tanto b ∈ / K. De esta forma A ⊂ K c .
/ Bxi lo que implica que b ∈
7.3 Compactos en R y Rn
Los compactos en R y en Rn tienen algunas caracterı́sticas especiales dadas por las propiedades
de los números reales, que es interesante conocer.
7.3.1 Compactos en R
Teorema 7.3.1 (de Heine-Borel). Todo intervalo cerrado y acotado [a, b], en R con la topologı́a
usual, es compacto.
Demostración. Supongamos que {Ai }i∈I es un recubrimiento abierto de [a, b]. Vamos a ver que
se puede extraer un subrecubrimiento finito.
Consideremos el conjunto siguiente
G = {x ∈ R : a ≤ x y [a, x] se recubre con una subfamilia finita de {Ai }i∈I }
(A) G 6= ∅ y además existe δ > 0 tal que [a, a + δ) ⊂ G.
En efecto, como a ∈ [a, b] ⊂ ∪i∈I Ai , existirá un j ∈ I tal que a ∈ Aj , que cómo es abierto, es
entorno de a y por tanto existe δ > 0 tal que (a − δ, a + δ) ⊂ Aj y por tanto [a, a + δ) ⊂ Aj , esto
implica que si x ∈ [a, a + δ), [a, x] ⊂ [a, a + δ) ⊂ Aj , que es un subrecubrimiento finito. Por
tanto [a, a + δ) ⊂ G.
(B) G es un intervalo pues si x, y ∈ G, entonces [x, y] ⊂ G ya que si z ∈ [x, y], [a, z] ⊂ [a, y] ⊂ G
y por el lema 6.2.1, pag. 55, G debe ser un intervalo.
(C) b ∈ G
Consideremos c = sup{G}, que eventualmente puede ser c = +∞ y tengamos en cuenta que,

como a es cota inferior de G, a < c. Tendremos los siguientes casos:
(C1) Si b < c, entonces b ∈ G pues existirı́a, por la definición de supremo, x ∈ G tal que
b < x ≤ c y G es un intervalo.
(C2) Si c ≤ b, también b ∈ G pues como [a, b] ⊂ ∪i∈I Ai , c ∈ Ak para algún k ∈ I. Ak es

abierto luego es entorno de c y por tanto existe ε > 0 tal que (c − ε, c + ε) ⊂ Ak . Pero, como
c = sup{G}, c − ε ∈ G, y por tanto [a, c − ε] ⊂ Ai1 ∪ · · · ∪ Ain , con lo cual tenemos que c + ε
también está en G ya que [a, c + ε] tiene un subrecubrimiento finito de la forma
[a, c + ε] ⊂ Ai1 ∪ · · · ∪ Ain ∪ Ak
y esto es una contradicción con el hecho de que c = sup{G}.
Por tanto, como b ∈ G, [a, b] tiene un subrecubrimiento finito.
7.3.2 Compactos en Rn
Lema 7.3.2. Si [c, d] ⊂ R y x ∈ R, con la topologı́a usual. Entonces S = {x}×[c, d] es compacto

en R2 con la topologı́a usual.
Demostración. Sea {Ai }i∈I un recubrimiento abierto de S = {x} × [c, d]; vamos a ver que
podemos extraer un subrecubrimiento finito.
Si (x, y) ∈ S, como {Ai }i∈I recubre S, tendremos que (x, y) ∈ Aiy con iy ∈ I y Aiy es abierto,
luego para algún ry > 0 será (x, y) ⊂ B∞ ((x, y), ry ) ⊂ Aiy . Tengamos en cuenta que
B∞ ((x, y), ry ) = (x − ry , x + ry ) × (y − ry , y + ry )
De tal modo que {(y − ry , y + ry )}y∈[c,d] } es un recubrimiento abierto de [c, d] que, como es
compacto, admitirá un subrecubrimiento finito y
[c, d] ⊂ (y1 − ry1 , y1 + ry1 ) ∪ · · · ∪ (yn − ryn , yn + ryn )
y por tanto
{x} × [c, d] ⊂ ∪nj=1 {(x − ryj , x + ryj ) × (yj − ryj , yj + ryj )} =
= ∪nj=1 B∞ ((x, yj ), ryj ) ⊂ ∪nj=1 Aiyj

Con lo que hemos obtenido un subrecubrimiento finito.
Lema 7.3.3. Si R = [c1 , d1 ] × . . . [cn−1 , dn−1 ] ⊂ Rn−1 es un rectángulo cerrado y x ∈ R,

entonces {x} × R es un compacto de Rn , siempre con la topologı́a usual.
7.3. COMPACTOS EN R Y RN 63
Lema 7.3.4. Si [c, d] ∈ R, x ∈ R y {Ai }i∈I es un recubrimiento abierto de {x} × [c, d], entonces
existe r > 0 tal que (x − r, x + r) × [c, d] está recubierto por una cantidad finita de elementos de
{Ai }i∈I .
Demostración. Por el lema anterior {x} × [c, d] es compacto, por tanto admite un subrecubrim-
iento finito de {Aj }nj=1 ⊂ {Ai }i∈I .
Si y ∈ [c, d], (x, y) ∈ Ak para algún k ∈ {1, 2, . . . , n}, que al ser abierto es entorno de (x, y) y
por tanto existe ry > 0 tal que
(x, y) ∈ B∞ ((x, y), ry ) = (x − ry , x + ry ) × (y − ry , y + ry ) ⊂ Ak
Tenemos entonces que {(y − ry , y + ry )}y∈[c,d] es un recubrimiento abierto de [c, d] que es com-
pacto y por tanto admite un subrecubrimiento finito {(yj − ryj , yj + ryj )}m
j=1 .
Si ahora tomamos r = min{ryj : j = 1, . . . , m}, tendremos que (x − r, x + r) = ∩m

j=1 (x −
ryj , x + ryj ) y por tanto
(x − r, x + r) × [c, d] ⊂ ∪m
j=1 {(x − r, x + r) × (yj − ryj , yj + ryj )} ⊂
⊂ ∪m n
j=1 {(x − ryj , x + ryj ) × (y − ryj , y + ryj )} ⊂ ∪k=1 Ak
y obtenemos el subrecubrimiento finito.
Lema 7.3.5. Si R = [c1 , d1 ] × . . . [cn−1 , dn−1 ] ⊂ Rn−1 es un rectángulo cerrado y x ∈ R y

{Ai }i∈I es un recubrimiento abierto de R, entonces existe r > 0 tal que (x − r, x + r) × R está
recubierto por una cantidad finita de elementos de {Ai }i∈I .
Corolario 7.3.6. Un rectángulo [a, b] × [c, d] ⊂ R2 es compacto.
Demostración. Si {Ai }i∈I es un recubrimiento abierto de [a, b] × [c, d], también es un recubrim-
iento de {x} × [c, d] para cada x ∈ [a, b] y por el lema anterior, existe rx > 0 tal que el con-
junto (x − rx , x + rx ) × [c, d] admite un subrecubrimiento finito. Pero {(x − rx , x + rx )}x∈[a,b]
es un recubrimiento abierto de [a, b], que, al ser compacto, admite un subrecubrimiento finito
{(xk − rxk , xk + rxk )}mk=1 . entonces tenemos que
[a, b] × [c, d] ⊂ ∪m
k=1 {(xk − rxk , xk + rxk ) × [c, d]}
y cada uno de los (xk − rxk , xk + rxk ) × [c, d], está recubierto por un número finito de elementos
de {Ai }i∈I , luego el rectángulo [a, b] × [c, d] es unión finita elementos de {Ai }i∈I .
Corolario 7.3.7. [a, b] × [c1 , d1 ] × . . . [cn−1 , dn−1 ] ⊂ Rn es compacto.

Teorema 7.3.8 (de Heine-Borel). Sea K ⊂ Rn con la topologı́a usual. Son equivalentes:
(a) K es compacto.
(b) K es cerrado y acotado.
Demostración. (Haremos la prueba en R2 )
a)⇒b) Como R2 es Hausdorff y K compacto, por la proposición 7.2.4, K es cerrado. Por otra
parte, si a ∈ K la colección de bolas {B(a, n)}n∈N , constituye un recubrimiento abierto de K
que, como es compacto, admite un subrecubrimiento finito, cuya unión será la bola B(a, m) más
grande y por tanto K ⊂ B(a, m) y es acotado.
b)⇒a) Si K está acotado hay alguna bola cerrada tal que K ⊂ B ∞ (a, r) para algún a ∈ R2 y
esta bola es un rectángulo cerrado que, por el corolario anterior es compacto. Como K es cerrado
y está contenido en un compacto, por la proposición 7.2.3, es compacto.
7.4 Compactos en un espacio métrico
Proposición 7.4.1. Todo subconjunto compacto K de un espacio métrico (X, d) está acotado.
Demostración. Sólo es repetir la prueba de la implicación a)⇒b) del teorema anterior de Heine-
Borel.
Teorema 7.4.2. Sea (X, d) un espacio métrico y (xn )n ⊂ X una sucesión. Son equivalentes:
(a) (xn )n converge a x ∈ X.
(b) Cada subsucesión (xnk )k converge a x.
Demostración. -
a)⇒b) Supongamos que xn → x, entonces para cada ε > 0, existe no ∈ N tal que si n >
no , entonces d(xn , x) < ε. Esto quiere decir que xn ∈ B(x, ε) y por tanto que sólo hay una
cantidad finita de términos de la sucesión que no están en dicha bola. Y esto significa que ninguna
subsucesión (xnk )k , puede tener infinitos términos fuera de la bola, luego debe ser convergente a
x.
b)⇒a) Es evidente puesto que cualquier sucesión es subsucesión de si misma.
Ejemplo 7.4.3.
7.4. COMPACTOS EN UN ESPACIO MÉTRICO 65
Si una sucesión no converge, no quiere decir ninguna subsucesión es convergente, por ejemplo la
sucesión ((−1)n )n , que no es convergente, tiene dos subsucesiones (1, 1, . . . ) que converge a 1 y
(−1, −1, . . . ) que converge a −1.
Proposición 7.4.4. Sea (X, d) un espacio métrico y S ⊂ X un subconjunto. Son equivalentes:

(a) x ∈ X es un punto de acumulación de S.
(b) Existe en S una sucesión no trivial que converge a x.
Demostración. -
a)⇒b) Si x ∈ S 0 es un punto de acumulación, para todo r > 0 se cumple que (B(x, r) r {x}) ∩
S 6= ∅ y esta intersección contiene infinitos puntos. Construimos entonces la sucesión siguiente
tomando para r > 0 los valores 1, 12 , . . . , n1 , . . . , sucesivamente:
Para r = 1, tomamos x1 ∈ (B(x, 1) r {x}) ∩ S
Para r = 12 , tomamos x2 ∈ (B(x, 12 ) r {x}) ∩ S, x1 6= x2
...
Para r = n1 , tomamos xn ∈ (B(x, n1 ) r {x}) ∩ S, xn−1 6= xn
...
Es evidente, tal y como se ha construido, que xn −→ x.
b)⇒a) Sea (xn )n una sucesión en S que converge a x, entonces para todo r > 0, existe nr ∈ N
tal que si n > nr entonces xn ∈ B(x, r) lo que implica que (B(x, r) r {x}) ∩ S 6= ∅ y por tanto
x ∈ S0.
Definición 7.4.5 (Conjunto secuencialmente compacto). Sea (X, τ ) un espacio topológico y

K ⊂ X un subconjunto, diremos que K es secuencialmente compacto si dada una sucesión
(xn )n en K, existe una subsucesión (xnk )k convergente a un punto de K.
Ejemplo 7.4.6.
(1) Cualquier espacio topológico finito es compacto y secuencialmente compacto.
(2) El intervalo abierto (0, 1), con la topologı́a inducida por la usual de R, no es secuencialmente
compacto, la sucesión ( n1 )∞
n=2 ⊂ (0, 1), converge a 0, y por tanto cualquier subsucesión suya
también converge a 0; pero 0 ∈ / (0, 1).
Definición 7.4.7 (Espacio totalmente acotado). Dado un espacio métrico (X, d) y T ⊂ X un

subconjunto, diremos que T es totalmente acotado, si para cada r > 0 existe un número finito de
puntos x1 , ..., xn ∈ T tales que T ⊂ B(x1 , r) ∪ ... ∪ B(xn , r).
Proposición 7.4.8. Si (X, d) es un espacio métrico y T ⊂ X, se verifican:

(a) Si T es compacto, entonces T es totalmente acotado.
(b) Si T es totalmente acotado, T es acotado.
Ejemplo 7.4.9.
(1) (0, 1) ⊂ R con la métrica usual es totalmente acotado, pero no es compacto.
(2) R con la distancia discreta es un espacio métrico acotado, pero no es totalmente acotado.
Proposición 7.4.10. Si (X, d) es un espacio métrico y K ⊂ X es secuencialmente compacto,

entonces K es totalmente acotado.
Demostración. Supongamos que K es secuencialmente compacto y no es totalmente acotado.

Existirá r > 0 de modo que no existe un recubrimiento finito de K con bolas de radio r y centro
en un punto de K. Vamos a construir un sucesión de la siguiente manera:
Tomamos x1 ∈ K arbitrario y x2 ∈ K, tal que d(x1 .x2 ) ≥ r, que existe puesto que si no existiera
B(x1 , r) serı́a un recubrimiento finito de K; tomamos x3 ∈ K tal que d(x, x2 ), d(x2 , x3 ) ≥ r
que existe pues en caso contrario {B(x1 , r), B(x2 , r)} serı́a un recubrimiento finito de K y ası́
sucesivamente. Obtenemos una sucesión (xn )n en K que verifica que d(xn , xm ) ≥ r si n 6= m,
que no tiene ninguna subsucesión convergente K, pues si tuviéramos (xnk )k con limk xnk = x ∈
K, dado r > 0 existirı́a kr ∈ N tal que si nk > nkr , d(xnk , x) < 2r con lo que tendrı́amos que si
nk , nm > nr
r r
d(xnk , xnm ) ≤ d(xnk , x) + d(x, xnm ) < + = r
2 2
en contra de que d(xnk , xnm ) ≥ r, puesto que los términos de la subsucesión también están en la
sucesión; y entonces K no serı́a secuencialmente compacto.
Lema 7.4.11 (Lema de Lebesgue). Si (X, d) es un espacio métrico y K ⊂ X un subconjunto

secuencialmente compacto y {Ai }i∈I es un recubrimiento abierto de K, entonces existe r > 0 tal
que para cada x ∈ K existe i ∈ I de modo que B(x, r) ⊂ Ai . (A este r > 0 se le llama número
de Lebesgue del recubrimiento).
Demostración. Supongamos que {Ai }i∈I es un recubrimiento abierto de K para el que no existe
ningún número de Lebesgue. Entonces para cada n ∈ N existirá xn ∈ K tal que B(xn , n1 ) no está
contenido en ningún Ai para todo i ∈ I.
Como K es secuencialmente compacto, ha de existir una subsucesión (xnk )k convergente a un

punto x ∈ K. Además, como {Ai }i∈I es un recubrimiento de K, x ∈ Aj para algún j ∈ I. Aj es
abierto en, luego existe un nj ∈ N tal que B(x, n2j ) ⊂ Aj .
1
Como la subsucesión anterior es convergente a x, dado nj > 0, existirá un r0 ∈ N tal que si
1
nr ≥ nr0 , xnr ∈ B(x, nj ).
7.4. COMPACTOS EN UN ESPACIO MÉTRICO 67
Tomemos ahora nr ≥ nr0 tal que también sea nr ≥ nj . Entonces, B(xnr , n1r ) ⊂ B(x, n2j ), ya
que si y ∈ B(xnr , n1r ), entonces
1 1 2
d(x, y) ≤ d(x, xnr ) + d(xnr , y) < + ≤
nj nr nj
De aquı́ se deduce que B(xnr , n1r ) ⊂ Aj , en contradicción con la hipótesis.
Teorema 7.4.12 (de Heine-Borel-Lebesgue). Sea (X, d) un espacio métrico y K ⊂ X. Son

equivalentes:
(a) K es compacto.
(b) Todo subconjunto S ⊂ K infinito, tiene un punto de acumulación en K.
(c) K es secuencialmente compacto.
Demostración. -
a)⇒b) Supongamos que K es compacto y que S ⊂ K es un subconjunto infinito que no tiene

ningún punto de acumulación, entonces para cada x ∈ K, existe un rx > 0 tal que la bola B(x, rx )
no corta a S o bien sólo corta a S en el propio x.
Si consideramos la familia {B(x, rx )}x∈K , tenemos un recubrimiento abierto de K que, al ser

compacto, admite un subrecubrimiento finito. Este subrecubrimiento finito también recubre a S
con lo que según lo visto en el párrafo anterior S serı́a finito, en contra de la hipótesis.
b)⇒c) Si (xn )n es un sucesión en K con infinitos términos iguales a x, no hay nada que probar
pues ella misma converge a x. Supongamos entonces que (xn )n es una sucesión en K, con in-
finitos términos distintos. Según b), dicha sucesión tiene un punto de acumulación x ∈ K y por
la proposición 7.4.4, existe una subsucesión de (xn )n convergente a x y K será secuencialmente
compacto.
c)⇒a) Supongamos que K es secuencialmente compacto y que {Ai }i∈I es un recubrimiento

abierto de K. Por el lema de Lebesgue anterior, existe r > 0 un número de Lebesgue para
este recubrimiento. Entonces, como por la proposición 7.4.10, K es totalmente acotado, existe
un recubrimiento finito de X por bolas de radio r, {B(x1 , r), ..., B(xn , r)}. Pero como ca-
da bola B(xi , r) ha de estar contenida en un abierto del recubrimiento {Ai }i∈I , tendremos que
{A1 , ..., An } es un subrecubrimiento finito de X.
7.4.1 Compactos en Rn de nuevo
Después de lo que acabamos de ver en lo referente a espacios métricos y compacidad, podemos

completar el teorema 7.3.8 de Heine-Borel que vimos en la sección 7.3.2. Rn es un espacio
métrico, con lo que podemos aplicar los resultados anteriores y unirlos al citado teorema, que
podemos enunciar ahora de la siguiente forma:
Teorema 7.4.13 (de Heine-Borel-Lebesgue). Sea K ⊂ Rn con la topologı́a usual. Son equiva-
lentes:
(a) K es compacto.
(b) K es cerrado y acotado.
(c) Todo subconjunto S ⊂ K infinito, tiene un punto de acumulación en K.
(d) K es secuencialmente compacto.
7.5 Compactos y funciones continuas
Teorema 7.5.1. Si f : (X, τ ) −→ (Y, τ 0 ) es una aplicación continua entre espacios topológicos
y K ⊂ X es compacto, entonces f (K) es compacto en (Y, τ 0 ).
Demostración. Supongamos que {Ai }i∈I es un recubrimiento abierto de f (K) en (Y, τ 0 ). En-
tonces, como K = f −1 (K) = f −1 (∪i∈I Ai ) = ∪i∈I f −1 (Ai ), tendremos que {f −1 (Ai )}i∈I
es un recubrimiento abierto de K que, como es compacto admite un subrecubrimiento finito
K = f −1 (A1 ) ∪ · · · ∪ f −1 (An ) = f −1 (A1 ∪ · · · ∪ An ), lo que implica que {A1 , ..., An } es
un subrecubrimiento finito de f (K).
Corolario 7.5.2. Si (X, τ ), (Y, τ 0 ) son espacios topológicos homeomorfos. Son equivalentes:
(a) (X, τ ) es compacto.
(b) (Y, τ 0 ) es compacto.
Corolario 7.5.3. Si (X, τ ) es un espacio topológico y K ⊂ X un subconjunto compacto, entonces

toda función continua f : X −→ R está acotada en K.
Corolario 7.5.4 (Teorema de Weierstrass). Si (X, τ ) es un espacio topológico y K ⊂ X es un

subconjunto compacto, entonces toda función continua f : X −→ R alcanza sus extremos en K.
Demostración. f (K) es un subconjunto compacto de R y por tanto, es cerrado y acotado. Por ser
acotado, existen c = inf{f (K)} y d = sup{f (K)}; y por ser cerrado, existirán c, d ∈ f (K), de
modo que existen x, y ∈ K tales que f (x) = c y f (y) = d.
Corolario 7.5.5. Sea f : R −→ R una aplicación continua. Entonces el conjunto imagen f ([a, b])
es un intervalo cerrado y acotado [c, d].
7.6. PROPIEDAD DE LA INTERSECCIÓN FINITA 69
Proposición 7.5.6. Toda aplicación continua f : (X, d) −→ (Y, d0 ) entre espacios métricos,
donde (X, τd ) es compacto, es uniformemente continua.
Demostración. Como f es continua, dado x ∈ X y dado ε > 0, existe δx >= tal que si d(y, x) <
δx , entonces d0 (f (x), f (y)) < 2ε .
Entonces, fijado ε > 0, la colección de bolas {B(x, δ2x )}x∈X constituye un recubrimiento abierto
de X que, al ser compacto admite un subrecubrimiento finito {B(xi , δ2i )}ni=1 .
Tomemos δ = min{ δ2i : i = 1, 2, . . . , n}. Tomemos x, y ∈ X arbitrarios cumpliendo d(x, y) < δ;

tendremos que x ∈ B(xk , δ2k ) para algún k ∈ {1, . . . , n} y entonces
δk
d(y, xk ) ≤ d(y, x) + d(x, xk ) < δ + ≤ δk
2
lo que implica que
ε
d0 (f (y), f (xk )) <
2
y entonces
ε ε
d0 (f (x), f (y)) ≤ d0 (f (x), f (xk )) + d0 (f (xk ), f (y)) < + =ε
2 2
y f es uniformemente continua.
Corolario 7.5.7. Toda función real continua, definida en un intervalo cerrado y acotado [a, b], es
uniformemente continua.
7.6 Propiedad de la intersección finita
Definición 7.6.1 (Propiedad de la intersección finita). Sea F una familia de subconjuntos de

un conjunto Y ; se dice que F tiene la propiedad de la intersección finita si la intersección de
cualquier subfamilia finita de F es no vacı́a.
Ejemplo 7.6.2.
(1) La familia {(0, n1 )}n∈N de subconjuntos de R tiene la propiedad de la intersección finita.
(2) La familia {[n, n + 1]}n∈N de subconjuntos de R no tiene la propiedad de la intersección finita.

Proposición 7.6.3. Sea (X, τ ) un espacio topológico. Son equivalentes:

(a) X es compacto.
(b) Toda familia {Fi }i∈I de cerrados en X que tiene la propiedad de la intersección finita
tiene intersección no vacı́a.
Demostración. -
a)⇒b) Supongamos que X es compacto y que {Fi }i∈I es una familia de subconjuntos cerrados
de X con la propiedad de la intersección finita tal que ∩i∈I Fi = ∅; si tomamos complementarios
tendremos que ∪i∈I Fic = X, luego, como los Fic son abiertos, tenemos un recubrimiento abierto
de X que, por ser compacto, admite un subrecubrimiento finito y F1c ∪ · · · ∪ Fnc = X, tomando
de nuevo complementarios tendremos que F1 ∩ · · · ∩ Fn = ∅ en contra de que la familia {Fi }i∈I
tiene la propiedad de la intersección finta.
b)⇒a) Supongamos que se cumple b) y que X no es compacto, esto quiere decir que existe un
recubrimiento abierto {Ai }i∈I del cual no se puede extraer un subrecubrimiento finito. Tendremos
entonces que ∪i∈I Ai = X, por tanto tomando complementarios ∩i∈I Aci = ∅, lo cual implica
que la familia de cerrados {Aci }i∈I no tiene la propiedad de la intersección finita y por tanto, al
cumplirse b), debe existir una subfamilia finita cuya intersección es vacı́a Ac1 ∩ · · · ∩ Acn = ∅; si
ahora tomamos complementarios A1 ∪ · · · ∪ An = X y tendrı́amos un subrecubrimiento finito de
{Ai }i∈I lo que llevarı́a a que X fuera compacto, en contra de lo supuesto.
Ejemplo 7.6.4.
(R, τu ) no es compacto, ya que la familia de cerrados {[z, +∞)} tiene la propiedad de la intersec-
ción finita, y sin embargo la intersección de todos los elementos de esta familia es vacı́a.
Capı́tulo 8
Espacios completos
8.1 Sucesiones de Cauchy
Definición 8.1.1 (Sucesión de Cauchy). Diremos que una sucesión (xn )∞

n=1 en un espacio métrico
(X, d) es de Cauchy si para todo ε > 0 existe un no tal que si n, m > no se cumple que
d(xn , xm ) < ε.
El concepto de sucesión de Cauchy depende de la distancia d como se pone de manifiesto en los

ejemplos siguientes. Además como vimos en el ejemplo 5.2.11 6), tampoco es una propiedad
topológica ya que no se conserva mediante homeomorfismos.
Ejemplo 8.1.2.
(1) Las únicas sucesiones de Cauchy en un espacio métrico discreto son las de cola constante.
(2) ( n1 )∞
n=1 es de Cauchy tanto en (R, | |) como en ((0, 1), | |).
(3) La sucesión (n)∞

n=1 no es de Cauchy en (R, | |).
Proposición 8.1.3. Si una sucesión (xn )∞

n=1 en un espacio métrico (X, d) converge a x ∈ X,
∞
entonces (xn )n=1 es de Cauchy.
Demostración. Como xn → x, para todo ε > 0 existe un no tal que si n > no , entonces
d(xn , x) < 2ε . Ası́, para todo n, m > no se tiene
ε ε
d(xn , xm ) ≤ d(xn , x) + d(x, xm ) < + =ε
2 2
El recı́proco de este resultado no es cierto en general.
71
72 CAPÍTULO 8. ESPACIOS COMPLETOS
Ejemplo 8.1.4.
La sucesión ( n1 )n∈N es de Cauchy en ((0, +∞), | |) y sin embargo no converge.
Lema 8.1.5. Si (xn )∞

n=1 es una sucesión de Cauchy en un espacio métrico (X, d) tal que existe
una subsucesión (xnk )∞ ∞
k=1 que converge a x, entonces la sucesión (xn )n=1 también converge a x.
Demostración. Como (xn )∞ n=1 es de Cauchy, dado ε > 0 existe un n1 tal que para todo n, m > n1
se cumple que d(xn , xm ) < 2ε .
Por otra parte la subsucesión (xnk )k es convergente a x, luego existe un ko tal que si nk > nko se
cumple d(xnk , x) < 2ε .
Consideremos no = max{n1 , nko }, y tomemos n > no y k tal que nk > no , entonces

ε ε
d(xn , x) ≤ d(xn , xnk ) + d(xnk , x) < + =ε
2 2
y la sucesión (xn )∞
n=1 converge a x.
Proposición 8.1.6. Toda sucesión de Cauchy en un espacio métrico (X, d) está acotada.
Demostración. Consideremos ε = 1, por el hecho de ser de Cauchy existe no tal que si m, n > no
se tiene que d(xn , xm ) < 1, de modo que si n > no , xn ∈ B(xno +1 , 1). Sólo quedan un número
finito de términos que pueden estar fuera de esta bola. Sea
r = max{d(x1 , xno ), ..., d(xno , xno +1 )}
Para todo n se cumple d(xn , xno +1 ) ≤ r. Ası́,
{xn : n = 1, ..., ∞} ⊂ B(xno +1 , r + 1)
8.2 Espacio métrico completo
Definición 8.2.1 (Espacio completo). Diremos que un espacio métrico (X, d) es completo si toda
sucesión de Cauchy es convergente.
Ejemplo 8.2.2.
(1) Todo espacio métrico discreto es completo.
(2) (0, ∞) no es completo con la distancia usual.

8.2. ESPACIO MÉTRICO COMPLETO 73
Proposición 8.2.3. El espacio Rn con cualquiera de las tres métricas d1 , d2 , d∞ es completo.
Demostración. Sea (xn )∞ n=1 una sucesión de Cauchy que, por la proposición anterior está acotada,
luego está contenida en una bola cerrada, que por el teorema de Heine-Borel-Lebesgue 7.4.13, es
compacto; entonces según este mismo teorema, dicha sucesión tiene una subsucesión convergente.
Aplicando ahora el Lema 8.1.5 (xn )∞ n=1 también es convergente.
Proposición 8.2.4. Todo espacio métrico compacto es completo.
Demostración. Sea (X, d) un espacio métrico compacto y sea (xn )∞ n=1 una sucesión de Cauchy en
X. Como (X, τd ) es compacto, también es secuencialmente compacto, luego existe una subsuce-
sión de (xn )∞ ∞ ∞
n=1 , (xnk )k=1 , convergente y como consecuencia del Lema 8.1.5 (xn )n=1 también es
convergente.
La implicación recı́proca no es cierta, pero sı́ que se cumple si se considera una hipótesis adi-
cional, la de ser totalmente acotado. La demostración siguiente es algo complicada. Además, ésta
propiedad justifica que los espacios métricos totalmente acotados reciban también el nombre de
precompactos.
Proposición 8.2.5. Todo espacio métrico completo y totalmente acotado es secuencialmente com-
pacto.
Demostración. Sea (X, d) un espacio métrico completo y totalmente acotado, sea (xn )∞
n=1 una
sucesión en X. Vamos a construir una subsucesión de Cauchy que será convergente al ser X
completo y por tanto X será secuencialmente compacto.
Si la sucesión es finita no hay nada que probar, pues tiene infinitos términos iguales y ya tenemos
la subsucesión convergente. Supongamos entonces que la sucesión S = (xn )∞ n=1 tiene infinitos
términos distintos. Como X es totalmente acotado y S ⊂ X, S también es totalmente acotado, por
tanto dado 21 existe un número finito de bolas con este radio que recubren S. Como S es infinito,
una de estas bolas contendrá infinitos puntos de dicha sucesión S, llamemos a esta bola B1 .
Consideremos ahora B1 ∩ S. Este conjunto es también totalmente acotado, de modo que si con-
sideramos 212 , B1 ∩ S estará recubierto por un número finito de bolas de radio 212 y de ellas, al
menos una, que llamaremos B2 , contendrá una cantidad finita de términos de la sucesión.
Ası́ sucesivamente hemos construido una sucesión de bolas Bk de radio 21k , cada una de las cuales
tiene infinitos términos de la sucesión y que, según se han construido, dos a dos tienen intersección
no vacı́a.
Vamos a construir la subsucesión de la siguiente manera:

El primer término será un término arbitrario de la sucesión que esté en B1 y le llamamos xn1 ,
como en B2 hay infinitos términos de la sucesión, existe un término de la sucesión xn2 6= xn1
y con n2 > n1 , ası́ sucesivamente construimos una subsucesión (xnk )k , tal que cada xnk ∈ Bk .
Veamos que esta subsucesión es de Cauchy. Si p, q ∈ N con p < q, como Bp ∩Bq 6= ∅, tendremos
que si y ∈ Bp ∩ Bq
1 1 1 1 1
d(xnp , xnq ) ≤ d(xnp , y) + d(y, xnq ) ≤ p
+ q < p + p = p−1
2 2 2 2 2
1
Por tanto, dado ε > 0, existe m tal que 2m−1
< ε y si p, q > m (con p > q por ejemplo), entonces
1 1
d(xnp , xnq ) < < <ε
2p−1 2m−1
y la subsucesión es de Cauchy.
Teniendo en cuenta que todo espacio métrico compacto es secuencialmente compacto, podemos
expresar los dos resultados anteriores en el siguiente teorema:
Teorema 8.2.6. Un espacio métrico (X, d) es compacto si, y sólo si (X, d) es completo y total-
mente acotado.
Proposición 8.2.7. Todo subespacio cerrado de un espacio completo es completo.
Demostración. Sea (X, d) un espacio métrico completo y sea H ⊂ X cerrado.
Sea (xn )∞
n=1 una sucesión de Cauchy en H. Evidentemente, también es sucesión de Cauchy en
X. Por tanto, converge a un punto x ∈ X. Como H cerrado x ∈ H, y (xn )∞ n=1 converge a x en
H.
Proposición 8.2.8. Todo subespacio completo de un espacio métrico es cerrado.
Demostración. Sea (X, d) un espacio métrico y sea H ⊂ X tal que (H, dH ) es completo. Veamos
que H es cerrado comprobando que H = H. Si x ∈ H, entonces existe una sucesión en H,
(xn )∞
n=1 , que converge a x y por tanto es de Cauchy, tanto en X como en H. Como (H, dH ) es
completo la sucesión (xn )∞ 0
n=1 converge en H a un punto x . Pero (X, d) es un espacio métrico y
por tanto de Hausdorff y x = x0 . Es decir, x ∈ H.
8.3 Algunos resultados interesantes
Teorema 8.3.1 (Teorema de Encaje de Cantor). Sea (X, d) un espacio métrico completo y sea
{Cn }∞n=1 una sucesión decreciente de cerrados en X, no vacı́os y tales que la sucesión de sus
diámetros converge a 0. Entonces ∩∞n=1 Cn es exactamente un punto.
8.3. ALGUNOS RESULTADOS INTERESANTES 75
Demostración. Que la sucesión de cerrados es decreciente quiere decir que C1 ⊃ C2 ⊃ · · · ⊃

Cn ⊃ . . . .
Sea (xn )∞ ∗
n=1 una sucesión en X de manera que xn ∈ Cn para cada n ∈ N .
Veamos que esta sucesión es de Cauchy:
Como los diámetros de (δ(Cn ))n forman una sucesión que tiende a 0, tendremos que dado ε > 0,
existe no ∈ N tal que si n > no , δ(Cn ) < ε. Por tanto, como la sucesión de cerrados es
decreciente, tenemos que si n, m > no , con m > n, xn , xm ∈ Cn y entonces d(xn , xm ) <
δ(Cm ) < ε y la sucesión es de Cauchy.
Entonces, como X es completo (xn )n es convergente a un punto x ∈ X.
Veamos que x ∈ ∩n∈N Cn . Supongamos que no fuera ası́, entonces existe k ∈ N tal que x ∈ / Ck y
r
como Ck es cerrado, tenemos que d(x, Ck ) = r > 0, con lo que la bola B(x, 2 ) y Ck no tienen
puntos comunes, pero si n > k, xn ∈ Ck (la sucesión de cerrados es decreciente), lo que implica
que xn ∈/ B(x, 2r ), lo cual es imposible puesto que xn → x.
Veamos por fin que este punto es el único en la intersección. Supongamos que existe otro punto
y ∈ ∩n∈N Cn , entonces d(x, y) ≤ δ(Cn ) para todo n ∈ N y como limn δ(Cn ) = 0, ha de ser
d(x, y) ≤ 0, pero d es una distancia, luego d(x, y) = 0. Por tanto x = y.
Teorema 8.3.2 (Baire). Sea (X, d) un espacio métrico completo y sea {An }∞
n=1 una sucesión de
abiertos de X tales que An es denso en X para cada n ∈ N. Entonces se cumple que ∩∞ n=1 An es
denso en X.
Demostración. Es suficiente probar que todo abierto no vacı́o de X corta a ∩∞

n=1 An . Sea A ⊂ X
un abierto. Como A1 es denso, A ∩ A1 es no vacı́o y por tanto x1 ∈ A ∩ A1 y A ∩ A1 es abierto,
luego existe r1 < 1 tal que la bola cerrada B(x1 , r1 ) ⊂ A ∩ A1 .
Como la bola B(x1 , r1 ) es abierto y no vacı́o y A2 es denso resulta que B(x1 , r1 ) ∩ A2 es no vacı́o
y por tanto existe x2 ∈ B(x1 , r1 ) ∩ A2 y es abierto luego existe r2 < 21 tales que
B(x2 , r2 ) ⊂ B(x1 , r1 ) ∩ A2 ⊂ A ∩ A1 ∩ A2
Ası́, por inducción se puede construir una sucesión de bolas {B(xn , rn )}∞
n=1 tales que para cada
1
n ∈ N, rn < n , y B(xn , rn ) ⊂ A ∩ A1 ∩ ... ∩ An .
Si consideramos las bolas cerradas, la familia {B(xn , rn )}∞ n=1 cumple la hipótesis del Teorema
de encaje de Cantor, y por tanto su intersección es un único punto:
∩∞
n=1 B(xn , rn ) = {x}, x ∈ X
Ası́, tal y como se han construido estas bolas, x ∈ A ∩ (∩∞ ∞

n=1 An ) y ∩n=1 An es denso.
8.4 Completado de un espacio métrico
¯ es el completado
Definición 8.4.1 (Espacio completado). Diremos que un espacio métrico (X, d)
¯ es completo y X es isométrico a un subconjunto denso de
de un espacio métrico (X, d) si (X, d)
X.
Ejemplo 8.4.2.
(R, | |) es un completado de (Q, | |).
Teorema 8.4.3. Sea X un conjunto cualquiera. Entonces el espacio métrico (B(X, R), d∞ ) con
B(X, R) = {f : X −→ R : f acotada} y d∞ (f, g) = sup{| f (x) − g(x) |: x ∈ X}, es un
espacio métrico completo.
Demostración. Sea (fn )∞

n=1 una sucesión, de funciones, de Cauchy en (B(X, R), d∞ ). Entonces
para cada x ∈ X la sucesión de números reales (fn (x))∞
n=1 , es una sucesión de Cauchy en (R, |
|).
Como (R, | |) es completo se tiene que, para cada x ∈ X, (fn (x))∞ n=1 converge a un punto en R
que llamaremos f (x). A partir de estos lı́mites definimos una función, f : X −→ R, tal que a
cada x ∈ X le hace corresponder el lı́mite de la sucesión (fn (x))∞
n=1 , que hemos llamado f (x).
Veamos que (fn )n converge a f . Como la sucesión es de Cauchy, tendremos que para todo ε > 0,
existe no tal que si m, n > no , entonces d∞ (fn , fm ) = sup{|fn (x) − fm (x)| : x ∈ X} < ε. En
particular, si tomamos n > no fijo y p ∈ N, tendremos que
d(fn , fn+p ) = sup{|fn (x) − fn+p (x)| : x ∈ X} < ε
Entonces tendremos que para todo x ∈ X, se cumple que
|fn (x) − fn+p (x)| < ε
Si ahora tomamos lı́mites cuando p → ∞, tendremos que, para todo x ∈ X
|fn (x) − fn+p (x)| → |fn (x) − f (x)|
lo que implica que |fn (x) − f (x)| < ε y por tanto la conclusión es que si n > no entonces
d∞ (fn , f ) = sup{|fn (x) − f (x)| : x ∈ X} < ε
lo que implica que (fn )n converge a f .
Esto también implica que f ∈ B(X, R), es decir, está acotada, pues como (fn )n es de Cauchy, por
la proposición 8.1.6, está acotada, luego existe M > 0 tal que (fn )n ⊂ B(0, M ), con 0 la función
8.5. EJERCICIOS 77
idénticamente nula, es decir d∞ (0, fn ) < M para todo n ∈ N. Entonces, dado 1 > 0, como (fn )n
converge a f , existe un n1 tal que si n > n1 , entonces d∞ (fn , f ) < 1. Por tanto podemos poner
d∞ (0, f ) ≤ d∞ (0, fn ) + d∞ (fn , f ) < M + 1
Proposición 8.4.4. Existe un completado de cualquier espacio métrico (X, d).
Demostración. Sea a ∈ X fijo. Definimos la aplicación ψ : X −→ B(X, R) como ψx : X −→

R, tal que ψx (y) = d(y, x) − d(y, a). ψx ∈ B(X, R) puesto que
d∞ (0, ψ) = sup{|ψx (y)| : y ∈ X} = sup{|d(y, x) − d(y, a)| : y ∈ X} = d(x, a)
Además ψ es una isometrı́a puesto que
d∞ (ψx , ψz ) = sup{|d(y, x) − d(y, z)| : y ∈ X} = d(x, z)
Si ahora consideramos la adherencia ψ(X) en B(X, R), con la distancia inducida, tenemos que
por la proposición 8.2.7, ψ(X) es completo por ser cerrado en B(X, R) que es completo. Ya
hemos encontrado un completado de X.
8.5 Ejercicios
1. Pruebe que toda sucesión de Cauchy en un espacio métrico es totalmente acotada.[Lipschutz],

pag. 199
2. Sea (X, d) un espacio métrico. Una aplicación f : X −→ X se llama contractiva, si existe

k ∈ R con 0 ≤ k < 1, tal que para todo x, y ∈ X, d(f (x), f (y)) ≤ kd(x, y). Pruebe:
a) Si f es contractiva, entonces f es continua.
b) Si f es contractiva y (X, d) es completo, existe x ∈ X tal que f (x) = x (Teorema del
punto fijo)
[Lipschutz], pag. 201
3. En el teorema de punto fijo del ejercicio anterior, las hipótesis son necesarias:
a) Completitud. Demuestre que la aplicación f : (0, 31 ) −→ (0, 13 ) dada por f (x) = x2
es una contractiva y que no tiene punto fijo.
b) Contractiva. Demuestre que la aplicación f : [1, ∞) −→ [1, ∞) dada por f (x) =
x + x1 no cumple | f (x) − f (y) |<| x − y | y no tiene punto fijo.
4. El Teorema de Encaje de Cantor necesita de todas las hipótesis:

a) Espacio métrico completo. Demuestre que {(0, n1 ]}∞ n=2 es una sucesión de conjun-
tos cerrados de ((0, 1), | |) tales que sus diámetros convergen a 0 y, sin embargo, su
intersección es el vacı́o.
b) Conjuntos cerrados. Demuestre que {(0, n1 )}∞ n=1 es una sucesión de conjuntos no
cerrados en R tales que sus diámetros convergen a cero y su intersección es el vacı́o.
c) Sucesión de diámetros convergente a 0. Demuestre que {[n, ∞)}∞ n=1 es una sucesión
decreciente de conjuntos cerrados en R tales que su intersección es el vacı́o.
5. Sea (X, d) un espacio métrico. Demuestre que si A, B ⊂ X son completos, entonces A ∪ B

también es completo. [Fleitas], pag. 180
6. Sea (xn )n una sucesión en un espacio métrico (X, d) y sea la sucesión de conjuntos
A1 = {x1 , x2 , . . . }, A2 = {x2 , x3 , . . . }, . . . , An = {xn , xn+1 , . . . }
Pruebe que (xn )n es una sucesión de Cauchy si, y sólo si la sucesión de los diámetros
(δ(An ))n , converge a 0. [Lipschutz], pag. 199
REFERENCIAS
[Lipschutz]: Topologı́a General. Autor: S. Lipschutz. Serie Schaum. Ed. McGraw-Hill.

1970
[Fleitas]: Problemas de Topologı́a General. Autores: G. Fleitas y J. Margalef. Ed. Alham-

bra 1983

Topologia en R PDF

Cargado por

Información del documento

Título original

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

Topologia en R PDF

Cargado por

Copyright:

Formatos disponibles

Capı́tulo 1

• N será el conjunto de los números naturales o enteros positivos.

• Z será el conjunto de los números enteros.

• Q será el conjunto de los números racionales.

• R será el conjunto de los números reales.

• C será el conjunto de los números complejos.

Intersección de la familia A como el conjunto de todos los elementos que pertenecen a

Proposición 1.1.3 (Propiedad distributiva). Sea {Ai : i ∈ I} una familia de conjuntos y B un

(2) Se realiza de forma análoga.

Definición 1.1.4 (Complementario). Dado A ⊂ E, definimos el complementario de A en X

Está claro que (Ac )c = A

Proposición 1.1.5 (Leyes de Morgan). Sea {Ai : I ∈ I} una familia de subconjuntos Ai ⊂ X,

1. ( i∈i Ai )c = i∈i Aci o bien X r ( i∈i Ai ) = i∈i (X r Ai )

2. ( i∈i Ai )c = i∈i Aci o bien X r ( i∈i Ai ) = i∈i (X r Ai )

Demostración. Vamos a ver la demostración de la propiedad 1). La 2) se hará de forma análoga.

⊃ Si x ∈ i∈i Aci , x ∈ / i∈i Ai , por tanto x ∈ ( i∈i Ai )c .

Definición 1.1.6 (Diferencia de conjuntos). Dados dos conjuntos A y B, definimos la diferencia

Proposición 1.1.7. Sean A, B ⊂ X, entonces se verifican:

4. Para la diferencia de conjuntos se verifican las Leyes de Morgan.

Un concepto tan importante y básico como el de conjunto, y que también es conocido, es el de

Γ(f ) = {(x, y) : x ∈ X, y = f (x) ∈ Y } ⊂ X × Y,

Definición 1.2.2 (Imagen e imagen inversa). Si A ⊂ X, el conjunto imagen de A, es el subcon-

formado por todas las imágenes f (x) tales que x ∈ A.

Si B ⊂ Y , la imagen inversa de B es el subconjunto

formado por aquellos elementos tales que su imagen pertenece a B.

Si y ∈ Y , se usará la notación f −1 (y) = f −1 ({y}), pero obsérvese que es un subconjunto de X

(1) Si x ∈ A, entonces y = f (x) ∈ f (A) ⊂ Y , luego x ∈ f −1 (f (A)).

Ejemplo 1.2.4. Las inclusiones anteriores no son ,en general, igualdades.

(1) Consideremos la parábola f : R −→ R, f (x) = x2 .

(2) Consideremos el seno de x, f : R −→ R, f (x) = sen x.

f (f −1 ([−2, 2])) = [−1, 1].

Las imágenes y las imágenes inversas respecto de la unión y de la intersección de familias de

3. f −1 ( j∈J Bj ) = j∈J f −1 (Bj ),

4. f −1 ( j∈J Bj ) = j∈J f −1 (Bj .

Consideremos los conjuntos A = [1, 2] × [1, 2] y B = [1, 2] × [3, 4] de R2 y la proyección

π1 (A) ∩ π1 (B) = [1, 2] ∩ [1, 2] = [1, 2], pero π1 (A ∩ B) = π1 (∅) = ∅

Por otra parte

π1 (A r B) = π1 (A) = [1, 2], pero π1 (A) r π1 (B) = [1, 2] r [1, 2] = ∅

Proposición 1.2.7. Sea f : X −→ Y una aplicación entre conjuntos y sea B ⊂ Y . Entonces

La última definición de este apartado es la de subsucesión de una sucesión {xn }∞

En esta sección, y salvo que se diga lo contrario, X va a representar un conjunto no vacı́o.

Proposición 1.3.4. Todo subconjunto A ⊂ N de los números naturales es numerable.

Demostración. Si A ⊂ N es finito el resultado es evidente.

Supongamos que A ⊂ N no es finito. Definimos entonces la aplicación φ : N −→ A de la

Proposición 1.3.5. Un conjunto X es numerable si y sólo si existe una aplicación suprayectiva

A continuación estudiaremos algunas propiedades básicas de la numerabilidad y veremos algunos

Proposición 1.3.6. Si X es numerable y S es un subconjunto de X, entonces S es numerable.

Demostración. Por el hecho de ser X numerable, existe una aplicación suprayectiva φ : N −→ X.

Ejemplo 1.3.7. El conjunto N × N es numerable; y como consecuencia también lo es N× . n. . ×N.

Demostración. Podemos ”colocar”el conjunto N × N de la siguiente forma:

(0, 0) (0, 1) (0, 2) (0, 3) ...

Si los recorremos en diagonal de arriba a abajo y de izquierda a derecha, como se indica en

dada por ψ(i, n) = ψi (n) también es suprayectiva.

Por el hecho de ser I numerable, existe otra aplicación suprayectiva θ : N −→ I. Sea φ : N −→

Ejemplo 1.3.9. El conjunto Z de los números enteros es numerable.

La numerabilidad también se conserva por productos finitos:

Ejemplo 1.3.11. El conjunto de los números racionales, Q, es numerable.

Proposición 1.3.12. El intervalo [0, 1] ⊂ R no es numerable; en consecuencia R tampoco lo es.

Demostración. Supongamos que sı́ es numerable, es decir [0, 1] = {x1 , x2 , x3 , . . . } se trata de

x1 = 0, a11 a12 a13 . . . a1n . . .

x2 = 0, a21 a22 a23 . . . a2n . . .

2.1 Distancias y espacios métricos

3.     para todo ! (simetrı́a).

3. para todo ! (simetrı́a).

4. " $#%&' (#) para todo $#* (desigualdad triangular).

Proposición 2.1.4 (Desigualdad de Cauchy-Schwarz). Si y

(2) El ejemplo anterior se puede generalizar a

Sean $#*

con la distancia - -

0 3&4

( &' +*,

Proposición 2.1.6. Sea $+ un espacio métrico, entonces se verifica

, cuando se hable de como de un espacio métrico, siempre se estará suponiendo que

(1) + 5 con la métrica inducida por el valor absoluto es subespacio métrico de

Definición 2.1.10 (Distancia entre conjuntos). Sean y dos subconjuntos de . Se define la

*

(1) Si es la métrica discreta sobre , y , entonces

0 5 sisi * 5 sisi 2

(2) Consideremos con la distancia usual 21

--(+ 5 (+ 5 (+ 5

(4) En el espacio métrico discreto $ se tiene que

(5) Sea + 5 2

con la métrica del valor absoluto

ası́ ya que, como -

$#% " &' $#% " 3& 3&

Corolario 2.3.4. Cualquier bola abierta en un espacio m étrico $+ es un abierto

1 1,5 1 31%"

Teorema 2.3.6. Sea $+ un espacio métrico, entonces se verifican:

(2) El intervalo+ es un entorno del punto 5 , pero no lo es del punto .

Proposición 2.4.3. Un subconjunto de un espacio métrico

1 1%",5 1 31+" , sı́ lo es.

Teorema 2.4.7. Sea $+ un espacio métrico, entonces se verifican:

de con la métrica euclı́dea son subespacios

(1) Los diámetros de los subconjuntos , 5 5 y 5 de

(2) El subespacio + 5