Está en la página 1de 8

Cap tulo 22

El Teorema de la Convergencia Dominada


Los dos teoremas de convergencia b asicos en la integraci on Lebesgue son el teorema de la convergencia mon otona (Lema 19.10), que vimos el cap tulo y el de la convergencia dominada, que veremos ahora. En ambos se establecen condiciones sobre una sucesi on de funciones medibles para que se puedan permutar los s mbolos y l m , es decir para que (22.1) l m
E

fk =
E

l m fk .

El de la convergencia mon otona es para funciones no negativas y el de la convergencia dominada para funciones integrables. Es f acil encontrar ejemplos de sucesiones de funciones integrables sobre un conjunto E que converjan puntualmente (e incluso uniformemente) a una funci on, pero que las sucesiones de integrales sean no convergentes o no converjan a la integral del l mite: Ejemplos 22.1 (1) Consideremos la sucesi on {fp } denidas en en [0, 1] por fp (x) = p sen(px) 0 si 0 x /p si x /p.
1 0 fp

Es f acil ver que la sucesi on converge puntualmente a 0 en [0, 1] y que cos(px)


/p 0

= 2, p. Luego

1 l mp 0 fp

1 m fp ). 0 (l

229

230

El Teorema de la Convergencia Dominada (2) Sea ahora fp (x) = p2 sen(p2 x) si 0 x 1/p 0 si x 1/p.

22.1

De nuevo esta sucesi on converge puntualmente a 0 en [0, 1], pero ahora la 1/p 1 sucesi on de integrales no converge, pues 0 fp = cos(p2 x) 0 = 1 cos p. (3) La sucesi on {fp } de funciones denidas en R por fp (x) = 1/p si |x| p 0 si |x| p,

converge uniformemente a 0 en R y para cada p, fp = 2. Luego tampoco ahora la integral del l mite y el l mite de las integrales coincide mientras que la integral Como es bien conocido, en integraci on Riemann, la convergencia uniforme de una sucesi on de funciones integrables sobre un intervalo compacto es una condici on suciente para la convergencia de la sucesi on de integrales hacia la integral del l mite de la sucesi on. Esto tambi en es cierto para funciones integrables Lebesgue, de hecho lo que pone de maniesto el tercero de los ejemplos anteriores es que el resultado puede no ser cierto cuando se trabaja en intervalos no compactos: Antes de establecer los resultados de este tema, veremos otra buena propiedad de las funciones medibles: Lema 22.2 Si {fp } es una sucesi on de funciones medibles que converge en cada punto del conjunto medible E a la funci on f , entonces f es medible sobre E . Demostraci on. Basta tener en cuenta si {f( x)} f (x) para cada x E , entonces {x E : f (x) > } = r k pk {x E : fp (x) > + 1/r}.

Proposici on 22.3 Sea E un conjunto medible y de medida nita, y sea {fp } una sucesi on de funciones en L 1 (E ), que converge uniformemente sobre E a una funci on f , entonces f L 1 (E ) y E f = l mp E fp .

22.4

El Teorema de la Convergencia Dominada

231

Demostraci on. De la hip otesis se deduce que, dado > 0, existe un ndice tal que si p entonces |fp (x) f (x)| , para todo x E . Luego 1. |f (x)| |fp (x) f (x)| + |fp (x)| + |fp (x)| en E ( + |fp |) = m(E ) + E |fp | < . Luego f L 1 (E ). E 2. Si p , | l mp E fp .
E E

|f | f =

fp

f|

|fp f | m(E ). Es decir

Convergencia dominada
Teorema 22.4 Sea {fp } una sucesi on de funciones medibles sobre E que converge puntualmente a la funci on f y supongamos que existe una funci on F integrable sobre E tal que |fp | F para todo p, entonces (a) f es integrable sobre E . (b)
E

f = l m
E

fp .

Demostraci on. De la condici on |fp | F y la convergencia puntual de la sucesi on {fp } hacia la funci on f , se deduce trivialmente que |f | F en E , lo que implica (por ser F integrable sobre E ) que cada funci on fp y f son funciones de L 1 (E ). Consideremos la sucesi on gp (x) = sup |fk (x) f (x)|.
k p

Es f acil ver que {gp } es una sucesi on decreciente de funciones medibles sobre E que converge puntualmente 0 en E . Adem as estas funciones son integrables sobre E , ya que 0 gp 2F . Aplicando entonces el teorema de la convergencia mon otona a la sucesi on 0 g1 g2 g1 g3 . . . g1 , se tiene que
E gp

0. Finalmente, teniendo en cuenta que fp


E E E

f
E E

|fp f |
E

gp ,

se deduce que l mp

fp =

f.

232

El Teorema de la Convergencia Dominada

22.5

Corolario 22.5 Sea {fp } una sucesi on de funciones medibles sobre un conjunto medible E de medida nita, que converge puntualmente a la funci on f . Supongamos que existe una constante M tal que |fp (x)| M , para cada x E , entonces,
p E

l m

fp =
E

f.

Demostraci on. La condici on signica que |fp XE | M XE . Puesto que la funci on F = M XE es integrable ( M XE = M m(B ) < ), basta aplicar el teorema de la convergencia dominada a la sucesi on {fp XE }.

Conjuntos de medida nula en la integraci on


Vamos a comenzar esta secci on volviendo a una terminolog a, ya usada alguna vez, y que es habitual en la integraci on Lebesgue: Denici on 22.6 Se dice que una propiedad o denici on P es v alida en casi todo punto (de un conjunto E ), o casi siempre (en E ), si el conjunto N de los puntos (de E ) donde P no es v alida es de medida nula. Emplearemos las notaci on c.s. para referirnos abreviadamente a la expresi on casi siempre. De este modo, f = g en E , signica que si N = {x E : f (x) = g (x)}, entonces m(N ) = 0. Una funci on es continua en casi todo punto de E , si el subconjunto de E donde la funci on no es continua es de medida nula. Una sucesi on {fk } de funciones converge c.s en E hacia la funci on f , abreviac.s. damente fk f en E , si converge puntualmente en E a f , salvo en un conjunto de medida nula (que puede ser el vac o), es decir si m({x E : fk (x) f (x)}) = 0. El porqu e del uso del t ermino c.s. hay que buscarlo en el papel que, como consecuencia de la siguiente propiedad, juegan los conjuntos de medida cero en la integraci on: Proposici on 22.7 (a) Si N es un conjunto de medida nula, entonces toda funci on f es medible sobre N y se tiene que N f = 0. (b) Si f es una funci on medible y no negativa sobre E y E f = 0 entonces c.s. f = 0 en E .
c.s

22.8

El Teorema de la Convergencia Dominada

233

Demostraci on. El apartado (a), que lo prob abamos para funciones no negativas, se extiende en la forma habitual a funciones reales. (b) Sea Ep = {x E : f (x) 1/p}. Es obvio, pues, que f XEp 1/pXEp y que el conjunto N de los puntos de E donde f no se anula es justamente p Ep . Entonces, 0=
Ep

1/pXEp = 1/pm(Ep ). m(Ep ) = 0.

Se deduce entonces que m(Ep ) = 0 para todo p y m(N ) Debido a esto,:

Proposici on 22.8 (a) Si f es una funci on medible sobre E y N es de medida nula, entonces E f = E \N f. (b) Si f es una funci on medible sobre E y g = f en E , entonces g es medible sobre E y Demostraci on. (a) E f = E f + E f = ( + N f ) = E \N f E \N f = E \N f .
E \N c.s. E

f=
N

g.
E \N

f+ +

f +) (

f +

Supongamos f medible y N = {x E : f (x) = g (x)} de medida nula. Entonces {x E : g (x) > } = {x E : g (x) > } N {x E : f (x) > } N c , de lo que resulta trivialmente que {x : g (x) > } es medible. La igualdad de las dos integrales se obtiene de (a): f=
E E \N

f=
E \N

g=
E

g.

Este resultado indica que, para calcular la integral de una funci on medible f , no importa cu ales sean los valores que tome f sobre un conjunto de medida nula, N . La integral de esta funci on va a depender exclusivamente de los valores que tome en N c , en otras palabras s olo es preciso que f est e denida en casi todo punto. Debido a esto, en los teoremas relativos a funciones medibles y a la integral de Lebesgue, es normal que las hip otesis deban ser vericadas s olo en casi todos los puntos. De este modo muchos de los resultados que hemos obtenido pueden enunciarse debilitando las hip otesis en este sentido. As , por ejemplo: 1. Si f, g son funciones integrables sobre E y f g en E , entonces E f E g.
c.s.

234

El Teorema de la Convergencia Dominada

22.8

2. Si {fp } es una sucesi on de funciones medibles que converge en casi todo punto del conjunto medible E a la funci on f , entonces f es medible sobre E . 3. (T. de la Convergencia Dominada) Sea {fp } una sucesi on de funciones medibles sobre E que converge c.s. en E a la funci on f y supongamos que existe una funci on F integrable sobre E tal que |fp | F para todo p, entonces f es integrable sobre E y E f = l m E fp . Conviene recordar que tambi en hay resultados que no son ciertos con las hip otesis c.s., por ejemplo: La hip otesis f continua c.s. en el compacto K , NO implica f integrable sobre K .
c.s.

Ejercicios
22A Sea f una funci on integrable y Bp = {x : |f (x)| p}. (a) Probar que l mp p m(Bp ) = 0. (b) Probar que

p m(Bp+1 \ Bp )) < +.
p=0

