Soluciones a los ejercicios del

Captulo 2. Espacios Mtricos,

del libro
Anlisis Matemtico
de Mnica Clapp

por MGG

May 19, 2017

Tabla de Ejercicios
2.32 . . . . . . . . . . 1 2.41 . . . . . . . . . . 5 2.50 . . . . . . . . . . 12

2.33 . . . . . . . . . . 1 2.42 . . . . . . . . . . 6 2.51 . . . . . . . . . . 13

2.34 . . . . . . . . . . 2 2.43 . . . . . . . . . . 7
2.52 . . . . . . . . . . 13
2.35 . . . . . . . . . . 3 2.44 . . . . . . . . . . 8
2.53 . . . . . . . . . . 14
2.36 . . . . . . . . . . 3 2.45 . . . . . . . . . . 9
2.54 . . . . . . . . . . 14
2.37 . . . . . . . . . . 3 2.46 . . . . . . . . . . 11
2.55 . . . . . . . . . . 14
2.38 . . . . . . . . . . 4 2.47 . . . . . . . . . . 11

2.39 . . . . . . . . . . 5 2.48 . . . . . . . . . . 11 2.56 . . . . . . . . . . 15

2.40 . . . . . . . . . . 5 2.49 . . . . . . . . . . 12 2.57 . . . . . . . . . . 17

Nota: Usamo la primera edicin impresa, ao 2015. Los resultados que usamos aqu y estn probados en el
libro se distinguirn con el smbolo *.
2.6. Espacios Mtricos
Ejercicio 2.32. Por la desigualdad del tringulo (dos veces),

dpw, xq dpw, zq ` dpz, xq pdpw, yq ` dpy, zqq ` dpx, zq,

se sigue
dpw, xq dpy, zq dpw, yq ` dpx, zq.

Igualmente,
dpy, zq dpw, xq dpw, yq ` dpx, zq.

Se sigue en efecto,
|dpw, xq dpy, zq| dpw, yq ` dpx, zq.

Ejercicio 2.33. (a) La distancia usual dpx, yq |x y|, x, y P R, es una mtrica en R: Se sigue
de la propiedades de valor absoluto:

(M1) Para todo x, y P R,

dpx, yq |x y| 0 x y 0 x y.

(M2) Para todo x, y P R,

dpx, yq |x y| | py xq| | 1||y x| |y x| dpy, xq.

(M3) Para todo x, y, z P R,

dpx, zq |x z| |px yq ` py zq| |x y| ` |y z| d px, yq ` d py, zq.

(b) La distancia usual en Rn es una mtrica:

(M1) Para todo x px1 , ..., xn q, y py1 , ..., yn q P Rn ,

a
d px, yq px1 y1 q2 ` ` pxn yn q2 0 px1 y1 q2 pxn yn q2 0
x1 y1 , ..., xn yn
x y.

(M2) Para todo x px1 , ..., xn q, y py1 , ..., yn q P Rn ,

a
d px, yq px1 y1 q2 ` ` pxn yn q2
a
p1q2 py1 x1 q2 ` ` p1q2 pyn xn q2
a
py1 x1 q2 ` ` pyn xn q2
d py, xq.

1
(M3) Recordemos:

Teorema 1 (Desigualdad de Cauchy-Schwarz). Sean a1 , ..., an y b1 , ..., bn nmeros reales,

entonces 2
n n
n

2 2
ai bi ai bi .
i1 i1 i1

Demostracin. Consideramos la funcin cuadrtica

n
n
n
n

f pxq pai x bi q2 a2i x2 2 ai bi x ` b2i .
i1 i1 i1 i1

Como f pxq 0 para todo x P R, se sigue que el discriminante de f es no positivo, esto es,
2
n
n
n

ai bi a2i b2i 0.
i1 i1 i1

De manera que si x px1 , ..., xn q, y py1 , ..., yn q y z pz1 , ..., zn q estn en Rn ,

2 a a 2
d px, yq ` d py, zq px1 y1 q2 ` ` pxn yn q2 ` py1 z1 q2 ` ` pyn zn q2

