## [Théorie de la Mesure](/fr/node/59299) Définition 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 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 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 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 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 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 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 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 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.