Taller. Espacios Métricos
Taller. Espacios Métricos
Taller. Espacios Métricos
1. En Rn definimos la métrica
Solución:
Probemos que se cumplen los tres axiomas fundamentales para que dM sea métrica:
O lo que es lo mismo,
máx |yi − xi | = dM (y, x).
i=1,...,n
Entonces,
∞
X
i. Como |xn − yn | ≥ 0, para todo n ∈ N, entonces |xn − yn | ≥ 0.
n=1
Por lo tanto, dT (xn , yn ) ≥ 0
∞
X ∞
X
Además, si xn = yn , entonces |xn − xn | = |0| = 0
n=1 n=1
ii. Ahora,
∞
X ∞
X
| − (yn − xn )| = |yn − xn |
n=1 n=1
= dT (yn , xn )
∞
X
≤ |xn − zn | + |zn − yn |
n=1
∞
X ∞
X
= |xn − zn | + |zn − yn |
n=1 n=1
3. En R definimos la función
|x − y|
dA (x, y) =
1 + |x + y|
con x, y ∈ R. Probar que esta función define una métrica.
Solución: Es fácil ver que las primeras dos propiedades se cumplen para esta función.
Ahora verificaremos la desigualdad triangular.
1 − AB 1 1
≤1− = +
1 + A + B + AB 1+A 1+B
Solución: Mostremos que en efecto, se cumplen las propiedades para que la función sea un
métrica.
i. y ii. Por definición se cumplen las primeras dos propiedades, pues sabemos que d(x, y) ≥ 0.
Además, si x = y, dA (x, y) = 0 y es importante mencionar que como d(x, y) ≥ 0, la función
está definida para cualquier valor de x, y ∈ R.
implica que
d(x, z) − d(y, z) ≤ d(x, y)
Aplicando la desigualdad triangular:
por lo cual
d(y, z) ≤ d(y, x) + d(x, z).
De aquı́:
−d(x, y) = −d(y, x) ≤ d(x, z) − d(y, z).
6. Sea l∞ el conjunto de todas las sucesiones acotadas de números reales. Esto significa que
las sucesiones x = (x1 , x2 , ...) = (xn ) tales que supn |xn | < ∞. Si x = (xn ), y = (yn ) ∈ l∞ , se
define la métrica
Solución:
Por lo tanto