(c) Probar que la condici on sobre f en el apartado (a) no implica f integrable. La condici on en el apartado (b) implica que f es integrable si {x : f (x) = 0} es de medida nita. 22B Encontrar sucesiones mon otonas {fk } que no satisfagan las hip otesis de ninguno de los teoremas de convergencia mon otona y tales que fk = , k. l m fk = l m fk l m fk = l m fk 22C Estudiar y calcular, cuando sea posible, los siguientes l mites
k

l m

l m

k , kx2 + x x , x3 + k cos2 x

l m

l m

k (x + k )2 + kx2 sen2 kx x2 + k 2 sen2 x 0

22K

El Teorema de la Convergencia Dominada

235

22D Probar que si Bk y B son conjuntos medibles tales que m(Bk B ) 0, entonces l m f= f
k Bk B

para toda f integrable. 22E Demostrar que si f es una funci on integrable entonces
m

l m

em sen
0

f (x) = 0.

22F Consideremos la sucesi on de funciones fp (x, y ) = px2 1 cos . px y px y

(a) Probar que se trata de una sucesi on de funciones medibles que converge c.s. hacia qu e funci on? (b) Se puede aplicar el teorema de la convergencia dominada en B = {(x, y ) : 0 < y < x < 1}. 22G Probar que si f es una funci on medible sobre el intervalo [a, b] y para cada c.s. x x [a, b] se tiene que a f = 0, entonces f = 0. n. Observar que I f = 0 para cada semintervalo contenido en [a, b] y indicacio utilizar la continuidad absoluta de la integral. 22H Sea f L 1 (R) derivable en 0 y tal que f (0) = 0. Probar que la funci on g (x) = f (x)/x es integrable en R. 22I Sea fk una sucesi on mon otona de funciones reales e integrables que converge puntualmente a una funci on f . Es cierto entonces que l mk |f fk | = 0? 22J Sea fk una sucesi on de funciones medibles que converge puntualmente a una funci on f . Probar que si existe M > 0 tal que |fk | M entonces |f | M . 22K Sea fk una sucesi on de funciones medibles no negativasque converge puntualmente a una funci on integrable f y sea para cada k , Bk = {x : f (x) fk (x)}. (a) Probar que
k

