Davide Crippa M2 Histoire et Philosophie des sciences Paris 7

Puret des mthodes et fondements de la gomtrie

le statut de la gomtrie projective dans les conceptions de J. V. Poncelet, K. von Staudt et G. Frege

La notion de fcondit a souvent justifi aux yeux du mathmaticien et du physicien l'adoption d'une thorie ou l'existence d'un objet mme vis vis des plus vhmentes objections pistmologiques ou ontologiques (ainsi Hilbert ne donne autre justification pour l'existence des nombres complexes ou des points l'infini que leur fcondit en algbre et en gomtrie1, et Godel remarque que la fcondit (fruitfulness) relativement aux consquences vrifiables d'un systme d'axiomes peut tre prise, en mathmatiques, comme critre suffisant pour l'assomption de tel systme2). En mme temps, l'appel ce principe reprsente plutt un critre de choix pragmatique ou esthtique qu'une norme thortique capable de rendre compte des changements l'intrieur du panorama des mathmatiques. En voie hypothtique, il est possible d'numrer certaines conditions qui caractriseraient la notion de fcondit d'une thorie A relativement une thorie B: disons que A est "fconde" par rapport B si elle simplifie le domaine de la deuxime thorie, par exemple en permettant, par l'adjonction d'lments nouveaux, de rsoudre des problmes laisss non rsolus, ou de donner une dmonstration meilleure (en termes de clart, d'conomie d'exposition, de longueur des pas de la dmonstration...) de problmes dj rsolu dans la thorie B3.
1Voir K. Manders, "Domain extension and the philosophy of mathematics", The journal of philosophy, vol 86, N 10. 2 "Furthermore, however, even disregarding the intrinsic necessity of some new axiom, and even in the case it had no intrinsic necessity at all, a decision about its truth is possible also in another way...by studying its "success", that is, its fruitfulness in consequences, and in particular in "verifiable" consequences...". K. Godel, "What is Cantor's continuum problem?", The American Mathematical Monthly, Vol. 54 N 9, 1947. 3 Comme remarque K. Godel dans l'article mentionn, nous pouvons parler de succs d'une thorie en termes de "fcondit de ses consquences" : "consequences demonstrable without the new axiom, whose proof by means of the new axiom, however, are considerably simpler and easier to discover, and make it possible to condense into one

En considrant le panorama des mathmatiques pendant la moiti du XIX sicle, on peut remarquer que l'tude de la gomtrie projective (conue, d'aprs les travaux de Poncelet comme l'ensemble de thormes portants sur des relations de colinarit et concurrence entre points et droites ou entre points et plans, et sur les proprits communes toutes les sections de la projection d'une figure4) exhiba des relations entre cette gomtrie et la gomtrie euclidienne (en gros, les rsultats obtenus dans les Elments) qu'il serait intressant de mettre en parallle avec nos thories idales A et B. J'essayerai d'argumenter que dans les travaux de Jean Victor Poncelet (1788 - 1867) et de G. K. Von Staudt (1798 - 1867), cette relation entre les deux thories est rendue explicite par le recours, dans un cas, au "principe de continuit", et dans l'autre une procd de dfinition par abstraction des entits imaginaires et des points l'infini. En conclusion, comme suggre l'analyse historiquement informe de Mark Wilson5, nous pouvons avancer l'hypothse que la mthode de Von Staudt eut une influence profonde sur les Grundlagen der Arithmetik de Frege. Etant donn ces prmisses, cette oeuvre peut tre interprte comme un essai dans la fondation de la gomtrie projective et non (ou non seulement) dans la fondation de l'analyse. Au milieu du XIXme sicle, la gomtrie projective tait une discipline traverse par une tension interne, dtermine d'une part par la ncessit de remodeler la gomtrie euclidienne travers l'insertion d' lments nouveaux (notamment, points l'infini et points imaginaires) et de l'autre par la ncessit de garder une continuit entre le domaine de dpart et le domaine obtenu. A cet gard, si le recours la gomtrie algbrique complexifie permettait le maniements des quantits imaginaires, leur contenu smantique par rapport aux termes de la gomtrie euclidienne restait mystrieux. La mthode analytique permet en effet de disposer d'un algorithme convenable qui rend possibles les gnralisations les plus tendues6 - comme par exemple la possibilit de traiter par un seul systme d'quations plusieurs cas considrs sparment en gomtrie euclidienne. Ces avantages taient reconnus par ces partisans de l'approche synthtique qui, comme Poncelet, nanmoins considraient le recours l'algbre inadquat en gomtrie:
en effet, tandis que la gomtrie analytique offre, par la marche qui lui est propre, des moyens gnraux et uniformes pour procder la solution des questions qui se prsentent, la recherche des proprits des figures; tandis qu'elle proof many different proofs....there might exist axioms so abundant in their verifiable consequences, shedding so much light upon a whole discipline, and furnishing such powerful methods for solving given problems... that quite irrespective of their intrinsic necessity they would have to be assumed at least in the same sense as any well established physical theory" (dans Godel, op. Cit.). Voir aussi Kenneth Manders, op. Cit. 4 M. Kline, Mathematical thought fron ancient to modern times, OUP, p. 842. 5 M. Wilson, Frege: The Royal Road to Geometry. Nous , 1992, (26):149-180. Cfr. Aussi: J. Tappenden, Geometry and Generality in Freges Philosophy of Arithmetic Synthse, 1995 (102): 319- 361. 6 Cfr. F. Klein, Development of Mathematics in the XIXtht century, Dover, p. 104.

