Teorema de Convergencia Monotona. Lema de Fatou

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.
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
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 Monotona. Lema de Fatou

Cargado por

Copyright:

Formatos disponibles

Teorema de Convergencia Monotona. Lema de Fatou

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Teorema de Convergencia Monotona. Lema de Fatou

Cargado por

Copyright:

Formatos disponibles

Teorema de convergencia montona.

Teorema de Convergencia Montona o

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

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

g d . Falta demostrar que

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

es una medida, por eso

Ahora notemos que fn d

En esta desigualdad pasamos al l mite cuando n : c

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

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

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

h(x) = lim gk (x),

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

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

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

También podría gustarte