Construction des nombres réels
En mathématiques, il existe différentes constructions des nombres réels, dont les deux plus connues sont :
 les coupures de Dedekind, qui définissent, via la théorie des ensembles, un réel comme l'ensemble des rationnels qui lui sont strictement inférieurs ;
 les suites de Cauchy, qui définissent, via l'analyse, un réel comme une suite de rationnels convergeant vers lui.

Historique 
C'est à partir des années 1860 que la nécessité de présenter une construction des nombres réels se fait de plus en plus pressante, dans le but d'asseoir l'analyse sur des fondements rigoureux. Jusqu'à cette date, l'existence des réels et leurs propriétés sont admises, par exemple par Cauchy dans son cours de 1821. En 1817, Bolzano établit qu'une partie non vide majorée de réels admet une borne supérieure, dans un mémoire resté malheureusement peu répandu et qui a eu peu d'influence jusqu'aux travaux de Weierstrass vers 1865. Les premières constructions, basées sur les suites de Cauchy, sont dues à Méray en 1869, et à Cantor dont les idées furent exposées en 1872 par Heine. Dedekind publie sa construction des réels au moyen des coupures en 1872. En 1878, Dini publie un traité donnant les principales démonstrations sur les nombres réels.

Construction intuitive à partir des nombres décimaux 

Un nombre réel est une quantité qui a pour représentation décimale , où  est un entier, chaque  est un chiffre entre 0 et 9, et la suite ne se termine pas par une infinité de 9. La définition de  est alors le nombre qui satisfait cette double inéquation pour tout k :
.

Cette construction, outre son manque de rigueur sous cette forme, présente divers inconvénients, dont le plus important est la difficulté de donner des algorithmes simples pour la multiplication, et même pour l'addition dans des cas tels que . Terence Tao fait remarquer qu'elle peut être rendue plus naturelle en l'interprétant (comme pour la construction des nombres -adiques) comme la limite projective des ensembles des décimaux à n chiffres après la virgule, munis de règles de calcul arrondi convenables.

Construction par les coupures de Dedekind

Définition en tant qu'ensemble 
C'est la construction imaginée par Richard Dedekind qui remarque que tout rationnel  coupe  en deux ensembles : l'ensemble  des rationnels  tels que  et l'ensemble  des rationnels  tels que . Il appelle alors  une coupure de . Il remarque ensuite que  peut aussi partager  en deux ensembles : l'ensemble  des rationnels  tels que  et l'ensemble  des rationnels  tels que . L'idée lui vient donc de définir l'ensemble des réels comme l'ensemble des coupures de . Reste maintenant à définir une coupure sans se servir de la notion intuitive de nombre réel. Dedekind propose la définition suivante :

Une coupure de Dedekind dans le corps  des rationnels est un couple de 2 sous-ensembles non vides A et B tels que
  ;
  ;
 .

On voit ainsi que tout nombre rationnel r définit deux coupures :
 (A, B) telle que A est l'ensemble des rationnels strictement inférieurs à r et B l'ensemble des rationnels supérieurs ou égaux à r ;
 (A, B) telle que A est l'ensemble des rationnels inférieurs ou égaux à r et B l'ensemble des rationnels strictement supérieurs à r.

Pour lever cette ambiguïté, on utilise alors la définition suivante d'une coupure :
 Une coupure de  est une partie A de  telle que
 A est non vide et différente de  ;
 pour tout  de A, pour tout , si  alors  appartient à A ;
 A ne possède pas de plus grand élément.

On définit alors  comme l'ensemble de ces coupures (pour une généralisation, voir plus bas la section « À l'aide des nombres surréels »). On peut remarquer que cette seconde définition permet d'assurer une correspondance univoque entre chaque rationnel r et la coupure  définie comme l'ensemble de tous les rationnels a tels que . On remarque alors que  se divise en deux ensembles, l'un comprenant les coupures dont le complémentaire admet un plus petit élément, coupure de la forme , et l'autre comprenant les coupures dont le complémentaire ne possède pas de plus petit élément.

Par exemple l'irrationnel  est représenté par la coupure .

On plonge naturellement  dans  par l'application injective qui à tout rationnel r associe la coupure .

Ordre et opérations 
Relation d'ordre : L'ensemble des coupures, muni de la relation d'inclusion est alors un ensemble totalement ordonné.

Addition : On définit une addition sur  par :
 .
Cette addition confère à  une structure de groupe commutatif. La seule difficulté consiste en la définition de l'opposé de A :  (si ) ou  (si ).

Multiplication : La multiplication est définie d'abord sur les réels positifs par : 
 .
La règle des signes permet ensuite de définir la multiplication sur tout .

Propriétés

Construction via les suites de Cauchy 

Cette construction est plus difficile à aborder mais la construction des opérations y est plus naturelle. Cette méthode est analogue, formellement, à la méthode de construction qui permet, à partir d'un espace métrique E, d'obtenir un espace métrique complet E'  tel que E soit dense dans E' .

Comment et pourquoi parler de suites de Cauchy 

