ESPACIOS L

P
NDICE
1. Desigualdades de Hlder y Minkowski.
2. Espacios .
3. Completitud. Teorema de Fischer-Riesz.
4. Densidad de funciones simples.
5. Aproximacin por funciones continuas en .
6. Producto de convolucin.
BIBLIOGRAFA
Kolmogorov & Fomin: Elementos de Teora de
Funciones y del Anlisis Funcional.
T.M. Apostol: Anlisis Matemtico.
DESIGUALDADES DE HLDER Y MINKOWSKI.
DEFINICIN 10.1 (EXPONENTES CONJUGADOS)
Sea . Llamamos exponente conjugado de al nico que verifica:
(1)
NOTAS 10.2:
1. Es claro que la definicin es consistente y que ( : por ello se dice que y son exponentes
conjugados.
2. Ntese que si es y que si es .
3. El nico exponente autoconjugado es .
LEMA 10.3 (DESIGUALDADES DE YOUNG)
Sea y designemos por a su exponente conjugado. Para cuales quiera y es:
a) (2)
b) (3)
TEOREMA 10.4(DESIGUALDADES DE HLDER Y MINKOWSKY)
Sea un espacio de medida y dos funciones medibles cualesquiera .
a) Desigualdad de Hlder: (4)
b) Desigualdad de Minkowsi: (5)
Donde y ' son dos exponentes conjugados.
NOTAS 10.5: En ocasiones es til conocer cundo se da la igualdad en ellas. As, puede probarse que en
Minkowski tenemos la igualdad si y slo si es para ciertos , no nulos simultneamente.
Jos lvarez Fajardo 1
9
ESPACIOS L
P
EJEMPLO 10.6: Si consideramos con la medida cardinal sobre las partes de , puede considerarse
una funcin como un elemento de . As:
Para la desigualdad de Hlder se convierte en la desigualdad de Cauchy-Schwatz y la de Minkowski en la
desigualdad triangular.
ESPACIOS
En todo lo que sigue es un espacio de medida.
DEFINICIN 10.7(ESPACIOS L
P
)
Si es , llamamos -norma de la funcin medible definida en a
(6)
Llamamos supremo esencial de la funcin medible definida en a
(7)
Para llamamos
NOTAS 10.8:
Podemos considerar tanto funciones complejas como funciones con valores en .
Si no hay confusin, se suele escribir para simplificar . Pero cuando cuando es la medida de
Lebesgue en se escribe habitualmente .
Se denomina a supremo esencial de y a se le llama espacio de las funciones medibles
esencialmente acotadas sobre .
PROPOSICIN 10.9
Si es una funcin medible definida en , se verifica:
Y, consecuentemente, dado , equivalen:
a) .
b) .
PROPOSICIN 10.10(DESIGUALDAD DE HOLDER EN L
P
)
Si y entonces con
(8)
PROPOSICIN 10.11( L
P
ES ESPACIO VECTORIAL)
Si y y y son escalares, entonces con
(9)
Es fcil de deducir de lo anterior:
Jos lvarez Fajardo 2
ESPACIOS L
P
PROPOSICIN 10.12( L
P
ES ESPACIO SEMINORMADO)
Es un espacio seminormado.
Observemos que no llega a ser un espacio normado pues
No obstante, puede sortearse ese inconveniente introduciendo clases de equivalencia:
DEFINICIN 10.13(ESPACIO NORMADO L
P
)
En definimos la relacin de equivalencia
Y definimos el espacio cociente
Ahora s que es claro que tenemos:
PROPOSICIN 10.14( L
P
ES ESPACIO NORMADO)
Es un espacio normado con
(10)
NOTA 10.15: En la prctica, se confunden los espacios y por un deseo de simplificar el
lenguaje y se relega la distincin a un estatus de entendimiento tcito. As se habla de como un
espacio de funciones en lugar de clases de funciones donde identificamos las iguales en casi todo el espacio base.
COMPLETITUD. TEOREMA DE FISCHER-RIESZ
DEFINICIN 10.16 (COMPLETITUD DE L
P
)
El espacio es un espacio de Banach; esto es, es un espacio normado completo con la norma .
La convergencia en norma no implica la convergencia puntual, pero la demostracin del Teorema contiene el
siguiente interesante resultado
TEOREMA 10.17 (CONVERGENCIA PUNTUAL DE SUBSUCESIONES)
Si es en entonces existe una subsucesin y una funcin tal que:
a)
b)
DENSIDAD DE FUNCIONES SIMPLES
TEOREMA 10.18 (DENSIDAD DE FUNCIONES SIMPLES)
Dada existe una sucesin de funciones simples y medibles en con
(11)
Y si es podemos conseguir que para cada sea
Lo interesante del resultado: para es denso en el conjunto formado por las funciones
simples medibles que se anulan fuera de un conjunto de medida finita.
Jos lvarez Fajardo 3
ESPACIOS L
P
APROXIMACIN POR FUNCIONES CONTINUAS EN
En algunos espacios de medida hay tambin una topologa que guarda con los medibles una estrecha relacin.
Tal es el caso de con la medida de Lebesgue,
TEOREMA 10.19 (LEMA DE URYSHON EN )
Consideremos en un compacto y un abierto tales que .
Existe una funcin continua de soporte compacto tal que
(12)
NOTAS 10.20:
Si es una funcin (real o compleja) definida en un espacio topolgico X, se llama soporte de al conjunto

y es usual designar por al espacio de las funciones continuas con soporte compacto en .
Las propiedades de (12) se expresan en ocasiones, abreviadamente, as:
(13)
TEOREMA 10.21 (DENSIDAD DE EN )
Sea un abierto.
Si es un subespacio denso en .
NOTA 10.22:
Para no se cumple el resultado: no es denso en .
CONVOLUCIN DE FUNCIONES
DEFINICIN 11.23 (PRODUCTO DE CONVOLUCIN)
Sean y dos funciones medibles definidas e.c.t. y sea el conjunto de los para los que existe
Si llamamos funcin convolucin a la definida mediante
(14)
TEOREMA 11.24 (EXISTENCIA Y NORMA DE UNA CONVOLUCIN)
Si entonces y se verifica
(15)
Es fcil comprobar tambin las siguientes propiedades algebraicas: si entonces
a)
b)
c)
TEOREMA 11.25 (CONTINUIDAD DE LA CONVOLUCIN)
Si entonces .
Jos lvarez Fajardo 4