G.

Bouligand

Introduction la pense cratrice de Jacques Hadamard (18651963). Le qualitatif et le global dans son uvre gomtrique
In: Revue d'histoire des sciences et de leurs applications. 1966, Tome 19 n3. pp. 247-265.

Citer ce document / Cite this document : Bouligand G. Introduction la pense cratrice de Jacques Hadamard (1865-1963). Le qualitatif et le global dans son uvre gomtrique. In: Revue d'histoire des sciences et de leurs applications. 1966, Tome 19 n3. pp. 247-265. doi : 10.3406/rhs.1966.2499 http://www.persee.fr/web/revues/home/prescript/article/rhs_0048-7996_1966_num_19_3_2499

Introduction la pense cratrice de Jacques HADAMARD (1865-1963) Le qualitatif et le global dans son uvre gomtrique

N Versailles (8 dc. 1863), Jacques Hadamard, dont le pre enseignait le latin au lyce Louis-le-Grand, voulait d'abord suivre ses traces : il avait d'ailleurs obtenu les prix de grec et de latin au Concours gnral. Malgr quoi, en 1884, sa vocation mathmat ique s'tant affirme, il fut premier aux deux concours de Poly technique et de Normale : il opta pour cette dernire cole. Agrg en 1887, il soutenait en 1892 une thse mmorable sur un propos des plus ardus : comment tendre, si possible, une fonction donne autour d'un point, dans le plan complexe, par une srie de puis sances ? Cette attaque hardie rvla d'emble son art de pntrer en terrain vierge pour y btir une thorie fconde. En 1893, devenu matre de confrences Bordeaux, il se liait d'amiti avec le physico mathmaticien Pierre Duhem qui l'informa des problmes varis issus de la Mcanique des fluides, compressibles ou non, visqueux ou non, et mme d'autres parties de la physique. On voit alors Hadamard dployer son gnie : car, outre cet acquis physico-math matique exubrant qu'il entreprend d'exploiter ds le dbut du xxe sicle, il a, d'une part, en 1896 tir le maximum des apports de sa thse en justifiant pour les nombres premiers la rpartition limite dont s'taient approchs B. Riemann et P. Tchebitchev ; d'autre part, en une zone de la gomtrie diffrentielle tributaire de la dynamique lagrangienne, il a presque aussitt consacr deux beaux mmoires dont nous reparlerons, l'tude qualitative et globale des lignes godsiques. Mais plutt que d'numrer jusqu'au bout les produits de cet art ingalable qu'il avait de conqurir et d'organiser, je me tourne vers la pense mme qui prodiguait toute sa finesse en vue de gomtriser et s'ouvrant par l de nouvelles routes, en mnageait ses disciples.

248

revue d'histoire des sciences

Au Collge de France, les cours partir de 1909 et le sminaire partir de 1913, acquirent un rle sans prcdent. Ne pouvant ici tout dire, j'ai tent d'orienter les pages qui suivent en faisant prvaloir l'aspect gomtrique de l'uvre : ce qui m'a permis d'voquer en bref l'approche de l'analyse fonctionnelle, laquelle domine le calcul des variations et maint problme aux drives partielles. Faute de maintenir, dans les espaces rsolutifs, l'appui des figures, on y trouve mille occasions de prolonger des raiso nnements familiers de la gomtrie. Voil pourquoi, dans tous les continents, on dsirait connatre Hadamard et il n'a jamais dclin l'offre. On l'aimait et il a fait aimer notre France, pour laquelle ses trois fils donnrent leurs vies. A l'exemple de l'Acadmie des Sciences, qui l'avait lu en 1912 la succession d'Henri Poincar, beaucoup d'autres Acadmies (Lincei, Belgique, Hollande, Inde, U.R.S.S., U.S.A., Royal Society de Londres, ainsi que d'Edimb ourg...) se l'adjoignirent. Il demeure l'un des grands pionniers de la science contemporaine.

1. Les perspectives de la gomtrie aprs Riemann et Poincar A peine Hadamard, vainqueur d'obstacles svres, avait-il, par la thorie des fonctions, enrichi la thorie des nombres, il portait son effort vers la gomtrie. L'analysis situs le hantait : elle n'avait pas seulement guid Poincar, dans ses apports aux quations diffrentielles, par voie qualitative ( J. de Math., 1881-86). Un quart de sicle plus tt, Riemann avait rig en doctrine le champ, mal explor jusqu'alors, des relations de situation, en tablant sur leur caractre invariant par les transformations biunivoques et continues : son mmoire de 1857 dominait ainsi les fonctions non uniformes de la variable z = x + iy, introduites au moyen d'une inversion effectue sur telle ou telle intgrale. De tels rsultats ne pouvaient manquer d'attirer Hadamard vers un retour l'art du global, dont il avait si bien tir parti quand il ouvrait des voies au prolongement analytique en leur confrant, le premier, quelque gnralit. Or, on en juge d'emble, un tel pouvoir est galement requis en faveur de tout progrs, quand il s'agit d'obtenir un minimum de longueur pour un arc tracer entre deux points marqus sur une surface donne, ou bien encore un minimum d'aire pour une surface construire, en lui assignant '

INTRODUCTION A LA PENSE CRATRICE DE JACQUES HADAMARD

249

