Teorema de convergencia montona.

Lema de Fatou o
Objetivos. Demostrar el Teorema de Convergencia Montona y el Lema de Fatou. o Requisitos. Funciones medibles, integral de Lebesgue de funciones positivas medibles.

Teorema de Convergencia Montona o

1. Denicin (sucesin creciente). Una sucesin (an )nN en R se llama creciente si o o o an an+1 para todo n N. 2. Denicin (sucesin estrictamente creciente). Una sucesin (an )nN en R se o o o llama estrictamente creciente si an < an+1 para todo n N. Para comprender mejor la demostracin del siguiente teorema necesitamos algunas obsero vaciones preparatorias. 3. Sea (an )nN una sucesin convergente de nmeros reales y sea lim an = b. Podemos o u n armar que existe un n N tal que an b? 4. Sean a, b [0, +] tales que a cb para todo c (0, 1). Demuestre que a b. 5. Teorema de Convergencia Montona (de Lebesgue). Sea (X, F, ) un espacio o de medida y sea (fn )nN M(X, F, [0, +]) una sucesin creciente. Denotemos por o g : X [0, +] a la funcin l o mite: g(x) := lim fn (x).
n

Entonces g M(X, F, [0, +]) y g d = lim

X n X

fn d.

Demostracin. La funcin g es F-medible porque es el l o o mite (y el supremo) de una sucesin de funciones medibles. La condicin fn fn+1 implica que X fn d X fn+1 d, o o para todo n N. As que la sucesin de integrales X fn d es creciente y por lo tanto o tiene un l mite. Lo denotemos por : := lim fn d.
X

Teorema de convergencia montona. Lema de Fatou, pgina 1 de 4 o a

Notemos que

g d fn d y por eso

g d . Falta demostrar que

g d .

Sea s SM(X, F, [0, +) una funcin simple tal que s g y sea c un nmero o u arbitrario del intervalo (0, 1). Por el lema elemental tenemos que x X n N fn (x) cs(x). (1)

En efecto, si s(x) = 0, entonces fn (x) 0 = cs(x), y si s(x) > 0, entonces cs(x) < s(x) g(x) = limn fn (x), y por lo tanto existe un n N tal que fn (x) cs(x). Denimos una sucesin de conjuntos (En )nN mediante la regla: o En := {x X : fn (x) cs(x)}. Entonces (En )nN es una sucesin creciente en F. De (1) sigue que o

En = X.
n=1

La funcin : F [0, +] denida mediante la regla o (E) =

E

s d,

es una medida, por eso

n En

lim

s d =
X

s d.

Ahora notemos que fn d

X En

fn d c
En

s d.

En esta desigualdad pasamos al l mite cuando n : c

X

s d.

Como c es un elemento arbitrario de (0, 1),

X

s d.

Esta desigualdad se cumple para toda funcin simple medible s tal que 0 s g. Pasando o al supremo sobre todas funciones s con estas propiedades obtenemos que
X

g d.

Teorema de convergencia montona. Lema de Fatou, pgina 2 de 4 o a

6. Notas sobre la demostracin. La demostracin parece bastante complicada. Para o o comprenderla mejor, uno debe comprender que las siguientes simplicaciones son falsas: 1. Uno quisiera demostrar que fn s para algn n N. Pero esta desigualdad no se u puede demostrar. Puede ser que para todo n N existe un punto x X tal que fn (x) < s(x). Ms an, puede ser que fn < s para todo n. Por eso hay que comparar a u fn (x) con cs(x). 2. Uno quisiera demostrar que fn cs para algn n N. Pero esta desigualdad no se u puede demostrar. Puede ser que para todo n N existe un punto x X tal que fn (x) < cs(x). Por eso hay que considerar los conjuntos En .

7. Integral de Lebesgue de una funcin medible positiva con el l o mite de integrales de funciones simples medibles positivas. Sabemos que para toda funcin o o f . Ahora f M(X, F, R+ ) existe una sucesin (sn )nN SM(X, F, R+ )N tal que sn del Teorema de Convergencia Montona sigue que o f d = lim
X

n X

sn d.

(2)

En particular, el l mite de la sucesin de integrales X sn d no depende de la eleccin de o o la sucesin (sn )nN . Notemos que algunos libros denen la integral de Lebesgue de una o funcin positiva medible mediante la frmula (2). En aqul camino es necesario demoso o e trar que la integral no depende de la eleccin de sucesin (sn )nN , pero se simplica la o o demostracin del Teorema de Convergencia Montona. o o

Teorema de convergencia montona. Lema de Fatou, pgina 3 de 4 o a

Lema de Fatou
8. Lema de Fatou. Sea (X, F, ) un espacio con medida y sea (fn )nN una sucesin en o M(X, F, [0, +]). Entonces lim inf fn d lim inf
n n X X

fn d.

Demostracin. Idea: usar la denicin del l o o mite inferior y el teorema de convergencia montona. o Sea h(x) = lim inf fn (x). Entonces por la denicin del lim inf o
n

h(x) = lim gk (x),

k

donde gk (x) = inf fn (x).

nk

Las funciones gk son F-medibles y la sucesin (gk )kN es creciente. Por el teorema de o convergencia montona, o
k X

lim

gk d =
X

h d.

Ahora notemos que fn gk para todo n k, por eso

nk X

inf

f d
X

gk d

y lim inf
n X

fn d = lim inf

k nk X

fn d lim

k X

gk d =
X

h d.

9. Ejemplo cuando la desigualdad en el lema de Fatou es estricta. Sea X = (0, 1] con la medida de Lebesgue. Consideremos las funciones fn : (0, 1] [0, +), Entonces fn g = 0, g d = 0,
X

fn (x) = n(0,1/n] .

pero fn d = 1
X

n {1, 2, . . .}.

Teorema de convergencia montona. Lema de Fatou, pgina 4 de 4 o a