Академический Документы
Профессиональный Документы
Культура Документы
a brochure Lexplosion des mathmatiques , conue par la Socit mathmatique de France (SMF) et
la Socit de mathmatiques appliques et industrielles (SMAI), a t ralise avec le soutien financier du
Ministre de la Recherche et du CNFM (Comit national franais des mathmaticiens).
Les diteurs remercient chaleureusement Madame Brigitte Vogler, chef de la Mission de la Culture et
de lInformation scientifiques et techniques et des Muses, au Ministre de la Recherche.
SMAI
Institut Henri Poincar
11 rue Pierre et Marie Curie
75231 Paris Cedex 05, France
Tel. 01 44 27 66 62
http://smai.emath.fr
Les titres, intertitres, textes de prsentation et lgendes ont t tablis sous la responsabilit de la rdaction.
Sommaire
5
.........................
Avant-propos
.........................
La prvision mtorologique ou climatique nest pas une mince affaire. Elle implique la modlisation
de nombreux phnomnes de natures diffrentes, et lintervention de plusieurs sciences, des mathmatiques la biologie, en passant par linformatique, la physique ou la chimie.
11
.........................
Daniel Krob
Le tlphone mobile est maintenant un objet relativement banal. Qui na jamais vu un portable ou tlphon avec ? Mais rares sont ceux qui ont une pense pour la science et la technologie mises en jeu.
15
...........................
19
.........................
Pierre Perrier
Quil sagisse de la manuvrabilit dun avion, de la tenue mcanique dune structure complique ou de
la gestion du trafic automobile, le progrs dans ces domaines ne vient pas uniquement des inventions
purement techniques. Il nat aussi de recherches abstraites, comme la thorie mathmatique du contrle.
23
.........................
Le thorme du soufflet
tienne Ghys
Une rgle, un crayon, du carton, des ciseaux et de la colle : il nen faut gure plus pour procurer aux
mathmaticiens du plaisir et de jolis problmes dont ltude se rvle souvent, aprs coup et de
manire inattendue, utile dans dautres mtiers.
28
........................
Bernard Prum
32
.........................
Stphane Mallat
Quelles soient stockes numriquement dans des mmoires informatiques ou quelles voyagent travers Internet, les images occupent beaucoup de place. Heureusement, il est possible de les condenser sans altrer leur qualit !
36
........................
Daniel Bouche
Comment chapper la dtection par un radar ? Quelle est la forme optimale dun mur anti-bruit ? Peuton amliorer les images chographiques ? Pour recevoir une rponse satisfaisante, ces questions demandent des analyses thoriques pousses.
41
.........................
Francine Delmer
Les mathmatiques ninspirent pas que les scientifiques. De nombreux artistes y ont puis la matire de
certaines de leurs uvres. La rciproque est parfois vraie aussi, comme dans le cas de la perspective, o
lart a montr le chemin des thories gomtriques.
47
.........................
Lactivit biologique de la molcule dADN dpend notamment de son agencement dans lespace et de la faon
dont elle est entortille choses qui sont du ressort de la thorie mathmatique des nuds.
51 .........................
Le philosophe et le mathmaticien
Pierre Cassou-Nogus
Tout au long de leur histoire, la philosophie et les mathmatiques ont entretenu une relation aussi troite
qunigmatique. Il faudrait revenir Platon dans le monde grec et Descartes laube de lpoque moderne.
voquons ici deux grandes figures du XXe sicle, David Hilbert et Edmund Husserl.
56
.........................
Jean-Jacques Laffont
Grce notamment Internet, les ventes aux enchres se gnralisent. La modlisation de ces procds
de vente permet de dfinir les rgles et stratgies optimales de leur utilisation.
61
.............................
Grands vins ou bons du Trsor font lobjet de ventes aux enchres. Mais quel type denchres faut-il pratiquer?
Pour le savoir, on complte les modlisations gnrales des enchres par des tudes conomtriques.
66
.........................
Jean-Christophe Culioli
Les problmes dorganisation et de planification poss une compagnie arienne sont analogues ceux
rencontrs dans dautres secteurs dactivit. La recherche oprationnelle, domaine qui concerne des
dizaines de milliers de mathmaticiens et dingnieurs dans le monde, svertue les rsoudre au mieux.
70
.........................
Maurice Mashaal
Les physiciens aspirent depuis longtemps une thorie capable denglober toutes les particules lmentaires et toutes leurs interactions. Depuis une quinzaine dannes, ils ont une piste srieuse. Pour
lexplorer, ils doivent naviguer dans des espaces hautement abstraits o mme les mathmaticiens ne
staient pas encore aventurs.
75
.........................
Franois Baccelli
Les spcialistes des rseaux de communication sefforcent de bien comprendre les proprits statistiques du
trafic de donnes quils doivent acheminer. La gestion de ces rseaux et leur dveloppement en dpendent.
80
.........................
Elys Jouini
Le monde de la finance fixe le prix des options au moyen de formules qui ont t obtenues grce des
travaux mathmatiques relativement rcents. La recherche de meilleures formules se poursuit et cela
ne concerne pas que les boursicoteurs !
84
.........................
Gilles Lachaud
Pour dtecter et corriger les invitables erreurs qui affectent les changes dinformation numrise, les spcialistes du codage numrique en appellent des mthodes abstraites qui relvent de lalgbre ou de la gomtrie.
88
.........................
Jean-Daniel Boissonnat
Reconstituer une surface en ne connaissant que certains de ses points : un problme que lon rencontre
souvent, quil sagisse dexploration gologique, darchivage de vestiges archologiques, dimagerie
mdicale ou industrielle.
92
.........................
Jean-Pierre Bourguignon
Jusque vers la fin du XIXe sicle, les gomtres , comme on appelait jadis les mathmaticiens, taient
peu nombreux. En un sicle, leurs rangs se sont considrablement renforcs. Aujourdhui, ils doivent
faire face une profonde mutation de leur discipline.
98
.........................
Maurice Mashaal
De longues annes dapprentissage et des talents vidents sont ncessaires pour qui veut faire de la
recherche fondamentale en mathmatiques. Mais les passionns ont leur disposition plusieurs filires
de formation, avec des dbouchs varis.
Avant-propos
ous vivons aujourdhui une situation pour le moins paradoxale. Les mathmatiques sont un instrument irremplaable de formation la rigueur et au raisonnement ;
elles dveloppent lintuition, limagination, lesprit critique ; elles sont aussi un langage
international, et un lment fort de la culture. Mais elles jouent en outre, par leurs
interactions avec les autres sciences, un rle grandissant dans la conception et l'laboration des objets de notre vie quotidienne. Or cet tat de fait est en gnral totalement ignor par la majorit de nos concitoyens, pour qui les mathmatiques ont souvent perdu leur sens. Il est parfois de bon ton, y compris dans des postes responsabilit,
de se vanter dtre nul en maths , ou den contester lutilit.
On peut trouver ce paradoxe et cette incomprhension des explications qui
tiennent la spcificit des mathmatiques. C'est une discipline qui se nourrit de ses
liens avec les autres sciences et avec le monde rel, mais qui galement s'enrichit ellemme : les thories ne se dmolissent pas, elles se construisent les unes sur les autres.
Rciproquement, mme si bon nombre de chercheurs en mathmatiques sont intresss avant tout par le ct intellectuel et mme esthtique de leur discipline, les applications surgissent parfois de manire inattendue. Ainsi, les applications enrichissent la
recherche, mais ne peuvent seules la piloter.
Cet quilibre subtil entre les facteurs de dveloppement interne et externe doit
absolument tre prserv. Vouloir dfinir l'activit ou la recherche en mathmatiques
par ses applications potentielles reviendrait les faire disparatre. l'oppos, privilgier l'axiomatisation, l'tude des structures et la dynamique interne de la discipline
comme l'ont fait les mathmatiques franaises partir des annes 1940, et pendant
plusieurs dcennies, a conduit retarder le dveloppement en France des mathmatiques dites appliques, contrairement ce qui se passait au mme moment aux tatsUnis et en Union Sovitique. Les facteurs de progrs sont trs souvent aux frontires
de la discipline.
Aujourd'hui, et nous nous en rjouissons, les mathmatiques ont rtabli, et parfois
cr, des liens forts avec les autres sciences et avec de nombreux secteurs conomiques.
La frontire entre mathmatiques pures et mathmatiques appliques est devenue
floue : les mathmatiques les plus fondamentales servent rsoudre des problmes de
plus en plus difficiles. Ainsi, des domaines comme la gomtrie algbrique et la thorie des nombres ont trouv des applications inattendues en thorie du codage et en
cryptographie. De mme, les liens des mathmatiques avec la finance se sont intensifis pour valuer, voire crer, des produits financiers de plus en plus complexes, en fonction des besoins et des demandes des acteurs conomiques.
Mireille Martin-Deschamps
Prsidente de la SMF de 1998 2001
Patrick Le Tallec
Prsident de la SMAI de 1999 2001
8
Partant de ltat de latmosphre suppos
connu au dbut de la priode prvoir, le
modle fait calculer par lordinateur son volution future en utilisant les lois de la dynamique et de la physique. Lvolution dans le
temps est calcule pas pas, par intervalles
de quelques minutes. Tel est le principe de la
prvision numrique du temps, un principe
connu depuis le dbut du XXe sicle mais qui
a attendu les annes 1940-1950 et les premiers
ordinateurs avant dtre mis en uvre.
10
ment en compte le caractre alatoire de la
prvision. Encore peu dveloppes, les modlisations de ce type doivent sappuyer sur des
outils trs rcents de la thorie des quations
aux drives partielles stochastiques et des
statistiques.
Claude Basdevant
Laboratoire de mtorologie dynamique,
cole normale suprieure, Paris et
Laboratoire Analyse, gomtrie et applications,
Universit Paris-Nord.
Quelques rfrences :
La Mtorologie, n 30, numro spcial sur la
prvision mtorologique numrique (2000).
M. Rochas, et J.-P. Javelle, La Mtorologie La prvision numrique du temps et du climat
(collection Comprendre , Syros, 1993).
R. Temam et S. Wang, Mathematical Problems
in Meteorology and Oceanography , Bull. Amer.
Meteor. Soc., 81, pp. 319-321 (2000).
Les dessous
du tlphone portable
Daniel Krob
Une radiographie dun tlphone mobile. Llectronique de cet appareil semble complique, mais elle ne laisse pas entrevoir les travaux
de nature mathmatique qui ont t ncessaires pour mettre au point
la tlphonie mobile. (Clich Stock Image)
12
fin, de cette mme dcennie que le GSM sest
vraiment impos comme le seul rel standard
international de tlphonie mobile. Le dveloppement actuel des rseaux mobiles de troisime gnration est dailleurs un excellent
tmoin de limportance prise par le GSM, dans
la mesure o la norme sous-jacente cette
troisime gnration, lUMTS (Universal Mobile
Telecommunications System), constitue une
extension naturelle de la norme GSM.
Une antenne relais pour la tlphonie mobile GSM, en campagne, sur exploitation agricole. (Clich REA)
13
paquet est crypt laide dun protocole cryptographique spcifi par la norme et utilisant
des clefs secrtes propres chaque oprateur
(et lon sait que les mthodes cryptographiques
reposent sur des techniques et concepts algbriques ou gomtriques souvent trs labors). La gestion de la transmission hertzienne
proprement dite ncessite elle-mme un traitement pralable de chaque paquet dinformation. Le canal hertzien est en effet soumis
plusieurs types de perturbations qui affectent les signaux mis par un portable. Par
exemple, les absorptions et rflexions des
ondes hertziennes par les btiments entranent une attnuation et un dphasage de
chaque signal mis par un portable. De mme,
chaque signal engendre de nombreux chos,
dont il faut tenir compte. Aussi, une partie de
chaque paquet dinformation est spcialement dvolue la rcupration du signal dorigine au sein de la mer dchos dans laquelle
il est noy.
Ces problmes ont bien entendu t tudis depuis longtemps, tant au niveau thorique que pratique. Les contraintes dingnierie propres aux rseaux radio-mobiles ont
nanmoins ncessit de dvelopper et dadapter une partie importante de lappareil mathmatique classiquement utilis dans ces
contextes.
14
damentales pour grer efficacement les frquences radio dont dispose chaque oprateur. Les pouvoirs publics louent relativement cher chaque oprateur la bande de
frquence quil peut utiliser ; cependant, seul
un petit nombre, de lordre de 300, de frquences est rellement utilisable au sein de
cette bande. Deux communications ralises
en mme temps par deux portables diffrents,
mais gographiquement proches, ne peuvent
tre achemines sur des frquences voisines
sous peine dinterfrences affectant la qualit des transmissions. Il est donc ncessaire
de savoir rpartir de faon optimale les frquences disponibles parmi tous les utilisateurs
qui sont bien plus nombreux que les frquences. On peut dmontrer quun tre
humain nest pas capable de rsoudre exactement ce type de problme en un temps raisonnable. Les mthodes algorithmiques, fondes sur des modles mathmatiques tels que
la thorie des graphes, ont ici t dterminantes pour raliser des logiciels de planification qui permettent effectivement de
rsoudre de manire approche ces problmes dallocation de frquences. Tous ces
problmes ont une grande importance du
point de vue industriel, et font encore lobjet de recherches trs actives.
Daniel Krob
Directeur de recherches au CNRS et
directeur du LIAFA (Laboratoire dinformatique
algorithmique : fondements et applications),
Universit Paris 7 et CNRS
Quelques rfrences :
D. Krob et E.A. Vassilieva, Performance
evaluation of demodulation methods :
a combinatorial approach ,
Proceedings of DM-CCG, Discrete Mathematics
and Theoretical Computer Science, pp. 203-214
(2001) (disponible en ligne :
http://dmtcs.loria.fr).
X. Lagrange, P. Godlewski, S. Tabbane, Rseaux
GSM-DCS (Herms, 1997).
J. G. Proakis, Digital communications
(McGraw-Hill, 3e dition, 1995).
C. Servin, Tlcoms : de la transmission
larchitecture de rseaux (Masson, 1998).
Cryptage et dcryptage :
communiquer
en toute scurit
Jean-Louis Nicolas
16
date de janvier 2002). Un informaticien astucieux, Serge Humpich, avait ainsi pu trouver
les deux nombres premiers ultra-secrets dont
le produit vaut N et les avait utiliss pour fabriquer de fausses cartes. Alors, pour garantir la
scurit de nos petits rectangles de plastique,
lorganisme de gestion des cartes bancaires a
aussitt construit de nouveaux nombres N,
nettement plus grands.
La cryptographie moderne,
au croisement des mathmatiques
et de linformatique
Cette priptie illustre limportance considrable que revt aujourdhui la science du
cryptage, cest--dire du codage de messages
en vue de les rendre illisibles par des personnes
indiscrtes. Crypter et dcrypter des messages
secrets est une activit vieille de plusieurs
sicles, voire millnaires. Et cette activit a largement dbord du cadre strictement diplomatique ou militaire pour investir des pans
entiers de lunivers des communications civiles:
procdures dauthentification, transactions
bancaires, commerce lectronique, protection
de sites et fichiers informatiques, etc.
La cryptographie a connu beaucoup
davances au cours des dernires dcennies.
Ce faisant, elle est devenue une science complexe, o les progrs sont gnralement le fait
de spcialistes ayant reu une formation pousse en mathmatiques et en informatique.
Cette spcialisation sest manifeste ds la
Deuxime guerre mondiale. On le sait aujourdhui, le dchiffrage par les Allis des messages cods par les fameuses machines allemandes Enigma a jou un rle dterminant
dans ce conflit. Or cest un minent mathmaticien britannique, Alan Turing, par ailleurs
Cryptage et dcryptage
17
18
pour ses travaux sur la cryptographie quantique. Que signifie ce terme ? Il y a quelques
annes, des physiciens et des mathmaticiens
ont imagin quil serait un jour possible de
raliser un ordinateur quantique, cest--dire
dont le fonctionnement exploiterait les lois
bizarres de la physique quantique, celles qui
rgnent dans le monde de linfiniment petit.
Or on sest rendu compte quun tel ordinateur, sil tait ralisable, serait capable de factoriser trs vite de grands nombres et rendrait
ainsi inefficace la mthode RSA. Des recherches
visant la ralisation concrte dun ordinateur
quantique ont dailleurs t publies trs
rcemment, dans la revue britannique Nature
(cf. dernire rfrence ci-dessous). Dun autre
ct, des chercheurs ont labor des protocoles de cryptographie quantique, cest--dire
des mthodes de cryptage utilisant des objets
(photons, atomes,...) obissant aux lois quantiques. Ces protocoles quantiques pourraient
garantir une scurit infaillible. Tout cela est
ltude et risque de devenir oprationnel
dans quelques annes
Jean-Louis Nicolas
Institut Girard Desargues, Mathmatiques,
Universit Claude-Bernard (Lyon 1)
Quelques rfrences :
D. Kahn, La guerre des codes secrets
(Interditions, 1980).
J. Stern, La science du secret (Odile Jacob, 1998).
S. Singh, Histoire des codes secrets (J.-C.
Latts, 1999).
J.-P. Delahaye, Merveilleux nombres premiers
(Belin/Pour la Science, 2000).
D. Stinson, Cryptographie, thorie et pratique
(Vuibert, 2001).
L. M. K. Vandersypen et al., Experimental realization of Shors quantum factoring algorithm using
nuclear magnetic resonance , Nature, vol. 414, pp.
883-887 (20 dcembre 2001).
Contrler
un monde complexe
Pierre Perrier
20
exemple la chute dun pylne), un surcrot
de consommation dnergie en un lieu donn,
peut avoir sur le rseau une cascade de consquences. Or il nest gnralement pas possible
de raliser une tude exhaustive de tous les
incidents possibles, ni de calculer exactement
chaque tape de la propagation de leffet dun
tel incident. Le nombre de possibilits explorer est gigantesque, en tout cas beaucoup trop
lev, mme pour les ordinateurs les plus puissants. On est alors conduit concevoir un
modle mathmatique qui dcrit de faon simplifie le rseau et son fonctionnement.
Moyennant des essais et des calculs dampleur
raisonnable, une telle modlisation permet de
cerner le comportement du systme, au moins
approximativement. En retour, cela peut aider
amliorer la conception des rseaux. Mais on
voudrait aussi pouvoir contrler une situation
critique, provoque par exemple par une surcharge localise ou rpartie sur une rgion
entire. Autrement dit, on voudrait savoir quel
est lenchanement des actions que le poste de
commande doit effectuer afin de minimiser les
consquences de la panne. Une telle connaissance est-elle possible, en thorie ? Existe-t-il
des stratgies de contrle optimales ? Si oui,
quelles sont-elles? Et ensuite, quels algorithmes
faut-il employer pour les vrifier par une simulation numrique, sur ordinateur, avant de tenter lessai en grandeur relle ?
Il est important de fournir un cadre dtude
rigoureux ce problme de gestion des ressources, si lon ne veut pas gaspiller lnergie,
ni tre victime de coupures de courant gnralises. On a avec cet exemple un premier
type de problmes de contrle complexe o
les mathmaticiens renfort de logique
mathmatique, de thorie des nombres, de
thorie des probabilits, danalyse et de thorie du contrle apportent leur contribution.
21
lences peuvent gner considrablement le
mouvement dun vhicule, arien ou autre.
On comprend que le contrle soit ici beaucoup plus difficile obtenir. Mais ces problmes ont une grande importance pratique.
Aussi les ingnieurs ont-ils essay, par ttonnements, et en sinspirant par exemple du vol
des oiseaux pour concevoir les avions, dassurer une certaine contrlabilit de lcoulement. Ils y ont partiellement russi en renforant notamment les bords de fuite et
dattaque des ailes, en plaant des capteurs
en des endroits peu perturbs et des actionneurs des gouvernes aux endroits sensibles, prs des bords de fuite.
Limage du haut montre un coulement fluide supersonique relativement rgulier. Dans limage du bas, laction dun petit jet de fluide
inject latralement a eu pour rsultat le dveloppement dinstabilits
dans lcoulement. Une telle manipulation illustre lide que lon peut
agir sur un coulement laide de petits dispositifs, notamment en vue
de le contrler (Clich Erwan Collin-LEA/CEAT-Universit de Poitiers).
22
quelques diximes de millimtre dpaisseur :
par exemple de petits volets ou des micromcanismes permettant de dformer localement le profil du vhicule aux points critiques
de lcoulement du fluide. En coordonnant
laction de trs nombreux micro-dispositifs de
ce genre, on obtiendrait, lchelle macroscopique, un coulement fluide ayant les proprits souhaites. Dans le domaine du
contrle de la turbulence des fluides, des
recherches mathmatiques, allies des essais
physiques ou techniques, vont ainsi ouvrir un
monde de performances inimaginables il y a
quelques annes ; un monde o, pour obtenir un mme effet, lnergie ou la taille des
dispositifs ncessaires sera diminue de plus
dun ordre de grandeur.
Quelques rfrences :
J. R. Leigh, Control theory. A guided tour (Peter
Peregrimus, Londres, 1992).
J. Zabczyk, Mathematical control theory: an introduction (Birkhaser, 1992).
J.-L. Lions, Contrlabilit exacte, perturbations et
stabilisation de systmes distribus (Masson, 1988).
Le thorme du soufflet
tienne Ghys
onstruisons une
pyramide en carton
Pour cela, on commence par dcouper
un patron SABCDE
dans une feuille de
carton comme indiqu sur la figure 1,
puis on plie le long
des lignes pointilles
et, enfin, on colle les
cts AS et ES.
Figure 1. La construction dune pyramide en carton. Dpourvu de la base ABCDA, cet objet est flexible.
prend dans la main et si on essaye de la dformer (avec douceur !), on ny parvient pas,
moins de dformer les faces en carton. De
mme, un cube en carton est rigide comme
tout le monde la souvent constat. Quen estil pour un polydre plus gnral, possdant
peut-tre des milliers de faces ? La gode de
la Villette, Paris, est-elle rigide ? Cette dernire question laisse entrevoir que le sujet de
la rigidit et de la flexibilit nest peut-tre
pas seulement thorique !
24
de football sont convexes, tandis que lobjet dessin droite de la figure 2 ne lest pas.
Le thorme tabli par Cauchy est le suivant : tout polydre convexe est rigide. Cela
signifie que si lon construit un polydre
convexe avec des polygones indformables
(en mtal par exemple) ajusts par des charnires le long de leurs artes, la gomtrie
globale de lensemble empche les jointures
de jouer. Le cornet que nous avons construit
est flexible mais cela ninvalide pas le thorme : il lui manque une face, et cest la dernire face qui rigidifie la pyramide
Faire des mathmatiques, cest dmontrer
ce quon affirme ! Or la dmonstration de
Cauchy est superbe (mme si certains ont fait
remarquer par la suite quelle tait incomplte).
Il nest malheureusement pas question dans ce
petit article de donner une ide de cette preuve,
mais jaimerais en extraire un lemme , cest-dire une tape dans la dmonstration.
Augustin-Louis Cauchy (1789-1857), lun des grands mathmaticiens de son poque. (Clich Archives de l'cole polytechnique)
Le thorme du soufflet
Pendant longtemps,
beaucoup de mathmaticiens
se sont demand si les polydres non convexes taient
galement rigides. Peut-on
trouver une preuve de la rigidit qui nutiliserait pas lhypothse de convexit ? Les
mathmaticiens aiment les
noncs dans lesquels toutes
les hypothses sont utiles pour
obtenir la conclusion. Il a fallu
attendre plus de 160 ans pour
connatre la rponse dans ce
cas particulier.
25
La gode de la Villette, la Cit des sciences Paris, est un polydre convexe form de 1730
facettes triangulaires. La rigidit des polydres articuls donne lieu un joli problme mathmatique qui a t rsolu seulement en 1997. (Clich Cosmos/R. Bergerot)
Figure 3. Si lon diminue les angles que font les segments entre eux,
les extrmits de la chane de segments se rapprochent.
26
pris ceux qui nont jamais t construits en
pratique ! Ils ont appel cette question la
conjecture du soufflet : le soufflet au coin
du feu jecte de lair quand on le presse; autrement dit, son volume diminue (et cest
dailleurs sa fonction). Bien sr, un vrai soufflet ne rpond pas au problme de Connelly
et Sullivan : il est en cuir et ses faces se dforment constamment, contrairement nos
polydres aux faces rigides.
En 1997, Connelly et deux autres mathmaticiens, I. Sabitov et A. Walz, ont finalement
russi prouver cette conjecture. Leur dmonstration est grandiose, et illustre une fois de
plus les interactions entre toutes les parties des
mathmatiques. Dans cette question minemment gomtrique, les auteurs ont utilis
des mthodes trs fines dalgbre abstraite
moderne. Il ne sagit pas dune dmonstration
que Cauchy aurait pu trouver : les techniques mathmatiques de lpoque taient
insuffisantes. Je voudrais rappeler une formule
que lon apprenait autrefois lcole secondaire. Si les longueurs des cts dun triangle
sont a, b et c, on peut calculer facilement la
superficie du triangle. Pour cela, on calcule
Le thorme du soufflet
Oui, le problme du soufflet est digne
dintrt !
Ce problme est-il utile, intressant ?
Quest-ce quun problme mathmatique
intressant ? Question difficile laquelle les
mathmaticiens rflchissent depuis longtemps, bien sr. Voici quelques lments de
rponse, quelques indices de qualit .
Lanciennet est un premier critre: les mathmaticiens sont trs sensibles la tradition,
des problmes noncs depuis longtemps, sur
lesquels des mathmaticiens de plusieurs
gnrations ont planch. Un bon problme
doit galement snoncer simplement, sa solution doit mener des dveloppements surprenants, si possible mettant en relation des
domaines trs diffrents. De ces points de
vue, le problme de la rigidit que nous
venons daborder est intressant.
La question de savoir si un bon problme
doit avoir des applications utiles dans la pratique est plus subtile. Les mathmaticiens y
rpondent de manire trs variable.
Incontestablement, les questions pratiques ,
issues par exemple de la physique, servent
bien souvent de motivation pour les mathmatiques. Parfois, il sagit de rsoudre un problme bien concret, mais le lien est souvent
plus flou : le mathmaticien ne se sert alors
de la question concrte que comme dune
source dinspiration et la rsolution effective
du problme initial nest plus la motivation
vritable. Le problme de rigidit appartient
cette dernire catgorie. Lorigine physique
est assez claire : la stabilit et la rigidit de
structures, par exemple mtalliques. Pour linstant, les exemples de Connelly ne sont daucune utilit pour les ingnieurs. Cependant,
il parat clair que ce genre de recherche ne
manquera pas, dans un avenir indtermin,
27
de permettre une meilleure comprhension
globale de la rigidit des vastes structures
constitues dun grand nombre dlments
individuels (macromolcules, btiments, etc.).
Il sagit donc de recherches thoriques et
dsintresses , mais qui ont de bonnes
chances de savrer utiles un jour
tienne Ghys
cole Normale Suprieure de Lyon,
CNRS-UMR 5669
Quelques rfrences :
M. Berger, Gomtrie, vol. 3. - Convexes et
polytopes, polydres rguliers, aires et volumes
(CEDIC/Nathan Information, 1977).
R. Connelly, I. Sabitov, A. Walz, The bellows
conjecture , Beitrge Algebra Geom., 38 (1997),
n 1, pp. 1-10.
R. Connelly, A counterexample to the rigidity
conjecture for polyhedra , Institut des Hautes
tudes Scientifiques, Publication Mathmatique
n 47 (1977), pp. 333-338.
N. H. Kuiper, Sphres polydriques flexibles
dans E3, daprs Robert Connelly , Sminaire
Bourbaki, 30e anne (1977/78), expos n 514,
pp. 147-168 (Lecture Notes in Math. 710,
Springer, 1979).
Trouver un gne
responsable de cancer
Bernard Prum
Dans cette mammographie en fausses couleurs, une tumeur cancreuse est visible en rose. Une partie des recherches sur les cancers du sein
sont consacres leur aspect gntique. La thorie des statistiques y joue
un rle capital. (Clich Kings College School/SPL/Cosmos)
29
Figure 1. Une famille o lon observe une concentration de cancers du sein. Les carrs indiquent les hommes, les cercles les femmes. Un individu est indiqu en noir sil est atteint,
barr sil est dcd. On constate que la grand-mre, une de ses filles et trois de ses petites
filles ont eu un cancer. Bien sr, chez dautres membres de la famille, la maladie peut encore
se dclarer. Cest partir de tels pedigrees que les gnticiens sont conduits supposer lexistence de gnes de susceptibilit la maladie.
30
relativement faciles localiser, les marqueurs
permettent par exemple dvaluer la ressemblance entre des rgions de chromosomes examines chez des personnes malades et apparentes. Plus grande est la similitude dune
mme rgion de chromosome chez des personnes apparentes atteintes, plus leve est
la probabilit que cette rgion porte un gne
impliqu dans la maladie.
Mais une telle analyse, statistique bien sr,
est complique par le fait que chaque parent
ne transmet pas ses enfants les chromosomes
quil a lui-mme hrits de ses parents, mais
une recombinaison de ceux-ci (figure 2). Si lon
considre deux gnes situs au dpart sur un
mme chromosome, ils pourront aprs recombinaison se retrouver sur deux chromosomes
diffrents ; la probabilit que cela arrive est
dautant plus leve que les deux gnes en
question sont loigns. Analyser le taux de
similarit le long dun chromosome, cest donc
tudier un processus alatoire. Grce la statistique des processus, on peut donc dlimiter
un intervalle dans lequel se trouve un gne
de susceptibilit. Lemploi des marqueurs a
ainsi permis lquipe amricaine de Jeff
31
Quelques rfrences :
Des ondelettes
pour comprimer une image
Stphane Mallat
Figure 1. Ces trois images illustrent la puissance des mthodes de compression actuelles. Limage originale (A) est constitue de 512 x 512 points,
chacun deux ayant un certain niveau de gris, pris dans une palette de 256 niveaux. Limage (B) est le rsultat dune compression par un facteur
8, ralise en rduisant les niveaux de gris 2 valeurs possibles seulement (noir ou blanc). Limage (C) a t obtenue de (A) par une compression
dun facteur 32 en utilisant une base dondelettes. La diffrence de qualit avec limage initiale est peine perceptible. (Illustration auteur)
33
34
des sons ou des images. Et pourtant, les ingnieurs savent bien que ces sinusodes sont loin
dtre idales pour des signaux aussi complexes
que des images: elles ne reprsentent pas efficacement des structures transitoires telles que
les contours de limage.
35
figurant dans limage des courbes gomtriques assez simples. Mettre profit ces
courbes et leur rgularit devrait donc permettre damliorer considrablement les rsultats obtenus jusqu prsent ; mais la thorie
des ondelettes nen est pour linstant pas
capable. Construire ce pont avec le monde de
la gomtrie pose des problmes mathmatiques difficiles. Cependant, lenjeu scientifique et industriel tant important, on peut
sattendre ce quil soit construit dans les dix
annes venir. En France ?
Stphane Mallat
Dpartement de mathmatiques appliques,
cole polytechnique, Palaiseau
Quelques rfrences :
B. B. Hubbard, Ondes et ondelettes - La saga dun
outil mathmatique
(Pour la Science/Belin, 1995).
S. Mallat, Une exploration des signaux en ondelettes
(cole polytechnique/Ellipses, 2000).
Y. Meyer, Ondelettes et algorithmes concurrents
(Hermann, 1992).
que loreille ne peroit pas. Lorsquelles se propagent au sein dun solide, on parle plutt
dondes lastiques, dont font partie les ondes
sismiques qui traversent lintrieur de notre
plante et que dtectent les sismographes.
Le cas des ondes lectromagntiques est
particulirement important. Ce sont des variations de champs lectrique et magntique, qui
se propagent dans le vide la vitesse de la
lumire. La lumire visible, les infrarouges, les
ultraviolets, les rayons X, les rayons gamma,
les micro-ondes, les ondes radio, les ondes
radar, tous ces phnomnes sont des ondes
lectromagntiques. Ce qui les distingue, cest
leur frquence, ou encore leur longueur
donde (quelques fractions de micromtre pour
la lumire visible, encore moins pour les ultraviolets et les rayons X et gamma, quelques
centimtres quelques centaines de mtres
pour les ondes radar et radio).
Ltude du comportement des ondes sert
non seulement comprendre la nature qui
37
Le Petit duc est un drone (petit avion tlcommand) que dveloppe Dassault
Aviation. Cest un appareil furtif: sa forme et ses matriaux sont choisis de manire
ce quil soit difficile dtecter par les ondes radar. Ce choix seffectue sur la base
de calculs compliqus portant sur la propagation dondes ; dans certains cas, la
prcision de tels calculs laisse dsirer et fait lobjet de recherches soutenues (Clich
Dassault Aviation).
38
gnralement, dailleurs, les quations aux
drives partielles reprsentent une branche
trs importante des mathmatiques, qui fait
lobjet de recherches actives depuis plus de
deux cents ans. Une fois les quations et leurs
conditions aux limites tablies, lune des premires tches du mathmaticien consiste formuler le problme en termes rigoureux et
dmontrer que les quations ont une solution,
et que si cest le cas, la solution est unique
(autrement, cela signifierait que le problme
est mal pos, que la modlisation est incomplte). Une telle tude peut tre ardue, et on
ne sait pas toujours la mener bien ; mais elle
permet de sassurer que lon ne se lancera pas
en vain dans des calculs de rsolution !
rsolution par quations intgrales. Ils ne permettaient de calculer que la diffraction par
des objets petits par rapport la longueur
donde ; de plus, ils donnaient souvent des
39
40
tions dcrivant les ondes lectromagntiques.
Lun des apports des physiciens, en particulier
lAllemand Arnold Sommerfeld (1868-1951),
a t de montrer que loptique gomtrique
est en dfinitive une manire de rsoudre les
problmes de diffraction lorsque les objets
sont infiniment grands par rapport la longueur donde.
Mais bien sr, la taille des objets rels nest
pas infinie : loptique gomtrique nest donc
quune approximation plus ou moins bonne.
Aussi a-t-elle t ensuite tendue et gnralise afin de dterminer le champ ondulatoire
aux endroits o loptique gomtrique classique prvoyait uniquement de lombre. Ces
travaux, entams dans les annes 1950, se
poursuivent ; ils permettent de disposer doutils, certes moins prcis que les mthodes de
rsolution numrique directe dquations aux
drives partielles, mais oprants dans le
domaine des courtes longueurs donde.
Malgr toutes ces avances, de nombreux
problmes ondulatoires ne sont toujours pas
rsolus de manire satisfaisante. Il en est ainsi
de la diffraction par des objets de grande taille
par rapport la longueur donde, mais de
forme complexe, avec des dtails fins par rapport la longueur donde (cas dun avion, ou
dun missile, lorsquon veut prendre en compte
leur forme dtaille au boulon prs, et non
leur allure gnrale). Il reste encore beaucoup
faire !
Daniel Bouche
CEA (Commissariat lnergie atomique),
Dpartement de physique thorique et applique,
Direction dle-de-France
Quelques rfrences :
Site Internet du projet de recherche Ondes
lINRIA:
http://www.inria.fr/recherche/equipes/ondes.fr.html
G. B. Whitham, Linear and non-linear waves
(Wiley, 1974).
D. S. Jones, Acoustic and electromagnetic waves
(Oxford University Press, 1986).
J. A. Kong, Electromagnetic wave theory
(Wiley, 1990).
E. Darve, The fast multipole method: numerical implementation , Journal of Computational
Physics, 160 (1), pp. 195-240 (2000).
D. Bouche et F. Molinet, Mthodes asymptotiques
en lectromagntisme (Springer-Verlag, 1994).
42
cette uvre offre une vision intressante du
travail de chercheur et met en exergue certaines caractristiques de ce milieu. On peut
y dceler des clins dil lhistoire rcente et
singulire du mathmaticien amricain John
Forbes Nash, des allusions celle de la dmonstration du thorme de Fermat par le chercheur anglais Andrew Wiles.
Ces trois vnements, relays par les mdias,
illustrent lactualit de la fascination rciproque
entre mathmaticiens et artistes. Continment
dans lhistoire, leurs relations parcourent lensemble des domaines artistiques et sentretiennent des niveaux trs diversifis, comme
en tmoignent philosophes, historiens de lart,
pistmologues, artistes et mathmaticiens lorsquils dbattent de leur ralit et de leur pertinence. Il ne sagira pas ici de lgitimer quelque
cration artistique par ses rfrences des thories scientifiques, ni de porter un jugement de
valeur ou de tenter une quelconque classification des pratiques mathmatiques et artistiques.
Nous nous bornerons seulement clairer ces
liens dun regard pointilliste.
43
mathmatiques sont-elles utilises, par tel art,
pour des raisons techniques ou thoriques ?
Inspirent-elles les artistes de faon mtaphorique ou symbolique ?
Le peintre Franois Morellet, dj cit, utilise au plus prs loutil mathmatique; en tmoignent ses uvres Rpartition alatoire de quarante mille carrs suivant les chiffres pairs et
impairs dun annuaire de tlphone, ironicon n 2, etc., o il suggre lide de linfini.
Selon le critique dart Gilles Gheerbrandt, chez
lui, les mathmatiques (lmentaires) peuvent
servir la formulation des problmes, mais elles
sont un simple outil, jamais une fin en soi .
Lartiste, de son ct, affirme utiliser les mathmatiques pour chapper toute subjectivit
ou affectivit, pour garder une distance vis-vis de luvre, pour la dsensibiliser; il renoue
ainsi avec la vieille idologie platonicienne
44
consistant dnoncer les charmes de lart qui
ne seraient que tromperie.
Si certains artistes usent de notions lmentaires comme rfrences ou prtextes,
dautres sapproprient les principes de thories mathmatiques dans leurs fondements,
puisant alors lessence du raisonnement. Le
peintre Albert Aym, lun des exemples les
plus radicaux de plonge dans labstraction,
sappuie sur une dmarche analogue celle
de la recherche mathmatique. Rejetant les
mcanismes combinatoires, il dveloppe sa
rflexion dans des traits Approche dun
langage spcifique, Sur les paradigmes, etc.
qui donnent le cadre de son projet pictural : Je mefforce davancer dans mon travail
avec la rigueur dun scientifique mais sans me
dissocier pour autant de la passion du pote
ou du musicien . Luvre, au demeurant, peut
se passer du discours et reste intrinsquement belle , lart abstrait ntant, son sens,
pas une affaire de got mais de mthode .
Activits humaines, les mathmatiques et
les arts sont le fait dindividus plongs dans le
mme climat culturel, politique, religieux. Les
grandes ruptures de lhistoire ne laissent aucun
de ces domaines sur le bord du chemin en raison dinteractions qui semblent tributaires de
lesprit du temps. Nest-ce pas, en effet, la
lecture des crits philosophiques de Henri
Poincar, qui popularise au tournant du
XXe sicle les ides de la gomtrie non euclidienne, que les cubistes balayent la perspective traditionnelle ?
Soyons en conscients, toute volont de
fusion ou dunification entre mathmatiques
et arts serait rductrice et vaine. Cest bien la
connaissance et la curiosit qui permettent
changes et confrontations dans un abord
Quelques rfrences :
E. Valette, La perspective lordre du jour
(LHarmattan, 2000).
G. Gheerbrant, Franois Morellet , Parachute,
Montral, n 10, p. 5 (printemps 1978).
M. Loi (sous la dir. de), Mathmatiques et arts
(Hermann, 1995).
J.-L. Binet, J. Bernard, M. Bessis (sous la dir.
de), La cration vagabonde (Hermann, collection Savoir, 1980).
V. Hugo, Lart et la science (Anas et Actes Sud,
1864/1995).
M. Sicard (sous la dir. de), Chercheurs ou artistes
(Autrement, srie Mutations, n 158, 1995).
I. Xenakis, Arts/sciences. Alliages
(Casterman, 1979).
J.-M. Lvy-Leblond, La pierre de touche - la
science l'preuve (Gallimard, 1996).
J. Mandelbrot, Les cheveux de la ralit - autoportraits de lart et de la science , Alliage, 1991.
D. Boeno, De lusage des sections coniques ,
Cahiers art et science, n 5, pp. 41-54
(Confluences, 1998).
De lADN
la thorie des nuds
Nguyen Cam Chi et Hoang Ngoc Minh
Une molcule dADN circulaire et noue, vue au microscope lectronique. La topologie de la molcule
dADN influence son activit. (Clich N. Cozzarelli, universit de Berkeley)
48
cest--dire sa disposition dans lespace. En
1971, le biochimiste amricain James Wang a
mis en vidence que certaines enzymes, les
topo-isomrases, peuvent modifier la configuration topologique de lADN, par exemple
en y crant des nuds, et que la topologie de
la molcule dADN influe sur son fonctionnement dans la cellule. Ltude des configurations topologiques de lADN peut donc nous
renseigner sur la faon dont lADN intervient
dans les mcanismes cellulaires.
La topologie, que certains dfinissent
comme la gomtrie du caoutchouc
cest--dire ltude de proprits qui ne sont
pas modifies par une dformation, par une
modification des longueurs est une branche
importante et fondamentale des mathmatiques. Ses concepts et mthodes sont ncessaires quasiment tous les mathmaticiens.
La thorie des nuds en est une manation
particulire. Ne il y a environ un sicle, celleci vise tudier prcisment la structure des
nuds, et les classer. Elle a trouv des applications dans dautres disciplines scientifiques
(en chimie molculaire, en physique statistique, en physique thorique des particules,
etc.), en plus de ses liens avec dautres
domaines de la recherche mathmatique.
La question fondamentale de la thorie
des nuds est la suivante : tant donns deux
nuds (pas trop simples!) raliss par exemple
avec du fil, peut-on dire sils sont quivalents ?
En dautres termes, peut-on tirer ou dformer lun pour le rendre identique lautre,
sans rien couper ? Comme les topologues sautorisent des dformations, leur dfinition dun
nud est lgrement diffrente de celle de
lhomme de la rue : pour eux, un nud sobtient en joignant les deux extrmits du fil ;
sinon, on pourrait en tirant et en dformant convenablement le fil dnouer nim-
49
natoire de la topologie du nud). Vassiliev a
conjectur que ces invariants forment un systme complet, autrement dit que des nuds
distincts ont toujours des invariants de Vassiliev
diffrents. Bien quaucun contre-exemple nait
t trouv jusqu prsent, la conjecture reste
prouver, de mme quil reste trouver des
mthodes pour calculer de faon effective et
efficace les invariants de Vassiliev. Tout de
mme, lavance est considrable.
50
est de savoir si lon peut simuler tous ces mcanismes enzymatiques en utilisant les oprations de base introduites pour les nuds
mathmatiques. Les recherches aux frontires
entre mathmatiques des nuds et biologie
molculaire sont loin dtre puises.
Quelques rfrences :
La science des nuds , dossier hors-srie de
Pour la Science, avril 1997.
A. Sossinsky, Nuds - Gense dune thorie
mathmatique (Seuil, 1999).
D. W. Sumners, Lifting the curtain : using
topology to prob the hidden action of
enzymes , Notices of the American
Mathematical Society, 42 (5), pp. 528-537
(mai 1995).
Le philosophe
et le mathmaticien
Pierre Cassou-Nogus
52
Un des btiments de mathmatiques (lInstitut de mathmatiques appliques et numriques) de luniversit de Gttingen, aujourdhui.
Entre 1900 et 1930, Gttingen a t pour les mathmatiques un centre de renomme mondiale, grce aux efforts de David Hilbert. Les mathmaticiens y cotoyaient des philosophes et des scientifiques dautres disciplines. (Clich universit de Gttingen)
Le philosophe et le mathmaticien
en fixant les rgles que vrifient les oprations, sans considrer la nature des objets soumis ces oprations. Ainsi, une mme structure peut sappliquer des objets de nature
diffrente des nombres, des fonctions,
des transformations gomtriques, etc.
Labstraction, en mathmatiques, consiste
se dtourner, ou faire abstraction, de la
nature des objets pour ne considrer que les
relations quentretiennent ces objets. Ce point
de vue, qui merge dans lalgbre de Dedekind
et qui est rest anonyme au XIXe sicle, Hilbert
le rend explicite.
53
des axiomes. Les axiomes, cest--dire la structure, suffisent dfinir les objets et effectuer des dmonstrations sur ces objets.
Dans son axiomatisation de la gomtrie
et dans ses travaux ultrieurs, Hilbert explicite la mthode abstraite de lalgbre, la radicalise et lutilise pour produire de nouveaux
rsultats. En ralit, Hilbert parcourt et transforme, dans une perspective abstraite, toutes
les mathmatiques de son temps : la gomtrie ; lalgbre et la thorie des nombres, avec
une premire dmonstration de la conjecture de Waring en 1909; lanalyse, o il introduit les espaces de Hilbert, espaces abstraits
dont les points sont par exemple des fonctions. La mthode abstraite sera reprise,
Gttingen, par lcole dEmmy Noether et
dEmil Artin, puis, en France, par le groupe
Bourbaki. Elle nourrira ds lors toutes les
mathmatiques.
54
de prmisses dans les dmonstrations, et des
rgles pour dduire une formule dune autre.
Les mathmatiques sont remplaces par un
stock de formules. Une dmonstration consiste
en manipulations de symboles selon des rgles
explicites, abstraction faite du sens des symboles. Une dmonstration se prsente comme
un assemblage de symboles conforme des
rgles explicites, un dessin construit selon les
rgles quon sest fix. La seconde tche est
de dmontrer la non-contradiction de ces systmes formels au moyen de raisonnements
finitistes, cest--dire ne faisant pas intervenir
linfini actuel.
La premire thorie laquelle Hilbert tente
dappliquer ce programme est larithmtique,
qui comporte dj des raisonnements transfinis. Ainsi, Hilbert ouvre une thorie de la
dmonstration, qui consiste en raisonnements
finitistes portant sur les dessins qui reprsentent les dmonstrations dans un systme formel. Toutefois, en 1931, le logicien autrichien
Kurt Gdel tablit quil est impossible de prouver, au moyen de raisonnements finitistes, la
non-contradiction dun systme formel
incluant larithmtique lmentaire. Il faut
donc renoncer au programme initial de Hilbert.
La mthode abstraite et
le programme formaliste ont fascin
les philosophes
Il reste que Hilbert a russi transformer
une question philosophique, celle du fondement, en un problme mathmatique, trait
au moyen de la mthode abstraite et relevant
dune nouvelle thorie, la thorie de la
dmonstration, qui reste aujourdhui encore
vivante. En retour, la mthode abstraite et le
programme formaliste quelle sous-tend ont
Edmund Husserl (1859-1938), qui sest en partie inspir de problmatiques mathmatiques pour difier sa philosophie. (Clich AKG)
Le philosophe et le mathmaticien
55
et classer tous les systmes possibles de jugements. En outre, comme lavait montr Hilbert,
procder de faon axiomatique revient faire
abstraction de la nature des objets. Par consquent, chaque forme de thories, correspond
un domaine dobjets, dobjets quelconques
dtermins par ceci seul quils sont soumis
tel systme daxiomes. La thorie des formes
de thories reprsente donc une ontologie formelle, une thorie du pur quelque chose ,
qui vise dfinir et classer, par leur seule forme,
toutes les multiplicits possibles dobjets. La
mathmatique formelle comporte une double
orientation : elle est apophantique formelle,
lorsque le mathmaticien se tourne vers les
systmes de jugements; elle est ontologie formelle, lorsque le mathmaticien se tourne vers
les domaines dobjets. Si Husserl, qui avait tudi de prs la gomtrie du XIXe sicle, disposait des concepts de forme de thories et de
multiplicit formelle avant 1901, il est certain
que la rencontre avec Hilbert et les discussions
la Socit mathmatique de Gttingen ont
jou un rle dcisif dans llaboration dune
phnomnologie systmatique.
Hilbert a russi poser lintrieur des
mathmatiques la question du fondement des
mathmatiques. Cest lintriorisation dans les
mathmatiques dune question philosophique.
Husserl a opr l'intriorisation inverse, de la
mthode abstraite des mathmatiques dans
la philosophie. Le parcours de deux hommes,
le philosophe Husserl et le mathmaticien
Hilbert, tmoigne dune intriorisation, rciproque et concomitante, des mathmatiques
dans la philosophie et de la philosophie dans
les mathmatiques.
Pierre Cassou-Nogus
CNRS, Laboratoire Savoirs et Textes,
Universit Lille III
Quelques rfrences :
P. Cassou-Nogus, Hilbert
(Les Belles Lettres, 2001).
P. Cassou-Nogus, De l'exprience mathmatique.
Essai sur la philosophie des sciences de Jean
Cavaills (Vrin, 2001).
J.-T. Desanti, La philosophie silencieuse (Seuil, 1975).
D. Hilbert, Gesammelte Abhandlungen
(Springer, Berlin, 1931-35).
E. Husserl, Recherches logiques (tr. fr. H. Elie,
A. L. Kelkel et R. Schrer, P. U. F., 1959).
C. Reid, Hilbert (Springer, 1970).
H. Sinaceur, Corps et modles (Vrin, 1991).
Comment rationaliser
les ventes aux enchres ?
Jean-Jacques Laffont
57
lisant une analyse statistique des enchres passes, on dcouvre les faons denchrir
des concurrents ; cela permet de dterminer
une approximation de la fonction P(b), et par
suite de trouver lenchre b* qui maximise
lesprance de gain, cest--dire telle que
(v b*)P(b*) soit maximal.
Cette mthode, largement utilise et raffine de multiples faons, est toutefois extrmement nave. En effet, elle suppose implicitement que les autres enchrisseurs
nlaborent pas de stratgies et que leur comportement futur peut tre aisment dduit
de leur comportement pass. En 1961, le
58
Canadien William Vickrey (qui a reu le prix
Nobel dconomie en 1996, deux jours avant
son dcs) a pos le problme diffremment,
en faisant appel la thorie des jeux.
59
60
nomiques. Enfin, dans des circonstances plus
complexes que la vente dun simple objet, la
thorie permet de concevoir des gnralisations des simples enchres pour optimiser
davantage encore soit le revenu du vendeur,
soit le bien-tre social si lorganisateur des
enchres est un tat soucieux de cet aspect
des choses. On a ainsi pu, grce aux mathmatiques, comprendre le sens et lintrt dune
pratique ancestrale et, par suite, transformer
cette intuition humaine en un vrai outil de
dveloppement conomique.
Avec Internet et les nouvelles technologies de communication, les enchres trouvent
un champ immense dexprimentations. Le
rseau Internet offre ce systme de vente de
nouvelles possibilits, que la thorie aidera
valuer et exploiter. Par exemple, dans une
vente aux enchres, un vendeur anonyme
devrait a priori souffrir de lasymtrie dinformation lui seul connat la qualit des
biens quil vend et ne russir qu obtenir
un prix de vente trs faible; mais par des ventes
rptes dobjets de qualit a priori inconnue
des acheteurs potentiels, il va pouvoir petit
petit se construire une rputation, grce aux
commentaires quapporteront ses anciens
acheteurs. La qualit des changes pourra donc
tre amliore en crant un lieu o peuvent
se btir des rputations de qualit et dhonntet, ce quoi se prte aisment un site
Internet.
Jean-Jacques Laffont
Institut dconomie industrielle,
Universit des sciences sociales,
Manufacture des tabacs, Toulouse
Quelques rfrences :
I. Ekeland, La thorie des jeux et ses applications
lconomie mathmatique (P.U.F., 1974)
A. Cournot (1838), Recherche sur les principes
mathmatiques de la thorie des richesses
(Calmann-Lvy, Paris, rd. 1974).
J. Crmer et J.-J. Laffont, Tlphonie
mobile , Commentaire, 93, 81-92 (2001).
L. Friedman, A Competitive bidding strategy ,
Operations Research, 4, 104-112 (1956).
J. Harsanyi, Games with incomplete information
played by bayesian players , Management Science,
14, 159-182, 320-134, 486-502 (1967-1968).
J.-J. Laffont, Game theory and empirical economics : the case of auction data , European
Economic Review, 41, 1-35 (1997).
62
gagnant nexerce pas son droit, le deuxime
lot est alors mis aux enchres.
Loption dachat permet bien sr dacclrer les ventes, mais elle induit aussi une composante stratgique. Il est clair en effet que les
enchrisseurs ne se comportent pas de la mme
faon avec ou sans option dachat. Dans le premier cas, la perte du premier lot implique potentiellement la perte des deux lots si le gagnant
utilise son option, ce qui nest pas le cas en labsence doption. Quel est donc limpact stratgique de loption dachat? La prsence de loption dachat incite-t-elle les enchrisseurs
enchrir davantage que dans le cas contraire
et donc augmente-t-elle le revenu du vendeur?
Ltat franais finance sa dette en mettant des obligations appeles bons du Trsor.
Lattribution de ces obligations se fait laide
Illustrons-le par lexemple dun enchrisdune procdure denchre dite discrimina- seur dont la courbe de demande est la suitoire. Chacun des enchrisseurs, appels spcialistes en valeur du Trsor
ou SVT, tablit un
ensemble de couples prixquantit (p, Q (p)) qui
dfinit, selon le prix p
dun bon du Trsor, la
quantit Q (p) de bons
quil souhaite acheter.
Ltat ayant au pralable
annonc la quantit
totale T dobligations quil Dans une enchre uniforme sur les bons du Trsor, lenchrisseur paie la somme p*Q (p*) (aire de la
dsirait mettre, la surface hachure dans le graphique de gauche), o p* est le prix dit dquilibre dun bon, dtermin
demande agrge (la en fonction de la demande de tous les enchrisseurs, et Q (p*) la quantit de bons demande au pralable par lenchrisseur pour ce prix. Dans une enchre discriminatoire, lenchrisseur paie un prix
somme des demandes plus lev que p*Q (p*), correspondant laire hachure dans le graphique de droite. Les stratgies
individuelles des ench- des enchrisseurs ne sont pas les mmes dans ces deux types denchre.
63
64
situations domine lautre (par exemple lenchre discriminatoire permet ltat dobtenir un revenu plus important que lenchre
uniforme quelles que soient les croyances des
SVT, dfinies par la fonction f ), il est possible
de conclure. En gnral, les situations analyses sont trop complexes pour quune telle
dominance apparaisse. Nous obtenons alors
ce stade des conclusions du type : si la fonction f est celle-ci, alors Drouot a intrt maintenir loption dachat, mais si la fonction f est
celle-l, ce nest plus le cas. Le problme revient
donc celui de la connaissance effective de
cette fonction f.
Cest la confrontation entre les donnes
relles et les prvisions de la thorie qui permet de dterminer f. En effet, si lon choisit
une fonction donne f, le modle et les stratgies dquilibre calcules dans le modle de
comportement nous disent ce que les joueurs
auraient d enchrir. Il suffit alors de comparer ces prdictions calculables puisque nous
avons fait un choix pour f avec les donnes
relles. Si elles concident, cest que la fonction choisie pour f tait la bonne; sinon, il faut
recommencer avec une autre fonction.
65
Quelques rfrences :
C. Gouriroux et A. Monfort, Statistique et modles
conomtriques (Economica, 1989).
P. Fvrier, W. Roos et M. Visser, Etude thorique et empirique de loption dachat dans les
enchres anglaises , Document de travail du
CREST (2001).
J.-J. Laffont, H. Ossard et Q. Vuong,
Econometrics of first price auctions ,
Econometrica, 63, pp. 953-980 (1995).
S. Donald et H. Paarsch, Piecewise pseudomaximum likelihood estimation in empirical
models of auctions , International Economic
Review, 34, pp. 121-148 (1993).
P. Fvrier, R. Prget et M. Visser,
Econometrics of Share Auctions , Document
de travail du CREST (2001).
E. Guerre, I. Perrigne et Q. Vuong, Optimal
nonparametric estimation of first price auctions , Econometrica, 68, pp. 525-574 (2000).
W. Hrdle, Applied nonparametric regression
(Cambridge University Press, 1990).
guerre mondiale, avec les dbuts des ordinateurs et des mthodes dites de programmation linaire (voir lencadr). La recherche oprationnelle sest, depuis, beaucoup dveloppe
et a largement pntr le monde des entreprises et de lindustrie. tant donns les enjeux,
ses mthodes sont parfois confidentielles.
Pour utiliser au mieux sa flotte, une compagnie arienne doit tablir soigneusement ses
programmes de maintenance et ses programmes de vols, planifier le travail des personnels
au sol et les rotations dquipages, etc. Ce sont des problmes difficiles de recherche oprationnelle, qui font intervenir des quations plusieurs milliers dinconnues. (Clich
Air France)
67
La programmation linaire
La programmation linaire est le problme mathmatique consistant dterminer des quantits positives x1, x2, , xN qui minimisent un certain cot , suppos gal c1x1 + c2x2 + ... + cNxN, o les c1,
c2,..., cN sont des nombres connus, et les xi tant par ailleurs soumis des contraintes sexprimant par des
quations linaires (de la forme A1x1 + A2x2 + ... + ANxN = B, o les Ai et B sont des nombres connus, qui
dpendent du problme pos). De trs nombreuses questions de recherche oprationnelle peuvent se formuler
en ces termes. Si lnonc du problme de programmation linaire est relativement simple, sa rsolution ne
lest pas du tout, dautant que le nombre N dinconnues dterminer atteint, dans la pratique, plusieurs
milliers. Ce problme dapparence anodine, mais de premire importance pour les applications, est lorigine des recherches les plus fructueuses en optimisation depuis une trentaine dannes. En 1947, le mathmaticien amricain George Dantzig proposait lexcellent et encore frquemment utilis algorithme du simplexe. Dans les annes 1970 et 1980, dautres algorithmes concurrents sont apparus. Lanne 1984 a marqu
un tournant : un jeune mathmaticien travaillant aux tats-Unis, Narendra Karmarkar, dcouvrait un
algorithme de programmation linaire particulirement efficace (convergence dite polynomiale). Les ides
sous-jacentes sa mthode ont inaugur un courant de recherche trs actif (mthodes de points intrieurs),
qui a mobilis simultanment des milliers de mathmaticiens dans le monde. Grce ces efforts, lindustrie
dispose prsent dune palette dalgorithmes de programmation linaire trs performants.
68
recherche en analyse des dcisions) de luniversit de Montral, ou des socits franaises
comme Eurodecision, Ilog, ou Cosytech.
69
Quelques rfrences :
Y. Nobert, R. Ouellet et R. Parent, La recherche
oprationnelle (3e d., Gatan Morin, 2001).
R. Faure, B. Lemaire et C. Picouleau, Prcis de
recherche oprationnelle (5e d., Dunod, 2000).
AirWorthy OR dans Operational Research
and Management Science Today, numro de
dcembre 1999.
Bulletins de la ROADEF (Association pour la
Recherche Oprationnelle et lAide la
Dcision en France, issue de la refondation
de lAFCET).
De la gomtrie 11
dimensions pour
comprendre la Gense ?
Maurice Mashaal
out honnte homme sait que les scientifiques comme les physiciens ou les chimistes
utilisent des mathmatiques. Plus rares sont
ceux qui savent quel point cela est vrai, et
combien profonde est limbrication entre
mathmatiques et sciences de la nature. Galile
a dit que le livre de la Nature est crit en langage mathmatique. Cette ide, le dveloppement de la science moderne, et plus particulirement celui de la physique, semble la
confirmer pleinement. Il y a mme plus quune
confirmation : bien des penseurs stonnent
de constater que les inventions ou dcouvertes
mathmatiques ont toujours fini par servir
la description de quelque aspect des phnomnes naturels. Cest ltonnement devant la
fameuse draisonnable efficacit des
mathmatiques dans les sciences de la nature
dont parlait le physicien dorigine hongroise
Eugene P. Wigner (1902-1995).
On ne sait pas vraiment pourquoi les
mathmatiques sont si efficaces . Cest une
question encore ouverte, qui concerne la phi-
De la gomtrie 11 dimensions
71
un outil mathmatique
tant dabord invent puis
appliqu un problme de
physique. Un exemple
parmi bien dautres en
tmoigne : cest en sintressant au problme de la
propagation de la chaleur
que le mathmaticien franais Jean-Baptiste Joseph
Fourier (1768-1830) a conu
les sries de Fourier (il
sagit de sommes infinies de
fonctions
trigonomtriques), qui jouent depuis
un rle extrmement
important dans les sciences
et les techniques.
La physique du XXe sicle
est riche en interactions
avec les mathmatiques. Une myriade de galaxies trs lointaines vues par le tlescope spatial Hubble. La gravitation tant un
lment clef de la naissance et de lvolution de lUnivers, les spcialistes de cosmologie aimeraient disCest le cas avec les deux poser enfin dune description de la force de gravitation compatible avec les principes de la physique
grandes thories nes aux quantique. La thorie des cordes exaucera-t-elle ce vu? (Clich R. Williams/HDF (STSci)/NASA)
dbut de ce sicle, la thorie de la relativit dEinstein et la mcanique muler les lois de la mcanique quantique (qui
quantique. La relativit (gnrale) dEinstein se manifestent surtout lchelle atomique
est une thorie de la gravitation qui supplante et subatomique). Rciproquement, les
celle de Newton ; elle repose sur des concepts recherches fondamentales en relativit gnradicalement diffrents, lis aux gomtries rale ou en mcanique quantique ont leur
non euclidiennes, introduites au XIXe sicle, tour stimul des recherches purement mathquand personne ne souponnait que de telles matiques.
mathmatiques puissent avoir un quelconque
rapport avec la ralit. De mme, quand des
mathmaticiens ont commenc tudier les La physique des particules
espaces de Hilbert (espaces abstraits dont lmentaires, champ o se
les points peuvent tre par exemple des dploient des mathmatiques
fonctions vrifiant certaines conditions tech- trs abstraites
niques), au dbut des annes 1900, personne
Regardons dun peu plus prs lune des
ne se doutait quune vingtaine dannes plus
tard, les mathmatiques des espaces de Hilbert voies dans laquelle sest dveloppe la phyallaient constituer le cadre adquat pour for- sique quantique : ltude des particules dites
72
lmentaires et de leurs interactions. Au cours
des dcennies 1930-1950, sest labor un cadre
thorique dune grande complexit, tant du
point de vue des concepts que des techniques
mathmatiques mises en uvre, appel la thorie quantique des champs. Cest dans ce cadre,
et avec la mise en vidence de nouvelles particules grce aux acclrateurs de particules, que
les physiciens ont dcouvert que le monde des
particules lmentaires manifeste un certain
nombre de symtries. La thorie des groupes,
une importante branche des mathmatiques
fonde au XIXe sicle, a jou et continue jouer
un rle capital dans llucidation de ces symtries (abstraites pour la plupart). Cest grce
De la gomtrie 11 dimensions
quantiques de champs traditionnelles), mais
de minuscules cordes sans paisseur de
petits morceaux de ligne, en quelque sorte ;
et que les diffrentes particules observes
notre chelle correspondraient aux diffrents
modes de vibration des cordes, un peu comme
les diffrents modes de vibration dune corde
de violon correspondent aux diffrentes notes
musicales.
73
Mais comme on la dit plus haut, les thories des cordes sont trs compliques. Elles
impliquent des techniques mathmatiques
labores, souvent issues des recherches les
plus rcentes. De fait, les spcialistes qui tudient ces thories comprennent indiffremment des physiciens et des mathmaticiens
(plusieurs laurats de la mdaille Fields, la
rcompense suprme en mathmatiques, ont
consacr une part importante de leurs travaux
aux thories des cordes ; cest le cas de
lAmricain Edward Witten, ou du Russe install en France Maxim Kontsevitch). Il a t
notamment tabli que les thories
des cordes ne peuvent tre cohrentes que si lon suppose que lespace-temps possde non pas
quatre dimensions (trois dimensions pour lespace, une dimension
pour le temps), mais bien davantage : 11 dimensions aux dernires
nouvelles! Les sept dimensions supplmentaires, imperceptibles nos
Reprsentation schmatique de linteraction entre deux cordes. Au cours du temps, qui
scoule de gauche droite dans ce schma, une corde ferme balaie une surface ana- sens car elles seraient refermes sur
logue un tube.
elles-mmes en de minuscules
74
Quelques rfrences :
B. Greene, LUnivers lgant (Robert Laffont, 2000).
M. Duff, Les nouvelles thories des cordes ,
Pour la Science, avril 1998.
N. Arkani-Hamed, S. Dimopoulos, G. Dvali,
Les dimensions caches de lUnivers , Pour la
Science, octobre 2000.
I. Antoniadis, E. Cremmer et K. S. Stelle, Les
supercordes , Gazette des mathmaticiens n 87,
pp. 17-39, et n 88, pp. 95-114 (janvier et
avril 2001).
P. Deligne et al. (eds.), Quantum fields and
strings : a course for mathematicians (American
Mathematical Society/Institute for Advanced
Study, 1999).
es rseaux de
communication
(tlphone,
Internet, rseaux
locaux, etc.) ont
connu, au cours des
dernires dcennies, une expansion
phnomnale.
Pour leurs oprateurs, une question
centrale est de
savoir contrler les Le rseau Internet nest pas centralis comme ltaient autrefois les rseaux de communication. De tels chanflux dinformation gements structurels ont des rpercussions profondes sur les proprits mathmatiques du trafic de donnes.
de faon optimale, (Photo : Getty Images)
afin dviter tout engorgement et doffrir aux
Lanalyse mathmatique du trafic dans les
utilisateurs un service de bonne qualit, fiable rseaux de communication est une discipline
et rapide. Or pour concevoir des procdures dj ancienne. Elle remonte 1917, avec les traefficaces de contrle de la circulation des infor- vaux engags par lingnieur danois Agner
mations, pour dimensionner correctement les K. Erlang. Sa dmarche, poursuivie par beaulogiciels et les quipements matriels nces- coup dautres chercheurs, a fourni les principaux
saires, une connaissance approfondie des pro- outils mathmatiques de dimensionnement utiprits du trafic des communications dans de liss par les oprateurs et les constructeurs de
tels rseaux simpose.
rseaux, jusquaux annes 1990 environ.
76
Dans ses principes, la dmarche mathmatique explore par Erlang et par dautres
chercheurs et ingnieurs aprs lui est markovienne. Cela signifie quelle dcrit le trafic en sappuyant sur un modle simple de
processus alatoires, les chanes de Markov,
pour lesquelles la thorie mathmatique est
bien avance et puissante (Andre Markov
(1856-1922) tait un mathmaticien russe qui
a apport des contributions importantes la
thorie des probabilits). En simplifiant, une
chane de Markov est une suite dvnements
alatoires, dans laquelle la probabilit dun
vnement donn ne dpend que de lvnement qui prcde immdiatement. Dans
le cadre des rseaux de communication, la
dmarche markovienne dErlang suppose que
les lois statistiques caractrisant le trafic sont
des lois de Poisson ; la loi de Poisson est une
des lois de probabilit ou de statistique les
plus rpandues et les plus simples, elle tire
son nom du mathmaticien franais Denis
Poisson (1781-1840). Lhypothse poissonienne savrait justifie pour le trafic tlphonique (o les vnements alatoires sont
les appels des abonns, qui surviennent des
instants alatoires et dont la dure est galement alatoire).
Mais les rseaux de communication daujourdhui ne sont plus ceux dhier. Internet a
connu un dveloppement extraordinaire ces
cinq dernires annes (on estime que le trafic
de communications vocales reprsentait 90 %
du trafic global en 1997, 50 % en 2000, et nen
reprsentera que 10 % dici un an ou deux).
Cet essor a radicalement chang une situation
qui tait stable depuis plus dun demi-sicle.
Les raisons profondes de ce dveloppement
rapide rsident dans lutilisation, pour lacheminement de linformation et le contrle du
trafic, de nouveaux protocoles de routage (routage IP, pour Internet Protocol) et de contrle
(TCP, pour Transmission Control Protocol)
dcentraliss, qui rendent le rseau Internet
indfiniment extensible.
77
Tout nest pas clairci pour autant. Les travaux actuels se concentrent sur lexplication
des proprits statistiques du trafic aux petites
chelles de temps, la multi-fractalit en particulier. Lhypothse la plus rpandue est que
cette proprit rsulte des protocoles de
contrle utiliss, et notamment de TCP. Mais
en quoi consiste le protocole TCP, qui contrle
actuellement prs de 90 % du trafic sur
Internet ? Il sagit dun contrle de flux adaptatif, o le dbit dinformation mise par une
source est command par un algorithme qui
78
augmente linairement le dbit dmission au
cours du temps, tant quil ne se produit pas
dengorgement ; mais ds que des pertes sont
dtectes, lalgorithme rduit de moiti le
dbit dmission.
Cest ce contrle adaptatif qui rgle toute
rponse la congestion dans le rseau. Son
analyse mathmatique prsente de nombreuses difficults, en raison du caractre
dcentralis, stochastique (lencombrement
et les pertes voluent alatoirement), non
linaire (les effets ne sont pas simplement proportionnels aux causes), complexe (rseau trs
tendu, impliquant des interactions entre
nombreux routeurs intermdiaires) de la situation. Or llaboration de modles intgrant
tous ces lments est un enjeu majeur, quil
sagisse de dfinir des rgles de dimensionnement du rseau, doptimiser les dbits ou
de prdire et contrler les variations alatoires
de la qualit de service offert par le rseau
ses utilisateurs.
79
Quelques rfrences :
K. Park et W. Willinger (eds.), Self similar traffic
analysis and performance evaluation (Wiley, 2000).
P. Abry, P. Flandrin, M. S. Taqqu et D. Veitch,
Wavelet for the analysis, estimation and synthesis on scaling data , dans la rfrence ci-dessus.
F. P. Kelly, A. K. Maulloo et D.K.H. Tan, Rate
control in communication networks : shadow
prices, proportional fairness and stability ,
Journal of the Operational Research Society, 49,
pp. 237-252 (1998).
R. Riedi et J. Levy-Vehel, Fractional brownian
motion and data traffic modeling : the other
end of the spectrum , Fractals in Engineering
(Springer-Verlag, 1997).
M. Taqqu, W. Willinger et R. Sherman, Proof
of a fundamental result in self similar traffic
modeling , Computer Communication Review,
27, pp. 5-23 (1997).
F. Baccelli et D. Hong, Interaction of TCP flows
as billiards, rapport INRIA, avril 2002.
Le prix
des options financires
Elys Jouini
81
gal la diffrence entre le prix courant de
laction et K, si cette diffrence est positive,
et un gain nul sinon.
82
Supposons prsent, pour simplifier le
problme, que le march ne fonctionne qu
deux dates, aujourdhui et dans trois mois, et
que le prix S de laction dans trois mois ne
pourra prendre que deux valeurs, disons soit
100 soit 150 euros. Supposons de plus que K,
le prix dachat convenu pour laction
lchance de loption, soit compris entre la
valeur haute Sh = 150 euros et la valeur basse
Sb = 100 euros, par exemple K = 140 euros. Si
le prix de laction dans trois mois est la valeur
haute 150 euros, le dtenteur de loption
exerce son droit et lachte au prix pralablement convenu K = 140 euros ; le gain associ
loption vaut donc S h K = 150 140
= 10 euros. Si le prix de laction dans trois mois
est la valeur basse 100 euros, le dtenteur de
loption renonce exercer son droit dachat
au prix K, qui est suprieur ; le gain associ
loption est, dans ce cas, nul.
On peut dmontrer quun tel gain peut
galement tre obtenu en se constituant un
portefeuille ne comportant que des actions et
des placements (ou prts) sur le taux dintrt
du march, que lon notera ici r. Appelons C le
cot de constitution dun tel portefeuille. Deux
actifs aux rendements identiques devant avoir
le mme prix (on prouve que sinon, le principe
de non-arbitrage serait viol), on en conclut
que le prix de loption doit tre gal C.
Le cot C du portefeuille, gal celui de
loption, peut tre dtermin de faon prcise.
On dmontre que C est une moyenne pondre des paiements actualiss de loption, cest-dire une moyenne pondre des montants
(Sh K)/(1 + r) et 0/(1 + r) = 0, et que les poids
intervenant dans cette moyenne sont tels que
le prix S de laction aujourdhui est, lui-mme,
une moyenne pondre des paiements actualiss de laction (Sh/(1 + r) et Sb/(1 + r)) avec les
83
Elys Jouini
Professeur des Universits, CEREMADE (Centre
de mathmatiques de la dcision)
Universit Paris-Dauphine (Paris 9)
Quelques rfrences :
N. Bouleau, Martingales et marchs financiers
(Odile Jacob, 1998).
F. Black et M. Scholes, The pricing of options
and corporate liabilities , Journal of Political
Economy, 81, pp. 637-654 (1973).
C. Huang et R. Litzenberger, Foundations for
financial economics (North-Holland, 1988).
L. Walras, lments d'conomie politique pure ou
thorie de la richesse sociale (Corbaz, Lausanne,
1874, dition dfinitive revue et augmente par
l'auteur, LGDJ, Paris, 1952).
dune petite rayure sur un disque, dune perturbation de lappareillage, ou dun quelconque phnomne parasite pour que le message transmis comporte des erreurs, cest--dire
des 0 qui ont malencontreusement t
changs en 1 , ou inversement. Or lun des
nombreux atouts du numrique est la possibilit de dtecter, et mme de corriger, de
telles erreurs !
85
86
Olympus Mons, sur la plante Mars, est le plus grand volcan du systme solaire : environ 600 km de diamtre et 27 km de hauteur !
Cette image a t obtenue grce la sonde spatiale Mariner 9, en
1971-1972. La sonde envoyait la Terre ses informations en utilisant un code correcteur capable de corriger jusqu 7 bits errons sur
32. Dans chaque groupe de 32 bits, 26 taient des bits de contrle,
et les 6 autres constituaient linformation nette. Aujourdhui, on dispose de codes correcteurs encore plus performants. (Clich NASA/JPL)
87
Gilles Lachaud
Institut de mathmatiques de Luminy,
CNRS, Marseille
Quelques rfrences :
P. Arnoux, Codage et mathmatiques , La
science au prsent (dition Encyclopdia
Universalis, 1992).
P. Arnoux, Minitel, codage et corps finis ,
Pour la Science (mars 1988).
G. Lachaud et S. Vladut, Les codes correcteurs
derreurs , La Recherche (juillet-aot 1995).
O. Papini, Disque compact : la thorie, cest
pratique ! dans Secrets de nombres , Horssrie n 6 de la revue Tangente (1998).
O. Papini et J. Wolfmann, Algbre discrte et
codes correcteurs (Springer-Verlag, 1995).
J. Vlu, Mthodes mathmatiques pour linformatique (Dunod, 1995).
M. Demazure, Cours dalgbre primalit,
divisibilit, codes (Cassini, 1997)
Figure 1. La reconstruction dune surface partir dun chantillon de ses points : ce problme se pose dans des domaines varis .
89
Diagrammes de Vorono et
triangulation de Delaunay, deux
outils gomtriques indispensables
Pour reconstruire une surface partir dun
nuage de points qui lchantillonnent, la
grande majorit des algorithmes utilisent un
outil central en gomtrie algorithmique : la
triangulation de Delaunay, nomme daprs
Boris Delone (1890-1980), mathmaticien russe
dont le nom a t francis en Delaunay. La triangulation de Delaunay se dfinit naturellement partir de ce quon appelle le diagramme
de Vorono, du nom du mathmaticien russe
90
sujets dtude de la gomtrie algorithmique,
et cest dans les annes 1980 que lon a tabli
leur lien avec la thorie des polytopes (analogues des polydres dans les espaces de
dimension suprieure trois). Leur tude dans
le contexte de lchantillonnage des surfaces
est beaucoup plus rcente.
Quel est lintrt des diagrammes de
Vorono et des triangulations de Delaunay ?
Si E est un chantillon de n points pris sur une
surface S, on peut montrer que son diagramme
de Vorono et la triangulation de Delaunay
correspondante contiennent beaucoup dinformations sur cette surface. Lorsque lchantillonnage est suffisamment dense, on peut
fournir des approximations prcises de la surface. Par exemple, le vecteur qui joint un point
P de E au sommet le plus loign de sa cellule
de Vorono est une bonne approximation de
la normale la surface S au point P.
91
Quelques rfrences :
J.-D. Boissonnat et M. Yvinec, Algorithmic geometry (Cambridge University Press, 1998).
J.-D. Boissonnat et F. Cazals, Smooth surface
reconstruction via natural neighbour interpolation of distance functions , dans Proceedings of
the 16 th Annual ACM Symposium of
Computational Geometry (2000).
CGAL, The Computational Geometry
Algorithms Library, http://www.cgal.org.
93
La Terre vue de nuit. La rpartition mondiale des lumires nocturnes n'est pas sans rappeler celle des centres d'activit mathmatique. Pour
autant, les mathmaticiens ne travaillent pas tous la nuit ! (Clich C. Mayhew et R. Simmon/NASA-GSFC)
94
95
96
blement su prendre le virage, si lon y compare la situation avec celle des pays de mme
niveau de dveloppement, lexception peuttre dune sous-reprsentation des statistiques et de lanalyse des donnes. En
revanche, lenseignement des mathmatiques
discrtes, cest--dire portant sur les structures finies, y est toujours aussi discret : trs
peu de cursus denseignement suprieur
offrent dans ce domaine une formation suffisamment complte.
Rcemment, lors dun colloque consacr
lhistoire de la gomtrie dans la deuxime
moiti du XXe sicle, Stephen Smale, un mathmaticien amricain qui fut lun des pres de
la topologie moderne et qui sest par la suite
intress de trs prs lanalyse numrique,
fit une remarque pertinente: aujourdhui, lextraordinaire croissance des mathmatiques est
aussi assure par des personnes que les
mathmaticiens tendent ne pas reconnatre
comme faisant partie de leur communaut. Il
est vrai que les statistiques, lautomatique, la
recherche oprationnelle, la thorie du
contrle sont souvent peu reprsentes dans
les dpartements de mathmatiques des universits, alors que le cur de toutes ces disciplines est vraiment mathmatique. On pourrait en dire de mme dune bonne partie de
linformatique thorique : celle-ci entretient,
avec les mathmatiques, des liens organiques
dont la profondeur et la force ne sont pas toujours reconnues par les mathmaticiens euxmmes. Cette situation ouvre la communaut des mathmaticiens des possibilits de
croissance considrable, pourvu quils se montrent moins prompts exclure ces activits
nouvelles de leur champ. Avec plus de curiosit et douverture, il y aura davantage de stimulations et de nouveaux champs daction,
pour le plus grand bien du dveloppement
Quelques rfrences :
B. Engquist et W. Schmid (eds.), Mathematics
unlimited 2001 and beyond (SpringerVerlag, 2001).
C. Casacuberta, R. M. Mir-Roig, J. M. Ortega,
et S. Xamb-Descamps (eds.), Mathematical
glimpses into the 21 st century, Round tables held at
the 3rd european congress of mathematics (Societe
Catalana de Matemtiques, Barcelona, 2001).
97
Comment devenir
mathmaticien ?
Maurice Mashaal
u XVIIe sicle, un certain magistrat toulousain du nom de Pierre de Fermat (16011665) occupait ses heures de loisir des
recherches mathmatiques et entretenir une
correspondance leur sujet. Bien que ce ne ft
pas sa profession, Fermat ralisa des dcouvertes mathmatiques importantes. Il fut par
exemple un pionnier de lintroduction des techniques algbriques en gomtrie, et ses travaux en thorie des nombres lont rendu
clbre notamment pour une conjecture
quil formula et qui ne fut dmontre quen
1994 (celle-ci affirme que lquation xn + yn = zn
na pas de solutions x, y, z en nombres entiers
positifs ds que lentier fix n est suprieur ou
gal 3). Fermat tait, en fait, lun des plus
brillants mathmaticiens de son sicle.
Cette poque o une personne doue pouvait faire des dcouvertes significatives en
autodidacte, ses heures perdues, est rvolue. Certes, il arrive encore que des passionns de mathmatiques, dont ce nest pas la
profession, dcouvrent et prouvent ici ou l
99
licence, la deuxime par le diplme de matrise. Il peut sagir dune licence et dune matrise de mathmatiques pour qui se destine
la recherche fondamentale en mathmatiques,
ou dun deuxime cycle MASS pour ceux qui
sintressent aux mathmatiques appliques
aux sciences conomiques et sociales, ou
encore dune matrise dingnierie mathmatique, oriente vers les applications industrielles, avec un accent sur lanalyse numrique, la modlisation, linformatique, les
probabilits et les statistiques.
Le troisime cycle commence par lanne
du DEA (Diplme dtudes approfondies), dont
il existe une grande varit (en mathmatiques, il existe prs dune cinquantaine dintituls diffrents sur toute la France). Il peut
sagir de DEA encore gnralistes, couvrant
un spectre assez large des mathmatiques, ou
de DEA plus spcifiques, comme un DEA dalgorithmique ou un DEA de biomathmatiques.
Le choix du DEA est dterminant ; cest gnralement au cours de cette anne que ltudiant va entrer au contact de la recherche
mathmatique, quil va tre confront des
thmes dactualit, quil va devoir se plonger
dans des articles de recherche publis mme
trs rcemment.
Le DEA conditionne largement la suite,
savoir le doctorat qui se prpare gnralement en trois ans. Ltudiant dtermine son
champ de recherche, se trouve alors un directeur de thse et un laboratoire daccueil, puis
travaille sur le thme choisi en vue dobtenir
lui-mme des rsultats originaux, qui feront
lobjet dune ou plusieurs publications dans
les revues professionnelles. Le diplme de doctorat est dcern aprs rdaction et soutenance dune thse, en public, devant un jury
compos de spcialistes.
100
En mathmatiques, plus encore que dans les autres disciplines scientifiques, la bibliothque est un outil
essentiel pour les tudiants comme pour les chercheurs. (Clich Institut de mathmatiques-Universit
Bordeaux 1)
101
tion de lentreprise,
de lorganisme ou du
laboratoire, et en
fonction de la personne et de sa formation. Par exemple,
un ingnieur ayant
t form la
recherche au travers
dune thse de doctorat et travaillant
dans une grande
entreprise de haute
technologie peut
tre amen effectuer des recherches
de nature fondamentale.
Enfin, il faut
savoir que des formations de type ingnieur sont galement
dispenses par les universits, travers les
Instituts universitaires professionnaliss (IUP)
ou les matrises finalit professionnelle
comme les MIAGE (matrise en mthodes informatiques appliques la gestion des entreprises) et les MST (matrise de sciences et techniques). Comme les coles dingnieurs, ces
formations de type bac + 4 ne sont pas particulirement ou exclusivement centres sur les
mathmatiques. Mais un DESS (diplme
dtudes suprieures spcialises), sorte de
DEA finalit professionnelle, peut complter une telle formation et lui donner une orientation mathmatique plus marque. Il existe
ainsi des DESS de Calcul scientifique et informatique , d Ingnierie mathmatique ,
de Mathmatiques, informatique et scurit de linformation , de Modlisation stochastique et recherche oprationnelle , etc. :
le choix est vaste !
102
103
Quelques rfrences :
Infosup n 189, janvier-fvrier 2001 (Dossier
de lONISEP sur les tudes universitaires de
mathmatiques et leurs dbouchs).
Site Internet de lONISEP (Office national
dinformation sur les enseignements et les
professions) : http://www.onisep.fr.
Mathmatiques venir - o en est-on la veille
de lan 2000 ? supplment au n 75 de la
Gazette des mathmaticiens, publi par la SMF
et la SMAI (1997).