arrive des rsultats dont la gnralit est sans bornes, l'autre procde au hasard; sa marche dpend tout fait de la sagacit de celui qui l'emploie, et ses rsultats sont, presque toujours, borns l'tat particulier de la figure que l'on considre7.

Dans le Trait sur les proprits projectives des figures (1813, 1822), d'o vient le passage cit, Poncelet oppose celle qu'il appelle gomtrie des particuliers (en d'autres termes, la gomtrie synthtique, fonde sur le recours l'intuition spatiale) la gomtrie analytique, en se proposant d'envisager pour la premire des mthodes autant gnrales que celles dveloppes pour la deuxime8. Une tentative en cette direction est reprsente par l'introduction du principe de continuit . En premier lieu, ce principe rpond l'exigence mthodologique de traiter par des procds simples et uniformes des rsultats appartenant la tradition de la gomtrie euclidienne9. Prenons, titre d'exemple, le cas du thorme de Pascal: soit un hexagone inscrit dans une conique, et soient A, B et C les points d'intersection des cts opposs de l'hexagone. Le thorme de Pascal affirme que A, B et C sont aligns. La dmonstration du thorme prsente des traits surprenants dans le cas particulier o la conique est un cercle et les couples de droites deux deux parallles: le cas envisag demande en effet de considrer des droites dont l'intersection en apparence n'existe pas , moins qu'on n'introduise des points l'infini pour reprsenter l'intersection d'une couple de parallles, et que l'on considre tous ces points aligns sur une mme droite. Cet abus de langage aurait comme effet non seulement de prserver la gnralit du thorme, mais aussi de simplifier sa dmonstration. Globalement, une mthode capable de rduire des problmes sur des coniques et sur des intersections entre coniques des problmes sur des cercles et leurs intersections aurait l'avantage de simplifier la dmonstration d'autres thormes part celui de Pascal, comme dans le cas du thorme de Pappus ou bien de celui de Desargues10.
7 Poncelet, Trait des proprits projectives des figures : ouvrage utile ceux qui s'occupent des applications de la gomtrie descriptive et d'oprations gomtriques sur le terrain, Publication Paris : Bachelier, 1822, p. xix. 8 Il ne faut pas oublier que Poncelet avait fait large usage de l'analyse pour dmontrer des rsultats fondamentales de son Trait, tels que la cohrence du principe de continuit. Les Applications de l'analyse et de la gomtrie (186264) tmoignent par ailleurs le fait que Poncelet ne bannissait pas du tout les mthodes analytiques de son oeuvre. 9 Il faut prciser que plusieurs (et clbres) thormes de gomtrie projective ont t formuls bien avant Poncelet, et que la notion mme de projection centrale intervient dj dans Pappus (sans prsumer aucune germe de pense projective dans cet auteur). Elle sera ensuite thorise de manire plus prcise pendant le XVII sicle partir des rgles empiriques en vigueur dans l'art de la perspective (mais Poncelet n'avait aucun accs l'oeuvre mconnue bien que fondamentale de Girard Desargues Comparer E. Nagel: even in antiquity many properties of figures were studied which involved only relations of mutual position and order of figures, and did not in principle depend on relations of equality and inequality of magnitudes. The beginnings of what is known as projective geometry, which does not employ these relations of congruence, thus go back at least to the time of Euclid, some of whose lost books apparently contained projective theorems...However, the systematic investigation of geometric relations which were not quantitative....remained uncultivated until the needs of the art and technology brought them to the attention of professional mathematician of a much later era (...) it is natural to find therefore, that the needs of renaissance painters and architects produced an array of devices for adequately projecting solids upon a tw-dimensional surface, with the eye as the center of projection". Dans Nagel, The formation of modern concept of formal logic, Osiris, Vol 7 (1939). 10 Cfr. J. Gray, Worlds out of nothing, Springer, 2006.

L'introduction du principe de continuit rpond prcisment cette exigence:

