Sminaire de philosophie

et mathmatiques

H OURYA S INACEUR
Calcul, ordre, continuit
Sminaire de Philosophie et Mathmatiques, 1991, fascicule 5
Calcul, ordre, continuit , p. 1-15
<http://www.numdam.org/item?id=SPHM_1991___5_A1_0>

cole normale suprieure IREM Paris Nord cole centrale des arts et manufactures,
1991, tous droits rservs.
Laccs aux archives de la srie Sminaire de philosophie et mathmatiques implique
laccord avec les conditions gnrales dutilisation (http://www.numdam.org/legal.php). Toute
utilisation commerciale ou impression systmatique est constitutive dune infraction pnale.
Toute copie ou impression de ce fichier doit contenir la prsente mention de copyright.

Article numris dans le cadre du programme

Numrisation de documents anciens mathmatiques
http://www.numdam.org/
 1
Hourya SINACEUR
Institut d'Histoire et Philosophie des Sciences et des Techniques
13, rue du Four 75006 Paris

CALCUL, ORDRE, CONTINUIT*

Nous devons une claire distinction des trois concepts qui forment le
titre de cet expos une thorie mathmatique relativement rcente
(1926), l'algbre relle d'Artin et Schreier. Par 'algbre relle' il faut
entendre une thorie algbrique des nombres rels, c'est--dire une
thorie algbrique de ce qui, des Grecs Cantor et au-del, nous sert
1
numriser le continu linaire. Sans entrer ici dans les dtails techniques
ni m'arrter au rapport structurel entre algbre relle et analyse non
2
standard d'Abraham Robinson , je voudrais faire quelques remarques
runissant les lments essentiels de ce premier acte que l'algbre relle
constitue pour de nombreux dveloppements actuels impliquant un
traitement algbrique du continu, aussi bien en algbre qu'en gomtrie
algbrique et qu'en thorie des modles. Je commencerai par rappeler
comment l'algbre relle atteint la cible d'un objectif ancien mais tenu
pour quasi irralisable. Je prciserai ensuite au confluent de quelles lignes
gnalogiques immdiates elle a forg son approche du continu. Je
soulignerai enfin qu'elle apporte, en complment la thorie de Steinitz,
fondement algbrique de la thorie des quations, le fondement
algbrique de la thorie des ingalits.

I. AXIOMATISATION ALGBRIQUE DES NOMBRES RELS

1. Le pouvoir des mthodes abstraites

L'algbre relle est un produit de la grande rforme conceptuelle
des mathmatiques modernes qui a priviligi, dans les annes 1930, les
deux points de vue distincts mais fortement corrls de l'algbre et de la
topologie abstraites. Elle est l'uvre, entre 1924 et 1927, d'un algbriste
connu, Emil Artin, animateur fameux du sminaire mathmatique de
3
l'universit de Hambourg et d'Otto Schreier , l'un des fondateurs de
4
l'algbre topologique et auteur du concept de groupe abstrait continu'.
Tous deux taient dans la mouvance de l'cole de Hilbert, champion des

* Cette confrence reproduit, quelques variantes prs, l'intervention au Colloque

de Cerisy-la Salle de Septembre 1990, publie depuis dans les Actes du colloque : Le
labyrinthe du continu, Springer-Verlag France, 1992.
1 e
On trouvera une tude dtaille dans Sinaceur 1991, 2 partie en particulier.
2
Cela a t fait dans Sinaceur 1989.
3
Le lecteur francophone trouvera bientt une traduction franaise de tous les
mmoires d'Artin et d'Artin et Schreier relatifs l'algbre relle dans Roy M.-F.-
Sinaceur H.
 2
4
mthodes abstraites et des thormes de fnitude , qu'il considrait comme
la plus grande borne des mathmatiques modernes. L'algbre relle est
une bon chantillon du pouvoir des mthodes abstraites : elle constitue
une thorie algbrique du corps ordonn des nombres rels, ou, plus
exactement, dfinit une structure algbrique gnrale, celle de corps rel
clos, dont le corps des nombres rels est un modle (ralisation concrte
vrifiant les axiomes et thormes des corps rels clos). Illustrant l'ide,
l'poque dominante, que l'algbre abstraite est l'instrument la fois
d'expression et de gnralisation des notions mathmatiques, Artin et
Schreier russissent caractriser le corps des nombres rels comme
corps rel clos.
Observons qu'il s'agit d'une caractrisation (Kennzeichnung )
en un sens alors totalement nouveau bien qu'implicite dans le travail
d'Artin et Schreier. Les nombres rels ne sont pas, en effet, dtermins
un isomorphisme prs comme on l'entend prcisment par le terme
caractrisation'. Mais ils sont dsigns comme lment d'une classe de
corps, et cette classe est caractrise par un ensemble d'noncs vrifis
par chacun de ses lments; comme on s'apercevra plus tard que ces
noncs sont formulables dans un langage logique du premier ordre, il
s'agit d'une caractrisation une quivalence lmentaire prs. Ainsi le
corps E des nombres rels et celui, R , des nombres rels algbriques,
A

non isomorphes ainsi que l'a dmontr Cantor en 1873, sont

lmentairement quivalents. Il est remarquable que les mmes noncs
lmentaires soient vrifis dans un modle dnombrable et dans un
modle c o n t i n u , la cardinalit tant pour ainsi dire neutralise au
premier ordre comme l'exprime d'une faon gnrale le thorme de
Lwenheim-Skolem, alors peu connu des mathmaticiens non logiciens.
Bien entendu, au premier ordre, sont aussi neutralises les proprits qui
ne peuvent s'exprimer qu'au second ordre, comme la continuit.
2. Dfinition des corps rels clos
Un corps rel clos est un corps commutatif K vrifiant (par
exemple) les trois axiomes suivants :
1) l'lment -1 ne peut tre crit comme somme de carrs
d'lments de K,
2) tout lment positif de K a une racine carre,
3) tout polynme sur K, de degr impair, a au moins une racine
dans K.
Artin et Schreier montrent que le premier axiome quivaut
44
l'nonc : II existe sur K une relation d'ordre total compatible avec sa
structure algbrique ". Ce premier axiome exprime donc que K est non
pas ordonn mais ordonnable et c'est ce qu'ils appellent un corps rel,

