Vous êtes sur la page 1sur 24

CHAPITRE V

Les mesures de Hausdor


Dans ce chapitre, nous tudions les mesures de Hausdor, qui gnralisent la
e
e e
mesure de Lebesgue. Il est utile, dans de nombreux domaines des mathmatiques,
e
dtre un tant soit peu familier avec ces mesures, mme si elles nont pas la mme
e
e
e
importance pratique que la mesure de Lebesgue.
V-1. Motivations
La thorie des mesures de Hausdor est ne une quinzaine dannes apr`s celle
e
e
e
e
de la mesure de Lebesgue, et fut dveloppe principalement par Besicovich pendant
e
e
les quarante annes qui ont suivi. Elle rpondait ` plusieurs motivations.
e
e
a
V-1.1. Mesures dobjets de dimension infrieures. Plaons-nous en die
c
mension 3 pour simplier la discussion. La mesure de Lebesgue 3 permet dattribuer a toutes les parties (mesurables) de R3 un volume ; mais dans de nombreux
`
probl`mes on a besoin de dnir laire dune surface, ou la longueur dune courbe
e
e
3
u
trace dans R . La mesure de Lebesgue de tels objets est bien s r nulle, ce qui
e
sugg`re lintroduction de nouvelles mesures pour dnir les concepts daire ou de
e
e
u
a
longueur de parties de R3 . Bien s r, on sattend ` ce que laire dun objet soit innie
si son volume est non nul, de sorte que ces nouvelles mesures seraient intressantes
e
uniquement quand on les appliquerait a des ensembles Lebesgue-ngligeables.
`
e
Cest dans cette perspective que Carathodory construisit, vers 1914, des mesures
e
a `
e
de dimension k dans Rn , avec 1 k < n, grce a la notion de mesure extrieure
quil venait de dvelopper.
e
V-1.2. Changements de variables. Nous avons vu au chapitre prcdent des
e e
formules faisant intervenir un changement de variables T entre sous-ensembles de
e
e
Rn , et not lapparition du dterminant Jacobien | det T |. Quadvient-il si notre
changement de variables fait intervenir des fonctions Rm Rn , avec, par exemple,
m > n ? Nous avons dj` rencontr un exemple tr`s simple : le thor`me de Fubini
ea
e
e
e e
peut tre considr comme un changement de variables z Rm+n (x, y) Rm Rn
e
ee
avec z = (x, y), et on peut crire
e
Rm+n

f (z) dm+n (z) =

Rm

Rn

f (x, y) dn(y)

dm (x).

Bien s r, dans ce cas il ny a aucun probl`me car le changement de variables coru


e
respond a un produit cartsien ; mais que se passe-t-il quand les choses sont plus
`
e
complexes ?
Un exemple familier et tr`s utile est le changement de variables polaire
e
(aussi appel changement de variables sphrique), dans lequel on troque la variable
e
e
x Rn \ {0} pour le couple (r, ) R+ S n1 , avec r := |x| et := x/|x|. Comment
crire la formule de changement de variables correspondante ? Voici comment poure
rait raisonner un physicien ou un ingnieur : Faisons varier r dans un intervalle
e

174

CHAPITRE V

(7 mars 2007)

innitsimal [r dr, r + dr] et ` lintrieur dun disque inniment petit trac


e
a
e
e
n1
e
e
sur la sph`re S , de centre et de surface d. La rgion ainsi visite par le point
e
x est, ` des inniment petits dordre suprieur pr`s, un cylindre centr en r, dont
a
e
e
e
n1
la hauteur est 2 dr et la section a (par homognit) une surface r
e e e
d. On en
dduit la formule de changement de variable
e
dx = r n1 dr d.

11111
00000
11111
00000
11111
00000
11111
00000

S n1

Fig. 1. Elment de volume autour de x dans les variables sphriques