considrons une figure quelconque, dans une position gnrale et en quelque sorte indtermine, parmi toutes celles qu'elle peut prendre sans violer les lois, les conditions, les liaisons qui subsistent entre les diverses parties du systme... n'est il pas vident que si, en conservant ces mmes donnes, on vient faire varier la figure primitive par degrs insensibles, ou qu'on imprime certaines parties de cette figure un mouvement continu d'ailleurs quelconque, n'est-il pas vident que les proprits et les relations, trouves pour le premier systme, demeureront applicables aux tats successifs de ce systme? (...) or ce principe, regard comme un axiome par les plus savants gomtres, est ce qu'on peut nommer le principe ou la loi de continuit des relations mathmatiques de la grandeur abstraite et figure11 .

Sur la base de ce principe nous pouvons tendre ce qui est affirm dans le cas d'une figure contenant l'intersection de deux droites au cas o ces droites sont parallles12, et la dmonstration du thorme de Pascal peut tre ralise dans le cas "particulier" d'un cercle et de la droite l'infini, et ensuite gnralise, d'aprs Poncelet, aux autres coniques. Il faut remarquer, nanmoins, que ce principe ne dclare pas que toute proprit dmontre pour une figure particulire se conserve par mouvement continu et par degrs insensibles. cet gard, les observations de M. Chasles, qui dans son Aperu Aperu historique sur l'origine et le dveloppement des mthodes en gomtrie (1837) prit la dfense de Poncelet, sont assez parlantes: le mathmaticien doit viter de gnraliser, l'aide du principe de continuit, ces proprits des figures dpendant essentiellement des lments rels ou imaginaires13. Le principe de continuit joue un deuxime rle, minemment mtaphysique. Poncelet nous offre ici une intressante illustration:
par exemple, une droite, qui en rencontre une autre sur un plan, est dans un tat gnral par rapport au cas o elle devient parallle ou perpendiculaire cette droite. Pareillement une ligne, droite ou courbe, qui en rencontre une autre sur un plan, est dans une situation gnrale et indtermine l'gard de cette autre, et la mme chose a lieu encore quand elle cesse de la rencontrer; pourvu que ces deux tats ne supposent aucune relation particulire de grandeur ou de position entre ces lignes...14.

En d'autres termes, au point de vue projectif l' "tat gnral" de deux courbes qui se croisent reste le mme lorsque elles sont loignes jusqu' n'avoir aucun point d'intersection: "deux cercles placs arbitrairement sur un plan ne sont donc pas tout fait indpendants entre eux comme on pourrait le croire au premier abord remarque Poncelet, et il ajoute: "ils ont idalement deux points imaginaires communs l'infini"15. Pour le gomtre franais deux coniques auront, de mme que en gomtrie analytique, toujours quatre intersections (dont 2 ou 4 peuvent tre imaginaires)16: comme le montre bien ce
11Poncelet, op. Cit (p. Xxii xxiii). 12 Voir Hans Freudenthal, p. 402. 13 Ainsi, Morris Kline observe: one section of a cone may be an hyperbola, and this has asymptotes. When the section is an ellipse the asymptotes become imaginary... One should not prove a result about the asymptotes alone because these depend upon the particular nature of the section... . M. Kline, p. 844. 14 Poncelet, op. Cit., p. xxv. 15 Dans Schoenfliess, Encyclopdie des sciences mathmatiques pures et appliques, tome I, vol III, gomtrie lmentaire, gomtrie descriptive. 16 Cfr F. Klein, op cit, page 74.

dernier cas, la gomtrie fonde sur "le principe de continuit" vise atteindre le mme niveau de gnralit que la gomtrie analytique complexe:
l'admission de la continuit en gomtrie conduit, d'une manire naturelle et ncessaire, l'interprtation de toutes les notions abstraites ou mtaphysiques qui appartiennent la grandeur figure.... ce qui nous conduirait considrer, dans leur rapport, l'Analyse algbrique et la gomtrie17.

Le systme auquel Poncelet aboutit sera alors plus riche que celui de la gomtrie classique euclidienne. Dans les mots suggestifs de Mark Wilson:
the projective school decided that space should contain many more points and lines than usual. These extra "extension elements" stem from two basic sources: to any plane, one adds extra points located along a line at infinity and also a full complement of imaginary points whose coordinates are allowed to be complex numbers. Most of these imaginary points don't even have the grace to hide away at infinity; some of them hover at rather peculiar nearby distances18.

