Criterio de Integraci on de Lebesgue. Nombres: Sergio Alejandro Angulo - Carlos Antonio Pinz on Denici on.

Sea f una funci on denida en un subconjunto S R. La oscilaci on de f en S se dene como: f (S ) = sup{|f (x) f (y )| : x, y S }. Nota: Si T S , tenemos que f (T ) f (S ) Sea Nr (C ) = {x : |x c| < r} Denici on. Sea f una funci on acotada en S y c S , la oscilaci on de f en c es denida por: f (c) = inf {f (S Nt (c) : r > 0} . Lema 1. Si f es una funci on acotada. Entonces f es continua en x si y solo si f (x) = 0 Demostraci on: () Suponga que f is continua en x. Entonces, para todo > 0 existe > 0 tal que, si |x y | < entonces,|f (x) f (y )| < Denimos el intervalo: I := (x , x + ) Entonces : f (I ) = sup{|f (x) f (y )| : x, y I } < Implica que: inf {f (I ) : x I } = f < f (I ) < Esto se cumple para todo , por lo tanto f (x) debe ser 0. () Supongamos que f (x) = 0. Sea < 0. Supongamos que para todo I tal que x I se cumple que f (I ) . Entonces por denici on, f (x) = . De esta contradicci on deducimos que, existe I tal que x I y f (I ) < . Para este en particular I = (a, b), sea R tal que: = m n {x a, b x}, < 0 porque a < x < b ya que I es abierto. Entonces para este x en particular, si |x y | < entonces x, y I . 1

Entonces: |f (x) f (y )| f (I ) < Esta construcci on es validad para todo , por lo tanto tenemos que f es continua en x. Lema 2. Si B tiene medida cero y A B , entonces A es de medida cero. Esto es claro, ya que una familia de intervalos que cubre a B, tambi en cubre a A. Lema 3. Si Ak tiene medida 0, para todo k N, entonces kN Ak tambi en tiene medida 0. Demostraci on: Sea > 0. Para cada k , sea Hk una familia contable de intervalos cuya longitud m axima es menor que 2k . Entonces, kN Hk es aun una familia contable de intervalos, y su longitud total es menor que kN 2k = .

Teorema. (Criterio de integraci on de Lebesgue) Sea f : [a, b] R acotada. Entonces, f es Riemann-integrable si y s olo si el conjunto de las discontinuidades de f es de medida cero. Dem// () Sea D el conjunto de las discontinuidades de f . Entonces, por el lema 2, D = x : f (x) > 0. Para cada > 0, sea N () = x [a, b] : f (x) . Entonces, D =
kZ+

1 k

. Luego por el lema 1, s olo hace falta probar que

N () es de medida 0 para todo > 0. Sean , > 0. Como f es Riemann-integrable, existe una partici on P de [a, b] de la forma P = {x0 , x1 , ..., xn } con a = x0 < x1 < < xn1 < xn = b}, tal que
m i=1

f ([xi1 , xi ])(xi xi1 ) < . 2

Sea F = {i {1, ..., n} : (xi1 , xi ) N () = }. Entonces para cada i F , f ([xi1 , xi ]) . Por lo tanto,
i F

x i
i F

f ([xi1 , xi ])Xi < /2

entonces la suma de las longitudes de los intervalos (xi1 , xi ) es menor que /2. Estos cubren N () excepto a los elementos {x0 , x1 , ..., xn }. Pero estos pueden ser cubiertos por intervalos cuya longitud es menor que /2, de modo que N () puede ser cubierto con intervalos de longitud menor a , como es requerido. () Sea f acotada, tal que el conjunto de sus discontinuidades D es de medida 0. Sea > 0, sea = 2||f ||(ba) , y sea E = {x [a, b] : f (x) }. Como E D, E es de medida 0. Luego, E puede ser cubierto por una familia contable de intervalos abiertos cuya longitud total es menor que . Como E es cerrado y acotado, es compacto, entonces, en particular, puede ser cubierto por una familia nita de estos intervalos {A1 , A2 , ..., AN } cuya longitud total es menor que .
Para cada i, sea Ii la adherencia de Ui . Los interiores de Ii son disjuntos dos a dos, pero los extremos no necesariamente. Por ello, y para simplicar, construiremos un conjunto de intervalos cerrados D = {I1 , I2 , ..., IN } basado en {I1 , I2 , ..., IN } tal que ningun par de Ii se intersecta. Esto se hace uniendo los intervalos que compartan extremos. Cabe decir que N N .

El conjunto K = [a, b] m i=1 U i es compacto y consiste de puntos x [a, b] tales que f (x) < . Para cada x K , existe un intervalo cerrado J con x intJ y f ([J ]) < . Como k es compacto, existe una colecci on nita de tales intervalos {J1 , J2 , ..., JM } que cubre a K . Haciendo Ji = Ji K para cada i, tenemos f ([Ji ]) < , para todo i. Luego, sea C = {J1 , ..., Jk }, una familia de intervalos cerrados cuya uni on es K ,y tal que . Podemos asumir que los intervalos Jk no se traslapan. La familia D C = {[x0 , x1 ], [x1 , x2 ], ..., [xn1 , xn ]} sirve para forma una partici on de [a, b] y
n

U (f, P ) L(f, P ) =
i=1 m

f ([xi1 , xi ])(xi xi1 )

k

=
i=1 m

f (Ii )l(Ii) +
j =1 k

f (Jj )l(Jj )

i=1

2||f ||l(Ii) +
j =1 m

l(Jj )

2||f || <2||f || = . Por lo tanto, f es Riemann Integrable

i=1

l(Ii) + +

(b a)

(b a)

Bibliogr aa CHEN,S Roger. Lebesgues Criterion for Riemann integrability[En Linea]. Advanced Calculus. Tainan , Taiwan. Mayo de 2011 [ref. de 9 septiembre 2013]. Disponible en World Wide Web: http://www.math.ncku.edu.tw/ rchen/Advanced LABUTE, John. The Riemann Integral: Lebesgues Integrability Criterion [En Linea]. Burnside Hall. Marzo de 2003 [ref. de 9 septiembre 2013]. MATH 255: Lecture 10. Disponible en World Wide Web: http://www.math.mcgill.ca/labute/courses/255w03/L10.pdf