4
Le plus fameux tablit (1888) que tout systme d'invariants a une base finie.
L'existence de la base est dmontre de faon abstraite (non constructive), mais la
dmarche correspond d'une certaine faon la stratgie hilbertienne de matriser l'infini
sur le terrain mme du fini. Dans le mme esprit, Artin a dmontr un certain nombre de
proprits pour les anneaux artiniens, c'est--dire ceux o toute chane dcroissante
d'idaux est finie.
 3
4
induisant une remarquable mutation smantique de l'adjectif r e l '
traditionnellement rserv aux racines des polynmes et qualifiant, par
5
opposition aux imaginaires, des quantits puis, beaucoup plus tard ,
des nombres. Un corps rel c'est donc un corps sur lequel, contrairement
ce dont nous avons l'habitude avec celui des nombres rels, la relation
d'ordre total n'est pas dj donne et nous verrons plus loin pourquoi
Artin et Schreier vitent dans un premier temps de considrer des corps
6
ordonns. Mais ils tablissent rapidement qu'un corps rel clos est
ordonnable d ' u n e faon unique : ainsi il n ' y a pas de diffrence
mathmatique essentielle entre 'ordonnable' et 'ordonn (effectivement)'
lorsqu'on a affaire des corps rels clos.
La conjonction des axiomes 2) et 3) quivaut une proprit de
maximalit. Par exemple, E est maximal dans l'ensemble des corps de
nombres vrifiant l'axiome 1) ou corps de nombres rels le sens de cet
adjectif se rduisant ici son sens usuel. En d'autres termes, il n'existe
pas d'extension algbrique propre de E ordonnable d'une faon qui
prolonge l'ordre naturel de R . Mais E n'est pas seul jouir de cette
proprit de maximalit. Il en est de mme pour le corps E des A
7
nombres rels algbriques , qui est strictement contenu dans B . Loin de
caractriser la proprit de continuit de , la maximalit eprmet au
contraire de la passer sous silence. Qu'est-ce que cela signifie?
Observons les noncs de ces trois axiomes. On y voit que l'enjeu
est bien de fournir une expression algbrique de l'existence, ou, comme
disent Artin et Schreier, de la possibilit de la relation d'ordre naturel
de E dont on sait que c'est un ordre continu. Expression algbrique,
puisque n'interviennent dans ces noncs que les notions de carr, de
somme de carrs, de polynme et de racine, c'est--dire en fin de compte
deux oprations : l'addition et la multiplication, et une seule relation :
l'galit. Nous avons donc une axiomatisation algbrique du continu
gomtrique linaire. Pour s'aider d'un raccourci un peu brutal mais
significatif, je dirai que cette situation offre, non pas une illustration
exacte, mais une bonne approximation d'un type de pense finitiste la
8
Hilbert . Car l'axiomatique d'Artin et Schreier offre bien une description
algbrique dnombrable, c'est--dire formule en une suite dnombrable
d'noncs lmentaires constitus de symboles relevant exclusivement du

5
L'usage courant de l'expression 'nombre rel' semble postrieur la dfinition
e
correcte de l'ensemble des nombres rels par Dedekind et Cantor la fin du XIX sicle.
4
Par exemple, Dedekind 1872 parle encore de nombre irrationnel '.
6
Artin-Schreier 1926, Satz 1.
7
Au contraire, si nous partons du corps ordonn Q des nombres rationnels, on peut
l'tendre algbriquement en conservant son ordre, par exemple en prenant l'extension
algbrique simple Q(V2). Notons, en passant, qu'un corps rel clos est un corps rel
n'ayant aucune extension propre algbrique et relle, mais lui-mme n'est pas forcment
une extension algbrique de son corps premier : au contraire du corps E des nombres
A

rels algbriques, E n'est pas algbrique sur le corps Q des nombres rationnels.
8
On trouvera une tude dtaille du finitisme de Hilbert dans Sinaceur 1993.
 4
9
langage de l'algbre , d'un phnomne, le continu, dont l'essence est
topologique et qui, du point de vue de la thorie cantorienne de la
cardinalit, non seulement est infini mais encore non dnombrable. Bref,
une axiomatique qui capture le continu linaire par un ensemble
dnombrable d'noncs algbriques. On comprend qu'une telle ventualit
ait t juge impensable avant sa ralisation et paradoxale ou surprenante
aprs. Les plus grands mathmaticiens n'ont en pas jug autrement.
Trente ans aprs, Andr Weil insiste aprs coup sur le paradoxe qu'il y
avait apparemment considrer qu'une thorie impliquant les nombres
10
rels ft partie de l'algbre abstraite . S'il tait bien naturel en effet que
celle-ci parvnt matriser les phnomnes lis la structure algbrique
de R (thorie algbrique de la rsolubilit des quations obtenue grce
aux travaux de Galois et de Steinitz), elle semblait devoir achopper aux
proprits topologiques de R , runies dans l'ide intuitive de
continuit.
3 . La continuit de E : analyse, topologie, algbre
Celle-ci se trouvait exprime par divers noncs dont certains sont
quivalents entre eux sans que les notions impliques soient forcment
homognes smantiquement. La continuit de R tait, en effet,
reprsente par l'une des proprits suivantes :
1. la proprit de la coupure de Dedekind (sur laquelle nous
revenons plus bas),
2. la convergence des suites de Cauchy,
3 le thorme de Bolzano ou thorme analytique de la valeur
intermdiaire qui tablit que toute fonction continue sur un intervalle rel
et qui prend, pour deux valeurs a et b de l'intervalle, des valeurs de signe
oppos, s'annule forcment entre a et b,
4. le thorme de Cantor selon lequel il existe dans toute suite
d'intervalles rels embots un point commun tous les intervalles,
5. la proprit de la borne suprieure (ou de la borne infrieure)
selon laquelle tout ensemble non vide et major (resp. minor) de
nombres rels possde un plus petit majorant (resp. un plus grand
minorant).
Or, s'il est convenu de reconnatre en l'ide de continuit un
concept topologique, il n'est, en revanche, pas vident que l'expression de
chacune des proprits 1 5 appartienne au langage de la topologie. Par
exemple, 1 et 5 mettent en jeu la structure de corps ordonn de R plutt
que sa structure de corps topologique au sens propre, c'est--dire corps
dont l'addition, la multiplication et leurs inverses sont continues