Finalement, un troisime mrite du principe de continuit concerne le lien entre le domaine projectif et la gomtrie euclidienne, en prsentant le premier comme "extension naturelle" et vritable explication de la seconde. Ainsi "points imaginaires" et " l'infini" ne sont pas prsents comme de rajouts ad hoc (ce qui tait dans l'esprit du passage de Hilbert mentionn au dbut), mais, quoique invisibles, ils sont conus comme existants dj dans la gomtrie euclidienne. Le projet de Poncelet n'est pas exempt de difficults et d'objections. Au niveau plus technique, la dmonstration qu'une conique et une ligne sont projectivement quivalentes un cercle et une ligne l'infini (tape ncessaire pour dmontrer le thorme de Pascal) demanda Poncelet un vritable tour de force conceptuel, consistant introduire les notions de points idaux et de conique supplmentaire, qui assurent la transformation envisage. Cette difficult technique et sa rsolution introduisent leur tour une objection mthodologique, qui sera effectivement souleve par un mathmaticien comme Cauchy, d'ailleurs assez favorable au Trait. En bref, ce qui gnait les puristes tait l'extrme facilit19 avec laquelle Poncelet redfinissait - en parlant souvent d'extension ou de gnralisation de dfinitions pralables - des termes usuels du lexique de la gomtrie synthtique depuis Euclide:
agrandir les ressources de la simple Gomtrie, en gnralisant les conceptions et le langage ordinairement assez restreints, les rapprocher de ceux de la gomtrie analytique, est surtout offrir des moyens gnraux propres dmontrer et faire dcouvrir....cette classe de proprits dont jouissent les figures...quand on les considre d'une manire abstraite et indpendamment d'aucune grandeur absolue et dtermine20.

Comme ce passage, ainsi que les objections adresses par Cauchy le montrent, l'essor de la
17 Poncelet, op. Cit. (pp. Xxvi-xxvii). 18 M. Wilson, op. Cit. 19 Qui rappelle d'ailleurs les Lectures on the foundations of mathematics de Wittgenstein: "I will be concerned with cases where the use of words has been distorted gradually, so that a man points to a picture and then doesn't go in anything in the ordinary way. So we don't know whether he has been to the North Pole or that we don't understand what he means".. 20 Poncelet, p. Xxxiii.

gomtrie projective ne manquait pas de soulever des problmes de nature smantique autour de critres de dfinition des entits fondamentales. Un autre exemple avanc par Poncelet est reprsent par l'tude, encore sminale dans son oeuvre, des relations entre ple et polaire d'une conique, qui a emmen une thorie gnrale de la polarit21. Bien que dans le Trait cette ide n'ait que la valeur d'une hypothse heuristique, Poncelet arrive montrer " qu'une courbe plane peut tre envisage sous deux points de vue diffrents et regarde comme forme soit par un ensemble de points, soit par un ensemble de tangentes (...) pour en dduire que: les singularits d'une courbe se correspondent deux deux ..."22. Une formulation plus dtaille de ces relations est due Gergonne mme si la priorit fut objet de dispute entre Gergonne et Poncelet - qui dans deux articles ( Considrations sur la science de l'tendue , Ann. Math. Pures app. 16, 1825/26, p. 209, et Quelques thormes sur les courbes algbriques , ibid., 18 (1827/8) p. 149), met sous la forme d'un principe de dualit le fait que points et lignes dans le plan, et points et plans dans l'espace entrent de manire quivalente dans l'nonc de tout thorme en gomtrie projective. Comme relve Schoenfliess: "toute proposition descriptive concernant des points et des droites peut se transformer par voie de rciprocit" (Schoenfliess, p. 13). Cette ide de symtrie est l'origine d'un principe de substitution de concepts qui forme l' arrire plan de l'ide de "dfinition implicite" comme l'entend Gergonne:
ces sortes de phrases qui donnent ainsi l'intelligence de l'un des mots dont elles se composent, au moyen de la signification connue des autres, pourraient tre appeles dfinitions implicites, par opposition aux dfinitions ordinaires qu'on appellerait dfinitions explicites ..."23.

Le passage de Gergonne suggre une manire de dfinir les concepts mathmatiques en termes du rle qu'ils jouent au sein d'un ensemble de relations24, qui constituera le point de dpart pour comprendre la caractrisation des lments imaginaires laquelle le gomtre allemand G. K. Von Staudt aboutit. Comme le note Hans Freudenthal: Von Staudt's work is characterized by the fact that, rather than contributing to the contents of projective geometry, he made an attempt at its formal recasting, though even in this respect his work was exemplary rather than permanently fundamental . Le jugement de Freudenthal se fonde sur le fait que les oeuvres majeures de Von Staudt (Geometrie der Lage (1847) et Beitrge zur geometrie der Lage (1856, 1857, 1860)) sont ddies au projet, dont l'accomplissement tait en vrit loin dans Poncelet, de constituer une gomtrie indpendante de toute considration mtrique25.
21 22 23 24 25 Voir Hans Freudenthal, Dans Schoenfliess Dans Federigo Enriques, L'volution de la logique , p. 94. Voir M. Wilson, p. 165. Ainsi on voit que la notion de rapport anarmonique, ou birapport, tout en tant identifi comme invariant projectif par excellence, tait encore dfini, chez Steiner et Poncelet, en termes mtriques. Voir James Tappenden: "[Von Staudt] developed a technique whereby numerical co ordinates could be introduced into a projective space without

Nous pouvons distinguer, encore avec Freudenthal, trois moments saillants dans cette oeuvre de re -conceptualisation de la gomtrie projective: a) redfinition de l'harmonicit entre quatre points sans le recours aux concepts mtriques, b) dfinition de la notion de transformation projective comme transformation prservant l'harmonicit; c) rduction de la gomtrie complexe la gomtrie relle travers une dfinition des points imaginaires et des points l'infini partir des relations d'involution et de paralllisme. Nous nous intresserons surtout ce dernier aspect, pour mettre en vidence les diffrences entre cet approche et celui de Poncelet d'une part, et les analogies entre la mthode de dfinition par abstraction adopte par Von Staudt et celle thmatise par Frege dans les Grundlagen der Arithmetik, de l'autre. A diffrence de la mthode employe par Poncelet, consistant postuler un principe de continuit , l'approche de Von Staudt vise plutt introduire la gomtrie projective comme "extension logique" de la gomtrie euclidienne26, objectif qu'il atteints par une stratgie originelle, un "example of a liberty of forging definitions, on the verge of impudence...in the midst of XIXth century this was an unheard of abstraction"27. Si la postulation d'un principe de continuit assurait, l'entendement de Poncelet, la possibilit de substituer les points complexes par des objets euclidiens ("invisibles"), la stratgie de Von Staudt envisage plutt la paraphrase des termes dont la rfrence est mystrieuse (c'est le cas des "points imaginaires" et des points l'infini ) par des expressions o ne figurent que de termes connus. C'est dans cette perspective qu'il faut interprter le recours au procd (au reste dj connu son poque) consistant dfinir une couple de points complexes par un involution elliptique28. Prenons titre d'exemple le cas d'un cercle et d'une droite qui se croisent aux points C= (-5; 0), et B = (5; 0). Nous appellerons la transformation : x x' sur la courbe dfinies par la relation xx' = ( 5)2 une involution. Si les points d'intersections prennent des valeurs complexes (de manire que, par exemple, xx' = -10) leur existence, mme si invisible , dcoule du principe de continuit postul par Poncelet. Comme la smantique des langues naturelles nous permet toujours de passer salva veritate du concept29 exprim par le prdicat "etre X" l'objet dnot par le terme compos: "le fait d'tre X",
appeal to any metric notion...the question is particularly pressing in projective geometry, which concerns only those properties of space that are projectively invariant. Distance is not projectively invariant, so it is unavaliable for introducing coordinates lest information about distance be built in" (Tappenden, Geometry and generaity in Frege's philosophy of arithmetics, Synthese, vol 102, n3. p. 6). M. Wilson, op. Cit. H. Freudenthal, op. Cit.. H. Freudenthal, p. 415. Voir Frege: "The concept (as I understand the word) is predicative. On the other hand, a name for an object, a proper name, is quite incapable of being used in a grammatical predicate". Frege, On Concept and object, dans G. Frege, Philosophical writings. A l'objection selon laquelle les noms propres peuvent figurer aussi bien la place de prdicats (voir par exemple l'nonc: "le personnage reprsent dans cette monnaie est Alexandre le grand"), Frege

26 27 28 29

ainsi, tant donn le concept: "la transformation envoie x en x' selon la rgle xx' = -10" le passage l'objet "involution dfinie par xx' = -10" parait obir la mme loi. De cette manire on aboutit au schma suivant: a) On dfini une fonction qui associe la "couple de points complexes (B C)" la "transformation qui envoie x en x' selon la rgle xx' = -10"; b) On dfinit une fonction qui associe au concept "transformation qui envoie x en x' selon la rgle xx' = -10" l'objet (ou le concept objet) "involution dfinie par xx' = -10". Par composition, on obtient la fonction qui associe "la couple des points (B, C)" l' "involution dfinie par xx' = -10". c) il est donc possible de paraphraser tout occurrence de "la couple de points imaginaires..." par l'nonc "involution dfinie par xx' = -10". Par analogie avec le schma du passage du "concept" au "concept objet" prsent dessus, on peut driver partir de la relation "la droite x est parallle la droite L" le concept objet "direction dfinie par la relation de paralllisme entre x et L"30, et donc paraphraser par cette dernire expression toute occurrence du terme "point l'infini". Pourtant, cette libert d'laboration n'est pas exempte de contraintes ni de difficults. Ainsi l'limination des imaginaires par le recours aux involutions n'opre que sur des couples de points la fois (les points fixes de la transformation) au lieu que sur des points individuels, donc elle ne pourra pas tre utilise sans introduire une distinction ultrieure entre les termes de la couple. Cette difficult est surmontable si l'on corrle une involution l'une de deux orientations qui peuvent tre attribues une droite, de manire qu'un point A imaginaire sur la ligne l soit dfinissable en termes d'une "involution corrle avec l'une de deux orientation de l"31. Un problme du mme type survient dans le cas des points l'infini, puisque, sans restriction pralable, toute relation de la forme a est parallle b correspondra un concept objet (On aura donc une surabondance de points l'infini qui peut tre limin en adoptant un point de vue extensionnel plutt que intensionnel). Malgr les diffrences entre les approches de Von Staudt et de Poncelet, leur objectif reste commun: fonder la gomtrie synthtique sur une mthode assez gnrale que la mthode des coordonnes en gomtrie analytique. Cette insistance sur la gomtrie comme discipline autonome
remarque que l'usage du mot "est" diffre dans les deux cas, et prcisment, dans le sens que dans un cas il sert de copule (signe de prdication), dans l'autre il sert de signe d'quivalence, au mme titre que le signe "=" en arithmtique (Frege, ibid.). 30 Cette manire de prsenter la notion de point l'infini peut etre retrouve dans l'oeuvre de Federigo Enriques Leons de gomtrie projective. En suivant fidlement Von Staudt, Enriques propose d'introduire la notion de "direction" pour dfinir un "point impropre", ou point l'infini: [CITER MAIS EN FRANAIS]. 31 H. Freudenthal, p. 415.