px1 y1 q2 ` ` pxn yn q2
a a
` 2 px1 y1 q2 ` ` pxn yn q2 py1 z1 q2 ` ` pyn zn q2
` py1 z1 q2 ` ` pyn zn q2
px1 y1 q2 ` ` pxn yn q2
` 2 px1 y1 q2 py1 z1 q2 ` ` pxn yn q2 pyn zn q2
`

` py1 z1 q2 ` ` pyn zn q2
` 2 ` 2
px1 y1 q ` py1 z1 q ` ` pxn yn q ` pyn zn q
px1 z1 q2 ` ` pxn zn q2
2
d px, zq .

De donde
d px, zq d px, yq ` d py, zq.

Ejercicio 2.34. Para x px1 , ..., xn q P Rn , sea }x}8 maxt|x1 |, ..., |xn |u.

(N1) Para todo x px1 , ..., xn q P Rn ,

}x}8 0 |x1 | |xn | 0 x1 xn 0 x p0, ..., 0q.

2
(N2) Para todo x px1 , ..., xn q P Rn y P R, x px1 , ..., xn q, de donde,

}x}8 maxt|x1 |, ..., |xn |u maxt|||x1 |, ..., |||xn |u || maxt|x1 |, ..., |xn |u ||}x}8 .

(N3) Para todo x px1 , ..., xn q y y py1 , ...., yn q en Rn ,

|x1 ` y1 | |x1 | ` |y1 |, ..., |xn ` yn | |xn | ` |yn |,

de donde,
|x1 ` y1 | }x}8 ` }y}8 , ..., |xn ` yn | }x}8 ` }y}8 ,
en consecuencia,

}x ` y}8 maxt|x1 ` y1 |, , |xn ` yn |u }x}8 ` }y}8 .

Ejercicio 2.35. La funcin pxq mint|x1 |, ..., |xn |u no es norma en Rn . En efecto, p1, 0, ..., 0q
0, pero p1, 0, ..., 0q no es el vector nulo. N

Ejercicio 2.36. Sean 0 k n y |a| 0. Tomamos x px1 , ...xn q P Rn tal que xi a

exactamente para k coordenadas, y xi 0 exactamente para n k coordenadas. Sea y py1 , ..., yn q
tal que yi a xi , para todo 1 i n. Entonces,
2 2 2
n n n
1 1 1
|xi ` yi | 2 n2 |a| k 2 |a| ` pn kq2 |a| |xi | 2 ` |yi | 2 .
i1 i1 i1

Observacin 1. Si k 0, entonces n ` k n k, y dado que k n,

n2 k 2 pn ` kqpn kq pn kqpn kq pn kq2 ,

de donde n2 k 2 ` pn kq2 .

Ejercicio 2.37. (M1) Para todo v, w P V ,

dpv, wq 0 }v w} 0 v w 0 v w.

(M2) Para todo v, w P V ,

dpv, wq }v w} } pv ` wq} | 1|}w v} }w v} dpw, vq.

(M3) Para todo u, v, w P V ,

dpu, wq }u w} }pu vq ` pv wq} }u v} ` }v w} dpu, vq ` dpv, wq.

3
Ejercicio 2.38. Para p 1. Para todo x px1 , x2 q P R2 ,

1 p0, 1q }x}1 1 |x1 | ` |x2 | 1 |x2 | 1 |x1 | |x1 | 1 x2 1 |x1 |.

xPB

Ahora, para todo x1 P R,

|x1 | 1 1 |x1 | 2|x1 | 2 |x1 | 1 1 x1 1.

Por tanto,
1 p0, 1q tpx1 , x2 q P R2 : 1 x1 1 y |x1 | 1 x2 1 |x1 |u.
B

Para p 2. Para todo x px1 , x2 q P R2 ,

b b
2 2 2 2
x P B2 p0, 1q }x}2 1 x1 `x2 1 x2 1x1 1 x1 1 y 1 x1 x2 1 x21 .
2

As que b b
B2 p0, 1q px1 , x2 q P R2 : 1 x1 1 y
(
1 x21 x2 1 x21 .

Para p 8. Para todo x px1 , x2 q P R2 ,

2 p0, 1q }x}8 1 maxt|x1 |, |x2 |u 1 |x1 | 1 y |x2 | 1 1 x1 1 y 1 x2 1.

xPB

