Está en la página 1de 4

TALLER 2 - ANÁLISIS REAL

Universidad Tecnológica de Pereira


Maestrı́a en matemáticas
Por: Jorge Andrés Cardona Herández
Código: 1.113.792.538

1. En Rn definimos la métrica

dM (x, y) = máx |xi − yi |,


i=1,...,n

con x, y ∈ Rn . Probar que en efecto dM define una métrica en Rn .

Solución:
Probemos que se cumplen los tres axiomas fundamentales para que dM sea métrica:

i. Sabemos por definición que |xi − yi | ≥ 0, y si xi = yi , entonces |xi − xi | = |0| = 0,


para todo x ∈ Rn .
Ası́ pues,
máx |xi − yi | ≥ 0,
i=1,...,n

lo que implica dM (x, y) ≥ 0.

ii. Ahora bien,


máx |xi − yi | = máx | − (yi − xi )|,
i=1,...,n i=1,...,n

O lo que es lo mismo,
máx |yi − xi | = dM (y, x).
i=1,...,n

iii. Comprobemos la desigualdad triangular:

Para verificar la desigualdad triangular, tomamos x = (x1 , ..., xn ), y = (y1 , ..., yn ), z =


(z1 , ..., zn ) ∈ Rn y suponemos que

|xi0 − yi0 | = máx |xi − yi |.


i=1,...,n

Entonces,

d(x, y) = máx |xi0 − yi0 | = máx |xi − zi + zi − yi |


i=1,...,n i=1,...,n

≤ máx (|xi − zi | + |zi − yi |)


i=1,...,n

= máx |xi − zi | + máx |zi − yi |


i=1,...,n i=1,...,n

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

∴ dM (x, y) define una métrica. 


2. De igual forma, probar que en Rn se puede definir la métrica

dT (x, y) = |x1 − y1 | + ... + |xn − yn |,

con x, y ∈ Rn . Esta métrica es llamada la métrica del taxi.

Solución: Podemos escribir la métrica como



X
dT (x, y) = |xn − yn |
n=1


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 )

iii. Para la desigualdad triangular tenemos: Sea zn ∈ Rn



X ∞
X
dT (xn , yn ) = |xn − yn | = |xn − zn + zn − yn |
n=1 n=1


X
≤ |xn − zn | + |zn − yn |
n=1


X ∞
X
= |xn − zn | + |zn − yn |
n=1 n=1

d(xn , yn ) ≤ d(xn , zn ) + (zn , yn )

∴ dT (xn , yn ) define una métrica. 

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.

Sean A = |x − z|, B = |z − y|, y C = |x − y|. Entonces queremos mostrar que


C A B
≤ +
1+C 1+A 1+B
Pero, como C ≤ A + B y A, B ≥ 0, tenemos
C C + AB A B
≤ =1− +
1+C 1+C 1+A 1+B

1 − AB 1 1
≤1− = +
1 + A + B + AB 1+A 1+B

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


∴ d(x, y) define una métrica. 

4. Sea (X, d) un espacio métrico. No es difı́cil verificar que


d(x, y)
dA (x, y) =
1 + d(x, y)
Con x, y ∈ R define una métrica en X. A esta métrica se le denomina métrica acotada en X.

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.

Probemos ahora que se cumple la desigualdad triangular:


iii. Notemos que para a, b, c ≥ 0 con c ≤ a + b, se tiene c(1 + a + b) ≤ (1 + c)(a + b), de donde
c a+b a b
≤ ≤ +
1+c 1+a+b 1 + a + b 1 + a + b.

Notemos además que para s, t ≥ 0 se satisface


s s

1+s+t 1+s
En consecuencia
d(x, y) d(y, z)
d(x, z) ≤ + ≤ d(x, y) + d(y, z).
1 + d(x, y) + d(y, z) 1 + d(x, y) + d(y, z)
∴ dA (x, y) define una métrica. 

5. Sea (X, d) un espacio métrico. Para todo x, y, z ∈ X se verifica


|d(x, z) − d(z, y)| ≤ d(x, y)
Solución: Por la desigualdad del triángulo, tenemos que

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

implica que
d(x, z) − d(y, z) ≤ d(x, y)
Aplicando la desigualdad triangular:

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

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).

Si las juntamos, podemos ver que

|d(x, z) − d(z, y)| ≤ d(x, y)

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

d∞ (x,y) = supn |xn − yn |

Verificar la desigualdad triangular.

Solución:

supn |xn − yn | = supn |xn − zn + zn − yn | ≤ supn (|xn − zn | + |zn − yn |)

= supn |xn − zn | + supn |zn − yn |

Por lo tanto

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