Facultad de Ciencias Universidad de Chile

MCLM430
Espacios Métricos y Normados
Semestre 2, 2023
Profesora: Paulina Cecchi B.
Ayudante: Emir Molina.

Guı́a 1
1. Sea X un conjunto y d una métrica en X. Demuestre que las funciones
d
d′ = y d′′ = inf{d, 1}
1+d
son también métricas en X.

2. Sea (X, dX ) un espacio métrico, sea a ∈ X un elemento cualquiera. Considere la función da :

X × X → [0, ∞) definida por
(
dX (x, a) + dX (a, y) si x ̸= y
da (x, y) =
0 si x = y.

Demuestre que da define una métrica en X.

3. Sea d una métrica en el conjunto X. Determine todas las constantes k ∈ R tales que i) kd y ii) d + k
son métricas en X.

4. Sea p ∈ N un número primo. Considere la función vp : Q → Z definida por

 a
vp p n = n,
b
donde mcd(a, p) = mcd(b, 1) = 1. Considere la función dp definida en Q × Q por
(
p−vp (x−y) si x ̸= y
dp (x, y) =
0 si x = y.
Demuestre que dp define una métrica en Q.

5. Sea P(N) es conjunto de las partes de N. Considere la función d : P(N) × P(N) → [0, ∞) dada por
(
(n + 1)−1 si A ̸= B
d(A, B) =
0 si A = B,

donde n = min{k ∈ N, k ∈ A△B}. Demuestre que (P(N), d) es un espacio métrico.

6. Considere el conjunto {0, 1}N = {(xn )n∈N , xn ∈ {0, 1}∀n ∈ N}. Sea d : C × C → [0, ∞) definida por
(
2− min{n∈N,xn ̸=yn } si x ̸= y
d(x, y) =
0 si x = y.

(a) Demuestre que d es una métrica en C.

(b) Demuestre que d(C × C) ⊆ [0, 1].
Facultad de Ciencias Universidad de Chile

(c) Considere la función T : C → C dada por

T ((xn )n∈N ) = (xn+1 )n∈N .

Es T es una isometrı́a en (C, d)?

7. Sea f : R → R una isometrı́a en (R, d|·| ). Demuestre que existe a ∈ R tal que f (t) = t + a ∀t ∈ R, o
f (t) = −t + a ∀t ∈ R. Concluya que toda isometrı́a en (R, d|·| ) es biyectiva.

8. Sea R∞ el conjunto de las sucesiones reales con todas salvo finitas coordenadas nulas, es decir,

R∞ = {(xn )n∈N , xn ∈ N∀n ∈ N y xn = 0 salvo para finitos n}.

Considere la función d : R∞ × R∞ dada por

X
d(x, y) = xi yi .
i∈N

Note que la suma anterior es finita. Considere la función T : R∞ → R∞ definida por

T (x0 , x1 , x2 , . . .) = (0, x0 , x1 , . . .).

Demuestre que T es una isometrı́a no biyectiva.

9. Sea X un conjunto no vacı́o y sea ρ una pseudo-métrica en X.

(a) Demuestre que la relación x ∼ y ⇐⇒ ρ(x, y) = 0 es una relación de equivalencia en X.

(b) Sea X ∗ = X/ ∼ el conjunto cuociente asociado a la relación de equivalencia anterior. Sea
ρe : X ∗ × X ∗ la función
ρe([x], [y]) = ρ(x, y),
donde [·] denota la clase de equivalencia respecto a la relación ∼ y x, y son representantes
cualesquiera de las clases [x] e [y], respectivamente.
Demuestre que ρe está bien definida y es una métrica en X ∗ .

10. Considere R con la métrica del módulo d|·| , y sea S ⊆ R un subconjunto acotado. Sea n ≥ 2, sea
| · |S : Rn → R la función dada por

|(x1 , x2 , . . . , xn )|S = sup{|x1 + x2 t + x3 t2 + · · · + xn tn |}.

t∈S

Considere dS : Rn × Rn × [0, ∞) dada por

dS (x, y) = |x − y|S .

(a) Demuestre que dS es una pseudo-métrica en Rn .

(b) Dé una condición suplementaria para que dS sea una métrica.

11. Sea (X, d) un espacio métrico y sea △ ⊆ X × X la diagonal de X × X, es decir, △ = {(x, y) ∈

X × X, x = y}. Demuestre que para todo z ∈ X × X \ △, existe r > 0 tal que B(z, r) ∩ △ = ∅.

12. Dado un espacio métrico (X, d), un subconjunto A ⊆ X, y un real r > 0, se define
[
B(A, r) = B(a, r).
a∈A

Demuestre que para todo A1 , A2 ⊆ X, B(A1 ∩ A2 , r) ⊆ B(A1 , r) ∩ B(A2 , r) y B(A1 ∪ A2 , r) =

B(A1 , r) ∪ B(A2 , r).
Facultad de Ciencias Universidad de Chile

13. Sea (X, d) un espacio métrico y sea BX el siguiente conjunto,

BX = {A ⊆ X, A ̸= ∅, A es acotado, y ∀x ∈ X, d(x, A) = 0 ⇐⇒ x ∈ A}.
Para A, B ∈ BX , definimos
 
ρ(A, B) = max sup d(a, B), sup d(b, A) .
a∈A b∈B

Demuestre que ρ define una métrica en BX (esta métrica se conoce como la métrica de Hausdorff).
14. Sea X un conjunto y sea δ la métrica discreta en X. Demuestre que todo subconjunto de X es
abierto en (X, δ).
15. Sea (X, d) un espacio métrico. Demuestre que ∀F ⊆ X cerrado, ∀x ∈ F c , ∃O1 , O2 ⊆ abiertos, tales
que O1 ∩ O2 = ∅, x ∈ O1 y F ⊆ O2 .
16. Sea (X, d) un espacio métrico. Demuestre que ∀F1 , F2 ⊆ X cerrados tales que F1 ∩F2 = ∅, ∃O1 , O2 ⊆
abiertos, tales que O1 ∩ O2 = ∅, F1 ⊆ O1 y F2 ⊆ O2 .
17. Sea (X, d) un espacio métrico.
(a) Sea Y ⊆ X un subconjunto finito. Demuestre que si x ̸∈ Y , entonces d(x, Y ) > 0.
(b) Concluya de la parte anterior que todo subconjunto finito de un espacio métrico es cerrado.
18. Sean a, b ∈ R, a < b. Considere el espacio C[a,b] con la métrica del máximo,
d(f, g) = max {|f (t) − g(t)|}.
a≤t≤b

(a) Demuestre que el conjunto {f ∈ C[a,b] , ∃K > 0 tal que |f (t)| ≤ K∀t ∈ [a, b]} es cerrado en
(C[a,b] , d).
(b) Demuestre que el conjunto {f ∈ C[a,b] , ∃K > 0 tal que |f (t)| < K∀t ∈ [a, b]} no es cerrado en
(C[a,b] , d).
(c) Si g ∈ C[a,b] es una función dada, demuestre que el conjunto {f ∈ C[a,b] , f (t) < g(t)∀t ∈ [a, b]}
es abierto en (C[a,b] , d).
19. Sean (X, dX ) e (Y, dY ) espacios métricos, sea K > 0. Una función f : X → Y se dice Lipschitziana
de constante K si para todo x, x′ ∈ X, dY (f (x), f (x′ )) ≤ KdX (x, x′ ). Sean a, b ∈ R. Considere el
conjunto
MK = {f ∈ C[a,b] , f es Lipschitziana de constante K}.
(a) Demuestre que MK es cerrado en C[a,b] con la métrica del máximo.
S
(b) Demuestre que M = k>0 Mk no es cerrado en C[a,b] con la métrica del máximo.
(c) Demuestre que para la métrica considerada, M = C[a,b] .
20. Sea X un conjunto no vacı́o y sea δ la distancia discreta en X. Demuestre que (X, δ) es separable
si y sólo si X es numerable.
21. Considere el conjunto de las sucesiones reales acotadas,
ℓ∞ = {(xn )n∈N ⊆ R, ∃K ∈ N, |xn | ≤ K∀n ∈ N}.
Sea d : ℓ∞ × ℓ∞ la función defnida por
d(x, y) = sup |xn − yn |.
n∈N

Demuestre que d es una métrica en ℓ∞ y que el espacio métrico (ℓ∞ ) no es separable.