De donde
2 p0, 1q r1, 1s r1, 1s.
B

4
Ejercicio 2.39. Para todo x P R2 ,

x P B disc p0, 1q ddisc px, 0q 1 ddisc px, 0q 0 ddisc px, 0q 1 x 0 x 0 x P R2 .

Por tanto B disc p0, 1q R2 .

Para todo x P R2 ,

x P Bdisc p0, 1q ddisc px, 0q 1 ddisc px, 0q 0 x 0.

Por tanto
Bdisc p0, 1q t0u.

Ejercicio 2.40. Sea : V V R` tal que para todo u, w P V ,

$
&0 si v w,
pv, wq
%1 si v w.

Dado que V t0u, existe v P V tal que v 0. Supongamos que v v. Entonces en particular,

2v v ` v 0,

de donde v 0. Contradiccin. As que v v. Luego,

pv, vq 1.

Por otro lado,

pv, 0q 1.

Supongamos que } } es una norma sobre V tal que para todo v, w P V ,

pv, wq }v w}.

En particular

2 2pv, 0q 2}v} }2v} }v ` v} }v pvq} pv, vq 1.

Absurdo. N

Ejercicio 2.41. Para 1 p 8.

(N1) Para todo x pxk q P `p ,

1{p
8

}pxk q}p |xk |p 0 |xk | 0, @k 1 x 0.
k1

5
(N2) Si x pxk q P `p y P R, entonces
1{p 1{p 1{p
8
8
8

p p p p
}pxk q}p |xk | || |xk | || |xk | ||}pxk q}p .
k1 k1 k1

Para p 8.

(N1) Para todo x pxk q P `p ,

}pxk q}8 0 sup |xk | 0 |xk | 0, @k 1 x 0.

k1

(N2) Si x pxk q P `8 ,

}pxk q}8 sup |xk | sup |||xk | || sup |xk | ||}pxk q}8
k1 k1 k1

Observacin 2. En el inciso (N2) anterior hemos usado el siguiente resultado.

Lema 1. Si A es un subconjunto de R y c 0 es constante, entonces

suppcAq c sup A,

donde cA tca : a P Au.

Demostracin. Para todo a P A, ca c sup A. Por lo que suppcAq c sup A. La igualdad

es inmediata si c 0. Supongamos c 0. Si suppcAq c sup A, entonces para algn a P A,
suppcAq ca; en particular ca ca, de donde, a a, lo cual es absurdo.

Ejercicio 2.42. (a) Sean 1 s r 8 y x px1 , ..., xn q P Rn . Entonces, para algn 1 i0 n,

s n

max |xk | max |xk |s |xi0 |s |xk |s .
1kn 1kn
k1

De donde 1
n
s
s
}x}8 max |xk | |xk | }x}s .
1kn
k1

Sean ahora 1 s r 8 y sea x px1 , ..., xn q P Rn tal que }x}s 1. En particular, |xk | 1
para todo 1 k n. Por tanto,

|xk |r |xk |s , @k 1, ..., n.

Y as
n
n

}x}rr |xk |r |xk |s }x}ss 1.
k1 k1

6
Esto es,
}x}r 1.

Ahora, sea x px1 , ..., xn q P Rn y x 0. Hacemos y x{}x}s . Entonces }y}s 1 y en consecuencia,

por lo hecho arriba,
}x}r
}y}r 1,
}x}s
esto es,
}x}r }x}s .

Y desde luego, si x 0, }x}r 0 }x}s .

(b) Sea 1 s r 8 y sea x px1 , ..., xn q P Rn . Hacemos
r 1 r
p y q 1 .
s 1 p
rs

Por la desigualdad de Hlder en Rn (Proposicin* 2.12, p. 14),

1 1 s
n n n p n q n r
rs rs
}x}ss |xk |s |xk |s 1 |xk |sp 1q |xk |r n r }x}sr n r .
k1 k1 k1 k1 k1

De donde,
rs
}x}s n rs }x}r .

Y desde luego, esta misma desigualdad es inmediata si r s.

(c) Sea 1 s 8 y x px1 , ..., xn q P Rn . Entonces
n
n

}x}ss |xk |s }x}s8 n}x}8 .s
k1 k1

De donde
1
}x}s n s }x}s

Ejercicio 2.43. Sean p, q P p1, 8q tales que p1 ` 1q 1. Si x pxk q P `p y y pyk q P `q . Por la

