Escolar Documentos
Profissional Documentos
Cultura Documentos
Licenciatura en Matemticas
6 Semestre
Anlisis Matemtico II
Clave:
05143527/06143527
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
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
Competencia especifica
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
Anlisis matemtico II
Unidad 4. Integral de Lebesgue
= ( )( 1 ),
=1
() .
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
|| = (),
= ( + ) ( ),
= ,
siendo el supremo
y ,
el supremo y nfimo, de
= ( 1 ), y U = ( 1 ),
=1
=1
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.
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 () .
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
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
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:
Anlisis matemtico II
Unidad 4. Integral de Lebesgue
1
((, )) = [ 1 (( + , ))]
=1 =
= 1
=1
y = .
3.1
=1
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
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
Anlisis matemtico II
Unidad 4. Integral de Lebesgue
es la descripcin cannica de , as que:
= ( ) = ( ) = .
=1
=1
=1
=1
( + ) ,
=1 =1
la cual podra ser no ser la cannica. Sean 1 , , los distintos nmeros reales del conjunto
{ + : = 1, , ; = 1, , }
y
= { : 1 + = },
= 1, ,
,
=1
por lo que
( + ) = ( ) = ( )
=1
=1 ()
= ( + )( ) = ( + )( )
=1 ()
=1 =1
= ( ) + ( )
=1
=1
=1
=1
( ) + ( ) = + .
=1
=1
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
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 = .
= () () ,
Anlisis matemtico II
Unidad 4. Integral de Lebesgue
= +
( )
2
( , ) =
2
=1
2
( , ) =
,
2
=1
Se eligen
() = ,
() = ,
[1 , ]
[1 , ]
() = (, )
[,]
() () ()
[,]
[,]
[,]
[,]
De manera que:
|() ()| = [() ()] = 0
[,]
[,]
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 +
[,]
() ,
() = lim
0 +
() ,
en el caso en que
lim
0 +
|()| = ,
Anlisis matemtico II
Unidad 4. Integral de Lebesgue
1
1
1
sen
sen
|
| = .
sen
|
existe y es igual a .
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.
(
Ahora, para cada defnase = 2
1) , y nota que { } es una sucesin de
=1 2
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
( ) = .
=1
=1
Demostracin.
Para cada sea = =1 , y ntese que es una funcin tal que
=1 c.d.q. Ahora,
= lim = ( ) ,
=1
=1
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 = .
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
Teorema 11. Cada funcin integrable es integrable sobre cada subconjunto medible de .
Adems,
+ =
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.
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.
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.