71 votos

¿Cómo se aplica la teoría de integración de Lebesgue?

Esta pregunta me ha intrigado durante mucho tiempo. Puede que sea demasiado vaga para preguntarla aquí. Espero poder acotar bien la pregunta para poder ofrecer algunas ideas.

En muchos libros de texto de cálculo, suele haber un capítulo sobre "aplicaciones" después del de la integral de Riemann. Los estudiantes pueden hacer muchos cálculos y apreciar el poder de la integración de Riemann: resuelven muchos problemas de física y geometría.

Mientras se aprende la integral de Lebesgue, o más generalmente, la integración en un espacio de medida, no puedo apreciar el poder de este tipo de integración hasta que aprenda alguna EDP moderna. Por otro lado, descubrí que hay mucho más desigualdades al hacer la integración de Lebesgue que ecuaciones al aplicar la integral de Riemann. En lugar de calculando algo, la gente hace estimación con los teoremas de convergencia.

Estas son mis preguntas:

  • ¿Cómo se aplica la teoría de integración de Lebesgue? Si se ponen los métodos en categorías, ¿puedo decir que se ocupa principalmente de los problemas relacionados con la convergencia ?
  • ¿Cuál es la diferencia fundamental entre la aplicación de estas dos técnicas de integración?
  • ¿Hay algún ejemplo en el que la gente resuelva algún problema que pueda ser muy difícil (pero aún así se puede resolver) cuando se utiliza la integral de Riemann pero que sea relativamente fácil con la integral de Lebesgue?

3 votos

Para la tercera pregunta yo miraría el campo de las series de Fourier. Por ejemplo, es relativamente fácil demostrar que toda función sumable al cuadrado en el círculo unitario tiene una única serie de Fourier que converge a la función original en $L^2$ -normas. Sin embargo, esto se basa en las técnicas del espacio de Hilbert, que a su vez se basan en la integral de Lebesgue, para garantizar la integridad de $L^2(\mathbb{T})$ . ¿Cómo establecer un resultado análogo con las integrales de Riemann?

2 votos

En el país de las integrales de Riemann, hay que demostrar la convergencia uniforme para justificar el cambio de límites e integrales, lo que puede ser bastante doloroso de resolver. Es mucho más fácil (tan fácil que es divertido) hacerlo con la integración de Lebesque y sus teoremas de convergencia.

8 votos

La diferencia fundamental es que el espacio de las funciones integrables de Riemann no es completo, es decir, no está cerrado al tomar límites, lo que dificulta el análisis. La página web $L^p$ son completos, lo que nos permite aprovechar el hecho de que, por ejemplo, las funciones suaves con soporte compacto son densas en $L^p$ para que podamos definir y mostrar cosas sobre funciones suaves, y luego tomar límites para extender nuestro resultado a cualquier $L^p$ función. Todo esto es imposible en el espacio más pequeño de las funciones integrables de Riemann.

38voto

Andy Puntos 21

En un mundo ideal, la probabilidad de error de tipo I se ajustaría caso por caso, en lugar de fijarse en 0,05 o 0,01 o lo que sea por decreto.

Menos error de tipo I significa más error de tipo II. En muchos campos, los valores por defecto son 0,05 y 0,20 para estos dos errores (es decir, se busca una potencia de 0,8 con p 0,05). ¿Son razonables estas opciones? Depende.

Supongamos que se está probando un medicamento que puede curar una enfermedad rápidamente terminal. Entonces el error de tipo I significaría que las personas con la enfermedad mueren cuando podrían curarse, mientras que el error de tipo II significa que las personas moribundas toman un medicamento que no funciona.

Estaría dispuesto a tener un error de tipo I más alto en tal caso.

Por encima de esto, siempre prefiero mirar los tamaños de los efectos en lugar de los niveles de significación. Lo que a la gente le interesa es el grado de efecto probable de un (tratamiento, fármaco, condición); no si una estadística de prueba tan extrema como la que obtuvimos podría haber surgido fácilmente de una población en la que no hubiera ningún efecto.

0 votos

"... tienes que siempre que la integral de Riemann está definida, también lo está la integral de Lebesgue". Esto no es cierto en general; hay una función (creo que es $\frac{\sin x}{x}$ ) que es integrable por Riemann en $(0,\infty)$ pero no es integrable en Lebesgue.

