UNIVERSIDAD TECNOLÓGICA DE PEREIRA

FACULTAD DE CIENCIAS BÁSICAS

MAESTRÍA EN MATEMÁTICAS

TALLER 2 ANÁLISIS REAL

PROF.PEDRO PABLO CÁRDENAS ALZATE

1. En Rn definimos la métrica

dM (x, y) = max |xi − yi | ,

i=1,...,n

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

demostración

Sean x, y, z ∈ Rn , verifiquemos los tres axiomas:

i Sabemos por definición de valor absoluto |x − y| ≥ 0 y si x = y,

entonces |x − x| = |0| = 0 para todo x ∈ Rn ;
De esta manera, podemos ver que max |xi − yi | ≥ 0, lo cual
i=1,...,n
implica que dM (x, y) ≥ 0.
ii Ahora veamos el segundo axioma

max |xi − yi | = max |−(yi − xi )|

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

= max |yi − xi |
i=1,...,n

= dM (y, x)

iii Para la desigualdad triangular

max |xi − yi | = max |xi − zi + zi − yi )|

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

≤ max |xi − zi | + |zi − yi |

i=1,...,n

≤ max |xi − zi | + max |zi − yi |

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

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

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

2
demostración
Sean x, y, z ∈ Rn , podemos escribir dT (x, y) = |x1 − y1 | · · · |xn − yn |
como:

n
X
dT (x, y) = |xi − yi |
i=1

Verifiquemos los axiomas

n
X
i Supongamos x = y, entonces dT (x, y) = |xi − yi | = 0.
i=1
Luego, si x 6= y, entonces existe un i tal que xi 6= yi ; por lo que
|xi − yi | > 0 por la definición de valor absoluto.
X n
Por lo tanto, dT (x, y) = |xi − yi | > 0
i=1
ii Ahora bien,
n
X n
X
dT (x, y) = |xi − yi | = = |−(yi − xi )|
i=1 i=1
Xn
= |−1| |yi − xi |
i=1
n
X
= |yi − xi |
i=1
= dT (y, x)
iii se tiene i = 1, ..., n, entonces
|xi − zi | = |xi − yi + yi − zi )|
≤ |xi − yi | + |yi − zi |
Aplicando la sumatoria en la expresión se tiene que:

n
X n
X
|xi − zi | ≤ (|xi − yi | + |yi − zi |)
i=1 i=1
Xn n
X
≤ |xi − yi | + |yi − zi |
i=1 i=1

3
 O lo que es lo mismo,

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

Por lo que finalmente, dT (x, y) es una métrica, luego (Rn , dT ) es

un espacio métrico.

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.
Demostración

Sean x, y, z inR, Probemos que dA (x, y) define una métrica

i Sabemos por definición de valor absoluto que para x 6= y la ex-

|x − y|
presión ≥ 0, y si x = y, entonces la expresión será
1 + |x − y|
|x − x| 0 |x − y|
= = 0, lo cual implica que ≥ 0, luego
1 + |x − x| 1 1 + |x − y|
dA (x, y) ≥ 0
ii Pasando al segundo axioma podemos ver que:

|x − y|
dA (x, y) =
1 + |x − y|
|−(y − x)|
=
1 + |−(y − x)|
|y − x|
=
1 + |y − x|
= dA (y, x)

iii Para verificar la desigualdad triangular,

sean A = |x − z|, B = |z − y| y C = |xy |. Entonces queremos
mostrar que:
C A B
≤ +
1+C 1+A 1+B

4
 como C ≤ A + B y A, B ≥ 0, tenemos que:

C C + AB 1 − AB
≤ =1−
1+C 1+C 1+C
1 − AB A B
≤1− = +
1 + A + B + AB 1+A 1+B
Luego,
dA (x, y) ≤ dA (x, z) + dA (z, y)

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

Demostración

i Es evidente que si x = y, dA (x, x) = 0 y, como d es una distacia,

dA (x, y) > 0, luego dA (x, y) ≥ 0

ii Por ser d distancia, también dA (x, y) = dA (y, x)

x
iii Por último, teniendo en cuenta que la función y = 1+x
es creciente,
resulta:
d(x, y) d(x, z) + d(y, z)
dA (x, y) = ≤
1 + d(x, y) 1 + d(x, z) + d(y, z)

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

d(x, z) d(y, z)
≤ + = dA (x, z) + dA (y, z).
1 + d(x, z) 1 + d(y, z)

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

demostracion
Como (X, d) es un espacio métrico se tiene que:
para todo x, y, z ∈ X : d(x, y) + d(y, z)d(x, z) restando d(y, z) a ambos
lados tenemos:

d(x, y) ≥ d(x, z) − d(y, z)

Ahora supongamos d(x, z) − d(y, z) ≥ 0.
Entonces, podemos cambiar la ecuaciÃşn de, d(x, y) ≥ d(x, z) − d(y, z)
a, |d(x, z) − d(y, z)| d(x, y) terminando la demostración.
De lo contrario

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

en cambio usaremos que para todo x, y, z inX : d(y, x) + d(x, z) ≥
d(y, z)

Luego

d(x, y) ≥ d(y, z) − d(x, z)

combinando los dos casos tenemos que:

para todo x, y, z inX : |d(x, z) − d(y, z)| ≤ 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) = sup |xn − yn |

n

verificar la desigualdad triangular.

Para verificar la desigualdad triangular, primero probaremos el siguien-

te teorema:

6
Teorema (sobre el supremo de la suma de dos conjuntos).
Sean A, B ⊂ R, A 6= ∅, B 6= ∅. Entonces sup(A+B) = sup(A)+sup(B).
Demostración.

Si c ∈ A + B, entonces existen a ∈ A, b ∈ B tales que c = a + b.

Entonces c ≤ sup(A) + sup(B).
Acabamos de demostrar que sup(A) + sup(B) es una cota superior del
conjunto A + B. Por lo tanto, sup(A + B) ≤ sup(A) + sup(B).
La otra parte es más interesante.
Sea  > 0. Notemos que sup(A) − /2 no es cota superior de A, por eso
existe a ∈ A tal que a > sup(A) − /2.
De manera similar, existe b ∈ B tal que b > sup(B) − /2.
Sumando estas dos desigualdades obtenemos a+b > sup(A)+sup(B)−
. Pero a + b ∈ A + B.
Entonces sup(A + B) > sup(A) + sup(B)/2. Como  es un numero
arbitrario, podemos concluir que sup(A + B) ≥ sup(A) + sup(B).

Ahora, siguiendo con la desigualdad triangular:

sea z = (zn ) ∈ l∞ , entonces

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

n
= sup |xn − zn + zn − yn |
n
≤ sup(|xn − zn | + |zn − yn |)
n
≤ sup |xn − zn | + sup |zn − yn |
n n
d∞ (x, y) ≤ d∞ (x, z) + d∞ (z, y)