U

EH
V/
UP
5

2,
Capı́tulo

AL
Introducción a los espacios métricos

GR
TE
5.1. Definición y primeras propiedades
IN

Muchas de las propiedades y los conceptos relativos a los espacios euclı́deos se basan simple-
mente en su estructura métrica. Esto sugiere extender el concepto a espacios más generales.
LE

Definición. Un espacio métrico es un par (X, d), donde X es un conjunto arbitrario no vacı́o
y d : X × X → R una aplicación, llamada distancia o métrica, tal que, para cualesquiera
x, y, z ∈ X, se verifica:
IA

(1) d(x, y) ≥ 0.
NC

(2) d(x, y) = 0 ⇐⇒ x = y.

(3) d(x, y) = d(y, x).

RE

(4) d(x, z) ≤ d(x, y) + d(y, z).

FE

De la definición se deducen fácilmente las siguientes propiedades:

i) d(x1 , xn ) ≤ d(x1 , x2 ) + d(x2 , x3 ) + · · · + d(xn−1 , xn ), ∀x1 , x2 , . . . , xn ∈ X.

DI

ii) |d(x, z) − d(y, z)| ≤ d(x, y), ∀x, y, z ∈ X.

iii) Si Y es un subconjunto del espacio métrico (X, d) y se define d� (y1 , y2 ) = d(y1 , y2 ),

O

∀y1 , y2 ∈ Y , entonces (Y, d� ) es también un espacio métrico y d� se llama métrica inducida

UL

por d a Y .

Ejemplos.
LC

�
1 si x �= y
1) Sea X un conjunto cualquiera. La aplicación d definida por d(x, y) = es la
0 si x = y,
CÁ

llamada métrica trivial o discreta.

95
 U
EH
96 5.2. Nociones topológicas en espacios métricos

V/
2) Como vimos en el capı́tulo 1, si X = Rn , las siguientes aplicaciones son distancias
�� �1/p

UP
n
dp (x, y) = |xi − yi |p (p ≥ 1), y
i=1
d∞ (x, y) = máx |xi − yi |.
1≤i≤n

2,
a
3) Sean X = Q, c ∈ R (0 < c < 1), p primo. Todo x ∈ Q se puede escribir como x = pα

AL
b
donde p no divide a a ni a b. Ası́ definimos el valor p-ádico de x como |x|p = cα si x =
� 0
y |0|p = 0.

GR
De este modo, d(x, y) = |x − y|p es una métrica (ver [BN]).

4) En el espacio X = {x = (xn )n∈N : xn ∈ C, (xn )n∈N sucesión acotada} definimos d(x, y) =

supn |xn − yn |. Ası́ (X, d) es un espacio métrico y se denota por �∞ .

5) En general, si llamamos �p = {x = (xn )n∈N : ∞

� TEp
n=1 |xn | < ∞}, (p ≥ 1), las aplicaciones
� �∞ �
p 1/p son también distancias.
dp (x, y) = n=1 |xn − yn |
IN
El espacio correspondiente a p = 2 fue estudiado por Hilbert (1912) en su estudio sobre las
ecuaciones integrales y constituyó el primer ejemplo de los que posteriomente se conocen
LE

como espacios de Hilbert.

Para comprobar los axiomas (concretamente la desigualdad triangular) son necesarias
las desigualdades de Hölder y Minkowski (generalizaciones a dimensión infinita de las
proposiciones 1.3.2 y 1.3.3). Como la desigualdad triangular falla precisamente cuando
IA

p < 1, no tiene sentido definir el espacio �p con p < 1.

NC

6) Los espacios

c = {(xn )n∈N : xn ∈ C, (xn )n∈N convergente} y

c0 = {(xn )n∈N : xn ∈ C, lı́m xn = 0},
RE

n→∞

al ser subespacios de �∞ , son espacios métricos con la métrica inducida por �∞ .

FE

7) Si llamamos C[a, b] al espacio de las funciones continuas en [a, b], la aplicación d(f, g) =
máxx∈[a,b] |f (x) − g(x)| define también una distancia en el conjunto.
DI

Dejamos como ejercicio la comprobación de los axiomas de espacio métrico en los ejemplos
anteriores.
O

5.2. Nociones topológicas en espacios métricos

UL

Los conceptos topológicos descritos en el primer capı́tulo para el espacio euclı́deo se pueden
LC

generalizar de manera natural a espacios métricos arbitrarios.

Definición. Sea (X, d) un espacio métrico. Si x ∈ X, r > 0, la bola abierta de centro x y radio
r es el conjunto B(x, r) = {y ∈ X : d(x, y) < r}. Análogamente se definen las correspondientes
CÁ

bolas cerradas B(x, r) = {y ∈ X : d(x, y) ≤ r} y las esferas S(x, r) = {y ∈ X : d(x, y) = r}.

 U
EH
Capı́tulo 5. Introducción a los espacios métricos 97

V/
En general, se llama diámetro de un conjunto A a diám A = sup{d(x, y) : x, y ∈ A}.

UP
Ejemplos.
�
{x} si r ≤ 1,
1) Si d es la métrica trivial en X, B(x, r) =

2,
X si r > 1.

2) En (R, | · |), las bolas abiertas son B(x, r) = {y ∈ R : |x − y| < r}.

AL
Definición. Sea A ⊂ X. Se dice que x ∈ A es punto interior de A si existe r > 0 tal que
B(x, r) ⊂ A. Se llama interior de A al conjunto

GR
int A = {x ∈ A : x es punto interior de A}.

Si int A = A, A se llama abierto.

