You are on page 1of 22

Anlisis matemtico II

Unidad 4. Integral de Lebesgue

Universidad Abierta y a Distancia de Mxico

Licenciatura en Matemticas

6 Semestre

Anlisis Matemtico II

Unidad 4. Integral de Lebesgue

Clave:
05143527/06143527

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas


1

Anlisis matemtico II
Unidad 4. Integral de Lebesgue

ndice
Unidad 4. Integral de Lebesgue ............................................................................................... 3
Presentacin de la unidad ........................................................................................................ 3
Propsitos de la unidad ........................................................................................................... 3
Competencia especifica ........................................................................................................... 3
4.1. Antecedentes ..................................................................................................................... 3
4.1.1. Definicin de la integral de Lebesgue ........................................................................ 6
4.1.2. Propiedades ............................................................................................................... 10
4.1.3. Comparacin contra la integral de Riemann ........................................................... 12
Actividad 1. Integral de Lebesgue. ........................................................................................ 15
4.2. Integral de Lebesgue de una funcin acotada sobre un conjunto de medida finita ... 15
4.2.1. Lema de Fatou ........................................................................................................... 15
Actividad 2. Clculo de Integrales. ........................................................................................ 21
Evidencia de Aprendizaje. Aplicaciones de la integral de Lebesgue .................................. 21
Cierre de la unidad.................................................................................................................. 21
Para saber ms: ...................................................................................................................... 22
Referencias Bibliogrficas ..................................................................................................... 22

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas


2

Anlisis matemtico II
Unidad 4. Integral de Lebesgue
Unidad 4. Integral de Lebesgue

Presentacin de la unidad
Para desarrollar la teora de integrabilidad es indispensable definir la integral de Lebesgue para
funciones medible no negativas, as como establecer unas de sus propiedades fundamentales.
Adems de hacer la comparacin con la integral de Riemann. Observars que la coleccin de
funciones semicontinuas superiormente es un espacio de funciones y este conjunto son las
funciones Lebesgue integrables.

Propsitos de la unidad

Definirs la integral de Lebesgue


Comparars la integral de Lebesgue con los conceptos previos de medida y de integral
de Riemann
Establecers propiedades bsicas de la integral de Lebesgue

Competencia especifica

Aplicar el concepto de integral de Lebesgue para calcular integrales sobre dominios no


tradicionales mediante la identificacin de sus caractersticas

4.1. Antecedentes
Para poder explicarte las ideas que motivaron la teora de integracin ser necesario que
conozcas algunos conceptos, los cuales sern tomados en gran parte del libro Lebesgue theory

of integration. Its origins and development.


Se puede decir que Lebesgue creo la primera teora de la integracin. Hay varias definiciones,
teoremas y ejemplos que existan antes de su trabajo, pero carecan de la estructura y
sistematizacin de una verdadera teora, por ejemplo, la nocin de integracin introducida por
Bernhard Riemann en 1854 se deriva de las ideas presentadas por Cauchy (1760-1848); en
sta Riemann define la condicin de integrabilidad para una funcin () sobre un intervalo de
la siguiente manera:
La funcin () es integrable en [, ] si y slo si las sumas de Cauchy

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas


3

Anlisis matemtico II
Unidad 4. Integral de Lebesgue

= ( )( 1 ),
=1

donde = 0 < 1 < < = y [1 , ], se aproximan a un nico valor lmite cuando


el tamao de la particin del intervalo se aproxima a 0. Este nico valor es por definicin

() .
Histricamente esto represento una gran innovacin, ya que se involucraba el concepto de
funcin () como una asignacin diferente a la idea que se tena en esos das. A
continuacin se definen algunos conceptos que permiten dar un breve panorama histrico de la
integral de Lebesgue
Sea un conjunto acotado de nmeros reales. Sean 1 , 2 , . . , un conjunto finito de intervalos
que cubren . El contenido externo de , (), es el nfimo de nmeros reales de la forma
=1 ( ), donde cubre a , y ( ) es la longitud del intervalo . Anlogamente, el
contenido interno de , (), se define como el supremo de =1 ( ), donde = y
=1 . Se dice que un conjunto es Jordan-medible si () = ().
Estas nociones sugirieron dos nuevas caracterizaciones de la condicin de integrabilidad de
Riemann. La primera de ellas adopta una visin geomtrica, considerando la integral de una
funcin en trminos del rea delimitada por su grfica. Dada una funcin definida y acotada
en el intervalo [, ], sea el conjunto de puntos del plano delimitado por la grfica de , el eje
de abcisas y las rectas = y = . Entonces es Riemann-integrable si y slo si el
conjunto es Jordan-medible, y

|| = (),

= ( + ) ( ),

