Tarea 1

Peter Vallejo 1723641

October 4, 2022

1 Espacios Métricos
A continuación se dará solución a los problemas propuestos en la sección 1.1 de Espacios
Métricos.

1.1 Problema 1 (página 8)

Muestre que la linea real es un espacio métrico.

Solución
Para ello debemos mostrar que podemos definir una métrica en dicho espacio. Tomando
como métrica la distancia entre dos números reales.

d(x, y) = |x − y|

• Observemos que con ésta función distancia siempre tendremos valores reales no nega-
tivos, ya que el valor absoluto arroja valores reales mayores o iguales a cero.

• El valor absoluto es únicamente cero si su argumento es cero, de modo que tenemos:

|x − y| = 0 ↔ x − y = 0 ↔ x = y

• Veamos que podemos expresar x−y = −(y−x) y evaluado en valor absoluto obtenemos:

|−(y − x)| = |−1||y − x| = |y − x|

• Observemos que podemos tomar la expresión |x − y| y transformarla un poco escribi-

endo:
|x − y| = |x − z + z − y|
Tomando la siguiente desigualdad:

|u + v| ≤ |u| + |v|

Y aplicándola a la expresión inicialmente definida tendremos:

|x − y| = |x − z + z − y| ≤ |x − z| + |z − y|

1
 Con lo anterior podemos concluir que la función distancia definida para los números reales,
efectivamente satisface los axiomas definidos para una métrica, de modo que podemos decir
que en el espacio de la recta real se puede definir una métrica concluyendo que la recta real
es un espacio métrico.

1.2 Problema 3 (página 8)

√
Muestre que d(x, y) = |x − y| define una métrica en el conjunto de todos los números
reales.

Solución
Para ello veremos si ésta función definida satisface las condiciones para una métrica.

• Condición (M1): d(x, y) es un valor real no negativo

Observemos que el argumento de la raíz cuadrada en la función definida arroja val-

ores reales no negativos, luego ésta raíz cuadrada evaluada sobre ese argumento caerá
siempre en los reales dando valores no negativos, entonces la condición (M1) se satisface
sin problema.

• Condición (M2): d(x, y) = 0 ↔ x = y

Sabemos que la raíz cuadrada se anula únicamente si su argumento es nulo y el valor

absoluto es únicamente nulo si nuevamente su argumento es nulo, luego tenemos que
la función solamente será nula si x = y, de modo que la condición (M2) se satisface.

• Condición (M3): d(x, y) = d(y, x)

Veamos que podemos expresar |−(y − x)| = |−1||y − x| = |y − x| luego tenemos

que:
√
d(x, y) = |x − y|
√
= |y − x|
= d(y, x)

Entonces la condición (M3) se satisface.

• Condición (M4): d(x, y) ≤ d(x, z) + d(z, y)

Tomemos la expresión:

|x − y| = |x − z + z − y| ≤ |x − z| + |z − y|

2
 Y observemos que podemos expresar lo siguiente:

|x − y| ≤ |x − z| + |z − y|
√ √
≤ |x − z| + |z − y| + 2 |x − z| |x − z|
√ √
≤ ( |x − z| + |x − z|)2

Entonces tenemos que:

√ √ √
|x − y| ≤ |x − z| + |x − z|

De modo que la condición (M4) se cumple.

1.3 Problema 8 (página 8)

Muestre que otra métrica d˜ en el conjunto X en 1.1-7 es definida por:
∫ b
˜
d(x, y) = |x(t) − y(t)|dt
a

