Está en la página 1de 14

Tema 3: Espacios L p

26 de marzo de 2009

Funciones medibles

Espacios L p

Funciones integrables

Funciones medibles

Espacios L p

Funciones integrables

K = R o C, (, A , ) espacio de medida Espacio de las funciones medibles

L0 () = { f K : f medible}
Dos observaciones

L0 (, R) o L0 (, C)

Una funcin continua de una funcin medible es medible o o f : R2 , f (x) = (u(x), v(x)) x . Entonces: f medible u, v medibles

Funciones medibles

Espacios L p

Funciones integrables

Propiedades de las funciones medibles


f : C es medible Re f , Im f medibles. f , g L0 () = f L0 (), p R+ f L0 (, R) = f + g, f g L0 () (lgebra sobre K) a = | f | p medible positiva f + , f medibles positivas

f L0 () = L0 () : |(x)| = 1, f (x) = (x) | f (x)| { fn } L0 (), { fn (x)} f (x) x = (x )

f L0 ()

Funciones medibles

Espacios L p

Funciones integrables

Espacios L p (, A , ) espacio de medida, p [0, ]: p=0 Funciones medibles:

L0 () = { f K : f medible}
0< p< Funciones p-integrables:

L p () = { f L0 () :

| f | p d < }

p=

Funciones esencialmente acotadas: f L0 (), ess sup | f | = mn{M [0, ] : | f | M c.p.d.}

L () = { f L0 () : ess sup | f | < }

Funciones medibles

Espacios L p

Funciones integrables

Caso 1

p<
1/p

p( f ) =

| f | p d

( f L p ())

L p () espacio vectorial sobre K, p seminorma en L p ()


p ( f ) = 0 f N() := { f L0 () : f = 0 c.p.d.} L p ()
1/p

L p () = L p ()/N(), L p () espacio normado

| f | p d

( f L p ())

Funciones medibles

Espacios L p

Funciones integrables

Caso p = ( f ) = ess sup | f | ( f L ())

L () espacio vectorial sobre K, seminorma en L ()


L () = L ()/N(), L () espacio normado f

= ess sup | f |

( f L ())

Funciones medibles

Espacios L p

Funciones integrables

Caso 0 < p < 1 a, b 0, 0 < p < 1 = (a + b) p ap + bp

L p () espacio vectorial sobre K


p( f ) =

| f | p d

( f L p ())

p es una pseudonorma en L p () L p () = L p ()/N(), d p ( f , g) = f g L p () espacio mtrico e =

| f | p d

( f L p ())

| f g| p d ( f , g L p ())

Funciones medibles

Espacios L p

Funciones integrables

Caso p = 0 () < 0 ( f ) =

|f| d 1+|f|

( f L0 ())

-nita: =
n=1

n , (n ) < n N

0 ( f ) =

n=1

2n

|f| d 1+|f|

( f L0 ())

0 es una pseudonorma en L0 () L0 () = L0 ()/N() f


0

= 0 ( f )

( f L0 ())

d0 ( f , g) = f g L0 () espacio mtrico e

( f , g L0 ())

Funciones medibles

Espacios L p

Funciones integrables

Primeras propiedades de los espacios L p () (0


f L p () = | f | L p () f L0 (), | f | L p () = L p (, R) ret culo vectorial: f g {x : f (x) > g(x)} = 0 f , g L p () = f g = 1 ( f + g + | f g|), 2 f L p ()

Reduccin al caso real: L p (, C) = L p (, R) i L p (, R) o

(f

g c.p.d.)

f g, f g L p () f g = 1 ( f + g | f g|) 2 c.p.d.

[ f g](x) = m x{ f (x), g(x)}, [ f g](x) = mn{ f (x), g(x)} a f L p (, R) = f + , f L p ()

f + = f 0; f = ( f 0); f = f + f ; | f | = f + + f

Funciones medibles

Espacios L p

Funciones integrables

Convergencia en L p ()
0< p<: { fn } f en L p ()

| fn f | p d 0

{ fn } f en L () { fn } f uniformemente en \ E con (E) = 0 { fn } f en L0 ()


n

lm {x : | fn f |

} = 0 > 0

Implicaciones ( -nita)
{ fn } f en L p () = { fn } f en L0 () { fn } f c.p.d. = { fn } f en L0 () = { f(n) } f c.p.d. { fn } f en L0 ()

Teorema de Riesz-Fisher
L p () es un espacio de Banach (1 p ) p < 1) L p () es un espacio mtrico completo (0 e

Funciones medibles

Espacios L p

Funciones integrables

Integral Para f L1 (): f d =


(Re f )+ d

(Re f ) d + i

(Im f )+ d i

(Im f ) d

f d =
E

f E d

(E A )

Bastar con tener a


E

| f | d <

Propiedades
I : L1 () K, Lineal Continuo: |I( f )| =

I( f ) =

f d

( f L1 ())

f d

| f | d = f

Positivo: f L1 (, R), f 0 =

f d

Funciones medibles

Espacios L p

Funciones integrables

Teorema de la convergencia dominada


Sea { fn } una sucesin de funciones medibles de en K que converge o puntualmente a una funcin f . Supongamos que existe g L1 () tal que: o | fn (x)| Entonces, se verica que: | fn f | d 0

g(x) x , n N

En particular, f L1 () y fn d

f d

Si hubiramos supuesto que g L p (), con 0 < p < , hubiramos obtenido: e e | fn f | p d 0

y en particular f L p ().

Funciones medibles

Espacios L p

Funciones integrables

Corolario muy util


Funciones simples integrables: S() := Lin {E : E A , (E) < } L p () (0 p )

Para 0

p < , S() es denso en L p ()

p = ? Funciones simples: S() := Lin {E : E A } S() es denso en L ()

También podría gustarte