TE
Si llamamos A a la colección de todos los conjuntos abiertos de X, es fácil demostrar las
siguientes propiedades:
IN
�
(P1) Aα ∈ A, α ∈ I =⇒ α∈I Aα ∈ A (I es cualquier conjunto de ı́ndices).
�
(P2) A1 , . . . , An ∈ A =⇒ ni=1 Ai ∈ A.
LE

(P3) ∅, X ∈ A.
Observación. Recordemos que un espacio topológico es aquél en el que existe una familia
A de subconjuntos de X que verifican los axiomas (P1), (P2), (P3). De aquı́ se deduce que
IA

todo espacio métrico es a su vez un espacio topológico.

NC

Definición. Dado A ⊂ X, un punto x ∈ X es de adherencia de A si

∀r > 0 : B(x, r) ∩ A �= ∅.
RE

El conjunto A = {x ∈ X : x es punto de adherencia de A} se llama clausura de A. Un

conjunto A se dice cerrado cuando A = A. Las siguientes propiedades son elementales:
(1) A ⊂ A;
FE

(2) A ⊂ B =⇒ A ⊂ B;
(3) A ∪ B = A ∪ B.
DI

Proposición 5.2.1. A es abierto si y sólo si Ac es cerrado.

O

Demostración. Supongamos que A es abierto. Entonces

UL

x ∈ Ac =⇒ ∀r > 0 : B(x, r) ∩ Ac �= ∅ =⇒ B(x, r) �⊂ A =⇒ x �∈ int A

=⇒ (como A es abierto) x �∈ A =⇒ x ∈ Ac .
LC

Esto quiere decir que Ac es cerrado.

El recı́proco también es directo.
CÁ

De esta proposición y de las propiedades análogas para los abiertos, se deducen las siguientes:
 U
EH
98 5.2. Nociones topológicas en espacios métricos

V/
Proposición 5.2.2. Sea X un espacio métrico arbitrario.
�

UP
a) Si {Ai }i∈I es una familia arbitraria de conjuntos cerrados, entonces i∈I Ai es cerrado.
�
b) Si {A1 , . . . , An } son cerrados, ni=1 Ai es cerrado.

c) ∅, X son cerrados.

2,
Definición. Un punto x ∈ X es punto lı́mite (o de acumulación) de A ⊂ X cuando ∀r >

AL
0, B(x, r) ∩ A contiene infinitos puntos de A (lo que es equivalente a decir que contiene algún
punto de A distinto de x). Se llama conjunto derivado de A,

GR
A� = {x ∈ X : x es punto lı́mite de A}.

Es fácil comprobar que A es cerrado si y sólo si A� ⊂ A.

TE
Definición. Dada una sucesión (xn )n∈N de puntos de X, se dice que converge al punto x, y
se escribe xn → x, cuando

∀r > 0, ∃N ∈ N : xn ∈ B(x, r), ∀n > N.

IN

La condición anterior equivale a que la sucesión de números reales {d(xn , x)}n∈N converge a
cero.
LE

Análogamente, una sucesión de subconjuntos {An }n∈N de X converge a un punto x ∈ X si

para toda bola B centrada en x, existe un ı́ndice m tal que An ⊂ B para todo n > m. El
siguiente resultado es inmediato.
IA

Proposición 5.2.3. Dada una sucesión arbitraria (xn )n∈N en X, si llamamos Ak = {xn :
n > k}, entonces xn → x si y sólo si Ak converge a x.
NC

Ejemplos.
RE

1) Sea X un conjunto arbitrario con la métrica trivial. Si xn → x, entonces xn = x, ∀n > N.

2) Sea Q con la distancia p-ádica. Dada la sucesión {pn }n∈N , d(0, pn ) = |p|np = cn y como
FE

c < 1, pn → 0.

Definición. Una sucesión (xn )n∈N en X es acotada cuando

DI

sup{d(xn , xm ) : n, m ∈ N} < ∞.

En general, un subconjunto M ⊂ X es acotado cuando M ⊂ B(x0 , r) con x0 arbitrario y r

O

suficientemente grande.
UL

Un concepto más general, y que relacionaremos posteriormente con el de compacidad, es el

siguiente:
Definición. Un conjunto A de un espacio métrico X se dice totalmente acotado o precom-
LC

pacto si, dado cualquier ε > 0, existe un número finito de conjuntos A1 , . . . , Ap tales que
A = A1 ∪ · · · ∪ Ap y diám Ai ≤ ε, i = 1, . . . , p.
CÁ

Proposición 5.2.4. Si A es totalmente acotado, entonces es acotado.

 U
EH
Capı́tulo 5. Introducción a los espacios métricos 99

V/
Demostración. Tomemos ε = 1; por hipótesis A = A1 ∪ · · · ∪ Ap con diám Ai ≤ 1. Para cada
i ∈ {1, . . . , p}, elegimos xi ∈ Ai y llamamos

UP
δ = máx{d(xi , xj ), i, j = 1, . . . , p}.

Dados x, y ∈ A, existirán i, j tales que x ∈ Ai , y ∈ Aj ; luego

2,
d(x, y) ≤ d(x, xi ) + d(xi , xj ) + d(xj , y) ≤ 1 + δ + 1 = 2 + δ,

AL
lo que prueba la acotación de A.

GR
El recı́proco no es cierto: basta considerar un conjunto infinito A con la métrica discreta pues
toda esfera de radio ε < 1 sólo posee un punto y A no puede cubrirse con un número finito
de esferas de radio ε < 1. Sin embargo, es evidente que se trata de un conjunto acotado.

Lema 5.2.5. Sea (X, d) un espacio métrico. TE

a) Si (xn )n∈N es convergente, entonces está acotada y su lı́mite es único.
IN

b) Si xn → x, yn → y, entonces d(xn , yn ) → d(x, y).