donde + y denotan el semiplano positivo y negativo, la segunda caracterizacin de la


condicin de integrabilidad de Riemann consiste en que las integrales superior e inferior de f
sean iguales, esto es,

= ,

siendo el supremo

y ,

el supremo y nfimo, de

= ( 1 ), y U = ( 1 ),
=1

=1

donde = 0 < 1 < < = denotan una particin de [, ], y y denotan, el infimo y


el supremo de () en [, ].
Las dos caracterizaciones expuestas anteriormente hacen ver que una generalizacin de los
conceptos de medida y medible permitira una extensin de los conceptos de integral e
Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas
4

Anlisis matemtico II
Unidad 4. Integral de Lebesgue
integrabilidad. En otras palabras, supon que denota la clase de conjuntos medibles que
contiene la clase de conjuntos Jordan-medibles, y que una medida, (), ha sido definida para
todos los elementos de de tal manera que () coincide con () cuando es Jordanmedible. Con estas dos caracterizaciones surgen conceptos ms amplios sobre medida, que
representan la generalizacin de la integral de Riemann; cuando denota la clase de
conjuntos Lebesgue-medibles, las definiciones resultan ser la de la integral de Lebesgue para
funciones acotadas. Fue a travs de estas consideraciones que Lebesgue obtiene su
generalizacin para la integral.
Con el nacimiento de medida atribuido a Emile Borel, el cual seguir las propiedades que una
medida deba tener, con lo que Borel da la definicin de premedida, nombre que ms adelante
asignara Lebesgue. Borel no prob la existencia y unicidad de dicha definicin, sin embargo,
gracias a las aportaciones de Lebesgue al trabajo de Borel, es que queda incluido en la integral
de Lebesgue. A los conjuntos que se refera Borel, Lebesgue los llam borelianos.
Dos de los problemas ms importantes que motivaron una nueva definicin de integral son las
series trigonomtricas y el teorema fundamental del clculo. El primero de estos problemas lo
presento Fourier en 1822: si una funcin se puede representar como una serie trigonomtrica.
Es decir cuando es cierto que:

( ()) = ()
=1

=1

Fourier asumi que la respuesta es siempre. Hacia finales del siglo se demostr que no se
poda integrar trmino a trmino ya que () =
=1 () no tiene por qu ser Riemann
integrable. Otro gran problema fue el teorema fundamental del clculo:

() = () ().

El trabajo de Ulisse Dini y Vito Volterra mostr que existen funciones con derivadas acotadas
pero no integrables. Ms adelante se encontraron nuevas funciones, como las montonas
integrables, tales funciones sirvieron como ejemplo para probar que el teorema a tales
funciones no es aplicable. El trabajo de Lebesgue en el teorema fundamental del clculo fue
muy importante en el descubrimiento de que una funcin continua con variacin acotada posee
una derivada finita salvo quizs en un conjunto de medida cero.
Hoy en da todava se siguen generando consecuencias de la teora de Lebesgue, y enumerar
las consecuencias sera muy difcil, tan solo se puede decir que los dos campos donde ha
tenido mayor repercusin, son el clculo y la probabilidad.

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas


5

Anlisis matemtico II
Unidad 4. Integral de Lebesgue
4.1.1. Definicin de la integral de Lebesgue
En el captulo 3.2 se describen conceptos y algunas aplicaciones para las funciones medibles,
sin embargo se retomaron los conceptos y teoremas ms relevantes para este captulo, ya que
son fundamentales y adems son de gran importancia para el desarrollo de esta unidad.
Definicin 1. [Espacio medible] Un espacio medible es una pareja (, ) en la que es un
conjunto no vaco y es una - lgebra de subconjuntos de .
Definicin 2. [Funcin medible] Sean (, ) y (, ) dos espacios medibles. Una funcin
: se llama funcin medible relativa a las -lgebras y si 1 ( ) , esto quiere
decir 1 ( ) , para todo . Si = y = (donde es el lgebra de Borel en ),
entonces diremos que es medible si 1 ( ) .
Proposicin 1. Sean (, ) y (, ) dos espacios medibles y : una funcin.
Supongamos que existe () tal que ( ) = .
Demostracin. Si : es una funcin y () una -lgebra, entonces:
{ : 1 () }
es una -lgebra de subconjuntos de . Ahora sea = { 1 () } es una -lgebra
que por hiptesis contiene a . As = ( ) , por lo tanto
1 ( ) 1 () .

Notacin. Si (, , ) es un espacio de medida, entonces se dice que una relacin se mantiene


