Théorie de la mesure
La théorie de la mesure fournit une notion rigoureuse de taille, de longueur, d'aire, de volume et de probabilité pour des collections d'ensembles très générales, et sur cette base, elle construit l'intégrale de Lebesgue qui est fondamentale pour l'analyse moderne.
Definition
La théorie de la mesure est la branche de l'analyse mathématique qui attribue une mesure de taille cohérente aux sous-ensembles d'un espace et l'utilise pour définir l'intégration, généralisant la longueur, l'aire, le volume et la probabilité au sein d'un cadre axiomatique unique.
Scope
Ce domaine couvre les sigma-algèbres et les mesures, les fonctions mesurables, la construction de la mesure de Lebesgue, l'intégrale de Lebesgue et ses théorèmes de convergence, les espaces Lp, les mesures signées et complexes avec le théorème de Radon-Nikodym, ainsi que les mesures produits avec le théorème de Fubini-Tonelli.
Sub-topics
Core questions
- Comment une notion de taille peut-elle être attribuée de manière cohérente à une famille riche d'ensembles, y compris ceux de forme irrégulière ?
- Comment l'intégrale de Lebesgue est-elle définie, et pourquoi se comporte-t-elle mieux sous les limites que l'intégrale de Riemann ?
- Quand les limites peuvent-elles être interverties avec les intégrales ?
- Comment deux mesures sont-elles comparées, et quand l'une a-t-elle une densité par rapport à l'autre ?
Key theories
- Théorème de convergence dominée de Lebesgue
- Si des fonctions intégrables convergent ponctuellement et sont uniformément bornées par une fonction intégrable fixe, alors la limite de leurs intégrales est égale à l'intégrale de la limite, permettant l'interversion de la limite et de l'intégrale que la théorie de Riemann ne permet pas.
- Théorème de Radon-Nikodym
- Si une mesure sigma-finie est absolument continue par rapport à une autre, elle peut être exprimée comme l'intégrale d'une fonction de densité par rapport à cette autre mesure, fournissant la notion rigoureuse de densité de probabilité et d'espérance conditionnelle.
Clinical relevance
La théorie de la mesure est le fondement indispensable de la théorie moderne des probabilités, où les mesures sont des distributions de probabilité et l'intégrale de Lebesgue est l'espérance; elle fonde également l'analyse fonctionnelle à travers les espaces Lp et de Hilbert, l'analyse harmonique, la théorie ergodique et le traitement rigoureux des processus stochastiques utilisés en finance et en statistique.
History
La théorie de la mesure a débuté avec la mesure de Borel sur la droite et a reçu sa forme décisive de Lebesgue dans sa thèse de 1902, qui a introduit l'intégrale moderne. La construction de la mesure extérieure de Carathéodory, les travaux de Radon sur les mesures dans des espaces généraux et l'axiomatisation de la probabilité par Kolmogorov en 1933 ont établi la théorie abstraite utilisée aujourd'hui.
Key figures
- Henri Lebesgue
- Emile Borel
- Johann Radon
- Constantin Caratheodory
Related topics
Seminal works
- folland1999
Frequently asked questions
- Pourquoi introduire l'intégrale de Lebesgue alors que l'intégrale de Riemann existe déjà ?
- L'intégrale de Lebesgue peut intégrer beaucoup plus de fonctions, et ses théorèmes de convergence permettent d'intervertir les limites et les intégrales sous des hypothèses modérées, ce qui est essentiel pour l'analyse, les probabilités et la complétude des espaces Lp.
- Qu'est-ce qu'une sigma-algèbre ?
- Une sigma-algèbre est la collection de sous-ensembles sur lesquels une mesure est définie ; elle est fermée par complémentation et par unions dénombrables, propriétés de clôture nécessaires pour que l'additivité dénombrable et les opérations de limite aient un sens.