e
e
Quelle est la signication de ce symbole d, que lon peut interprter comme
e
une mesure daire innitsimale sur la sph`re S n1 ? Il sagit bien de llment
e
e
ee
n1
dintgration par raport a une mesure sur S , que lon peut introduire comme
e
`
la restriction a S n1 de la mesure de Hausdor de dimension n 1 dans Rn . Il est
`
donc parfaitement licite dcrire
e
f (x) dx =
Rn

f (r) d
R+

r n1 dr.

S n1

Il y a bien dautres faons de dnir : par exemple, comme llment de volume


c
e
ee
ee
e
sur S n1 , vu comme une varit Riemannienne. On peut galement, en basse dimension la dnir au moyen de coordonnes explicites, ce qui est commode pour eectuer
e
e
des calculs : ainsi, quand n = 2, on peut identier ` un angle dans [0, [ et crire
a
e
dx = r dr d ; quand n = 3 on introduit traditionnellement deux angles solides
[0, ] et [0, 2[, tels que (par exemple) = (sin cos , sin sin , cos ),
et alors la formule correspondante est dx = r n1 dr sin d d... Mais cest linterprtation en termes de restriction de mesure de Hausdor qui sav`re conceptuele
e
lement la plus naturelle pour gnraliser la formule de changement de variables.
e e
V-1.3. Notion de dimension. Nous avons lhabitude de penser quune courbe
rguli`re est de dimension 1, car on peut localement la dformer contin ment
e
e
e
u
en un morceau de droite ; de mani`re plus gnrale, il est naturel de penser ` un
e
e e
a

LES MESURES DE HAUSDORFF

175

ensemble comme tant de dimension k si on peut le dcrire localement au moyen de


e
e
k fonctions indpendantes ; en particulier limage par une application rguli`re dun
e
e
e
ensemble de dimension k devrait tre de dimension au plus k.
e
De tels noncs sont eectivement vrais quand on travaille avec des fonctions
e
e
rguli`res ; mais il est possible de construire des courbes continues surjectives de
e
e
[0, 1] dans [0, 1]2 , dites courbes de Peano. Limage dune telle courbe est incontestablement de dimension 2... Cet exemple montre bien quil est impossible de dnir
e
une notion de dimension qui soit base sur les dimensions despaces de dpart et
e
e
darrive. Comment dterminer si limage dune fonction continue [0, 1] [0, 1]2 ,
e
e
non surjective, doit tre considre comme tant de dimension 0, 1 ou 2 ?
e
ee
e
Le point de vue adopt en thorie de la mesure est le suivant : pour dnir la
e
e
e
dimension dun objet, on essaie de le mesurer par toute une famille de mesures, qui
sont associs ` des objets de dimension dtermine. Ainsi, si un objet a une longueur
e a
e
e
positive non nulle, il est naturel de penser quil est de dimension 1 ; sil a une surface
positive non nulle, de dimension 2. Ce sont les mesures de Hausdor qui vont jouer
ce rle en dnissant rigoureusement les notions de longueur, surface, etc.
o
e
Comme la dcouvert Hausdor vers 1919, il est en fait possible de dnir ces
e
e
mesures pour des dimensions non enti`res, et den dduire une notion de dimension
e
e
qui peut elle aussi tre non enti`re. Cest cette contribution, techniquement simple
e
e
mais conceptuellement remarquable, qui a valu a son nom de rester attach aux
`
e
mesures de Hausdor et ` la dimension ainsi dnie, dite dimension de Hausdor.
a
e
La dimension de Hausdor permet de dnir un ordre dans la notion de ngligeabilit :
e
e
e
plutt que de dire quun objet est de mesure de Lebesgue nulle, on pourra souvent
o
dire plus prcisment quil est de telle ou telle dimension de Hausdor. Comme on
e e
sy attend, un point sera de dimension 0, un segment de droite de dimension 1, etc.
On note d`s ` prsent quil existe une autre notion de dimension, antrieure `
e a e
e
a
celle de dimension de Hausdor, qui est souvent plus simple ` manipuler, mme
a
e
si son usage est moins courant que celui de la dimension de Hausdor : cest la
dimension de Minkowski. Cependant, lun des grands avantages du formalisme
de Hausdor, cest quil fournit ` la fois une notion de dimension et une notion de
a
mesure.
Dans les derni`res dcennies, ltude des objets fractals sest dveloppe conside
e
e
e
e
e
rablement, motive par les progr`s de linformatique, les suggestions visionnaires de
e
e
Mandelbrot, et la dcouverte de formalismes fractals dans des domaines aussi varis
e
e
que la mcanique des uides, les syst`mes dynamiques chaotiques, la thorie du
e
e
e
signal, etc. Les mesures de Hausdor, dj` tr`s utilises par les spcialistes de thorie
ea e
e
e
e
gomtrique de la mesure, en particulier dans le domaine du calcul des variations,
e e
se sont alors imposes comme lun des outils-cls dans ltude des objets fractals
e
e
e
[Falconer].
V-1.4. Mesures de rfrences abstraites. Comme nous lavons vu au chaee
pitre prcdent, ses proprits dinvariance font de la mesure de Lebesgue une mesure
e e
ee
e
de rfrence naturelle dans Rn . Si maintenant on se donne un espace mtrique absee
trait (X, d), peut-on y dnir une mesure borlienne de rfrence naturelle ? Les
e
e
ee
mesures de Hausdor sont de bons candidats pour cela. En eet, pour toute dimension N, on peut dnir a priori sur (X, d) une mesure de Hausdor de dimension N
e
(qui malheureusement sera souvent triviale). Ainsi, si X est une varit de dimension
ee
n, muni de sa distance godsique, alors la mesure de Hausdor N-dimensionnelle
e e

176

CHAPITRE V

(7 mars 2007)

sur X co
ncidera avec la mesure de volume quand N = n, et avec la mesure nulle
quand N > n.
V-2. Construction des mesures de Hausdor
V-2.1. Dnition. La mesure de Lebesgue, ou longueur, dune partie A de R
e
est dnie comme linmum des sommes des longueurs des intervalles recouvrant A :
e
|A| := inf

(Ik ); Ik intervalle; A Ik .

Cest cette dnition que lon a envie de gnraliser. En dimension plus grande que 1,
e
e e
les candidats naturels pour jouer le rle dintervalles sont les boules. Un calcul assez
o
simple (bas sur un changement de variable polaire !) montre que le volume de la
e
boule de rayon r en dimension d N est
|Br |d = (d)r d,

(d) :=

d/2
,
d +1
2

o` (x) := 0 et tx1 ds est la fonction habituelle.


u
Si lon cherche ` dnir des dimensions d non enti`res, il est naturel (mais non
a e
e
obligatoire) dutiliser la mme formule pour (d), ce qui revient a prolonger par
e
`
analyticit la fonction volume dune boule de rayon r en dimension d.
e
Voici maintenant une premi`re tentative de construction de la mesure d-dimensionnelle,
e
copiant la dnition de la mesure de Lebesgue :
e

d
(d)rk ;

[A] := inf

k=1

Brk (xk )

k=1

On se rend compte tout de suite que cette dnition est absurde : le volume 1e
e
dimensionnel dune boule de R2 serait ni ! Le probl`me vient de ce que la notion de
dimension doit dpendre uniquement de la structure locale dun objet, et que donc
e
on doit forcer le recouvrement par des boules ` pouser les dtails de lensemble
a e
e
A ; autrement dit, il faut dnir la mesure d-dimensionnelle en fonction de recoue
vrements par des petites boules. Avec la mesure de Lebesgue sur R, cette proprit
ee
tait superue : un gros intervalle de longueur L peut se partager en L/ petits
e
intervalles de longueur , et les deux recouvrements ainsi obtenus sont quivalents
e
en termes de mesure.
Nous arrivons ainsi ` une deuxi`me tentative de dnition de mesure d-dimensionnelle :
a
e
e

[A] := lim inf


0

d
(d)rk ;

k=1

Brk (xk );

rk .

k=1

La mesure ainsi dnie est dite mesure de Hausdor sphrique [Falconer1, p. 7].
e
e
Elle a le dfaut de reposer sur la notion de boule, qui nest pas invariante par
e
restriction : si A Rn , et B Rn est une boule de rayon r, alors A B nest pas
forcment une boule dans A (il sut que le centre de la boule nappartienne pas `
e
a
A...). Ce qui est vrai en revanche, cest que le diam`tre de A B est infrieur ou
e
e
gal a 2r.
e
`
Pour avoir une notion aussi intrins`que que possible, et tre s r que la mesure
e
e
u
dun objet ne dpend pas de la taille de lespace dans lequel on le plonge, on souhaie
terait donc dnir les mesures de Hausdor en fonction des diam`tres, sans rfrence
e
e
ee

LES MESURES DE HAUSDORFF

177

a
` la notion de boule. Nous arrivons ainsi ` la dnition nalement retenue pour les
a
e
mesures de Hausdor :
e
Dfinition V-1 (mesure de Hausdor). Soient A Rn , et d R+ . On dnit
e
la mesure de Hausdor d-dimensionnelle de A par

(35)

H [A] = lim inf


d

(d) r(Ck ) ;

k=1

Ck

diam (Ck ) ,

k=1

o` les Ck sont des parties arbitraires de Rn , r(Ck ) := diam (Ck )/2 est le demiu
diam`tre de Ck , et
e
d/2
(d) := d
( 2 + 1)
est le volume de la boule unit de dimension d.
e
Remarques V-2.

(i) Posons

d
H [A] = inf

(d)r(Ck )d ;
k=1

Ck

diam (Ck ) .

k=1

d
Comme H [A] est clairement une fonction dcroissante de , lexistence de
e
d
e
lim0 H [A] est assure, et cette limite est un supremum.
d
(ii) Soit A tel que Hd [A] < +, alors pour tout > 0 on a H [A] < +, et
pour tout > 0 on peut trouver une famille dnombrable (Ck ) densembles de
e
diam`tre au plus , recouvrant A, telle que
e

d
(d)r(Ck )d H [A] + .
k=1

a
Pour tout k > 0, lensemble Ck des points dont la distance ` Ck est strictement
infrieure ` k est un ouvert contenant A ; en choisissant k susamment petit,
e
a
r(Ck )d ne di`rent pas
e
on peut faire en sorte que les quantits
e
r(Ck )d et
de plus que . On a donc lnonc suivant : Pour tous > 0, > 0 et >
e
e
e
on peut trouver une famille dnombrable (Ck ) douverts, de diam`tre au plus
e
, recouvrant A, telle que

d
(d)r(Ck )d H [A] + .
k=1

e
En remplaant les Ck par les Ck , on voit galement que le mot ouverts dans
c
lnonc prcdent peut tre remplac par ferms. En faisant ensuite tendre
e
e e e
e
e
e
e
e
et vers 0, on vrie facilement que la dnition de la mesure de Hausdor est
inchange si lon impose au recouvrement dtre constitu densembles ouverts
e
e
e
(resp. ferms).
e
Lnonc suivant justie la terminologie mesure de Hausdor.
e
e
Proposition V-3 (la mesure de Hausdor est une mesure de Borel). Pour tout
d 0, la fonction A Hd [A] est une mesure extrieure sur Rn , et dnit une
e
e
mesure sur la tribu Borlienne B(Rn ).
e

178

CHAPITRE V

(7 mars 2007)

Dmonstration. Il est clair que Hd [] = 0 et que Hd est une fonction croissante


e
densembles. On vrie facilement que
e
d
H [Ak ]

d
H [Ak ].
kN

En passant a la limite 0 dans le terme de gauche, et en utilisant lingalit


`
e
e
d
d
H H dans le terme de droite, on trouve
Hd [Ak ]

Hd [Ak ].
kN

e
e
La fonction Hd est donc sous-additive : cest bien une mesure extrieure, dnie sur
n
lensemble de toutes les parties de R .
Soit M la tribu des ensembles Hd -mesurables, au sens de lnonc du Thor`me Ie
e
e e
64 ; on sait que H dnit une mesure sur M. Pour vrier que M contient toutes les
e
e
parties borliennes, on utilise le crit`re de Carathodory prsent au Thor`me I-75.
e
e
e
e
e
e e
n
e
`
Soient donc A et B deux parties de R vriant d(A, B) > 0, on cherche a montrer
que
Hd [A B] = Hd [A] + Hd [B].
Pour tout < d(A, B)/2, un ensemble de diam`tre ne peut intersecter ` la fois
e
a
A et B ; si lon se donne un recouvrement de A B par des ensembles de diam`tre
e
au plus on pourra donc en extraire des sous-recouvrements disjoints de A et B
en considrant dune part les ensembles qui intersectent A, dautre part ceux qui
e
d
d
d
intersectent B. On en dduit que H [A B] = H [A] + H [B], et la conclusion en
e
dcoule par passage a la limite.
e
`
Exemples V-4.
(i) Soit A = {x0 } un singleton. Il est clair que lon peut
recouvrir A par une boule de rayon nul, ce qui est de volume d-dimensionnel
nul pour tout d > 0. Il sensuit que H0 [A] = 1, Hd [A] = 0 pour tout d > 0.
Par -additivit, pour tout A dnombrable, H0 [A] nest autre que le cardinal
e
e
de A ; et cette identit reste valable si A nest pas dnombrable. On conclut
e
e
que H0 nest autre que la mesure de comptage.
(ii) Il est facile de vrier que la mesure de Hausdor H1 dans R nest autre que
e
la mesure de Lebesgue. Le caract`re intrins`que de la dnition de H1 garantit
e
e
e
que le mesure H1 restreinte a un segment de droite de R2 est galement la
`
e
mesure de Lebesgue sur ce segment de droite (vu comme sous-ensemble dune
copie de R).
(iii) Soit la mesure dnie sur R2 par
e
1

f d =

f (0, t) dt.
0

Un peu de rexion montre que = 0 H1


e
restriction.

[0,1] ,

o` le symbole
u

signie

(iv) On pourra montrer en exercice que si I = [x, y] est un segment de droite


e
a
dans R2 (non rduit ` un point), alors Hd [I] vaut + si d < 1, |x y| si d = 1
et 0 si d > 1.

LES MESURES DE HAUSDORFF

179

V-2.2. Proprits lmentaires. Commenons par un crit`re de ngligeabilit,


e e ee
c
e
e
e
consquence immdiate de la structure de mesure extrieure :
e
e
e
Proposition V-5 (crit`re pratique de Hausdor-ngligeabilit). Soit A Rn .
e
e
e
Alors Hd [A] = 0 si et seulement si on peut inclure A dans une union densembles
Bk tels que diam (Bk )d est arbitrairement petit.
k=1
Cet nonc gnralise le crit`re de ngligeabilit habituel pour la mesure de
e
e e e
e
e
e
Lebesgue dans R : un sous-ensemble de R est de mesure nulle si et seulement si on
peut linclure dans une union dnombrable dintervalles dont la somme des longueurs
e
est arbitrairement petite.
Voici maintenant une proprit bien commode des mesures de Hausdor, qui
ee
explique en partie le rle privilgi des fonctions Lipschitziennes dans ce contexte :
o
e e
Proposition V-6 (borne sous laction des fonctions Lipschitziennes). (i) Soit
f une fonction k-Lipschitzienne dnie sur un borlien de Rn , ` valeurs dans Rm ,
e
e
a
alors pour tout ensemble borlien B A et pour tout d [0, n] on a
e
Hd [f (A)] k d Hd [A].
(ii) Plus gnralement, si f et g sont deux fonctions dnies sur un borlien de
e e
e
e
a
Rn , ` valeurs dans Rm , telles que pour tous x, y A on ait
|f (x) f (y)| |g(x) g(y)|,
alors pour tout borlien B A et pour tout d [0, n] on a
e
Hd [f (A)] Hd [g(A)].
Dmonstration. Si f est k-Lipschitzienne, en passant au supremum pour
e
(x, y) B B dans lingalit |f (x) f (y)| k|x y|, on voit que pour tout
e
e
ensemble C A, diam (f (C)) kdiam (C). Lnonc (i) en dcoule immdiatement.
e
e
e
e
La dmonstration de (ii) est similaire : lhypoth`se implique diam (f (C))
e
e
diam (g(C)).
Passons maintenant a des proprits dinvariances, qui elles aussi dcoulent di`
ee
e
rectement de la dnition :
e
Proposition V-7 (invariance par isomtrie-multiplication). Soit T une applie
cation ane de la forme
T (x) = Ax + b,
o` A est une isomtrie, > 0 et b Rn . Alors
u
e
T #Hd = d Hd .
En particulier, pour tout Borlien C, on a Hd [C +b] = Hd [C] et Hd [C] = d Hd [C],
e
et Hd est 2d -doublante.
Remarque V-8. Lors dun changement de variables dans une intgrale faisant
e
intervenir des mesures de Hausdor, ce nest donc pas le dterminant Jacobien qui
e
appara mme pour des oprations de multiplication scalaire.
t, e
e
La proprit V-7 peut sembler trange si lon se souvient de la caractrisation de
ee
e
e
la mesure de Lebesgue par son invariance sous laction des translations : les mesures
de Hausdor vrient la mme proprit dinvariance ! Il ny a pas de contradiction
e
e
ee
car les mesures de Hausdor, malgr leur proprit de doublement, sont souvent tr`s
e
ee
e
singuli`res (ou triviales), comme le montre la proprit suivante.
e
ee

180

CHAPITRE V

(7 mars 2007)

Proposition V-9. Soit Cn := [0, 1[n Rn ; alors Hd [Bn ] = + pour tout d < n
et 0 pour tout d > n. En particulier,
- si d < n, alors Hd [O] = + pour tout ouvert (non vide) de Rn ;
- si d > n, alors Hd est la mesure nulle sur Rn .
Dmonstration. Pour tout k 1, on peut partager Cn en 2nk petits cubes
e
semi-ouverts de ct 2k , qui sont tous de mesure 2dk Hd [Cn ], par la Proposition Voe
7. La -additivit implique donc
e
Hd [Cn ] = 2nk 2dk Hd [Cn ].
/
e
Si Hd [Cn ] {0, +} on a donc forcment n = k.
Dans le cas o` d > n, on peut appliquer la Proposition V-5 : les petits cubes
u

e
a
sont de diam`tre n2k , et la somme de leurs diam`tres ` la puissance d vaut donc
e
2nk nd/2 2dk [k ]0.
e
Il sensuite que Hd [Cn ] = 0. Comme Rn est union dnombrable de copies de Cn , il
sensuit que Hd [Rn ] = 0.
Dans le cas o` d < n, pour montrer que Hd [Cn ] = + il sut de montrer que
u
d
e
H [Cn ] > 0. On peut raisonner comme suit : si Bk est de diam`tre 2rk , alors on peut
n
linclure dans une boule euclidienne de rayon 2rk , et n [Bk ] 2n (n)rk . On a alors,
pour tout recouvrement de Cn par des ensembles Bk de demi-diam`tre rk 1,
e
1 = n [Cn ]

n [Bk ] 2n (n)
k

n
rk 2n (n)
k

d
rk ,
k

et en passant a linmum on voit que H [Cn ] 1/(2 (n)). Il sensuit que Hd [Cn ] =
`
+, et donc Hd [C] = 0 pour tout cube semi-ouvert de Rn . On conclut en notant
que tout ouvert contient un cube semi-ouvert.
d

V-2.3. Rgularit. Il rsulte de la Proposition V-9 que la mesure de Hausdor


e
e
e
e
e
e
H en dimension n > d nest ni -nie, ni rguli`re au sens de la Dnition I-46.
Cependant, la proprit I-47 (que de nombreux auteurs appellent aussi rgularit)
ee
e
e
reste vraie :
`
Theoreme V-10 (rgularit de la mesure de Hausdor). Soit d 0, et soit
e
e
n
A R une partie quelconque. Alors
(i) Il existe G, intersection dnombrable douverts contenant A, telle que
e
d

Hd [G] = Hd [A];
(ii) Si A est Hd -mesurable et Hd [A] < +, alors il existe F , union dnombrable
e
de ferms contenus dans A, telle que
e
Hd [F ] = Hd [A].
En particulier,
Hd [A] = sup Hd [K]; K compact; K A .
Remarque V-11. Lnonc (i) peut surprendre, puisque G est lintersection
e
e
dcroissante des Uk , o` chaque Uk est une intersection nie douverts, donc un oue
u
vert ; si Hd [A] < + on a donc
Hd [A] = Hd [G] < lim Hd [Uk ] = +.
Pourquoi cela nest-il pas en contradiction avec la -additivit de Hd ?
e

LES MESURES DE HAUSDORFF

181

Dmonstration du Thor`me V-10. (i) Sans perte de gnralit, on supe


e e
e e
e
d
d
d
pose que H [A] < +. Pour tout k, on a H1/k [A] H [A] < +, et par la
remarque V-2(ii), on peut trouver un recouvrement de A par des ouverts Ck,j de
diam`tre au plus 2/k, tel que
e

1
d
(d) r(Ck,j )d H1/k [A] + .
k

On pose alors
Ok :=

Ck,j ,

G :=

jN

Ok .
k1

Il est clair que G contient A, et dautre part pour tout k on a


d
H2/k [G]
j

1
d
(d) r(Ck,j )d H1/k [A] + .
k

Il sensuit que Hd [G] Hd [A], do` la conclusion.


u
e
e
(ii) Chacun des ouverts Ok peut scrire comme union dnombrable croissante
de ferms Fk,j (j N). Par -additivit,
e
e
lim Hd [A Fk,j ] = Hd [A Ok ] = Hd [A].

Pour tout > 0 et k 1 on choisit jk tel que


Hd [A Fk,jk ] Hd [A] 2k .
On pose
F :=

Fk,jk ;
k1

on a alors Hd [A F ] Hd [A] . Attention, rien ne garantit que F soit inclus


dans A ! Cependant, F est inclus dans Ok = G, et Hd [G \ A] = 0, il sensuit que
Hd [F \ A] = 0. Par la partie (i) du thor`me, il existe un ensemble G , intersection
e e
dnombrable douverts, de mesure nulle, tel que F \ A G . Alors F := F \ G est
e
contenu dans A, cest une intersection dnombrable de ferms, et
e
e
Hd [F ] Hd [F ] Hd [G ] = Hd [F ] Hd [A] .
On conclut en posant F :=

k1 F1/k .

Les mesures de Hausdor vrient certaines des proprits de densit au sens de


e
ee
e
Lebesgue. On tablit ainsi le thor`me suivant [Evans-Gariepy, pp. 72-75]
e
e e
e
Theor`me V-12 (densit au sens de Hausdor). Soit A Rn un ensemble
e
d
H -mesurable, avec H [A] < +, 0 < d < n. Alors pour Hd -presque tout x A,
d

2d lim sup
r0

Hd [Br (x) A]
1
(d)r d

et pour Hd -presque tout x Rn \ A,


Hd [Br (x) A]
= 0.
r0
(d)r d
lim

182

CHAPITRE V

(7 mars 2007)

Remarque V-13. Il ne faut pas tre surpris par la dissymtrie des deux noncs :
e
e
e
e
d
e
les ensembles H -mesurables de mesure nie sont tr`s petits, en particulier leur
complmentaire est toujours de mesure innie. En tous les cas, il nest pas toujours
e
vrai que Hd -presque tout point x de A soit rgulier, au sens o` on aurait
e
u
Hd [B(x, r) A]
= 1.
r0
(d)r d
lim

Un travail considrable a t accompli dans la deuxi`me moiti du vingti`me


e
ee
e
e
e
d
si`cle pour prciser lnonc ci-dessus et dcrire les ensembles H -mesurables de
e
e
e
e
e
mani`re plus prcise. De mani`re gnrale, on peut dcomposer un ensemble Hd e
e
e
e e
e
d
e
mesurable en une partie rguli`re, dont H -presque tous les points sont rguliers, et
e
e
une partie totalement irrguli`re, dont Hd -presque aucun point nest rgulier. Les
e
e
e
proprits de ces ensembles et leur description gomtrique (existence de tangentes,
ee
e e
etc.) occupent une bonne partie de [Falconer1], et constituent encore un domaine de
recherche en activit.
e
V-2.4. Gnralisation abstraite. Il est facile de gnraliser la notion de mee e
e e
sure de Hausdor a un espace mtrique X arbitraire : il sut dutiliser la formule (35)
`
e
pour A X, en prenant linmum sur tous les recouvrements de A par des parties
Bk de X, de diam`tre au plus .
e
V-3. Identication des mesures de Hausdor
Quand d nest pas un entier, il est dicile dinterprter la mesure de Hausdor Hd
e
dune mani`re intuitive ; elle dnit une sorte de volume en dimension fractionnaire,
e
e
quil vaut sans doute mieux considrer de mani`re purement formelle. En revanche,
e
e
quand d est un entier, la question se pose de savoir si on retrouve des concepts
familiers de longueur, surface, volume, etc.
Juste apr`s avoir dni la notion de mesure de Hausdor, nous avons remarqu
e
e
e
que la mesure de Hausdor 0-dimensionnelle co
ncide avec la mesure de comptage.
Nous allons maintenant voir quil y a bien identit entre les deux notions natue
relles de volume n-dimensionnel dans Rn , donnes respectivement par la mesure
e
de Lebesgue et par la mesure de Hausdor n-dimensionnelle. Nous verrons aussi
que la mesure de Hausdor 1-dimensionnelle prolonge une dnition courante de la
e
longueur.
e
V-3.1. Ingalit isodiamtrique. Soit A Rn , de demi-diam`tre r. Il est
e
e
e
clair que le volume de A est gal a (n)r n si A est une boule, mais que peut-on dire
e
`
dans le cas gnral ? On est tent de penser que A est inclus dans une boule de rayon
e e
e
r, ou r + avec > 0 arbitrairement petit, mais ce nest pas forcment le cas, comme
e
2
e
le montre lexemple dun triangle de ct 1 dans R est de diam`tre 1. Cependant,
oe
lingalit isodiamtrique assure que le volume dun tel ensemble est infrieur ou
e
e
e
e
gal a celui dune boule de mme rayon.
e
`
e
Thor`me V-14 (ingalit isodiamtrique). Soit A Rn un ensemble Lebesguee e
e
e
e
mesurable, et r son demi-diam`tre. Alors
e
n [A] (n)r n .
En dautres termes, ` diam`tre x, les boules maximisent le volume.
a
e
e

LES MESURES DE HAUSDORFF

183

Remarques V-15.
(i) On pourra comparer cet nonc ` celui de lingalit
e
ea
e
e
isoprimtrique, qui stipule qu` surface xe, les boules maximisent le voe
e
a
e
lume.
(ii) Lingalit isodiamtrique peut para vidente a premi`re vue, mais elle
e
e
e
tre e
`
e
ne lest pas, car un ensemble de diam`tre 2r ne peut pas, en gnral, sinclure
e
e e
dans une boule de rayon r.

Fig. 2. Le triangle quilatral ne rentre pas dans le disque de mme diam`tre.


e
e
e
e
Pour dmontrer le Thor`me V-14, nous utiliserons le concept utile de symtrisation
e
e e
e
de Steiner.
Dfinition V-16 (symtrisation de Steiner). Soit A Rn , et soit a Rn un
e
e
vecteur de norme 1. Soit Pa lhyperplan passant par 0, orthogonal a a. On peut crire
`
e
u
e
A comme lunion disjointe des La,z A, o` La,z est la ligne dirige par a, passant
e
par z Pa . Pour chaque z Pa , on construit le segment Az centr en z, tel que
H1 [Az ] = H1 [La,z A]. La runion disjointe des segments Az ainsi obtenus est appel
e
e
symtris de Steiner de A par rapport a lhyperplan Pa .
e e
`

Fig. 3. Reprsentation schmatique de la symtrisation de Steiner


e
e
e
Nous admettrons le lemme suivant [Evans-Gariepy pp. 67-68], que lon pourra
chercher ` dmontrer de mani`re non rigoureuse en exercice.
a e
e
Lemme V-17 (proprits de la symtrisation de Steiner). La symtrisation de
ee
e
e
Steiner rduit le diam`tre et prserve la mesure de Lebesgue.
e
e
e

184

CHAPITRE V

(7 mars 2007)

Dmonstration de linegalit isodiamtrique. Soit (e1 , . . . , en ) une base


e
e
e
n
e
`
euclidienne de R . On note Sa la symtrisation de Steiner par rapport a Pa , et
A := Sen Sen1 . . . Se1 A. Le diam`tre de A est alors infrieur ou gal a celui de A,
e
e
e
`
tandis que la mesure de Lebesgue de A est gale a celle de A ; il sut donc de
e
`
montrer le rsultat pour A .
e
Par rcurrence, et en utilisant le fait que la rexion autour de Pek laisse ej invae
e
riant pour tout j = k, on montre que A est symtrique par rapport a Pe1 , . . . , Pen ,
e
`

et donc symtrique par rapport a lorigine. Il sensuit que A est contenu dans une
e
`
boule de centre 0 et de rayon diam (A )/2. Le rsultat en dcoule.
e
e
V-3.2. Dimension n : le volume. La mesure de Hausdor n-dimensionnelle
en dimension n co
ncide avec la mesure de Lebesgue n :
Thor`me V-18 (Hn = n ). Soit A Rn un ensemble Borlien. Alors
e e
e
Hn [A] = n [A].
En particulier, si Ek est un sous-espace ane de Rn , de dimension k, alors la resa
ncide avec la mesure de Lebesgue sur Ek .
triction de Hk ` Ek co
Je vais commencer par prsenter une dmonstration simple dun nonc plus
e
e
e
e
n
faible selon lequel H est proportionnelle ` n . La dmonstration compl`te du
a
e
e
Thor`me V-18 est plus subtile et utilisera lingalit isodiamtrique.
e e
e
e
e
`
Dmonstration partielle du Theoreme V-18. Il est clair que Hn est ine
variante par translation (de mme que toutes les mesures de Hausdor sur Rn ). Pour
e
montrer que Hn et n sont proportionnelles (il existe c(n) > 0 tel que Hn = c(n) n ),
u
il sut donc de montrer que Hb [Cn ] (0, +), o` Cn = [0, 1]n .

Soit > 0, tel que 2k / n 2k+1On peut recouvrir Cn par 2nk cubes
.
n
e
de ct 2k , dont chacun aura un diam`tre n2k . Il sensuit que H [Cn ]
oe
nk nk
= C(n), o` C(n) est une constante ne dpendant que de n. En prenant
u
e
C(n) 2 2
la limite quand 0 on conclut que
Hn [Cn ] < +.
Par ailleurs, si A est un ensemble quelconque, sa mesure de Lebesgue extrieure
e
n
est majore par C (n)diam (A) , o` C (n) est le volume de la boule de rayon 2 dans
e
u
Rn . Si lon a un recouvrement de Cn par des ensembles Aj , la somme de toutes
les mesures extrieures de ces ensembles est au moins gale a celle du cube, do`
e
e
`
u
n
C (n)(diam (A))n 1. On en dduit que H [Cn ] est minor par une constante
e
e
positive indpendante de , et en faisant tendre vers 0 on conclut que
e
Hn [Cn ] > 0.
Dmonstration compl`te du Thor`me V-18. La deuxi`me partie de ce
e
e
e e
e
thor`me se dduit de la premi`re grce au caract`re intrins`que de la dnition
e e
e
e
a
e
e
e
k
de mesure de Hausdor : la restriction de la mesure de Hausdor H ` Ek est
a
e
exactement la mesure de Hausdor Hk dnie sur Ek , qui est une copie de Rk .
e
e
Soit (Ck )k1 un recouvrement de A par des ensembles de diam`tre infrieur ou
gal a . Grce a lingalit isodiamtrique, on a
e
`
a `
e
e
e
n [A]

n [Ck ]
k

(n)r(Ck )n .
k

LES MESURES DE HAUSDORFF

185

n
En passant a linmum, on voit que n [A] H [A], et donc n [A] Hn [A]. Il nous
`
reste ` montrer lingalit inverse.
a
e
e
Il est facile de montrer, en utilisant des cubes dyadiques, que

n [A] = inf

n [Qk ];

Qk , r(Qk ) ,

k=1

o` les Qk sont des cubes dyadiques de cts parall`les aux axes. Pour de tels cubes,
u
oe
e
on peut trouver une constante cn , dpendant uniquement de n, telle que
e
(n)r(Qk )n = cn n [Qk ].
On en dduit que Hn cn n .
e
Pour conclure, on admet le lemme suivant : tant donn un cube Q et > 0, on
e
e
peut crire
e
Bj N,
Q=
j1

e
o` les Bj sont des boules fermes de rayon au plus , disjointes, et N est un ensemble
u
Lebesgue-ngligeable.
e
Soit maintenant A un ensemble Lebesgue-mesurable, on choisit une famille (Ck )
de cubes Qk recouvrant A, telle que
n [Qk ] n [A] + ,
k

o` > 0 est arbitrairement petit. Pour chaque Qk on introduit une famille de boules
u
e
e
(Bk,j )j1 et un ensemble ngligeable Nk vriant les conclusions du lemme admis
ci-dessus ; en particulier, H[Nk ] cn 0 = 0. On donc
n
H [A]

Hn [Qk ] =

n [Bk,j ] =
k1 j1

H[Bk,j ] + H(Nk ))

k1 j1

k1

n [Qk ] n [A] + .

n [Bk,j ] =
k1

k1

Ceci conclut largument.


V-3.3. Dimension 1 : la longueur. On pourrait convenir a priori de choisir
e
H1 comme dnition de la longueur dune partie de Rn . Cependant, il existe une
autre notion simple et populaire de longueur, btie sur le concept de rectiabilit.
a
e
Commenons par en rappeler les proprits principales.
c
ee
Dfinition V-19 (rectiabilit). Soient I un intervalle de R et : I Rn une
e
e
courbe continue injective. On dit que est rectiable sur I si pour tout intervalle
compact [a, b] I, la quantit
e
L[a,b] () :=
N

|(tk+1) (tk )|;

sup

a = t0 t1 . . . tN tN +1 = b,

N N

< +

k=0

o` le supremum est pris sur toutes les subdivisions nies (a = t0 , t1 , . . . , tN , tN +1 = b)


u
de [a, b]. On appelle alors
L() := sup L[a,b] ()
[a,b]I

186

CHAPITRE V

(7 mars 2007)

la longueur de .
En dautres termes, la longueur dune courbe est le supremum de toutes les
longueurs des approximations polygonales de cette courbe.

(t3 )
(t2 )
(t1 )
(t0 )

Fig. 4. Approximation polygonale dune courbe


e
e
Remarques V-20.
(i) Par dnition, L[a,b] () est toujours suprieur ou gal
e
a
` |(b) (a)|, et on peut vrier quil y a galit quand la courbe est une
e
e
e
fonction ane : la ligne droite est bien le plus court chemin entre deux points !
(ii) On gnralise sans dicult cette notion a un espace mtrique abstrait.
e e
e
`
e
Noter lhypoth`se dinjectivit faite dans la dnition : des maux de tte sene
e
e
e
suivraient si on devait prendre en compte la multiplicit ; ou alors il faudrait bien
e
prendre garde ` dnir la longueur de la courbe , et non simplement de son image
a e
([a, b]). Dans cette partie, pour simplier, nous ne travaillerons quavec des courbes
injectives.
Une courbe tant donne, on appelle reparamtrage de toute courbe (ine
e
e
jective) , dont limage est la mme que celle de . On note que la longueur est
e
invariante par reparamtrage.
e
Si est une courbe rectiable dnie sur un intervalle I, et x0 est un point arbie
traire de I, alors on peut dnir un reparamtrage privilgi de , dit paramtrage
e
e
e e
e
par longueur darc : on dnit la longueur oriente ` partir de x0 par
e
e a
x0 (x)

(x x0 )
L[x0 ,x] ()
L[x,x0] ()(x < x0 )

on vrie que la fonction x0 est continue et strictement croissante, en particulier


e
inversible sur son image. On dnit alors le reparamtrage par
e
e
(x0 +

x0 (x))

= (x),

(x) = L[x0 ,x] ()).

Les proprits suivantes dcoulent presque immdiatement de la dnition.


ee
e
e
e
Proposition V-21 (proprits du paramtrage par longueur darc). Soit :
ee
e
I R une courbe paramtre par longueur darc. Alors pour tout [a, b] I,
e e
L[a,b] () = b a;

LES MESURES DE HAUSDORFF

187

En particulier,
|(b) (a)| b a,

(36)
et

L() = |I|.
Le thor`me suivant montre que la dimension de Hausdor de dimension 1 est
e e
une gnralisation du concept de rectiabilit.
e e
e
e
Theor`me V-22 (L = H1 ). Soient I un intervalle de R, et : I R une
courbe injective rectiable. Alors
H1 [(I)] = L().
Dmonstration. Sans perte de gnralit, on supposera que est paramtre
e
e e
e
e e
e
par longueur darc. Si (Ak )kN est un recouvrement de (I), on dnit un recouvrement (Bk )kN de I en dnissant Bk := 1 (Ak ). lingalit (36) implique alors que
e
e
e
diam (Bk ) diam (Ak ). En utilisant les dnitions des mesures de Hausdor, on en
e
dduit
e
H1 ((I)) H1 (I) = |I| = L().
Pour tablir lingalit inverse, commenons par remarquer que H1 (([a, b]))
e
e
e
c
|(b) (a)|. En eet, si est la projection orthogonale de ([a, b]) sur la ligne
droite joignant (a) et (b), alors rduit les distances, donc, par dnition des
e
e
1
1
1
mesures de Hausdor, H (([a, b])) H ((([a, b]))) = H ([(a), (b)]). On peut
identier la droite passant par (a) et (b) a R ; en utilisant alors lidenti H1 = 1 en
`
e
1
dimension 1, on constate que H ([(a), (b)]) nest autre que la longueur du segment
[(a), (b)], i.e. |(b) (a)|.
Enn, soit [a, b] I et soit a = t0 t1 . . . tN tN +1 = b une subdivision de [a, b] ; cette subdivision dcoupe lintervalle I en sous-intervalles ouverts
e
e
I0 , I1 , . . . , IN +1 , IN +2 . Les points tant de mesure de Hausdor H1 nulle, on a
H1 ((I)) =

N +2

k=0

H1 ((Ik ))

N +1

k=1

H1 ((Ik ))

|(tk+1 ) (tk )|.


k=0

En prenant le supremum sur toutes les subdivisions possibles, puis sur [a, b] I, on
conclut que
H1 ((I)) L(),
ce qui ach`ve la preuve.
e
V-3.4. Autres dimensions enti`res. Nous venons de voir que la mesure de
e
Hausdor n-dimensionnelle sidentie ` la mesure de Lebesgue, i.e. au volume na
dimensionnel, et que la mesure de Hausdor 1-dimensionnelle sidentie ` une notion
a
de longueur, au moins dans le cas des courbes rectiables. Il convient dtre plus
e
prudent en ce qui concerne les autres dimensions enti`res ! Appliques ` des objets
e
e a
susamment rguliers, les mesures de Hausdor donneront les rsultats attendus :
e
e
e
par exemple, la mesure H2 dnit une notion de surface, etc. Cependant, pour des
objets irrguliers, ces notions peuvent ne pas recouper les autres notions en vigueur...
e
Cette remarque vaut aussi pour la dimension 1, dans le cas dobjets peu rguliers.
e
Le cas le plus frappant est celui o` d = n 1. Soit A Rn une partie comu
pacte (pour simplier), comment dnir la surface (ou volume n1-dimensionnel)
e
S(A) de son bord A ? Il existe trois dnitions, plus ou moins naturelles selon les
e

188

CHAPITRE V

(7 mars 2007)

contextes. La premi`re fait intervenir les mesures de Hausdor, la deuxi`me est


e
e
une dnition possible de ce que lon appelle parfois contenu de Minkowski, et la
e
troisi`me est naturelle en thorie des distributions, ou en physique mathmatique.
e
e
e
(i) S(A) := Hn1 (A) ;
(ii) S(A) := lim inf
0

n [A ] n [A]
;

(iii) S(A) := sup


A

J; J Cc (Rn ; Rn ), |J| 1 , o` le supremum est pris


u

a
sur lensemble des fonctions J de Rn dans Rn , de classe C et ` support compact,
bornes par 1 en norme, et on a not
e
e
n

J =
k=1

Jk
xk

la divergence de J.
Cest probablement la formule (ii) qui est la plus intuitive, et la plus simple `
a
se reprsenter visuellement. Dautre part, le lecteur qui se souvient de la formule
e
de Green-Ostrogradski ne sera pas surpris par lapparition de loprateur divergence
e
dans la formule (iii) ; en eet, cette formule nonce que, sous des conditions de
e
rgularit susante,
e
e
J =
A

J(x) N(x) d(x),


A

o` N(x) dsigne la normale a A en x et ... la mesure de surface sur A.


u
e
`

Fig. 5. Surface au sens de Minkowski : laccroissement innitsimal


e
du volume est donn par le produit de la surface par la largeur
e
dpaississement
e
Les trois dnitions prcdentes de la surface de A peuvent donner des rsultats
e
e e
e
dirents pour des ensembles A pathologiques. Il convient donc dtre prudent
e
e
quand on parle de surface k-dimensionnelle dans un contexte peu rgulier, et prciser
e
e
le cas chant de quelle surface il sagit.
e e

LES MESURES DE HAUSDORFF

189

V-4. Dimension
V-4.1. Echelle des mesures de Hausdor. La proposition suivante tablit
e
le fait intuitif que si une dimension convient pour valuer la taille dun objet, les
e
dimensions suprieures sont trop grossi`res (ainsi, si une courbe a une surface poe
e
sitive, sa longueur doit tre innie ; si elle a une longueur nie, sa surface doit tre
e
e
nulle).
Proposition V-23 (au plus une dimension donne une mesure non triviale). Soit
A Rn ; alors
(i) si Hd [A] < + pour un certain d 0, alors Hd [A] = 0 pour tout d > d ;
(ii) si Hd [A] > 0 pour un certain d > 0, alors Hd [A] = + pour tout d < d ;
(iii) pour tout d > n, on a Hd [A] = 0 ;
Dmonstration de la Proposition V-23. Soient A Rn , d1 < d2 , et soit
e
e
(Ck )kN un recouvrement de A par des ensembles de demi-diam`tre respectif rk
/2. Alors
d
rk2 d2 d1
k

d
rk 1 .
k

Si maintenant on a H [A] < + pour un certain d > 0, alors pour tout > 0
d
on a H [A] < +, et il existe donc un recouvrement dnombrable de A par des
e
ensembles de demi-diam`tre rk /2, tel que
e
d

d
rk C < +.
k
d
Pour ce mme recouvrement, on a alors k rk Cd d 0 d`s que d > d. Cela
e
e
d
d d
d
), et en particulier H [A] = 0.
prouve que H [A] = O(
Si dautre part on a Hd [A] > 0 pour un certain d > 0, alors pour tout > 0
d
assez petit on a H [A] > 0 ; en particulier, tout recouvrement dnombrable de
e
A par des ensembles de demi-diam`tre rk /2,
e
d
rk
k

> 0,
(d)

do` , pour tout d < d,


u
d
(d )rk dd
k

(d )
+,

(d) 0

et nalement Hd [A] = +.
Lassertion (iii) a dj` t tablie ; nous allons reproduire bri`vement le raisonneeae ee
e
e
e
e
ment. Comme Rn est union dnombrable de pavs, il sut de prouver quun pav de
n
e
R est de mesure d-dimensionnelle nulle pour d > n. Puisque ce pav est de mesure
de Lebesgue nie donc de mesure d-dimensionnelle nie, (iii) dcoule de (i).
e
V-4.2. Dimension de Hausdor. Au vu de la Proposition V-23, la fonction
d Hd [A] est tr`s particuli`re : on se convainc facilement quelle vaut + quand
e
e
e
d est strictement plus petit quun certain d0 , et 0 quand d est strictement suprieur
a
` d0 .
Ceci m`ne naturellement ` la dnition de la dimension de Hausdor.
e
a
e

190

CHAPITRE V

H [A]

(7 mars 2007)

d0

Fig. 6. Graphe de Hd [A] ; Hd0 [A] peut se situer nimporte o` sur la


u
ligne pointille.
e
e
Dfinition V-24. Soit A Rn . On dnit sa dimension de Hausdor, que lon
e
note dim(A) ou dimH (A), par
dim(A) := inf{d; Hd[A] = 0} [0, n]
De mani`re quivalente, dim(A) est lunique d0 tel que Hd [A] = + pour tout
e e
d < d0 , et Hd [A] = 0 pour tout d > d0 .
La dimension de Hausdor se prte bien ` de nombreux noncs thoriques, car
e
a
e
e
e
elle est associe naturellement aux mesures de Hausdor ; en revanche elle est parfois
e
dicile a calculer. Le thor`me suivant se dduit facilement de la Proposition V-6 :
`
e e
e
e
Theor`me V-25 (dimension des graphes et images). Soit f : Rn Rm une
fonction Lipschitzienne. Soit A une partie mesurable de Rn , on note G(f, A) =
{(x, f (x)); x A} le graphe de f sur A. Alors
(i) dimH (f (A)) dimH (A) n ;
(ii) Si n [A] > 0, alors dimH (G(f, A)) = n.
Remarques V-26.
(i) On se souvient que le graphe dune fonction continue
est de mesure de Lebesgue nulle ; nous voyons ici que le graphe dune application Lipschitzienne a la dimension attendue. De mani`re gnrale, la dimension
e
e e
de Hausdor dun graphe est suprieure ou gale ` la dimension de lespace
e
e
a
de dpart ; elle peut tre strictement suprieure pour des applications qui sont
e
e
e
seulement Hlderiennes (ou encore moins rguli`res) et pas Lipschitz.
o
e
e
(ii) Lapplication de Peano montre que limage du segment [0, 1] par une application continue peut tre de dimension 2 (bien s r, cette application nest pas
e
u
Lipschitzienne !). Une trajectoire typique du mouvement Brownien plan pour
les temps t [0, 1] fournit un autre exemple de courbe dont limage est de dimension 2, cependant la mesure 2-dimensionnelle de cette image est nulle ! Les
trajectoires du mouvement Brownien ne sont bien s r pas Lipschitz, mais elles
u
sont Hlder- pour tout < 1/2 (il est naturel dimaginer que lexposant 1/2
o
est critique pour de tels contre-exemples). En revanche, limage dune courbe

LES MESURES DE HAUSDORFF

191

Lipschitz est toujours de dimension infrieure ou gale a 1. Si on consid`re une


e
e
`
e
n
fonction Lipschitz dnie sur un segment [0, 1], a valeurs dans R , son image
e
`
sera soit rduite a un point, soit de dimension 1.
e
`
(iii) En corollaire de ce thor`me, on voit que les applications bilipschite e
ziennes prservent la dimension de Hausdor (par bilipschitzienne, on
e
entend que la fonction f , suppose bijective, et sa rciproque, sont toutes deux
e
e
Lipschitz). Cest une des raisons pour lesquelles les applications bilipschitziennes constituent une notion naturelle disomorphisme dans ltude des
e
objets fractals.
V-4.3. Dimension de Minkowski. Expliquons maintenant une autre notion
populaire, souvent plus simple a calculer et antrieure ` celle de Hausdor, dite
`
e
a
dimension de Minkowski.
Commenons par nous interroger sur le moyen de faire la dirence entre un
c
e
objet monodimensionnel et un objet bidimensionnel ? Intuitivement, le second est
beaucoup plus recouvrant ; on peut formaliser cela en considrant lensemble des
e
points qui leur sont proches. Plaons-nous dans le carr [0, 1]2 pour simplier. On
c
e
quadrille ce carr en petits sous-carrs de ct = 1/K, K
e
e
oe
1. On sattend
a
` ce quun objet monodimensionnel X rencontre environ L/ tels sous-carrs, o`
e
u
L dsigne la longueur de X, tandis quun objet bidimensionnel Y en rencontrera
e
u
e
e
e
environ S/2 , o` S dsigne laire de Y . Et si lon consid`re la runion de tous les
sous-carrs rencontrs par ces objets, sa surface est environ L dans le premier cas, S
e
e
dans le deuxi`me. Par extrapolation, on a envie de dire quun objet est de dimension
e
d si le nombre de petits carrs ncessaire ` son recouvrement est de lordre de d .
e e
a
Cette ide conduit ` la dimension de Minkowski dun sous-ensemble A de
e
a
Rn : on pose
log N (A)
,
dimM (A) = lim
0 | log |
o` N (A) est, au choix : le nombre minimal de boules de diam`tre (resp. de
u
e
cubes de ct , resp. de cubes pris parmi un rseau de ct , resp. densembles
oe
e
oe
de diam`tre ) par lequel on peut recouvrir A ; ou encore le nombre maximal de
e
points que lon peut placer dans A de telle sorte quils soient tous a une distance
`
suprieure ou gale a les uns des autres. Toutes ces quivalences sont passes
e
e
`
e
e
en revue dans [Falconer2, Chapitre 3] o` la dimension de Minkowski est appele
u
e
dimension de [comptage de] bo (box dimension). Notons que dans le cas o` la
tes
u
limite quand 0 nexiste pas, on peut toujours dnir une dimension suprieure
e
e
(resp. infrieure) en remplaant la limite par une lim sup (resp. lim inf). Enn, il
e
c
existe encore une autre faon quivalente de dnir cette dimension :
c e
e
log n [A ]
dimM (A) := n + lim
0
| log |
o` A est le -voisinage de A, i.e.
u
A := {x Rn ; d(x, A) }.
La dnition de la dimension de Minkowski est assez intuitive, et elle est souvent
e
relativement facile a calculer ou estimer ; mais elle a quelques dfauts troublants. Par
`
e
e
e e
exemple, lensemble ([0, 1] Q)2 est dense dans [0, 1]2 , et la dnition prcdente lui
attribue une dimension 2 ; pourtant, un point est de dimension 0, et dans un cadre
de mesures -additives, on trouverait naturel quune union dnombrable dobjets de
e

192

CHAPITRE V

(7 mars 2007)

dimension donne d soit galement un objet de dimension d. La conclusion est que


e
e
la dimension de Minkowski nest pas associe ` une notion naturelle de mesure.
e a
De mani`re gnrale, la dimension de Minkowski est toujours suprieure ou gale
e
e e
e
e
a
` la dimension de Hausdor ; lingalit peut tre stricte, puisque [0, 1] Q est de
e
e
e
dimension de Hausdor 0 et de dimension de Minkowski 1... Par ailleurs, la dimension
de Minkowski vrie lidentit
e
e
dimM (A B) = dimM (A) + dimM (B),
ce qui nest pas toujours vrai de la dimension de Hausdor.
On trouvera dans [Falconer2, Chapitre 3] dautres dnitions en usage de la
e
notion de dimension, et une discussion des liens qui existent entre ces notions.
V-4.4. Ensembles de Cantor. Commenons par lexemple utilis par Hausc
e
dor lui-mme pour illustrer sa notion de dimension : lensemble triadique de Cantor,
e
u
a
dni comme la limite des ensembles ferms Ck , o` C0 = [0, 1] et Ck est obtenu `
e
e
partir de Ck1 en supprimant le tiers (ouvert) central de chacune des composantes
e
connexes de Ck1. Lensemble rsultant est clairement de mesure de Lebesgue nulle,
on peut se demander quelle est sa dimension.

Fig. 7. Premi`res tapes de la construction de lensemble triadique de Cantor


e
e
Si lon prend = 3k , on voit que lensemble triadique de Cantor C dans [0, 1]
peut se recouvrir par 2k = d segments de longueur (soit des boules de rayon
/2), avec d = log 2/ log 3, et que ce recouvrement est le plus conomique que lon
e
puisse raliser. Il est facile den dduire que
e
e
log 2
.
dimM (C) =
log 3
La dimension de Hausdor est dj` plus dicile a calculer. On sait quelle nest
ea
`
pas plus grande que la dimension de Minkowski, soit log 2/ log 3. Par ailleurs, on peut
faire un calcul heuristique simple en tirant parti de la construction auto-similaire
de lensemble C et de lidentit Hd [A] = d Hd [A], facile ` vrier. Sil existe un
e
a e
exposant d tel que Hd [C] ]0, +[, alors, comme C est lunion de deux copies de
C/3, on aura
2
Hd [C] = 2Hd [C/3] = d Hd [C],
3
ce qui impose 3d = 2, i.e. d = log 2/ log 3.

LES MESURES DE HAUSDORFF

193

On est donc tent de conclure que la dimension de Hausdor de C est gale a


e
e
`
la dimension de Minkowski ! Cest eectivement le cas : le raisonnement esquiss cie
apr`s prouve en eet que pour tout recouvrement de C par une famille dnombrable
e
e
dintervalles ouverts (Ik )kN , on a

1
|Ik |d ,
2

e
e
e
et il sensuit que Hd [C] > 0. Pour tablir cette ingalit, on remarque dabord que
par compacit on peut se limiter ` une famille nie dintervalles ouverts, dont chacun
e
a
a une longueur comprise entre 3( +1) et (strictement) 3 , pour un unique = (k).
Lintervalle Ik peut alors intersecter au plus une des composantes connexes de C , et
donc pour j il ne peut intersecter plus de 2j 2j 3d |Ik |d composantes connexes
de Cj . On choisit j susamment grand pour que 3j soit plus petit que toutes les
longueurs |Ik | ; alors toutes les composantes connexes de Cj doivent tre intersectes
e
e
par les Ik , il y en a 2j , et on a donc
2j

(nombre de composantes connexes intersectes par Ik )


e
k

2j 3d |Ik |d ,

do` k |Ik |2 3d = 1/2.


u
Avec un peu plus deorts, on peut montrer que Hd [C] = 21d , qui constitue une
sorte de mesure de la taille de C en dimension d. Notons que lon ne peut utiliser la
-additivit pour cela : pour tout k, on a Hd [Ck ] = +...
e
Le contenu de Minkowski permet, ici encore, de prdire le rsultat de mani`re
e
e
e
tr`s simple : par dnition, le contenu de Minkowski dun sous-ensemble de dimension
e
e
d de Rn est le produit de (n) par le coecient dominant de N quand 0, et
fournit une sorte de volume d-dimensionnel qui cadre bien avec lintuition que lon se
fait des notions de longueur, surface, etc. Ici on a (1) = 2 et N 2d d , de sorte
que le contenu de Minkowski co
ncide bien Hd [C]. Malheureusement, cette galit
e
e
nest pas la r`gle...
e
On note que du point de vue topologique, lensemble triadique de Cantor est
totalement discontinu : bien quil ne soit pas dnombrable, il ne contient aucun
e
segment, et toutes ses composantes connexes sont donc des points. Du point de vue
topologique, il est naturel de lui attribuer une dimension nulle ! On peut montrer
dailleurs que cest le cas de toute partie dont la dimension de Hausdor est strictement infrieure ` 1 [Falconer2, Proposition 2.5]. On peut mettre cette remarque en
e
a
regard de la suggestion de Mandelbrot, selon laquelle on pourrait dnir un objet
e
fractal comme un objet dont la dimension de Hausdor est strictement suprieure `
e
a
la dimension topologique.
De mani`re gnrale, on appelle ensemble de Cantor un espace topologique come
e e
pact totalement discontinu (dont les composantes connexes sont des points) et sans
e
point isol (un point x0 dun espace X est dit isol sil existe un voisinage V de x0
e
qui ne rencontre X quen x0 ). Ces ensembles jouent un rle important dans diverses
o
branches des mathmatiques ; on peut en construire de nombreux exemples par des
e
variantes du procd de construction diadique de Cantor. Voici quelques exemples
e e
intressants :
e

194

CHAPITRE V

(7 mars 2007)

- On coupe le segment [0, 1] en k segments (k 3, supposons k impair pour simplier), on limine les k 2 intervalles centraux pour ne garder que les deux segments
e
extrmes. On coupe chacun des segments ainsi obtenus en k parties gales, et sur ces
e
e
k parties on limine les k 2 parties centrales. Et ainsi de suite ! On construit de la
e
sorte un ensemble de Cantor k-adique n de dimension log 2/ log k (arbitrairement
petite). Si au contraire a chaque tape on choisit dliminer seulement le segment
`
e
e
central, lensemble limite C est un ensemble de Cantor k-adique gras de dimension
log 2/ log c(k), o` c(k) = (2k + 1)/k est le coecient de proportionnalit permettant
u
e
de passer de lensemble ` sa composante gauche (C = c(k)(C [0, 1/2])) ; comme
a
c(k) 1 pour k , lensemble ainsi construit est de dimension arbitrairement
proche de 1.
- On coupe le segment [0, 1] en trois tiers, on limine le tiers central. On coupe
e
chacun des segments ainsi obtenus en cinq parties gales, et sur ces cinq parties on
e
limine les trois parties centrales. On coupe chacun des segments ainsi obtenus en
e
sept parties gales, et sur ces sept parties on limine les cinq parties centrales. Et
e
e
ainsi de suite ! On construit de la sorte un ensemble de Cantor non dnombrable
e
mais extrmement n, en fait de dimension 0.
e
- On construit un Cantor triadique sur [0, 1/2], un Cantor 5-adique gras sur
[1/2, 3/4], un Cantor 7-adique gras sur [3/4, 7/8], un Cantor 9-adique gras sur
[7/8, 15/16], etc. Lensemble ainsi obtenu est de mesure de Lebesgue nulle, comme
union dnombrable densembles de mesure nulle ; mais il sera de dimension 1, puisque
e
la mesure d-dimensionnelle dun Cantor k-adique gras est + pour d > log 2/ log c(k).
V-4.5. Autres exemples. Le ocon de von Koch dans R2 est lun des fractals
les plus simples et les plus cl`bres : partant dun triangle quilatral, on construit
ee
e
e
sur chaque ct un triangle quilatral plus petit dun facteur 1/3, pointant vers
oe
e
e
lextrieur. Puis on recommence.... La fronti`re de la gure limite est appele ocon
e
e
e
de von Koch (voir [Falconer2], p.xv). Il nest pas tr`s dicile de montrer que sa
e
dimension fractale est log 4/ log 3, ce qui correspond au fait qu` chaque tape on
a
e
remplace chaque segment de longueur par quatre segments de longueur /3 (comparer au Cantor triadique, dans lequel on remplaait chaque segment de longueur
c
par deux segments de longueur /3).

Fig. 8. Brique lmentaire de la construction du ocon de von Koch


ee
Ici encore, la dimension de Hausdor est strictement suprieure ` la dimension
e
a
topologique naturelle qui est 1. En particulier, le ocon de von Koch est de longueur innie, et de surface nulle. Selon une argumentation cl`bre de Mandelbrot,
ee
avec une bonne approximation on peut considrer quun objet tel que la cte de la
e
o
Bretagne prsente le mme comportement : sauf a aller a des chelles ridiculement
e
e
`
`
e
prcises (de lordre du rocher), il est impossible de mesurer sa longueur ; des estie
mations de la dimension de cette cte ont mme t proposes. Dautres fractals
o
e
ee
e
cl`bres se trouvent dans [Falconer2], comme les ensembles de Julia, de Mandelbrot,
ee
ainsi que de nombreux fractals alatoires.
e

LES MESURES DE HAUSDORFF

195

Le calcul de la dimension des fractals a motiv le dveloppement de mthodes de


e
e
e
calcul de la dimension de Hausdor, passes en revue dans [Falconer2]. On mentione
nera en particulier la puissante et lgante technique de la distribution de masse
ee
(pp. 6466) : tant donn une partie A de Rn , si lon peut trouver une mesure de
e
e
probabilit sur A telle que
e
d(x) d(y)
< +,
|x y|s
AA
alors dimH (A) s.
Malgr ces mthodes, le calcul de la dimension de Hausdor est parfois un cassee
e
tte insoluble. Voici un exemple simple discut en pp. 148153 de ce mme oue
e
e
vrage : sur le segment [0, 1] dnissons, pour > 1 et s ]1, 2[, la fonction
e

fs, : t

(s2)k sin(k t).

k=1

Cette fonction, dite fonction de Weierstrass, est continue (elle est donne par un
e
dveloppement en srie absolument convergent) mais direntiable nulle part sur
e
e
e
[0, 1] (noter que la srie des drives est violemment divergente ; cela ne constie
e e
tue bien s r pas une preuve, mais rend plausible la non-direntiabilit). Il est
u
e
e
prouv dans [Falconer2] que pour assez grand, la dimension de Minkowski du
e
graphe de fs, est exactement s. On conjecture que la dimension de Hausdor a la
mme valeur, mais cela nest toujours pas dmontr (il est connu cependant que
e
e
e
lim dimH (G(fs, , [0, 1])) = s).
V-5. Utilisation dans les changements de variables
Les mesures de Hausdor sont particuli`rement utiles pour noncer des changee
e
ments de variables de Rm dans Rn de mani`re unie. Ce sont les fameuses formules
e
e
de laire et de la co-aire. On les donne ici sans preuve ; le chapitre 3 de [EvansGariepy] leur est enti`rement consacr.
e
e
Thor`me V-27 (formule de laire). Soit T : Rn Rm une application Lipe e
schitzienne, avec m n, et soit A Rn un ensemble Lebesgue-mesurable. Alors
| det T | =
A

Rm

H0 [A T 1 {y}] dHn(y).

e
Theor`me V-28 (formule de la co-aire). Soit T : Rn Rm une application
Lipschitzienne, avec m n, et soit A Rn un ensemble Lebesgue-mesurable. Alors
| det T | =
A

Rm

Hnm [A T 1 {y}] dy.

Exemple V-29. Soit f : [0, 1] Rn une courbe Lipschitzienne simple ; alors on


a, par la formule de laire,
1
0

|f (s)| ds =

Rm

1f ([0,1]) dH1 (y) = H1 [f ([0, 1])],

ce qui identie encore H1 avec lune des notions naturelles de longueur dune courbe.