casi en donde quiera (abreviado c.d.q.), cuando la relacin se mantiene en casi todas partes
con respecto a la medida exterior generada por . Las relaciones que se van a utilizar en
esta seccin se resumen a continuacin. Suponemos que (, , ) es un espacio de medida
dada y que y denotan funciones reales definida en .
a) = c.d.q. si { () ()} = 0.
b) c.d.q. si { () < ()} = 0.
c) c.d.q. si { () ()} = 0.
d) c.d.q. si +1 c.d.q. para toda y c.d.q.
e) c.d.q. si +1 c.d.q. para toda y c.d.q.
Para el especial en el que = y = se obtiene:
Corolario 1. Sean (, ) un espacio medible y : una funcin. Entonces las siguientes
afirmaciones son equivalentes:
a) es -medible.
b) 1 ((, )) = { : () > } pertenece a para todo .

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas


6

Anlisis matemtico II
Unidad 4. Integral de Lebesgue
c) 1 ((, )) = { : () < } pertenece a para todo .
d) 1 ((, )) = { : () < } pertenece a para todo .
e) 1 ([, )) = { : () } pertenece a para todo .
Demostracin.
a) ) (, ) .
b) c) 1 ((, ]) = 1 ((, )) pertenece a , para todo .
c) d) 1 ((, )) =
=1

((, ]) pertenece a , para todo .

d) e) 1 ([, )) = 1 ((, )) pertenece a , para todo .


e) a) Sea (), entonces existe una -lgebra () () tal que = {[, ): }.
Entonces () es una -lgebra, y adems se cumple que ( ) = .
Teorema 1. Si es una funcin medible y : satisface = c.d.q., entonces es una
funcin medible.
Demostracin.
Si = { : () = ()}, entonces por hiptesis () = 0 (recuerda que es la medida
exterior), por lo que es medible. Ahora, sea un subconjunto abierto de . Como es una
funcin medible, 1 ( ) es medible, y por lo tanto, 1 () = 1 () es un conjunto
medible. Adems, dado que 1 () tiene medida exterior cero, es medible. Por lo tanto,
1 () = [ 1 ()] [ 1 ()]
es un conjunto medible, por lo tanto es una funcin medible.

Se continuar con ms propiedades de las funciones medibles.


Teorema 2. Si y son funciones medibles, entonces los tres conjuntos
a) { : () > ()},
b) { : () ()} y
c) { : () = ()}
son todos medibles.
Demostracin.
a) Si 1 , 2 , es una enumeracin de los nmeros racionales de , entonces

{ : () > ()} = [{ : () > } { : () ()}],


=1

que es medible, ya que es una unin numerable de conjuntos medibles.


b) Se nota que { : () ()} = { : () > ()} , el cual es un conjunto medible por
el inciso anterior (a).

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas


7

Anlisis matemtico II
Unidad 4. Integral de Lebesgue
c) Se observa que
{ () = ()} = { : () ()} { : () ()},
los cuales son medibles por el inciso anterior (b).

Definicin 3. [Parte positiva y parte negativa] Sea una funcin : , se definen los
conjuntos
+ = max{(), 0} ,
= max{(), 0} y || = max{(), ()}
La funcin + es llamado la parte positiva, a se le llama la parte negativa, y a || el valor
absoluto de .
El siguiente teorema recordara algunas propiedades de funciones medibles, estudiadas
anteriormente, con el fin de observar que la combinacin de funciones medibles produce
funciones medibles.
Teorema 3. Para dos funciones medibles y las siguientes afirmaciones son validas
a) + es una funcin medible.
b) es una funcin medible.
c) ||, + y 1 son funciones medibles.

Recordar que dada { } una sucesin acotada de , el lmite superior de { } se define como
lim sup = inf [sup ],
n

y el lmite inferior de { } por


lim inf = sup [ inf ] .

Por lo tanto, lim sup () y lim inf () ambos existen en . Por consiguiente, lim sup y
lim inf , de la sucesin de funciones { } esta definido para cada como
(lim sup )() = lim sup () y (lim inf )() = lim inf ().
Teorema 4. Para una sucesin { } de funciones medibles, la siguiente afirmacin es vlida:
Si , entonces es una funcin medible.

Demostracin.
Sea = { lim () = ()}. Dado que c.d.q., se sigue que ( ) = 0. Entonces
es medible y por lo tanto, tambin lo es el conjunto . Ahora sea . Se observa la
siguiente igualdad:

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas


8

Anlisis matemtico II
Unidad 4. Integral de Lebesgue

1
((, )) = [ 1 (( + , ))]

=1 =

y como cada es medible se tiene que 1 ((, )) es un conjunto medible. Adems,


((, )) es un conjunto medible ya que es un subconjunto de un conjunto de medida cero. Por
lo tanto,
1 ((, )) = [ 1 ((, ))] [ 1 ((, ))]
es un conjunto medible. Esto se sigue directamente del teorema 1, por lo tanto es una funcin
medible.

