Exemples. 1) En dimension >1, c’est facile à obtenir ; par exemple dans R2,
l’ensemble N=R× {0}(une droite) est λ2-négligeable (a une aire nulle). En
effet, pour tous les entiers j, k >1, on a :
λ2]−k, k[×i−1
j,1
jh= (2k)2
j;
donc λ2(] −k, k[×{0}) = 0, car :
06λ2(] −k, k[×{0})6λ2]−k, k[×i−1
j,1
jh= (2k)2
j−→
j→∞ 0 ;
il en résulte que :
λ2(R× {0}) = λ2[
k>1
]−k, k[×{0}= lim↑
k→∞ λ2(] −k, k[×{0}) = 0.
2) En dimension 1, c’est-à-dire dans R, c’est un peu plus difficile à obtenir,
l’ensemble de Cantor est négligeable pour la mesure de Lebesgue, bien qu’il ne
soit pas dénombrable.
Rappelons que l’ensemble triadique de Cantor Kest contenu dans K0=
[0,1], et qu’il est l’intersection K=T∞
n=1 Knde la suite d’ensembles Kn, pour
n>1, où Knest obtenu à partir de Kn−1en retirant à chaque intervalle
composant Kn−1le tiers central ouvert de cet intervalle :
K1=h0,1
3i∪h2
3,1i;K2=h0,1
32i∪h2
32,1
3i∪h2
3,7
32i∪h8
32,1i;. . . .
Chaque Knest compact et non vide ; donc Kest un compact (en particulier un
borélien) non vide. Comme chaque Knest la réunion de 2nintervalles fermés
disjoints de longueur 1
3n, on a λ(Kn)=2n×1
3n; donc 06λ(K)6λ(Kn) =
(2/3)n, pour tout n>1, de sorte que λ(K) = 0.
Par contre, Kn’est pas dénombrable.En effet, si l’on écrit le nombre x∈[0,1]
en base 3:x=P∞
k=1 ak3k, avec ak∈ {0,1,2}, on voit, après un moment de
réflexion, que x∈Knsi ak= 0 ou 2, c’est-à-dire ak6= 1, pour 16k6n. Il
en résulte que Kcontient (et ne contient en fait que ceux-là) tous les nombres
x=P∞
k=1 ak3kavec ak= 0 ou 2, pour tout k>1. Or tous ces nombres sont
distincts, et leur ensemble est donc en bijection avec {0,2}N∗, qui n’est pas
dénombrable.
Il faut faire attention que la notion d’ensemble négligeable dépend de la
mesure m; en effet, dans R,Qest λ-négligeable, et δ√2-négligeable, mais pas
δ0-négligeable, ni c-négligeable.
Les deux propriétés suivantes, bien que simples, sont essentielles.
Proposition 1.2
1) Tout sous-ensemble mesurable d’une partie négligeable est négligeable.
2) Toute réunion d’une famille dénombrable de parties négligeables est
encore négligeable.
2