9
Ni le premier ni le troisime des axiomes ne peut s'crire directement en un seul
n
nonc lmentaire. Mais " ^ T * j = 0 => x = 0 pour tout i, 1 < / < n et pour tout n-uplet
i
(JC,, JC , 2 Jc ) d'lments de K " quivaut la suite : " x\ = 0 => x = 0 , x\+x\
n x = 0 =>
JCj= x = 0, x\ + x\ + x] = 0
2 = JC = *
2 3 = 0...".
1 0
Weil 1967, p. 174.
 5
11
(conservent les voisinages ). Justement, la situation tait surdtermine
du fait que R possde la fois une structure de corps, une structure
d'ordre, une topologie drive de la notion de distance, c'est--dire une
mtrique. Avec le recul, on peut remarquer aujourd'hui que la dfinition
d'une distance ne fait intervenir que la structure algbrique et la relation
d'ordre, c'est--dire qu'on peut mettre une mtrique sur R ou sur un
corps ordonn sans avoir prendre un point de vue proprement
topologique. Mais, l'poque, le statut algbrique ou non de l'ordre lui-
mme tait.encore en question. Par ailleurs, le recours l'algbre pour
dbroussailler la situation avait alors de quoi tonner, un moment de
plein essor pour l'analyse relle (travaux de Lebesgue, Borel, La Valle
Poussin, etc.) et de formation de la topologie gnrale. Celle-ci
prcisment apportait de quoi laborer l'ide de continuit grce
diffrents concepts : conservation des voisinages par les fonctions
continues de R dans R, connexit exprimant le fait que R est d'un seul
tenant, compacit locale pour dire que tout point de R possde un
voisinage compact (voisinage sur lequel tout filtre a un point d'adhrence
ou tout ultrafiltre est convergent), compltion exprime par la
convergence des suites de Cauchy dans R considr comme espace
mtrique. Pourtant c'est l'axiomatique algbrique d'Artin et Schreier qui
exhibe, selon Andr Weil, les vrais fondements de la thorie des rels
et la remet sur ses pieds.
4. L'algbre rlit
Que veut dire au juste Andr Weil? Ceci : inverser la situation qui
faisait reposer le plus lmentaire : l'tude (des solutions relles) des
polynmes coefficients rels, sur le moins lmentaire : l'tude de la
notion plus gnrale de fonction relle continue de variables relles. S'il
est vident que la notion de fonction continue de R dans R couvre une
catgorie plus large, plus varie et plus complexe d'tres mathmatiques
que celle de polynme coefficients rels, alors on doit pouvoir traiter
spcifiquement cette dernire en mettant en vidence l'ensemble des
thormes valides sous les hypothses plus restreintes qui lui sont
associes. Bref, on doit pouvoir traiter de Valgbre relle sans avoir
connatre prlablement de Vanalyse relle. C'est exactement cela que
russit la thorie d'Artin et Schreier. L'axiomatique de corps rel clos
permet en effet de formuler et de dmontrer, en se restreignant au
langage algbrique, des propositions que la formulation et la
dmonstration analytiques qu'on en donnait habituellement avait verses
e
au compte de l'analyse des quations, comme on disait au XIX sicle.
Il en est ainsi des thormes de Bolzano, de Rolle, de Sturm, des
accroissements finis, du thorme de majoration des racines d'un
polynme JC" + a x - + ... + a par la somme des valeurs absolues de ses
}
n ]
n

coefficients ou de celui selon lequel toute fraction rationnelle de

dnominateur non nul sur un intervalle atteint ses bornes sur cet
11
Plus prcisment : une application d'un espace topologique dans un autre est
continue si et seulement si tout voisinage de l'image d'un point contient l'image d'un
voisinage de ce point.
 6