15 votos

Además, no entiendo a qué te refieres al decir que no tienes el FTC de Lebesgue. Claro que lo tienes. Incluso tienes una caracterización completa de las funciones para las que se cumple. Ver por ejemplo mi respuesta aquí

6 votos

@Quinn: No. La función $f(x) = \frac{\sin x}{x}$ es no integrable de Riemann en $(0,\infty)$ sino más bien incorrectamente integrable de Riemann en $(0, \infty)$ . La integración de Riemann sólo se define para funciones acotadas en intervalos acotados, por lo que Aaron es correcto. La integración de Riemann incorrecta es un proceso aparte. (véase también mi responder aquí )

9voto

kubi Puntos 20607

He aquí un ejemplo que muestra el poder de la teoría de integración de Lebesgue.

El siguiente teorema es a veces útil en el cálculo (sólo se trata de funciones continuas). Es un caso especial fácil del teorema de convergencia dominado por Lebesgue. Sin embargo, es difícil de demostrar dentro de la teoría de integración de Riemann.

Dejemos que $M$ sea un número real tal que $0 \le M < \infty$ . Sea $(f_n)$ sea una secuencia de funciones continuas sobre un intervalo finito $[a, b]$ tal que $|f_n| \le M$ por cada $n$ . Sea $f(x)$ sea una función continua sobre $[a, b]$ . Supongamos que $\lim_{n\rightarrow\infty} f_n(x) = f(x)$ por cada $x \in [a, b]$ .

Entonces $\lim_{n\rightarrow\infty} \int_{a}^{b} f_n(x) dx = \int_{a}^{b} f(x) dx$ .

7voto

Matt Puntos 2318

La integral de Riemann depende en gran medida de la estructura de la recta, mientras que el proceso general de integración no lo hace. Debido a la forma en que se construye la integral de Riemann, la continuidad de los integrados es muy importante. Ahora tenemos dos abstracciones "siamesas": la integración y la topología. La integral de Lebesgue es una excelente abstracción que da una estructura mínima en la que hacer la integración. Esto es más limpio y mejor.

0 votos

No entiendo nada de esto. La teoría de Lebesgue se basa en el álgebra sigma de Borel y, por tanto, requiere una topología. O se puede ver como una medida de Haar en un grupo topológico. De nuevo, topología. ¿En qué sentido la teoría de Lebesgue es mínima y la integración de Riemann no? Tal vez te refieras a la teoría general de las medidas (aunque también hay una aproximación a ella a través de los funcionales continuos), pero ¿cómo es eso relevante para la pregunta que se refiere explícitamente a la recta real?

2 votos

A veces se utiliza la "teoría de Lebesgue" para referirse no sólo a la integral de Lebesgue tangible sobre $\mathbb R^n$ sino también a la versión abstracta que utiliza cualquier $\sigma$ -álgebra, define la función medible, define las integrales de valor real positivo como sup de las sumas obvias adjuntas a las combinaciones lineales positivas finitas de las funciones características de los conjuntos medibles, etc. ¡La ambigüedad no ayuda a una discusión como ésta! Pero, sí, en 1900 no era obvio que la integración pudiera separarse de la topología. No es que queramos hacerlo en las aplicaciones... :)

0 votos

@paul: quieres decir que hay gente que llama todo de la teoría de la medida una teoría de Lebesgue? Eso sí que sería lamentable. Sin embargo, nunca he oído a nadie utilizar el término teoría de Lebesgue de esa manera (aunque estoy familiarizado con la teoría de la medida por la literatura de la teoría de la probabilidad).

3voto

gabr Puntos 20458

La integral de Lebesgue se utiliza para el teorema ergódico de Birkhoff. A partir de estas notas

Dejemos que $(X, \mathcal{B}, \mu)$ sea un espacio de probabilidad y que $T: X \to X$ sea una transformación ergódica que preserva la medida. Sea $f \in L^1 (X, \mathcal{B}, \mu)$ entonces $$ \lim_{n \to \infty} \frac{1}{n} \sum_{k=0}^{n-1} (f \circ T^k)(x) = \int f \, d\mu $$ Para $x$ casi en todas partes en $X$ .

Es Lebesgue, no Riemann. Esa convergencia no está garantizada en ningún punto concreto.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X