M Jacques-Paul Dubucs

L.J.E. Brouwer : Topologie et constructivisme

In: Revue d'histoire des sciences. 1988, Tome 41 n2. pp. 133-155.

Rsum RSUM. Contrairement l'opinion reue, il existe un lien troit entre les travaux topologiques de Brouwer et sa philosophie des mathmatiques. Brouwer a obtenu ses principaux rsultats en dlaissant les mthodes abstraites de la topologie gnrale des ensembles de points au profit d'une approche combinatoire qui cherche arithmtiser les concepts topologiques. Le prsent article examine la gense de la notion brouwrienne de degr d'une application, et la dcouverte de l'quivalence entre l'existence de points fixes dans une application topologique et l'existence de singularits dans les champs de vecteurs tangents la sphre. Abstract SUMMARY. Contrary to the received view, a close connection exists between Brouwer's topological works and his philosophy of mathematics. Brouwer arrived at his main results by abandoning the abstract methods of general (or point-set) topology and opting instead for a combinatorial approach that seeks to make topological concepts arithmetic. In this article I investigate the genesis of Brouwer's notion of the degree of a mapping and the discovery of the equivalence of the existence of fixed points in a topological mapping and the existence of singularities in the field of vectors tangent to the sphere.

Citer ce document / Cite this document : Dubucs Jacques-Paul. L.J.E. Brouwer : Topologie et constructivisme. In: Revue d'histoire des sciences. 1988, Tome 41 n2. pp. 133-155. doi : 10.3406/rhs.1988.4094 http://www.persee.fr/web/revues/home/prescript/article/rhs_0151-4105_1988_num_41_2_4094

L. J. E.

Brouwer :

topologie et constructivisme

RSUM. Contrairement l'opinion reue, il existe un lien troit entre les travaux topologiques de Brouwer et sa philosophie des mathmatiques. Brouwer a obtenu ses principaux rsultats en dlaissant les mthodes abstraites de la topo logie gnrale des ensembles de points au profit d'une approche combinatoire qui cherche arithmtiser les concepts topologiques. Le prsent article examine la gense de la notion brouwrienne de degr d'une application, et la dcou verte de l'quivalence entre l'existence de points fixes dans une application topologique et l'existence de singularits dans les champs de vecteurs tangents la sphre. SUMMAR Y. Contrary to the received view, a close connection exists between Brouwer's topological works and his philosophy of mathematics. Brouwer arrived at his main results by abandoning the abstract methods of general (or point-set) topology and opting instead for a combinatorial approach that seeks to make topo logical concepts arithmetic. In this article I investigate the genesis of Brouwer's notion of the degree of a mapping and the discovery of the equivalence of the exis tence of fixed points in a topological mapping and the existence of singularities in the field of vectors tangent to the sphere.

L. J. E. Brouwer, qui a formul une critique trs radicale de la pratique mathmatique traditionnelle, est aussi l'auteur de rsultats considrables dans ce champ : l'importance de ses tho rmes topologiques (notamment sur l'invariance de la dimension, et sur l'existence de points fixes pour toute application continue de la boule Bn dans elle-mme) a t d'emble reconnue par les mathmaticiens classiques . Selon l'opinion communment reue, ces deux aspects de l'uvre de Brouwer sont sans rapport aucun : Brouwer abandonnerait sa philosophie des mathmatiques pour faire de la topologie, comme Kronecker la sienne pour faire de . Hist. ScL, 1988, XLI/2

134

Jacques-Paul Dubucs

l'algbre (). La runion par A. Heyting et H. Freudenthal de la plupart des crits de Brouwer (2), autrefois disperss et introuvables ou non traduits du nerlandais, permet de rexaminer la question : il semble que la cohrence de l'uvre de Brouwer soit plus forte qu'on ne l'admet gnralement, mme s'il est difficile de souscrire entirement une opinion comme celle de G. Kreisel, selon lequel les ides logiques de Brouwer taient non seulement neuves, mais encore presque assez dtailles pour en dduire rigoureusement quelques-unes de ses innovations topologiques (3). On se propose d'expliquer ici comment les travaux topolo giques de Brouwer se relient ses proccupations constructivistes, bien qu'ils ne soient videmment pas mens dans un cadre intuitionniste strict. Il faut d'abord souligner que, contrairement une ide trs rpandue, Brouwer a commenc formuler ses critiques contre la logique classique avant sa priode la plus active de recherches en topologie (1909-1913) et qu'il les a poursuivies et prcises pendant cette poque. En 1908 Brouwer, outre son ouvrage L'ari, la vie et le mystieime (*), avait dj achev sa thse Sur les fondements des mathmatiques (8). On y lit que l'activit mathmatique est antrieure toute espce de langage, que les preuves sont des constructions mentales et sont ce titre tout fait distinctes des (1) L'affirmation et la comparaison sont de M. Kline, Mathematical Thought from Ancien to Modern Times (Oxford up, 6e d., 1980), 1199; Mathematics, the Loss of Certainty (Oxford up, 1980), 332. () Brouwer, Collected Works, I : Philosophy and Foundations of Mathematics, A. Heyting (d.) (North-Hollan Elsevier, 1975, 1980), Collected Works, II : Geometry, Analysis, Topology and Mechanics, H. Freudenthal (d.) (North-Holland Elsevier, 1976). On les dsignera respectivement par BRO I et BRO II. (*) G. Kreisel and M. H. A. Newman, Luitzen Egbertus Jan Brouwer 1881-1966, Biographical Memoirs of Fellows of the Royal Society (1969), 40. (*) Leven, Kunsl en Mystiek (1905). Cet ouvrage, tout fait inassimilable par la tradition intuitionniste universitaire, mais dont Brouwer ne cessa jamais de recom mander la lecture, est adquatement caractris par Van Stigt comme un ramassis romantico-mystico-philosophique de pamphlets tous azimuts, concernant aussi bien la vie, l'intellect, la science, la vrit et le langage que la politique, la dstabilisation de la socit par le socialisme et la suprmatie de l'homme sur la femme, apparemment crit par un homme surtout soucieux de s'en prendre la socit et aux intellectuels, et parfois formul dans le langage le plus fanatique et le plus cru (Walter P. Van Stigt, Brouwes Intuitionism : a Re-appraisal of Brouvoes Contribution to the Study of the Foundations of Mathematics, thse de Ph.D. Univ. de Londres, 1971). () Cf. BRO I, 11-101 et Walter P. Van Stigt, The rejected Parts of Brouwer's Dissertation on the Foundations of Mathematics, Historia Mathematica, VI (1979), 385-404.

L. J. E. Brouwer

135

