INTÉGRATION ET MESURE
La théorie de Lebesgue
L'additivité dénombrable
On s'est efforcé, dans ce qui précède, de mettre en lumière les idées implicites essentielles de la théorie classique de la mesure et de l'intégration telle qu'elle s'est développée non sans difficultés des Grecs à Riemann, et qui constitue ce que l'on peut appeler la théorie élémentaire de la mesure.
Mais, historiquement, cette prise de conscience de ce qui intervenait fondamentalement dans la théorie classique s'est produite en même temps, sinon plus tard que l'introduction d'une nouvelle idée extrêmement féconde, due à É. Borel, et qui est celle de l'additivité dénombrable.
Reprenons un triplet (X, B, p), et supposons que le clan B contient non seulement les réunions finies de ses éléments, mais aussi les réunions dénombrables, c'est-à-dire supposons que la réunion de toute famille dénombrable d'éléments de B soit un élément de B. On dit alors que B est une tribu, ou encore un σ-anneau (de Boole).
Supposons que μ soit non seulement additive, mais vérifie la condition suivante : Pour toute famille dénombrable (Ai), i ∈ N d'éléments de B deux à deux disjoints, on a :
Un premier problème est celui de l'existence de tels triplets. Il est évident qu'il existe des tribus : pour tout ensemble X, l'ensemble P(X) de ses parties est une tribu. De plus, l'intersection de toute famille de tribus étant une tribu, il existe, pour toute partie C de P(X), une plus petite tribu qui la contient ; on appelle cette dernière la tribu engendrée par C.
L'existence d'une mesure σ-additive a posé un problème plus redoutable, qui a été résolu par Lebesgue suivant une voie que l'on peut schématiser, dans un cadre plus général que le sien, de la façon suivante : Partons d'un triplet (X, A, m), où A est un clan et m une mesure simplement additive, et considérons la famille D(A) des parties A de X telle que chacune de ces parties soit incluse dans la réunion d'une famille dénombrable (αi), i ∈ N, d'éléments de A. On peut considérer la somme :
Cette propriété, plus faible que la σ-additivité, est appelée la σ-sous-additivité, et m* est qualifiée de mesure extérieure associée à (X, A, m).
On considère alors les éléments A de D(A) tels que l'on ait, pour tout élément E de D(A) :
Lebesgue a d'abord démontré ce résultat dans le cas où X est un segment de la droite, A le clan engendré par les segments, et m la longueur. Le même processus peut être appliqué à la droite entière, et la mesure obtenue, qui prolonge la longueur et qui est invariante par translation, est appelée mesure de Lebesgue de la droite. (Le même procédé réussit pour les aires, les volumes et l'on parle encore de mesure de Lebesgue dans R2, R3, Rn.)
Il faut noter que B est en général strictement[...]
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- André REVUZ : professeur à la faculté des sciences de Paris, directeur de l'Institut de recherche sur l'enseignement des mathématiques
Classification
Autres références
-
ANALYSE MATHÉMATIQUE
- Écrit par Jean DIEUDONNÉ
- 8 528 mots
La conception de l'intégrale au xviiie siècle reposait sur la notion intuitive d'« aire » : pour une fonction f (x), continue et ≥ 0 dans un intervalle a ≤ x ≤ b, l'intégrale :était l'aire comprise entre la courbe y = f (x), l'axe Ox et les deux droites x...
-
CALCUL INFINITÉSIMAL - Histoire
- Écrit par René TATON
- 11 465 mots
- 3 médias
... siècle, un calcul équivalant à la détermination de l'intégrale :et cela par un procédé qui revient à diviser l'intervalle d' intégration en éléments formant une progression arithmétique. Le calcul du volume du solide de révolution engendré par la rotation d'un segment de parabole...
-
ERGODIQUE THÉORIE
- Écrit par Antoine BRUNEL
- 3 277 mots
...ce qui explique l'emploi du terme ergodique. L'une quelconque de ces variétés sera pour nous le récipient Ω du modèle de Poincaré. L'invariance de la mesure, lorsque les paramètres décrivant l'état de S sont convenablement choisis, est assurée par un résultat général dû à Liouville. Le physicien... -
FONCTIONS REPRÉSENTATION & APPROXIMATION DES
- Écrit par Jean-Louis OVAERT et Jean-Luc VERLEY
- 18 453 mots
- 6 médias
Les convergences avec conditions sur les supports jouent un rôle important dans les problèmes liés au calcul intégral et à ses extensions (mesures de Radon et distributions). - Afficher les 14 références
