Lebesgue, Henri Len: Beauvias, 1875 Paris, 1941; Henri Len Lebesgue fue matemtico francs, profesor en las

universidades de Rinnes, Nancy, y miembro de la academia de ciencias. Estudi series geomtricas y la teora de funciones de variables reales y dio una nueva definicin de la integral definida a partir de las sucesiones, escribi lecciones sobre integral y la obtencin de funciones primitivas.

Introduccin a la integral de Lebesgue Una de las caractersticas ms molestas de la teora de los espacios funcionales es que surgen problemas con la integral de Riemann, problemas que no permiten llegar a ciertos teoremas indispensables. Queremos aclarar que no hay nada equivocado con la integral de Riemann, de hecho en fsica siempre nos manejamos con funciones que son integrables segn Riemann y usamos el mtodo de Riemann para calcular integrales concretas. Los problemas surgen cuando tratamos de hacer interactuar a la integral de Riemann con otras operaciones, especialmente con operaciones de lmite (por ejemplo, el lmite de una sucesin de funciones integrables puede no ser integrable). Necesitamos entonces renovar la manera en que pensamos acerca de la integral. De estas notas nadie emerger con la habilidad de poder calcular ms integrales, sino, esperamos, con un mayor entendimiento del significado del signo integral. Los problemas de la integral de Riemann pueden solucionarse mediante la generalizacin conocida como integral de Lebesgue. Este nuevo concepto de integral permite integrar clases generales de funciones, permite integrar en espacios ms abstractos que R (o Rn), y ms importante an, se comporta mucho ms civilizadamente en combinacin con otras operaciones.

Hay un ejemplo muy simple de una funcin que es integrable segn Lebesgue pero no lo es segn Riemann, esta es la funcin de Dirichlet: Una forma simple de ilustrar la diferencia entre la integral de Lebesgue y la de Riemann es la siguiente analoga. Supongamos que tenemos una bolsa llena de monedas y que queremos saber.

f(x) = 1 si x es racional 0 si x es irracional

Cunto dinero tenemos en la bolsa. Podemos contar las monedas de dos formas distintas:

(a) Sacamos las monedas una a una y vamos sumando sus valores; (b) Agrupamos las monedas de la bolsa de acuerdo a sus valores, formando un grupo de monedas de 5 centavos, otro de 10 centavos, etc. Contamos cuntas monedas tenemos en cada grupo, multiplicamos por sus valores y sumamos. La segunda forma de contar (que corresponde a la integral de Lebesgue) es mucho ms eficiente que la primera (correspondiente a la integral de Riemann), pero, por supuesto, ambas formas de contar nos darn el mismo valor total. Ntese que para describir (b) tuvimos que usar un lenguaje un poco ms elaborado que el usado para describir (a). Como veremos ms adelante, la definicin de la integral de Lebesgue tambin implica de hecho un poco ms de conceptualizacin que la definicin de la integral de Riemann. El mtodo a utilizar para introducir la integral de Lebesgue se asienta en el concepto de medida. Una medida no es ms que una funcin que a ciertos subconjuntos A les asocia un nmero no negativo (A), llamado su medida o volumen, que da una idea de su tamao. Si consideramos una funcin f : [a; b] R que toma un numero finito de valores, la definicin de la integral de

Riemann corresponde esencialmente a dividir el intervalo [a; b] en subintervalos, multiplicar el valor que la funcin toma en cada subintervalo por su longitud y sumar: Por otro lado, para la integral de Lebesgue, determinamos primero cul es la preimagen Ek C [a; b] de cada valor Yk que la funcin asume, multiplicamos la medida de la preimagen por el valor de la funcin y sumamos. Est claro que estos dos mtodos deben darnos el mismo valor de la integral. En pocas palabras, podemos decir que la diferencia entre ambas integrales es que para la integral de Riemann conciernen los valores que toma la funcin que est siendo integrada, mientras que en la integral de Lebesgue importa mas el tamao de subconjuntos en el dominio del integrando.