par rapport l'arithmtique, ainsi que sur la nature seulement "accidentelle" de l'isomorphisme entre domaine des nombres et domaine des objets gomtrique constitue une position qui, partage et dfendue par Frege dans ses recherches en gomtrie32, influena en profondeur sa conception des mathmatiques. A raison Sanford Shieh (Frege's philosophy of mathematics- book review) observe: Frege most likely did not intend his project as a contribution to the rigorization of analysis...it is fairly clear that his main interest would have been in issues in the foundations of projective geometry ... 33. Un point fondamental de cet intrt concerne la dmarcation entre arithmtique et gomtrie, afin de circonscrire le domaine d'application lgitime du raisonnement gomtrique. Selon l'auteur des Grundlagen, tandis que la gomtrie repose sur l'intuition de l'espace, l'arithmtique est doue d'une gnralit majeure, parce que elle concerne le plus vaste domaine de "tout ce qui est pensable"34. Toutefois, si l'intuition de points, lignes et plans suffit garantir la gnralit de la gomtrie dans un domaine limit35, comment rendre compte du "sens des formes imaginaires" auxquelles on attribue des proprits en contradiction avec nos intuitions ordinaires36? Tout en gardant ce refoulement de la gomtrie vers le domaine de l'intuitif, Frege reconnat la ncessit d'admettre, en mathmatiques, une notion d'objectivit indpendante des contraintes de l'intuition37. Comme il argumente dans les Grundlagen: "I distinguish what I call objective from what is handeable, or spatial or actual. The axis of the earth is objective, so is the centre of mass of
32 L'intrt de Gottlob Frege pour la gomtrie projective n'est pas ancillaire par rapport ses travaux en arithmtique et en philosophie du langage pour lesquelles il est clbre aujourd'hui, ni elle reprsente un domaine de recherche autonome par rapport aux prcdent. Fouiller parmi les travaux mathmatiques de Frege est extrmement intressant pour avoir une premire ide sur le lien entre ce personnage et le contexte mathmatique de son poque. Les tudes de Frege montrent un premier intrt pour la gomtrie plutt que pour l'analyse, (il sjourna Gottingen jusqu' l'obtention de sa thse en 1873, et il tudia avec Clebsch jusqu' la mort de celui-ci), au point que, comme il est trs probable, Frege connaissait la dissertation de Riemann et les travaux de gomtres dont on a parl en prcdente, ainsi que les recherches plus rcentes de Cayley et de Klein. Voir J. Tappenden, Geometry and generality... 33 S. Shieh, The philosophical review, vol 106, n 2, 1997. 34 la tentative de fonder l'arithmtique sur la succession des moments temporels (comme le fait Hamilton) introduirait un lment extrinsque dans son difice, qui nuirait l'universalit du champ d'application de cette discipline: Propositions proved by the aid of complex numbers would become a posteriori judgements, or rather, at any rate, synthetic, unless we could find some other sort of proof for them or some other sense for i . Et il ajoute: "the basis of arithmetic lies deeper, it seems, than that of any empirical science and even that of geometry. The truth of arithmetic govern all that is numerable. This is the widest domain of all; for to its it belongs not only the actual, not only the intuitable, but everything thinkable. Should not the laws of numbers, then, be connected very intimately to the laws of thought?". Frege.... 35 proving something about a given line is proving it generally because one like is like another. How do we know? We just look and see it is a deliverance of intuition that one line is just like any other, and so the inference from the particular to the general is in this case immediate...this explanation conveys why general truths of geometry sohuld be restricted to geometrical entities. The generality they admit depend on features specific to the domain of the geometrical . J. Tappenden. 36 Bien que fondamentale dans la constitution des faits gomtriques lmentaires (ainsi note Frege: "only when several points, lines...are included together in a single intuition do we distinguish them. In geometry, then, it is quite intelligible that general propositions should be derived from intuition". In tappenden, p. 335.), l'intuition n'exerce pas une contrainte exclusive sur la costruction de certains objets gomtriques: "time an time again remarque Frege dans les Grundlagen - we are led by our thought beyond the scope of our imagination, without thereby forfeiting the support we need for our inferences". 37 J. tappenden, op. Cit,

the solar system. But I should not call them actual in the way the Earth itsef is so...."38. Le principe de dualit en gomtrie projective illustre clairement cette notion d'objectivit: "let us suppose two rational beings such that projective properties and relations are all they can intuit...and let what the one intuites as a plane appears to the other as a point, and vice versa, so that what for the one is the line joining two points, for the other is the line of intersection of two planes....in these circumstances they could understand one another quite well, and would never realize the differences between their intuition..."39. Ce qui est objectif, finalement, est "ce qui est sujet des lois,what is subject to law, what can be conceived and judged, what is expressible in words"40. De manire pareille, l'objectivit des lments impropres en gomtrie est garantie par l'ensemble de lois qui gouvernent leur agencement, comme le dmontre la faon dont Von Staudt introduit les points imaginaires partir des involutions autour d'une droite relle et les points l'infini partir de la relation du paralllisme. La proximit entre les approches de Von Staudt pour la dfinition des lments imaginaires et la manire dont Frege dfinit le nombre naturel est certainement digne d'attention; de mme, les observations de Frege sur le statut des rels et des complexes renvoient une conception de l'abstraction proche de celle de Von Staudt. Mark Wilson rsume en ces termes la conception frgeenne:
real and complex numbers serve only as a means to mark the laces that given relations occupy within larger families of allied relations, families structured by relations of addition or composition and containing selected unit relations41

Par opposition l'ide que la notion de nombre rel soit simplement drive par abstraction partir d'une grandeur gomtrique, telle que la distance entre deux points sur une droite, Frege essaie de couper la liaison entre nombre et grandeur, en dfinissant le nombre rel comme la marque d'une famille de relations isomorphisme prs. C'est avec Von Staudt, d'ailleurs, qu'on voit clairement ce divorce: en gomtrie projective, la valeur numrique des coordonnes est un nombre ordinal ( Ordnungzahl ), et elle ne renvoie plus une grandeur. Un autre exemple qui tmoigne l'influence de Von Staudt sur l'oeuvre de Frege peut tre retrouv au 67 des Grundlagen. Ici l'auteur introduit sa manire de caractriser la notion d'objet en
38 Frege, The foundations of arithmetics (trad. Anglaise par J. L. Austin ). 39 Frege, op. Cit., p. 35. 40 Frege, Grundlagen der Arithmetik. Comme observe l'auteur: "I distinguish what I call objective from what is handeable, or spatial or actual. The axis of the earth is objective, so is the centre of mass of the solar system. But I should not call them actual in the way the Earth itsef is so. We often speak of the equator as an imaginary line, but... it is not a creature of thought, the product of a psychological process ". Ensuite, dans le meme paragraphe, Frege illustre ses prcdents affirmation par un example tir de la gomtrie projective: "let us suppose two rational beings such that projective properties and relations are all they can intuit...and let what the one intuites as a plane appears to the other as a point, and vice versa, so that what for the one is the line joining two points, for the other is the line of intersection of two planes....in these circumstances they could understand one another quite well, and would never realize the differences between their intuition...". Frege, p. 35. 41 Wilson, p. 166.

prenant l'exemple de l'ide de "direction": pour justifier la dfinition propose de la direction d'une droite, il faudrait donc montrer qu'on peut partout substituer la direction de a la direction de b si la droite a est parallle la droite b 42. Dans l'nonc: "la direction de a est identique la direction de b" nous assumons il argumente- que la premire partie "la direction de a" se rfre au conceptobjet direction de a, lorsque "la direction de b" est partie du prdicat: "tre identique la description de b"43. Cependant, un doute surgit: "this means...it will not decide for us, for instance, whether England is the same as the direction of the Earth's axis"44. Meme si l'exemple apparat dpourvu de sens, et personne n'arrivera faire confusion entre l'Angleterre et la direction de l'axe terrestre "that is no thanks to our definition of direction". La rponse de Frege cette objection (qui anticipe le fameux problme de "Jules Csar") est subtile, et elle dploie la mme stratgie qui sera applique la dfinition du nombre naturel. Aprs avoir cart la tentative de donner une dfinition explicite de "la direction de q"45, Frege entame une autre voie: si "la droite a est parallle la droite b", il commente, alors l'extension du concept "droite parallle la droite a" est identique l'extension du concept "droite parallle la droite a", et rciproquement. Comme il remarque aprs, la direction de la ligne a est l'extension du concept "parallle la ligne a", au mme titre que la forme du triangle t est l'extension du concept "semblable au triangle t". Mark Wilson observe juste titre que: "the concept of direction is only discovered at all as a result of a process of intellectual activity which takes its start from the intuition. On the other hand we do have an idea of parallel straight lines"46. Sans faire aucune mention de la notion de point l'infini, l'exemple contenu dans les Grundlagen est analogue la dfinition donne par Von Staudt. En plus, l'introduction d'un point de vue extensionnel amende certaines faiblesses de cette dernire, savoir la surabondance des points l'infini qui a t prcdemment remarque. En conclusion, nous remarquons que le principe de continuit de Poncelet et la construction de l'objet par abstraction prsente dans Von Staudt reprsentent deux principes organisateurs de la relation entre gomtrie projective et gomtrie euclidienne. Non seulement ils en assurent la continuit, mais ils introduisent une premire hirarchisation entre les deux systmes. La gomtrie projective est plus gnrale que la gomtrie euclidienne classique, puisque elle fait abstraction de toute notion mtrique, et elle permet en mme temps de rsoudre de manire plus simple et lgante
42 Frege, 65. 43 Ibid. 44 Ibid. 45Si l'on disait que pour tout terme q, q est une direction ssi q est identique la direction d'une droite b, on en conclurait, rappelle Frege, que la dfinition d'un objet ne dit rien sur l'objet lui-meme, mais elle dploie la signification d'un symbole, et "we should be presupposing that an object can only be given in a single way...". 46 Frege, op. Cit.

des problmes traditionnellement de pertinence de la gomtrie mtrique euclidienne. Cela dit, il ne faut pas oublier que les efforts de Poncelet et de Von Staudt visaient aussi assurer une unit de fond au domaine de la gomtrie: les modifications soudaines et inattendues auxquelles plusieurs domaines taient sujets au milieu du XIX sicle (il suffit de penser l'essor des gomtries non euclidiennes outre que la gomtrie projective) n'ont pas manqu de secouer la certitude dans ces traits d'immutabilit et de permanence traditionnellement attribus la gomtrie. La ncessit de retrouver une unit de contenu et de mthode derrire cette surface en mouvement devait reprsenter une tache de premier plan pour le philosophe: ainsi le travail de Frege constitue un exemple clbre d'une rflexion mrie l'ombre de ces enjeux. BIBLIOGRAPHIE Enriques F., Lvolution de la logique, trad. de litalien, d. Etienne Chiron, 1926. Frege G., Die Grundlagen der Arithmetiki, trad. Angl. The foundations of Arithmetics, par J. L. Austin, OUP. Freudenthal H., The impact of von Staudts foundations of geometry dans P. Plaumann et K. Strambach (eds), Geometry- von Staudts point of view, p. 401-425. Godel K., "What is Cantor's continuum problem?", The American Mathematical Monthly, Vol. 54 N 9, 1947. Gray J., Worlds out of nothing, Springer, 2006. Klein F., Vorlesungen ber die Entwicklung der Mathematik im 19. Jahrhundert Berlin, Heidelberg ; New York : Springer, 1979. Traduction anglaise par M. Ackerman, Development of mathematics in the 19th century, dans Lie group : history, frontiers and applications, volume IX Kline M., Mathematical thought fron ancient to modern times, OUP, 1972. Manders K., "Domain extension and the philosophy of mathematics", The journal of philosophy, vol 86, N 10. Nagel E., The formation of modern concept of formal logic, Osiris, Vol 7 (1939).

Poncelet J. V., Trait des proprits projectives des figures. T. I : ouvrage utile ceux qui s'occupent des applications de la gomtrie descriptive et d'oprations gomtriques sur le terrain Publication Paris : Gauthier-Villars, 1865. Schoenfliess A., article Gomtrie projective , dans Encyclopdie des Sciences mathmatiques, tome III, Fondements de la Gomtrie , volume 2. S. Shieh, The philosophical review, vol 106, n 2, 1997 Staudt, K. G. Ch. Von (1847), Geometrie der Lage (1856), Beitrge zur Geometrie der Lage. Tappenden J., Geometry and generaity in Frege's philosophy of arithmetics, Synthese, vol 102, n 3. Wilson M., Frege : the Royal Road from Geometry , Nos, 26 (1992), 149-180. repris dans louvrage collectif Freges philosophy of mathematics, ed. William Demopoulos, Harvard UP, 1997.