En matemáticas , la integral de una función no negativa de una sola variable puede considerarse, en el caso más simple, como el área entre la gráfica de esa función y el eje X. La integral de Lebesgue , que lleva el nombre del matemático francés Henri Lebesgue , extiende la integral a una clase más amplia de funciones. También amplía los dominios en los que se pueden definir estas funciones.
Mucho antes del siglo XX, los matemáticos ya entendían que para funciones no negativas con una gráfica suficientemente suave (como funciones continuas en intervalos acotados cerrados ) el área bajo la curva podía definirse como la integral y calcularse utilizando técnicas de aproximación en la región. por polígonos . Sin embargo, a medida que surgió la necesidad de considerar funciones más irregulares (por ejemplo, como resultado de los procesos limitantes del análisis matemático y la teoría matemática de la probabilidad ), quedó claro que se necesitaban técnicas de aproximación más cuidadosas para definir una integral adecuada. Además, es posible que deseemos integrar espacios más generales que la línea real. La integral de Lebesgue proporciona las abstracciones necesarias para ello.
La integral de Lebesgue juega un papel importante en la teoría de la probabilidad , el análisis real y muchos otros campos de las matemáticas. Lleva el nombre de Henri Lebesgue (1875-1941), quien introdujo la integral (Lebesgue 1904). También es una parte fundamental de la teoría axiomática de la probabilidad .
El término integración de Lebesgue puede significar ya sea la teoría general de integración de una función con respecto a una medida general , como la introdujo Lebesgue, o el caso específico de integración de una función definida en un subdominio de la línea real con respecto a la Medida de Lebesgue .
La integral de una función real positiva f entre los límites a y b se puede interpretar como el área bajo la gráfica de f , entre a y b . Esta noción de área se ajusta a algunas funciones, principalmente funciones continuas por tramos , incluidas funciones elementales , por ejemplo polinomios . Sin embargo, las gráficas de otras funciones, por ejemplo la función de Dirichlet , no encajan bien con la noción de área. Gráficos como el de este último plantean la pregunta: ¿para qué clase de funciones tiene sentido el "área bajo la curva"? La respuesta a esta pregunta tiene una gran importancia teórica.
Como parte de un movimiento general hacia el rigor en las matemáticas en el siglo XIX, los matemáticos intentaron poner el cálculo integral sobre una base firme. La integral de Riemann , propuesta por Bernhard Riemann (1826-1866), es un intento ampliamente exitoso de proporcionar esa base. La definición de Riemann comienza con la construcción de una secuencia de áreas fácilmente calculadas que convergen a la integral de una función dada. Esta definición es exitosa en el sentido de que da la respuesta esperada para muchos problemas ya resueltos y da resultados útiles para muchos otros problemas.
Sin embargo, la integración de Riemann no interactúa bien con la toma de límites de secuencias de funciones, lo que dificulta el análisis de dichos procesos limitantes. Esto es importante, por ejemplo, en el estudio de series de Fourier , transformadas de Fourier y otros temas. La integral de Lebesgue describe mejor cómo y cuándo es posible tomar límites bajo el signo integral (a través del teorema de convergencia monótona y el teorema de convergencia dominada ).
Mientras que la integral de Riemann considera que el área bajo una curva está formada por rectángulos verticales, la definición de Lebesgue considera losas horizontales que no son necesariamente solo rectángulos y, por lo tanto, es más flexible. Por este motivo, la definición de Lebesgue permite calcular integrales para una clase más amplia de funciones. Por ejemplo, la función de Dirichlet, que es 1 cuando su argumento es racional y 0 en caso contrario, tiene una integral de Lebesgue, pero no tiene una integral de Riemann. Además, la integral de Lebesgue de esta función es cero, lo que concuerda con la intuición de que al elegir un número real uniformemente al azar del intervalo unitario, la probabilidad de elegir un número racional debería ser cero.
Lebesgue resumió su enfoque de la integración en una carta a Paul Montel :
Tengo que pagar una determinada suma que he recogido en mi bolsillo. Saco los billetes y monedas de mi bolsillo y se los entrego al acreedor en el orden en que los encuentro hasta alcanzar la suma total. Esta es la integral de Riemann. Pero puedo proceder de otra manera. Después de haber sacado todo el dinero de mi bolsillo, ordeno los billetes y monedas según el mismo valor y luego pago los distintos fajos, uno tras otro, al acreedor. Esta es mi integral.
— Fuente : (Siegmund-Schultze 2008)
La idea es que uno debería poder reorganizar los valores de una función libremente, preservando al mismo tiempo el valor de la integral. Este proceso de reordenamiento puede convertir una función muy patológica en una que sea "agradable" desde el punto de vista de la integración, y así permitir que dichas funciones patológicas se integren.
Folland (1999) resume la diferencia entre los enfoques de Riemann y Lebesgue así: "para calcular la integral de Riemann de f , se divide el dominio [ a , b ] en subintervalos", mientras que en la integral de Lebesgue, "de hecho, se está dividiendo el rango de f ."
Para la integral de Riemann, el dominio se divide en intervalos y se construyen barras para alcanzar la altura del gráfico. Las áreas de estas barras se suman, y esto se aproxima a la integral, en efecto sumando áreas de la forma f ( x ) dx donde f ( x ) es la altura de un rectángulo y dx es su ancho.
Para la integral de Lebesgue, el rango se divide en intervalos, por lo que la región bajo el gráfico se divide en "losas" horizontales (que no pueden ser conjuntos conectados). El área de una pequeña "losa" horizontal bajo la gráfica de f , de altura dy , es igual a la medida del ancho de la losa multiplicada por dy :
Una forma equivalente de introducir la integral de Lebesgue es utilizar las llamadas funciones simples, que generalizan las funciones escalonadas de la integración de Riemann. Considere, por ejemplo, determinar el recuento acumulado de casos de COVID-19 a partir de un gráfico de casos suavizados cada día (derecha).
La teoría de la medida se creó inicialmente para proporcionar una abstracción útil de la noción de longitud de subconjuntos de la línea real y, de manera más general, del área y volumen de subconjuntos de espacios euclidianos. En particular, proporcionó una respuesta sistemática a la pregunta de qué subconjuntos de R tienen una longitud. Como lo demostraron desarrollos posteriores de la teoría de conjuntos (ver conjunto no medible ), en realidad es imposible asignar una longitud a todos los subconjuntos de R de una manera que preserve algunas propiedades naturales de aditividad e invariancia de traducción. Esto sugiere que elegir una clase adecuada de subconjuntos mensurables es un requisito previo esencial.
La integral de Riemann utiliza explícitamente la noción de longitud. De hecho, el elemento de cálculo de la integral de Riemann es el rectángulo [ a , b ] × [ c , d ] , cuyo área se calcula como ( b − a )( d − c ) . La cantidad b − a es la longitud de la base del rectángulo y d − c es la altura del rectángulo. Riemann sólo podía utilizar rectángulos planos para aproximar el área bajo la curva, porque no existía una teoría adecuada para medir conjuntos más generales.
En el desarrollo de la teoría en la mayoría de los libros de texto modernos (después de 1950), el enfoque de la medición y la integración es axiomático . Esto significa que una medida es cualquier función μ definida en una determinada clase X de subconjuntos de un conjunto E , que satisface una determinada lista de propiedades. Se puede demostrar que estas propiedades se mantienen en muchos casos diferentes.
Comenzamos con un espacio de medidas ( E , X , μ ) donde E es un conjunto , X es un álgebra σ de subconjuntos de E y μ es una medida (no negativa ) de E definida en los conjuntos de X.
Por ejemplo, E puede ser el espacio n euclidiano R n o algún subconjunto medible de Lebesgue del mismo, X es el σ-álgebra de todos los subconjuntos medibles de Lebesgue de E , y μ es la medida de Lebesgue. En la teoría matemática de la probabilidad, limitamos nuestro estudio a una medida de probabilidad μ , que satisface μ ( E ) = 1 .
La teoría de Lebesgue define integrales para una clase de funciones llamadas funciones medibles . Una función f de valor real en E es medible si la preimagen de cada intervalo de la forma ( t , ∞) está en X :
Podemos demostrar que esto equivale a requerir que la imagen previa de cualquier subconjunto Borel de R esté en X. El conjunto de funciones medibles está cerrado bajo operaciones algebraicas, pero lo que es más importante, está cerrado bajo varios tipos de límites secuenciales puntuales :
son medibles si la secuencia original ( f k ) , donde k ∈ N , consta de funciones medibles.
Existen varios enfoques para definir una integral para funciones f mensurables de valores reales definidas en E , y se utilizan varias notaciones para denotar dicha integral.
Siguiendo la identificación en la teoría de la distribución de medidas con distribuciones de orden 0 , o con medidas de radón , también se puede utilizar una notación de par dual y escribir la integral con respecto a μ en la forma
La teoría de la integral de Lebesgue requiere una teoría de conjuntos medibles y medidas en estos conjuntos, así como una teoría de funciones medibles e integrales en estas funciones.
Un enfoque para construir la integral de Lebesgue es hacer uso de las llamadas funciones simples : combinaciones lineales reales finitas de funciones indicadoras . Las funciones simples que se encuentran directamente debajo de una función f dada se pueden construir dividiendo el rango de f en un número finito de capas. La intersección de la gráfica de f con una capa identifica un conjunto de intervalos en el dominio de f , que, en conjunto, se define como la preimagen del límite inferior de esa capa, bajo la función simple. De esta forma, la partición del rango de f implica una partición de su dominio. La integral de una función simple se encuentra sumando, sobre estos subconjuntos (no necesariamente conectados) del dominio, el producto de la medida del subconjunto y su imagen bajo la función simple (el límite inferior de la capa correspondiente); intuitivamente, este producto es la suma de las áreas de todas las barras de la misma altura. La integral de una función medible general no negativa se define entonces como un supremo apropiado de aproximaciones mediante funciones simples, y la integral de una función medible (no necesariamente positiva) es la diferencia de dos integrales de funciones mensurables no negativas. [1]
Para asignar un valor a la integral de la función indicadora 1 S de un conjunto medible S consistente con la medida dada μ , la única opción razonable es establecer:
Observe que el resultado puede ser igual a +∞ , a menos que μ sea una medida finita .
Una combinación lineal finita de funciones indicadoras.
donde los coeficientes a k son números reales y S k son conjuntos disjuntos medibles, se llama función simple medible . Extendemos la integral por linealidad a funciones simples medibles no negativas . Cuando los coeficientes a k son positivos, establecemos
si esta suma es finita o +∞. Una función simple se puede escribir de diferentes maneras como una combinación lineal de funciones indicadoras, pero la integral será la misma por la aditividad de medidas.
Se necesita cierto cuidado al definir la integral de una función simple con valor real , para evitar la expresión indefinida ∞ − ∞ : se supone que la representación
es tal que μ( S k ) < ∞ siempre que a k ≠ 0 . Entonces la fórmula anterior para la integral de f tiene sentido y el resultado no depende de que la representación particular de f satisfaga los supuestos.
Si B es un subconjunto mensurable de E y s es una función simple mensurable, se define
Sea f una función medible no negativa en E , a la que le permitimos alcanzar el valor +∞ ; en otras palabras, f toma valores no negativos en la recta numérica real extendida . Definimos
Necesitamos demostrar que esta integral coincide con la anterior, definida sobre el conjunto de funciones simples, cuando E es un segmento [ a , b ] . También está la cuestión de si esto corresponde de alguna manera a una noción de integración de Riemann. Es posible demostrar que la respuesta a ambas preguntas es sí.
Hemos definido la integral de f para cualquier función mensurable extendida no negativa de valor real en E. Para algunas funciones, esta integral es infinita.
A menudo resulta útil tener una secuencia particular de funciones simples que se aproxime bien a la integral de Lebesgue (de forma análoga a una suma de Riemann). Para una función medible no negativa f , sea la función simple cuyo valor es siempre , para k un entero no negativo menor que, digamos ,. Entonces se puede demostrar directamente que
Para manejar funciones firmadas, necesitamos algunas definiciones más. Si f es una función medible del conjunto E elevado a los reales (incluido ±∞ ), entonces podemos escribir
dónde
Tenga en cuenta que tanto f + como f − son funciones mensurables no negativas. También tenga en cuenta que
Decimos que la integral de Lebesgue de la función medible f existe , o está definida si al menos uno de y es finito:
En este caso definimos
Si
decimos que f es integrable de Lebesgue .
Resulta que esta definición da las propiedades deseables de la integral.
Suponiendo que f es medible y no negativa, la función
Como se indicó anteriormente, la integral de una función integrable de Lebesgue (no necesariamente no negativa) se define restando la integral de sus partes positiva y negativa.
Las funciones de valores complejos se pueden integrar de manera similar, considerando la parte real y la parte imaginaria por separado. [5]
Si h = f + ig para funciones integrables de valor real f , g , entonces la integral de h está definida por
La función es integrable de Lebesgue si y sólo si su valor absoluto es integrable de Lebesgue (ver Función absolutamente integrable ).
Considere la función indicadora de los números racionales, 1 Q , también conocida como función de Dirichlet. Esta función no es continua en ninguna parte .
Un problema técnico en la integración de Lebesgue es que el dominio de integración se define como un conjunto (un subconjunto de un espacio de medidas), sin noción de orientación. En cálculo elemental, se define la integración con respecto a una orientación :
Con la llegada de las series de Fourier , surgieron muchos problemas analíticos que involucraban integrales cuya solución satisfactoria requería intercambiar procesos límite y signos integrales. Sin embargo, las condiciones bajo las cuales las integrales
son igualmente difíciles de alcanzar en el marco de Riemann. Existen algunas otras dificultades técnicas con la integral de Riemann. Estos están relacionados con la dificultad de tomar límites discutida anteriormente.
Como se muestra arriba, la función indicadora 1 Q sobre los racionales no es integrable de Riemann. En particular, el teorema de convergencia monótona falla. Para ver por qué, sea { a k } una enumeración de todos los números racionales en [0, 1] (son contables, por lo que esto se puede hacer ). Entonces deja
La función g k es cero en todas partes, excepto en un conjunto finito de puntos. Por tanto su integral de Riemann es cero. Cada g k no es negativo, y esta secuencia de funciones aumenta monótonamente, pero su límite cuando k → ∞ es 1 Q , que no es integrable de Riemann.
La integral de Riemann sólo puede integrar funciones en un intervalo acotado. Sin embargo, se puede extender a intervalos ilimitados tomando límites, siempre y cuando esto no produzca una respuesta como ∞ − ∞ .
La integral de Riemann está indisolublemente ligada a la estructura de orden de la recta real.
Se dice que dos funciones son iguales en casi todas partes ( para abreviar) si son un subconjunto de un conjunto nulo . No se requiere mensurabilidad del conjunto .
Los siguientes teoremas se demuestran en la mayoría de los libros de texto sobre teoría de la medida e integración de Lebesgue. [7]
Cafiero demostró las condiciones necesarias y suficientes para el intercambio de límites e integrales, [8] [9] [10] [11] generalizando trabajos anteriores de Renato Caccioppoli, Vladimir Dubrovskii y Gaetano Fichera. [12]
Es posible desarrollar la integral con respecto a la medida de Lebesgue sin depender de toda la maquinaria de la teoría de la medida. Uno de esos enfoques lo proporciona la integral de Daniell .
También existe un enfoque alternativo para desarrollar la teoría de la integración mediante métodos de análisis funcional . La integral de Riemann existe para cualquier función continua f de soporte compacto definido en R n (o un subconjunto abierto fijo). Se pueden construir integrales de funciones más generales a partir de estas integrales.
Sea C c el espacio de todas las funciones continuas de R con soporte compacto y valores reales . Defina una norma en C c por
Entonces C c es un espacio vectorial normado (y en particular, es un espacio métrico). Todos los espacios métricos tienen terminaciones de Hausdorff , así que sea L 1 su terminación. Este espacio es isomorfo al espacio de funciones integrables de Lebesgue módulo el subespacio de funciones con integral cero. Además, la integral de Riemann ∫ es una funcional uniformemente continua con respecto a la norma en C c , que es densa en L 1 . Por tanto ∫ tiene una extensión única a todo L 1 . Esta integral es precisamente la integral de Lebesgue.
De manera más general, cuando el espacio de medidas en el que se definen las funciones es también un espacio topológico localmente compacto (como es el caso de los números reales R ), se utilizan medidas compatibles con la topología en un sentido adecuado ( medidas de radón , de las cuales la medida de Lebesgue es un ejemplo) se puede definir una integral respecto de ellas de la misma manera, partiendo de las integrales de funciones continuas con soporte compacto . Más precisamente, las funciones soportadas de forma compacta forman un espacio vectorial que tiene una topología natural , y una medida (Radón) se define como una funcional lineal continua en este espacio. El valor de una medida en una función apoyada compactamente es también, por definición, la integral de la función. Luego se procede a expandir la medida (la integral) a funciones más generales por continuidad, y se define la medida de un conjunto como la integral de su función indicadora. Éste es el enfoque adoptado por Nicolas Bourbaki [13] y algunos otros autores. Para obtener más información, consulte Medidas de radón .
El objetivo principal de la integral de Lebesgue es proporcionar una noción integral donde los límites de las integrales se cumplen bajo supuestos suaves. No hay garantía de que todas las funciones sean integrables con Lebesgue. Pero puede suceder que existan integrales impropias para funciones que no son integrables según Lebesgue. Un ejemplo sería la función sinc :