Teora de la medida Inicialmente la teora de la medida fue creada para disponer de un anlisis detallado de la nocin de longitud de los subconjuntos de puntos de la recta real, de forma ms general, rea y volumen de subconjuntos de espacios euclideos. En especial, esta teora nos brinda una respuesta sistemtica a la pregunta: a cuales subconjuntos de R se les puede asociar una longitud?. Como se comprob al desarrollar la teora de conjuntos, realmente es imposible asociar una longitud a cualquier subconjunto de R de tal manera que se cumplan algunas propiedades de invariancia por traslacin y aditividad de conjuntos (conjuntos no medibles). Naturalmente, la integral de Riemann usa implcitamente el concepto de longitud. Un elemento bsico de este tipo de integral son los rectngulos de base [a, b] x [c, d] cuya longitud es (b - a) y su area es (b-a)(d-c). En el desarrollo de la teora los libros ms modernos (posteriores a 1950) usan el mtodo axiomtico para definir la medida, es decir, que una medida es una funcin definida sobre ciertos subconjuntos de un conjunto E que satisface una lista de propiedades.

Integracin de Lebesgue Consideremos una medida no negativa sobre -algebra X de subconjuntos de E. Por ejemplo, E puede ser un espacio eucldeo n dimensional Rn o algn subconjunto medible de l, X puede ser el lgebra de todos los subconjuntos medibles de E, y puede ser la medida de Lebesgue. En la teora de la probabilidad puede ser una funcin de probabilidad sobre un espacio de probabilidad E. En la teora de Lebesgue, el clculo de integrales se restringe a un tipo de funciones llamadas funciones medibles. Una funcin es medible si la preimagen de cualquier intervalo cerrado pertenece a X, es decir, es un conjunto medible:

El conjunto de funciones medibles es cerrado bajo operaciones algebraicas, aunque ms importante es el hecho de que esta clase tambin es cerrada al tomar lmites de sucesiones de funciones:

es medible si las funciones que forman los trminos de la sucesin {fk}, k N, son tambin medibles. Vamos a construir la integral de Lebesgue:

para funciones reales medibles f construidas sobre E en varias etapas calculando las integrales de funciones sencillas: Funcin caracterstica o indicadora: Dado un subconjunto S medible contenido en E, la funcin caracterstica 1S toma valor 1 para los elementos pertenecientes a S y 0 para el resto.

La integral de esta funcin ha de ser la medida del conjunto S.

Funcin simple: Una funcin simple es de la forma

donde ak son nmeros reales y la suma es finita. A partir del caso anterior ms sencillo se puede asumir que el resultado de integrar una funcin simple sea:

A pesar de que una funcin simple se pueda expresar como distintas sumas, el resultado de la integral no vara. Funcin no negativa: Sea f una funcin no negativa medible sobre E. Se define

Funciones con signo: Una funcin con signo definida sobre E se puede escribir como suma de dos funciones no negativas:

donde

Si ambas integrales verifican

entonces se puede definir la integral de Lebesgue de f (x) de la siguiente manera

Propiedades bsicas de la integral de Lebesgue

Si dos funciones f y g son iguales en todas partes de su dominio salvo en un conjunto de medida nula y si f es integrable Lebesgue, entonces g es integrable Lebesgue y la integral de Lebesgue de ambas funciones ser idntica.

Si

Entonces

Linealidad: Si f y g son funciones integrables Lebesgue y k un nmero real, entonces

Monotona: Si f y g son funciones integrables Lebesgue y f < g, entonces

CONCLUSIONES

La integral de Riemann se define en un intervalo compacto, y analiza la continuidad de una funcin, llegando a particionar en un Pk la curva en pequeos refinamientos). rectngulos (haciendo un conjunto de

La integral de Lebesgue se define sobre un intervalo acotado, no acotado, abierto o semiabierto y analiza la discontinuidad de una funcin dentro del mismo intervalo en conjuntos ms pequeos (que son llamados espacios medibles) es decir Pk +1 .