Lección 3.

Algunos conceptos topológicos en espacios métricos

Análisis Funcional

Universidad de Almerı́a, 2020-21

Se trata de una lección en la que se van a presentar una buena gama de definiciones
que, si bien serán ya conocidas por el estudiante, se usarán continuamente durante el curso
y es preciso un buen manejo de las mismas. Se presentarán haciendo uso de la intuición
geométrica y su terminologı́a. Para x en el métrico (X, d) y r > 0, se definen:

La bola abierta de centro x0 y radio r:

B(x0 ; r) := {x ∈ X : d(x, x0 ) < r}.

La bola cerrada de centro x0 y radio r:

B(x0 ; r) := {x ∈ X : d(x, x0 ) ≤ r}.

La esfera de centro x0 y radio r:

S(x0 ; r) := {x ∈ X : d(x, x0 ) = r}.

Siendo evidente que S(x0 ; r) = B(x0 ; r)\B(x0 ; r), será conveniente que el estudiante
esté avisado de posibles sorpresas en los espacios métricos que no siempre serán analogı́as
con la experiencia de los euclı́deos. Concretamente, en los espacios con la métrica discreta,
las esferas de radio r 6= 1 son vacı́as, y las de radio 1 contienen a todos los puntos del
espacio, salvo al propio centro.
El concepto de conjunto abierto se introducirá como el que admite alguna bola comple-
tamente contenida para cada uno de sus puntos, y se dirá conjunto cerrado si su comple-
mentario en el total es abierto. La notación B(x0 ; ε) se usará para introducir un concepto
central como es el de entorno (de radio ε) del punto x0 . Con los entornos podremos definir
los conceptos de punto interior e interior de un conjunto, comprobándose que este conjunto
es el mayor de sus abiertos contenidos.

Las propiedades de la familia T de los conjuntos abiertos en un métrico X se pueden

resumir en las tres siguientes:

1
 [T.1] ∅ ∈ T , X ∈ T .

[T.2] Las uniones arbitrarias de elementos de T es otro elemento de T ; es decir, T es

cerrado para uniones.

[T.3] Las intersecciones finitas de elementos de T es otro elemento de T ; es decir, T es

cerrado para intersecciones finitas.

Las propiedades [T.1], [T.2] y [T.3] nos dicen que T es una topologı́a en X, y al par
(X, T ) se le llama espacio topológico. Por ello, diremos que tenemos una topologı́a en X
asociada a la métrica d; a la vez que podemos afirmar que todo espacio métrico es un
espacio topológico. Y con muy poco esfuerzo se puede afirmar bastante más:

Todo espacio métrico es un espacio topológico de Hausdorff.

Esto es, para cada par de puntos del espacio podemos encontrar correspondientes en-
tornos disjuntos; o también, podemos decir que podemos separar puntos por entornos
disjuntos.
Los conjuntos abiertos encontrarán en las aplicaciones continuas un aliado natural du-
rante todo el curso. En estos momentos iniciales, hay que recordar la relación que los liga:
˜ son equivalentes las dos
para una aplicaciń T entre dos espacios métricos (X, d) e (Y, d),
siguientes afirmaciones, cuya demostración no entrañará dificultad alguna:

1. La aplicación T : X −→ Y es continua en X (esto es: lo es en cada uno de sus puntos x0 :

para cualquier ε > 0, podemos encontrar δ > 0 tal que para cada x ∈ X, con d(x, x0 ) < δ
se tendrá d(T x, T x0 ) < ε).
2. Si B es un abierto de Y , entonces T −1 B es un abierto de X.

A la par que el concepto de entorno, otro concepto topológico de extrema importancia

será el de punto de acumulación de un conjunto: un punto x ∈ X será de la acumulación
de A, siendo A ⊂ X, si cada entorno de x contiene puntos de A\{x}.

El concepto de conjunto cerrado o cierre de un conjunto A se define como la unión del

conjunto con sus puntos de acumulación. Y se comprueba que el cierre de un conjunto A,
A, coincide con el más pequeño de los conjuntos cerrados con lo contienen.

Se debe ser cuidadoso con suponer más allá de lo que tengamos comprobado y dejarnos
llevar por analogı́as peligrosas de nuestro espacio euclı́deo. En general, el cierre de una
bola abierta B(x, r) no tiene por qué coincidir con la bola cerrada B(x0 ; r), como pone de
manifiesto el ejemplo de la métrica discreta en cualquier espacio: para x0 dado y r = 1, se
tiene que B(x0 ; 1) = {x0 } (a saber, el cerrado más pequeño que contiene a la bola abierta

2
B(x0 ; 1)), mientras que B(x0 ; 1) = X.

El concepto de punto de acumulación es de particular importancia cuando se trate de

clasificar los espacios con los que trabajaremos este curso. Lo iremos viendo poco a poco, y
será central cuando clasifiquemos los espacios de Hilbert como separables o no separables1 :
1. Sea subconjunto D del métrico X. Se dice que D es denso en X si su cierre coincide
con el total: D = X.
2. Un métrico X se dice separable si en él existe un subconjunto denso numerable.

Completamos la lección viendo ejemplos que clarifiquen la teorı́a expuesta:

1. Es bien conocida la densidad en R de Q (y también de R\Q). Luego, R es separable.
2. Por análoga razón, el plano complejo C es separable.
3. Para cada N ∈ N, los espacios KN , también lo serán.
4. Si disponemos de la métrica discreta, X será separable si, y sólo si, X es numerable.
5. El espacio `∞ de las sucesiones acotadas no es separable, para cuya demostración consid-
eraremos la representación en base 2 los puntos del intervalo unidad, que es no numerable.
La métrica del supremo nos garantizará que los elementos y = (ηk ) a base de ceros y unos
se dispersan los suficiente como para no obtener un subconjunto denso numerable en `∞ .
6. Sin embargo, los espacios de sucesiones `p , con 1 ≤ p < +∞, son todos separables.
Su demostración se basará en probar que el espacio c00 (Q) de las sucesiones casi cero con
coeficientes racionales es denso en cada uno de ellos.

Un buen ejercicio (permitiéndonos el exceso de jugar ya con espacios vectoriales y su

dimensión) puede ser el proponer definir el espacio `∞ (X) := {x ∈ X : x(X) es acotado}
de las sucesiones acotadas de elementos de un conjunto no vacı́o X. Y entonces, probar
que son equivalentes:

i. `∞ (X) es separable.
ii. X es finito.
iii. `∞ (X) es de dimensión finita.
Asimismo, como espacio denso numerable que nos garantice su separabilidad, podemos
considerar
`0 = {x ∈ X : x(X) es finito}.

1
Recordemos que, por ejemplo, von Neumann siempre consideró como separables los espacios (Hilbert)
en los que trabajó. Estamos hablando de mediados del siglo pasado...