comme bord un cycle donn. La distinction faire entre le global et le local n'est pas moins urgente pour comprendre le phnomne d'unilatralit affectant le ruban de Mbius, regard comme un tout. 2. Les exigences de la recherche et la qute de nouveaux principes Ce bref liminaire fait apparatre un dsir d'innover et, par l mme, de rajeunir les mthodes. A qui se donne pour objet l'atteinte du global, il en faut prvoir les difficults, plus encore, entrevoir dj quelques moyens de les tourner. Quand il s'agit de minimum, va-t-on miser sur une approche par des lignes polygonales dans le cas d'un arc, par des surfaces polydrales dans l'autre cas cit ? Ou bien, vaudrait-il mieux passer de tel problme soluble tel autre, conservant divers aspects du premier ? Par exemple, ayant pu construire un triangle plan, qui remplit telles conditions, pourrait-on rsoudre le mme problme sur la sphre ? Pourtant, la demande est troublante, car les mots entre guillemets, acceptables au cours d'un avant-projet, vaga bondent un peu trop : la cration mathmatique devant, en fin de compte, se plier la logique , il faudrait au pralable dfinir les mots le mme problme . Sans nul doute, voil bien une dmarche ne pas ngliger, ds que prend corps la phase prparatoire de la recherche. Mais, d'un autre ct, ladite phase est un intermd iaire irremplaable. On ne pourrait donc, titre exclusif, concder la logique le rle d'un outil permanent. 3. Le besoin une initiation prcoce On voit maintenant pour quelle raison Hadamard voulait parer une lacune de ce genre quand, au lyce Buffon, il avait charge d'lves entre quinze et dix-huit ans (priode 1890-93). A ct de la logique, il fallait mettre en ligne de compte un autre appui, beaucoup plus souple et rejoignant mieux les donnes concrtes du rel. A ce titre, la formation gomtrique tait donc nettement indique. On pouvait lui emprunter les principes les plus fconds. Parmi eux, vient en premire ligne le suivant : le dsir de trans mettre n'atteint le but que si l'lve a reconnu de prime abord le prix d'une attention ininterrompue. Avec le plus grand soin, Hadamard a donc rdig l'admirable Cours de gomtrie lmentaire qui parut en deux volumes : Gomtrie plane (1898), Gomtrie dans Vespace (1901). Ils ont t plusieurs fois rdits et, il faut le dire, plusieurs

250

revue d'histoire des sciences

fois complts. Ds 1898, la fameuse note A sur la mthode recommandait l'lve de mettre sur pied de nouveaux raisonne ments et mme, de s'entraner par diffrentes mthodes rsoudre des problmes. Moyennant quoi, l'aptitude prouver s'a ccompagne bientt d'une aptitude construire . 4. Le dynamisme ininterrompu de l'intuition taye par la logique Ainsi conduite, la monte s'opre dans des conditions les plus normales, des premires tapes jusqu'au niveau des tudes lment aires(avec garanties de rigueur), puis d'un tel degr de maturit ceux qu'exige la formation progressive des matres et des cher cheurs : ces derniers, on ne rptera jamais trop de penser gomtriquement et d'apprendre autour d'eux le faire ! Sans doute pourrait-on contester le caractre exclusif qu'on prtendrait, de la sorte, donner la gomtrie . En tout cas, le conseil mrite d'tre suivi, en largissant au besoin l'acception du terme, dans la voie naturelle indique dj par C. F. Gauss, et notablement dilate par B. Riemann (varits rgies par divers types d'ta lonnage diffrentiel et pouvant comporter un nombre de dimensions arbitrairement lev), puis la faveur des conceptions ensemblistes ( partir de G. Cantor) : des ensembles de points (dont la thorie des fonctions montra, vers le dbut du sicle actuel, toute la fcondit), on s'lve alors sans crainte jusqu' des ensembles groupant des lments de nature quelconque. Et pourtant, quand, parvenu cette tape, on s'attaque au programme entrevu, l'intuition se drobe : on ne la rejoint qu'avec le secours de la logique, au moyen de systmes tablis en termes dductifs sur une base concepts-axiomes . Voil pourquoi, aux approches de 1910, Hadamard entrevoyait dj la mise en uvre d'un nouveau chapitre de la thorie des ensembles , o le continu fonctionnel et trouv place, aux intentions des problmes de la physique mathmatique. D'ailleurs, un tel programme se ralisait dj graduellement, sous l'opportune influence de l'Analyse gnrale (Frchet, Moore), en voie de s'affirmer : ce n'est l qu'un rappel de thmes, pourtant l'intrt historique en est capital. 5. De la mthodologie des problmes la psychologie de l'invention Ds 1900, on avait pu reconnatre l'attention que portait Hadamard aux aspects (demeurs indcis, mille titres) du compor tement d'un chercheur quand il opre dans le domaine du math-

INTRODUCTION A LA PENSE CRATRICE DE JACQUES HADAMARD

251