LE

Demostración. a) Haciendo ε = 1, existe N ∈ N tal que d(xn , x) < 1, ∀n > N . Por otra parte,
para los valores n ≤ N, existe a = máx{d(x1 , x), . . . , d(xN , x)}. Entonces d(xn , x) ≤ 1 + a, ∀n
y d(xn , xm ) ≤ 2(1 + a), ∀n, m.
IA

Si xn → x, xn → y, entonces 0 ≤ d(x, y) ≤ d(x, xn ) + d(xn , y) → 0.

b) Por la desigualdad triangular, d(xn , yn ) ≤ d(xn , x) + d(x, y) + d(y, yn ). Entonces
NC

|d(xn , yn ) − d(x, y)| ≤ d(xn , x) + d(y, yn ) → 0,

lo que prueba el resultado.

RE

Observación. En R con la métrica euclı́dea se verifica además que toda sucesión monótona y
acotada es convergente. Otro resultado importante es el teorema 1.3.4 de Bolzano-Weierstrass
FE

que afirma que toda sucesión acotada en R tiene alguna sub-sucesión convergente.
También son válidas en el contexto general las siguientes caracterizaciones de la clausura de
DI

un conjunto (ver proposición 1.4.5).

Proposición 5.2.6. x ∈ A ⇐⇒ ∃(xn )n∈N ⊂ A tal que xn → x.

O

Corolario 5.2.7. A es cerrado si y sólo si dada cualquier sucesión (xn )n∈N contenida en A
UL

y xn → x, entonces x ∈ A.

Definición. Un subconjunto M de un espacio métrico X es denso en X si M = X. El

LC

espacio X se dice separable si posee algún subconjunto numerable que es denso en X. En

la práctica se prefieren los espacios separables, más simples que los otros. Veamos algunos
ejemplos.
CÁ

Ejemplos.
 U
EH
100 5.3. Aplicaciones entre espacios métricos

V/
1) Si X es un espacio con la métrica discreta, es separable si y sólo si es numerable, pues
ningún subespacio propio puede ser denso.

UP
2) R es separable pues Q ⊂ R es numerable y denso en R.
3) C es separable pues {x + iy : x, y ∈ Q} es numerable y denso en C.

2,
4) Veamos que �∞ no es separable:
Sea M = {y = (yn )n∈N sucesión formada por ceros y unos}. Asociamos a cada y otro

AL
número y� ∈ [0, 1] cuya representación binaria es y1 /2 + y2 /22 + · · · + yn /2n + . . .
Ası́, como [0, 1] no es numerable y dos puntos distintos y�, z� ∈ [0, 1] tienen distintas re-

GR
presentaciones binarias, el conjunto de las sucesiones M formadas por ceros y unos es
también no numerable. (Otra forma de ver que M es no numerable es aplicar el procedi-
miento diagonal de Cantor.)

TE
Además, dos de ellas verifican d(y, z) = 1. Por tanto, {B(y, 1/3) : y ∈ M } es una familia
no numerable de conjuntos disjuntos.
Si un conjunto arbitrario D fuera denso en �∞ , cada una de esas bolas tendrı́a algún punto
IN
de D; como hay un conjunto no numerable de bolas, debe haber un conjunto no numerable
de elementos de D. De esto se deduce que �∞ no es separable.
5) Los espacios �p , con 1 ≤ p < ∞, son separables:
LE

En efecto, si M = {y = (y1 , . . . , yn , 0, . . . ) : yk ∈ Q, ∀k}, M es numerable.

�
∞
Además, ∀x = (xn )n∈N ∈ �p , dado cualquier ε > 0, ∃n = n(x) : |xk |p < εp /2 (por
IA

k=n+1
ser el resto de una serie convergente).
�n
NC

Como Q es denso en R, ∃yk ∈ Q : k=1 |xk − yk |p < εp /2. Si definimos el elemento

y = (y1 , . . . , yn , 0, . . . ), entonces
n
� ∞
�
RE

p p
d(x, y) = |xk − yk | + |xk |p < εp =⇒ d(x, y) < ε.
j=1 j=n+1

Esto demuestra que M es denso en �p .

FE

5.3. Aplicaciones entre espacios métricos

DI

Los conceptos de lı́mite y continuidad de funciones definidas entre espacios euclı́deos desa-
rrollados en el capı́tulo 2 se extienden de forma natural a espacios métricos arbitrarios.
O

Definición. Sean (X, d), (Y, d� ) espacios métricos. Se dice que una aplicación f : X → Y es
UL

continua en x0 ∈ X cuando

∀ε > 0, ∃δ > 0 : f (B(x0 , δ)) ⊂ B(f (x0 ), ε).

LC

Si f es continua en todo x ∈ X, se llama aplicación continua.

Proposición 5.3.1. f : X → Y es continua en x0 si y sólo si toda sucesión (xn )n∈N que
CÁ

converge a x0 verifica f (xn ) → f (x0 ).

 U
EH
Capı́tulo 5. Introducción a los espacios métricos 101

V/
Demostración. a) Sea f continua en x0 . Entonces

UP
∀ε > 0, ∃δ > 0 : f (B(x0 , δ)) ⊂ B(f (x0 ), ε).

Si xn → x0 , dado tal δ, existe N tal que xn ∈ B(x0 , δ), ∀n > N. Entonces f (xn ) ∈ B(f (x0 ), ε).
En definitiva, ∀ε > 0, ∃N : f (xn ) ∈ B(f (x0 ), ε), ∀n > N lo que significa que f (xn ) → f (x0 ).

2,
b) Si f no es continua en x0 , entonces

AL
∃ε > 0 : ∀δ > 0, ∃y ∈ B(x0 , δ) : f (y) �∈ B(f (x0 ), ε).