intervalle. Tous ces thormes sont vrais des polynmes et des fractions
rationnelles sur R non pas (seulement) en tant que ceux-ci sont des
fonctions continues de R dans R mais d'abord en tant que R vrifie les
axiomes de la structure de corps rel clos. Artin et Schreier les appellent
pour cette raison thormes de l'algbre relle, crant ainsi une
nouvelle discipline qui repre et distingue dans les propositions
habituelles de l'analyse relle celles qui peuvent tre verses, ou
reverses, au chapitre de l'algbre. D'une faon gnrale, toute question
impliquant R et soluble dans le cadre de l'axiomatique des corps rels
clos est une question algbrique.
Ce rsultat tranche une vieille question. Car c'est depuis ses
origines que la recherche des racines relles des quations algbriques
pose aux mathmaticiens le problme de son autonomie par rapport aux
e
concepts et aux mthodes de l'analyse ou, comme on disait aux X V I I et
e
X V I I I sicles, de la gomtrie. C'est depuis l'origine de la thorie des
quations qu'une algbre relle tente de se dgager de la gomtrie relle.
L'autonomie de l'une par rapport l'autre est conjecture dj par Michel
Rolle ou l'abb De Gua par exemple, mais elle ne sera jamais vraiment
assure. Louis Joseph de Lagrange croit pouvoir y russir en 1798. Il
pose explicitement au dbut de son Trait de la rsolution des quations
12
numriques de tous les degrs que le premier principe de la rsolution
numrique des quations algbriques est un nonc que nous appelons
thorme de la valeur intermdiaire (V.I.) ou thorme du changement de
signe : il s'agit d'une version algbrique, o n'interviennent pas les
notions de fonction et de variation continues mais seulement celles de
polynme et de changement de signe, du thorme analytique dmontr
ultrieurement (en 1817) par Bolzano. La thorie d'Artin et Schreier a
confirm l'hypothse de Lagrange en la reformulant dans le cadre gnral
de l'axiomatique des corps rels clos : V.I. quivaut la conjonction des
axiomes 2) et 3) noncs plus haut; V.I. est donc bien la pierre angulaire
13
de la thorie algbrique de R et des corps rels clos . Toutefois, on est
loin d'tre autoris rduire la thorie d'Artin et Schreier celle de
Lagrange. Car si ce dernier a pos la bonne question, il n ' a pu y
rpondre. Bien au contraire, Lagrange est parfaitement conscient d'avoir
m a n q u son but : d m o n t r e r de faon p u r e m e n t a l g b r i q u e ,
indpendamment de la thorie des lignes courbes, le premier principe
14
de la thorie des quations. Sa premire dmonstration , directe et
purement algbrique, contient, en effet, une ptition de principe. Le voil
donc qui se rsigne, dans une deuxime dmonstration qu'il rajoute sans
15
effacer la premire , un raisonnement sur les variations par degrs
i n s e n s i b l e s des lignes c o u r b e s , c'est--dire une justification
gomtrique, qu'il illustre d'ailleurs par un modle cinmatique. Artin et

1 2
Lagrange 1798, thorme I.
1 3
En revanche, le thorme de Bolzano caractrise R l'exclusion de tout autre
corps rel ou mme rel clos comme l'a dmontr Laugwitz 1973.
1 4
Lagrange 1798, uvres, VIII, p. 19-20.
1 5
Ibid., Note I.
 7

Schreier montrent que cette deuxime dmonstration de Lagrange est

inutile! Car sa premire dmonstration est, en fait, correcte ds que Ton
dispose de la thorie des corps algbriquement clos de Steinitz et de
Tquivalence qu'ils tablissent dans leur propre mmoire : 'K rel clos <=>
16
K(i] algbriquement c l o s ' .

I L REPRES HISTORIQUES

Ce n'est pas le lieu de refaire toute l'histoire qui a abouti la

construction d'Artin et Schreier. Bien des rsultats se sont croiss, dont la
thorie algbrique des corps de Steinitz et le dix-septime problme de
Hilbert ne sont pas les moindres. Je ne veux considrer naturellement ici
que ceux qui entretiennent un rapport direct avec le problme de
l'expression de la continuit de R. La construction de l'ensemble R par
Dedekind et par Cantor, l'axiomatisation de IR en tant que corps
commutatif ordonn archimdien maximal par Hilbert sont trop connus
pour qu'il faille en rappeler le dtail. Etant donn l'esprit de ferveur o
l'on tenait, au dbut du sicle, l'uvre de Dedekind et celle de Hilbert, on
ne sera pas tonn de constater que l'axiomatisation des rels par Artin et
Schreier fait une sorte de synthse entre la construction de Dedekind et la
caractrisation de Hilbert. Expliquons-nous.
1. Rduction de la continuit l'ordre
C'est incontestablement Dedekind qui, en voulant donner u n
fondement purement arithmtique et parfaitement rigoureux des principes
de l'analyse infinitsimale, a mis en valeur la structure d'ensemble
ordonn de R. Pour lui, cela revient trouver une dfinition vritable
17
de la nature de la c o n t i n u i t . Il s'agit bien d'une entreprise de
rduction de la continuit l'ordre de R. Y russir c'est atteindre un
double but. D'abord, exprimer en termes emprunts un domaine rput
prcis, l'arithmtique, une notion reprsente dans un domaine tenu
pour tre conceptuellement plus flou ou moins bien fond : la gomtrie
ou l'analyse dont la rigueur est ainsi, selon Dedekind, non pas intrinsque
mais seulement d ' e m p r u n t . Ensuite et du mme coup, prouver
l'autonomie de l'arithmtique : ne doit susbister pas mme l'apparence
d'un besoin de reprsentations (Vorstellungen) trangres elle,
images ou figures gomtriques en particulier. Cette autonomie inclut la
capacit exprimer par ses propres moyens sinon tous, du moins la
plupart des faits mathmatiquement significatifs. Au premier rang de
ceux-ci la continuit de R, base de si nombreux raisonnements. En fait,
comme on sait, Dedekind part de l'ensemble ordonn des nombres
rationnels, montre qu'il est lacunaire au sens o il existe des sous-
ensembles non vides de nombres rationnels minors et sans borne
infrieure ou majors et sans borne suprieure, comble ces lacunes en
considrant l'ensemble ordonn de toutes les coupures de Q qui vrifie,

1 6
Artin-Schreier 1926, Satz 4.
1 7
Dedekind 1972, Gesam. math. Werke, III, p. 316.
 8
lui, les proprits de la borne suprieure et de la borne infrieure, et
dfinit l'ensemble des rels par l'ensemble de ces coupures de Q. En
rduisant ainsi l'ide de continuit celle d'ordre, Dedekind a amorc la
distinction entre structure ordonne et topologie proprement dite et
montr que la structure topologique de R n'est pas prpondrante tous
gards. Mais tout cela reste assez abstrait du fait que Dedekind n'a pas fait
le lien entre le calcul et la relation d'ordre, entre la structure de corps de
R et sa structure d'ordre. Plus prcisment, les lois de compatibilit de
l'une avec l'autre ne sont pas nonces puisqu'on n'a pas explicitement
tendu l'ensemble des coupures de Q l'addition et la multiplication
rationnelles. R est d'une part un corps, de l'autre un ensemble ordonn;
on ne peut parler de corps ordonn. Dedekind a d'ailleurs lui-mme
senti ce dfaut : il ne publie qu'en 1872 une dcouverte datant de 1858, de
son propre aveu si peu fconde! Et, de fait, la plupart des auteurs
qui exposent la construction des rels par la mthode des coupures la
rendent oprationnelle en s'aidant d'emprunts plus ou moins clairement
avous la construction cantorienne par les suites de Cauchy qu'on sait
additionner et multiplier.