Definicin 4. [Conjuntos de -medibles] Sea (, , ) es un espacio de medida fijo.


Denotamos por
(, ) y + (, )
al conjunto de funciones reales : que son -medibles y al subconjunto de ste consiste
de las funciones no-negativas, respectivamente. De manera anloga definimos
(, ) y
+ (, ),

para funciones extendidas que son -medibles.


Definicin 5. [-simple] Sea un espacio medible. Una funcin : se llama -simple si
toma solamente un nmero finito de valores y es -medible.
A continuacin se describe a estas funciones. Sea : una funcin -simple y 1 , ,
todos los valores (diferentes) tomados por ; si
= 1 ({ }) = { : () = },
entonces
( = 1, , ),
,
= ( ),

= 1
=1

y = .

3.1

=1

Inversamente, si es una combinacin lineal de funciones caractersticas de conjuntos ajenos


en , entonces es -medible. Concretamente si = =1 entonces para todo :
,
si para todo
= 1, ,
{ : () > } = {
en caso contrario,
{ : > } ,
por lo tanto es - medible. As, es -simple si y slo si es una combinacin lineal de funciones
caractersticas de conjuntos ajenos en . A la descripcin de como en 3.1 con los
diferentes y con los ajenos, la llamaremos cannica.

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas


9

Anlisis matemtico II
Unidad 4. Integral de Lebesgue
Definicin 6. [Integral de funciones simples no negativas] Sea : una funcin simple
y no negativa. Sea = = su descripcin cannica. Definimos la integral de con
respecto a la medida , denotada por como el nmero real, dado por:

= ( ).
=1

La definicin anterior tiene la desventaja de requerir la descripcin cannica de , sin embargo


ser posible eliminar esta restriccin en cuanto se establezcan las siguientes propiedades.
Definicin 7.[Funcin escalonada] Una funcin es llamada funcin escalonada si tiene
una representacin de la forma =
=1 , donde cada es un conjunto que tiene medida
finita, esto quiere decir que ( ) < .
Definicin 8.[Funcin superior] Una funcin : es llamada funcin superior si existe
una sucesin { } de funciones escalonadas tal que:
a) c.d.q. y,
b) lim < .
La coleccin de todas las funciones superiores se denota por .
Definicin 9.[Integral de Lebesgue ] Sea una funcin funcin semicontinua superiormente
tal que es convergente. Entonces la integral de Lebesgue (o simplemente integral) de
se define por
= lim

Una vez ms, se hace hincapi en el hecho de que el valor de la integral de Lebesgue de
funcin superior es independiente de la sucesin de funciones escalonadas.

4.1.2. Propiedades
Proposicin 2. Sean , + (, ) y 0 dodos, entonces:
a) = .
b) ( + ) = + .
Demostracin.
1) Si = 0, entonces = 0 , as que = 0, () = 0 = .
Si > 0 y =1 es la descripcin cannica de , entonces

,
=1

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas


10

Anlisis matemtico II
Unidad 4. Integral de Lebesgue
es la descripcin cannica de , as que:

= ( ) = ( ) = .
=1

=1

2) Se escribe a y en su forma cannica:

=1

=1

luego entonces + admite la siguiente representacin:

( + ) ,
=1 =1

la cual podra ser no ser la cannica. Sean 1 , , los distintos nmeros reales del conjunto
{ + : = 1, , ; = 1, , }
y
= { : 1 + = },

= 1, ,

Se observa que ( ) = () ( ), en donde la notacin significa que la suma se


extiende sobre las parejas (, ) tales que + = . En estos trminos, la descripcin
cannica de + esta dada por:

,
=1

por lo que

( + ) = ( ) = ( )
=1

=1 ()

= ( + )( ) = ( + )( )
=1 ()

=1 =1

= ( ) + ( )
=1

=1

=1

=1

( ) + ( ) = + .
=1

=1

Por induccin, es posible generalizar a proposicin 2 b) para cualquier numero finito.

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas


11

Anlisis matemtico II
Unidad 4. Integral de Lebesgue
Teorema 5. Si y son funciones superiores tales que c.d.q., entonces .
En particular si y satisface 0 c.d.q., entonces 0.
Demostracin.
Sea { } y { } sucesiones para y , respectivamente, entonces min{ , } c.d.q., y as ,
1

min{ , } es una sucesin que genera a . Entonces se tiene 2 ( +


| |) para cada . Por lo tanto,
1
= lim lim ( + | |) =