Il ne saurait être question, sous peine d'argument circulaire, de définir a priori, sur un corps totalement ordonné K, une distance à valeurs dans ℝ, puisqu'on n'a pas encore défini ce dernier. Les deux notions de suite de Cauchy et de suite convergente sont donc à prendre (ici, mais surtout dans le paragraphe « Équivalence des deux constructions ») non pas au sens usuel de suite de Cauchy et de suite convergente dans un espace métrique, mais au sens suivant :
une suite  dans K
 est de Cauchy si
 ;
 converge vers un élément  (ce qui se note : ) si

où pour tout  ∈ K, l'élément || ∈ K désigne le plus grand des deux éléments  et .

Ces deux définitions de suites de Cauchy et de suites convergentes — qui sur ℝ correspondront a posteriori aux définitions usuelles — sont celles liées respectivement à la structure uniforme sur le groupe ordonné (K, +, ≤) et à la topologie de l'ordre qu'elle induit. La complétude d'un espace uniforme implique la convergence de ses suites de Cauchy. La réciproque, fausse en général, est vraie si le corps K est archimédien (et ℝ le sera). Ceci fournira un critère simple pour montrer que ℝ est complet (en tant qu'espace uniforme) avant même de l'avoir muni de sa structure usuelle d'espace métrique. On utilisera de plus constamment que si K est archimédien alors les  qui interviennent dans ces définitions peuvent toujours être pris dans ℚ*.

Définition en tant qu'ensemble 

L'idée de Cantor (et quelques années avant lui de Méray) réside dans le fait que l'on peut atteindre tout nombre réel par une suite de Cauchy de . L'élément limite auquel il va falloir donner un sens sera alors défini comme un nombre réel. L'ensemble des suites de Cauchy de , que nous noterons , apparaît cependant bien trop vaste. En effet, par exemple pour un rationnel donné, il existe une infinité de suites de Cauchy convergeant vers cette limite. Il est nécessaire de quotienter cet ensemble  par une relation d'équivalence  entre les suites : deux suites de Cauchy de rationnels seront dites équivalentes si leur différence converge vers 0 (la convergence d'une suite dans  ayant le sens défini ci-dessus, de même que la propriété d'être de Cauchy) :

Cette relation  est bien une relation d'équivalence, puisqu'elle est :
 réflexive car la suite nulle converge bien vers 0 ;
 symétrique car si une suite converge vers 0, alors la suite opposée converge aussi vers 0 ;
 transitive en raison de l'inégalité triangulaire sur la valeur absolue dans . Si ,  et  sont trois suites de rationnels, nous avons en effet :

On définit alors  comme l'ensemble des classes d'équivalence de suites de Cauchy de rationnels (pour cette relation d'équivalence  sur ).

Opérations 

L'ensemble des suites dans  est naturellement muni d'une structure d'anneau commutatif avec l'addition et la multiplication héritées de la structure de corps de . Si  et  sont deux suites, alors ces opérations sont définies par :

 ;
.

Ces opérations conservent le critère de Cauchy, c'est-à-dire que la somme et le produit de deux suites de Cauchy sont encore des suites de Cauchy. Dans l'anneau des suites à valeurs rationnelles, le sous-ensemble  est donc un sous-anneau.

Dans cet anneau , le sous-ensemble des suites qui convergent vers 0 est un idéal (c'est-à-dire que la somme de deux suites qui convergent vers 0, et le produit d'une suite qui converge vers 0 par une suite de Cauchy, convergent vers 0). La relation d'équivalence  apparaît dès lors comme celle associée à cet idéal, ce qui permet de munir  d'une structure d'anneau quotient (encore commutatif et unitaire).

On plonge  dans  via les suites stationnaires. On notera  la classe contenant la suite constante égale à .

Ordre 
On définit  comme le sous-ensemble des classes contenant au moins une suite de Cauchy à valeurs dans  (l'ensemble des rationnels positifs ou nuls), puis on définit une relation d'ordre total sur  en posant
 
Le fait que cette relation soit réflexive et transitive est immédiat. Qu'elle soit également antisymétrique (donc définisse bien un ordre) résulte du fait que . Que cet ordre soit total vient de .

On a ainsi muni le corps  d'une structure de corps totalement ordonné. En effet, cet ordre est compatible avec l'addition (par construction) mais aussi avec la multiplication (car  est clairement stable par produits). On remarque que cette relation d'ordre coïncide, sur  (plongé dans  comme déjà mentionné), avec la relation d'ordre usuelle.

On démontre de plus que  est archimédien. On peut donc conclure :

Complétude 
Sur , l'ordre qu'on vient de définir donne un sens aux notions de suite de Cauchy et de suite convergente. On va montrer que tout réel est limite d'une suite de rationnels. Plus précisément : si une suite de Cauchy de rationnels  représente un réel  alors la suite de réels  converge dans  vers . Ainsi, toutes les suites de Cauchy de rationnels convergent dans . On va montrer que c'est aussi le cas pour toute suite de Cauchy de réels :

Équivalence des deux constructions 
La construction par les coupures de Dedekind fournit un corps totalement ordonné qui vérifie la propriété de la borne supérieure : tout sous-ensemble non vide majoré possède une borne supérieure. Celle par les suites de Cauchy fournit un corps totalement ordonné archimédien complet. Ces deux propriétés sont en fait équivalentes. De plus, tout corps qui les vérifie est isomorphe au corps ℝ construit par la méthode des suites de Cauchy. On peut donc énoncer le théorème suivant en parlant « du » corps ℝ sans préciser « duquel » il s'agit. Une conséquence de ce théorème est que les caractérisations 1), 2), 3) impliquent toutes que le corps est commutatif et que le sous-corps  est dense (puisque c'est le cas pour le corps ℝ construit par les suites de Cauchy).

Remarque. Ces équivalences montrent en particulier que tout corps L totalement ordonné et archimédien est isomorphe à un sous-corps du corps ordonné R. En effet, le complété de L (construit par le même procédé des suites de Cauchy que le complété R de Q) sera (par les mêmes arguments) un corps K contenant L, et archimédien complet donc isomorphe à R.

Autres constructions 
D'autres constructions rigoureuses ont été proposées, mais elles ne présentent généralement qu'un intérêt de curiosité, car se prêtant moins à des généralisations, ou demandant en fait des connaissances préalables approfondies pour pouvoir être justifiées.

À l'aide des nombres hyperréels 
Contrairement à ce que leur nom pourrait laisser croire, il n'y a pas là de cercle vicieux : il est en effet possible de définir directement les hyperrationnels *Q (par ultraproduit, c'est-à-dire en quotientant QN par un ultrafiltre non trivial sur N) ; l'anneau B des éléments « finis » de *Q (l'ensemble des éléments majorés par un entier standard) a pour idéal maximal I l'ensemble des infinitésimaux, et le quotient B/I est isomorphe à R. Outre son caractère assez artificiel, cette construction nécessite l'axiome du choix, ce qui peut paraître inutilement restrictif.

