2-3-2015

Anlisis Matemtico II
Unidad 4
Laura Pontn Becerril

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. Discute e intercambia opiniones con tus compaeros(as)
sobre los siguientes puntos:
1. Revisa las definiciones de ambas integrales y responde:
Qu relacin se puede establecer entre las funciones Riemann integrables y las funciones Lebesgue
integrables?
La idea principal de la integral de Lebesgue consiste en que, a diferencia de lo que ocurre en la integral de
Riemann, los puntos se agrupen de acuerdo a la proximidad de los valores de la funcin a integrar y no de
acuerdo a su proximidad en el conjunto de denicin de la funcin, como haca Riemann. Esto permite la
posibilidad de extender, de forma inmediata, el concepto de integral a una clase muy amplia de funciones

2. Realiza un anlisis sobre el impacto que tienen los refinamientos sobre las particiones en el dominio en
cada Integral la de Riemann y la de Lebesgue. Incluye la condicin de medibilidad en el caso de la
Integral de Lebesgue.

Definiendo, primero, a la particin de un intervalo [a, b] es un conjunto finito de puntos de [a, b] que incluye a
los extremos.
Una particin como la indicada divide al intervalo [a, b] en n subintervalos [xi-1, xi] con longitud xi xi-1.
La clase de las funciones integrables en el sentido de Lebesgue tiene propiedades inmejorables para los propsitos
del anlisis matemtico en tanto que lmites de sucesiones y series convergentes de funciones de este tipo resultan
ser tambin funciones integrables.
Para la integral de Riemann, consideremos una particin P=(x0, x1,, xn) del intervalo cerrado [a, b]. Sea
tambin f una funcin continua en dicho intervalo. De esta manera si construimos las sumas inferior y superior
L(f, P) y S(f, P) podemos darnos cuenta de lo siguiente:
a) La suma inferior aumenta a medida que se toman refinamientos de P, pues si consideramos
rectngulos que aproximan el rea bajo la curva de f con L(f, P), cada rectngulo se divide en otros de

altura igual o superior, y el rea siempre aumenta. Esto es L(f, P) L(f, P) para cualquier
refinamiento P de P.
b) La suma superior disminuye a medida que se toman refinamientos de P, pues si consideramos
rectngulos que aproximan el rea bajo la curva de f con S(f, P), cada rectngulo se divide en otros de
altura igual o inferior, y el rea siempre disminuye. Esto es S(f, P) S(f, P) para cualquier
refinamiento P de P.
De forma grfica tenemos para a) en color naranja el rea que aumenta:

Tambin para el inciso b) en color naranja el rea que disminuye:

Por otro lado, para la integral de Lebesgue vale la misma conclusin respecto a los refinamientos. Para esto,
procedemos ahora de una manera ms bien intuitiva partiendo de que, en la integral de Riemann la particin se
hace sobre el dominio [a, b] cuya representacin grfica de dicha integral es:

Unidad 4

En cambio, la integral de Lebesgue particiona el rango de la funcin de manera que si queremos calcular una
integral como rea bajo la curva, se tendra la situacin:

En este ltimo caso tambin podemos considerar las sumas L(f, P) y S(f, P) o sumas por defecto y por exceso
respectivamente donde lo nico que vara es la forma de calcular el rea de los rectngulos, pues estos al ser
horizontales, tendrn la misma altura ak pero la longitud de las bases viene dada por ((Sk)) donde es una
funcin que asigna dicha longitud a la base de cada rectngulo horizontal. En estos trminos, mientras se toma
un refinamiento de la particin, la suma por exceso disminuye y la suma por defecto aumenta de manera
anloga al caso de la integral de Riemann; aqu lo nico que vara, es que se trata de una funcin ms general
pero medible para poder calcular ((Sk)) y esto quiere decir que la funcin debe ser tal que si:

Y sean los espacios de media (X, S) y (Y, S), la funcin es medible si:

( )
Esto es, para un E S:

()

3. Establece y analiza las condiciones de integrabilidad en cada caso para funciones acotadas e
integrabilidad de sucesiones de funciones montonamente crecientes.
Una funcin acotada es tal que |f(x)| < de esta manera podemos establecer:
Integral superior = I*( f ) = inf { S(f, P) : P es particin de [a, b] }
Integral inferior = I*( f ) = sup { I(f, P) : P es particin de [a, b] }
Luego una funcin acotada es integrable en sentido Riemann si para toda particin P existe una > 0 tal que:

, (, ) <
Por otro lado, las condiciones para que una funcin acotada sea integrable en sentido Lebesgue vienen dadas por el
teorema de Lebesgue:
TEOREMA: sea A Rn acotado y f: AR una funcin acotada. Extindase f a todo Rn poniendo f(x) = 0 para x
X\A. Entonces f es integrable si y solo si los puntos en los cuales la extensin f es discontinua forman un conjunto
de medida cero.
Una demostracin de dicho teorema est aqu http://www.mat.ucm.es/~dazagrar/docencia/cap3.pdf
Ahora la integrabilidad de sucesiones de funciones montonas crecientes obedecen al siguiente teorema:
TEOREMA: toda funcin montona en [a, b] es integrable en [a, b].
Podemos ver la demostracin en:
http://caminos.udc.es/info/asignaturas/grado_tecic/102/CII/pdf/DocsApoyo/Tema1_IN/93CondSuficIntegr
abilid.pdf
Para el caso de la integral de Lebesgue podemos citar el teorema de Levi de la pgina 18 del material desarrollado.

Unidad 4

En cualquiera de estos casos, si {fn} es una sucesin de funciones montona y creciente, y tiene como lmite f, si
cada fn es integrable lo es tambin la funcin limite f.