desigualdad de Hlder para sucesiones finitas (Proposicin* 2.12, p. 14), para todo
1 1
n
n
p n
q
p q
|xk yk | |xk | |yk | .
k1 k1 k1

Si n 8,
1 1
8
8
p 8
q

|xk yk | |xk |p |yk |q 8.

k1 k1 k1

Consecuentemente, pxk yk q P `1 . N

7
Ejercicio 2.44. (a) Sea 1 s r 8. Por el Ejercicio 2.42 (p. 6), si pxk q P `s , entonces para
todo n 1,
1 1
n r n s

|xk |r |xk |s ,
k1 k1
si n 8,
}pxk q}r }pxk q}s .

Consecuentemente `s `r .
1
Ahora, sea xk k s , para todo k 1. Entonces
8 8
1
xsk 8.
k1 k1
k
r
No obstante, dado que s 1,
8 8
1
xrk 8.
k1 k1
npr{sq
As que pxk q P `r .
Nuevamente, por el Ejercicio 2.42 (p. 6), si 1 s 8,
1
n
s

max |xk | |xk |s .

1kn
k1

Si n 8,
}pxk q}8 }pxs q}s .

Consecuentemente `s `8 .
1
Nuevamente, hacemos xk k s , para todo k 1. Ya vimos que pxk q R `s . No obstante,
1
}pxk q}8 sup 1.
k1 k p1{sq

As que pxk q P `8 .
(b) Si pxk q P `p , para alguna 1 p 8, entonces para todas r s p,

pxk q P `s y }pxk q}r }pxk q}s }pxk q}p 8.

De modo que lim }pxk q}r existe y por (a),

r8

}pxk q}8 lim }pxk q}r .

r8

En particular }pxk q}8 8.

Por otro lado, sea 0 y sea n 1 tal que
1
8 p

|xk |p .
kn`1
}pxk q}8 ` 1

8
Y sea r p tal que
1
nr ` 1.
p}pxk q}8 ` 1q
Por la desigualdad del tringulo, la parte (a) y el Ejercicio 2.42 (p. 6),
1 1 1
8
r n
r 8
r

|xk |r |xk |r ` |xk |r

k1 k1 kn`1
1 1
n
r 8
p

|xk |r ` |xk |p
k1 kn`1


` 1 }pxk q}8 ` }pxk q}8 ` .
}pxk q}8 ` 1 }pxk q}8 ` 1
Se sigue
lim }pxk q}r }pxk q}8 .
r8
N

Ejercicio 2.45. (a) Para probar la desigualdad del tringulo, vamos a probar algunos hechos
sobre nmeros.

Lema 2. Sean a, b y c nmeros reales no negativos tales que

c a ` b.

Entonces
1 1 1
` 1. (1)
1`a 1`b 1`c
Demostracin. Tenemos,

p1 ` aqp1 ` bqp1 ` cq 1 ` a ` b ` c ` ab ` ac ` bc ` abc

1 ` 2c ` ac ` bc ` ab ` abc
1 ` 2c ` ac ` bc ab

Pero

1 ` 2c ` ac ` bc ab p1 ` b ` c ` bcq ` p1 ` a ` c ` acq p1 ` a ` b ` abq

p1 ` bqp1 ` cq ` p1 ` aqp1 ` cq p1 ` aqp1 ` bq.

De aqu se sigue de inmediato la desigualdad (1).

Corolario 1. Sean a, b y c nmeros reales no negativos tales que

c a ` b.

Entonces
c a b
` . (2)
1`c 1`a 1`b

9
Demostracin. De (1) se sigue directamente,
1 1 1
1 1 `1 .
1`c 1`a 1`b
Esto es,
c a b
` .
1`c 1`a 1`b

Ahora, si x, y, z P R, entonces