Si elegimos δn = 1/n, encontramos una sucesión (yn )n∈N tal que yn ∈ B(x0 , δn ) y f (yn ) �∈
B(f (x0 ), ε). Entonces yn → x0 pero f (yn ) �→ f (x0 ).

GR
Proposición 5.3.2. Sean X e Y dos espacios métricos y f : X → Y . Son equivalentes:

1) f es continua. TE
2) xn → x =⇒ f (xn ) → f (x), ∀x ∈ X.
IN
3) F ⊂ Y es cerrado =⇒ f −1 (F ) ⊂ X es cerrado.

4) A ⊂ Y es abierto =⇒ f −1 (A) ⊂ X es abierto.

LE

Demostración. 1) =⇒ 2). Ya probado en la proposición anterior.

2) =⇒ 3). Supongamos que f verifica ii); sea F cerrado en Y y A = f −1 (F ). Veamos que
A ⊂ A.
IA

Si x ∈ A, ∃(xn )n∈N con xn ∈ A tal que xn → x (por la proposición 2.11). Por hipótesis,
f (xn ) → f (x), pero f (xn ) ∈ F =⇒ f (x) ∈ F . Como F es cerrado, f (x) ∈ F =⇒ x ∈
NC

f −1 (F ) = A.
3) =⇒ 4). Sea A ⊂ Y abierto. Entonces Y \ A es cerrado y, por hipótesis, f −1 (Y \ A) es
cerrado. Como f −1 (Y \ A) = X \ f −1 (A), entonces f −1 (A) es abierto.
RE

4) =⇒ 1). Sea x ∈ X y elegimos ε > 0 arbitrario. Es claro que B(f (x), ε) es abierto. Esto
implica por hipótesis que f −1 (B(f (x), ε)) es abierto. Como x ∈ f −1 (B(f (x), ε)), debe existir
FE

δ > 0 tal que B(x, δ) ⊂ f −1 (B(f (x), ε)). De aquı́ se deduce que f (B(x, δ)) ⊂ B(f (x), ε),
como querı́amos demostrar.
DI

5.4. Completitud en espacios métricos

O

Cuando un conjunto tiene ciertas propiedades, es interesante saber qué tipo de aplicaciones
conservan dichas propiedades. Ası́, un isomorfismo preserva la linealidad de los vectores de
UL

un espacio e incluso permite identificar los dos espacios y tratarlos como uno solo. Veremos
aquı́ un concepto similar para los espacios métricos.
LC

Definición. Dados dos espacios métricos (X, d), (Y, d� ), sea f : X → Y. Si f es biyectiva y
bicontinua (es decir, tanto f como f −1 son continuas), f se llama homeomorfismo.
Los homeomorfismos preservan las propiedades topológicas esenciales: ası́ aplican abiertos de
CÁ

X en abiertos de Y y si x ∈ A� , f (x) ∈ f (A)� .

 U
EH
102 5.4. Completitud en espacios métricos

V/
Definición. a) Si una aplicación f : X → Y entre dos espacios métricos verifica que

UP
∀x1 , x2 ∈ X : d(x1 , x2 ) = d� (f (x1 ), f (x2 )),

entonces f se llama isometrı́a.

b) Si existe una isometrı́a biyectiva f : X → Y , diremos que los espacios métricos X e Y son

2,
isométricos.
Dos espacios isométricos son indistinguibles respecto a la métrica aunque difieran en la na-

AL
turaleza de sus puntos.
Definición. Sea (X, d) un espacio métrico. Una aplicación T : X → X se llama contracción

GR
si ∀x, y ∈ X, existe algún r ∈ (0, 1) tal que d(T x, T y) ≤ r · d(x, y).

Proposición 5.4.1. Toda contracción T en un espacio métrico (X, d) es continua.

TE
Demostración. Para probar que T es continua en x0 ∈ X, debemos ver que

∀B(T x0 , ε), ∃B(x0 , δ) : T (B(x0 , δ)) ⊂ B(T x0 , ε).

IN

Sea pues x ∈ B(x0 , δ) un punto arbitrario; debe cumplirse que T x ∈ B(T x0 , ε), es decir
d(T x, T x0 ) < ε. Como T es contracción, existe r ∈ (0, 1) tal que d(T x, T x0 ) ≤ r · d(x, x0 ) <
LE

r · δ. Tomando δ = ε/r, se verifica que d(T x, T x0 ) < ε, como querı́amos probar.

Definición. Sea (X, d) un espacio métrico. Una sucesión (xn )n∈N es de Cauchy cuando
IA

∀ε > 0, ∃N : d(xn , xm ) < ε, ∀n, m > N.

NC

Es fácil comprobar que toda sucesión convergente es de Cauchy. Además, en Rn ó Cn toda

sucesión de Cauchy converge, pero en general esto no es cierto.
RE

Definición (Fréchet, 1906). Un espacio métrico es completo si toda sucesión de Cauchy es

convergente.
FE

Ejemplos.

1) Cualquier conjunto X con la métrica trivial es completo.

DI

2) Rn con cualquier distancia de las ya definidas es completo.

O

3) El intervalo X = (0, 1), con d(x, y) = |x − y|, no es completo, porque la sucesión {1/n}n∈N
es de Cauchy pero su lı́mite es cero.
UL

4) El conjunto X = Q con la métrica euclı́dea d(x, y) = |x−y| no es completo (hay sucesiones

de racionales cuyo lı́mite es irracional).
LC

5) X = Q, con d(x, y) = |x − y|p , no es completo como muestra el siguiente ejemplo:

� � � k √
Eligiendo p = 5, la sucesión xn = 12 nk=0 (−1)k 1/2
k 5 es de Cauchy y converge a −1
CÁ

