Documente Academic
Documente Profesional
Documente Cultură
Índice
Introducción
Historia
Construcción de la integral de Lebesgue
Teoría de la medida
Integración de Lebesgue
Interpretación intuitiva
Ejemplo: la función de Dirichlet
Introducción
Hacía mucho que se sabía que para funciones no negativas con una curva suficientemente suave (como una función continua en
intervalos cerrados) el área bajo la curva podía definirse como la integral y calcularse usando técnicas de aproximación de la
región mediante rectángulos o polígonos. Pero como se necesitaba considerar funciones más irregulares, se hizo evidente que
una aproximación más cuidadosa era necesaria para definir una integral que se ajustara a dichos problemas.
La integral de una función f entre los límites de integración a y b puede interpretarse como el área bajo la gráfica de f. Esto es
fácil de entender para funciones que nos son familiares como los polinomios, la exponencial o logarítmica, pero... ¿qué quiere
decir para funciones un poco más exóticas o con comportamiento errático? En general, ¿cuál es la clase de funciones para las
cuales el concepto de "área bajo la curva" tiene sentido? La respuesta a esta interrogante tiene importancia teórica y práctica
fundamental.
Como parte del gran avance de las matemáticas en el siglo XIX, se hicieron varios intentos de poner sobre bases sólidas el
cálculo integral. La integral de Riemann, propuesta por Bernhard Riemann (1826-1866), sentó la primera base sólida sobre la
cual se desarrolló la integral. La definición de Riemann empieza con la construcción de una sucesión de áreas rectangulares
fácilmente calculables que convergen a la integral de una función dada. Esta definición es buena 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 integración de Riemann no funciona bien al tomar límites de sucesiones de funciones, dificultando su análisis.
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 permite saber cómo y cuándo es posible tomar límites bajo el signo de la integral.
La definición de Lebesgue también hace posible calcular integrales para una clase más amplia de funciones. Por ejemplo, la
función de Dirichlet, que es 0 cuando su argumento es irracional y 1 en otro caso (racional), tiene integral de Lebesgue, pero no
de Riemann.
Historia
Teoría de la medida
La teoría de la medida se creó para disponer de un análisis detallado de la noción de longitud de los subconjuntos de puntos de
la recta real y, de forma más general, área y volumen de subconjuntos de espacios euclideos. En particular, esta teoría nos
brinda una respuesta sistemática a la pregunta: ¿a qué subconjuntos de R se les puede asociar una longitud? Como se
comprobó al desarrollar la teoría de conjuntos, es imposible asociar una longitud a cualquier subconjunto de R de tal manera
que se cumplan las propiedades de invariancia por traslación y de aditividad con respecto a la unión conjuntos. Estos conjuntos
se llaman no medibles.
Naturalmente, la integral de Riemann usa implícitamente el concepto de longitud. Un elemento básico de este tipo de integral
son los rectángulos de base [a, b] y altura [c, d] cuya longitud es (b - a) y cuya área es (b-a)·(d-c).
En el desarrollo de la teoría los libros más modernos (posteriores a 1950) se usa el método axiomático para definir la medida, es
decir, que una medida es una función μ definida sobre ciertos subconjuntos de un conjunto E que satisface una lista de
propiedades.
Integración de Lebesgue
Consideremos μ una medida no negativa sobre σ-álgebra X de subconjuntos de E. Por ejemplo, E puede ser un espacio euclídeo
n dimensional Rn o algún 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 teoría de la probabilidad μ puede ser una función de probabilidad sobre un espacio de
probabilidad E.
En la teoría de Lebesgue, el cálculo de integrales se restringe a un tipo de funciones llamadas funciones medibles. Una función
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 más importante es el hecho de que esta
clase también es cerrada al tomar límites de sucesiones de funciones:
es medible si las funciones que forman los términos de la sucesión {fk}, k N, son también medibles.
Vamos a construir la integral de Lebesgue : para funciones reales medibles f construidas sobre E en varias etapas
Función característica o indicadora: Dado un subconjunto S medible contenido en E, la función característica 1S toma
valor 1 para los elementos pertenecientes a S y 0 para el resto.
Función simple: Una función simple es de la forma , donde ak son números reales y la suma es finita.
A partir del caso anterior más sencillo se puede asumir que el resultado de integrar una función simple sea:
A pesar de que una función simple se pueda expresar como distintas sumas, el resultado de la integral no varía.
Funciones con signo: Una función con signo definida sobre E se puede escribir como suma de dos funciones no negativas:
donde
Interpretación intuitiva
Folland2 resumió los dos distintos modos de aproximarse al concepto de integral de la siguiente forma: "para calcular la
integral de Riemann se particiona (divide) el dominio [a, b] en subintervalos", mientras que en la integral de Lebesgue "se
particiona el rango de f".
Imaginemos que queremos calcular el área de una curva (ver figura). Tenemos dos métodos distintos para encontrar una
aproximación a esta área:
no es integrable en el sentido de Riemann sobre : no importa cuán fina sea una partición del intervalo ,
cualquier subintervalo contendrá al menos un número racional y otro número irracional, ya que ambos conjuntos son
densos en los reales. Por tanto, cualquier suma superior será 1, así como el ínfimo de todas las sumas superiores (suma
superior de Riemann-Darboux) y cualquier suma inferior será 0, igual que el supremo de todas las sumas inferiores (suma
inferior de Riemann-Darboux). Si el supremo y el ínfimo son distintos la integral de Riemann no existe.
sí es integrable en el sentido de Lebesgue sobre : dado que es la función indicadora de los números
racionales, por definición
ya que es numerable.
Si entonces
Linealidad ( u operador lineal): Si f y g son funciones integrables Lebesgue y a y b son números reales fijos, entonces
Notas
1. Lebesgue, Henri (1904). "Leçons sur l'intégration et la recherche des fonctions primitives". Paris: Gauthier-Villars.
2. Gerald B. Folland, Real Analysis: Modern Techniques and Their Applications, 1984, p. 56.
Referencias
Dudley, R. M., 1989. Real Analysis and Probability. Wadsworth & Brookes/Cole. Very thorough treatment, particularly for
probabilists with good notes and historical references.
Folland, G. B., 1999. Real Analysis: Modern Techniques and Their Applications. John Wiley & Sons.
Paul Halmos, Measure Theory, D. van Nostrand Company, Inc. 1950. A classic, though somewhat dated presentation.
Loomis, L. H., 1953. An Introduction to Abstract Harmonic Analysis. Van Nostrand Company, Inc. Includes a presentation
of the Daniell integral.
Henri Lebesgue, 1972. Oeuvres Scientifiques. L'Enseignement Mathématique.
Munroe, M. E., 1953. Introduction to Measure and Integration, Addison Wesley. Good treatment of the theory of outer
measures.
Royden, H. L., 1988. Real Analysis, 3rd. ed. Prentice Hall.
Walter Rudin, 1976. Principles of Mathematical Analysis, 3rd. ed. McGraw-Hill. Known as Little Rudin, contains the basics
of the Lebesgue theory, but does not treat material such as Fubini's theorem.
------, 1966. Real and Complex Analysis. McGraw-Hill. Known as Big Rudin. A complete and careful presentation of the
theory. Good presentation of the Riesz extension theorems. However, there is a minor flaw (in the first edition) in the proof
of one of the extension theorems, the discovery of which constitutes exercise 21 of Chapter 2.
Shilov, G. E., and Gurevich, B. L., 1978. Integral, Measure, and Derivative: A Unified Approach, Richard A. Silverman,
trans. Dover Publications. ISBN 0-486-63519-8. Emphasizes the Daniell integral.
Guillermo Grabinsky S., 2009. Teoría de la medida. Servicios editoriales de la facultad de ciencias, UNAM.
Spiegel, Murray R., Ph. D. " Variables reales Medida e integración de Lebesgue" Libros Mc Graw -Hill Cali Colombia (
1976)
Obtenido de «https://es.wikipedia.org/w/index.php?title=Integral_de_Lebesgue&oldid=102474305»
Esta página se editó por última vez el 10 oct 2017 a las 08:32.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse cláusulas
adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.