2. L'ordre assimil au calcul

A la diffrence de la construction de Dedekind, l'axiomatisation
18
H i l b e r t i e n n e dfinit bien R comme corps ordonn, et les r g l e s
ordinaires du calcul, comme il est dit dans la fameuse confrence de
1 9
1 9 0 0 , comprennent visiblement la fois les lois des oprations
d'addition et de multiplication et celles qui fixent la compatibilit de la
relation d'ordre avec ces oprations. Autrement dit, manipuler la relation
d'ordre fait partie du calcul. En revanche Hilbert ne s'en tient pas l et
ajoute deux axiomes de continuit (dont l'axiome d'Archimede), qui
permettent de caractriser R , isomorphisme prs, comme corps
commutatif, totalement ordonn, archimdien maximal. Le souci de
Hilbert n'est pas de rsorber la continuit de R dans sa structure de
corps ordonn, mais de savoir dans quel cas un axiome de continuit, par
exemple l'axiome d'Archimede (sur lequel M. Pasch avait explicitement
attir l'attention), est indispensable la dmonstration d'un thorme et
dans quel cas il est superflu, bref d'tablir ce qui logiquement dpend de
la continuit et ce qui n'en dpend pas. Comme il montre dans les
Grundlagen que certains problmes gomtriques se rsolvent
indpendamment de l'usage de l'axiome d'Archimede (par exemple, le
thorme de Pappus), la question analogue n'est pas loin qui consiste se
demander, d'un point de vue arithmtique et non plus gomtrique, quels
problmes poss en termes de nombres rels peuvent tre rsolus
indpendamment d'un axiome de continuit. Hilbert, vrai dire, ne pose
pas explicitement cette question. Avec leur algbre relle Artin et
Schreier y rpondent 1) en faisant pour R en tant que corps ce que
Dedekind avait fait pour R en tant q u ' e n s e m b l e , c'est--dire en

1 8
Hilbert 1899, 1900a.
1 9
Hilbert 1900b, Gesam. Abh., III, p. 300.
 9

substituant, pour toute une catgorie de problmes, la considration de

Tordre celle de la continuit; 2) en montrant, comme le laissait entendre
Hilbert, qu'il y a moins de diffrence entre ordre et calcul qu'entre les
deux runis d'un ct et la topologie de l'autre. Comme en tmoigne
hermut Hasse sur le vif, la thorie d ' A n n et Shreier a russi, la surprise
20
gnrale, rduire l'ordre au calcul . Disons maintenant en quoi
prcisment consiste cette rduction.

III. LA T H O R I E A L G B R I Q U E D E S I N G A L I T S POLYNOMIALES

1. L'ordre rduit au calcul

Aujourd'hui on travaille gnralement avec des corps ordonns et
rels clos, ordonns maximaux comme dit Bourbaki, parce qu'on a
alors une thorie lmentaire ayant quelques b o n n e s proprits
logiques qui simplifient la solution de nombreux problmes : limination
des quantificateurs, compltude logique, modle-compltude (c'est--dire
le fait que toute inclusion de modles de la thorie est une inclusion
lmentaire), etc. Par exemple, la thorie de 1R dans le langage
{ + , . , = , > } a les trois proprits sus-mentionnes. Or, nous avons
remarqu qu'en vertu des axiomes par lesquels il est dfini, un corps rel
clos est seulement ordonnable et non pas muni a priori d'un ordre. On
peut d'autant plus s'interroger sur les raisons du choix d'Artin et Schreier
que, s'il ne correspond pas notre pratique actuelle, il ne s'inscrivait pas
non plus dans le sillage d'une tradition. Pour Hilbert comme pour
Dedekind la relation d'ordre sur E est donne, primitive. Il serait
naturel, conviennent Artin et Schreier au dbut de leur premier mmoire,
de partir du concept de corps ordonn.... Ils lui prfrent cependant
une dfinition qui n'utilise que les oprations d'addition et de
21
multiplication et a pour consquence la possibilit d'ordonner le corps .
Les choses sont parfaitement claires : pour faire une thorie algbrique de
E il faut pouvoir logiquement dduire de la structure de corps la relation
d'ordre naturelle sur E , et donc lui donner, dans l'axiomatique, un statut
driv. De fait, dans l'axiomatique des corps rels clos la relation d'ordre
est dfinissable, et, comme cette axiomatique est faite dans un langage
algbrique, la relation d'ordre de E ou d'un corps rel clos est
algbriquement dfinissable. Si on prend {0, 1, +, , = } , on pourra y
crire en effet ' J O Z ' sachant que, par dfinition, cet nonc quivaut
4
J C - Z > 0 ' et que ce dernier nonc quivaut, en vertu de l'axiome 2),
2
*3y (x-z = y.y=y )\
Ce qui est remarquable, c'est q u ' o n retrouve ainsi pour E une
situation identique celle de l'anneau 2 des entiers relatifs. En effet,
selon un thorme de Lagrange (1770) qui remonte Fermt, tout entier
positif peut s'crire comme la somme de quatre carrs d'entiers relatifs.

2 0
Hasse 1930, p. 27.
2 1
Artin-Schreier 1926, dans Artin 1965, p. 258.
 10