que no es racional.
 U
EH
Capı́tulo 5. Introducción a los espacios métricos 103

V/
6) Veamos que el espacio �∞ es completo:
(n) (n)
Sea {x(n) }n∈N = {(x1 , x2 , . . . )}n∈N una sucesión de Cauchy en �∞ . Entonces, ∀ε > 0,

UP
∃N tal que, para n, m > N ,
(m) (n) (m)
d(x(m) , x(n) ) < ε =⇒ |xi − xi | < ε, ∀i =⇒ ∃xi : d(xi , xi ) < ε.

2,
Si llamamos x = (x1 , x2 , . . . ), entonces d(x(m) , x) ≤ ε, es decir x(m) → x.
(m)
Por otra parte, como la sucesión (xi )m∈N converge a xi , está acotada, es decir ∃k > 0 :

AL
(m)
|xi | < k, ∀m. Aplicando la desigualdad triangular,
(m) (m)
|xi | ≤ |xi − xi | + |xi | < ε + k,

GR
lo que significa que (xi )i∈N está acotada. Esto prueba que x ∈ �∞ .

7) También son completos los espacios �p , para 1 ≤ p < ∞.

TE
Para comprobarlo, sea {x(n) }n∈N una sucesión de Cauchy en �p . Entonces ∃N tal que,
para n, m > N :
IN
�� �1/p
(n) (m) (n) (m)
d(x(n) , x(m) ) = |xi − xi |p < ε =⇒ |xi − xi | < ε, ∀i.
i
LE

(n) (n)
Esto implica que {xi }n∈N es de Cauchy, por lo que xi → xi ∈ C.
Si llamamos x = (x1 , . . . xi , . . . ), veamos que x(n)
→ x y x ∈ �p :
�
IA

(n) (m)
Como ki=1 |xi − xi |p < εp , ∀k, entonces, haciendo m → ∞,
k
� ∞
�
NC

(n) p p (n)
|xi − xi | ≤ ε =⇒ |xi − xi |p ≤ εp =⇒ x(n) − x ∈ �p .
i=1 i=1

Por la desigualdad de Minkowski, x = x(n) + (x − x(n) ) ∈ �p .

RE

� (n)
Además, d(x(n) , x)p = ∞ p p
i=1 |xi − xi | ≤ ε =⇒ x
(n) → x.
FE

8) Si X = C[a, b] y d(f, g) = máxx∈[a,b] |f (x) − g(x)|, entonces X es completo:

Si {fn }n∈N es de Cauchy, máxx∈[a,b] |fn (x) − fm (x)| < ε, para n, m > N. Entonces |fn (x) −
fm (x)| < ε, ∀x ∈ [a, b]. Por tanto, por el criterio de convergencia de Cauchy, {fn }n∈N
DI

converge uniformemente en [a, b] y, como fn son continuas, la función lı́mite también lo

será. Ası́, X es completo.
�� �1/2
O

b
9) X = C[a, b] con la métrica d(f, g) = a |f (x) − g(x)|2 dx , ∀f, g ∈ X no es completo.
UL

Si hacemos por ejemplo a = 0, b = 1, la sucesión {fn }n∈N definida por

�
nx si 0 ≤ x ≤ 1/n,
fn (x) =
LC

1 si 1/n < x ≤ 1
�
0 si x = 0
CÁ

es de Cauchy pero el lı́mite f (x) = no es continua en x = 0.

1 si 0 < x ≤ 1,
 U
EH
104 5.4. Completitud en espacios métricos

V/
10) X = {p : [a, b] → C : p polinomio} con d(p, q) = máxx∈[a,b] |p(x) − q(x)| no es completo.
Para demostrarlo, basta tomar una sucesión
� de polinomios que converja uniformemente a

UP
n
una función continua (por ejemplo, ex = n≥0 xn! ).

Otros ejemplos de espacios completos se obtienen gracias a la siguiente caracterización.

2,
Proposición 5.4.2. Un subconjunto M de un espacio métrico completo X es completo si y
sólo si M es cerrado en X.

AL
Demostración. Sea M completo. Entonces, ∀x ∈ M , ∃{xn }n∈N con xn ∈ M, ∀n tal que
xn → x. Pero como {xn }n∈N converge, es de Cauchy; por tanto converge en M , lo que prueba

GR
que x ∈ M.
Recı́procamente, sea M cerrado y {xn }n∈N de Cauchy en M . Por ser X completo, xn → x ∈
X =⇒ x ∈ M =⇒ x ∈ M.
TE
Ejemplo. El espacio c = {x = (xn )n∈N ∈ �∞ : (xn )n∈N converge en C} es completo con la
métrica inducida por �∞ .
IN
En efecto, sea x = (xn )n∈N ∈ c. Entonces

∃yk = (ynk )n∈N ∈ c : yk → x =⇒ |ynk − xn | ≤ d(yk , x) < ε/3, ∀k ≥ N.

LE

Como {ynN }n∈N es convergente, es de Cauchy y |ypN − yqN | < ε/3, ∀p, q ≥ N1 . Entonces

|xp − xq | ≤ |xp − ypN | + |ypN − yqN | + |yqN − xq | < ε.

IA

Esto implica que (xn )n∈N es de Cauchy y, en consecuencia, x ∈ c.

NC

Un hecho importante de la completitud es que todo espacio métrico puede verse como subes-
pacio de un espacio métrico completo.
Definición. Dado un espacio métrico (X, d), un espacio (X ∗ , d∗ ) se llama compleción de
RE

(X, d) si existe X0 subespacio denso de X ∗ tal que (X, d) es isométrico a (X0 , d∗ ).

