L'étude des sigma-algèbres, des mesures, des fonctions mesurables, de l'intégration et des théorèmes de convergence qui généralisent la longueur, la surface, le volume et la probabilité, constituant la base de l'analyse et de la théorie des probabilités modernes.

Principe

Affectation abstraite de tailles non négatives (mesures) à des ensembles mesurables via l'additivité dénombrable sur une sigma-algèbre, accompagnée de notions de fonctions mesurables et d'intégrales respectant les limites (convergence monotone, convergence dominée, Fatou).

Démonstration

Construire la mesure de Lebesgue sur la droite réelle en complétant la mesure de longueur sur une sigma-algèbre appropriée, définir fonctions mesurables et l'intégrale de Lebesgue, et appliquer les théorèmes de convergence pour interchanger limites et intégrales en théorie L^p ou en espérances probabilistes.

Mauvaise application

Considérer des ensembles non mesurables comme s'ils avaient des mesures bien définies ou intervertir limites et intégrales sans vérifier les hypothèses de convergence dominée peut produire des contradictions; appliquer l'intégration de Lebesgue sans précaution à des fonctionnelles nécessitant des interprétations ponctuelles ou distributives est inapproprié.

Conséquence

Fournit un cadre unifié pour l'intégration et les limites qui soutient l'analyse fonctionnelle, la théorie des probabilités, la théorie ergodique et la théorie des EDP; donne des outils puissants comme les espaces L^p, les dérivées de Radon–Nikodym et les axiomes probabilistes mesurables.

Inversion

Se limiter aux intégrales de Riemann élémentaires ou à l'additivité finie fait perdre la capacité de traiter des limites de fonctions mesurables, la probabilité en dimension infinie et de nombreux théorèmes de convergence; inversement, la généralité mésurée peut être superflue en contextes purement combinatoires finis.

Limite

S'applique aux sigma-algèbres et aux espaces de mesure; exclut les fonctions d'ensemble pathologiques dépourvues d'additivité dénombrable ou les contextes où la mesurabilité n'a pas de sens (combinatoire purement algébrique); requiert prudence avec les mesures non séparables ou non sigma-finies pour certains théorèmes.

Tension sémantique

Se distingue de l'intégration de Riemann élémentaire: la théorie de la mesure met l'accent sur la sigma-additivité et les théorèmes de limite au prix d'une abstraction plus grande; elle rivalise aussi avec des cadres à additivité finie utilisés en probabilité appliquée ou en théorie des jeux.

Synthèse

La théorie de la mesure axiomatise la notion de taille et d'intégration via des mesures sigma-additives et des fonctions mesurables, fournissant la structure rigoureuse — intégrale de Lebesgue, théorèmes de convergence, espaces L^p — indispensable à l'analyse et à la probabilité modernes.