FACULTAD CS. F ISICAS Y MATEMATICAS MA3801 Teor a de la Medida.

Semestre 2009-02 Profesor: Jaime San Mart n Auxiliares: Andr es Fielbaum y Crist obal Guzm an

UNIVERSIDAD DE CHILE

Clase auxiliar 7 21 de Septiembre de 2009

1.

Convergencia en medida

En el teorema de convergencia de Vitali se ha introducido una nueva noci on: la convergencia en medida. Esta denici on puede resultar u til en casos de no tener convergencia ctp. En esta secci on estudiaremos c omo esta convergencia entrega resultados de convergencia de integrales similares a los vistos durante el cap tulo. Durante la secci on se considera un espacio de medida completo (X, F , ), con (X ) = 1.
DEFINICION 1.1. Sea (fn )n una sucesi on de funciones medibles. Se dice que fn converge en medida, denotado por fn , si > 0 l m {x : |fn (x) f (x)| } = 0.
n

An alogamente, se dice que fn es de Cauchy en medida si > 0 N0 N n, m N0 {x : |fn (x) fm (x)| } < .

Notar que para calcular la diferencia en la denici on, es necesario que ambas funciones sean nitas ctp. Por lo tanto lo natural es considerar el espacio L0 (X, F , ) de las funciones medibles a valores reales, cuocientado por la equivalencia de la igualdad -ctp. Este espacio puede ser dotado de la siguiente m etrica: d(f, g ) = |f g | d. 1 + |f g |

1.2. (L0 (X, F , ), d) es un espacio m PROPOSICION etrico completo, y su distancia metriza la convergencia en medida.

Demostraci on. Veamos que es m etrica: la simetr a y positividad son directas. Para la implicancia d(f, g ) = 0 f =g

es necesario observar que si la integral que dene d es 0, necesariamente el numerador |f (x) g (x)| es nulo c.t.p. (el denominador no puede ser innito); y dado que L0 est a denido por la equivalencia c.t.p., f y g son iguales. Falta ahora la desigualdad triangular: por la monoton a de t/(1 + t) |f g | |f h| + |h g | c.t.p. entonces |f g | 1 + |f g | |f h| + |h g | |f g | 1 + |f g | 1 + |f h| + |h g | c.t.p.,

|f h| |h g | + 1 + |f h| + |h g | 1 + |f h| + |h g | |f h| |h g | + , 1 + |f h| 1 + |h g | 1

lo que prueba la desigualdad triangular. En consecuencia d es m etrica. Probemos ahora que d metriza la convergencia en medida. Sea entonces (fn )n L0 : Si fn f , entonces acotamos la integral. Para esto se usar an 2 propiedades de la funci on t qu e est a acotada entre 0 y 1, y que es mon otona creciente. d(fn , f ) = |fn f | d 1 + |fn f | |fn f | + 1 + |fn f | 1 d +
{|fn f |>} {|fn f |} t 1+t :

=
{|fn f |>}

{|fn f |}

|fn f | 1 + |fn f |

1+

= {|fn f | > } +

. 1+
1+ d fn

Luego, si queremos que esta cantidad sea menor que > 0 arbitrario, basta escoger tal que y luego escoger n0 tal que para todo n n0 , {|fn f | > } 2 . Con esto se prueba que Si fn f , probaremos que converge en medida. Sea > 0, entonces {|fn f | > } =
{|fn f |>} d

< 2, f.

1 d 1+ |fn f | d, 1 + |fn f |

donde la desigualdad proviene de la monoton a de t/(1 + t) y luego se acota 1 por el cuociente |fn f | 1+ . Finalmente, dado > 0, si escogemos n0 tal que para todo n n0 , d(fn , f ) < 1+ 1+|fn f | se tiene que la medida es menor que , lo que prueba la convergencia en medida. Para nalizar, veamos que el espacio es completo: sea (fn )n de Cauchy para d, lo que claramente implica que es de Cauchy en medida (siguiendo la misma idea de la metrizabilidad). En consecuencia, es posible extraer una subsucesi on (fnk )k , tal que para todo k {|fnk fnk+1 | > Luego, sea el conjunto . A=
k

} < k+1 . 2k+1 2 2k+1 }

{|fnk fnk+1 | >

El cual por subaditividad tiene medida menor a . Sobre el complemento de A se tiene la convergencia de la serie |fnk fnk+1 |, lo cual indica que en dicho conjunto fnk converge puntualmente a una funci on medible f . Utilizando nuevamente la condici on de Cauchy, tenemos que dado > 0, existe N0 N, tal que para todo n, m N0 {x : |fn (x) fm (x)| } < . Esto implica que sobre el complemento, escogiendo m = nk y tomando l mite en k |fn (x) f (x)| < , y por ende {x : |fn (x) f (x)| } < . Como adem as es arbitrario, en particular f L0 . 2
k

La siguiente proposici on muestra c omo se relaciona la convergencia en medida con la convergencia ctp.
PROPOSICION 1.3. Sea (fn )n L0 (X, F , ). Entonces

a) Si fn converge -ctp a f , entonces fn converge en medida a f . b) Si fn converge en medida a f , entonces existe una subsucesi on nk tal que fnk f -ctp. Cabe se nalar que en la segunda parte de la proposici on no es posible convertir la subsucesi on en la sucesi on completa, lo cual se deja como ejercicio. Esto u ltimo permite probar que la convergencia -ctp no es metrizable en general. Demostraci on. Sea (fn )n L0 tal que fn f . Usaremos la m etrica d y el Teorema de Convergencia Dominada para concluir, en efecto: |fn f | 0. Esto implica tambi en
ctp ctp