Teorema 5.4.3. Todo espacio métrico tiene una compleción y dos compleciones de un mismo
FE

espacio métrico son isométricas.

Demostración. (esquema):
DI

Sea X ∗ el conjunto de las clases de equivalencia de sucesiones de Cauchy en X, mediante la

relación:
{xn }n∈N ∼ {yn }n∈N ⇐⇒: lı́m d(xn , yn ) = 0.
O

Se define d∗ : X∗ × X∗ → R como d∗ (x∗ , y ∗ ) = lı́mn d(xn , yn ) siendo {xn } ∈ x∗ , {yn } ∈ y ∗ .

UL

Se debe probar:
LC

1. Dicho lı́mite existe (para ello basta que {d(xn , yn )} sea de Cauchy en R).

2. La definición no depende de los representantes elegidos.

CÁ

3. d∗ es una métrica.
 U
EH
Capı́tulo 5. Introducción a los espacios métricos 105

V/
4. X ∗ contiene un subespacio X0 isométrico a X. Para ello definimos

UP
X0 = {x∗ ∈ X ∗ : (x, x, . . . ) ∈ x∗ }

y f : X → X0 como f (x) = x∗ .

5. X0 = X ∗ .

2,
6. X ∗ es completo.

AL
7. Si (X ∗∗ , d∗∗ ) es compleción de X, ∃f : X ∗ → X ∗∗ isometrı́a.

GR
Con todos estos resultados, queda completa la demostración.

Otra caracterización importante de los espacios completos, que sólo enunciaremos, viene dada
TE
en términos de sucesiones decrecientes de conjuntos o encajes.
Definición. Diremos que una sucesión {An }n∈N de subconjuntos de X es un encaje cuando
A1 ⊃ · · · ⊃ An ⊃ . . . y diám An → 0.
IN

Proposición 5.4.4.�Sea {An }n∈N un encaje de conjuntos no vacı́os. Entonces An converge

a x si y sólo si x ∈ n∈N An .
LE

Teorema 5.4.5 (principio de encaje de Haussdorf). Sea X un espacio métrico. Son equiva-
lentes:
i) X es completo.
IA

ii) Todo encaje {Fn }n∈N de conjuntos cerrados no vacı́os tiene intersección no vacı́a.
iii) Todo encaje {An }n∈N de conjuntos no vacı́os converge a un punto x ∈ X.
NC

5.5. Compacidad en espacios métricos

RE

El mismo concepto de compacidad en espacios euclı́deos se define en espacios métricos abs-

tractos.
FE

� Una familia {Ai }i∈I de conjuntos se llama recubrimiento de un conjunto A cuan-

Definición.
do A ⊂ i∈I Ai . Dado un recubrimiento {Ai }i∈I de A, se llama sub-recubrimiento a todo
DI

recubrimiento {Ai }i∈J tal que J ⊂ I.

Definición. Un subconjunto M de un espacio métrico X es compacto si todo recubrimien-

O

to por abiertos de M posee algún sub-recubrimiento finito (llamada propiedad de Borel-

Lebesgue).
UL

Por ejemplo, si un conjunto X posee la métrica discreta, ningún subconjunto infinito M puede
ser compacto; para comprobarlo basta considerar la familia de bolas abiertas {B(x, 1/2)}x∈M
LC

que es un recubrimiento de M pero que no posee ningún sub-recubrimiento finito.

Definición. Una familia {Xi }i∈I de conjuntos es un sistema centrado o tiene la propiedad
CÁ

de intersección finita si toda subfamilia finita tiene intersección no vacı́a.

 U
EH
106 5.5. Compacidad en espacios métricos

V/
Un conjunto A ⊂ X tiene la propiedad de Riesz� si para todo sistema centrado {Fi }i∈I de
cerrados tal que Fi ⊂ A, ∀i ∈ I, se tiene que i∈I Fi �= ∅.

UP
Proposición 5.5.1. Un conjunto A en un espacio métrico X es compacto si y sólo si es
cerrado y tiene la propiedad de Riesz.

2,
(Ver la demostración en [CC] y [KF].)

AL
Proposición 5.5.2. Todo subconjunto cerrado contenido en un compacto es a su vez com-
pacto.

GR
Una caracterización muy útil de los conjuntos compactos es la siguiente.

Teorema 5.5.3. Sea X un espacio métrico y A ⊂ X. Son equivalentes:

1) A es totalmente acotado y completo. TE

2) A es compacto.
IN

3) Toda sucesión {xn }n∈N contenida en A posee alguna subsucesión {xnk }k∈N convergente en
A (propiedad de Bolzano-Weierstrass).
LE

Demostración. 1) =⇒ 2): Sea {Ai }i∈I un cubrimiento por abiertos de A y supongamos que
ningún subconjunto finito cubre a A. Por hipótesis, dado ε > 0, existen K1 , . . . , Kp tales que
IA

A = K1 ∪ · · · ∪ Kp y diám Ki ≤ ε. Además al menos uno de los Ki no puede cubrirse con

ningún sistema finito de conjuntos de {Ai }i∈I ; digamos que es K1 . Por ser K1 ⊂ A, es también
totalmente acotado. Repitiendo el argumento anterior, existirá K2 ⊂ K1 con diám K2 ≤ ε/2
NC

que no puede cubrirse con un número finito de conjuntos de {Ai }i∈I . Formamos ası́ un encaje
{Kn }n∈N de conjuntos contenidos en A�que es completo. Por el teorema 4.13 existe x ∈ A tal
que Kn converge a x. Como x ∈ A ⊂ i∈I Ai , existe A0 ∈ {Ai }i∈I con x ∈ A0 ; luego para n
RE

