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 . Entonces: |f (x) f (y )| f (I ) < Esta construcci on es validad para todo , por lo tanto tenemos que f es continua 1

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 y sea E = {x : 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 puede ser cubierto por una familia de intervalos abiertos E m i=1 U i cuya longitud total es menor que . Para cada i, sea Ii una cerradura de Ui . Para simplicar, reemplazando los pares que se intersectan , podemos asumir que ningun par de Ii se intersecta. Sea D = {I1 , ..., Im }. El conjunto K = [a, b] m i=1 U i es compacto y consiste de los pares donde f (x) < . Para cada x K , existe un intervalo cerrado J con x intJ y f ([J ]) < . Como k es compacto, existe una cantidad nita de tales intervalos que cumbre a K . Intersectandolos con K , podemos asumir que todos son subconjuntos de K . Luego, sea C = {J1 , ..., Jk }, una familia de intervalos cerrados 3

cuya uni on es K ,y tal que f ([Jj ]) < , para todo j . 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 m k

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

i=1 m k i=1 m

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

f (Jj )l(Jj )

i=1

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

l(Jj ) 2||f ||
i=1

l(Ii) + (b a) < 2||f || + (b a).

Por lo tanto, f es Riemann Integrable