3
mk=(2k)2−
(∗)
z}|{
2k
2, Mk= (2k+ 2)2−(1+2+3+··· + 2k)
(o`u (∗) est le nombre de carr´es coupant la diagonale)
Alors mk/(2k)2→1/2 et Mk/(2k)2→1/2.
Propri´et´es Soient Aet Bdeux ensembles mesurables dans Rn. Alors
(1) mesA≥0,
(2) A⊆B=⇒mes A≤mes B,
(3) A∩Bet A∪Bmesurables et mes (A∪B) = mes A+mes B−mes (A∩B).
(4) Le translat´e de Aa la mˆeme mesure que A,
(5) Si fest une application lin´eaire de Rndans Rn, alors mes f(A) =
|det f|mes A;
en particulier, la mesure est invariante pour les transformations orthogonales
(parce que celles-la ont le d´eterminant ±1.)
ex. •Les intervalles A= [a, b],]a, b],]a, b[ et [a, b[ sont mesurables et
mes A=b−a.
•A=Q∩[0,1] n’est pas mesurable au sens de Jordan. En effet, les
´el´ements du pavage Qkde R1qui coupent Aont la forme Ik,n = [ n
2k,n+1
2k],0≤
n≤2k−1; donc Mk= 2k. D’autre part, comme chaque intervalle contient
un nombre irrationnel, aucun des ´el´ements du pavage Qkn’est inclus dans
A, donc mk= 0. Conclusion: Mk
2k= 1 ∀ket mk
2k= 0 ∀k.
•Chaque singleton {x}dans Rnest mesurable et mes {x}= 0.
Proposition 2.1. — Supposons que E⊆Rnsoit mesurable au sens de
Jordan et que mes E= 0. Alors chaque partie F⊆Eest mesurable et
mes F= 0.
Notons que si mes E= 0, alors ∀k:mk= 0.
Definition 2.1. — Un ensemble N⊆Rnest dit n´egligeable dans Rn
(notation: |N|= 0) s’il peut ˆetre recouvert par des pav´es (ou boules) In,
(n= 1,2, . . . ), tel que la somme des volumes des pav´es (boules) est aussi
petit qu’on veut; i.e.
|N|= 0 ⇐⇒ ∀ε > 0∃pav´es Ij,N⊆S∞
j=1 Ijet P∞
j=1 |Ij| ≤ ε.
On dit aussi que Na la mesure 0 au sens de Lebesgue.
•Qest n´egligeable dans R. En effet, Q={rn:n∈N}, o`u {rn:n∈N}est
une ´enum´eration de Q(bijection de Qsur N). Posons In= [rn−ε
2n, rn+ε
2n],
|In|=2ε
2n,P∞
n=1 |In|= 2ε,P∞
n=1 2−n= 2ε,Q⊆S∞
n=1 In.
De mˆeme pour A=Q∩[0,1]. Donc l’ensemble Aest n´egligeable sans qu’il
soit mesurable au sens de Jordan.