grande será Kn ⊂ A0 lo que contradice que Kn no se puede cubrir con un número finito de
conjuntos de {Ai }i∈I .
FE

2) =⇒ 3): Sea A compacto y {xn }n∈N una sucesión de elementos de A. Definimos Xn =

{xn , xn+1 , . . . }. Es evidente que {Xn }n∈N es una familia con la propiedad de intersección
finita. Por ser A compacto, existe x ∈ A tal que x ∈ Xn para todo n. Podemos suponer que
DI

para algún m es x �∈ Xm (en caso contrario la tesis es evidente). Como x ∈ Xm \ Xm , por la

proposición 2.11, x es el lı́mite de alguna subsucesión de {xn }n∈N .
3) =⇒ 1): Sea {xn }n∈N una sucesión de Cauchy en A; por hipótesis existe una subsucesión
O

convergente en A lo que implica que la propia sucesión converge en A. Luego A es completo.

UL

Si A no fuese totalmente acotado, existirı́a ε > 0 tal que A no puede cubrirse con un número
finito de bolas de radio ε/2. Elegimos x1 ∈ A y llamamos B1 = B(x1 , ε/2). Como B1 no
cubre a A, existe x2 �∈ B1 ; sea B2 = B(x2 , ε/2). Razonando en la misma forma, encontramos
LC

una sucesión {xn }n∈N de puntos de A tal que xn �∈ B1 ∪ · · · ∪ Bn−1 , es decir d(xi , xj ) ≥ ε/2
con lo que ninguna subsucesión de {xn }n∈N puede ser convergente.
CÁ

Lema 5.5.4. Un subconjunto compacto de un espacio métrico es cerrado y acotado.

 U
EH
Capı́tulo 5. Introducción a los espacios métricos 107

V/
Demostración. Sea M un conjunto compacto y x ∈ M . Entonces existe una sucesión {xn }n∈N ⊂
M que converge a x. Como M es compacto, x ∈ M (pues las subsucesiones deben tener el

UP
mismo lı́mite que {xn }n∈N ).
Si M no fuera acotado, dado b ∈ M, ∃{yn }n∈N sucesión en M no acotada tal que d(yn , b) > n.
Como {yn }n∈N no está acotada, no puede tener ninguna sub-sucesión convergente.

2,
El recı́proco es falso, como muestra el siguiente ejemplo:
La sucesión {en }n∈N ⊂ �2 , donde en = (δnj )∞

AL
j=1 , está acotada y es cerrada
√
pues se trata de
un conjunto formado por puntos aislados para los que d(xn , xm ) = 2. Sin embargo, no es
compacto por la misma razón.

GR
Hemos probado ası́ que si un conjunto no es cerrado no puede ser compacto. Sin embargo su
clausura s puede serlo. Esto origina la siguiente definición.
Definición. Un conjunto A de un espacio métrico X es relativamente compacto si su clausura
A es compacta. TE
Las siguientes caracterizaciones (cuya demostración omitiremos) serán útiles.
IN
Proposición 5.5.5. Una condición necesaria y suficiente para que un conjunto A de un
espacio métrico completo X sea relativamente compacto, es que sea totalmente acotado.
Proposición 5.5.6. Una condición necesaria y suficiente para que un conjunto A de un
LE

espacio métrico X sea relativamente compacto es que sea secuencialmente compacto, es decir
que toda sucesión de elementos de A posea alguna subsucesión convergente (pero no necesa-
riamente a un punto de A).
IA

En el análisis, uno de los espacios métricos más importantes es C[a, b] y un criterio importante
NC

para el estudio de la compacidad en estos espacios (que aplicaremos posteriormente en el

estudio de ciertos operadores integrales) es el teorema de Arzelá-Ascoli que enunciaremos
tras definir los conceptos necesarios.
RE

Definición. Una familia F = {ϕ} de funciones definidas en [a, b] se llama equiacotada cuando
existe una constante k > 0 tal que |ϕ(x)| < k, ∀x ∈ [a, b], ∀ϕ ∈ F . La familia F se dice
equicontinua cuando para todo ε > 0 existe δ > 0 tal que ∀ϕ ∈ F ,
FE

d(x1 , x2 ) < δ =⇒ |ϕ(x1 ) − ϕ(x2 )| < ε.

Teorema 5.5.7 (Arzelá-Ascoli). Una familia F ⊂ C[a, b] es relativamente compacta en
DI

C[a, b] si y sólo si es equiacotada y equicontinua.

Teorema 5.5.8 (Arzelá-Ascoli generalizado). Dados dos espacios métricos compactos X e Y ,
O

llamamos C(X, Y ) = {f : X → Y : f es continua}, que es espacio métrico con la distancia

d(f, g) = supx∈X d(f (x), g(x)). Una condición necesaria y suficiente para que un conjunto
UL

A ⊂ C(X, Y ) sea relativamente compacto es que

∀ε > 0, ∃δ > 0 : d(x1 , x2 ) < δ =⇒ d(f (x1 ), f (x2 )) < ε,
LC

para cualesquiera f ∈ A, x1 , x2 ∈ X.

Los conjuntos compactos tienen propiedades interesantes que los hacen comportarse como
CÁ

conjuntos finitos. Ası́ por ejemplo la imagen continua de un compacto es un compacto.

 U
EH
108 5.6. Ejercicios

V/
Teorema 5.5.9. Sea f : X → Y una aplicación continua y X, Y espacios métricos. Si M
es compacto en X, f (M ) es compacto en Y .

UP
La prueba es directa.

Corolario 5.5.10. Si f : X → R es continua y M es compacto en X, entonces f alcanza el

2,
máximo (y el mı́nimo) en algún punto de M .

