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 :

  • XA
  • A est stable par complémentaire : si AA, alors AcA.
  • A est stable par réunion dénombrable, si pour tout n1, AnA, alors n1AnA.

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 AA s’appellent les (ensembles) mesurables.

Définition : Soit M une famille de sous-ensembles de X (MP(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},xR
  • Tout ensemble dénombrable {xi,iI} avec IN et xiR.

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)n1 est une suite dénombrable d’ensembles de A deux à deux disjoints, alors μ(n1An)=n1μ(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 aX par :

δa(A)=1 si aA et δa(A)=0 si aA.

Définition : Soit μ une mesure sur (X,A).

  • Si μ(X)<+, la mesure μ est finie.
    • Si X=n1Xn 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[)=ba.
  • Pour tout AB(R), λ(A+x)=λ(A)A+x={a+x/aA} (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.