Tribus

Table des matières

- Définition
- Propriétés de base
- Tribu engendrée par une famille de parties
- Tribu borélienne
- Les boréliens de ℝ et ℝn.
- Tribu trace
- En pratique
 Définition
Soit Ω un ensemble non vide, et soit B une famille non
vide de parties de Ω. On dit que la famille B est une tribu
(de parties de Ω), si
(i ) E ∈ B ⇒ Ω \ E ∈ B.
(ii ) ∀ (En )n ∈ ℕ ∈ Bℕ, ∪ En ∈ B.
n∈ℕ

{ø, Ω}, P (Ω)

Si Ω = P1 ∪ P2 avec P1 ∩ P2 = ø

{ø, P1, P2, Ω } est une tribu.

 Propriétés des tribus
Soit (Ω,B) un espace mesurable.

Si A, B ∈ B, alors A ∪ B ∈ B.

∀ (En )n ∈ ℕ ∈ Bℕ, ∩ En ∈ B.
n∈ℕ

Ω\ (∩ En ) = ∪ Ω\ En

Si A, B ∈ B, et A ⊂ B alors B\ A ∈ B.

B A B\ A = (Ω\ A) ∩ B.
 Tribu engendrée
Soit Ω un ensemble non vide.
L’intersection d’une famille quelconque de
tribus de parties de Ω est encore une tribu.
Si C est une famille quelconque de parties de Ω.
C est inclus dans la tribu P (Ω), on peut donc définir :

On appelle tribu engendrée par C et on note σ (C ) la

plus petite tribu de parties de Ω contenant C.
σ (C ) est l'intersection de toutes les tribus de parties de
Ω qui contiennent C.
 Exemples
Ω
σ ({A} ) = {ø, A, Ω\ A, Ω}
A
Ω 1

σ ({A,B} ) = 2 3
A 4 B
{ø, Ω, A, B, Ω\ A, Ω\ B, A ∪ B,
2,4 3,4 1,3 1,2 2,3,4
Ω\ (A ∪ B), Ω\ A ∪ Ω\ B, A ∩ B,
1 1,2,3 4
Ω\ A ∪ B, A \ (A ∩ B), Ω\ B ∪ A, B \ (A ∩ B), A Δ B, Ω \ (A Δ B)}
1,3,4 2 1,2,4 3 2,3 1,4
 Exemples
Soit Ω un ensemble non vide.
Si C = {P1, P2, … , Pn } est une partition de Ω.

σ (C ) = {∪i ∈ I Pi | I ⊂ {1, … , n}}

 Tribu Borélienne
Soit (E, d ) un espace métrique.
Notons O l'ensemble des ouverts de E.

Soit (E, d ) un espace métrique.

Notons O l'ensemble des ouverts de E. On appelle
tribu borélienne de E et on note B(E ) la tribu σ (O ).

Les éléments de B(E ) sont appelés les boréliens de E.

Les ouverts sont boréliens, les fermés sont boréliens.
∀x ∈ E, {x} est borélien.
Tout sous-ensemble dénombrable est un borélien.
 Les boréliens de ℝ
∀ a, b ∈ ℝ,
]a, b[ ∈ B(ℝ), [a, b] ∈ B(ℝ), ]a, b] ∈ B(ℝ).
]−∞ , a] ∈ B(ℝ), ]b , +∞[ ∈ B(ℝ).

{1, −0,07, π } ∈ B(ℝ), ℕ ∈ B(ℝ), ℚ ∈ B(ℝ).

{2} ∪ ([0, 1[ ∩ ℚ ) ∈ B(ℝ).

On peut avoir un exemple d'ensemble

non-boréliens ?
 Familles génératrices de B(ℝ)
La tribu borélienne B(ℝ) est égale à σ (I ) avec
I = {]a, b[ | a < b ∈ ℝ},
I = {]a, b] | a < b ∈ ℝ},
I = {]−∞, b] | b ∈ ℝ}.

Soit X une variable aléatoire réelle. Si on connaît sa fonction

de répartition : x → p(X ≤ x) (= p (X ∈]−∞, x]) , alors on
peut calculer p(X ∈ B) pour tout B ∈ B(ℝ).
Et on retrouve la loi de X à partir de la fonction de répartition.

]a, b[ = ∪n ]a, b − 1/n]. ]a, b] = ]−∞, b] \ ]−∞, a].

 Preuve
Preuve : Soit O un ouvert de ℝ et x ∈ O.
qx x

∃Nx ∈ ℕ, ]x − 1/Nx , x + 1/Nx [ ⊂ O.

Soit qx ∈ ℚ ∩ ]x − 1/2Nx , x + 1/2Nx [

x ∈ ]qx − 1/2Nx , qx + 1/2Nx [ ⊂ O

O = ∪ ]qx − 1/2Nx , qx + 1/2Nx [
x∈O

{(qx , Nx ), x ∈ O } ⊂ ℚ × ℕ : dénombrable

Donc O est une réunion dénombrable d'intervalles ouverts bornés.

 En dimension finie
On se place dans ℝn avec n ≥ 1.

Un pavé ouvert de ℝn est un ensemble de la forme

P = I1 × I2 × … × In où I1, I2, ... , In sont des
intervalles ouverts bornés de ℝ.

Tout ouvert de ℝn est une réunion

dénombrables de pavés ouverts.
 Tribu trace
Soit (Ω,B) un espace mesurable et A ⊂ Ω.
Notons BA = {A ∩ B, B ∈ B}.

BA est une tribu de parties de A.

∀ B ∈ B, A\ (A ∩ B) = A ∩ (Ω\ B),
∀ (Bn ) ∈ Bℕ, ∪(A ∩ Bn ) = A ∩ (∪ Bn ).

La tribu BA s'appelle la tribu trace de B sur A.

 Trace des boréliens
Si E est un espace métrique et A ⊂ E,
on a B(E)A = B(A).

Preuve : Par définition de la topologie induite, les ouverts de A

sont précisément les ensembles A ∩ O où O est un ouvert de E.
Comme B(E) contient tous les ouverts de E, B(E)A est une tribu
qui contient tous les ouverts de A, elle contient donc B(A).
Réciproquement, considérons D = {B ⊂ E, A ∩ B ∈ B(A)}.
D est une tribu de parties de E. D contient les ouverts de E.
Donc D contient B(E). Donc DA contient B(E)A.
Et DA = B(A).
 Tribus standards
Sauf mention contraire, la tribu considérée sur ℝn
est toujours la tribu borélienne
B(ℝn) = σ ({pavés ouverts de ℝn}.

Si Ω = ℕ la tribu considéré est P (ℕ).

Si Ω est l'univers d'une expérience aléatoire finie

il existe une mesure telle que p(Ω) = 1 et la tribu
considérée est P (Ω) (cas discret) ou B(Ω).
À suivre