Espacios Lp

Los espacios Lp son los espacios vectoriales normados

f Rg
f ) =
g
(

ms importantes en el contexto de la teora de la medida
c.t.p., i.e. |f g|p d = 0
y de la integral de Lebesgue. Reciben tambin el nombre de espacios de Lebesgue por el matemtico Henri
Se prueba que efectivamente esta es una relacin de equiLebesgue.
valencia, y se dene

Lp = Lp /R

Denicin

i.e., el espacio vectorial cuyos elementos son las clases

de equivalencia de la relacin R . Considerando entonces sobre Lp las normas anteriormente denidas (donde
f es cualquier representante de la clase de equivalencia),
se prueba que p resulta ser norma y que su valor no
depende del representante de la clase de equivalencia escogido. Usualmente no se hace distincin entre funcin y
clase de equivalencia en este contexto.

El espacio de Banach Lp (X) se construye a partir del espacio vectorial Lp (X) , este segundo es un espacio vectorial pero no es un espacio de Banach. Si sobre este segundo espacio se dene una cierta relacin de equivalencia de
tal manera que las clases de equivalencia (formadas por
funciones iguales casi en todas partes) s constituyen un
espacio vectorial normado que es un espacio de Banach.
Consideremos (X,,) un espacio de medida. Se dene el
espacio vectorial:
para p
C 1 (X, C)

[1, )

Lp (X)

2 Propiedades

1. Lp es un espacio de Banach.

Como el espacio de todas las funciones medibles f que

cumplen:

2. L2 es un espacio
de Hilbert, dotado del producto interno f, g = f g d .

|f |p d <

3. Si (X) < , entonces s > r se tiene que L

Ls Lr .

Asimismo, se dene el espacio L como el espacio de

las funciones medibles f que verican:

4. Si p (1, ), Lp es reexivo.

inf{a R : ({x X : |f (x)| a}) =

0} <

5. Si denotamos por E al espacio de las funciones simples, se cumple que E Lp es denso en Lp .

Es decir, aquellas funciones medibles acotadas excepto

en un conjunto de medida nula. Una norma natural para
denir en estos espacios sera:
(
f p =

6. Si p (1, ) , el dual topolgico de Lp es Lq donde

q es tal que p1 + 1q = 1 .
7. Si el espacio de medida es -nito, entonces el dual
de L1 se identica con L .

)1

|f |p d

, si p < , y

8. Si (X, ) es un espacio topolgico localmente compacto separado, y es una medida regular, entonces
C0 (X, R) (el espacio de las funciones continuas a
soporte compacto) es denso en Lp con 1 p <
.

f = inf{a R : ({x X : |f (x)|

a}) = 0}
Sin embargo, una aplicacin as denida no resulta norma, ya que no se cumple f p = 0 f = 0 , pues
cualquier funcin que sea igual a la funcin nula, salvo en
un conjunto de medida nula, tendr norma cero.

9. El espacio de las funciones innitamente derivables

en un abierto Rn a soporte compacto y que
estn en Lp con 1 p < , es denso en Lp , es
decir adhLp () (C0 () Lp ()) = Lp () .

As, se dene la siguiente relacin de equivalencia R sobre

Lp :
1

Vase tambin
Espacio de Sbolev

VASE TAMBIN

Origen del texto y las imgenes, colaboradores y licencias

4.1

Texto

Espacios Lp Fuente: https://es.wikipedia.org/wiki/Espacios_Lp?oldid=89319999 Colaboradores: CEM-bot, Davius, TXiKiBoT, Idiomabot, Correogsk, Alejandrocaro35, Juan Mayordomo, Raulshc, LucienBOT, MastiBot, Luckas-bot, MarceloTapiaGaete, Xqbot, Sr. Alvaro,
ZroBot, Spyglass007, Alberto5000, Addbot y Annimos: 7

4.2

Imgenes

4.3

Licencia del contenido

Creative Commons Attribution-Share Alike 3.0