matisable. Tmoin, le paragraphe 355 des tapes de la philosophie mathmatique, o Lon Brunschvicg crit : L'extension analogique est l'instrument le plus puissant de la dcouverte. Et il prcise : tant donn, note M. Hadamard, deux problmes analogues, mais dont l'un a pu tre trait et non l'autre, il y a lieu de penser que les rsultats trouvs dans la solution du premier sont trs diffrents de ceux qu'on obtiendrait dans la solution du second. II est dit encore, d'aprs le mme texte (1) : La difficult de l'invention consiste rejeter les analogies extrieures et superf icielles pour dcouvrir entre des oprations, d'apparence toute diffrente, des analogies de structure, permettant d'clairer la marche de la dcouverte faire par la marche de la dcouverte dj faite. La curiosit d'Hadamard ce titre s'est toujours panouie : je me borne rappeler des cours qu'il fit New York en 1943 et qui furent publis en 1945 Princeton. L'ouvrage, traduit en 1958, par Mlle Jacqueline Hadamard, s'intitule Essai sur la psychologie de l'invention dans le domaine mathmatique (Paris, A. Blanchard, 1959). 6. Le rayonnement du sminaire Les vues rapides qui prcdent font mieux comprendre l'apti tude ingalable d'Hadamard mettre en uvre la pense go mtrique , dont il usait et pour crer et pour transmettre, tant dans ses mmoires et dans ses livres que dans les entretiens inou bliables de son sminaire et dans les congrs. On en voyait alterner l'clairage entre les thmes traditionnels, rajeunis moyen nant des parcours ensemblistes, et d'autres thmes qui, de prime abord austres, taient bientt transfigurs. On en retrouve maint (1) Ce texte u'Hadamard est intitul : Noie sur Pinduction et la gnralisation en mathmatiques, Bibliothque du Congrs de Philosophie de Paris, 1900, t. III, 1901, p. 443. A propos de psychologie de V invention, la date de 1908 mrite, elle aussi, d'tre retenue : elle fut marque par le mmorable expos d'Henri Poincar la Socit de Psychologie de Paris, qui vint clairer les rapports entre le conscient et l'inconscient, entre le logique et le fortuit, lesquels sont la base de ce thme ardu (Hadamard, loc. cit., p. 23) : expos reproduit au chap. Ill de Science et Mthode. Avec Hadamard (ibid., p. 31), notons en bref un contraste : identifier un visage familier requiert de nombreuses caractristiques, d'une atteinte malaise. Et, cependant, toutes la fois sont donnes (dans l'inconscient) l'instant mme de la rencontre. Et Hadamard de conclure (pp. 66-67) : le vritable processus de pense qui dclenche un progrs mathmatique est comparable au fait instantan de reconnatre quelqu'un, le raisonnement qui justifie ledit progrs intervenant alors comme une chose unique , dont la comprhension appelle une ide globale .

252

revue d'histoire des sciences

exemple de ce type dans les Leons sur le calcul des variations. L'atteinte de maxima (minima) d'intgrales s'y produit en un cadre imag o les courbes dites figuratives et leurs duales figura trices viennent tayer le choix d'une mtrique bien adapte au problme, lequel ds lors, est gomtris : moyennant quoi, la convexit desdites indicatrices se porte garante de la rgu larit des lignes extrmales. L'intrt de tels recours la convexit, surtout dans sa forme rnove par H. Minkowski, allait bientt produire une attraction vers la gomtrie finie, par laquelle Juel ds 1890 avait largi dans le champ rel mainte proprit des courbes (et surfaces) algbriques, tantt en gomtrie mtrique euclidienne, tantt en gomtrie projective, en demeurant dans la voie o les figures convexes livrent une extension partielle des rsultats propres aux coniques (aux quadriques) : ce qui fait merger les lignes coupes en un nombre fini de points par un plan, voire les surfaces coupes de mme par une droite ; cela, sans que le nombre de ces rencontres, tout en pouvant atteindre tel entier, ne le puisse dpasser. Un expos rest classique de ces thmes, donn en 1924 par M. Paul Montel au sminaire, a t notablement enrichi dans les profonds travaux de M. Andr Marchaud (1). Ce pouvoir de direction, propre Jacques Hadamard, suggre un autre exemple, relatif aux thmes ayant souffert d'un abus de formules, puis soudain, repris et gomtriss : celui du fameux thorme d'Hermann Weyl, connu dans toute l'Europe sous la rubrique Slarrheit der Eiflchen. On pressentait, pour les sur faces convexes (il s'agit des frontires de tel ou tel convexe), une rigidit de ce type : Minkowski l'avait tablie pour la sphre et Liebmann, pour un convexe arbitraire ne subissant qu'une dformation infiniment petite. La rubrique en langue allemande fait prospecter au mieux sur deux surfaces convexes, en correspondance isomtrique, pour induire qu'on passe de l'une l'autre par un dplacement ou par un antidplacement. Cela dit et admis, il tait naturel de prtendre l'tablir, d'abord pour un couple de polydres convexes, cas rebelle la mthode de Weyl ; puis en passant au cas gnral, par voie de processus limites, la manire du Pr A. D. Alexandrov : rsultat qu'il avait (1) Aux fins d'une bibliographie synthtique, cf. Ann. Ec.N.S., t. 82(1964), pp. 264-265; Journ. de Math., t. 44 (1965), p. 65.

INTRODUCTION A LA PENSEE CREATRICE DE JACQUES HADAMARD

253

atteint vers 1940 (1) et dvelopp dans un ouvrage en langue russe (1948). Il faut donc bien le reconnatre : par le stimulant de thmes propices, Hadamard a su communiquer l'lan crateur. 7. Le souci de rtablir V unit mthodologique Aprs cet hommage rendu au pouvoir de rayonnement grande distance des Entretiens du Collge de France, je vais bientt me tourner vers deux mmoires, entre les plus clbres, produits par Hadamard en zone vierge, tout la fin du xixe sicle. M par un dsir de haute gnralit, leur auteur prouvait en outre le besoin d'purer certaines mthodes, et, avant tout, en des problmes du champ rel (analysis situs, dynamique, optique...), o l'on avait us de fonctions dfinies dans le champ complexe, alors qu'en pareille matire, un recours des approximations successives vaut mieux qu'un dveloppement de Taylor. Avant d'aborder ces deux mmoires, j'ajoute que, loin d'tre gratuit, le pralable mthodologique brivement tabli nous rendra naturelle la route choisie par Hadamard pour dominer les difficults qui l'attendaient : surtout en matire topologique , terme plus concis que le vocable analysis situs. 8. La thorie des continua ne pourrait ngliger le rle de certains entiers Les thmes retenus par Hadamard s'offraient en bordure des clbres mmoires de Poincar sur intgration qualitative (cf. n 1) et, de ce fait, apparents aux recherches (importantes dj) sur les transformations biunivoques et continues, insparables de la topologie (2). Le modle que fournit, pour ces transformations, la possibilit d'tirer au pourtour et volont une membrane de caoutchouc ne saurait d'ailleurs faire oublier le rle que peut, en (1) La Gomtrie intrieure des surfaces convexes (trad, allemande, Berlin, Akad. Verlag, 1958). Au lieu d'tudier la frontire d'un convexe, extrait d'un R3 (p. ex.), on prend titre autonome la mtrique induite par celle de R3 sur ladite surface. D'o un problme de type inverse, ayant trait au plongement d'une varit bidimensionnelle, dou de ladite mtrique dans un R3. Un expos en franais, traitant de cette question, est paru pendant l'anne scolaire 1951-1952 dans les tudes pratiques d'accs la recherche (A : Actualits gomtriques), sous le titre Gomtrie intrinsque des surfaces convexes, par le Pr M. Kaloujnine ( Paris, C.D.U.). (2) Pour un expos des notions et mthodes en cette branche, l'tape Riemann, voir Hadamard, Notions lmentaires sur la gomtrie de situation [Nouv. Ann., 4, t. IX, 1909). Mme propos dans la leon d'ouverture professe au Collge de France, Revue du mois, t. VIII.

254

revue d'histoire des sciences

cette matire, assumer le nombre entier. On le rencontre dj pour numrer les types d'quivalence topologique entre les arcs chemi nantd'un premier point donn un second, arcs intrieurs un domaine plan que limitent n contours. Il reparat en des conjonc tures diverses, et notamment quand on value l'intgrale :

en la prenant le long d'un contour ferm. En prenant pour F1; F2, des polynmes, le rsultat obtenu (extensible des cas plus larges) donne l'excs du nombre des zros (champ rel) de Ff + F| pour lesquels le jacobien J (Flt F2) est positif sur le nombre de ceux pour lesquels J est ngatif. Ce thorme qui fit clore le fameux indice de Kronecker a d'importantes applications, surtout quand on remplace le champ vectoriel (Fl5 F2) du plan (, y), par un champ vectoriel V (M) en faisant dcrire au point M un espace tridimen sionnel (1). Ce type d'intrusion du quantitatif dans un propos obtenu en combinant des lments qualitatifs surprend de prime abord, bien que dment prpar sur l'intgrale I. De ce phnomne opratoire (2), revenons maintenant au programme annonc tout l'heure (n 7). 9. Ingalits venant rgler le parcours de trajectoires dynamiques La mthode offerte par Hadamard en vue d'tudier certaines trajectoires dynamiques, table sur un processus d'ingalits : je vais d'abord les transcrire, dans un cas trs large, au moyen de notations abrges. Dans un espace cartsien n-dimensionnel Rn, soit donn un champ vectoriel X (M) ; pour en tudier les lignes intgrales (en bref les 1. i.) partir du systme dM = X (M) dt, bornons-nous au cas o chaque point M livre passage une 1. i. (une seule). Pour toute fonction numrique univoque V (M), l'quation X (V) = 0, o l'on pose X (V) = X (M).grad V, prpare la recherche des maxima (ou minima) de V (M) sur notre 1. i. : ce que prcisent les conditions : X [X (V)] ^ 0 (maximum), X [X (V)] > 0 (minimum). (1) Cf. E. Picard, Trait d'analyse, t. I, chap. Ill (sect. IV) et chap. IV (sect. VII). Notamment, on atteint dans cette voie V indice de Kronecker (p. 166 du chap. IV). (2) A proximit, s'offriront au n 12, le nombre de branches infinies et l'ordre de connexion d'une surface courbure totale ngative.

INTRODUCTION A LA PENSE CRATRICE DE JACQUES HADAMARD

255

Sauf les cas o la restriction V (/) de V (M) sur ladite 1. i. devien drait monotone partir d'une valeur du temps t, la mme 1. i. traverse une infinit de fois la varit X (V) = 0 (comme il rsulte de la monotonie). On atteint ds lors le comportement de V (t) par ce lemme : Si t crot indfiniment et si V (t) admet alors une limite en des conditions telles que les drives V, V", ... V(n), V(n + 1) existent et restent bornes, les n premires tendent vers zro. Notamment si V (M) et ses drives partielles des ordres 1, 2, 3 restent bornes, la 1. i. traverse une infinit de fois X (V) = 0, moins d'tre asymptotique la varit v{n~2) o cette 1. i. est tangente X (V) = 0. Telle est la base permettant, sans trop exiger en drivabilit, d'obtenir des conclusions topologiques. 10. Mise en vidence d'une rgion attractive De ce pralable, on rejoint la dynamique analytique des systmes holonomes, avec fonction de forces U et liaisons ind pendantes du temps, aussi bien que la mtrique ds2 = 2 T dt2 o 2 T est la force vive. Ce qu'en premier lieu Hadamard tudie pour deux degrs de libert en reprenant le modle point mobile sur une surface (1). Ce qui lui permet, tirant parti de l'ide gaussienne gomtrie d'une surface , de grouper les proprits intrinsques, alias, communes tous les ds2 quivalents, entre autres les pro prits des godsiques, tel leur pouvoir de plus court chemin entre deux points suffisamment proches. D'ailleurs, le thorme des forces vives T = U + h ramne les trajectoires que livre une mme valeur de la constante h aux godsiques de la nouvelle mtrique {ds2)h = 2 (U + h) ds2. Cela pos, Hadamard tend une notion, familire dans le cas du point pesant mobile sur une sphre (ou mme sur une surface de rvolution z = / () avec U dpendant de seul), savoir la notion de rgion attractive . Autrement dit, il fixe les conditions entra nant l'existence d'une rgion, o, sauf cas exceptionnels, toute trajectoire doit passer. Dans cet esprit, il introduit en outre la rgion rpulsive. Ce qui va lui permettre de dfinir la rgion cherche comme un (1) Pour plus de deux degrs de libert, on supplante ladite surface par une varit abstraite qui devient le support d'un talonnage diffrentiel analogue (cf. n 4).

256

revue d'histoire des sciences

ensemble de points o la ligne de niveau tourne sa concavit godsique dans le sens de la force, hormis des mouvements dont les trajectoires auraient pour point asymptote une position d'quilibre instable. 11. O reparat l'ide fondamentale de stabilit D'o un pont jet entre l'tude gnrale des trajectoires dyna miques et la stabilit de l'quilibre. Il y a plus : en vue de ce dernier thme, la mthode suivie par Hadamard livre d'emble une condi tionncessaire et suffisante de stabilit ; Liapounof, quelque temps auparavant, avait obtenu ce rsultat par une mthode indpen dante, reprise dans un extrait de son mmoire traduit du russe qui prcde au volume cit du Journal de mathmatiques, le travail d'Hadamard. Ce dernier offre d'ailleurs l'avantage d'atteindre le but en tablant (cf. n 9) sur le comportement d'une fonction V (M), le long d'une trajectoire. Noter en outre qu'on est alors au seuil des geometries riemanniennes, grce la notion intuitive, dj rencontre, d'une gomtrie autonome, propre toute surface de l'espace usuel : Gauss le premier avait mis en lumire ce point capital en tudiant avec les godsiques, les triangles du mme nom. Rejoignons Hadamard. Il passe au cas o le nombre v des degrs de libert du systme dynamique dpasse 2. A partir de v = 3, les courbes de niveau cdent le pas des surfaces de niveau (ou mme des varits V^1 de dimension plus leve). Pour isoler la rgion attractive, il ne sufft plus de retenir les cas o les Vv~\ partout localement convexes, laisseraient en tout point le vecteur force toujours d'un mme ct d'une infime portion de la Vv-1 (ayant la mme dimension v 1) : car dans l'actuelle conjoncture, interviennent les cas offerts des oppo sitions de courbures. Noter, en outre, l'change entre la rgion attractive et la rgion rpulsive quand on mute U en U, la rencontre d'une autre notion, le domaine d'une trajectoire , balay tel degr, ad libitum, de finesse , ds qu'on augmente volont la dure du parcours (nouvelle occasion donnant lieu, ventuellement, des trajectoires exceptionnelles sui generis). Le cas U = 0 donne les godsiques de la varit primordiale (dimension v), support de tous les mouvements.

INTRODUCTION A LA PENSE CRATRICE DE JACQUES HADAMARD

257

12. Un nouveau matriel de surfaces avec typologie tout fait remarquable des lignes godsiques Je ne m'arrte pas aux surfaces courbure totale positive (toujours simplement connexes) o, en gnral, deux godsiques se coupent une infinit de fois (cas tudi notamment par Hadamard et Poincar) et j'aborde les surfaces courbure totale ngative, objet de nombreuses recherches, que les travaux de M. Frchet ont inspir K. Menger et ses lves {Mmorial des sciences math matiques, fasc. 124), dans le cadre o s'est dveloppe la gomtrie des distances depuis bientt quarante ans. La profonde tude, faite par Hadamard, concerne exclusivement l'espace euclidien trois dimensions. Du point de vue qualitatif, il obtient une solu tion complte en adjoignant l'appareil conceptuel du prcdent mmoire une notion fondamentale, Yordre de connexion d'une sur face S dfinie partir du nombre de rtrosections qu'on peut faire subir S sans la morceler : l'importance des recours topologiques s'en trouve accrue (1). A partir du principe intervenu au n 10 pour dfinir la rgion attractive , proximit duquel apparat la formule de GaussBonnet (o voisinent courbure totale et courbure godsique), la solution du problme est obtenue d'une manire naturelle et sans calcul, dans une voie chre Poincar, quand il rappelait le rle de guidage des solutions priodiques en ces termes : la seule brche par o l'on puisse pntrer dans une place rpute jusqu' prsent inabordable. De fait, Hadamard claire d'emble le dbut de sa recherche (dans un thme, avec ordres de connexion arbi traires) en partant des godsiques fermes. Elles lui fournissent une base moyennant laquelle il va reprer les autres trajectoires. Finalement, il sera conduit les rpartir en quatre catgories : Cj) godsiques fermes ; C2) godsiques asymptotiques aux prcdentes ; C3) godsiques s'en allant l'infini ; G4) godsiques infidles , accompagnant sur plusieurs tours un cycle du type , puis l'abandonnant en faveur d'un autre cycle isotype, assurant sur un temps plus long un guidage plus troit, et ainsi de suite, le processus pouvant tre infini. Quant aux godsiques demeurant distance finie et parties d'un point donn A, leurs tangentes en A forment un ensemble (1) Loc. cit., cf. n 4. T. XIX. 1966

17

258

revue d'histoire des sciences

parfait discontinu (analogue, mutatis mutandis, l'ensemble triadique dfini par G. Cantor sur un segment rectiligne) : ce que rend tangible un exemple prototype livr par le modle anallagmatique (introduit par H. Poincar) de la gomtrie de Lobatchefsky, exemple rappel au chap. IX (n 168) de mon ouvrage Mcanique rationnelle (Paris, 1927) : chose qui paratra plus naturelle, une fois rappel que l'talonnage propre ladite gomtrie lui confre une courbure ngative. 13. Un vrai muse de surfaces, l'usage des techniciens de l'infini Ne pouvant m'tendre, je signale en revanche un autre point la base mme du travail d'Hadamard. On y voit de prime abord la richesse morphologique des surfaces qu'il englobe, surtout au regard des deux seuls modles obtenus en se limitant aux quadriques : savoir deux surfaces birgles, l'hyperbolode et le paraboloide. Par contre, le cas gnral comporte un abondant matriel, dont l'espace euclidien, par bonheur et faute d'un mode universel (et constructif) de gnration, permet du moins (pice par pice) la description fidle aux modalits topologiques, propres la surface S retenue : en 1898, on le devine, les godsiques inte rvenaient sur ladite S comme intgrales d'un systme diffrentiel . Leur mise en uvre, accompagnant le recours la courbure totale, impliquait ds lors les conditions de drivabilit requises dans les quations aux extrmales relatives l'lment ds, avec : ds2 = (1 + p2) dx2 + 2 pqdxdy + (1 + 2) dy*. Le calcul des variations d'Euler-Lagrange introduit alors, sur une portion de S reprsentable sous la forme z = / (x, y) (avec p = fxJ q = ffy)t les drives des ordres 1, 2, 3 de / ou, moyennant une intgrale, les drives des deux premiers ordres. En outre, chaque portion de ce genre, introduite pour recouvrir S (aprs ru nion) est soumise, dans le repre affrent, la condition ri s2 < 0 (le premier membre pouvant toutefois s'annuler en un nombre fini de points). Reprenons alors S en totalit : l'hypothse courbure ngative est satisfaite, en vertu des ingalits prcdentes : d'o, l'existence de nappes infinies, les points o telle coordonne serait maximale tant exclus d'aprs les hypothses admises. Hadamard leur adjoint la suivante, de nature topologique : on peut tracer sur S un nombre fini de contours 15 2, ..., Gn tels qu'une partie limite, soit S{Ct} de S soit dcoupe par les C

INTRODUCTION A LA PENSE CREATRICE DE JACQUES HADAMARD

259

et qu'on puisse, par variation continue (laissant ladite partie qui valente topologiquement elle-mme) les rendre extrieures telle sphre de centre fixe et de rayon arbitrairement grand. Par l-mme, on individualise les nappes infinies de S. En astreignant n tre non seulement fini, mais born, le nombre des nappes l'est galement. En outre, pour chacune d'elles, l'ordre de connexion est 2. On vite d'ailleurs les cas o S offrirait une infinit de trous, ainsi que les nappes infinies non vases, munies (ou non) d'un cylindre convexe asymptote. En dfinitive, il ne restera donc que n nappes infinies vases (deux pour un hyperboloide dans la nouvelle terminologie propose). Voil les hypothses faites, qu'il importait de rassembler (1). D'ailleurs, notons-le : le parcours du muse n'a pas t exhaustif. 14. Retour des entits abstraites L'enqute du n 13 nous a permis d'atteindre les bases de la thorie d'Hadamard, et sa classification des godsiques rappele ci-devant (n 12). Le prodigieux dpart qu'il a fait dans cette voie a dtermin tout un courant d'activit auquel on doit notamment la rduction de la thorie, publie par H. Busemann sous le titre : Local metric geometry. L'auteur s'y libre de la tutelle euclidienne en atteignant par voie purement axiomatique un espace mtrique et compact distance finie se prtant l'introduction de godsique () sans recours des proprits diffrentielles. Bien entendu, tout arc d'une () est dot d'une longueur galant la distance de ses extr mits : ce qui permet de concevoir des triplets de points aligns et, en outre, l'ide fondamentale prolonger un arc d'une , au-del d'une des extrmits. La jonction de deux points par un arc minimal est toujours possible, mais son unicit n'est admise, ayant fix l'un de ces points, que sur un. voisinage convenablement restreint. Ds lors, prenons 3 points a, 6, c, avec distance maximale suffisamment petite. Soit b' le milieu de ab et c' le milieu de ac. Il s'agit alors d'un espace courbure non positive, ds que, pour les divers choix (avec distances majores) de a, b, c, on peut garantir (1) II tait alors naturel de rduire ! Voir ce titre : Morse et Hedlung, American Journ. of Math., V, 60 (1938), pp. 815-866 (avec toute la bibliographie) ; H. Busemann, Spaces with non positive curvature, Ada Mathematica, t. 80 (1948 : travail excluant toutes hypothses de drivabilit, dans le mme esprit que le mmoire d'Alexandrov) (cf. n<> 6).

260

REVUE D'HISTOIRE DES SCIENCES

l'ingalit 2 b' c' < bc. Ici je dois toutefois m'en tenir signaler ce dpart, vraiment simple ! En dfinitive, l'ude compare du mmoire produit par Hadamard en 1898, sur les godsiques des surfaces courbures opposes et celle du travail de Busemann, voqu ci-dessus, fait reparatre le type de situation rencontr la fin du n 6, propos des couples, dont chacun associe deux surfaces convexes isomtriques. Bien que diffrents de prime abord, ces deux thmes ont volu d'une manire parallle. Toutefois, celui de 1898 donnait Yanalysis situs, dans une zone classique de la gomtrie diffrentielle, un rle jusqu'alors ingal. Il fallait donc revenir aux principes, en matire de transfor mations ponctuelles et de topologie globale. 15. Une occasion sans pareille d'exploiter l'acquis Mainte lacune serait combler dans cette direction. En premier lieu, je vais dire quelques mots d'un travail de 1906, o l'on retrouve Hadamard tient le noter les ides directrices de ses premires recherches (1) ; elles interviennent alors pour consolider la base. Le thme gravite autour de la thorie des fonctions implicites : aprs avoir voqu la proprit locale d'aprs laquelle la biunivocit d'une transformation ponctuelle P = (M), oprant dans un Rn a lieu (toujours) au voisinage d'un couple de points (soit Mo, Po) pour lequel le jacobien de ne s'annule pas, Hadamard rappelle qu'il n'y a pas l une condition suffisante, quand on se met en qute d'un nonc global. Les cas d'espce retenir sont d'ailleurs nombreux : la question pourrait, en effet, se poser de statuer sur la correspondance de deux plans indfinis, ou encore celle de deux sphres, ou plus gn ralement de deux surfaces (prises chacune en totalit) d'un espace R3. . On se rend compte du rsultat ngatif annonc en prenant dans un R" une transformation : o les n fonctions f{ sont supposes monotones. Ce qui fait pres sentir une condition ncessaire. A la ligne l de longueur infinie (1) Sur les transformations ponctuelles (Bull, de la Soc. Math, de France, t. XXXIV, 1906).

INTRODUCTION A LA PENSE CRATRICE DE JACQUES HADAMARD

261

dans l'espace {a^}, doit correspondre une ligne L de longueur infinie dans l'espace {X{}, ce qu'on peut d'ailleurs obtenir en recourant une condition de type local. A proximit, dans le t. II d'un ouvrage classique de J. Tannery (Introduction la thorie des fonctions d'une variable), Hadamard a publi une note importante qui traite des applications topologiques de V indice de Kronecker (notion dont l'origine a t rappele ici mme au n 8). Dans cette note, ayant repris la dmonstration, vrai dire provisoire, du thorme de Jordan (cas du plan), il en montre la liaison troite avec le thorme de Schoenflies : si l'on tablit une correspondance univoque et continue entre les points de domaines isodimensionnels, les points intrieurs se correspondent entre eux, et il en va de mme pour les points frontires (proprit qui rejoint en outre celle d'invariance de la dimension), comme l'a CLII).* not Lebesgue (C. R. Ac. Se, Paris, 1911, t. Or, comme l'i ndique Hadamard, comparativement aux proprits des systmes linaires de n quations n inconnues, on accde alors du trs important. Un tel systme peut exceptionnellement donner lieu une impossibilit ou une indtermination. Mais la condition pour un cas normal (existence pour que le systme admette une solution, indpendamment du choix des seconds membres) est galement la condition pour que ne puisse en avoir plus d'une. Du thorme de Schoenflies, il suit que cette condition de non-pluralit entrane l'existence, du moins dans une portion convenable de l'espace o les quations rsoudre visent inverser une transformation telle que P = (M). Voici maintenant, toujours proximit de Yanalysis situs, un bref rappel, rpondant au souci de donner au champ rel, en matire qualitative, sa pleine autonomie. Il s'agit d'une solution priodique (SP) d'un systme diffrentiel quelconque et de son cortge de solutions asymptotiques. Or, Poincar montr, ce type de guidage ou bien s'applique toute solution assez proche de (SP), ou bien a lieu, sans plus, pour les trajectoires que portent diffrentes surfaces S contenant le cycle fourni par ladite (SP). Ce que Poincar rattachait certains dveloppement tayloriens en abordant le seul cas des donnes analytiques : Hadamard rcupre ici, propos de l'itration dont usait Poincar, toute la gnralit dsirable (1). (1) Bull. Soc. Malh. Fr., 29, 1901.

262 16.

revue d'histoire des sciences Un retour imprvu la thorie physique

Je n'ai pu donner ici qu'une ide bien incomplte des belles initiatives d'Hadamard. Il en est une que l'histoire ne pouvait manquer de s'approprier : l'ide en illuminait tout le mmoire de 1898, eu gard au rle assum par un ensemble parfait discontinu (EP). Pour maint problme insigne de mcanique (ex. : stabilit du systme solaire), o les donnes tel instant ne sont jamais connues que physiquement , les trajectoires pourraient repro duire des aspects rencontrs propos des godsiques, commencer par l'instabilit qu'introduit la discontinuit dudit (EP). Les erreurs entachant les observations astronomiques sont diminues quand on amliore l'outillage et pourtant, si faibles soient-elles, ces erreurs peuvent affecter, d'une manire irrductible, le rsultat cherch. On est ainsi conduit, tout naturellement, voquer les prolon gements physiques de la stabilit dynamique : Pierre Duhem, en un chapitre de son beau livre La thorie physique : Son objet et sa structure (Paris, 1906), a prcisment dgag toute la porte des rsultats obtenus, sur les surfaces courbures opposes, propos des godsiques. Dans ce but, il reprend avec soin deux thmes : 0^ dduction mathmatique et thorie physique (pp. 213-232), 62) V exprience physique (pp. 233-247). L'auteur confronte l'-peu-prs physique et la prcision math matique ; il distingue entre les dductions, celles qui, physique ment, sont utiles ou non ; il cite enfin le mmoire de 1898 comme apportant un exemple de dduction mathmatique tout jamais inutilisable. En outre, l'exprience de physique, outre l'observation d'un phnomne, doit conduire une interprtation thorique. Ce ralliement du stable et de instable aux spculations thoriques du physicien ne pouvait manquer de rejoindre l'analyse mathmatique dans sa plnitude. Dans ce champ encore, la pense de Jacques Hadamard a t nettement prolonge : cela mme, en rejoignant l'Analyse gnrale, dans son tat actuel (1). Il me sufft ce titre de renvoyer deux exposs rcents dats l'un de 1950, l'autre de 1961, et qui, dans un large contexte, donnent une juste ide de la porte heuristique d'un tel progrs. En 1912, rcapitulant (1) G. Bouligand, Les principes de l'analyse gomtrique, II (Base mthodologique, pp. 82-85). Notice titres et travaux , pp. 40-48 (chapitre d'un ouvrage en rdaction]. Mes recherches commentes dans ce fascicule vont de 1911 1960 inclus.

INTRODUCTION A LA PENSE CRATRICE DE JACQUES HADAMARD

263

ses travaux scientifiques en deux magistrales notices (d. Hermann), Hadamard crivait ( la toute dernire page) comment ses nombreux cours, pendant vingt-huit annes, l'avaient conduit montrer que, mis part le point de vue du calcul formel, la notion d'intgrale est plus simple que celle de drive. De fait, on peut dire aujourd'hui que la premire est d'emble favorable la stabilit topologique, tandis que l'autre s'y drobe. La drive chappe cette continuit gnralise entrevue par Leibniz : il sufft d'voquer la drive pour contrebattre statim la tmraire formule Ntura non facit saltus . Les cruels dmentis de la microphysique sont, hlas, plus tangibles sur le plan humain. Revenant la gomtrie, j'ajoute que le dessinateur doit toujours veiller la stabilit de la construction qu'il entend mettre en uvre. 17. Conclusion Par cette enqute, on juge du rle important de la pense gomtrique , mi-chemin entre le fait exprimental en maint domaine et analyse sous les formes qu'elle atteint aujourd'hui, dans les traits utilisant tour tour les structures algbriques et les structures topologiques . La perfection ultime qu'elles apportent n'advient d'ailleurs qu'aprs une gestation souvent pnible. Chez Hadamard, comme chez Poincar, la facult d'in nover s'est donn libre cours, grand dbit et en terre vierge ! Tous deux ont tir le maximum de leur aptitude penser gom triquement . Dsormais, leurs noms demeurent, troitement lis, dans les milieux cultivs de tous pays : traduits en plusieurs langues, leurs crits sur l'invention ont partout le mme attrait. Les pages de Poincar enchantent par l'apport d'un vcu sans pareil. Mais, s'extriorisant mieux encore, Hadamard dcrit avec plus de varit ses processus mentaux. Reprendre son enqute, dont l'objet ds 1943 avait tant sduit, New York, les tudiants de l'cole libre des Hautes tudes, vous apprend toujours et encore du nouveau, alors mme qu'il voque ses dfaillances (pp. 54-55) ; il traite en outre de la poursuite d'une invention (aussitt fait le premier pas) (pp. 62-65) du parti qu'il tire des schmas (p. 77) ; il dcrit ce qu'il voit l'abord d'une recherche gomtrique (p. 78). Voil bien le genre de chemin qui, par la sduction d'une figure, l'avait guid vers son fameux thorme en zone de pure algbre : le maximum d'un dterminant.

264

revue d'histoire des sciences 0 Je me limite ces exemples typiques : ils montrent la direction prendre, en vue d'treindre mieux, au cours du texte, les disponibilits parfois immdiates, parfois latentes. Effort qu'on gagne prolonger avec l'appui des ouvrages mentionns, y compris les deux notices du Matre, parues chez Hermann en 1901 et en 1912, et l'introduction de la troisime partie du tome I de Y Encyclopdie franaise (1937), intitul Pense, Langage, Mathmatiques. Georges Bouligand.

BIBLIOGRAPHIE 1. Liste des mmoires gomtriques de Jacques Hadamard Sur certaines proprits des trajectoires en dynamique. Mmoire couronn par l'Acadmie (prix Bordin), Journ. Math. (5), 3, 1897, pp. 331-387. Les surfaces courbures opposes et leurs lignes godsiques, Journ. Math., (5), 4, 1898, pp. 27-73. Sur l'itration et les solutions asymptotiques (des quations diffrentielles), Bull Soc. Math. Fr., 29, 1903, pp. 224-228. Sur les transformations ponctuelles, Bull. Soc. Math. Fr., 34, 1906, pp. 71-84. Sur quelques applications de l'indice de Kronecker ( la fin du t. II de J. Tannery : Introduction la thorie des fonctions d'une variable), 1910. 2. Thmes porte moins immdiate de la gomtrie 1892. Essai sur l'tude des fonctions donnes par leur dveloppement de Taylor, thse de doctorat, Journ. Math. (4), 8, pp. 101-186. tude sur les proprits des fonctions entires et, en particulier, d'une fonction considre par Riemann (Grand Prix des Sciences math.), Journ. Math. (4), 9, pp. 171-215. 1893. Rsolution d'une question relative aux dterminants, Bull. Se. Math. (2), 17, pp. 240-46. 1896. Mmoire sur l'limination, Acta Mathematica, 20, pp. 201-238. Sur la distribution des zros de la fonction i; (s) et ses consquences arithmt iques,Bull. Soc. Math. Fr., 14, pp. 199-220. 1901. La srie de Taylor et son prolongement analytique, coll. Scientia , rdit en collab. avec S. Mandelbrojt en 1926 (Gauthier-Villars) . 1903. Leons sur la propagation des ondes et les quations de V hydrodynamique, Paris, Hermann. 1905. Recherches sur les solutions fondamentales et l'intgration des quations linaires aux drives partielles, Ann. E.N.S. (3), 22, pp. 101-141.

INTRODUCTION A LA PENSE CREATRICE DE JACQUES HADAMARD

265

1907. Sur le problme d'analyse relatif l'quilibre des plaques lastiques encas tres (Mm. prs, par div. sav. VAc. Se, (2), 33, 1908). 1910. Leons sur le calcul des variations, Paris, Hermann. 1924. Principe d'Huygens et prolongement analytique, Bull. Soc. Math. Fr., 52, pp. 241-278. 1926. Cours analyse de V cole polytechnique, I (contenant les applications gomtriques), Paris, Hermann. Le principe d'Huygens : cas de quatre variables indpendantes, Acta Mathematica, 49, pp. 203-244. 1928. Cours d'analyse de V cole polytechnique, II (contenant le calcul des pro babilits avec les chanes de Markov), Paris, Hermann. 1932. Le problme de Cauchy et les quations aux drives partielles du type hyperb olique, Paris, Hermann. 1964. La thorie des quations aux drives partielles (expos gnral rdig d'aprs les confrences faites Pkin et compltant l'ouvrage ci-dessus). Imprim en Chine, aux ditions scientifiques (ce livre est en dpt Paris, aux ditions Gauthier- Villars) .