Teoría de la medida
La teoría de la medida proporciona una noción rigurosa de tamaño, longitud, área, volumen y probabilidad para colecciones de conjuntos muy generales, y sobre esa base construye la integral de Lebesgue que impulsa el análisis moderno.
Definition
La teoría de la medida es la rama del análisis matemático que asigna una medida consistente de tamaño a los subconjuntos de un espacio y la utiliza para definir la integración, generalizando la longitud, el área, el volumen y la probabilidad dentro de un único marco axiomático.
Scope
El área abarca las sigma-álgebras y las medidas, las funciones medibles, la construcción de la medida de Lebesgue, la integral de Lebesgue y sus teoremas de convergencia, los espacios Lp, las medidas con signo y complejas con el teorema de Radon-Nikodym, y las medidas producto con el teorema de Fubini-Tonelli.
Sub-topics
Core questions
- ¿Cómo se puede asignar una noción de tamaño de manera consistente a una familia rica de conjuntos, incluyendo los irregulares?
- ¿Cómo se define la integral de Lebesgue y por qué se comporta mejor bajo límites que la integral de Riemann?
- ¿Cuándo se pueden intercambiar los límites con las integrales?
- ¿Cómo se comparan dos medidas y cuándo una tiene una densidad con respecto a la otra?
Key theories
- Teorema de convergencia dominada de Lebesgue
- Si las funciones integrables convergen puntualmente y están uniformemente acotadas por una función integrable fija, entonces el límite de sus integrales es igual a la integral del límite, lo que permite el intercambio de límite e integral que carece la teoría de Riemann.
- Teorema de Radon-Nikodym
- Si una medida sigma-finita es absolutamente continua con respecto a otra, puede escribirse como la integral de una función de densidad con respecto a esa otra medida, proporcionando la noción rigurosa de una densidad de probabilidad y una esperanza condicional.
Clinical relevance
La teoría de la medida es el fundamento indispensable de la teoría moderna de la probabilidad, donde las medidas son distribuciones de probabilidad y la integral de Lebesgue es la esperanza; también fundamenta el análisis funcional a través de los espacios Lp y de Hilbert, el análisis armónico, la teoría ergódica y el tratamiento riguroso de los procesos estocásticos utilizados en finanzas y estadística.
History
La teoría de la medida comenzó con la medida de Borel en la línea y recibió su forma decisiva de Lebesgue en su tesis de 1902, que introdujo la integral moderna. La construcción de la medida exterior de Caratheodory, el trabajo de Radon sobre medidas en espacios generales y la axiomatización de la probabilidad de Kolmogorov en 1933 establecieron la teoría abstracta utilizada hoy en día.
Key figures
- Henri Lebesgue
- Emile Borel
- Johann Radon
- Constantin Caratheodory
Related topics
Seminal works
- folland1999
Frequently asked questions
- ¿Por qué introducir la integral de Lebesgue cuando ya existe la integral de Riemann?
- La integral de Lebesgue puede integrar muchas más funciones, y sus teoremas de convergencia permiten intercambiar límites e integrales bajo hipótesis suaves, lo cual es esencial para el análisis, la probabilidad y la completitud de los espacios Lp.
- ¿Qué es una sigma-álgebra?
- Una sigma-álgebra es la colección de subconjuntos sobre los cuales se define una medida; está cerrada bajo complementos y uniones contables, las propiedades de cierre necesarias para que la aditividad contable y las operaciones de límite tengan sentido.