page 1
Module MESURES ET INTÉGRATION
Espaces mesurables: Tribus
• Rappels sur les ensembles
• Structure de tribus
• Tribu engendrée
• Tribu borélienne
Espaces mesurés: Mesures
• Mesures positives
• Mesure de Lebesgue
Fonctions mesurables
• Opérations et limites
• Fonctions étagées
Intégration par rapport à une mesure
• Intégration des fonctions positives
• Théorème de la convergence monotone
• Fonctions intégrables
Intégrale de Lebesgue
• Théorèmes limites.
• Lien avec intégrale de Rieman.
• Continuité et dérivation sous l’intégrale
Intégration sur un espace produit
• Mesure produit
• Mesure de Lebesgue sur Rn
• Intégrales doubles et théorème de Fubini
Espaces fonctionnels Lp
• Inégalités de Hölder et Minkowski
• Semi-normes ∥.∥p
• Espaces L p
A. Lakrari ENS-UH2C Mesures et intégration LESM S5 2022/2023
1 RAPPELS SUR LES ENSEMBLES page 2
1 Rappels sur les ensembles
1.1 Distributivité
Soit E un ensemble et A, B, C des parties de E. Alors on a les relations suivantes :
• A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
• A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
1.2 Complémentation
Soit E un ensemble fixé et A, B des parties de E. Le complémentaire de A dans E est E ∖ A,
on le note Ac . Alors on a les relations suivantes :
• E c = ∅ ; (∅)c = E
• (Ac )c = A
• (A ∩ B)c = (Ac ∪ B c )
• (A ∪ B)c = (Ac ∩ B c )
1.3 Fonction indicatrice
Si A est une partie de E, on note IA la fonction de E dans {0, 1} définie par:
IA (x) = 1 si x ∈ A et IA (x) = 0 si x ∈
/ A.
La fonction IA est appelée fonction indicatrice ou fonction caractéristique de A. On a les
relations :
• IE = 1; I∅ = 0.
• IAc = 1 − IA
• IA∩B = min(IA , IB )
• IA∪B = max(IA , IB )
1.4 Image directe
Soit f : E −→ F une application et A une partie de E.
L’image directe de A par f est l’ensemble des f (x) lorsque x parcourt A, on la note f (A).
On dispose des relations suivantes :
• f (A ∪ B) = f (A) ∪ f (B).
• f (A ∩ B) ⊆ f (A) ∩ f (B).
1.5 Image réciproque
Soit f : E −→ F une application et B une partie de F . L’image réciproque de B par f
est l’ensemble des éléments x ∈ E tels que f (x) ∈ B . On la note f −1 (B). On dispose des
relations suivantes :
• f −1 (C ∪ D) = f −1 (C) ∪ f −1 (D).
• f −1 (C ∩ D) = f −1 (C) ∩ f −1 (D).
• f −1 (C c ) = (f −1 (C))c .
A. Lakrari ENS-UH2C Mesures et intégration LESM S5 2022/2023
3 GÉNÉRALITÉS SUR LES TRIBUS page 3
2 Ensembles dénombrables
2.1 Définition
• L’ensemble vide ∅ est fini de cardinal 0.
• Un ensemble non vide E est dit fini de cardinal n s’il existe une bijection f de E vers
{1, 2, ..., n − 1, n}. Les éléments x de E peuvent être alors numérotés x1 , x2 , ...xn−1 , xn
avec xi = f −1 (i).
• Un ensemble infini E est dit dénombrable s’il existe une bijection f de E vers N. Les
éléments x de E forment une suite (xn )n∈N en notant xi = f −1 (i).
2.2 Exemples simples
• L’ensemble des entiers k tels que k 2 = 3 est de cardinal 0.
• L’ensemble des diviseurs entiers d de 20 est {1, 2, 4, 5, 10, 20} de cardinal 6. (f =
numérotation dans l’ordre)
• L’ensemble des nombres impairs est dénombrable. (f (2n + 1) = n)
• Z est dénombrable. (f (n) = 2n si n ≥ 0 et f (n) = −2n − 1 si n < 0)
2.3 Exemples moins évidents
• Un sous ensemble infini d’un ensemble dénombrable est aussi dénombrable.
• L’ensemble des nombres premiers est dénombrable.
• Pour un entier naturel non nul d, Nd est dénombrable.
• Une réunion disjointe d’une suite d’ensembles dénombrables fait un ensemble dénombrable.
• Q est dénombrable.
• L’ensembles de toutes les parties de N n’est pas dénombrable.
• R n’est pas dénombrable.
• C n’est pas dénombrable.
3 Généralités sur les tribus
On va considérer que les parties ”mesurables” de E constituent une collection qui a la struc-
ture ensembliste de TRIBU
3.1 Définition
Une tribu T sur un ensemble E est une famille de sous-ensembles de E telle que :
1. E apparient à T .
2. Si A apparient à T , alors son complémentaire l’est aussi.
3. Si (An ) est une suite d’éléments de T , alors la réunion n∈N An appartient à T .
S
A. Lakrari ENS-UH2C Mesures et intégration LESM S5 2022/2023
5 TRIBU PRODUIT page 4
3.2 Définition
Un ensemble E où on a fixé une tribu T est dit espace mesurable.
3.3 Exemples
Soit E un ensemble non vide,
• {∅, E} est la tribu minimale de E
• P(E) = {toutes les parties de E} est la tribu maximale de E
• Soit A tel que ∅ ⊊ A ⊊ E alors {∅, A, Ac , E} est une tribu de E
• L’ensemble des intervalles de R n’est pas une tribu de R.
3.4 Propriétés
Dans une tribu on peut faire les opérations suivantes :
• ∅ appartient à T .
• La réunion A ∪ B et aussi A1 ∪ A2 ∪ ... ∪ Ap .
• L’intersection A ∩ B et aussi A1 ∩ A2 ∩ ... ∩ Ap et même
T
n∈N An
• la différence A ∖ B = A ∩ B c
4 Tribu engendrée
4.1 Proposition
L’intersection d’une famille non vide de tribus de E est aussiT une tribu de E
Preuve Soit (Ti )i∈I une famille de tribus de E et T = i∈I Ti . Il est facile de vérifier que
les axiomes des tribus sont vérifiées pour T car elles le sont pour chaque tribu Ti .
4.2 Corollaire
Soit C une collection de sous-ensembles de E, il existe une plus petite tribu de E qui contient
C.
Preuve La tribu maximale de E contient C , on considère l’intersection de toutes les tribus
de E qui contiennent C . d’après la proposition précédente cette intersection est une tribu de
E, par construction c’est la plus petite et elle contient C .
4.3 Définition
La plus petite tribu qui contient C est appelée tribu engendrée par C , on la note σ(C ).
5 Tribu produit
Soient E, E ′ des ensembles munis respectivement des tribus T , T ′ .
A. Lakrari ENS-UH2C Mesures et intégration LESM S5 2022/2023
6 TRIBU BORÉLIENNE page 5
5.1 Remarque
En général le produit cartésien des deux tribus ne satisfait pas les trois axiomes des tribus,
donc on doit le compléter en considérant la tribu produit.
5.2 Définition
La tribu produit notée T ⊗ T ′ est la plus petite tribu sur E × E ′ qui contient tous les
ensembles de la forme A × A′ où A ∈ T et A′ ∈ T ′ .
6 Tribu borélienne
6.1 Définition
La tribu borélienne de R est la tribu engendrée par la collection des intervalles de R. On la
note B(R). On appelle ensemble borélien un élément de la tribu borélienne.
6.2 Remarques
• B(R) contient tout ce qu’on peut obtenir à partir d’intervalles en faisant des réunions
et intersections finies ou dénombrables, ainsi que des différences et complémentations.
• On peut réduire la collection des intervalles qui engendrent la tribu borélienne de R à
un seul type par exemple : la collection {]−∞, r[ avec r ∈ Q} engendre B(R).
• En général si E est un espace topologique, la tribu borélienne de E est la tribu engendrée
par tous les ouverts de E
6.3 Exemples
• La tribu borélienne de R2 est la plus petite tribu sur R2 contenant tous les rectangles,
i.e. les ensembles de la forme I × I ′ , où I et I ′ sont des intervalles.
• La tribu borélienne de R3 est la plus petite tribu sur R3 contenant tous les pavés, i.e.
les ensembles de la forme I × I ′ × I ′′ , où I , I ′ et I ′′ sont des intervalles.
A. Lakrari ENS-UH2C Mesures et intégration LESM S5 2022/2023