À l'aide des nombres surréels 

La construction par les coupures de Dedekind semble difficile à généraliser, et les lois (tout particulièrement la multiplication) paraissent un peu artificielles. Cependant, en 1974, John Horton Conway a pu montrer qu'une construction analogue pouvait s'étendre à une classe de nouveaux nombres, appelés nombres surréels, généralisant à la fois les réels et les ordinaux, et pour lesquels la définition des opérations peut se faire de manière complètement naturelle.

On sait que le Corps On des nombres surréels (Corps écrit avec une majuscule, car il s'agit d'une classe propre) contient tous les corps ordonnés (à isomorphisme près) ; on peut donc définir R comme le plus grand sous-corps archimédien de On. Conway donne une construction intrinsèque plus compliquée et fait également remarquer que les nombres créés le jour ω contiennent R, ±ω, et les nombres de la forme , et qu'il suffit donc pour retrouver R de retirer ces derniers ; cette dernière construction, bien que rigoureuse, semble hautement artificielle, ce que son auteur reconnaît lui-même.

Par quasi-morphismes 
La construction suivante semble peu connue ; publiée en 1975, elle utilise uniquement le groupe additif des entiers relatifs Z et s'appuie sur la notion de quasi-morphisme. Cette construction a été vérifiée rigoureusement (et automatiquement) par le projet IsarMathLib. Un de ses avantages est qu'elle n'utilise pas l'axiome du choix.

On dit qu'une application  est un quasi-morphisme si l'ensemble  est fini, ou encore si la fonction  est bornée. La fonction g mesure le défaut à ce que f soit un morphisme de groupes. L'ensemble des quasi-morphismes est stable par addition et composition. Deux quasi-morphismes sont dits presque égaux si l'ensemble  est fini. Cette relation est une relation d'équivalence sur l'ensemble des quasi-morphismes, compatible avec l'addition et la composition ; l'ensemble quotient, muni de l'addition et de la multiplication correspondante, est un corps isomorphe à R ; pour définir l'ordre, on dit que  (où  représente la classe d'équivalence de ) si  est bornée ou prend une infinité de valeurs positives sur N, et l'on peut démontrer que le corps est alors ordonné complet, ce qui prouve l'isomorphisme. Il est en fait possible de l'expliciter : si l'on admet a priori l'existence de R (construit par l'une des méthodes précédentes), alors pour tout quasi-morphisme , la suite  converge dans R vers une limite , et la fonction  est bornée sur Z. De la seconde affirmation, il découle que la limite c(f) ne dépend que de la classe d'équivalence [f] de f ; la notant encore c([f]), c est l'isomorphisme cherché.

Notes et références

Voir aussi

Articles connexes 
 
 Construction des nombres rationnels

Liens externes 
 Une construction de R par les coupures  par Jean Gounon, professeur au lycée Camille-Sée
 Une construction de R par les suites de Cauchy  par Jean Gounon

Bibliographie 

Nombre
Théorie des ensembles
Nombres réels

pl:Aksjomaty i konstrukcje liczb#Liczby rzeczywiste