1

Sur la notion de compltude dune thorie physique

par

MICHEL PATY*

en hommage J. Leite Lopes

* Equipe REHSEIS, CNRS, Paris.

in Fleury, N. ; Joffily, S.; Martins Simes, J.A. and Troper, A. (eds), Leite Lopes Feschrift. A pioneer physicist in the third world [ouvrage offert J. Leite Lopes en l'honneur de son soixante-dixime anniversaire], World Scientific Publishers, Singapore, 1988, p. 143-164.

Sur la notion de compltude dune thorie physique

par

MICHEL PATY
Equipe REHSEIS, CNRS, Paris

en hommage J. Leite Lopes

La compltude au sens formel.- L'acception intuitive de "compltude" en physique. - L'apparition de la compltude en mcanique quantique dans l'argument EPR. La compltude et le formalisme mathmatique en mcanique quantique.- En manire de conclusion.

1 LA COMPLTUDE AU SENS FORMEL. 1.1. En arrire-plan de toute interrogation sur la notion de compltude relativement un systme thorique, de quelque nature qu'il soit, nous savons que se tiennent certains rsultats de la logique et de la mtamathmatique, et les noms de Gdel et de Tarski, par exemple, s'imposent l'esprit. Bien que la compltude en physique soit d'une nature trs diffrente, il est utile, ne serait-ce que pour s'en dmarquer, de s'arrter quelques instants sur cette acception qui possde l'avantage d'une dfinition prcise. Dans un article relatif aux rsultats obtenus par lui aux environs de 1930, Tarski propose une sorte de dfinition lmentaire, dans le langage courant, de la compltude formelle: "On a l'habitude de dire d'une thorie dductive qu'elle est complte lorsque chaque problme se laissant formuler dans le langage de cette thorie est aussi dcidable sur le terrain de celle-ci ou, en d'autres termes, lorsque chaque nonc (statement) de la thorie donne est soit dmontrable soit rfutable dans la thorie mme."1

1 Tarski [1939]. Cet article est relatif aux rsultats obtenus par Tarski aux environs de 1930.

Aprs avoir numr les systmes dductifs qui se rvlent complets (en l'occurence, certains systmes du calcul propositionnel, de l'algbre de Boole, la thorie de l'addition des nombres entiers), Tarski remarque que "Toutes ces thories possdent une structure logique lmentaire et un contenu mathmatique pauvre". En effet, les variables qui interviennent dans ces thories "appartiennent un seul type logique", et "tous les concepts logiques proviennent des parties les plus lmentaires de la logique mathmatique : le calcul des propositions et le calcul restreint des prdicats."2 Cette constatation n'est pas infirme (ou, du moins, elle l'est trs peu), par les rsultats de Tarski montrant la compltude de certains systmes lmentaires en algbre classique et en gomtrie traditionnelle ; au surplus, le rsultat obtenu la mme poque, en 1931, par Gdel, limite dsormais considrablement les possibilits de compltude des systmes dductifs. Parlant des travaux de Gdel, Tarski crit, dans le mme texte : "Aucune thorie dductive ne peut tre complte si, l'intrieur de ses frontires, la thorie de l'addition et de la multiplication des nombres entiers peut tre tablie, et si en mme temps certaines prsuppositions supplmentaires concernant, entre autres, la consistance de la thorie donne sont satisfaites. La porte de ce rsultat s'tend de nombreuses thories (...)"3 . Le thorme de Gdel stipule que, tant donn un systme cohrent quelconque d'axiomes arithmtiques, il y a des noncs arithmtiques vrais qui ne peuvent pas tre obtenus par dduction de l'ensemble des axiomes: "Il y a au moins une formule bien forme, dans n'importe quel systme adquat pour axiomatiser l'arithmtique, qui n'est pas dcidable dans le systme, mme si on la sait juste (vraie) pour d'autres raisons". Cet nonc constitue le premier thorme d'incompltude de Gdel. Le second thorme d'incompltude s'nonce, quant lui, de la manire suivante : "La cohrence d'un systme ne peut pas tre prouve l'intrieur de ce systme lui-mme."4 1.2. La compltude est un concept qui appartient aux problmes des fondements des mathmatiques et de la logique. On ne s'attend pas ncessairement le voir apparatre en physique dont le cas est bien entendu diffrent : moins encore que la logique ou que les mathmatiques, elle ne peut tre thoriquement ferme (comme on le voit par l'volution, ou le progrs, des thories, et comme le rend manifeste, mme dans le cas des thories les plus abstraites et formalises, le recours aux rponses de l'exprimentation) ; sauf supposer que cette science, de nature essentiellement hypothtico-dductive, puisse tre un jour l'objet d'une axiomatisation "complte" (ou trs pousse), sous-entendant par l, l'horizon de la physique, sa mathmatisation totale5 . Si l'on parle trs rarement de compltude propos de la thorie physique, c'est bien probablement parce qu'un tel horizon apparat hors d'atteinte ; lorsqu'on en parle, c'est dans un sens qui semble premire vue trs loign de
2 3 4 5

Tarski [1939], p. 205-206. Tarski [1939], p. 209. Gdel [1931]. Voir aussi Nagel and Newman [1959]. Sur ce point, voir Paty [1984].

celui que nous venons d'voquer. On trouve cependant ce terme dans un certain nombre de textes de physiciens, en dehors mme des domaines o il est assez frquemment utilis aujourd'hui (la physique quantique et la relativit gnrale), sur lesquels nous allons revenir. Par exemple, Pierre Duhem, dans La Thorie physique, son objet, sa structure, parle de compltude dans le sens d'exhaustivit des lois ou des faits par le systme de la reprsentatioin thorique6 . D'une manire gnrale, sans que les termes complet, compltude, soient ncessairement utiliss, on rencontre, propos de la physique, sous d'autres dnominations, et avec d'autres proccupations que celles voques pour la logique, l'invocation de proprits de la thorie qui pourraient avoir faire avec ce que recouvre, un degr plus ou moins grand, l'ide de compltude. Une thorie qui serait complte, cela pourrait tre une thorie exhaustive, ou acheve, ou unifie. Par exhaustivit, on entend gnralement le recouvrement d'une classe donne de phnomnes, de faits, par des lois, des modles ou des thories. Par achvement (comme on dit une thorie acheve), l'exhaustivit par rapport toutes les classes possibles de phnomnes dans un domaine donn (par exemple, la thorie lectromagntique par rapport l'ensemble des phnomnes lectromagntiques et optiques...), qu'elle soit ou non acquise, et le but est prcisment de parvenir une formulation qui at une telle proprit. Par unification, on dsigne la voie qui mne une thorie unique, traitant dans un seul schma organique l'ensemble des thories particulires et des phnomnes qui leur sont relatifs. Il serait souhaitable d'tudier, travers l'histoire des thories physiques, la manire dont ces catgories ressortent de la structure profonde des thories, ou dont elles sont invoques, de manire explicite ou implicite, par les physiciens, en fonction du programme qu'ils se proposent d'accomplir. L'approfondissement de la notion de compltude nous rserverait peut-tre cet gard quelque vue originale sur les problmes, non pas mta-physiques (comme on dit mtamathmatique), mais pistmologiques de la structure de la thorie, de son objet, du rapport de la thorie son objet. Bien que nous soyons ici apparemment loigns de la compltude au sens de la mtalogique et de la mtamathmatique, il n'est pas interdit de penser que les considrations sur ce type de problmatique (de Tarski et Gdel ainsi que de leurs prdcesseurs) entretiennent peut-tre malgr tout avec elle (la compltude envisage pour les thories physiques) quelque connexion qui, pour n'tre pas immdiate, n'en serait pas moins significative. D'une manire gnrale, la compltude au sens de la thorie physique (un sens qu'il nous appartient maintenant de prciser) ne pourrait-elle tre un concept pistmologique opratoire dans la constitution de la thorie, ou dans son valuation ? Que doit-on (ou que peut-on) entendre par "compltude au sens de la thorie physique" ? Le terme, je l'ai dit, est trs peu employ. Il l'est cependant de manire intensive dans un domaine bien circonscrit de la physique contemporaine, celui des "fondements de la mcanique quantique", fondements tant entendre dans un sens physique et pas seulement pistmologique, et c'est prcisment dans des considrations physiques (c'est--dire de problmes ou de phnomnes physiques) que le terme de compltude est utilis. Il s'agit l d' un domaine particulier, restreint,
6 Duhem [1906], ed. 1981, p. 24, p. 313.

sinon quant sa porte, du moins quant ses applications (thoriques), un peu "a cot" du flux le plus important des recherches actuelles en physique quantique (lesquelles comprennent aussi bien la physique atomique que la thorie quantique des champs). Dans ce domaine, chaque article ou contribution utilise comme terminologie obligatoire - en manire de sacrifice un rituel ? - l'expression de "compltude de la mcanique quantique", et se situe par rapport cette question, argumentant soit en faveur, soit contre cette compltude, sous-entendant dans tous les cas que la compltude est une condition requise pour une bonne thorie. La signification du terme est suppose aller de soi, et on l'entend, dans les contributions concernes, dans une acception qui semble intuitive. Mais cette notion est-elle intuitive ? On parle donc de compltude en supposant l'ide acquise, l'exigence requise, mais on ne dfinit pratiquement jamais ce que cela signifie, ce que "compltude" veut dire d'une manire gnrale. Ceci, du moins, quelques exceptions prs, celles des premiers protagonistes du dbat o cette question prend son origine, et je m'attarderai tout l'heure sur l'une des plus significatives d'entre elles.

2 L'ACCEPTION INTUITIVE DE "COMPLTUDE" EN PHYSIQUE. 2.1. Cependant, la signification la plus courante attache l'emploi du terme de compltude est lie l'ide d'une reprsentation statistique : ceci, en raison du caractre probabiliste des prdictions de la mcanique quantique. Lorsque, en physique classique, on rencontre des probabilits, ou des dispersions statistiques, il est suppos qu'un connaissance plus prcise, plus complte, les liminerait. C'est un axiome de la mcanique classique que "en augmentant la prcision des mesures, on pourrait, pour n'importe quel systme, rduire la dispersion des effets mesurs en-dessous de n'importe quelle quantit arbitrairement petite"7 . En mcanique classique, "on suppose que l'lment statistique, quand il apparat, rflte tout simplement notre connaissance incomplte de l'tat du systme", mais en mcanique quantique, ce n'est pas le cas, il y a "un lment statistique irrductible8 . Pour les uns, qui dit probabilit dit statistique, et qui dit statistique dit qu'il manque des lments d'information. On peut esprer qu'il sera un jour possible de complter la thorie seulement statistique et de parvenir des prdictions certaines, non probabilistes, comme en physique classique. Pour les autres (certains distinguent, mais pas toujours, le caractre probabiliste et le caractre statistique), ce caractre probabiliste ou statistique est impossible rduire. Il n'entache pas le caractre complet de la thorie, c'est--dire que la mcanique quantique, thorie en vigueur, nous dit le maximum sur les phnomnes de ce qu'une thorie pourra jamais nous dire - du moins par rapport son domaine actuel d'application - : -soit parce que l'on ne vise jamais qu'une connaissance pratique, et que celle-ci se satisfait
7 Jauch [1968], p. 72. 8 Jauch [1968], p. 72.

de statistiques ; - soit pour des raisons plus profondes qui tayent la justification du calcul des probabilits comme fondamental (complmentarit au sens de Bohr, ralisme probabiliste, etc ...) 2.2. Ce lien entre une problmatique de la compltude et le caractre probabiliste des prdictions de la thorie quantique s'est trouv en ralit distendu par des dveloppements relativement rcents dans ce mme domaine des fondements de la mcanique quantique, o les termes du dbat dsormais classique entre Einstein et Bohr se sont trouvs revivifis par le thorme de Bell sur la non-sparabilit locale et ses tests exprimentaux. Ce qui s'est trouv obtenu en conclusion de ces dveloppements, c'est l'irrductibilit d'une proprit des systmes quantiques comme de la thorie qui les reprsente, la mcanique quantique, proprit bien distincte de l'"indterminisme probabiliste"9 de cette dernire, savoir la nonlocalit, ou insparabilit, ou non-sparabilit locale. C'est en examinant, sous l'angle de l'analyse pistmologique, l'volution du problme depuis l'argument EPR (1935), jusqu' Bell (1964) et aux expriences de corrlation distance (1970-1982), et en ayant considr, avec la plupart des auteurs, la "compltude" ou non de la thorie dans un sens intuitif suppos aller de soi, que je me suis pour ma part tardivement pos la question de savoir ce que l'on entendait au juste par "compltude". Le doigt tant mis sur la non-localit plutt que sur l'indterminisme, se posait encore la question de savoir si une thorie non-locale (non sparable localement) tait malgr tout complte. La compltude apparaissait ds lors dissocie de manire visible de son acception intuitive qui la reliait la notion de statistique. De cet abandon corrlatif de l'acception intuitive et vague de "compltude" se dgage la ncessit de prendre en compte la question en ellemme : qu'entend-on par une "thorie complte" ? 2.3. Une telle interrogation peut prendre deux directions. La premire serait de tenter de caractriser d'une manire gnrale, systmatique, ce que peut tre une thorie (physique) complte en considrant des auteurs significatifs et des exemples de thories physiques (au cours de l'histoire, par exemple : la mcanique newtonienne est-elle complte ? ou, actuellement : la thermodynamique, la thorie de la relativit, la thorie quantique des champs, etc.). La deuxime direction possible serait de retourner nouveau l'origine du dbat qui aboutissait ainsi, aujourd'hui, comme nous venons de le noter, re-poser en de nouveaux termes la notion de compltude, et de tenter d'analyser comment ce concept s'est trouv intervenir. Je commencerai par cette seconde voie, en examinant la formulation de l'argument EPR sous cet angle, et en montrant quel lien elle entretient avec une dfinition formelle (tant du point de vue de la logique que ce celui de l'expression mathmatique) de la compltude. Cette lucidation devrait permettre d'aborder d'une manire plus prcise la question de la compltude dans la premire direction, sur laquelle je m'en tiendrai ici quelques indications gnrales.

9 Paty [1986].

Ce que je voudrais surtout montrer dans ce qui suit, c'est la manire dont, partir d'une diversit d'acceptions d'origines diverses, le terme de "compltude" semble dsormais s'tablir en concept pistmologique, c'est--dire dsignant une qualification prcise (voire des qualifications) de la thorie physique relativement sa structure comme l'objet qu'elle se propose de dcrire.

3 L'APPARITION DE LA COMPLTUDE EN MCANIQUE QUANTIQUE DANS L'ARGUMENT EPR. 3.1. Bien que le terme (et l'ide) de thorie complte at fait son apparition propos de la physique quantique bien avant l'article d'Einstein, Podolsky et Rosen de 1935 (dsign ci-aprs par EPR)10 , c'est ce dernier que nous nous arrterons ici en premier lieu, en raison de la signification particulire du terme qui s'y trouve donne ainsi que de l'importance de ce travail dans les dbats qui ont suivi et qui ont tous t concerns, en fin de compte, sous des approches diverses, par la question de la compltude de la mcanique quantique. Un aspect particulirement intressant cet gard de l'article EPR est sa proccupation de dfinir de faon trs prcise les concepts utiliss (dans le souci de dmarquer les considrations physiques de leurs interprtations philosophiques, et notamment de celle de Copenhague). Le terme de compltude est dfini d'une faon qui ne se confond pas avec l'acception intuitive en termes de probabilit (il ne s'agit pas a priori de complter l'indterminisme probabiliste par des propositions supplmentaires) : c'est d'autre chose qu'il est question dans la notion de compltude ; plus profondment, cette notion porte sur la structure mme de la thorie et de ses propositions. Cela tant, qui va tre prcis, la question de la compltude ou de l'incompltude entretient malgr tout un lien avec le caractre de la thorie d'tre irrductiblement probabiliste. Mais ce lien est une consquence et non une position a priori : du moins apparat-il ainsi dans l'argument EPR, aussi bien que dans toutes (ou pratiquement toutes) les autres contributions d'Einstein au dbat sur la mcanique quantique et son interprtation11 . Les auteurs de l'article EPR s'attachent dfinir sans ambigut (ou avec le moins d'ambigut possible) deux notions dont l'emploi est dcisif dans leur argumentation parce qu'elles octroient une signification au problme pos : la thorie complte, la ralit physique. Ces deux notions portent gnralement une charge philosophique, voire mtaphysique, mais il est cependant possible de les employer en physique condition de dlimiter le sens qu'on leur y octroie12 . La notion de ralit est certainement la plus difficile circonscrire dans ce sens et, ds le premier paragraphe de leur article, les auteurs prennent le soin de distinguer entre la ralit extrieure, objective (dont le prsuppos ontologique sous-tend cependant
10 Einstein, Podolsky, Rosen [1935]. 11 Paty [en prparation]. 12 Cf., p. ex., la lettre d'Einstein Schrdinger du l9.6.1935 (Archives Einstein). Voir Paty [en

prparation].

leurs conceptions), et la ralit conceptuellement reprsente, celle qui concerne la physique : "Any serious consideration of a physical theory must take into account the distinction between the objective reality, which is independent of any theory, and the physical concepts with which the theory operates." Cette distinction vite les objections contre le ralisme naf qui les identifie. La phrase qui suit concerne la correspondance entre les deux, indiquant clairement que la reprsentation conceptuelle, laquelle on en reste en considrant la thorie physique, est cependant tourne vers l'extrieur, visant saisir quelque chose de cette ralit objective : "These concepts are intended to correspond with the objective reality, and by means of these concepts we picture this reality to ourselves". Le problme de la compltude thorique va tre prcisment, tout en restant l'intrieur de la considration de la thorie, celui de la correspondance avec la ralit extrieure simplement vise. Il ne s'impose, de fait, que si l'on est proccup d'une thorie parvenue un stade suffisamment avanc; sans quoi l'on pourrait se contenter d'exiger de la thorie qu'elle soit correcte. Einstein et ses collaborateurs crivent : "It is only in the case in which positive answers may be given to both of these questions [la premire: "is the theory correc t?"; la seconde: "Is the description given by the theory complet ?"], that the concepts of the theory may be said to be satisfactory". La prcision donne dans ce sens par l'article EPR est intentionnelle de la part des auteurs, puisque, dans leur conclusion, il ne s'agira pas de mettre en doute la validit de la mcanique quantique, mais seulement son caractre "dfinitif", du moins celui de ses propositions et concepts fondamentaux, allgu ds 1927 par es promoteurs de la thorie13 . Ce que les auteurs se proposent, dans l'article EPR, c'est de voir si la mcanique quantique rpond une exigence minimale de compltude, considre comme ncessaire pour une thorie satisfaisante. Il s'agit d'une condition de compltude, formule de la faon suivante : "Chaque lment de la ralit physique doit avoir une contrepartie dans la thorie physique". Pour en juger, il convient de dfinir, tout en restant l'intrieur de la thorie (en raison de la distinction signale plus haut), ce qu'il faut entendre par lment de ralit physique. Pour cela, un critre est propos, qui en reste la considration de la thorie elle-mme, indpendamment, selon les auteurs, de toute "considration philosophique a priori" . Ce critre est le suivant : "If, without in any way disturbing a system, we can predict with certainty (i.e. with probability equal to unity) the value of a physical quantity, then there exists an element of physical reality corresponding to this physical quantity".14 Il s'agit, dans l'esprit des auteurs, d'un critre minimal, qui n'puise pas toutes les qualifications de ce que l'on peut entendre par ralit physique, mais dont le caractre simplement raisonnable devrait s'accorder aussi bien avec les "ides de la mcanique classique comme de la mcanique quantique sur la ralit". Il constitue une manire de prserver l'utilisation du terme ralit (physique) sans quitter la physique pour la philosophie. Par rapport la thorie, ce
13 Born et Heisenberg [1927] : "Nous tenons la mcanique des quanta pour une thorie complte,

dont les hypothses fondamentales physiques et mathmatiques ne sont plus susceptibles de modification". 14 Einstein, Podolsky, Rosen [1935]. Soulign par les auteurs.

critre peut tre traduit dans un langage oprationnel : il peut tre, en quelque sorte, exprim en termes de l'objet de la thorie physique, au sens d'une dfinition de type logique et non pas ontologique. 3.2. En mettant en avant de la manire la plus explicite le critre de ralit physique et l'exigence de compltude, Einstein et ses collaborateurs rapportent le problme de la compltude thorique ainsi dfinie la considration du rapport de la thorie son objet, l' objet de la thorie tant ce qui la suscite (ce quoi elle vise l'aide de ses propres moyens, conceptuels, thoriques) et ce qui la dtermine. La relation ainsi comprise du couple thorie-objet est de type logique. Comme elle ne prend en compte que les caractres minimaux (pour ainsi dire logiques eu gard la thorie en son tat) de l'objet physique que la thorie peut dcrire, elle n'puise pas l'ensemble des dterminations possibles de cet objet, et, par l, elle distingue la thorie dans son tat, assimile ses propositions fondamentales, ses concepts, son formalisme, et la thorie que l'on peut imaginer dans un tat plus avanc, dont l'objet correspondra des proprits largies. Ce sens prcis et circonscrit de la compltude n'puise donc pas toutes les acceptions possibles du terme, et nous dicuterons plus loin d'une acception plus contraignante. Appelons la compltude entendue au sens de l'article EPR compltude dans le premier sens, oudans le sens minimal. L'argumentation d'EPR s'efforce, ces dfinitions tant poses, de montrer le caractre incomplet de la mcanique quantique en examinant le traitement thorique que cette dernire propose d'un systme physique simple. Toutefois, pour rendre opratoire le critre de ralit physique invoqu, le systme est envisag de manire telle que l'on puisse tre immdiatement affranchi de la difficult de la perturbation, par la mesure, du systme considr : d'o le choix d'un systme de particules indpendantes mais corrles. La dmonstration des auteurs repose en fait sur une hypothse d'abord tacite, ensuite explicite, celle de la sparabilit des systmes corrls, qui est en ralit contraire la formulation de la mcanique quantique, comme Bohr 15 , puis d'autres le montreront. L'insparabilit, ou nonsparabilit locale, tant une proprit inscrite dans le formalisme de la mcanique quantique, l'argument EPR ne dmontre pas l'incompltude de la mcanique quantique dans le sens considr. Son effet a t autre que le but initial vis par ses auteurs ; pour autant, il ne fut pas moins fcond, puisque c'est partir des dveloppements qu'il a suscits, que la non-sparabilit locale a t tablie comme proprit physique, et non plus simplement comme une simple proprit mathmatique du formalisme16 . Nous pouvons considrer qu'un autre de ses effets a t de poser le problme de la compltude en des termes nouveaux : ceux de la compltude au premier sens. Indiquons que, dans ces termes mmes, il demeure, pour la mcanique quantique, un problme encore non rsolu : celui de la thorie de la mesure, qui, jusqu' nouvel ordre, laisse ouverte la question de sa compltude ou non.

15 Ibid. Soulign par les auteurs. 16 Bohr [1935]. Voir, par ex. Jammer [1974], Paty [1985].

10

Dans l'argument EPR, le problme de la compltude de la mcanique quantique est videmment celui du caractre complet de la reprsentation d'un systme physique se trouvant dans un tat donn par la fonction d'onde (ou vecteur d'tat). Comme l'article le rappelle : "In quantum mechanics it is usually assumed that the wave function does contain a complete description of the physical reality of the system in the state to which it corresponds ". Cette considration nous renvoie la question du formalisme de la fonction d'onde reprsentative de l'tat d'un systme. Du point de vue de ce formalisme, la fonction d'onde est un vecteur d'un espace de Hilbert, et sa dtermination est complte, au sens cette fois-ci de la compltude des espaces vectoriels, si elle correspond la dfinition d'un ensemble complet d'observables qui commutent dont elle soit fonction propre. Ce sens, rapport une dfinition strictement mathmatique, apparat bien diffrent de celui qui prcde. Il est facile de voir, cependant, que leur indpendance n'est pas totale. La relation ventuelle, que ce n'est pas le lieu ici d'expliciter, tient la signification physique du formalisme de la mcanique quantique. Aussi bien dans les dfinitions et le raisonnement d'Einstein, Podolsky et Rosen que dans la rplique de Bohr, l'insistance est mise, et ce fait n'est pas indiffrent, sur le formalisme mathmatique de la thorie. Ce formalisme est plus fondamental avec la thorie quantique qu'avec aucune autre thorie ( l'exception sans doute de la relativit gnrale) : il imprgne tous les raisonnements, et des notions qui semblaient purement mathmatiques, telles que, par exemple les vecteurs dans un espace de Hilbert, ou les oprateurs agissant sur eux, se voient dsormais importes, avec toutes leurs implications, dans la thorie physique, au point d'imposer leurs caractres qui semblaient jusqu'alors les plus abstraits. Telle est la force de prdictivit proprement physique de ce formalisme, qu'une proprit comme la nonsparabilit des tats quantiques peut en tre dduite en raison de la seule proprit de superposition des lments d'un espace vectoriel 17 17). J.M. Jauch, par exemple, parle du "nouveau rle assign aux mathmatiques dans les thories physiques modernes", depuis la faillite du modle mcaniste en physique, et estime que cette mathmatique, devenue plus complexe et raffine, plus intimement lie la formulation de la physique, a comme "acquis une espce d'indpendance" : "For instance, the basic physical notion of general covariance obtained its perfect expression only in the absolute differential calculus of Ricci and Levi-Civita. Quantum mechanics can only be formulated correctly by adopting formal techniques from functional analysis, notably the theory of Hilbert space" 18 18).

4 LA COMPLTUDE ET LE FORMALISME MATHMATIQUE

17 Voir, p. ex., Paty [1986]. Sur la mathmatisation et la prdictivit en physique, voir Paty

[1988]. 18 Jauch [1968], p. 70.

11

EN MCANIQUE QUANTIQUE.

En examinant le formalisme mathmatique de la mcanique quantique et les conditions de son dification, on pourrait peut-tre voir d'une manire plus prcise le lien ventuel de l'ide de compltude au sens mathmatique de la thorie des espaces vectoriels la compltude au sens de la thorie physique elle-mme. Je m'en tiendrai ici invoquer quelques expressions trs caractristiques et suggestives de traits fondamentaux de mcanique quantique. Indiquant que l'on obtient un ensemble complet d'observables qui commutent lorsqu'on a puis la dtermination des degrs de libert de la fonction d'onde dveloppe comme une srie de fonctions propres simultanes des oprateurs signification physioque qui commutent entre eux, D. Bohm crit, dans son livre classique Quantum theory : "The most detailed possible information is obtained by specifying all of the associated expansion coefficients. It is only when we have a complete commuting set that the specification of the wave function is unambiguous" 19 19). Si nous retournons aux sources, c'est-dire l'tablissement du formalisme de la mcanique quantique dans les annes 1928-1930, nous voyons l'introduction de ces concepts chez Dirac 20 , chez von Neumann 21 : chez le premier, d'un point de vue plus physique, sans souci de rigueur mathmatique absolue, chez le second d' un point de vue radicalement formalis. On n'oubliera pas non plus l'ouvrage d'Hermann Weyl 22 22). Mais c'est dans le livre de Dirac que l'on trouve le premier expos du formalisme dans une prsentation axiomatique : les notions premires sont celles d'tats, dcrits par des fonctions (de carr sommable, dfinies dans l'espace de Hilbert) et d'observables, dcrivant les grandeurs physiques (c'est en fait von Neumann qui identifie l'espace des vecteurs l'espace de Hilbert). C'est dans ce mme ouvrage de Dirac qu'est introduite la notion d'"ensemble complet d'observables qui commutent". Quant von Neumann, il montre, en tudiant les espaces de Hilbert (dvelopps par ce dernier en 1904-1910), l'quivalence de leur formalisme celui de la mcanique ondulatoire de Schrdinger et celui de la mcanique des matrices de Heisenberg. C'est lui que l'on doit la prsentation axiomatise du formalisme de la mcanique quantique, dont la premire proposition dicte prcisment qu' chaque systme physique correspond un espace de Hilbert H dont les vecteurs (vecteurs d'tat ou fonctions d'onde) dcrivent compltement les tats du systme. On trouve, d'autre part, dans l'ouvrage de Weyl, des considrations sur la compltude des reprsentations de groupes qui font voir ici encore combien la notion mathmatique de compltude imprgne la formalisation de la thorie physique (en l'occurrence, la mcanique quantique) ds son origine et pour ainsi dire dans son essence mme.
19 Bohm [1951], p. 376-377. Voir aussi, par ex. Bogolubov, Logunov, Todorov [1969], p. 152-

153. 20 Dirac [1930]. Par exemple, dans l'dition de 1981 : "We define a complete set of states to be a set such that any state is dependent on them ...", et Dirac montre que l'on peut conclure que les tats propres de l'oprateur linaire qui reprsente la variable dynamique "forment un ensemble complet" (p. 36). 21 Von Neumann [1931]. Voir en part. p. 24, 34, 38, la caractrisation de l'espace de Hilbert. Von Neumann renvoie notamment l'ouvrage de Courant et Hilbert, Methoden der matematischen Physik, Berlin, 1939. 22 Weyl [1928].

12

3.3. En rattachant - du moins comme une de ses sources possibles - l'origine de la notion de compltude en physique quantique - avec le terme - la formulation mathmatique de la thorie en termes d'espace de Hilbert, nous la rapportons en dfinitive la compltude des espaces vectoriels, notion dveloppe en mathmatiques avec les espaces complets de Frchet, les espaces toplogiques et mtriques de Haussdorff, les espaces vectoriels norms complets de Banach, sans compter les dveloppements ultrieurs23 . Mais la notion de compltude des espaces vectoriels est elle-mme une extension - par gnralisation des ensembles abstraits d'lments de nature quelconque - de la compltude en thorie des nombres : compltude de l'ensemble des rels par Dedekind, l'aide de la notion de coupure, qui permet de complter, sans adjonction d'lments trangers, l'ensemble des rationnels, pour parvenir un ensemble continu, comme la droite. Je voudrais retenir ici, comme inhrente la notion de compltude mme dans son sens mathmatique trs prcis, cette ide de parvenir, par une opration formalise interne la thorie, un recouvrement total sans adjonction d'lments trangers. C'est cette ide, prliminaire toute recherche de formalisme, soit en mathmatiques, soit en logique, soit dans les thories reprsentatives de nature hypothtico-dductive, qui sert, me semble-t-il, de fil directeur commun aux recherches ou aux interrogations sur la compltude dans ces diffrents domaines. Dans la mesure o elle a connu un succs important en mathmatiques, et o la thorie mathmatique des espaces vectoriels (complets) est transporte en physique, il n'est pas tonnant que l'on puisse poser, dans cette discipline, et en premier lieu propos de la mcanique quantique, la question de la compltude d'une manire, sinon exactement semblable, du moins apparente, et en tout cas plus gnrale. Semblable, nous avons suggr de quelle faon. Plus gnrale, d'une part parce qu'il existe, en physique, une tendance poser les prmisses de la thorie c'est--dire ses principes - d'une manire axiomatique, et qu'il n'est pas aberrant d'y appliquer - jusqu' un certain point - des formulations logiques - par exemple, le calcul propositionnel, voire la logique quantique. D'autre part parce que, comme contrepartie de cette mathmatisation assez radicale, nous nous trouvons, en physique, face aux phnomnes, aux faits, cette "ralit physique" que nous n'aurons, avec les auteurs EPR, garde d'oublier, et que le rapport de cette thorie mathmatise au monde des phnomnes se pose aussi en termes de "recouvrement complet" - ventuel - sans adjonction d'lments trangers. Ce qui, bien entendu, suppose une structure forte de la thorie que l'on a en vue, et dont le degr de mathmatisation pourrait bien tre une mesure.

5 EN MANIRE DE CONCLUSION.

23 Avec les travaux de von Neumann, Andr Weil, Jean Dieudonn, Alexandre Grothendieck. Sur

l'histoire des espaces complets, voir Dugac [1984].

13

Il resterait tudier le deuxime sens de la compltude d'une thorie physique, qui est celui de l'achvement et de l'unification, par lequel on aboutirait une dtermination totalement hypothtico-dductive de la thorie physique fondamentale : les hypothses elle-mmes seraient, pour ainsi dire, fixes par une ncessit interne - sauf peut-tre la plus fondamentale et fondatrice. Cette compltude idale serait telle qu'"il n'existerait pas de constantes arbitraires" - dans les lois ne figureraient que des constantes totalement dtermines de faon rationnelle -, selon une formulation d'Einstein ; ou encore, selon Eddington, "la nature serait mesure sa propre jauge" - il en escomptait, pour sa part, que l'unit fondamentale de grandeur dans la nature serait le rayon de l'lectron, ou, ce qui revient au mme selon lui, celui de l'Univers24 . C'est la compltude au deuxime sens - le premier tant celui discut dans l'article EPR -, et elle demanderait de longs dveloppements qui dpassent le cadre du prsent travail. La compltude entendue dans ce sens concerne non plus seulement l'objet logique de la thorie restreinte son cadre, mais l'objet ultimement vis, l'lment et la totalit. C'est encore Einstein que nous devons des indications claires sur cette acception plus gnrale, cette fois non plus propos de la mcanique quantique, mais en relation au dveloppement de son programme d'une thorie du champ unifi. Il est significatif - et c'est tout ce que nous en dirons ici - que les tendances actuelles de la physique des particules soient orientes vers une proccupation de ce type. Il resterait enfin aborder un dernier problme, qui serait en quelque sorte le couronnement pistmologique de la question de la compltude : celui de l'interprtation, auquel elle ne manque pas de renvoyer. Mais, l encore, il y faudrait de longs dveloppements. Contentons-nous, en manire de conclusion, d'indiquer que cette compltude ou clture pistmologique, portant sur les significations, peut s'exprimer ainsi : c'est la thorie et nulle autre instance qui nous fournit l'interprtation physique des concepts et des propositions thoriques elles-mmes. Il n'en va ainsi, au mieux, que de faon approche - comme, d'ailleurs, pour le deuxime sens prcdemment envisag de la compltude -, mais n'est-il pas vrai que tel est le projet que les physiciens se proposent, et que c'est en rfrence une exigence de ce genre que l'on value les mrites de telle ou telle thorie ? La question de la compltude, entendue dans ses diffrents sens, est donc peut-tre beaucoup plus fondamentale qu'on ne le souponnait, et la compltude se trouve peut-tre dsormais compter au nombre des concepts pistmologiques les plus fconds.

BIBLIOGRAPHIE. BOGOLUBOV, N.N.; LOGUNOV, A.A. and TODOROV, I.T. [1969]. Introduction to axiomatic quantum field theory, re- ed., Benjamin, Reading (Mass.), 1975. BOHM, David [1951. Quantum theory, Prentice Hall, Englewood Cliffs, 1951. BOHR, Niels [1935]. Can quantum-mechanical description of physical reality be considered complete ?, Physical Review 48, 1935, 696-702.

24 Pour plus de dtails, voir Paty [ paratre].

14

BORN, Max et HEISENBERG, Werner [1927]. La mcanique des quanta, in Electrons et photons. Rapports et discussions du Cinquime Conseil de physique Solvay, Bruxelles, 24-29 octobre 1927, Gauthier-Villars, Paris, 1928, 143-181. DIRAC, Paul A. M. [1930]. The principles of quantum mechanics, 1930 ; 4th ed. revised, 1958 ; Clarendon Press, Oxford, 1981. DUGAC, Pierre [1984]. Histoire des espaces complets, Revue d'histoire des sciences, 37, 3-28. DUHEM, Pierre [1906]. La thorie physique. Son objet, sa structure, r-d., Vrin, Paris, 1981. EINSTEIN, Albert ; PODOLSKY, Boris ; and ROSEN, Nathan [1935]. Can quantummechanical description of physical reality be considered complete ?, Physical Review, 47, 777-780. GDEL, Kurt [1931]. ber formal unentscheidbare Stze der Principia Mathematica und verwandter Systeme I, Monatshete fr Mathematik und Physik, 38, 1931, l73198. JAMMER, Max [1974]. The philosophy of quantum mechanics. The interpretations of quantum mechanics in the historical perspective, Wiley and sons, New York, 1974. JAUCH, Joseph M. [1968]. Foundations of quantum mechanics, Addison-Wesley, Reading (Mass.), 1968. NAGEL, Ernest and NEWMAN, James R. [1959]. Gdel's proof, Routledge and Kegan Paul, London, 1959. NEUMANN, John von [1931]. Les fondements mathmatiques de la mcanique quantique (original allemand, 1931), trad. fr. par Alexandre Proca, Presses universitaires de France, Paris, 1947. PATY, Michel [1984]. Mathmatisation et accord avec l'exprience, Fundamenta scientiae 5, 1984, 31- 50. PATY, Michel [1985]. Einstein et la complmentarit au sens de Bohr : du retrait dans le tumulte aux arguments d'incompltude, Revue d'histoire des sciences, 38, 325-351. PATY, Michel [1986]. La non-sparabilit locale et l'objet de la thorie physique, Fundamenta scientiae 7, 1986, 47- 87. PATY, Michel [1988]. La matire drobe. L'appropriation critique de l'objet de la physique contemporaine, Archives contemporaines, Paris, 1988. PATY, Michel [ paratre]. Remarques pistmologiques sur l'objet commun de la physique des particules et de la cosmologie, in Audouze, Jean ; Musset, Paul et Paty, Michel (dirs.), Les particules et l'univers. La rencontre de la physique des particules, de l'astrophysique et de la cosmologie, Presses Universitaires de France, Paris, sous presse. PATY, Michel [en prparation]. Einstein philosophe. La physique comme pratique philosophique. TARSKI, Alfred 1939. La compltude de l'algbre et de la gomtrie lmentaires, in Tarski, A., Logique, smantique, mtamathmatique (1922-1944), trad. fr. sous la direction de G. Granger, Armand Colin, Paris, 1974, vol. 2. W EYL, Hermann [1928]. Gruppentheorie und Quantenmechanik; engl. transl., The theory of groups and quantum mechanics, from the 2nd ed. by H.P. Robertson, Methuen, 1931 ; Dover publ., New-York, 1950.

15