Pontificia Universidad Católica de Chile

Facultad de Matemáticas
Departamento de Matemática
Profesor: Thomas Führer – Ayudante: Ignacio Rojas

Análisis Real - MAT2515

Ayudantı́a 1
18 de Marzo de 2022

1. Sea d : X × X → R una función tal que

a) d(x, y) = 0 ⇐⇒ x = y;
b) d(x, z) ≤ d(x, y) + d(z, y).

Demuestre que d es una métrica sobre X.

2. Sea X un conjunto no vacı́o y sean ρ1 , ρ2 dos métricas en X, sea c > 0 una constante.

a) ¿Es ρ̂ = mı́n(ρ1 , c) una métrica en X?

b) ¿Es ρ̄ = mı́n(ρ1 , ρ2 ) una métrica en X?

3. Sean d y ρ dos métricas sobre un conjunto X, decimos que estas son equivalentes si existen
números positivos c1 y c2 tales que para todo x, y ∈ X

c1 d(x, y) ≤ ρ(x, y) ≤ c2 d(x, y).

Demuestre que U ⊂ X es abierto en (X, ρ) si y solo si lo es en (X, d).

4. Consideremos el espacio vectorial normado l2 := {(ai )i∈N :

P 2
ai < ∞} con la norma
P 2 21
∥(ai )n∈N ∥2 = ( ai ) . Demuestre que el conjunto A := {(ai ) : |ai | ≤ 1i } es cerrado en
l2 .

5. Sea X = {(ai )i∈N : ai ∈ [0, 1], ∀i ∈ N} y sean d, ρ : X × X → [0, ∞) definidos a continuación.

Denotando x = (ai )i∈N e y = (bi )i∈N definimos
 
|ai − bi |
d(x, y) = sup :i∈N ,
i
( )
X
ρ(x, y) = mı́n 1, |ai − bi | .
i∈N

a) Demuestre que d y ρ son métricas en X y que no son equivalentes.

b) Determine si (X, d) es un e.m compacto o no.
c) Determine si (X, ρ) es un e.m compacto o no.

1
6. Sean A y B conjuntos en un espacio métrico (X, ρ). Defina

dist(A, B) = ı́nf{ρ(x, y) : x ∈ A, y ∈ B}

Si A es compacto y B es cerrado, demuestre que dist(A, B) = 0 entones A ∩ B ̸= ∅.

7. Demuestre que en todo espacio vectorial de dimensión finita sobre R todas las normas son
equivalentes.