1

Captulo 1
Ejercicios y Problemas
P.1.1 Sea d : N N R definida por d(m, n) = |m2 n2 |. Es (N, d) un
espacio metrico? Justifique la respuesta.
Utilice las propiedades del valor absoluto junto al hecho de
Indicacion:
si, n = m.
que, como se trata de numeros
naturales n2 = m2 si, y solo

P.1.2 Sea (X, d) un espacio metrico. Demuestre que se cumple

|d(x, y) d(z, t)| d(x, z) + d(y, t)
para todo x, y, z, t X.
si, r < x < r en combi Utilice la propiedad |x| r si, y solo
Indicacion:
con una adecuada eleccion
de puntos en la desigualdad triangular
nacion
de la Proposicion
1.1.4
de d. Observe la demostracion
Demostraremos que
Resolucion:
d(x, z) d(y, t) d(x, y) d(x, z) d(x, z) + d(y, t).
Aplicando la desigualdad triangular d(z, t) d(z, x) + d(x, y) + d(y, t), y
cambiando el signo d(z, t) d(z, x) d(x, y) d(y, t) de donde se
obtiene la desigualdad de la izquierda d(x, z) d(y, t) d(x, y) d(x, z).
Haciendo algo similar aplicando ahora la desigualdad triangular a d(x, y)
obtenemos la desigualdad de la derecha.

P.1.3 Sea X un conjunto. Demuestre que una aplicacion d : X X R es

una distancia si, y solo si, para x, y, z X, se verifican
(a) d(x, y) = 0 x = y;
(b) d(x, y) d(x, z) + d(y, z).
Demuestre que es no negativa aplicando la desigualdad (b)
Indicacion:
(no es la desigualdad triangular), tomando y = x y la simetra con la misma
desigualdad y z = x. Deduzca entonces la desigualdad triangular.

P.1.4 Sea (X, d) un espacio metrico. Se definen , y y como sigue:

(x, y) = kd(x, y),

k R+

(x, y) = mn{1, d(x, y)}

(x, y) = [d(x, y)]2
OCW-Universidad de Murcia

Pedro Jose Herrero Pineyro

2
Demuestre que y son distancias sobre X, pero que no tiene por que ser
necesariamente una distancia.
En el caso de , para
El caso de es una mera comprobacion.
Indicacion:
la desigualdad triangular, utilice la desigualdad triangular de d y propiedades del mnimo.

P.1.5 Sea X un conjunto y f : X R una aplicacion inyectiva. Demuestre

que la aplicacion d(x, y) = |f (x) f (y)| es una distancia sobre X.

Verificar las propiedades se reduce a una mera comprobacion

Indicacion:
de
utilizando las propiedades del valor absoluto, excepto la demostracion
que d(x, y) = 0 es equivalente a que x = y, donde debe utilizar la inyectividad de f .

P.1.6 Sea f : R R una funcion estrictamente creciente. Demuestre que

d(x, y) = |f (x) f (y)| es una distancia sobre R
Utilice el Problema P.1.5 anterior.
Indicacion:

P.1.7 Considere el conjunto C([0, 1]) de las funciones reales continuas en el

intervalo [0, 1]. Sean f (x) = x(1 x) y g(x) = x. Calcule d (f, g) y
d(f, g) segun la definicion que se da en el Ejemplo Ej.1.7..
tiene que calcular el valor absoluto de
Para el caso d solo
Indicacion:
la diferencia y estudiar sus extremos (vea la Figura 1.12 (a)). Para d debe

calcular el area
comprendida entre las dos curvas (vea la Figura 1.12 (b)).

(a)

(b)

Figura 1.12 Graficos

de d (f, g) (a) y d(f, g) (b).

P.1.8 Estudie las distancias que, sobre R, inducen d1 y d consideradas sobre

R2 . Y si considera las distancias d1 , d2 y d sobre Rn e intenta calcular
las que inducen, respectivamente, sobre Rnk , con 1 < k < n?
Topologa de Espacios Metricos

Pedro Jose Herrero Pineyro

3
P.1.9 Sea A R2 definido como A = {(x, y) R2 : y = x2 }. Calcule
explcitamente las distancias inducidas sobre A por d1 , d2 y d .
P.1.10 Consideremos R con la distancia usual d(x, y) = |x y| y el conjunto A = (1, 2] R. Responda las siguientes cuestiones justificando las
respuestas:
1. Cuanto vale d( 23 , A)? 0, 21 o 21 .
2. Cuanto vale d(1, A)? 21 , 0 o
3. Cuanto vale d(0, A)? 1,

