Tribus
Soit X un ensemble (par exemple X=R ou N).
Définition : Une famille A de sous-ensembles de X est une tribu (ou σ-algèbre) si :
- X∈A
- A est stable par complémentaire : si A∈A, alors Ac∈A.
- A est stable par réunion dénombrable, si pour tout n≥1, An∈A, alors ∪n≥1An∈A.
Exemples :
- {∅,X} est la tribu grossière.
- PX (l’ensemble des parties de X) est la tribu totale.
Définition : Un ensemble muni d’une tribu (X,A) est appelé un espace mesurable.
Les ensembles A∈A s’appellent les (ensembles) mesurables.
Définition : Soit M une famille de sous-ensembles de X (M⊂P(X)). Soit σ(M) la plus petite tribu de X (au sens de l’inclusion) contenant M. σ(M) est la tribu engendrée par M.
Définition : La tribu engendrée par la famille des ouverts d’une topologie est la tribu borélienne notée B(X).
Les éléments de la tribu borélienne B(X) sont les (ensembles) boréliens de X.
Remarque : Il s’agit de la plus petite tribu contenant tous les ouverts de X.
Exemple : Avec X=R=]−∞,+∞[.
Les boréliens de R sont :
- Tout ouvert, tout fermé
- Tout intervalle ouvert, fermé, semi-fermé, fini ou infini
- Tout singleton {x},x∈R
- Tout ensemble dénombrable {xi,i∈I} avec I⊂N et xi∈R.
Mesures
Soit (X,A) un espace mesurable.
Définition : Une mesure μ sur (X,A) est une application de A→[0,+∞] telle que :
- μ(∅)=0
- Si (An)n≥1 est une suite dénombrable d’ensembles de A deux à deux disjoints, alors μ(∪n≥1An)=∑n≥1μ(An) (σ-additivité)
Définition : Le triplet (X,A,μ) est un espace mesuré.
Exemple : Sur (X,P(X)), la mesure de Dirac est définie pour a∈X par :
δa(A)=1 si a∈A et δa(A)=0 si a∉A.
Définition : Soit μ une mesure sur (X,A).
- Si μ(X)<+∞, la mesure μ est finie.
• Si X=∪n≥1Xn avec μ(Xn)<+∞, la mesure μ est σ-finie.
• Si μ(X)=1, la mesure μ est une mesure de probabilité.
• La mesure μ est borélienne si A=B(X).
Théorème : Mesure de Lebesgue
Il existe une unique mesure λ sur (R,B(R)) telle que :
- Pour tout intervalle [a,b] borné, on a : λ([a,b])=λ(]a,b[)=b−a.
- Pour tout A∈B(R), λ(A+x)=λ(A) où A+x={a+x/a∈A} (invariance par translation).
Définition : On note L(R) la tribu de Lebesgue, qui est la tribu complétée de B(R).
Proposition : Tout ensemble dénombrable A est de mesure de Lebesgue λ(A)=0.