|x z| |x y| ` |y z|.

De donde, por la desigualdad (2),

|x z| |x y| |y z|
` .
1 ` |x z| 1 ` |x y| 1 ` |y z|

De esto es trivial probar la desigualdad triangular. Las otras propiedades de mtrica son fciles
de deducir.
(b) rs Supongamos que
lim dpxk , xq 0.
k8
Sea i P N. Si elegimos 0 1, entonces para algn natural K 1,

dpxk , xq , para todo k K.
2i`1
Pero para todo k P N,
|xki xi |
dpxk , xq,
2i p1 ` |xki xi |q
as que
|xki xi |
i k
i`1 , para todo k K.
2 p1 ` |xi xi |q 2
De donde
{2
|xki xi | , para todo k K.
1 {2
rs Supongamos que
lim xki xi , @i P N.
k8
Sea 0 y sea J P N tal que
8
1 1
i
J .
iJ`1
2 2 2

Para todo 1 i J, existe Ki 1 tal que

|xki xi | , para todo k Ki .
2

10
 J max Ki , entonces para todo 1 i J,
Si hacemos K
1iJ

J .
|xki xi | , para todo k K
2
J
De esta manera, para todo k K
J J
|xki xi |

k
1 1
dpx , xq i k
` i
` 1 J ` ` .
i1
2 p1 ` |xi xi |q 2 2 i1 2 2 2 2 2 2 2

Ejercicio 2.46. Dado que la integral es lineal, monnota y

|f pxq ` gpxq| |f pxq| ` |gpxq|, @x P ra, bs, (3)

se sigue,
b b b
|f pxq ` gpxq|dx |f pxq|dx ` |gpxq|dx.
a a a
De la misma desiguald (3),

|f pxq ` gpxq| max |f pxq| ` max |gpxq|, @x P ra, bs,

xPra,bs xPra,bs

por tanto
max |f pxq ` gpxq| max |f pxq| ` max |gpxq|.
xPra,bs xPra,bs xPra,bs

Ejercicio 2.47. (a) Se sigue trivialmente del hecho de que para todo 1 k n,

|yk | max |yk |.

1kn

(b) Igualmente, se sigue de que para todo k 1,

|yk | sup |yk |.

k1

(c) Como g es continua, entonces max |gpxq| 8. As que la desigualdad se sigue trivialmente
axb
de que para todo a x b,
|gpxq| max |gpxq|.
axb
N

Ejercicio 2.48. Para cada k 1 hacemos,

$
&2kp1 kxq si x P r0, 1{ks,
fk pxq
%0 si x P p1{k, 1s.

11
Es claro entonces que
1
}fk }1 p2kq 1.
2k
Pero
}fk }8 k 8.

Por otro lado, si g : r0, 1s R es continua y }g}8 1, entonces

|gpxq| 1, @x P r0, 1s,

por lo que 1 1
|gpxq|dx 1dx 1.
0 0
Concluimos que no es posible construir sucesiones de funciones continuas sobre r0, 1s acotadas en
norma supremo, y no acotado en norma L1 . N

Ejercicio 2.49. Para todo p 1 y todo entero k 1,

1 1 x1
1 p1 kxq p`1 1
|fk pxq|p dx p1 kxqp dx .


0 0 k p`1 kpp ` 1q
x0

Por tanto,
1
}fk }p .
pkpp ` 1qq1{p
N

Ejercicio 2.50. (a) Si 1 s r, la Proposicin* 2.23 (p. 21) prueba que para toda f P C 0 ra, bs,
rs
}f }s pb aq rs }f }r .
rs
Y obviamente, c : pb aq rs 0. De hecho, si a 0 y b 1, entonces c 1.
(b) Sea p r y supongamos que para alguna constante c 0,

}f }p c}f }r , @f P C 0 r0, 1s.

En particular, si fk es como en el ejercicio anterior para toda k 1, entonces

1 1
1{p
c .
pkpp ` 1qq pkpr ` 1qq1{r

De donde, para toda k 1,

1
pr ` 1q r 1
p1
1 kr c.
pp ` 1q p

Lo cual es imposible porque el trmino de la izquierda crece al infinito si k crece al infinito. N

12
Ejercicio 2.51. Sean f, g P C r ra, bs. Para toda 0 s r,
1
f psq ` g psq f ps`1q ` g ps`1q .

Por tanto,
r
r
r
r
psq psq psq psq
}f ` g}r,p pf ` gq f ` g psq f ` g }f }r,p ` }g}r,p .

