Tarea 1 de Analisis Funcional

1. Sea K = R o C. Prueba que la funcion d : K K R dada por

d(x, y) = |x y|, x, y K,
es una metrica sobre K.
2. Sea X cualquier conjunto no vaco. Prueba que la funcion

0, si x = y
d(x, y) = ,
1, si x 6= y
define una metrica en X.
3. Demuestra que las funciones d1 y d definen metricas en KN .
4. Sea 0 < p < 1 y considera la funcion
1
N p
X
p
dp (x, y) := |aj bj | ,
j=1

donde x = (a1 , . . . , aN ) y y = (b1 , . . . , bN ). Prueba que dp no define una metrica en KN .

5. Sea (X, d) un espacio metrico. Demuestra que la funcion
d(x, y)
d(x,
e y) := , x, y X,
1 + d(x, y)
define otra metrica en X. (Sugerencia: Prueba que la funcion auxiliar f (x) = x/(1 + x) es
creciente en x 0).
6. Sean (X, dX ) y (Y, dY ) espacios metricos. Demuestra que las siguientes funciones definen
metricas en el producto cartesiano Z := X Y .
1
a) dp (z1 , z2 ) := (dX (x1 , x2 )p + dY (y1 , y2 )p ) p , 1 p < ,
b) d (z1 , z2 ) := max{dX (x1 , x2 ), dY (y1 , y2 )},
donde z1 = (x1 , y1 ) y z2 = (x2 , y2 ).
7. En un espacio metrico, demuestra por induccion la desigualdad del triangulo generalizada:
d(x1 , xN ) d(x1 , x2 ) + d(x2 , x3 ) + + d(xN 1 , xN ), N 3.

8. Demuestra que en un espacio metrico se satisface lo siguiente:

a) |d(x, z) d(y, z)| d(x, y).
b) |d(x, z) d(y, w)| d(x, y) + d(z, w).
9. Sean a, b R. Muestra que la funcion
Z b
d(f, g) := |f (x) g(x)|dx,
a
define una metrica en C[a, b].
Para revisar y entregar el da martes 22 de agosto.