dmonstrations, ou plus exactement des drivations qui peuvent les transcrire par des formules : ces dernires ne sont que des gar nitures linguistiques des constructions mentales (e). Un nonc qui affirme l'existence d'un objet possdant une certaine proprit a pour signification et pour preuve que nous connaissons une mthode qui nous rend aptes construire cet objet. Ds lors le principe du tiers-exclu (P ou -i P) est entach de suspicion : il se peut fort bien que l'on ne dispose d'une preuve constructive ni pour P ni pour -i P (7). La preuve constructive d'une disjonction est la donne d'une preuve (constructive) de l'un des deux disjoints. Si P est, par exemple, de la forme Vx 3y A(x, y), une preuve de P est la donne d'une fonction effectivement calculable f telle que A(x, f(x)) soit verifiable pour chaque x. Gomme il est clair qu'en prenant pour (, y) un nonc arithmtique de la forme Vz R (, , z) on ne peut pas toujours trouver une telle /, on voit que PV i P n'est pas constructivement prouvable (8). Bien plus, Brouwer estimait lui-mme que les travaux de topo logie qui lui confrrent sa notorit (9) ne contredisaient nullement (*) Cf. aussi Ober Deflnitionshereiche von Funktionen, Mathematieche Annalen, XCVII (1927), 64 ; BRO I 394 ; J. Van Heijenoort, From Frege to G Odel (Harvard up, 1967, 1971), 460 : Les preuves mathmatiques mentales (gedanklich), qui contiennent en gnral une infinit de termes, ne doivent pas tre confondues avec leurs correlate (Begleitungen) linguistiques, lesquels sont finie et ncessairement inadquats, et n'appar tiennent donc pas aux mathmatiques. C) Brouwer a toujours exprim une vive dfiance l'gard de tout procd prten dant driver une connaissance mathmatique partir d'une hypothse purement verbale (en l'espce : supposons que -i P. On en dduit une absurdit. Donc P ). Mais, pour des raisons qui tiennent la difficult de l'interprtation constructiviste de la ngation, la dissertation de 1907 considre simplement le principe du tiers-exclu comme dnu de sens (BRO I, 75). C'est seulement avec l'article de 1908, Sur la nonfiabilit des principes logiques {BRO I, 107-111) que le principe du tiers-exclu est jug incorrect quand il est appliqu des systmes infinis : pour un nonc comme il y a un lment de A qui a la proprit Q , l'usage du tiers-exclu n'est licite que si A est fini car nous pouvons en principe examiner alors chaque lment de A. Si A est infini ce n'est plus le cas : une tape donne nous ne pouvons statuer sur l'nonc que si nous avons trouv un a tel que Q(a). (*) Les contre-exemples favoris de Brouwer sont toujours disposs de manire montrer que la loi du tiers-exclu conduit des conclusions qui ne peuvent pas tre constructivement prouves. Ainsi, si x est un rel qui est dfini par x = 0 si Q est rsolu par l'affirmative et x 1 sinon (o Q est une question mathmatique pour laquelle nous n'avons actuellement aucun plan d'attaque) alors x = 0 Wx 0 n'a pas de preuve constructive. () Par exemple il fut membre du comit de rdaction des Mathematische Annalen de 1915 1928, date laquelle il fut dlog par Hilbert qui en tait l'un des diteurs en chef. Cf. Reid, Hilbert (Springer, 1970, 1983), 187 et P. Van Stigt, thse cite, 37.

136

Jacques-Paul Dubucs