|fn f | ctp 0. 1 + |fn f |

|fn f | 1 -ctp, y como es nita, 1 L1 . 1 + |fn f | En consecuencia |fn f | d 0. 1 + |fn f |

Probaremos ahora la rec proca v a subsucesi on. Si suponemos que fn converge en medida a f , usando la convergencia dada por la m etrica d, tendremos por la rec proca del TCD (teorema ??) que la sucesi on ctp ctp |fn f | gn = 1+|fn f | posee una subsucesi on nk tal que gnk 0, con lo cual necesariamente fnk f . Existe adem as una caracterizaci on de la convergencia ctp en funci on de la convergencia en medida, como veremos a continuaci on.
PROPOSICION 1.4. Sea (fn )n L0 . Entonces fn converge -ctp a f si y s olo si la sucesi on

gn = sup |fk f |
k n

converge en medida a 0. En particular, si (fn )n es mon onota la convergencia ctp y en medida de (fn )n son equivalentes. Demostraci on. Sea fn f . Entonces por el lema de Fatou l m sup P(gn > )
n ctp

l m sup 1{gn >} d.

n

Notamos tambi en que l m sup 1{gn >} = 1

n

(n) (k n) gn > .

Sin embargo, como gn es mon otona decreciente, basta con que para alg un n0 , gn0 sea menor a para que el l mite valga 0. Por otra parte, como fn converge ctp a f , es claro que lo anterior ocurre -ctp, con lo cual l m sup 1{gn >} d = 0.
n

Para la rec proca, si gn 0, existe una subsucesi on gnk 0. Luego, existe A de medida 1 tal que ( > 0) (nk ) (j k ) gnj (x) = sup |fm (x) f (x)| < x A,
mnj

ctp

lo que implica ( > 0) (n0 ) (m n0 ) |fm (x) f (x)| < x A, es decir, fn f . El objetivo ahora es generalizar el TCD para sucesiones que convergen en medida. Para esto comenzamos con un lema. LEMA 1.5. Sea (X, F , ) espacio de medida y f L1 (X, F , ). Entonces la integral es -continua, en el sentido siguiente
(A)0 ctp

l m

|f | d = 0
A

Notar que este resultado es el mismo que se enunci o en la tercera parte de la proposici on ??, para el caso de un singleton; por lo tanto ya est a demostrado. Una consecuencia del lema es el siguiente + son medibles, COROLARIO 1.6. Sea (X, F , ) espacio de medida: sean 0 fn g , donde fn , g : X R con fn 0. Entonces, si g es integrable, fn d 0 Demostraci on. Sea > 0 a determinar, para el cual se dene An = {x : fn (x) }; entonces por hip otesis (An ) 0. Tambi en denimos Fk = {x : 1/k g (x) k }, que satisface Fk Fk+1 , y por la desigualdad de Markov (ejercicio ??) 1 (Fk ) {g (x) } k g 1 < +. k . Notemos que adem as Fk F = {x : g (x) > 0}, lo que por el TCD implica g d 0.
F \Fk

Ahora, dado > 0, se escoge k0 tal que para todo k k0

F \Fk

g d < /3. Tambi en se escoge > 0 tal que

(Fk0 ) /3 . Ahora se acota la integral de la siguiente forma: fn d =

X An

fn d +
Ac n Fk0

fn d +
c Ac n Fk 0

fn d g d

An

g d + (Fk0 Ac n) + + 2 An g d + + . 3 3 An g d +

c F Ac n Fk

g d
F \Fk0

En el u ltimo t ermino de la primera desigualdad, hemos intersectado con F , pues sobre el complemento g es identicamente nula. 4

Para nalizar, como fn 0, escogemos n tal que An tenga medida peque na, para la cual el lema entregue g d < /3. Esta cota puede utilizarse en la desigualdad anterior, concluyendo que fn d < 3
X

= , 3

demostrando lo pedido. A continuaci on, presentamos una nueva versi on del TCD, la cual s olo requiere convergencia en medida. TEOREMA 1.7. Sea (X, F , ) espacio de medida, y fn , f : X R medibles, tales que fn f . Si existe g L1 (X, F , ), tal que |fn | g , entonces fn f en L1 (X, F , ).

Demostraci on. Sea nk una subsucesi on tal que fnk f ctp, por lo que tomando l mite |f | g . Observando que |fn f | 0 y |fn f | 2g L1 , se deduce del corolario anterior que |fn f | 0 en L1 ; es decir fn f en L1 .