2
con lo que se obtiene la desigualdad.
Teorema 6. Sea : una funcin. Si existe una sucesin { } de funciones superiores tal
que < +1 , c.d.q. y el lim < , entonces es una funcin superior y =
lim .
Demostracin.
Para cada se elige una sucesin { } de funciones superiores, tal que c.d.q. Ahora
para cada sea, = max{ , , }, y hay que notar cada es una funcin escalonada tal
que c.d.q. Adems, observar que < para cada , y en consecuencia, lim
lim < . Ahora, dada cualquier se tiene para toda , se sigue que =
lim lim para todo .

lim = lim = .

4.1.3. Comparacin contra la integral de Riemann


Se revisa la relacin que existe entre la integral de Lebesgue y la integral de Riemann,
limitndonos al caso ms sencillo de la medida lineal de Lebesgue en la recta.
Teorema. Si existe la integral de Riemann

= () () ,

entonces es integrable segn Lebesgue y


() = .
[,]

Demostracin. Para cada se considera la particin del segmento [, ] en 2


intervalos mediante los puntos

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas


12

Anlisis matemtico II
Unidad 4. Integral de Lebesgue
= +

( )
2

Para el clculo de la integral de Riemann se toman:


= inf{(): [1 , ]}
= sup{(): [1 , ]}
La sumas inferior y superior de para esta particin del intervalo [, ] estn dadas
respectivamente por:
2

( , ) =
2
=1
2

( , ) =

,
2
=1

Como es Riemann integrable, se cumple que:


= lim ( , ) = lim ( , ).

Se eligen
() = ,
() = ,

[1 , ]
[1 , ]

En el punto = las funciones y pueden ser definidas arbitrariamente. Se deja como


practica el ejercicio de probar que las integrales de Riemann son:
() = (, ),
[,]

() = (, )
[,]

Como la sucesin { } es no creciente y la sucesin { } no decreciente, se tiene que en casi


todos los puntos
() () (),

() () ()

Esto ocurre por las propiedades de las sucesiones.


Por las propiedades de la integral de Lebesgue tenemos que:
() = lim () = lim (, ) = = lim (, ) = lim () = ()

[,]

[,]

[,]

[,]

De manera que:
|() ()| = [() ()] = 0
[,]

[,]

y por consiguiente en casi todos los puntos de [, ] se cumple que:


Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas
13

Anlisis matemtico II
Unidad 4. Integral de Lebesgue
() () = 0
es decir,
() = () = ()
y por lo tanto
() = .
[,]

Las siguientes observaciones se darn para mostrar algunas diferencias respecto a estos dos
tipos de integrales.
Existen funciones acotas que son integrables segn Lebesgue, pero no integrables segn
Riemann, como se ver en el siguiente ejemplo.
Ejemplo.
La funcin de Dirichlet dada por:
1,