les rvisions logiques pour lesquelles il plaidait la mme poque. Il s'est nettement exprim sur ce point dans un texte de 1919, Intuilionislische Mengenlehre : Depuis 1907, j'ai profess dans mes crits que (...) le principe logique du tiers-exclu est un instrument de preuve mathmatique inadmissible, auquel ne peut tre reconnue d'autre valeur que scolastique et heuris tique (scholasiischer und hearistischer Wert) en sorte que les thormes dont la preuve fait appel ce principe de faon inliminable sont dnus de tout contenu (Inhalt) mathmatique. De la conception intuitionniste des mathmatiques qui est condense dans ces deux thses [rejet de l'axiome de comprhension, rejet du prin cipe du tiers-exclu], j'ai tir quelques consquences fragmentaires dans les crits cits ; dans mes travaux mathmatiques a-philosophiques (philosophiefreien) de la mme poque j'ai certes utilis rgulirement les vieilles mthodes, mais en m' appliquant n'en driver que des rsultats dont je fusse en droit d'esprer que dans un cadre nouveau, aprs labo ration systmatique d'une thorie intuitionniste des ensembles, ils trou veraient une place et se verraient reconnatre une valeur, ventuellement sous une forme modifie. (10) Brouwer affirme donc que ses thormes topologiques fonda mentaux, dont la preuve utilisait librement le principe du tiersexclu, taient pourtant intuitionnistisables , c'est--dire que les concepts et les raisonnements en jeu possdaient dj un aspect constructif. Il le rpte une dizaine d'annes plus tard dans un article rtrospectif de 1928, Zur Geschichtschreibung der Dimensionstheorie : Je me suis restreint aux fondements de la thorie de la dimension et j'ai renonc publier plus avant sur ce sujet, d'une part parce que (...) l'objectif pistmologique (erkennlnistheorelisch) que je m'tais assign tait atteint, d'autre part parce que pour les considrations subsquentes (...) une concrtisation (Verwickliehung) intuitionniste n'tait pas aussi proche. (u) Prcisons cet aspect constructif de la topologie brouwrienne. Bien que le constructivisme tende se prsenter comme une doctrine sans cesse plus prolifrante et multiforme, et que des (") Jahreeberieht der Deutschen Mathematiker Vereinigung, XXVIII (1919), 949-950 ; BRO I, 230-231. Parmi les crits cits , on trouve notamment la thse de 1907 et un article de 1908, Over de grondelagen der wiskunde, Nieuw Arch. v. Wisk. (2), 8, 326-328. (u) Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings XXXI (1928), 963-954 ; BRO II, 559-560.

L. J. E. Brouwer

137

points de vue mthodologiques assez divers soient recouverts sous cette appellation (12), il semble toutefois que l'on puisse proposer deux caractristiques unifiantes : Philosophiquement : l'antiralisme, selon lequel il est dou teux qu'existe, pour chaque proposition mathmatique, un tatde-choses objectif (ventuellement inconnu de nous) en vertu duquel cette proposition serait vraie ou fausse, indpendamment de notre aptitude savoir ce qu'il en est effectivement. Mthodologiquement, la distinction entre des concepts l mentaires et des concepts abstraits, et l'affirmation que la logique usuelle ne saurait s'appliquer lgitimement aux noncs o des concepts abstraits sont en jeu (ou que la lgitimit de cette appli cation devrait tre assure par une preuve de cohrence n'utilisant que des concepts lmentaires) (18). Le constructivisme cherche trouver des contreparties l mentaires (par exemple, combinatoires) aux notions abstraites. D'inspiration rductionniste, il veut liminer les concepts abstraits inutiles (mais ses partisans sont en total dsaccord sur le sort qu'il convient de rserver aux notions abstraites inliminables). On met en avant des exigences d'accessibilit (14) : par exemple les objets doivent pouvoir tre effectivement individus ou nomms (ainsi les lments d'un espace vectoriel de dimension finie, pour lesquels on dispose d'une dsignation univoque leur criture dans une base ou les applications linaires entre de tels espaces, visualisables l'aide de dispositifs combinatoires il suffit de connatre une liste finie des valeurs de l'application). Or l'poque de Brouwer il existait, dans le champ de la topol ogie, une tradition mthodologique originale qui s'attachait expres sment la recherche de contreparties combinatoires aux concepts (12) En 1958, H. Wang distinguait dj entre l'anthropologisme, le flnitisme, l'intuitionnisme et le prdicativisme (Eighty Years of Foundationnal Studie, repris dans Logic, Computers and Sets (Chelsea, 1970), 38). (u) La classification des divers constructivismes consiste videmment dterminer o passe la dmarcation entre les concepts et les mthodes tenues pour immdiatement lgitimes et les autres. Ainsi intuitionnisme et flnitisme, qui avaient t considre comme quivalents l'poque de Herbrand, ont t pour la premire fois rigoureusement distingus par Gdel en 1958 (Ober eine noch nicht benutzte Erweiterung des flniten Standpunktes, Dialeetica, XII (1958), 280-287); il existe des concepts non strictement unitaires que l'intuitionnisme tient pour immdiatement lgitimes. (M) Sur cette notion, cf. mon article Ralisme et antimcanisme selon K. Gdel, Dialeetica, XL-4 (1986), 297-308.

138

Jacques-Paul Dubucs

abstraits de la topologie gnrale ensembliste. La particularit de Brouwer est d'avoir rompu, la fin des annes 1900, avec la perspective de la topologie gnrale des ensembles de points dans laquelle il avait pourtant travaill lui-mme pendant plusieurs annes et d'avoir finalement adopt le point de vue combinatoire (15) en cherchant arithmtiser les concepts topolo giques : par exemple aux surfaces et aux applications topologiques entre surfaces seront associs des entiers qui permettent de les caractriser en spcifiant leurs proprits essentielles (ie). Le principe mthodologique sous-jacent cette approche peut tre ainsi dcrit : au lieu de chercher rsoudre directement une question topologique Q mettant en jeu une classe trs vaste d'entits abstraites (les figures ), on va chercher montrer comment une partie trs importante des objets de cette classe peut tre constructivement dcrite l'aide d'entits de base pour lesquelles la ques tion Q a une rponse vidente. Les entits de base sont des mor ceaux typiques , les simplexes : les sont les points ; les , les segments ; les A2, les triangles ; les , les ttradres et plus gn ralement An est l'enveloppe convexe de la figure de R* dtermine par une famille affinement libre de n -f 1 points. Ces briques de dimension diverse peuvent s'assembler de manire rgulire deux faces de mme dimension devant tre disjointes ou confondues (u) Brouwer est d'ailleurs lui-mme tenu pour le fondateur de la topologie combinat oire : cf. par exemple le livre Topologie I (Springer, 1935) de P. Alexandroff et H. Hopf, ddi Brouwer, et la prface de H. Freudentbal BRO II. L'originalit mthodolo gique de Brouwer et la nettet de son opposition la topologie ensembliste taient encore vivement perues dans les annes 1930. Dans leur ouvrage classique Lehrbuch der Topologie (Teubner, 1934), H. Seifert et W. Threlfall vont jusqu' lui attribuer la notion de complexe simplicial elle-mme : Bien qu'il existe de vastes thories sur les parties arbitraires de l'espace euclidien, nous n'aurons pas affaire un concept aussi gnral de la figure : il nous entranerait dans des complications ensemblistee regret tables. La notion de complexe introduite par Brouwer est assez troite pour nous viter ces difficults, tout en restant assez large pour comprendre toutes les figures int ressantes (p. 4). (u) Ceci correspond troitement la philosophie brouwrienne de la gomtrie, telle qu'elle s'exprime notamment en 1909 dans The Nature of Geometry (BRO 1, 112), o Brouwer parle d'arithmtisation de l'espace. Considrant qu'il s'loigne sur ce point de la doctrine kantienne, il estime que les notions de temps et d'espace ont un statut trs diffrent : le concept de temps, fondement de l'arithmtique, est tenu pour beau coup plus lmentaire que les concepts gomtriques (cf. aussi Intuitionism and Formalism (1912), BRO I, 127). Comme l'a bien vu Bernays, la consquence mthodol ogiqueen est, pour l'intuitionnisme, de tendre arithmtisation du continu (Sur le platonisme dans les mathmatiques, L'Enseignement mathmatique (XXXIV), 1935, 60 et 66).

L. J. E. Brouwer

139

pour former des complexes simpliciaux, et les polydres sont les multiplicits homomorphes de tels complexes ; la donne d'un tel homomorphisme, en gnral non unique, est appele triangulation de la multiplicit considre. Par exemple la sphre S = {(#, y, z) ; x1 -f + z2 = 1} peut tre vue comme le bord d'un ttradre ou comme le bord d'un cube. Poincar donnait ds 1899 (17) cette description combinatoire ( schma ) la forme d'une criture matricielle : une fois numrots les simplexes des divers types qui entrent en jeu, on peut crire, par exemple, la matrice AJ = (aw), o a= 1 si le -ime sommet (O-simplexe) est sur la /-ime arte (1-simplexe) et 0 sinon (18). Gomme le note P. Alexandrov (19), on dispose en fin de compte de deux interprtations concurrentes du concept fondamental de la gomtrie, soit celui de figure . Selon la premire interpr tation,inhrente la gomtrie synthtique depuis Euclide, une figure est un systme fini d'lments en gnral htrognes (tels que points, droites, plans, etc., ou simplexes de dimensions diverses) qui sont combins entre eux selon des rgles dfinies donc une configuration au sens le plus gnral du mot. Selon l'autre inter prtation, une figure est un ensemble de points, soit usuellement une collection infinie d'lments homognes, collection qui doit tre organise d'une manire ou d'une autre pour former une structure gomtrique (ce qui peut tre effectu, par exemple, en se dotant d'un systme de coordonnes, d'un concept de dis tance ou de voisinage). Les mathmaticiens travaillant dans la tradition de la topo logie simpliciale taient parfaitement conscients de leurs partis (") uvres, VI (Gauthier-Villars, 1953) (dsormais abrg POI VI). (u) L'approche combinatoire et l'criture matricielle des schmas taient devenues si communes l'poque de Brouwer que des auteurs comme O. Veblen et J. W. Alexander, Manifolds of -dimension, Annals of Mathematics, XIV (1912-1913), 163-178, n'prou vaient plus du tout le besoin de les expliciter, et tchaient au contraire d'en tendre le domaine d'application, considrant que ces matrices dfinissent un systme d'quat ions dans Z/(2), et fournissent de la sorte une approche algbrique de la question du coloriage des cartes (en fait l'ide de ramener certaines questions topologiques des problmes algbriques concernant des quations dont les coefficients sont donns modulo 2 semble remonter H. Tietze, Ober die topologischen Invarianten mehrdimensionaler Mannigfaltigkeiten, Monatshefte fur Mathematik und Physik, XIX (1908), 49). Remarquer que ce parti pris amne ngliger les questions ' orientation, qui exige raient des coefficients positifs et ngatifs. (u) Einfachsle Grundbegriffe der Topologie (Berlin, 1932) ; trad. angl. A. E. Farley, Elementary Concepts of Topology (Dover Publ., 1961), 44.

140

Jacques-Paul Dubucs

pris mthodologiques, et revendiquaient la cohrence de la premire interprtation en s'opposant la tradition issue des mmoires cantoriens et en prfrant la notion problmatique d'ensemble de points arbitraire celle de figure finiment descriptible. Ainsi Dehn (20) et Heegaard dans leur texte fondamental sur Analysis Situ, pouvaient crire en 1907 : U analysis situs se prsente, d'aprs sa signification intuitive, comme une partie de la combinatoire (...). L'intuition combinatoire n'est pas seulement la rfrence (Masstab) qui permet de saisir la signification des rsultats, mais encore le meilleur guide dans la dcouverte des thormes et de leur preuve. (") On met donc en avant des contreparties constructives aux notions topologiques abstraites. A la notion topologique fonda mentale, celle d'homomorphisme (bijection bicontinue), on fait correspondre celle d'homomorphisme combinatoire : deux multi plicits | | et | L | seront dites combinatoirement homomorphes lorsque les complexes associs et L peuvent tre dduits l'un de l'autre par ce que Dehn et Heegaard appellent des transfor mations internes : ils doivent avoir deux subdivisions K' et L' identiques la numrotation prs de leurs sommets (et on doit pouvoir accder ces subdivisions en un nombre fini d'tapes de nature lmentaire) (M). Toute rfrence la continuit a disparu : (M) Max Dehn, ancien lve de Hilbert (il avait montr, suivant une suggestion de Hilbert, la possibilit d'une gomtrie non legendrienne , et ses recherches furent incorpores aux Grundlagen der Geometrie) devait passer dans la dissidence brouwrienne au dbut des annes 1920. (u) Dehn et Heegard, Enzyclopaedie der Mathematischen Wiesenschaften, III, (1907), 10. Naturellement cette intuition combinatoire rfre la possibilit de visualiser les structures gomtriques en jeu, mais n'implique nullement qu'il soit psychologiquement facile de dcider de la vrit ou de la fausset des propositions qui se rapportent ces structures (c'est une intuition de re et non de dicto). Au reste il allait de soi, pour Brouwer lui-mme, que les mathmatiques constructives n'taient pas plus < faciles > que les autres ( examiner sa thorie des suites de choix, on serait mme tent d'ajouter : bien au contraire). Cf. par exemple Over de grondslagen der wiskunde, 126; BRO I, 72. (**) Loc. cil. Cf. aussi POJ VI, 303 sq. Ces oprations lmentaires consistent par exemple remplacer la squence ... xi_1xixi+1 ... par la squence xi_1xi+l . . . dans un lacet simplicial (c'est--dire dans une suite ordonne x0, ...,xn de sommets o xo = xn). En termes modernes, l'nonc T est une subdivision commune des schmas S et S' est dcidable (il suffit de faire la vrification !), et l'nonc S et S' sont combi natoirement homomorphes , projection existentielle du premier, est semi-dcidable : une machine laquelle on fournit en entre des paires { S, S' } de schmas ne s'arrte

L. J. E. Brouwer

141

Si l'on part de la conception purement combinatoire des multiplicits polydrales comme systmes dtermins par les relations d'incidence entre leurs lments, alors videmment le concept de continuit n'a plus lieu d'tre. () C'est d'ailleurs la source du principal grief des constructivistes l'gard de l'approche traditionnelle : Aujourd'hui on essaie souvent de pratiquer [Y Analysis Situs] la manire analytique (...). Ceux qui s'occupent Analysis Situs ne peuvent s'empcher d'estimer que cette approche introduit des concepts qui sont trangers l'essence de la chose. (a*) Selon l'un des mathmaticiens les plus conscients de l'originalit mthodologique de la topologie polydrale, H. Tietze, La reprsentation des multiplicits comme systmes de cellules possde un intrt thortique particulier, en ce qu'elle permet une construction de Y Analysis Situs exempte de tout recours aux ensembles infinis de points ou aux mthodes de la thorie des fonctions. Elle repose sur le fait qu'un systme de cellules est dtermin par un nombre fini d'lments et par un nombre fini de relations entre ces lments. La possi bilit est ainsi offerte de dvelopper YAnalysis Situs de manire pour ainsi dire purement combinatoire. (") A l'aide du concept de l'homomorphisme des schmas nous n'avons que des thormes drivs, qui ne sont applicables aux ensembles de points qu'avec certaines restrictions, mais qui ont naturellement leur signification autonome dans une Analysis Situs dveloppe de faon pureque pour les paires qui sont combinatoirement homomorphes. Le fait qu'on n'a que la emi-dcidabilit en dimension > 3 a t tabli par A. A. Markov en 1958, Unsolvability of the Problem of Homeomorphy, Proceedings of the International Congress of Mathematics (1958), 300-306. (*) Steinitz, Beitr&ge zur Analysis Situs, Silzungsberichte der Berliner Mathemalische Gesellschaft, VII (1908). (**) Op. cit., p. 30. Steinitz est ici proccup par ce que Hilbert appelait Methodenreinheit : pour autant que faire se peut, la solution d'un problme mathmatique ne doit pas faire appel d'autres concepts que ceux qui permettent d'noncer le pro blme. Hilbert lui-mme tait au demeurant fort conscient que cet idal de puret des mthodes, auquel il attachait une valeur philosophique essentielle, tait en gnral hors de porte : le thorme fondamental de l'algbre ne peut tre prouv sans faire appel la notion de continuit, trangre l'algbre, etc. On peut aussi se rfrer aux Grundlagen der Geometrie : le thorme plan de Desarguee, nonc dans le pur langage de l'incidence, est dmontrablement improuvable sans recours des notions mtriques ou spatiales. Sur la signification philosophique de cette impossibilit de la Methodenreinheit, cf. mon article Die sogenannte Analytizitt der M a thematik : fur eine Radikalisierung der Thorie Hintikka's, paratre dans Grazer Philosophische Studien. (") Tietze, op. cit., n. 18, 2.

142

Jacques-Paul Dubucs

ment combinatoire (...) o n'interviennent ni le concept de continu numrique ni les relations fonctionnelles entre nombres rels. (") Alors que l'objectif global de la topologie est de classifier les multiplicits en classes de multiplicits homomorphes, pour Y Analysis Situs entendue au sens combinatoire le fondement est la rpartition des schmas en classes de schmas homomorphes (*7). On sait que cette entreprise rductionniste visant ramener la classification par homomorphismes (abstraits) une question combinatoire n'a que partiellement russi : bien que les figures usuelles soient des polydres, le problme se pose de savoir si toute multiplicit (dans laquelle chaque point possde un voisi nage homomorphe la boule ouverte) est triangulable. Triviale en dimension 1, cette question n'a reu de rponse positive qu'en 1924 (Rado) pour la dimension 2, et en 1952 (Mose) pour la dimension 3. Par contre on sait depuis 1969 qu'il existe de telles multiplicits (par exemple en dimension 5) sans structure combinatoire. Par ailleurs la question de savoir si l'existence d'un homomorphisme combinatoire est une condition ncessaire d'homomorphisme abstrait fait l'objet de la fameuse conjecture principale (Hauptvermutung) nonce par Steiniz en 1908 : vraie pour les petites dimensions, cette conjecture ne l'est pas en gnral (a8).

(*) Op. cit., 14. (w) Op. cit., 106. Brouwer crit, quant lui : Le traitement sans formules, le tra itement "gomtrique", sera le point de dpart, et le traitement analytique apparatra comme un expdient liminable (BJRO I, 120). (**) Cf. J. Milnor, Two Complexes which are homeomorphic but combinatorially distinct, Annals of Mathematics, LXXIV (1961), 575-590. La situation est donc trs exactement, sur le plan pistmologique, celle qui pr vaut en logique, o les constructivistes s'efforcent de rduire la notion abstraite de validit la notion combinatoire de prouvabilit : 1. Cette rduction est partiellement lgitime (par exemple elle vaut pour la thorie de l'addition dans N, mais cesse d'tre correcte si l'on ajoute la multiplication). 2. Les mthodes qui permettent d'tablir cette lgitimit partielle sont elles-mmes abstraites et non pas combinatoires. En topologie, le programme est entirement ralisable jusqu' la dimension 3 : la question de la classification par homomorphisme peut tre totalement rduite une question combinatoire, d'o toutes les considrations de continuit sont limines. Remarquer le paralllisme des deux notions d'homomorphisme combinatoire et de prouvabilit (par exemple dans l'arithmtique de Peano) : l'nonc x est (le numro

L. J. E. Brouwer

143

Bien entendu les mathmaticiens travaillant dans le champ de la topologie combinatoire n'ont jamais perdu de vue le fait que, quel que puisse tre l'intrt intrinsque de la topologie polydrale, l'objectif ultime restait l'tude gnrale des multiplicits. En ce sens on s'est propos de dvelopper le point de vue combinat oire en raison de sa fcondit pour les questions classiques, et non pas en invoquant l'illgitimit de l'approche traditionnelle : il ne s'agit nullement d'une topologie dviante . Ainsi H. Tietze prcise-t-il : II convient sans doute d'insister sur le rapport des systmes cellu laires aux ensembles de points (...). Mais il s'avre que la transcription de beaucoup de thormes qui se formulent aisment dans le cadre de Y Analysis Situs combinatoire se heurte des difficults dans le domaine des ensembles de points. () Or, Brouwer a prcisment cherch obtenir des rsultats tablissant la porte gnrale des notions combinatoires (en dve loppant ainsi la problmatique topologique traditionnelle, non en visant la concurrencer, comme ce fut le cas dans le domaine des fondements. Il s'agissait de montrer que, si une proprit (combin atoire) Q est vraie d'un (complexe simplicial qui triangule un) polydre P, elle vaut encore pour tout polydre P' homomorphe P et pour toute triangulation de P'. Le rsultat fondamental de Brouwer est nonc lorsque l'on prend pour Q la proprit tre de dimension n . Naturellement on peut dfinir pour les simplexes et les complexes simpliciaux une notion combinatoire de dimension dim = n et dim = sup dim A (80). Mais il faut videmment prouver que cette notion combinatoire de dimension est un inva riant topologique, c'est--dire tablir que si | | et | L | sont homomorphes alors Dim = Dim L. C'est l'objet du mmoire de 1911, Beweis der Invarianz der Dimensionenzahl (31). L'instrument original de cette preuve est la notion de degr d'une application (et, subsidiairement, celle d'approximation sim-

) une preuve de la formule (de numro) y est dcidable, et l'nonc g est (le numro ) un thorme est seulement semi-dcidable. Au rsultat de Markov mentionn p. 1 40, n. 22 correspond le thorme de Church (1936) sur l'indcidabilit de l'arithmtique. () Op. cit., 3. (*) Cf. appendice. () Mathematische Annalen, LXX, 161-165; BRO II, 430-434.

144

Jacques-Paul Dubucs

pliciale), dont on se propose d'examiner la gense et la signification chez Brouwer. Au point de dpart : deux thormes relatifs aux sphres, dont Brouwer ne parvient pas dmler le lien exact. Le premier est nonc dans un article de fvrier 1909 (82) : les transformations de la sphre S qui prservent l'orientation ont ncessairement un point fixe, et par contre ce sont les transformations de S qui la renversent qui possdent des points fixes. Le second thorme concerne les singularits des champs de vecteurs sur S, et figure dans un article de mars 1909 (3S) : sur S1, mais pas sur S2, tout champ de vecteurs (continu) est nul au moins en un point (Hilbert appelle cela le thorme du porc-pic : lorsque l'animal se met en boule il y a toujours des points tourbillonnaires o la direction des piquants est indtermine). Brouwer conjecture que cette diffrence de comportement entre S1 et S2 se gnralise sous son double aspect : concernant Sn, des points fixes des applications topolo giques et des singularits des champs de vecteurs existent nces sairement pour les n pairs et pour eux seuls. Les dcouvertes dcisives de Brouwer, et son adoption du point de vue combinatoire, rsultent de sa tentative infructueuse pour tablir un lien entre ces thormes (qui sont obtenus en 1909 par les mthodes traditionnelles) : A premire vue il pourrait sembler que les deux thormes peuvent tre directement dduits l'un de l'autre. Nanmoins ce n'est pas le cas. ("*) Pour dduire le thorme sur les points fixes du thorme sur les singularits on doit construire, partir d'une transformation / prservant l'orientation de S2, un champ de vecteurs X qui contiendra des singularits (par hypothse), et montrer que ces singularits doivent tre imputes l'existence de points fixes de /. Brouwer essaie de dfinir le vecteur X(P) comme le vecteur tangent yp au point P, o y9 est l'arc de godsique qui relie P /(P). A tout point fixe de / correspondra une singularit : si f(P) = p, on ne sait plus dfinir X(P). Mais il peut exister aulres singularits, qui ne peuvent tre imputes aux points fixes de /, car on ne sait pas non plus dfinir X(P) lorsque P et /(P) sont (82) Continuous one-one Transformations of Surfaces in themselves, BROW, 195-205. (**) On continuous Vector Distributions on Surfaces, BBO II, 273-282. (*) BBO II, 280.

L. J. E. Brouwer

145

antipodiques puisqu'il passe alors une infinit de godsiques par P et /(P). On aura remarqu que Brouwer n'utilise pas l'hypo thseque / prserve l'orientation (il ne sait pas le faire). A la fin de 1909, Brouwer envoie Hadamard son article de mars sur les champs de vecteurs (se). Hadamard lui indique la srie de mmoires consacrs par Poincar partir de 1881 aux courbes dfinies par une quation diffrentielle . Brouwer va en faire une lecture trs novatrice, d'o va sortir sa notion de degr d'une application. Ces mmoires de Poincar inauguraient l'tude qualitative globale des systmes diffrentiels, cherchant dcrire gomtrique ment le comportement de leurs courbes intgrales. Poincar s'y limitait des quations diffrentielles trs simples, du type y' = f(x, y), f tant une fraction rationnelle en x et y. Avant 1881, Briot, Bouquet et Poincar lui-mme dans sa thse avaient dj conduit une telle tude au plan local, c'est--dire au voisinage des points pour lesquels / n'est pas dfinie. On avait tudi la morphologie de ces singularits en en oprant une classification (nuds, cols, foyers, centres). En passant l'tude globale, Poincar, pour viter les difficults lies aux asymptotes des courbes int grales, projette le plan sur la sphre S en identifiant le point M du plan la paire {M', M"} de points antipodiques tels que M et M' soient aligns avec le centre de la sphre : les courbes intgrales recherches deviennent les lignes de flux d'un champ de vecteurs tangent la sphre. Les singularits se transportent sans change ment de morphologie du plan la sphre, qui en contient un nombre pair (tout est symtrique par rapport au centre). Poincar introduit alors la notion cruciale ' indice d'une courbe de Jordan (oriente) par rapport un point (M) : quand le point M parcourt (**) La lettre accompagnant l'envoi de Brouwer a t perdue ; par contre la rponse Hadamard a t retrouve dans le Nachlass de Brouwer, et elle est reproduite dans Dale M. Johnson, The Problem of the Invariance of Dimension in the Growth of Modern Topology Part II, Archive for History of Exact Sciences, XX (1979), 153-154. (M) En 1881 cette notion d'indice a dj une longue histoire : utilise par Cauchy dans sa thorie des variables complexes (indice d'un lacet par rapport un point), elle avait t gnralise par Kronecker dans deux mmoires de 1869 portant le titre Ober Systme von Functionen mehrer Variabeln in Werke, I (New York, 1968), 175-212 et 213-226. Hadamard lui-mme a donn une tude trs complte de cet indice de Kronecker en appendice la seconde dition du trait d'analyse de Tannery, Sur quelques applications de l'indice de Kronecker, in J. Tannery, Introduction la thorie des fonctions, 2* d., t. II (1910), 437-477.

146

Jacques-Paul Dubucs

compltement la courbe J, suppose ne passer par aucun point singulier mais pouvant en enfermer au plus un, l'expression y', qui dfinit le vecteur X(M) du champ en ce point, va sauter un certain nombre de fois, soit h, de -f oo oo, et un certain nombre de fois, soit /c, de oo + - L'indice de J est alors ( k)/2 (87). Ainsi lorsque l'quation d'origine est y' = y/x et que la courbe considre est le cercle J : [0, 2n] -> R -> (p cos 0, p sin 8), la direction du vecteur X(M), o M est le point de paramtre 6, est la droite de pente tg 6 : l'indice de J par rapport cette singul arit, que Poincar nomme un col , est donc 1.

Pour les singularits des autres types, l'indice est 1. Poincar tablit que cet indice est invariant par homotopie (M). En util isant cette notion d'indice, Poincar tablit que N -j- F = 2 (expression dans laquelle les lettres dsignent le nombre des nuds, des foyers et des cols), et mme que N -\- F G = 2 2p, o p est le genre de la surface considre, c'est--dire le nombre de coupures que l'on peut pratiquer sur elle sans qu'elle cesse d'tre connexe (0 pour la sphre, 1 pour le tore, etc.) : Poincar aperoit tout fait que sur le tore, mais pas sur la sphre S2, on peut cons truire un champ sans singularits. (*) En fait Poincar donne la dfinition inverse de la dfinition moderne : il change les signes + et . Cf. Poincar, uvres, I ( Gauthier-Villars, 1928), 27. (*) Ce rsultat, qui jouera un rle essentiel chez Brouwer, est obtenu par l'argument en vertu duquel si une fonction continue en Cl prend ses valeurs dans un ensemble discret elle doit tre constante sur tout il.

L. J. E. Brouwer

147

II faut pourtant souligner les limites de l'approche de Poincar, pour rendre manifestes les innovations apportes par Brouwer. Mme si, d'une certaine manire, ces mmoires relvent de la topologie, Poincar aborde encore les questions, selon l'expression de Steinitz, la manire analytique : l'nonc de son thorme global fait encore rfrence aux formes de singularits issues de l'quation trs particulire dont il parle, et reste trs malais gnraliser. Il lui manque la notion d'indice global d'une surface, entendu comme la somme algbrique des indices des singularits qu'elle contient. La sphre n'intervient qu' titre instrumental, pour des raisons de pure commodit (les singularits y sont simple ment plus lisibles). En 1881 Poincar n'aperoit pas que la relation explicative va aussi dans un autre sens, savoir que la donne d'un champ de vecteurs sur la sphre permet de mettre en vi dence sa structure topologique. Ne dfinissant pas en toute gnr alit l'indice global des S2, il ne peut tablir que cet indice ne dpend pas du champ particulier que l'on envisage (39). L'enjeu est naturellement la mise jour de l'invariant caractristique d'une surface, qui est un entier, et que l'on peut manifester en dfinissant sur cette surface des structures additionnelles trs diverses : champ de vecteurs, triangulation, fonction de Morse, etc. Comment mettre jour cet invariant arithmtique qui apparat tantt comme somme algbrique des indices des singularits d'un champ de vecteurs et qui est indpendant du champ particulier qu'on a choisi tantt comme la somme S A -f- F (o les lettres dsignent re spectivement le nombre de sommets, d'artes et de faces d'un complexe simplicial qui triangule la surface) et qui est indpen dante de la triangulation choisie, etc. ? La lecture de Poincar permet d'abord Brouwer de rsoudre son problme initial : Merci bien de m'avoir indiqu les mmoires de M. Poincar sur les distributions vectorielles algbriques (...). Autant que je vois, ces tan gentes aux arcs de grands cercles, que j'avais essayes moi-mme, ne mneront pas au but (...). En lisant les mmoires de M. Poincar cits par vous, j'ai eu une autre ide. (40) (*) Mais il montre en 1885 que pour les champs particuliers auxquels il fait rf rence l'indice global du champ est identique la caractristique d'Euler de la surface sur laquelle il est dfini (POI I, 121-125). (*) Lettre Hadamard du 24 dcembre 1909, extraite du Nachlass de Brouwer et publie par D. M. Johnson, op. cit., 154-155.

148

Jacques-Paul Dubucs

Brouwer introduit un point de rfrence A et son image (les deux sont distincts, sinon le thorme est dmontr). Il dfinit alors, pour tout point P de S2, le vecteur X(P) comme la tangente l'arc de cercle yp passant par P, /(P) et B, ou plus exactement comme la tangente celui des deux arcs qui ne passe pas par B. X(P) est donc dfini mme si P et /(P) sont antipodiques. Les seuls cas o cette construction est irralisable, c'est--dire les seuls cas de singularits, sont pour P = A, P = et P = /(P). S'inspirant de Poincar, Brouwer utilise alors, pour dterminer les sens de variation angulaire, l'hypothse que / prserve l'orien tation, et montre que Ind (A) = 1 et Ind () = 1. Si c'taient les seules singularits, c'est--dire si / tait sans point fixe, la somme des indices serait zro, ce qui est impossible sur la sphre S2 (41). Dans cette lettre Brouwer insiste sur le fait qu'il a d adapter la notion d'indice qu'il trouvait chez Poincar. Cette adaptation consiste en inverser la dfinition (42) et surtout envisager des distributions vectorielles continues gnrales , donc sans rf rence une quation particulire pour la dfinition du champ. Brouwer exige seulement que dans une expression comme y' = f(x, y) la fonction / soit continue, abandonnant la restriction partout l'uvre chez Poincar, savoir que par un point de la sphre ne passe qu'une caractristique (courbe intgrale) (*} ; ceci lui permet de mettre en vidence l'existence d'un indice global pour les champs de vecteurs sur les hypersphres, soit encore une caractrisation arithmtique des multiplicits (**). Mais la dmonstration de l'quivalence entre singularits dans

(u) On notera l'usage du tiers-exclu pour tablir l'existence d'un point P tel que P = f(P). (*") Cf. supra, n. 37. (*) Brouwer a appris de Peano et d'Arzela, qu'il cite nommment, que si l'on n'exige pas l'unicit on peut se passer de l'hypothse que f est continment derivable ou mme seulement lipschitzienne. (**) Le thorme gnral sur l'identit de l'indice global et de la caractristique d'Euler est d H. Hopf, Vektorfelder in n-dimensionalen Mannigfaltigkeiten, Mathematische Annalen, XCVI (1927), 225-250. Dans le mme article Hopf montre comment construire effectivement un champ de vecteurs avec singularits lorsque la caractris tique d'Euler n'est pas nulle. C'est un bon exemple du prcepte brouwrien selon lequel les pures assertions d'existence doivent tre remplaces par l'indication d'un procd de construction.

L. J. E. Brouwer

149

un champ et points fixes d'une transformation (46) n'est pas le seul bnfice que Brouwer retire de cette adaptation de Poincar : Brouwer s'en sert aussi pour noncer une distinction topologique entre sphres paires et impaires : l'indice global de S*"1 est 2 si n 1 est pair et 0 sinon. Puisque les proprits des transformat ions de S"""1 peuvent tre prdites partir des proprits des champs sur S*"1, et qu'on dispose d'une caractrisation arithmt ique de ce dernier, on devrait pouvoir galement caractriser les transformations par des entiers. C'est ce que fait Brouwer ds le 1er janvier 1910 (4e) en dfinissant le degr (Grad) d'une application : Pour dterminer ce degr, introduisons les coordonnes homognes ( double sens), crivons les x, y, z pour la sphre primitive et s, >), , pour l'image, divisons la sphre en un nombre fini de rgions, et considrons d'abord les transformations dfinies par les relations : l ' *) ? = /i(#> y> *) ' Ux, y, z) ' > y A o /j, /2, /3 sont des polynmes, qui d'ailleurs peuvent diffrer pour les diffrentes rgions de la sphre. Appelons cette transformation une trans formation polynomiale. Dfinissons une indicatrice sur la sphre : alors chaque point P de l'image de position gnrale apparatra un nombre rp de fois avec indicatrice positive, et un nombre sp de fois avec indicatrice ngative. On dmontre alors que rv sp est une constante : c'est le degr de la transformation polynomiale. Revenons une transformation univoque et continue gnrale. Elle peut tre approxime par une srie de transformations polynomials; on dmontre que ces dernires ont toutes le mme degr : c'est encore le degr de la transformation limite. Le degr est toujours un nombre entier fini, positif ou ngatif. Le degr d'une transformation iunivoque est de + 1, si l'indicatrice reste la mme, et de 1, si elle est renverse. (*7) Brouwer est soucieux de vrifier que cette caractrisation arithmtique des applications suffit en dsigner toutes les pro(*) Ober Abbildung von Mannigfaltigkeiten, Mathematische Annalen, LXXI (article dat de juillet 1910), BRO II, 469. (*) Lettre date de Parie, vraisemblablement adresse Hilbert, BRO II, 421. (*7) Lettre Hadamard du 4 janvier 1910, BRO II, 426. Dans cette lettre Brouwe crdite Hadamard de ses propres rsultats sur l'quivalence entre singularits et points fixes. De son ct, Hadamard, qui donne une preuve compltement dveloppe de cette quivalence, l'attribue Brouwer (Hadamard, op. cit., 475-476).

150

Jacques-Paul Dubucs

prits pertinentes pour Y Analysis Situs, c'est--dire d'tablir que le degr caractrise la classe d'homotopie : A une transformation attribuer un nombre fini n rmationde degr n, on peut toute autre transformation [biunivoque et continue de la sphre] on peut comme son degr. En partant d'une transfo atteindre moyennant des variations continues de degr n, mais pas d'autres. (*)

Brouwer n'utilise pas le terme d'homotopie, et prfre dire que des applications homotopes se laissent continment transporter l'une dans l'autre (49). Il n'emploie pas non plus la dfinition moderne (eo), mais utilise plutt l'ide gomtrique sous-jacente de dformation, toujours lie la question des points antipodiques : les images d'un point de X par deux applications homotopes de X dans S*"1 devront toujours pouvoir tre relies par un arc de godsique (51). Il prouve que les transformations homot opes ont mme degr, et dmontre galement le thorme converse, mais sous une forme moins gnrale (52). Enfin il mentionne expres sment la notion de classe d'homotopie : ainsi toutes les trans formations continues de la sphre avec indicatrice invariante appar tiennent la mme classe. Chaque classe aura un reprsentant canonique, une transformation rationnelle de degr n de la sphre complexe (63). D'une certaine manire, Brouwer ne tire pourtant pas toutes les consquences de sa notion de degr (par exemple il ne parvient pas prouver en toute gnralit que les applications de mme degr sont homotopes). Il semble qu'il faille attribuer ces limita tions la persistance de certains concepts analytiques comme ceux, finalement trs archaques, de sens de circulation ou indicatrice (M), au sein d'une approche globale combinatoire () BRO II, 426. "(*) BRO II, 462. (**) f> 9 ' X Y sont homotopes lorsqu'il existe une application continue F : X x [0, 1] -> Y telle que F(x, 0) = f(x) et F{x, 1) = g(x) pour tout x de X. (61) L'ide d'homotopie comme dformabilit de f en g le long des godsiques est parfaitement explicite dans BRO II, 527-528. (**} En fait Brouwer ne le prouve pour les transformations continues de Sn que pour n = 2. La gnralisation est due H. Hopf, Abbildungsklassen n-dimensionaler Mannigfaltigkeiten, Mathematischc Annalen, XCVI (1927), 183-224. (M) BRO II, 426. (M) Brouwer dfinit l'orientation l'aide de la notion d'indicatrice introduite par Klein, Ober den Zusammenhang der Flchen, Mathematische Annalen, IX (1876), 476-482 : l'indicatrice est un cercle infinitsimal orient plac sur la surface, et

L. J. E. Brouwer

151

et arithmtique : il tait malais de dfinir l'indicatrice d'une sphre de degr quelconque. Mais la limitation la plus visible de l'uvre topologique de Brouwer tient l'absence de toute approche algbrique, alors qu'une notion comme celle de degr d'une transformation de S""1 se laisse trs naturellement reformuler dans le cadre de l'homologie (65). Une explication partielle tient sa mauvaise connaissance des mmoires proprement topologiques de Poincar : curieusement, mme s'il ne pouvait ignorer les tudes consacres par Poincar Y Analysis Situs partir de 1895, c'est toujours aux mmoires sur les distributions vectorielles que Brouwer se rfre. On peut aussi penser avec W. P. Van Stigt (6e) que les subtilits algbriques requises taient trop loignes de la simplicit visuelle perceptive de la gomtrie sur laquelle Brouwer avait tant insist dans son article sur la nature de la gomtrie (w). En mme temps que sa notion de degr, Brouwer introduit sa technique originale d'approximation simpliciale. Parmi les appli cations (continues) du polydre | | dans le polydre | L |, cer taines ont une description combinatoire : ce sont les applications simpliciales, celles qui prservent les simplexes (/ est simpliciale transport sur elle le long d'une courbe close quelconque. Les surfaces non orientables sont dcrites comme celles o l'indicatrice peut revenir renverse d'un tel parcoure (ex. : ruban de Mbius).

(M) Une transformation f de ce type induit un endomorphisme /", du groupe .^""1), isomorphe Z; si a est l'un des deux gnrateurs de Hn_1(SM~1), le degr de f est prcisment l'entier tel que ft{a) = ka. H. Hopf a reformul algbriquement la notion de degr dans son article Zur Topologie der Abbildungen von Mannigfaltigkeiten, I : Neue Darstellung der Thorie des Abbildungsgrad fur topologische Mannigfaltigkeiten, Mathematische Annalen, (1928), 579-608. () Op. cit., 23. Freudenthal et Heyting invoquent galement la dgradation des conditions du travail et de la communication scientifique durant la Premire Guerre mondiale. () BRO I, 112-120.

152

Jacques-Paul Dubucs

si sa restriction un simplexe A de est une application affine de sur un simplexe de L). L'ide brouwrienne d'approximation simpliciale relve d'une dmarche trs frquente en mathmatiques : tant donn un objet 9 d'une certaine classe C, trouver, dans une autre classe (qui est ventuellement une partie de G), un objet / qui soit, en un certain sens, aussi proche que possible de 9 (ou plus proche de 9 que tout autre objet de C). D'une certaine manire la classe choisie est prfre la premire, car plus lmentaire qu'elle (penser l'ide d'approximation d'une fonction continue par une fonction linaire). Prsentement est la classe des appli cations continues et celle des applications simpliciales de j | dans | L |. Formellement, / est dite une approximation simpliciale de 9 lorsque la condition (A) est vrifie : (A) expression o SJj(u) dsigne l'toile de v dans J , c'est--dire l'union des intrieurs des simplexes de J qui admettent v pour sommet (M). Cette condition est raisonnable car si elle est vrifie 9 et / sont proches , au sens o tous les simplexes de L qui contiennent <p(x) contiennent aussi f(x). Le thorme (w) en vertu duquel toute application continue entre polydres possde une approximation simpliciale fournit donc une justification de la perspective constructive : pour autant que /'analysis situs soit concerne, la notion abstraite de continuit peut tre limine au profit du concept combinatoire de simplicialit, et ceci sans perte information, l'application d'origine et son approxi mation tant dans la mme classe d'homotopie (eo). Le seul obstacle la ralisation de (A) peut provenir de la grossiret de la trian gulation : on raffinera alors le complexe par une mthode effective, celle de la subdivision barycentrique (ei) (on ajoute aux sommets de le barycentre de chacun de ses simplexes, et on joint tous les points par des segments). Brouwer montre alors que, quitte recommencer cette opration de subdivision, la (M) Le terme apparat chez Brouwer en 1924 (BRO II, 606-608), maie il utilise cette notion (qui avait t utilise par Poincar sous le nom aster : POI, VI, 233) bien plus tt. (n) BRO II, 459 et 529. () BRO II, 460. (") BRO II, 530-531 . Ce procd est dj utilis par Poincar en 1895 (POI, VI, 271 ).

L. J. E. Brouwer

153

condition (A) finira par tre vrifie : quelle que soit l'application continue <p, il existe un entier n tel que la n-ime subdivision barycentrique de sera assez fine pour qu'existe une application simpliciale / vrifiant (A). Ceci suggre que les proccupations constructivistes ne sont pas trangres l'uvre topologique de Brouwer. Il s'autorise certes en topologie toutes les mthodes de preuve traditionnelles, mais montre que pour une large part leur champ d'application peut tre restreint des noncs o les concepts en jeu sont de nature combinatoire. C'est dans le droit fil de sa philosophie de la logique et de la gomtrie.

APPENDICE : SUR LA NOTION DE DIMENSION Au moment o Brouwer dbute ses travaux de topologie, la notion traditionnelle de dimension tait hypothque par un rsultat de Cantor de 1877. Cette notion traditionnelle, vague mais longtemps perue comme suffisante pour la pratique math matique courante, identifiait la dimension d'une configuration gomtrique avec le nombre de coordonnes ncessaires pour en dcrire les points. Or Cantor avait montr l'quipotence de R* et Rp pour n et p entiers quelconques et donc la possibilit d'individuer n'importe quel point de R* par une seule coordonne relle. Cantor tait d'avis que son thorme ruinait tout fait la notion de dimension : il n'apercevait pas que la tradition des gomtres supposait, implicitement il est vrai, la continuit de la description d'un systme d'entits gomtriques par des coordonnes ( de petites modifications dans les coordonnes devaient correspondre de petites modifications dans l'lment dsign). Dedekind dut rfrner l'ardeur iconoclaste de Cantor : lui reprochant de confondre le concept ensembliste de cardinalit et le concept gomtrique de dimension, il conjectura que ce dernier est un invariant topo logique, c'est--dire qu'il n'existe pas d'homomorphisme entre Rn et R* si n et p sont distincts (). C'est la premire formulation d'un thorme dont la preuve attendra plus de trente ans, et ne (**) Lettre de Dedekind Cantor du 2 juillet 1877.

154

Jacques-Paul Dubucs

sera donne que par Brouwer en 1911. Les multiples tentatives qui furent conduites avant Brouwer (68) le furent dans le cadre de la topologie des ensembles de points et furent improductives et souvent assez confuses (*). Le thorme de Brouwer laissait subsister un motif d'insatis faction: bien que l'on st dsormais que la notion de dimension tait invariante par homomorphisme, on ne possdait toujours pas de dfinition topologique efficace de la dimension : la preuve de Brouwer n'explicite pas vritablement quelle proprit topo logique de Rn doit tre impute l'impossibilit d'un homomor phisme entre Rn et Rp pour n p. En 1913 Brouwer proposa une nouvelle dfinition de la dimens ion (Dimensions grad ), et une preuve de sa correction, au sens o cette notion est un invariant topologique, et o la dimension de Rn est n (w). L'article de 1913reprend une suggestion de Poincar, qui avait expos peu avant sa mort les linaments d'une dfinition inductive de la dimension : remarquant que pour couper une droite il suffit d'un point, et que pour couper un plan il suffit d'une droite, Poincar crivait : Nous savons maintenant ce que c'est qu'un continu n dimensions. Un continu a n dimensions quand on peut le dcomposer en plusieurs parties en y pratiquant une ou plusieurs coupures qui soient elles-mmes des continus n 1 dimensions. Le continu n dimensions se trouve ainsi dfini par le continu n 1 dimensions ; c'est une dfinition par rcurrence. () Expose au public peu form mathmatiquement de la Revue de Mtaphysique et de Morale, la dfinition de Poincar exigeait certains amnagements : prise la lettre, elle conduisait par () On pourra consulter : J. W. Dauben, The Invariance of Dimension : Problems in the early Development of Set Theory and Topology, Historia Mathematica, II (1975), 273-288. (*) Ainsi Cantor lui-mme, dans les Gttinger Nachrichten de 1879 (repris dans G. Cantor, Abhandlungen mathematischen und philosophischen Inhalts (01ms, 1932, 1966), 134-138), essaya de montrer l'impossibilit d'une surjection continue de Rn dans RP lorsque n < p. Or en 1890, dans son article Sur une courbe qui remplit toute une aire plane , Peano construisit justement une surjection continue (mais non iajective) de [0,1] dans le carr [0,1] x [0,1]. L'erreur du raisonnement de Cantor ne fut dcele qu'en 1899 dans un article rtrospectif de Jrgens. (*) ber den naturlichen DimensionsbegrifT (BRO II, 146-152). () Pourquoi l'espace a trois dimensions, in Dernires Penses (Flammarion, 1963), 139.

L. J. E. Brouwer

155

exemple assigner la dimension 1 aux cnes deux nappes, qu'un point suffirait couper. Au cours de son article de 1913 Brouwer utilise (et justifie) un principe original et profond d Lebesgue, le principe du pavage. A titre d'exemple intuitif : en construisant un mur on peut toujours viter ce que les gens du mtier appellent les coups de sabre (o une brique repose, sans dcalage, sur une unique brique du rang infrieur). En d'autres termes on peut toujours oprer en sorte que les points de contact entre briques distinctes ne mettent en jeu que trois briques, et ceci semble caractriser la dimension 2 du mur lui-mme (ici considr comme dnu d'paisseur). Plus gn ralement, lorsque E est de dimension n, n est le premier entier tel que la fermeture de E puisse tre recouverte par des ferms Ft arbitrairement petits contenant des points communs au plus n + 1 des Fi.

Ce principe, qui est l'origine d'une longue et vive controverse entre Brouwer et Lebesgue (e7), est justifi dans l'article de 1913 l'aide de la notion de degr d'une application. CNRS. Jacques-Paul Dubucs.

(<?) On trouvera quelques pices du dossier dans L. Flix, Message un mathma ticien, Henri Lebesgue (Blanchard, 1974), 84-88; chez H. Freudenthal, BRO II, 438-452; et surtout chez D. M. Johnson, op. cit., 157-220.