l m

(f fk ) = 0.
Bk

(b) Probar que |f fk | = (f fk ) + 2


Bk

(f fk ).

236

El Teorema de la Convergencia Dominada

22K

(c) Deducir de los apartados anteriores que si, adem as de las hip otesis iniciales sobre {fk } y f , se tiene que l m fk = f , entonces l m |f fk | = 0. Puede suprimirse la hip otesis fk 0 para cada k ? y la hip otesis f integrable? 22L Una funci on f : Rn R se dice Borel-medible si para cada R el conjunto {x : f (x) > } es un Borel. (b) Probar que el l mite de una sucesi on de funciones Borel-medibles es una funci on Borel-medible. (c) Probar que si f es una funci on medible existe una funci on g Borel-medible c.s. tal que f = g .(Ver Ejercicio 19A(b)). 22M Probar que una funci on f es medible si y s olo si existe una sucesi on de funciones escalonadas que converge c.s hacia f . 22N Probar que dos funciones continuas que son iguales c.s. son iguales en todo punto. Sea f una funci 22N on con dominio en Rn . Se dice que un abierto es un abierto de anulaci on de la funci on f si f es igual a 0 en casi todo punto de . Probar que si f es la uni on de todos los abiertos de anulaci on de f entonces f = 0 c.s. en f . 22O Sea f una funci on medible. (a) Probar que si f es continua y no negativa, entonces f =0 f = 0. f = 0 entonces f = 0.
c.s.

(b) Probar que si para todo conjunto medible B ,

22P Probar que si una funci on g : A Rn [0, ] es integrable sobre E A, entonces g es nita c.s. en E i.e., el conjunto N = {x E : g (x) = } tiene medida nula.