Integral de Lebesgue

La integral de una funcin no negativa puede ser interpretada como el area bajo la curva.

En matemtica, la integracin de una funcin no negativa, en el caso ms simple, puede ser

mirada como el rea bajo la grfica de una curva y el eje x. La Integral de Lebesgue es
una construccin matemtica que extiende el concepto de integracin a una clase mucho
ms amplia de funciones, as como extiende los posibles dominios en las cuales estas
integrales pueden ser definidas. Hace mucho que se sabe que para funciones no negativas
con una curva suficientemente suave (como una funcin continua en intervalos cerrados) el
rea bajo la curva poda ser definida como la integral y calculada usando tcnicas de
aproximacin de la regin a travs de rectngulos o polgonos. De todas maneras, como se
necesitaba considerar funciones ms irregulares (por ejemplo, como resultado de los
limitados procesos del Clculo o de la Teora de Probabilidades), se hizo evidente que una
aproximacin ms cuidadosa era necesaria para definir una integral que se ajustara a dichos
problemas.

La integral de Lebesgue tiene un importante rol en el Anlisis Real, y en muchas otras

ramas de la Matemtica. Su nombre es en honor a su creador, Henri Lebesgue (1875-1941).

Introduccin
La integral de una funcin f entre los lmites de integracin a y b pueden ser interpretados
como el rea bajo la grfica de f. Esto es fcil de entender para funciones que nos son
familiares como los polinomios, la exponencial o logartmica, pero... qu quiere decir para
funciones un poco ms exticas o con comportamiento errtico? En general, cul es la clase
de funciones para las cuales el concepto de "rea bajo la curva" tiene sentido? La respuesta
a esta interrogante tiene importancia terica y prctica fundamental.

Como parte del gran avance de las matemticas en el siglo XIX, se hicieron varios intentos
de poner sobre bases slidas el clculo integral. La Integral de Riemann, propuesta por
Bernhard Riemann (1826-1866), sent la primera base slida sobre la cual se desarroll la
integral. La definicin de Riemann empieza con la construccin de una sucesin de
integrales fcilmente calculables (las sumas superior e inferior) las cuales convergen a la
integral de una funcin dada. Esta definicin es exitosa en el sentido que provee las
repuestas adecuadas y esperadas para muchos problemas ya resueltos, as como importantes
y tiles resultados para muchos otros problemas.
Sin embargo, la integracin de Riemann no interacta bien al tomar lmites de sucesiones
de funciones, dificultando su anlisis. Esto es de vital importancia, por ejemplo, en el
estudio de la Serie de Fourier, la Transformada de Fourier y otros temas. La integral de
Lebesgue est mejor dotada para describir cmo y cundo es posible tomar lmites bajo el
signo de la integral.

La definicin de Lebesgue tambin hace posible calcular integrales para una ms amplia
clase de funciones. Por ejemplo, la funcin de Dirichlet, la cual es 0 cuando su argumento
es irracional y 1 en otro caso (racional), tiene una integral de Lebesgue, pero no una de
Riemann.