Solución
˜ y) es un valor real no negativo
• Condición (M1): d(x,

Veamos que la función propuesta para d˜ está dada por una integral definida para
cualquier par de funciones continuas en el intervalo [a, b], ahora podemos interpretar
ésta definición como el área comprendida entre dos funciones dadas, luego ésta área
siempre será mayor o igual a cero para cualquier par de funciones continuas en el
intervalo [a, b], de modo que la condición (M1) se satisface sin problema.
˜ y) = 0 ↔ x = y
• Condición (M2): d(x,

Siguiendo la interpretación de área comprendida entre dos funciones continuas en el

intervalo [a, b], ya que nuestros elementos son funciones continuas en dicho intervalo,
ésta área únicamente será cero si las dos funciones coinciden en todo punto del intervalo
[a, b], de modo que las funciones deben ser iguales en dicho intervalo, luego serán el
mismo elemento en el conjunto definido C[a, b], entonces la condición (M2) se cumple.
˜ y) = d(y,
• Condición (M3): d(x, ˜ x)

Empleando la propiedad:
|u − v| = |v − u|

3
 podemos expresar :
∫ b
˜ y) =
d(x, |x(t) − y(t)|dt
a
∫ b
= |y(t) − x(t)|dt
a
˜ x)
= d(y,

Entonces la condición (M3) se satisface.

˜ y) ≤ d(x,
• Condición (M4): d(x, ˜ z) + d(z,
˜ y)

Expresando lo siguiente:

|x(t) − y(t)| = |x(t) − z(t) + z(t) − y(t)|

≤ |x(t) − z(t)| + |z(t) − y(t)|

Podemos llegar fácilmente integrando sin alterar la desigualad a la siguiente expresión:

∫ b ∫ b
|x(t) − y(t)|dt ≤ |x(t) − z(t)| + |z(t) − y(t)|dt
a a
∫ b ∫ b
≤ |x(t) − z(t)|dt + |z(t) − y(t)|dt
a a

De modo que la condición (M4) se cumple.

Ya que esta función d˜ definida en C[a, b] satisface los axiomas de una métrica, podemos
concluir entonces que d˜ es una métrica para el espacio C[a, b].

2 Más Ejemplos de Espacios Métricos

A continuación se dará solución a los problemas propuestos en la sección 1.2 Further Examples
of Metric Space.

2.1 Problema 6 (página 16)

(Diámetro, conjunto acotado) El diámetro δ(A) de un conjunto A no vacío en un espacio
métrico (X, d) está definido por:

δ(A) = sup d(x, y)

x,y∈A

A es acotado si δ(A) < ∞, mostrar que A ⊂ B implica δ(A) ≤ δ(B).

4
Solución
Supongamos que tenemos que A ⊂ B y δ(A) > δ(B).

Luego de la contenencia de A en B podemos decir que todo elemento de A pertenece a

B entonces para todo par de elementos x y y de A se cumple que:

d(x, y) ≤ sup d(x̃, ỹ)

x̃,ỹ∈B

Pero si δ(A) > δ(B), es decir

sup d(x, y) > sup d(x̃, ỹ)

x,y∈A x̃,ỹ∈B

Entonces para algún par de puntos en A se tiene que

d(x, y) > sup d(x̃, ỹ)

x̃,ỹ∈B

Lo cual es absurdo, luego si A ⊂ B el diámetro de A no puede ser mayor que el diámetro de

B, de modo que la contenencia de A en B implica δ(A) ≤ δ(B).

2.2 Problema 8 (página 16)

(Distancia entre conjuntos) La distancia D(A, B) entre dos subconjuntos no vacíos A y B de
un espacio métrico (X, d) es definida por

D(A, B) = inf d(a, b)

a∈A,b∈B

Muestre que D no define una métrica en el conjunto X.

Solución
∩
Sea A ̸= B y A B ̸= ϕ luego existe algún elemento x que pertenece tanto a A como a B,
entonces en el conjunto de todas las distancias d(a, b) para a ∈ A, b ∈ B, hay una distancia
definida por d(x, x) = 0, ahora la distancia d(a, b) es siempre mayor o igual a cero, pues toda
métrica satisface esto, de modo que entre todas las posibles distancias para d(a, b), la menor
es d(x, x) = 0, entonces tenemos como ínfimo el valor 0 para el conjunto de distancias d(a, b)
con a ∈ A, b ∈ B, y así D(A, B) = 0, pero toda métrica debe cumplir la distancia entre
puntos es únicamente nula si, los puntos son el mismo, lo cual no satisface D(A, B).

5
2.3 Problema 9 (página 16)
∩
Si A B ̸= ϕ, mostrar que D(A, B) = 0 en la prueba 8 ¿Qué pasa con lo contrario?

Solución
En el problema 8 vimos como la intersección no nula de los subconjuntos A y B produce
distancias nulas para estos subconjuntos, ahora veamos que sucede cuando la intersección
es nula. Entendamos que si la intersección de dos conjuntos es nula, entonces no existen
elementos que pertenezcan a ambos conjuntos a la vez, lo mismo sucedería para los subcon-
juntos A y B, luego si cada elemento de A es diferente a cada elemento de B, y una métrica
es cero únicamente si el par de puntos escogidos son el mismo elemento, entonces para el
conjunto de todas las posibles distancias entre los elementos de A y B no se obtendrá nunca
una distancia cero, sin embargo, ahora nuestro ínfimo para el conjunto de todas las distancias
entre los elementos de A y B dependerá de cual sea la mínima distancia posible entre éstos
elementos, si existe una mínima distancia posible, esta será el ínfimo, luego el ínfimo será
diferente de cero, de modo que la implicación no se mantiene.

2.4 Problema 11 (página 17)

Si (X, d) es cualquier espacio métrico, muestre que otra métrica en X es definida por

˜ y) = d(x, y)
d(x,
1 + d(x, y)
˜
y X esta acotado en la métrica d.

Solución
• Condición (M1)

˜ y) como una función f (t) = t

Teniendo en cuenta que d(x, y) ≥ 0, podemos ver d(x, 1+t
con t ≥ 0, luego f es una función definida para cualquier t y f (t) ≥ 0, de modo que la
condición (M1) se satisface sin problema.

• Condición (M2)

f (t) es únicamente nula cuando t = 0, es decir, cuando d(x, y) = 0, como d(x, y)

es una métrica entonces ésta únicamente se anula cuando x = y y esto muestra que
˜ y) cumple (M2).
d(x,

6
 • Condición (M3)

Ya que d(x, y) = d(y, x) entonces podemos escribir

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

Entonces la condición (M3) se satisface.

• Condición (M4)

Derivando f (t) tenemos f ′ (t) = 1\(x + t)2 , la cual es positiva, luego f es una función
monótonamente creciente, entonces empleando la desigualdad d(x, y) ≤ d(x, z)+d(z, y)
podemos escribir
f (d(x, y)) ≤ f (d(x, z) + d(z, y))
Y aplicando la función en cada lado obtenemos

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

≤
1 + d(x, y) 1 + d(x, z) + d(z, y)
˜ y).
de modo que podemos concluir que la desigualdad triangular se satisface en d(x,

˜ y) propuesta satisface las condiciones impuestas para la definición de

Ya que la función d(x,
una métrica, podemos concluir que efectivamente es una métrica.

Finalmente veamos que los valores que toma ésta métrica están acotados, tomando la
función anteriormente definida f (t) tenemos
t
f (t) =
1+t
1
= 1
t
+1

Si evaluamos el comportamiento de la función cuando t crece, podemos ver que los valores que
˜ y) ≤ 1, y teniendo
tome esta función están superiormente acotados por 1, de modo que d(x,
˜ y) ≥ 0 terminamos de mostrar que la métrica propuesta esta acotada en
en cuenta que d(x,
el espacio X.