p p p
s0 s0 s0 s0

Las otras propiedades de norma son tambin fciles de probar. N

Ejercicio 2.52. Vamos a probar un resultado previo.

Proposicin 1. Si pV, } }q es un espacio normado y S es un conjunto, entonces f P BpS, V q si y

slo si, existe c 0 tal que
}f pzq} c, @z P S.

Demostracin. Si f P BpS, V q, existe c1 0 y x0 P V tales que

}f pzq x0 } c1 @z P S.

Por tanto,
}f pzq} }f pzq x0 } ` }x0 } c1 ` }x0 }, @z P S.

Tomamos cualquier c c1 ` }x0 }. La afirmacin recproca es obvia.

Sean f, g P BpS, V q y s, t P R,

psf ` tgqpzq psf qpzq ` ptgqpzq sf pzq ` tgpzq P V, @z P S.

Ahora, para algunas constantes cf , cg 0,

}psf ` tgqpzq} |s|}f } ` |t|}g} |s|cf ` |t|cg , @z P S.

En consecuencia
sf ` tg P BpS, V q.

Esto prueba que BpS, V q es un subespacio del espacio vectorial de todas las funciones definidas
sobre S y con valores en V , con las operaciones de suma y producto por un escalar indicadas en el
ejercicio.
Por otro lado, si f, g P BpS, V q, entonces

}pf ` gqpzq} }f pzq ` gpzq} }f pzq} ` }gpzq}, @z P S.

Por tanto
sup }pf ` gqpzq} sup }f pzq} ` sup }gpzq}.
zPS zPS zPS
Lo que prueba la desigualdad triangular de } }8 . Las otras propiedades de norma son trivialmente
vlidas. N

13
Ejercicio 2.53. (a) Sea 1 p 8. Sean ai , bi , ci 0, i 1, 2, tales que ai bi ` ci , i 1, 2.
Si consideremos la norma } }p en R2 ,
1{p
pap1 ` ap2 q ppb1 ` c1 qp ` pb2 ` c2 qp q1{p }pb1 ` c1 , b2 ` c2 q}p
}pb1 , b2 q ` pc1 , c2 q}p
1{p 1{p
}pb1 , b2 q}p ` }pc1 , c2 q}p pbp1 ` bp2 q ` pcp2 ` cp2 q .

Luego, si pxi , yi q P X Y , con i 1, 2, 3, hacemos

a1 dX px1 , x3 q, a2 dY py1 , y3 q, b1 dX px1 , x2 q, b2 dY py1 , y2 q y c1 dX px2 , x3 q, c2 dY py2 , y3 q.

Obtenemos as la desigualdad triangular relativa a dp , con 1 p 8.

Por otro lado, de las desigualdades

dX px1 , x3 q dX px1 , x2 q ` dX px2 , x3 q maxtdX px1 , x2 q, dY py1 , y2 qu ` maxtdX px2 , x3 q, dY py2 , y3 qu

dY py1 , y3 q dY py1 , y2 q ` dY py2 , y3 q maxtdX px1 , x2 q, dY py1 , y2 qu ` maxtdX px2 , x3 q, dY py2 , y3 qu

se sigue

maxtdX px1 , x3 q, dY py1 , y3 qu maxtdX px1 , x2 q, dY py1 , y2 qu ` maxtdX px2 , x3 q, dY py2 , y3 qu.

Obtenemos as la desigualdad triangular relativa a d8 . Las otras propiedades son trivialmente

vlidas. N

Ejercicio 2.54. Sean y1 , y2 P Y y sean x1 , x2 P X (nicos) tales que y1 px1 q y y2 px2 q.

dY py1 , y2 q dY ppx1 q, px2 qq dX px1 , x2 q dX p1 py1 q, 1 py2 qq.