() = {
0,

Es Lebesgue integrable, pero no integrable segn Riemann;
Las funciones no acotadas no son integrables segn Riemann, pero muchas de ellas son
integrables segn Lebesgue. En particular cualquier funcin () 0 para la cual la integral de
Riemann

()
+

existe para cada > 0 y tiene un lmite finito cuando 0, es integrable en [, ] segn
Lebesgue y

() = lim

0 +

[,]

() ,

Se puede ver las integrales impropias

() = lim

0 +

() ,

en el caso en que

lim

0 +

|()| = ,

no existen en el sentido de Lebesgue, ya que la integrabilidad de () implica la integrabilidad


de |()|. Por ejemplo, la integral

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas


14

Anlisis matemtico II
Unidad 4. Integral de Lebesgue
1

1
1
sen

existe como integral impropia de Riemann (convencionalmente convergente), pero no existe


como integral de Lebesgue.
Si una funcin se considera en toda la recta (o en una semirrecta), su integral de Riemann
puede existir solamente en el sentido impropio. Si esta integral converge absolutamente,
tambin existir en este caso la correspondiente integral de Lebesgue teniendo el mismo valor.
En cambio, si esta integral converge convencionalmente, la funcin no ser integrable en el
sentido de Lebesgue. Por ejemplo, la funcin
sen

no es integrable segn Lebesgue en toda la recta ya que

sen
|
| = .

Sin embargo, como se sabe, la integral impropia

sen
|

existe y es igual a .

Actividad 1. Integral de Lebesgue.


La finalidad de esta actividad es comparar la integral de Riemann, con la integral de
Lebesgue, e Identificar las diferencias y similitudes entre las dos definiciones. Para ello.

4.2. Integral de Lebesgue de una funcin acotada sobre un conjunto de


medida finita
El teorema de convergencia montona tiene la desventaja de ser aplicable slo bajo
condiciones muy restrictivas, sin embargo un color ario de ste, conocido como el Lema de P.
Fatou (1878-1929), puede ser usado con sucesiones de funciones no necesariamente
convergentes. Es interesante hacer notar que este resultado fue probado por Fatou en el
contexto de series trigonomtricas.

4.2.1. Lema de Fatou

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas


15

Anlisis matemtico II
Unidad 4. Integral de Lebesgue
Definicin 1. [Lebesgue integrable] Una funcin : es llamada Lebesgue integrable (o
simplemente integrable) si existen dos funciones superiores y tales que = . La
integral de Lebesgue se define por
= .
Cabe sealar que el valor de la integral es independiente de la representacin como una
diferencia de dos funciones superiores. De hecho, si = = 1 1 c.d.q. tal que las
funciones , , 1 y 1 son funciones superiores, entonces + 1 = + 1 c.d.q. y por las
propiedades de la integral se tiene = 1 1 .
Teorema 1. La coleccin de todas las funciones Lebesgue integrable es un espacio de
funciones.
Demostracin.
Sea y dos funciones integrables con representacin = c.d.q. y = 1 1 c.d.q.
Entonces se cumplen las siguientes igualdades
+ = ( + 1 ) ( + 1 ),
= si 0,
= [()] [()] si < 0,
y
+
+
= ( ) .
expresar las funciones anteriores como las diferencias de dos funciones superiores. Esto
demuestra que la coleccin de todas las funciones integrables es un espacio de funciones.

Teorema 2. Si y son dos funciones integrables, entonces


( + ) = +
para toda , .
Teorema 3. Sea : una funcin de medida que satisface () 0 c.d.q. para toda .
Entonces existe una sucesin { } de funciones simples tal que 0 () y () () para
toda .
Demostracin.
Para cada sea = { 2 ( 1) () < 2 } para cada = 1,2, , 2 , y

obsrvese que = si . Dado que es medible, todas las son conjuntos


medibles.

(
Ahora, para cada defnase = 2
1) , y nota que { } es una sucesin de
=1 2

funciones simples. Adems, se verifica que 0 () +1 () se cumple para todo y


toda . Ms an, si es fijo, entonces 0 () () 2 la igualdad vale para aquellas
sufientemente grandes. Por lo tanto, () () se cumple para todo , y prueba del teorema
sta terminado.
Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas
16

Anlisis matemtico II
Unidad 4. Integral de Lebesgue
da finalizado el teorema.
Teorema 4. Si una funcin integrable satisface 0 c.d.q., entonces es una funcin
superior.
Demostracin.
Sean y funciones superiores tales que = c.d.q. As como y son lmites de una
sucesin de funciones escalonadas c.d.q., existe una sucesin { } de funciones escalonadas
tal que c.d.q. Dado que 0 c.d.q., se sigue que + c.d.q.
Por el teorema 3, existe una sucesin { } de funciones simples que satisfacen que 0
c.d.q. Ahora, para cada sea = min{ , max{+ : = 1. . }}, entonces { } es una sucesin
de funciones escalonadas tales que 0 c.d.q. Basta mostrar que { } es acotado.
En efecto, de + + c.d.q. y de la monotona y la linealidad de la integral se sigue
que + , y adems < para toda . La prueba
del teorema est completa.
Si es una funcin integrable, entonces por el teorema pasado + y son ambas funciones
superiores, y tambin = + + es una descomposicin de como una diferencia de dos
funciones superiores positivas. En particular,
= + .
Usualmente esta frmula es usada por algunos autores para definir la integral de Lebesgue.
Teorema 5. Sea una funcin medible. Si existen dos funciones integrables y tal que
c.d.q., entonces es tambin una funcin integrable.
Demostracin.
Se escribe la desigualdad en la forma 0 c.d.q., se puede suponer sin prdida
de generalidad que 0 casi donde quiera.
Por el teorema 4, es una funcin superior. Entonces existe una sucesin { } de funciones
escalonadas tal que 0 c.d.q. Por el teorema 3 existe una sucesin { } de funciones
simples tales que 0 c.d.q. Pero entonces {min{ , }} es una sucesin de funciones
escalonadas tal que min{ , } c.d.q. y min{ , } lim = < para
toda . As , por lo tanto es una funcin integrable.
Teorema 6. [Levi] Supn que una sucesin de funciones integrables satisface +1 c.d.q.
para cada y lim < . Entonces existe una funcin tal que c.d.q. (i por lo tanto
es vlido).
Demostracin.
Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas
17

Anlisis matemtico II
Unidad 4. Integral de Lebesgue
Sustituyendo { } por { 1 } si es necesario. Se asume sin prdida de generalidad que 0
c.d.q para cada . Adems, se asume que 0 () < +1 para toda . Sea =
lim < . Para cada sea () = lim () {, }, se considera el conjunto
= { () = }.

Entonces, =
=1 [=1 { () > }], y entonces es un conjunto medible. As, se
()
observa que
= 0. Nota que cada funcin es una funcin superior. As, para cada
existe una sucesin { } de funciones escalonadas tal que 0 c.d.q.

Para cada sea = sup , y ntese que { } es una sucesin de funciones escalonadas tal
1

que c.d.q. y el lim = lim = . En particular, para cada la sucesin de


funciones escalonadas {min{ , }} satisface min{ , } c.d.q esto se sigue que
() < y () = < para cada . Entonces () = 0.
Partiendo de la definicin : por () = () si y () si . Entonces
c.d.q. y el resultado se sigue de teorema 6 de la seccin de propiedades.
Teorema 7. Sea { } una secuencia de funciones integrables no negativas tal que

=1 < . Entonces = define una funcin integrable y

( ) = .
=1

=1

Demostracin.
Para cada sea = =1 , y ntese que es una funcin tal que
=1 c.d.q. Ahora,

por el Teorema de Levi, =1 define una funcin integrable, y

= lim = ( ) ,
=1

=1

con lo que termina la prueba.


Teorema 8. [Lema de Fatou] Sea { } una sucesin de funciones integrables tal que 0
c.d.q. para cada y lim inf < . Entonces lim inf define una funcin integrable, y
lim inf lim inf .
Demostracin.
Sin prdida de generalidad, se puede suponer que 0 para toda y y toda . Dada una
, defnase = inf{ (): > } para cada . Entonces cada es una funcin medible, y
0 para toda . Entonces por el teorema 5 existe una funcin integrable tal que
c.d.q. Se deduce que = lim inf c.d.q., entonces el limite lim inf define una funcin
integrable. Ms an

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas


18

Anlisis matemtico II
Unidad 4. Integral de Lebesgue
lim inf = = lim lim inf ,

y la prueba termina.
Ahora ests en condiciones de afirmar y probar la convergencia dominada de Lebesgue uno
de los teoremas ms importantes de la teora de la integracin.
Teorema 9. [Convergencia dominada de Lebesgue] Sea { } sea una sucesin de funciones
integrables que satisfacen | | < c.d.q. para toda y alguna funcin fija e integrable . Si
c.d.q. entonces define una funcin integrable y
lim = lim = .

Demostracin. Nota que || c.d.q. y la integrabilidad de se sigue del teorema 5. Observa


que la sucesin { } satisface las hiptesis del Lema de Fatou y por otra parte, lim inf(
) = c.d.q. As,
= ( ) = lim inf( )
lim inf ( ) = lim sup ,
y por lo tanto,
lim sup .
Del mismo modo, el Lema de Fatou aplica a la sucesin { } produce
+ = ( + ) = lim inf( )
lim inf ( ) = + lim inf ,
y as
lim inf .
Entonces el lmite existe en , y el lim = es vlido.
El siguiente teorema caracteriza las funciones Lebesgue integrables en trminos de alguna
propiedad dada. Se emplea generalmente para demostrar que todas las funciones Lebesgue
integrables poseen una propiedad determinada.
Teorema 10. Sea (, , ) un espacio de medida y sea () una propiedad que puede o no tener
una funcin integrable. Asmase que:
a) Si y son funciones integrables con la propiedad (), entonces + y para toda
tienen la propiedad ().

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas


19

Anlisis matemtico II
Unidad 4. Integral de Lebesgue
b) Si es una funcin integrable de manera que para cada > 0 existe una funcin
integrable con la propiedad () satisface | | < , entonces tiene la
propiedad ().
c) Para cada tal que () < , la funcin caracterstica tiene la propiedad ().
Entonces, cada funcin integrable tiene la propiedad ().
Demostracin.
Supn primero que es una -lgebra tal que () < . As, existe una sucesin de conjuntos

disjuntos { } de tal que =


=1 . Hacer = =1 para cada y ntese que .
De =
=1 y de los incisos (c) y (a), puedes ver que tiene la propiedad () para
cada . Dada | | = () ( ) 0, se deduce a partir de (b) que tiene a la
propiedad ().
Despus, supn que es un conjunto medible de medida finita y sea > 0. Entonces Existe
una -lgebra de medida finita tal que y () < () + . Esto implica |
| = () () < . De lo anterior y de (), se infiere que satisface la propiedad ().
Ahora, de () observa que cada funcin escalonada satisface la propiedad (). Pero entonces,
se sigue de () que toda funcin superior satisface la propiedad (). Dado que cada funcin
integrable es la diferencia de dos funciones superiores, usando (), se infiere que en efecto
cada funcin integrable satisface la propiedad ().