Demostración. f (M ) ⊂ R es compacto, con lo que f (M ) es cerrado y acotado. Esto implica

AL
que ı́nf f (M ) ∈ f (M ) y sup f (M ) ∈ f (M ) y las imágenes inversas de esos puntos están en
M.

GR
5.6. Ejercicios
Ejercicio 5.1. Sea (E, d) un espacio métrico. Probar que TE
d(x, y)
IN
D(x, y) =
1 + d(x, y)

es una distancia en E. Demostrar que d y D son distancias equivalentes.

LE

Ejercicio 5.2. En un espacio métrico (E, d) se define la función

IA

�
(d(x, y))2
D(x, y) = .
1 + (d(x, y))2
NC

Probar que D es una distancia en E y estudiar si d y D son distancias equivalentes.

RE

Ejercicio 5.3. Dado un espacio métrico (E, d), sea

FE

D(x, y) = mı́n{1, d(x, y)}, x, y ∈ E.

a) Probar que D es una distancia en E.

DI

b) Describir las bolas BD (x, 2) y BD (x, r) con r ≤ 1.

O

c) Estudiar si d y D son distancias equivalentes.

UL

Ejercicio 5.4. Sea E = {f : [0, 1] → R : f es continua en [0, 1]}. Si definimos

LC

� 1
d1 (f, g) = |f (x) − g(x)| dx, d∞ (f, g) = sup |f (x) − g(x)|,
0 x∈[0,1]
CÁ

probar que (E, d1 ) y (E, d∞ ) son espacios métricos.

 U
EH
Capı́tulo 5. Introducción a los espacios métricos 109

V/
Ejercicio 5.5. En el conjunto N de los números naturales se define la aplicación

UP
1 1
d(m, n) = + si m �= n, d(m, m) = 0.
m n

a) Probar que (N, d) es un espacio métrico.

2,
b) Probar que la sucesión de término general xn = 2n es de Cauchy en (N, d).

AL
c) ¿El espacio (N, d) es completo?

GR
Ejercicio 5.6. Sea P (R) el espacio de los polinomios en una variable con coeficientes reales.
En P (R) se define la distancia

TE
d(p, q) = máx{|ai − bi | : i ≥ 0},

donde p(x) = a0 + a1 x + · · · + am xm y q(x) = b0 + b1 x + · · · + bn xn .

IN
a) Estudiar si la sucesión de término general pn (x) = x + x2 /2 + x3 /3 + · · · + xn /n es de
Cauchy en (P (R), d).
LE

b) ¿El espacio (P (R), d) es completo?

IA

Ejercicio 5.7. En el espacio E = {f : [0, 1] → R : f es continua}, se consideran las siguien-

tes normas:
NC

� 1 �� 1 �2
2
�f �1 = |f (x)| dx, �f �2 = |f (x)| dx , �f �∞ = sup |f (x)|.
0 0 x∈[0,1]
RE

Sea (fn ) la sucesión de funciones en E definidas por

�
1 − nx si x ∈ [0, 1/n]
FE

fn (x) =
0 si x ∈ [1/n, 1].

a) Calcular �fn �1 , �fn �2 y �fn �∞ .

DI

b) Deducir de lo anterior que dos cualesquiera de las normas anteriores no son equivalentes.
O

c) Estudiar si la sucesión (fn ) es de Cauchy con alguna de las normas � · �1 ó � · �∞ .

UL

d) Estudiar si la sucesión (fn ) es convergente con alguna de las normas � · �1 ó � · �∞ .

LC

Ejercicio 5.8. Obtener el conjunto de puntos interiores, exteriores, frontera y de acumula-

ción de los siguientes conjuntos:
CÁ

a) {(x, y) ∈ R2 : y = λx}
 U
EH
110 5.6. Ejercicios

V/
b) {(x, y, z) ∈ R3 : x2 + y 2 ≤ 1}

UP
c) {(x, y, z) ∈ R3 : z 2 = x2 + y 2 }

Ejercicio 5.9. Demostrar que no es compacta la bola abierta en Rn de centro 0 y radio r.

2,
AL
Ejercicio 5.10. Demostrar que, en un espacio métrico, el conjunto formado por una sucesión
convergente y su lı́mite es un compacto.

GR
Ejercicio 5.11. En un conjunto no vacı́o E se define la métrica discreta por
�
d(x, y) =
1 si x �= y TE
0 si x = y.
IN
Describir los conjuntos abiertos y cerrados, los conjuntos conexos y los conjuntos compactos
de (E, d).
LE

Ejercicio 5.12. Sean A y B dos subconjuntos cualesquiera de un espacio métrico (E, d). Se
� A) = ı́nf{d(x, y) : y ∈ A}. Probar las
definen D(A, B) = ı́nf{d(x, y) : x ∈ A, y ∈ B} y d(x,
IA

siguientes proposiciones.
NC

a) Para cualesquiera x, y ∈ E, se verifica que

� A) − d(y,
|d(x, � A)| ≤ d(x, y).
RE

� A) < d(x,
b) El conjunto {x ∈ E : d(x, � B)} es abierto.

� A) = d(x, y).
c) Si A es compacto, para cada x ∈ B, existe y ∈ A tal que d(x,
FE

d) Si A y B son compactos, existen a ∈ A y b ∈ B tales que D(A, B) = d(a, b).

DI

Ejercicio 5.13. Sean (xn )n∈N e (yn )n∈N dos sucesiones en un espacio métrico (E, d). Probar:
O

a) Si ambas son de Cauchy, entonces existe lı́m d(xn , yn ).

UL

b) Si una de ellas es de Cauchy y lı́m d(xn , yn ) = 0, entonces la otra es de Cauchy.

LC
CÁ