EJERCICIO 1.

Demostrar que || || es norma en [ ]

SOLUCIÓN.
Hagamos [ ] y recordemos que

|| || (∫ | | ) [ ]

Ahora para toda [ ] tenemos | | lo que conlleva a que || ||

(∫ | | ) . Es claro que si entonces (∫ | | ) , y

recíprocamente si || || (∫ | | ) tenemos que . Por

otro lado tenemos

|| || (∫ | | ) (| | ∫ | | ) | | (∫ | | ) | ||| ||

Y por último la desigualdad de Minkowski para integrales válida en los espacios

de medida [ ] (en particular para [ ]), permite establecer la validez
de la desigualdad triangular:

|| || (∫ | | ) (∫ | | ) (∫ | | ) || || || ||

En resumen || || es una norma en el espacio [ ].

EJERCICIO 2. Sea compacto. Demostrar que con la norma || ||

es Banach.
SOLUCIÓN.
El espacio con la norma || || es un espacio normado, para mostrar la

completitud del mismo, consideremos una sucesión de Cauchy en

, luego para todo la sucesión es de Cauchy en y como
es completo es convergente, luego es convergente.
Por lo tanto ( || || ) es completo y por tanto de Banach.

EJERCICIO 3. Demostrar que el espacio no es separable.

SOLUCIÓN.
Supongamos que sea separable, es decir que existe una sucesión
densa en (los términos de la sucesión forman un subconjunto numerable y
denso de ). Para cada , hagamos ( ) Sea ( ) la

sucesión definida por si | | y si | | En este caso:

| | | | | |

Asi en cualquier caso | | , es decir ( ) , de la densidad

de la sucesión existe tal que || || Pero

|| || {| || | } | |

Además

| | | | | | | |
| | { {
| | | | | |

Para todo luego || || , una contradicción. Por lo tanto

no es separable.