La signification logique de ce thorme est que la relation d'ordre sur Z
22
est dfinissable partir de l'addition et de la multiplication .
2. Ordre et mtrique, ou comment intervient la dfinissabilit
On voit le pas accompli depuis Dedekind : celui-ci avait rduit la
continuit l'ordre, Artin et Schreier rduisent l'ordre au calcul. En
d'autres termes, ils font la thorie algbrique des ingalits et donnent, en
mme temps, le premier exemple de l'tude d'une structure algbrique
2 3
o r d o n n e . Ce rsultat a d'abord frapp les esprits par sa porte
pistmologique, comme nous l'avons vu travers les ractions de Helmut
24
Hasse et d'Andr Weil. Plus tard, la thorie logique de la dfinissabilit
en a permis une expression formelle et une intelligence plus prcise. Plus
tard encore, fin des annes 1960, certains travaux, avertis des rsultats de
la thorie des modles, ont clairci le rapport entre ordre et mtrique,
entre les proprits 'rel clos' d'un ct et ' c o m p l e t ' au sens mtrique de
l'autre. Kurt Hauschild a montr en 1967, par exemple, que la Cauchy-
compltion d'un corps K est relle close si et seulement si elle vrifie un
nonc assez semblable V.I. Dana Scott [1969] a montr, de son ct,
que la Dedekind-compltion d'un corps K est relle close si et seulement
si K est dense dans sa clture relle, qui est la plus petite extension
algbrique relle close de K. Mais la compltion seule, au sens de Cauchy
ou au sens de Dedekind, n'implique pas que K soit rel clos et l'inverse
n'est pas vrai non plus. Il y a videmment des corps rels clos, R par
A

exemple, qui ne sont ni Cauchy-complets ni Dedekind-complets.

Inversement il y a des corps complets qui ne sont pas rels clos; l'exemple
classique est fourni par le complt du corps Q(r) des fonctions
rationnelles ordonn par un ordre non-archimdien en posant t > q pour
tout qe Q (la dmonstration consiste montrer, en appliquant le rsultat
de Dana Scott sus-mentionn, que Q(/) n'est pas dense dans sa clture
relle). La proprit de maximalit au sens algbrique (corps rel clos) ne
concide donc pas du tout avec la proprit de maximalit au sens
mtrique (corps complet). Mais
1) on peut se suffire de la premire, y compris dans des questions
impliquant une mtrique, si l'on se restreint des objets lmentairement
dfinissables, par exemple des sous-ensembles donns par un systme de
conditions de signe sur un nombre fini de polynmes (ensembles dits
semi-algbriques). De faon gnrale, dans un corps ordonn maximal on
peut poser et rsoudre la question de savoir quelles constructions
gomtriques sont ralisables par des constructions algbriques finies.
2) de l'une des deux proprits on peut passer l'autre sous
certaines conditions, qu'il est d'ailleurs possible de varier. Par exemple,

2 2
On ne peut se restreindre la seule addition car on peut fabriquer une structure
(Zi, +, ) telle que le groupe additif de Z\soit isomorphe au groupe additif de Z sans que
Zj soit isomorphe Z.
23
Aujourd'hui, l'tude des structures algbriques (corps mais aussi anneaux,
groupes, etc.) ordonnes constitue une spcialit mathmatique en plein dveloppement.
Voir, par exemple, Priess-Crampe 1983.
24
Tarski 1931, 1935 et Beth 1953
 11
McKenna [1975] a montr en s'appuyant sur le travail de Dana Scott le
rsultat suivant : K, ordonn et complet au sens mtrique, est rel clos si
et seulement s'il admet une solution affirmative au dix-septime problme
de Hilbert. Plusieurs proprits peuvent ainsi servir faire le joint entre
la mtrique et l'algbre ou l'arithmtique : celle de la valeur
intermdiaire (V.I.) dont l'importance fut reconnue ds le dbut de la
thorie des quations, la densit d'un corps dans une de ses extensions
laquelle nous sommes attentifs depuis Dedekind, ou la dcomposition d'un
lment positif ou nul en somme de carrs dont la mise en lumire
rcente remonte au dix-septime problme de Hilbert, rsolu prcisment
par Artin grce la construction de la thorie des corps rels clos.
3. L'analogie entre corps ordonnables et corps de nombres
Plus la (ou les) relation(s) d'ordre conquraient ainsi leur
autonomie par rapport la mtrique et plus leur destin se liait celui de
l'arithmtique. A vrai dire, cette liaison est dj prsente dans l'axiome 1)
qui dfinit la ralit d'un corps, c'est--dire la possibilit de
l'ordonner, par une condition sur les sommes de carrs d'lments de K>
quivalente celle-ci :
2
]T* = 0 ^ ^ . Q p 0 u r t o u t ^ l < /< et pour tout H-uplet

(je,, JC ,2jc ) d'lments de K.

n

Or, une autre faon de formuler cette deuxime condition est de dire :
aucune forme quadratique du type ( 1 , 1) sur K n ' a de solution non
triviale dans K. Mais le potentiel opratoire de cette liaison entre
l'existence d'un ordre sur K et la proprit, dite d'anisotropie, de
certaines formes quadratiques sur K est rest quelque peu en friche jusque
vers la fin des annes 1960. C ' e s t alors que les dveloppements parallles
de la thorie algbrique des formes quadratiques et de l'algbre relle ont
mis au jour des connexions troites entre ordre et calcul, ou, pour le dire
autrement, entre corps ordonnables et corps de nombres. La notion de
signature, d'abord dfinie par Sylvester pour une forme quadratique
25
coefficients dans le corps des nombres rels fut gnralise des corps
26
de coefficients quelconques pourvu qu'il soient rels ou rels c l o s .
Pfister peut ainsi formuler pour un corps rel K un principe local/global
27
analogue celui de Minkowski-Hasse pour les corps de nombres