p
Ejercicio 2.55. (a) No es una isometra. Prueba : si }p1, 1q}p }p1, 1q}r , entonces 2 2 {r , de
donde p r, lo cual contradice la suposicin p r.
(b) No es isometra. Prueba : Sea
x
f pxq logp1 ` xq, @x 0.
1`x
Entonces
x
f 1 pxq 0, @x 0.
p1 ` xq2
As que f es una funcin decreciente en su dominio. Y si
1
hpxq f pxq, @x 0.
x2
entonces h es tambin decreciente en su dominio.

14
 Ahora, si
1
gpxq logp1 ` xq, @x 0.
x
entonces g 1 pxq hpxq, por lo que

g 1 pxq lim hpyq 0, @x 0.

y0

As que g es decreciente en su dominio. Pero gpxq log pxq, donde

1
pxq p1 ` xq {x , @x 0.

As que es una funcin decreciente en su dominio.

Ahora, sea Idr0,1s la funcin identidad de r0, 1s en r0, 1s, esto es, Idr0,1s pxq x para toda
0 x 1, y supongamos que 0 p r. Tenemos
1 1
}Idr0,1s }p 1{p
}Idr0,1s }r .
p1 ` pq p1 ` rq1{r

(c) Es una isometra pues se trata de la inclusin del subespacio C21 r0, 1s en el espacio C21 r0, 1s.
(d) Misma razn que en (c).
(e) Es una isometra: Prueba : Para toda f P BpN, Rq, obviamente,

}f }8 supt|f pnq| : n P Nu }pf q}8 .

Ejercicio 2.56. (a) Para todo v P V , recordemos que existe un nico vector xv px1 , ..., xn q de
Rn tal que v ni1 xi ei . (De hecho, la regla v xv es biyectiva). Note que }v} }xv }, donde

}xv } es la norma usual en Rn . Luego

xv 0V xv 0 }xv } 0 }v} 0.
n
Para todo P R, dado que v i1 xi ei , se sigue que xv xv , de donde

}v} }xv } }xv } ||}xv } ||}v} .

Finalmente, si w ni1 yi ei , se tiene la representacin v ` w ni1 pxi ` yi qei , de donde xv`w

xv ` xw , y por tanto

}v ` w} }xv`w } }xv ` xw } }xv } ` }xw } }v} ` }w} .

Observacin 3. Este ejercicio es de hecho un caso particular del siguiente

Teorema 2. Sea X un espacio vectorial normado con norma } }X , y sea Y un espacio vectorial.
Si f : Y X es una aplicacin lineal, esto es, para todo y1 y y2 en Y , y cualquier escalar ,
f py1 ` y2 q f py1 q ` f py2 q, y si para todo y P Y se cumple f pyq 0X y 0Y , entonces
}y}Y : }f pyq}X , para todo y P Y , es una norma en Y .

15
Demostracin. Como f es lineal,

f p0Y q f p0Y ` 0Y q f p0Y q ` f p0Y q 2f p0Y q.

Esto es f p0Y q 0X . Se sigue que para toda y P Y ,

}y}Y 0 }f pyq}X 0 f pyq 0X y 0Y .

Por otra parte, para todo escalar ,

}y}Y }f pyq}X }f pyq}X ||}f pyq}X ||}y}Y .

Finalmente, para todo y1 y y2 en Y ,

}y1 ` y2 }Y }f py1 ` y2 q}X }f py1 q ` f py2 q}X }f py1 q}X ` }f py2 q}X }y1 }Y ` }y2 }Y .

(b) Hay que aclarar algunas cosas primero.

Definicin 1. Si X y Y son espacios vectoriales normados con normas } }X y } }Y resp., decimos
que una funcin : X Y es una isometra si es una isometra respecto a las mtricas inducidas
por las respectivas normas en X y Y .
Proposicin 2. Si X y Y son espacios vectoriales normados con normas } }X y } }Y resp., y si
: X Y es una funcin lineal, entonces es una isometra si y slo si,

}x}X }pxq}Y , @x P X. (4)

Demostracin. De acuerdo a la primera parte de la demostracin del Teorema 2 (p. 15), p0X q 0Y .
Ahora, si es una isometra, para toda x P X,

}x}X dX px, 0X q dY ppxq, p0X qq dY ppxq, 0Y q }pxq}Y .

Recprocamente, si la igualdad (4) es vlida, entonces para todo x, y P X,

dX px, yq }x y}X }px yq}Y }pxq pyq}Y dY ppxq, pyqq.

As que para verificar el inciso (b) solo debemos probar que px1 , ..., xn q ni1 xi ei es una

aplicacin lineal de Rn a V , ya que por definicin, }px1 , ..., xn q} } ni1 xi ei } }px1 , ..., xn q},

para todo px1 , ..., xn q P Rn . Pero note que para todos px1 , ..., xn q y py1 , ..., yn q vectores de Rn ,

ppx1 , ..., xn q ` py1 , ..., yn qq px1 ` y1 , ..., xn ` yn q

