Un contre-exemple pour le thorme de Sard

Alain Pommellet
Professeur de mathmatiques spciales, lyce Saint-Louis
Rsum:
Construction d'une fonction continment diffrentiable dont l'image des points critiques n'est pas
de mesure de Lebesgue nulle.

1 Les hypothses du thorme de Sard
2 Ensembles de Cantor rguliers
3 La construction fondamentale
4 Le contre-exemple
Bibliographie

1 Les hypothses du thorme de Sard
Etant donns , un ouvert de et une application diffrentiable de dans
, le thorme de Sard, dans sa forme usuelle, affirme que l'image de l'ensemble des points
critiques de -- c'est--dire des points tels que la diffrentielle de en n'est pas surjective
-- est de mesure nulle, pourvu que soit de classe (Voir Abraham - Robbins, Tansversal
Mappings and Flows, [1], p. 37). Ce fait est fondamental pour les thories du degr et de la
transversalit.
Une version plus fine dit que ce rsultat reste vrai lorsque est de classe avec
, et l'on sait qu'il existe des contre-exemples si cette dernire condition n'est
pas vrifie, voir par exemple Dieudonn lments d'Analyse, tome III, [2] p. 164 ex. 3 ; on peut
aussi consulter Federer, Geometric Mesure Theory [3], 3.4. p. 310 et suivantes, pour des rsultats
trs gnraux. La construction de ces contre-exemples est toutefois fort dlicate, et fait appel au
difficile thorme de prolongement des applications diffrentiables de Whitney. Le but de cet
article est de donner un contre-exemple au thorme de Sard dans le cas o , et
; la construction de ce dernier est fonde sur une ide qui circule depuis un moment dans
le milieu des gomtres diffrentiels, mais dont je ne connais pas de mise en uvre lmentaire
dans la littrature. Sa principale vertu est la simplicit.

2 Ensembles de Cantor rguliers
Dans tout ce qui suit, dsigne la mesure de Lebesgue sur . En particulier, si est un
intervalle rel, est la longueur de cet intervalle.
Le lecteur est suppos familier de la construction des ensembles de Cantor, largement explicite
dans une note de cours qui figure dans ce mme numro.
Page 1sur 5 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=65&Type=enonce&Num=0&Mode=...
L'espace de dpart est le segment . Etant donn un nombre rel , on retire dans un
premier temps de l'intervalle ouvert mdian de longueur , ce qui laisse deux
segment et de mme longueur . On procde de mme avec ces deux segments,
leur retirant l'intervalle ouvert mdian de longueur , ce qui laisse quatre
segments de longueurs . Poursuivant les bissections sucessives, nous
obtenons des segments deux deux disjoints , et des intervalles ouverts
, tels que
Thorme 1 1) Pour tout convenable, est la runion disjointe de ,
et ;
2) et
3) L'intersection des ensembles est un compact, sans point isol, et de
mesure nulle.
Dmonstration. Ces proprits sont dmontres, et bien d'autres encore, dans la note jointe
Ensembles de Cantor de ce numro ; vrifions tout de mme 2) par rcurrence :
Si , il vient par construction, puis


De l, il rsulte que tend vers , et de ce fait, par intersection dcroissante
d'ensembles de mesure finie, .
Remarque. Il est essentiel de constater qu'ici, pour petit, les ouverts en jeu sont petits au dpart
mais dcroissent assez lentement, le phnomne inverse ayant lieu lorsque est proche de .
Lorsque , on note , ou simplement s'il n'y a pas d'ambigut, l'ensemble des
couples tels que . On dispose alors du
Thorme 2 1) Pour tout ,

Page 2sur 5 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=65&Type=enonce&Num=0&Mode=...

2) Si et sont deux nombres rels appartenant , pour tout il existe un unique
tel que .
Dmonstration. 1) Notons la runion des lorsque parcourt . Comme est
de mesure nulle, est de mesure pleine dans -- noter que l'on utilise ici le fait que
-- ce qui donne le premier point.
2) On vrifie sans peine que la donne de dtermine la suite telle que, pour tout , on a
L'existence et l'uncit de sont alors claires (voir aussi la note de cours qui suit sur
les ensembles de Cantor, notammment la ralisation des suites lors de la preuve du thorme
1).

3 La construction fondamentale
Dans tout ce qui suit, dsigne l'ensemble de Cantor obtenu avec ; les ouverts
sont nots dans ce cas ; ils sont de longueur . Un nombre tel que est
dsormais fix, et l'on note les ouverts correspondants. Enfin, pour dans on pose
; il faut observer que .
On dfinit alors la fonction de la faon suivante :
-- est nulle sur ;
-- Si , est affine sur et avec et
(faire un dessin).
Compte-tenu de la dfinition de et de , on a pour tout choix de :


De plus le fait que entrane que la suite tend vers . Cela tant, on pose, pour
:
Page 3sur 5 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=65&Type=enonce&Num=0&Mode=...


Thorme 3 1) La fonction est continue.
2) La fonction est de classe , l'ensemble de ses points critiques est et .
Dmonstration. Pour le premier point, on envisage divers cas selon la position du point par
rapport . La continuit est claire sur la runion des divers ouverts , justement parce
qu'ils sont ouverts dans . En une extrmit droite ou gauche de l'un des , c'est galement
clair, gauche ou droite respectivement ; la continuit latrale manquante se traite comme ci-
dessous.
Supposons enfin que l'lment ne soit pas extrmit de l'un des . Alors, pour tout
, le complmentaire de la runion des pour est un voisinage de , sur
lequel la fonction positive est majore par . Comme tend vers , admet la limite en
, ce qui montre la continuit en ce point.
Soit enfin . D'aprs les rsultats prcdents (2) nous savons qu'il existe tel que
l'ensemble des indices tels que soit gal l'ensemble des
tels que . Par construction de , l'intgrale de sur est prcisment
gale la somme des mesures des lorsque parcourt , donc . Ainsi,
.

4 Le contre-exemple
Envisageons la fonction dfinie sur par , o est la
fonction dfinie dans la question prcdente. Les drives partielles de sont respectivement
, ; donc est un point critique de ssi , ce
qui revient dire que . De l, l'image par de l'ensemble de ses points
critiques n'est autre que qui contient (voir la fin de la note de
cours cite), ensemble qui n'est pas de mesure de Lebesgue nulle.

Bibliographie
1 Ralph Abraham, J oel Robbin, Transversal Mappings and Flows, W.A. Benjamin inc. New
York, 1967
2 J ean Dieudonn, lments d'Analyse, tome III, Gauthiers-Villars, 1970
Page 4sur 5 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=65&Type=enonce&Num=0&Mode=...
3 Herbert Federer, Geometric Mesure Theory, Springer, Classics in Mathematics, reprint of
the 1969 edition

Page 5sur 5 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=65&Type=enonce&Num=0&Mode=...