1
2

1
4

o0

P.1.11 Si (X, d) es un espacio metrico y A, B X no vacos, demuestre que

d(A, B) = nf{d(y, A) : y B} = nf{d(x, B) : x A}.
P.1.12 Considere R con la distancia usual y A = {1/n + (1)n : n N}.
Calcule d(1, A) y d(1, A).
escriba algunos termi
Observe que se trata de una sucesion,
Indicacion:
existente entre 1 y 1 y A
nos y estudie la relacion

P.1.13 Sea (X, d) un espacio metrico. En el Problema P.1.4 hemos visto que la
aplicacion : X X R definida por (x, y) = mn{1, d(x, y)}, es
una distancia. Considere el espacio (R2 , ) con (x, y) = mn{1, d2 (x, y)}
y el conjunto
A = {(x, y) R2 : 0 x 1, 0 y 1}.
Halle los puntos de R2 que verifican (x, A) = 1.
P.1.14 Sea (R2 , d2 ) y A = {(x, y) R2 : x + y < 1, x > 0, y > 0}. Calcule
el diametro de A.
P.1.15 Definimos la aplicacion d : R2 R2 R como sigue:

|x2 y2 |
si x1 = y1
d[(x1 , x2 ), (y1 , y2 )] =
|x2 | + |x1 y1 | + |y2 | si x1 6= y1
Pruebe que d es una distancia sobre R2 . Determine y represente graficamente las bolas B((0, 0), 1), B((1, 0), 1), B((0, 1), 1) y B((2, 3), 1).
Veamos que se trata de una distancia. la propiedad primera
Resolucion:
(no negativa) se cumple ya que se trata o bien de un valor absoluto, o
bien de sumas de valores absolutos. Respecto a la propiedad (2), supongamos que d[(x1 , x2 ), (y1 , y2 )] = 0; entonces, si x1 = y1 , la distancia es
d[(x1 , x2 ), (y1 , y2 )] = |x2 y2 | = 0 y por tanto x2 = y2 , luego los puntos coinciden. Si fuera x1 6= y1 se tendra |x2 | + |x1 y1 | + |y2 | = 0, que
OCW-Universidad de Murcia

Pedro Jose Herrero Pineyro

4
al ser una suma de numeros
no negativos, deberan ser todos cero, lo

que llevara a que x1 = y1 , en contra de lo supuesto; lo que significa que

