Universidad Industrial de Santander

escuela de matemáticas

análisis funcional

Taller de espacios métricos

Edgar Eduardo Mantilla Pedroza

Diego Sebastián Prada Mejı́a
Santiago José Delgado Benı́tez

18 de Septiembre del 2023

Ejercicio 1: Muestre que la no-negatividad de una métrica se sigue de (M2) a (M4).

Demostración: Elija x ∈ X. Si z = x, entonces para cualquier y ∈ X se tiene que por la des-

igualdad triangular (M4) d(x, z) ≤ d(x, y) + d(y, z). Ahora como x = z y usando (M3) d(x, x) ≤
d(x, y) + d(y, x) = 2d(x, y), finalmente por (M2) d(x, y) ≥ 0. Como x, y son elementos arbitarios, esto
muestra la no-negatividad de la métrica.

Ejercicio 2: Si (X, d) es algún espacio métrico, muestre que otra métrica sobre X es definido por

˜ y) = d(x, y)
d(x,
1 + d(x, y)
˜
y X es acotado en la metrica d.

Demostración:

(M1). Debido a d es una métrica sobre el conjunto X, se tiene que d(x, y) ≥ 0, esto implica que
d(x,y) ˜ y) ≥ 0 (la no-negatividad).
1 + d(x, y) > 0, por tanto 1+d(x,y) ≥ 0, es decir d(x,

˜ y) = 0, cuando d(x,y) = 0, pero esto solo sucede cuando d(x, y) = 0 y como d es

(M2). Ahora, d(x, 1+d(x,y)
una métrica, entonces se tiene si, y solo si, x = y.

˜ y) = d(x,y) d(y,x) ˜ x) (simetrı́a).

(M3). Como d es una métrica, se tiene por (M3) que d(x, 1+d(x,y) = 1+d(y,x) = d(y,

(M4). Realizando algunas operaciones, se tiene lo siguiente:

˜ y) = d(x, y) 1
d(x, =1−
1 + d(x, y) 1 + d(x, y)
Por la desigualdad triangular de d, se tiende que d(x, y) ≤ d(x, z) + d(z, y) para todos x, y, z ∈ X,
esto implica lo siguiente:

1 + d(x, y) ≤ 1 + d(x, z) + d(z, y)

1 1
≤
1 + d(x, z) + d(z, y) 1 + d(x, y)
1 1
− ≤−
1 + d(x, y) 1 + d(x, z) + d(z, y)

˜ y) = 1 − 1 1 d(x, z) + d(z, y)
d(x, ≤1− =
1 + d(x, y) 1 + d(x, z) + d(z, y) 1 + d(x, z) + d(z, y)
Como d(x, y) ≥ 0 entonces se tiene d(x, z) ≤ d(x, z) + d(z, y) y d(z, y) ≤ d(x, z) + d(z, y) (*) para
todos x, y, z ∈ X, implica que:

d(x, z) + d(z, y) d(x, z) d(z, y)

= +
1 + d(x, z) + d(z, y) 1 + d(x, z) + d(z, y) 1 + d(x, z) + d(z, y)
Y por (*) se tien que

d(x, z) d(z, y) d(x, z) d(z, y)

+ ≤ +
1 + d(x, z) + d(z, y) 1 + d(x, z) + d(z, y) 1 + d(x, z) 1 + d(z, y)
˜ y) ≤ d(x,
Es decir, que d(x, ˜ z) + d(z,
˜ y), para todos x, y, z ∈ X (Desigualdad triangular).
Ejercicio 3: (Función continua) Muestre que la aplicación T : X −→ Y es continua si, y solo si,
la imagen inversa de cualquier conjunto cerrado M ⊂ Y es un cerrado en X.

Demostración: Suponga que T : X −→ Y es una aplicación continua. (Por el teorema de la aplica-

ción continua) se tiene que dado un abierto U ⊂ Y , entonces T −1 (U ) es un abierto en X. Ahora, si
M ⊂ Y es un cerrado de Y , entonces se tiene que Y \M es un abierto de Y y usando el teorema anterior
mencionado, se llega a que T −1 (Y \M ) es un abierto en X, pero note que T −1 (Y \M ) = X\T −1 (M ),
es decir, T −1 (M ) es un cerrado en X.

Recı́procamente, suponga que dado un conjunto cerrado M ⊂ Y de tal forma que T −1 (M ) es un

cerrado en X, esto es equivalente a tener que Y \M es un abierto en Y y X\T −1 (M ) = T −1 (Y \M )
es un abierto en X, y por el teorema de la aplicación continua, entonces T es continua.

Ejercicio 4: Si d1 y d2 son métricas sobre un mismo conjunto X y existen a, b > 0 tales que para
todo x, y ∈ X,

ad1 (x, y) ≤ d2 (x, y) ≤ bd1 (x, y)

Muestre que las suceciones de Cauchy en (X, d1 ) y (X, d2 ) son las mismas.

Demostración: Se tiene que a, b > 0, además X es un espacio métrico con dos métricas d1 y d2 , de
forma tal que para todo x, y ∈ X

ad1 (x, y) ≤ d2 (x, y) ≤ bd1 (x, y)

Sea (xn )n ⊂ X una secuencia de Cauchy en (x, d1 ). Dado ϵ > 0, existe N1 ∈ N tal que d1 (xn , xm ) < ϵ/b
para todos m, n ≥ N1 , luego se tiene que
ϵ
d2 (xn , xm ) ≤ bd1 (xn , xm ) < b =ϵ
b
Por tanto (xn )n es de Cauchy en (X, d2 ).

Ahora, suponga que (yn )n ⊂ (X, d2 ) es de Cauchy. Dado ϵ > 0, existe N2 ∈ N tal que d2 (yn , ym ) < aϵ
para todos m, n ≥ N2 , luego se tiene que
1 1
d1 (yn , ym ) ≤ d2 (yn , ym ) < (aϵ) = ϵ
a a
Por tanto (yn )n es de Cauchy en (X, d1 ).

Ejercicio 5: Sea M ⊂ l∞ un subespacio que consiste en todas las secuencias x = (ξj )j∈N con a lo
más una cantidad finita de elementos no nulos. Encuentre una secuencia de Cauchy en M la cual no
converge en M , ası́ M no es completo.

Demostración: Sea (xn ) una sucesión en M ⊂ l∞ , donde

 1
 j si j ≤ n,
(n)
ξj =
0 si j > n.


Esto es, xn = 1, 21 , 13 , ..., n1 , 0, 0, ... . Para todo ϵ > 0, eligiendo N tal que N + 1 > 1ϵ , entonces para

todo m > n > N ,

(m) (n) 1 1
d(xm , xn ) = sup ξj − ξj = ≤ <ϵ
j∈N n+1 N +1
 1


Esto muestra que (xn ) es una sucesión de Cauchy en M . Sin embargo, note que xn → x = n si
n → ∞, pero x ∈
/ M , por tanto (xn ) no converge en M .

Ejercicio 6: (Espacio discreto) Muestre que un espacio métrico discreto es completo.

Demostración: Sea (X, d) un espacio métrico discreto, para dos x distintos, y ∈ X, d(x, y) = 1.
Esto implica que las únicas secuencias de Cauchy en X son constantes secuencias o secuencias que
eventualmente son constantes. Esto muestra que un discreto el espacio métrico está completo.