Teorema 11. Cada funcin integrable es integrable sobre cada subconjunto medible de .
Adems,
+ =

para cada subconjunto medible de .


El resto de esta seccin trata de una observacin relativa a las integrales de Lebesgue infinitas.
Si = =1 es la representacin estndar de una funcin positiva simple, entonces la
suma =1 ( ) tiene sentido como un nmero real extendido no-negativo. Si =1 ( ) =
, entonces se acostumbra escribir = y se dice que la integral de Lebesgue de es
infinita.
Supn ahora que : + es una funcin donde existe una sucesin { } de funciones
positivas simples tal que c.d.q. Entonces lim existe como un nmero real
extendido, y puedes ver que lim es independiente de la sucesin { } elegida. En caso
de que lim = , escribimos = y se dice que la integral de Lebesgue de es
infinita, pero no puede decirse que es una funcin integrable. En este sentido cada funcin

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas


20

Anlisis matemtico II
Unidad 4. Integral de Lebesgue
positiva medible tiene una integral de Lebesgue (finita o infinita) simplemente porque, por el
teorema 3, existe una sucesin { } de funciones positivas simples tal que c.d.q.
Adems, si : define una funcin medible, entonces se puede escribir = + y por
lo anterior, ambas integrales + y existe como nmeros reales extendidos (nonegativos). Si una de estas integrales es un nmero real, entonces la integral de se define
como el nmero real extendido
= + .
De esta manera, es posible asignar una integral a una clase mucho ms grande de funciones
medibles de valores reales extendidos.
Una ventaja de la extensin por arriba de la integral es que una serie de teoremas puedes
expresarla sin asumir la integrabilidad de Lebesgue en las funciones. Por ejemplo, el lema de
Fatou puede ser escrito como sigue:

Si { } es una sucesin de funciones medibles tales que 0 c.d.q. para cada n, entonces:
lim inf lim inf

donde, por lo anterior, uno o ambos lados de la desigualdad puede ser infinito.

Actividad 2. Clculo de Integrales.


A travs de esta actividad, podrs resolver ejercicios de integrales de Lebesgue y la
aplicacin del Lema de Fatou. Para ello:

Evidencia de Aprendizaje. Aplicaciones de la integral de Lebesgue


Es momento de realizar tu evidencia de aprendizaje, donde tendrs que aplicar tus
conocimientos sobre aproximacin de funciones continuas.

Cierre de la unidad
La integral de Lebesgue es de alguna forma la generalizacin natural del concepto de integral
de funciones medibles en los conjuntos medibles. Una importancia fundamental es la que se
manifiesta en Lema de Fatou: que argumenta la monotona de la integral bajo sucesiones de
funciones medibles. El contenido de esta unidad es fundamental para el desarrollo de la Teora
de Integracin que es una de las ramas ms importantes de la matemtica con una aplicacin
directa en la estadstica y probabilidad. El dominio esta materia permitir al alumno la resolucin
Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas
21

Anlisis matemtico II
Unidad 4. Integral de Lebesgue
de problemas planteados en ecuaciones diferenciales ordinarias y parciales con un
entendimiento profundo de las propiedades y teoremas involucrados en la obtencin de tales
resultados.

Para saber ms:


Un resumen histrico de la Teora de la medida de 1887 a 1990:
http://www.lps.uci.edu/~johnsonk/CLASSES/FoundationsOfMeasurement/Diez.AnHistoricalIntro
ductionToMeasurementTheoryPartOne.pdf
El blog de Terence Tao, uno de los matemticos ms notables de nuestra poca, entre otras
secciones presenta: libros, resmenes de artculos, apps, etc. sobre Matemticas en general
en particular en Teora de la Medida
http://terrytao.wordpress.com/

Referencias Bibliogrficas
Charalambos A.D. (1998). Principles of Real Analysis. USA. Academic Press.
De Barra, G. (2000). Measure Theory and Integration. India. New Age International.
Folland, G. (1999). Real Analysis: Modern Techniques and their Applications. USA. Wiley.
Galaz, F. (2002). Medida e Integral de Lebesgue en .Mxico. University Press.
Grabisnky, G. (2011). Teora de la Medida. Mxico. Facultad de Ciencias UNAM.
Halmos, P. (1991). Measure Theory. USA. Springer Verlag.
Hawkins T. Lebesgue theory of integration. Its origins and development, 1970, Chelsea
Publishing Company.
Royden, H; Fitzpatrick, P. (2010). Real Analysis. USA. Pearson.
Snchez, C. C. (2004). De los Bernoulli a los Bourbaki. Espaa. Nivola.
Schram, M. (1996). Introduction to Real Analysis. USA. Prentice Hall.

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas


22