este segundo caso no se puede dar. Recprocamente si suponemos que
(x1 , x2 ) = (y1 , y2 ), la distancia se calcula mediante el primero de los casos
y, evidentemente la distancia es cero.
La simetra se deduce de la simetra del valor absoluto. Por ultimo
com
probemos la desigualdad triangular; supongamos en primer lugar que se
cumple x1 = y1 = z1 , entonces aplicamos la desigualdad triangular del
valor absoluto y
d[(x1 , x2 ), (y1 , y2 )] = |x2 y2 | |x2 z2 | + |z2 y2 | =
d[(x1 , x2 ), (z1 , z2 )] + d[(z1 , z2 ), (y1 , y2 )];
si ahora es x1 = y1 , pero z1 6= x1 tenemos
d[(x1 , x2 ), (y1 , y2 )] = |x2 y2 | |x2 | + |y2 |
|x2 | + |x1 z1 | + |z2 | + |z2 | + |z1 y1 | + |y2 | =
d[(x1 , x2 ), (z1 , z2 )] + d[(z1 , z2 ), (y1 , y2 )].
Supongamos ahora que x1 6= y1 y z1 6= x1 , z1 6= y1 ; entonces
d[(x1 , x2 ), (y1 , y2 )] = |x2 |+|x1 y1 |+|y2 | |x2 |+|x1 z1 |+|z1 y1 |+|y2 |
|x2 | + |x1 z1 | + |z2 | + |z2 | + |z1 y1 | + |y2 | =
d[(x1 , x2 ), (z1 , z2 )] + d[(z1 , z2 ), (y1 , y2 )].
Para finalizar supongamos que x1 6= y1 y z1 = y1 , entonces
d[(x1 , x2 ), (y1 , y2 )] = |x2 | + |x1 y1 | + |y2 |
|x2 | + |x1 z1 | + |z1 y1 | + |y2 z2 + z2 |
|x2 | + |x1 z1 | + |z2 | + |y2 z2 |( pues z1 y1 = 0) =
d[(x1 , x2 ), (z1 , z2 )] + d[(z1 , z2 ), (y1 , y2 )].
Con esto hemos demostrado que se trata de una distancia. Estudiemos a
las bolas.
continuacion
En primer lugar B((0, 0), 1) = {(x, y) : d((0, 0), (x, y) < 1}; veamos que puntos son: si x = 0, entonces d((0, 0), (0, y)) = |y| < 1, de modo que se trata
del segmento vertical, sobre el eje Y que va del punto (0, 1) al (0, 1), ex
cluidos ambos extremos (vease
la Figura 1.13(a)); a este conjunto hay que
unirle los que verifican que x 6= 0, y entonces d((0, 0), (x, y)) = |x| + |y| < 1
y este conjunto ya lo hemos estudiado en el Ejemplo Ej.1.21.; se trata del

rombo, sin el borde, con vertices

en (1, 0), (0, 1), (1, 0) y (0, 1) y esta
es la bola buscada puesto que el segmento anterior esta contenido en el

rombo (vease
la Figura 1.13(b)). De forma similar puede encontrar el resto
de las bolas que se piden.
Topologa de Espacios Metricos

Pedro Jose Herrero Pineyro

Figura 1.13 La bola B((0, 0), 1).

P.1.16 Se define la parte entera de un numero real x R como [x] = el mayor

numero entero menor o igual que x. Sea la aplicacion : R R R
definida como
(x, y) = |[x] [y]| + |(x [x]) (y [y])|.
(a) Pruebe que es una distancia en R.
(b) Estudie como son las bolas B (0, 1) y B ( 23 , 1) Como son las bolas
abiertas?
(c) Pruebe que y la distancia d(x) = |x y| inducen la misma distancia
en el conjunto Z de los numeros enteros.
P.1.17 Pruebe que la aplicacion definida como
d(x, y) = m
ax{|x1 x2 |, dD (y1 , y2 )}, con x = (x1 , y1 ), y = (x2 , y2 ),
es una distancia en R2 . Determine como son las bolas.
d es no negativa puesto que se trata del maximo

La aplicacion
Resolucion:
entre dos distancias. Por otra parte, si d(x, y) = 0, entonces |x1 x2 | = 0 y
dD (y1 y2 ) = 0 de donde se deduce que x = y; recprocamente, si x = y
de d, que d(x, y) = 0. La simetra de d es
es claro por la propia definicion
inmediata a partir de la simetra del valor absoluto y de dD . Por ultimo
para

la desigualdad triangular, tenemos que si d(x, y) = |x1 x2 |, entonces, si

z = (x3 , y3 ),
d(x, y) = |x1 x2 | |x1 x3 | + |x3 x2 |
m
ax{|x1 x3 |, dD (y1 , y3 )} + m
ax{|x3 x2 |, dD (y3 , y2 )} = d(x, z) + d(z, y).

Se procede de forma analoga

si d(x, y) = dD (y1 , y2 ).
Respecto a las bolas, B((a, b), r) = {(x, y) : max{|x a|, dD (y, b)} < r}, de
modo que debe ocurrir que |x a| < r y dD (y, b) < r; si r 1, entonces
dD (y, b) = 0, luego y = b, y |x a| < r significa que la primera coordenada
OCW-Universidad de Murcia

Pedro Jose Herrero Pineyro

6
de los puntos de la bola esta en el intervalo (a r, a + r), es decir se trata
del segmento {(x, b) : x (ar, a+r)}. Si r > 1, entonces todos los puntos
cumplen dD (y, b) < r y |x a| < r implica, otra vez que x (a r, a+)
luego la bola es la banda vertical {(x, y) : x (a r, a + r), y R}.

P.1.18 Sea d : R R R definida por

d(x, y) =

2|x y|
.
1 + 3|x y|

Compruebe que es una distancia y determine la bola Bd (0, r).

Indicacion:Para
la desigualdad triangular puede demostrar, y des pues
2t
f (t) = 1+3t
con t 0 es creciente.
utilizar, el hecho de que la funcion

P.1.19 Sea d : R R R la distancia definida por


d(x, y) =

0
dD (x, 0) + dD (0, y)

si x = y
si x 6= y

siendo dD la distancia discreta. Determine analtica y geometricamente las

bolas Bd (x, r).
Estudie en primer lugar el caso x = 0.
Indicacion:

P.1.20 Sea C([0, 2]) con la distancia del supremo. Describa analtica y graficamente como son las bolas de radio 1 y centro en las funciones f (x) = sen x
y g(x) = 2 + cos x, respectivamente.
P.1.21 Justifique si son abiertos los siguientes conjuntos en (R2 , d2 ):
A= {(x, y) R2 : xy = 0}
B= {(x, y) R2 : x Q}
C= {(x, y) R2 : |x| < 1}
S
D= {(x, y) R2 : 0 < x < 1, 0 < y < 1} {(x, y) R2 : x2 +y 2 = 0}

Representelos
Indicacion:
graficamente
y busque segun
los casos, bolas
adecuadas.

P.1.22 Demuestre que el intervalo H = [a, b] es abierto en (H, dH ), pero que

no lo es en el espacio total R con la distancia eucldea.
P.1.23 Sea (X, d) un espacio metrico, a X y r > 0. Demuestre que el conjunto {x X : d(a, x) > r} es abierto.
Demuestre que contiene una bola centrada en cada uno de
Indicacion:
sus puntos buscando el radio adecuado para cada punto.
Topologa de Espacios Metricos

Pedro Jose Herrero Pineyro

7
Si x {x X : d(a, x) > r}, tomemos s = d(x, a) r y
Resolucion:
veamos que, precisamente B(x, s) {x X : d(a, x) > r}. En efecto, si
y B(x, s), entonces d(x, y) < s = d(x, a) r d(x, y) + d(y, a) r; por
tanto d(y, a) > r, lo que significa que y {x X : d(a, x) > r}.

P.1.24 Sea (X, d) un espacio metrico, a X y r > 0. Demuestre que el conjunto {x X : d(a, x) r} es un conjunto cerrado.
P.1.25 Considere el espacio metrico de las sucesiones reales acotadas (` , d ).
: l
Pruebe que el conjunto A = {(xn )
mn xn = 0} es cerran=1 `
es
Intente ver que el complementario es un abierto. Cual
do. Indicacion:
el complementario de A?
Veamos que el complementario es abierto. Ac es el subconResolucion:
junto de las sucesiones acotadas que no convergen a cero (es decir suce
siones que, teniendo lmite, este
no es cero, o sucesiones que son acotadas y no convergentes. En definitiva si (yn )n Ac significa que existe
> 0 tal que para todo n N, existe ny > n con |yny | > 2; fijemos esta
y veamos que hay una bola de centro (yn )n contenida en Ac lo
sucesion
que implicara que este ultimo
conjunto es abierto.

Si (xn )n A, para el > 0 anterior, existe n0 tal que n > n0 implica que

arriba, existe ny > n0 tal que

|xn | < . Entonces segun
mas
lo senalado
|yny | > 2, entonces
|yny xny | > ||yny | |xny || > |2 | = .

converEsto implica que en la bola B ((yn )n , ) no hay ninguna sucesion

gente a cero (como la distancia es el supremo, d ((xn )n , (yn )n ) > ); es
decir B ((yn )n , ) Ac .

P.1.26 Demuestre que las tres distancias d1 , d2 y d en Rn son equivalentes,

de modo que generan la misma topologa metrica (que coincide con la
topologa usual). En particular, en el caso n = 1, las tres distancias son
iguales a la distancia usual de R, que viene dada por el valor absoluto.
Puede ver que cada bola abierta para cada una de las distanIndicacion:
cias, contiene una bola para las otras dos distancias, de radio adecuado y
centrada en cada punto (puede resultarle util
repasar el Ejemplo Ej.1.28.).

P.1.27 En C([0, 1]) consideremos la distancia d y la distancia del a rea:

Z 1
d(f, g) =
|f (x) g(x)|dx.
0

Sea 0 < r 2 y consideremos las funciones f y g definidas por

( 4x

+ 4 si 0 x 12 r
f (x) = 2 para todo x [0, 1] y g(x) =
r
2
si 12 r x 1
OCW-Universidad de Murcia

Pedro Jose Herrero Pineyro

8
Pruebe que g Bd (f, r) pero g
/ B (f, 1). Deduzca que d y d no son
equivalentes.
tiene que hacer los calculos.

Solo
Indicacion:

P.1.28 Sea (X, d) un espacio metrico. Definimos

(x, y) =

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

(a) Demuestre que se trata de una distancia.

(b) Una distancia d es acotada, si existe M > 0 tal que d(x, y) M para
todo x, y. Demuestre que tanto como (x, y) = mn{1, d(x, y)}
(vease el Problema P.1.4), son acotadas.
(c) Demuestre que d, y son equivalentes.
(d) Si d es la distancia usual de R, determine las bolas en (R, ) y en
(R).
P.1.29 Si X es un conjunto e (Y, d) es un espacio metrico, sea A(X, Y ) el
conjunto de las aplicaciones acotadas de X en Y , es decir f A(X, Y )
si f (X) Y es un conjunto acotado. Demuestre que la aplicacion d :
A(X, Y ) A(X, Y ) R, definida por
d (f, g) = sup{d(f (x), g(x)) : x X},
es una distancia (distancia del supremo).
P.1.30 Sea f : [0, +) [0, +) una funcion estrictamente creciente verificando:
(a) f (0) = 0;
(b) Si x, y 0 f (x + y) f (x) + f (y).
Si (X, d) es un espacio metrico, pruebe que la aplicacion d0 = f d, es
decir, d0 (x, y) = f (d(x, y)), es tambien una distancia sobre X.
f.
Combine las propiedades de la distancia d y de la funcion
Indicacion:
Observemos que f (x) 0 ya que f es estrictamente creResolucion:
ciente y segun
(a) f (0) = 0; por tanto d0 (x, y) 0. Para ver la propiedad (2)
de distancia, tenemos que d0 (x, y) = 0 es equivalente a que f (d(x, y)) = 0
equivale
que, como f es inyectiva por ser estrictamente creciente, tambien
a que d(x, y) = 0, de nuevo equivalente a x = y. La simetra se deduce
directamente de la simetra de d. Por ultimo
para la desigualdad triangular

aplicamos la propiedad (b) de f y su crecimiento estricto:

d0 (x, y) = f (d(x, y)) f (d(x, z) + d(z, y))
f (d(x, z)) + f (d(z, y)) = d0 (x, z) + d0 (z, y).

Topologa de Espacios Metricos

Pedro Jose Herrero Pineyro

9
P.1.31 Sea (R2 , d2 ) y consideremos el subconjunto A dado por
[
A = {(x, y) R2 : (x2)2 +y 2 2} {(x, y) R2 : (x+2)2 +y 2 2}.
Determine en (A, d2 |A ) la bola cerrada de centro (0, 0) y radio 1.
P.1.32 En R con la topologa usual, se verifican:
1. Un conjunto es abierto, si y solo si, se puede expresar como union de
intervalos abiertos.
2. Mas aun, un conjunto es abierto si, y solo si, es union de una coleccion
numerable de intervalos abiertos disjuntos.
P.1.33 Si, en la definicion de distancia, la condicion (2) se cambia por (2) si
x X, entonces d(x, x) = 0 (admitimos la posibilidad de la existencia
de x, y X distintos con d(x, y) = 0), entonces se dice que d es una
pseudometrica.
Sea, entonces d una pseudometrica sobre un conjunto X. Definimos la siguiente relacion:
x y, si, y solo si d(x, y) = 0
1. Demuestre que se trata de una relacion de equivalencia.
2. Demuestre que la siguiente aplicacion es una distancia sobre el conjunto cociente X/ = {
x : x X} (
x es la clase de equivalencia de
x); (
x, y) = d(x, y).
de no depende del represen Compruebe que la definicion
Indicacion:
demuestre que se trata de una distancia apoyan
tante elegido y despues

es de equivalencia.
dose en que d es pseudometrica
y la relacion
de equivalencia:
Veamos que se trata de una relacion
Resolucion:
Reflexiva. x x por (2).

Simetrica.
Se deduce de la simetra de d.
Transitiva. Si x y e y z, entonces d(x, y) = d(y, z) = 0 y segun

la desigualdad triangular d(x, z) d(x, y) + d(y, z) = 0, de donde

d(x, z) = 0 y x z.
Comprobemos ahora que esta bien definida viendo que no depende del
representante elegido, es decir, que si x, x0 x
e y, y 0 y, entonces
0 0
(
x, y) = d(x, y) = d(x , y ). En efecto, d(x, y) d(x, x0 ) + d(x0 , y 0 ) + d(y 0 , y)
y como d(x, x0 ) = d(y 0 , y) = 0, tenemos que d(x, y) d(x0 , y 0 ); la desigualdad en sentido contrario se obtiene de igual forma empezando por d(x0 , y 0 ).
resta comprobar que es una distancia sobre X/ .
Solo
0 por serlo d.
OCW-Universidad de Murcia

Pedro Jose Herrero Pineyro

10
(
x, y) = 0 equivale a que d(x, y) = 0 que, a su vez es equivalente a
en la misma clase de equivalencia,
que x y, es decir x e y estan
x
= y.
La simetra de se deduce de la de d.
(
x, y) = d(x, y) d(x, z) + d(z, y) = (
x, z) + (
z , y).

Topologa de Espacios Metricos

Pedro Jose Herrero Pineyro