n
pxi ` yi qei
i1
n n

xi ei ` yi ei
i1 i1

px1 , ..., xn q ` py1 , ..., yn q.

16
Ejercicio 2.57. (a) Sean x, y, z P X, y sean x,y y y,z trayectorias de x a y, y de y a z,
respectivamente, en X de longitud finita. Entonces, definimos
$
& p2tq
x,y si 0 t 12 ,
ptq
% p2t 1qq si 1 t 1.
y,z 2

Queda claro que es una trayectoria de x a z en X de longitud finita. Si 0 t0 t1 tm 1

es una particin del intervalo r0, 1s, entonces 0 21 t0 12 t1 12 tm 12 es una particin de
r0, 12 s. Y recprocamente, si 0 t0 t1 tm 12 es una particin del intervalo r0, 12 s, la
coleccin 0 2t0 2t1 2tm 1 es una particin de r0, 1s. En consecuencia,
# +
m
1
Lpx,y q sup }x,y p2tk1 q x,y p2tk q} : 0 t0 t1 tm .
k1
2

De forma anloga puede argumentarse que

# +
m
1
Lpy,z q sup }y,z p2tk1 1q y,z p2tk 1q} : t0 t1 tm 1
k1
2

Por otra parte, si 0 t0 t1 tm 1 es una particin del intervalo r0, 1s y si tomamos

0 j m tal que tj1 12 tj , se tiene

}ptj1 q ptj q} }ptj1 q p1{2q} ` }p1{2q ptj q},

de donde
dpx, zq Lpq Lpx,y q ` Lpy,z q.

Consecuentemente,
dpx, zq dpx, yq ` dpy, zq.

Lo que prueba la desigualdad triangular.

Para probar simetra, note que : r0, 1s X es una trayectoria de x a y (cualesquiera puntos
de Rn ), entonces
ptq p1 tq es una trayectoria de y a x. Y adems,

Lpq Lp
q.

En consecuencia,
dpx, yq dpy, xq.

Finalmente, si x, y P Rn , dado que

}x y} Lpq,

para cualquier trayectoria de x a y, se sigue que

}x y} dpx, yq.

17
As que si dpx, yq 0, entonces x y.
(b.1) d coincide con la mtrica usual, puesto que para todo x, y P Rn , el segmento

ptq p1 tqx ` yt, 0 t 1, (5)

est completamente contenida en Rn , y

Lpq }y x}.

(b.2) d coincide con la mtrica usual. En efecto, si x, y P Bn , entonces para todo 0 t 1,

}p1 tqx ` ty} p1 tq}x} ` t}y} 1 t ` t 1,

de modo que la trayectoria (5) est completamente contenida en Rn .

(b.3) d coincide con la mtrica usual. En efecto, si x, y P X, entonces sucede que 0 no est en
el segemento
p1 tqx ` ty, 0 t 1,

en cuyo caso, dpx, yq }x y}. O bien, para algn 0 t0 1 (las disigualdades son estrictas
porque 0 R X), y 1 t10 x. En cuyo caso, elegimos algn vector z linealmente idependiente
de y x con }z} 1, y los puntos pt x ` tz, 0 t 1, de manera que, si consideramos las
trayectorias t de x a y, como la unin de los segmentos de x a pt y de pt a y, entonces t est en
X y
dpx, yq Lpt q }x pt } ` }pt y} 2t ` }y x}.

Si t 0, concluimos
dpx, yq }y x}.

(b.4) d no coincide con la mtrica usual. En efecto, consideremos los puntos x0 p0, ..., 1q,
y0 x0 y cualquier punto z0 pz1 , ..., zn1 , 0q tal que z12 ` ` zn2 12 . Entonces

dpx0 , y0 q }x0 0} ` }0 z0 } ` }z0 ` 0} ` }0 y0 } 2 }y0 x0 }.

(b.5) d no coincide con la mtrica usual. N

18