L'étude des mesures, des espaces mesurables, des fonctions mesurables et de l'intégration ; elle fournit une base rigoureuse pour attribuer des tailles ou volumes aux ensembles, pour intégrer des fonctions et pour construire la théorie de la probabilité et l'intégrale de Lebesgue.

Principe

Étendre la notion de « taille » d'ensembles simples à des collections complexes en définissant des sigma-algèbres et des mesures sigma-additives, puis définir des intégrales de fonctions mesurables comme limites d'approximations simples afin de capturer aire, masse ou valeur espérée de manière cohérente.

Démonstration

Construire la mesure de Lebesgue sur la droite réelle : partir des intervalles, étendre à une sigma-algèbre complète et définir l'intégrale de sorte que les limites de fonctions simples approchant ponctuellement donnent des aires cohérentes pour des fonctions non intégrables au sens de Riemann.

Mauvaise application

Supposer que tout sous-ensemble d'un espace est mesurable avec une mesure sigma-additive : tenter d'assigner une mesure invariante par translation à tous les sous-ensembles de la droite mène à des paradoxes (ensembles non mesurables) si l'on n'impose pas de restrictions de mesurabilité et de complétion.

Conséquence

Un cadre rigoureux pour l'intégration et les théorèmes de convergence (convergence dominée, monotone), permettant à l'analyse, la probabilité et la théorie spectrale de manipuler des limites sous le signe intégral et l'échange d'opérations en toute sécurité.

Inversion

Rejeter la sigma-additivité au profit de fonctions additives finies ou d'assignations cardinales point par point ; l'inversion met l'accent sur des notions combinatoires ou algébriques de taille plutôt que sur l'intégration sigma-additive et perd de nombreuses propriétés de convergence utiles.

Limite

S'applique aux sigma-algèbres et aux mesures sigma-additives sur des espaces mesurables ; exclut les mesures naïves sur tous les sous-ensembles sans condition de mesurabilité et d'autres notions comme la théorie des capacités ou les croyances non additives sauf adoption explicite.

Tension sémantique

Entre en concurrence avec les notions élémentaires de longueur/aire (intégration de Riemann, mesure de Jordan) et avec les fonctions non additives : la théorie de la mesure abstrait et généralise les notions classiques mais exige d'accepter des limitations de mesurabilité.

Synthèse

La théorie de la mesure abstrait le concept de taille en mesures sigma-additives et construit l'intégrale à partir d'approximations mesurables, créant l'appareil standard de l'analyse moderne et de la probabilité qui équilibre généralité et contrôle de la mesurabilité et de la convergence.