2 5
Sylvester 1853, article Inertia, dans The colle, math, papers, I, p. 583. La
signture d'une forme quadratique q sur R est dfinie par la diffrence entre le nombre de
carrs positifs et le nombre de carrs prcds du signe - dans l'expression de q comme
somme de carrs de formes linaires.
2 6
Pfister 1966, Leicht-Lorenz 1970, Becker-Spitzlay 1975.
2 7
On appelle principe de Minkowski-Hasse l'ensemble des deux noncs suivants :
1. deux formes quadratiques sont quivalentes sur un corps K de nombres
algbriques de degr fini si et seulement si elles sont quivalentes sur toutes les
extensions p-adiques /fp ( o p est un idal premier de l'anneau intgre dont K est le
corps des fractions);
2. une forme reprsente zro sur K si et seulement si elle reprsente zro sur
pour tout p.
Rappelons que le corps Q des nombres p-adiques est dfini par
 12
28
algbriques de degr fini sur Q. Ce principe donne une caractrisation
algbrique des formes de signature nulle pour tout ordre P compatible
avec la structure algbrique de K : les cltures relles de K relative y

chacune un ordre P, jouent le rle tenu par les corps locaux de la

thorie des nombres, les Q ou les K . Puis, la notion de signature fut
p v

applique non plus seulement aux formes quatratiques mais aux corps
2 9
eux-mmes : une signature d'un corps K est dfinie comme un
pimorphisme sur l'anneau Z de l'anneau obtenu en quotientant
l'ensemble des formes quadratiques sur K par une relation de similitude
30
(anneau dit 'anneau de Witt' dfini en 1937 et not W(K)). L'existence
d ' u n e bijection vidente entre l'ensemble des relations d ' o r d r e
compatibles avec l'addition et la multiplication d'un corps K et l'ensemble
des signatures de K (ou ensemble des pimorphismes : W(K) - > Z )
autorise, dans le cas des corps rels non ncessairement rels clos, une
interprtation algbrique abstraite de la notion d'ordre. Plus prcisment,
31
on dmontre l'existence d'une bijection entre l'ensemble des ordres de K
et l'ensemble, appel s p e c t r e , des idaux premiers minimaux de
l'anneau W(K). Cela permet de transformer toute considration sur les
ordres de K en considration sur l'anneau de Witt de K et de traiter des
corps rels dans le langage de la thorie algbrique des formes
quadratiques. Par exemple, si K est un corps ordonn par un ordre P et L
= K{^[) pour a appartenant au cne positif P , alors on peut voir que P se
prolonge en un ordre P" de L en considrant l'homomorphisme canonique
<t> : W(K) -> W(L).

Concluons par quelques remarques sur la notion d'ordre. Comme

d'autres notions fondamentales, celle-ci est, en fait, situe en amont de la
grande bifurcation qui articule le travail mathmatique en gomtrie et
algbre, ou topologie et arithmtique, axes l'une sur le continu, l'autre
sur le discret. Les uns voient, en effet, dans l'tude de l'ordre une tude
proprement gomtrique. Ainsi, renouant avec la tradition leibnizienne de
YAnalysis situs, Camille Jordan dcrivait, la fin du sicle dernier, ses
recherches en gomtrie pure comme un approfondissement de la
t h o r i e de l ' o r d r e . Celui-ci parat, dans cette p e r s p e c t i v e ,
indissolublement li au continu gomtrique compris comme espace
connexe et compact (au moins localement). Pou d'autres, la notion

oo
Q = [x \x=^a p
p n
n
I * 0 , re Z, a e Z, 0<a <p p
r n n y nombre premier).
r
K = complt de K (pour une certaine valuation), o K est une extension algbrique
v

finiment engendr sur Q. K est un corps local, K un corps global.

v

2 8
Pfister 1966, Satz 22.
29
K n e b u s c h 1972.
3 0
Deux formes q et cf sont semblables ssi leurs noyaux anisotropes <7 et s o n t 0 0

isomtriques.
3 1
Lorenz 1970, p. 57-61.
 13
d'ordre est propre l'esprit analytique. Jean Dieudonn, par exemple,
dfinit explicitement dans son Cours de 1968 le calcul infinitsimal
c o m m e u n apprentissage du maniement des i n g a l i t s , l e q u e l
apprentissage se rsume en trois mots : minorer, majorer, approcher.
Activit qui suppose un espace mtrique dou de la proprit de Dedekind
ou de celle de Cauchy et un rseau de nombres, les rationnels, dense dans
cet espace. D'autres encore rapportent la manipulation des ingalits
l'algbre. Claude Chevalley, propos de la dfinition Weierstrassienne de
la notion de limite, crivait : le gros avantage de la nouvelle notion de
limite... a t de substituer l'ancien passage la limite... un procd
32
algbrique fond sur des transformations d'ingalits . C'tait en 1935,
aprs que la thorie d'Artin et Schreier, bien connue de Chevalley qui
avait sjourn Hambourg dans les annes 1930, eut fond en toute
rigueur sur une base purement algbrique le maniement des ingalits.
A priori ou par nature, la notion d'ordre en mathmatiques n'est
intrinsquement ni gomtrique bien qu'elle se reprsente aisment par la
relation 'tre situ entre...', ni algbrique bien qu'elle se traduise par la
relation d'ingalit, ni analytique bien qu'elle soit implique dans les
notions de limite et de convergence. Elle se prte divers habillages,
diverses expressions et, dans les cas heureux, on parvient tablir des
correspondances, voire des quivalences, d'une expression l'autre. Aussi
apparat-elle dans la mathmatique contemporaine comme une notion
transversale, prsente sur bien des chemins qui joignent une discipline
l'autre.

Rfrences bibliographiques
A R T I N E.
1924 Kennzeichnung des Krpers der reellen algebraischen Zahlen,
Abhandlungen aus dem mathematischen Seminar der
Hamburgischen Universitt 3 , 319-323. Dans Artin 1965, 253-257.
1965 The Collected Papers (S. Lang and J. Tate eds.), Addison, Wesley
Pub. C. 2th ed., 1982, Springer-Verlag.
ARTIN E. et SCHREIER O.
1926 Algebraische Konstruktion reeller Krper, Abh. math. Sem. Hamb.
5 , 85-99. Dans Artin 1965, 258-272.
1927 Eine Kennzeichnung der reell abgeschlossenen Krper, Abh. math.
Sem. Hamb. 5 , 225-231. Dans Artin 1965, 289-195.
B E C K E R E. et SPITZLAY K. J.
1975 Zum Satz von Artin-Schreier ber die Eindeutigkeit des reellen
Abschlusses eines angeordneten Krpers, Commentarii mathematici
helvetici 5 0 , 81-87.
BETH E. W .
1953 On Padoa's method in the theory of definition, Indagationes
Mathematicae 1 5 , 330-339.

3 2
Chevalley 1935, p. 378.
 14
CHEVALLEY C l .
1935 Variations du style mathmatique, Revue de Mtaphysique et de
Morale 42, 375-384.
DEDEKIND R.
1872 Stetigkeit und irrationale Zahlen, Gesammelte mathematische
Werke, III (R. Fricke - O. Ore - E. Noether eds.), Vieweg,
Braunschweig (1930-32), 315-334. Trad. fr. Milner J et Sinaceur
H . , La bibliothque d'Ornicar?, 31 rue de Navarin, Paris, 1978.
HASSE H.
1930 Die moderne algebraische Methode, Jahresber. D. M. V. 3 9 , 22-34.
HAUSCHILD K.
1967 Cauchyfolgen hheren Typus in angeordneten Krpern, Zeitschrift
fr mathematische Logik und Grundlagen der Mathematik 1 3 , 55-66.
H I L B E R T D.
e e e
1899 Grundlagen der Geometrie, Teubner; 2 d., 1903; 7 d., 1930; 10
d. mit Supplementen von P. Bernays, 1968. Edition fr. Rossier
P., Paris, Dunod, 1971.
1900a ber den Zahlbegriff, Jahresber. D. M. V. 8, 180-184.
1900b Mathematische Probleme, dans Gesammelte Abhandlungen,
III, Berlin, 1935. Reprint, Chelsea, New York (1965), 290-329.
KNEBUSCH M.
1972 On the uniqueness of real closures and the existence of real places,
Commentarii mathematici helvetici 47, 260-269.
LAGRANGE J. L.
1798 Trait de la rsolution des quations numriques de tous les degrs.
e
Paris, Duprat, an VI, 2 d., 1808. Rimpression dans uvres, VIII
(Serret J. A. et Darboux G. eds), Gauthier-Villars, Paris, 1867-
1892.
LAUGWITZ K.
1973 Bemerkungen ber Stetigkeit und angeordnete Krper,
Demonstratio mathematica VI, Part I, 191-209.
LEICHT J. et LORENZ F.
1970 Die primideale des Wittschen Ringes, Inventiones mathematicae 1 0 ,
82-88.
LORENZ F.
1970 Quadratische Formen ber Krpern, L . N . M . 130, Springer-Verlag.
McKENNA K.
1975 New facts about Hilbert's seventeenth problem, dans Dold A. et
Eckmann B. (eds), Model theory and algebra. A memorial tribute
to Abraham Robinson, L. N. M. 498, Springer-Verlag, 220-231.
PFISTER A.
1966 Quadratische Formen in beliebigen Krpern, Inventiones
mathematicae 1 , 116-132.
 15
P R I E S S - C R A M P E S.
1983 Angeordnete Strukturen: Gruppen, Krper, projektive Ebenen.
Ergebnisse der Math. u. ihrer Grenzgebiete 98, Springer-Verlag.
ROY M.-F. et S I N A C E U R H.
? Aux sources de la gomtrie algbrique relle, Springer-Verlag
France ( paratre).
SCOTT D.
1969 On completing ordered fields, dans Luxemburg W . A . J , (d.),
Applications of model theory to algebra, analysis and probability
(Proc. intern, sympos. of the Institute of Technology, California),
Holt-Rinehart and Winston, New York, 274-278.
SINACEUR H.
1989 Une origine du concept d'analyse non standard, dans La
mathmatique non standard, Histoire-Philosophie-Dossier
scientifique, Paris, Editions du CNRS, 143-156.
1991 Corps et modles, Essai sur l'histoire de l'algbre relle, Librairie
philosophique J . Vrin, Paris.
1993 Du formalisme la constructivit: le finitisme, Revue internationale
de philosophie, n spcial pour le cinquantenaire de la mort de
Hilbert, volume 47, n 186, 4 / 1 9 9 3 , 251-283.
S Y L V E S T E R J . J.
1853 On a theory of the syzygetic relations of two rational integral
functions, comprising an application to the theory of Sturm's
functions, and that of the greatest algebraical common measure',
Phil, trans, roy. soc. London 143, 407-548. Rimpression dans The
collected mathematical papers, I, Cambridge University Press
(1904), 429-586.
T A R S K I A.
1931 Sur les ensembles dfinissables de nombres rels I, Fundamenta
mathematicae 17, 210-239. Rimpression dansCollected Papers, I
( S . R. Givant and R. N. McKenzie ds), Birkhuser (1986), 5 1 7 - 5 4 8 .
1935 Einige methodologische Untersuchungen ber die Definierbarkeit
der Begriffe, Erkenntnis 5 , 80-100. Collec. Papers, II, 6 3 7 - 6 5 9 .
WEIL A.
1967 Review of the Collected papers of Emil Artin, Scripta mathematica
28, 237-238. Rimpression dans uvres scientifiques, III, 2th ed.,
Springer-Verlag (1980), 173-174.
W I T T E.
1937 Theorie der quadratischen Formen in beliebigen Krpern, J. r.
angew. Math. 1 7 6 , 31-44.