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.