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,
• les suites de Cauchy.

Construction intuitive à partir des nombres décimaux

Article détaillé : Développement décimal.

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

$n + \dfrac{d_1}{10} + \dfrac{d_2}{100} + ... + \dfrac{d_k}{10^k} \leq x < n + \dfrac{d_1}{10} + \dfrac{d_2}{100} + ... + \dfrac{d_k}{10^k} + \dfrac{1}{10^k}$

Cette construction, outre son manque de rigueur sous cette forme^[1], 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 $0,333\dots+0,666\dots$.

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 r coupe $\mathbb Q$ en deux ensembles : l'ensemble A_r des rationnels a tels a < r et l'ensemble B_r des rationnels b tels $b \geq r$. Il appelle alors (A_r;B_r) une coupure de $\mathbb Q$. Il remarque ensuite que $\sqrt 2$ peut aussi partager $\mathbb Q$ en deux ensembles : l'ensemble A des rationnels a tels que $a < \sqrt 2$ et l'ensemble B des rationnels b tels que $b > \sqrt 2$. L'idée lui vient donc de définir l'ensemble des réels comme l'ensemble des coupures de $\mathbb Q$. 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 $\mathbb Q$ des rationnels est un couple de 2 sous-ensembles non-vides A et B tels que

• $A\cap B = \empty$
• $A\cup B = \mathbb{Q}$
• $\forall a\in A, \forall b\in B, a < b$

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 $\mathbb Q$ est une partie A de $\mathbb Q$ telle que

• A est non vide et différente de $\mathbb Q$
• pour tout a de A, si a' < a alors a' appartient à A
• A ne possède pas de plus grand élément.

On définit alors $\R$ 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 A_r définie comme l'ensemble de tous les rationnels a tels que a < r. On remarque alors que $\R$ se divise en deux ensembles, l'un comprenant les coupures dont le complémentaire admet un plus petit élément, coupure de la forme A_r, et l'autre comprenant les coupures dont le complémentaire ne possède pas de plus petit élément.

Par exemple l'irrationnel $\sqrt2$ est représenté par la coupure $\{a \in \mathbb Q \mbox{ t.q. } a < 0 \mbox{ ou } a^2 < 2\}$.

On plonge naturellement $\mathbb Q$ dans $\R$ par l'application injective qui, à tout rationnel r associe la coupure A_r

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 peut alors construire une addition sur $\R$ de la manière suivante :

$c \in A + B \Leftrightarrow$ il existe a dans A et b dans B tels que c = a + b.

Cette addition confère à $\R$ une structure de groupe commutatif. La seule difficulté consiste en la définition de l'opposé de A : A _{− r} (si A = A_r) ou $- \overline A$ (si $A \ne A_r$)

Multiplication : La construction de la multiplication est plus subtile. Elle est définie sur tous les réels positifs de la manière suivante :

$c \in A \times B \Leftrightarrow$ il existe a dans $A \cap \mathbb Q^+$ et b dans $B\cap \mathbb Q^+$ tels que $c \leq ab$.

La règle des signes permettant alors de construire la multiplication sur tout $\R$

Propriétés

L'ensemble $\R$ des coupures, muni de cet ordre et ces deux lois est alors un corps totalement ordonné, vérifiant de plus la propriété de la borne supérieure (tout ensemble non vide majoré possède une borne supérieure).

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 de cercle vicieux, de définir a priori, sur un corps totalement ordonné K, une distance à valeurs dans ... $\R$, que l'on n'a pas encore défini ! 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 $(a_n)\,$ dans K

• est de Cauchy si

$\forall\varepsilon\in K_+^*\ \exists N\in\N\ \forall m,n\ge N,\ |a_n-a_m|<\varepsilon,$

• converge vers un élément a si

$\forall\varepsilon\in K_+^*\ \exists N\in\N\ \forall n\ge N,\ |a_n-a|<\varepsilon,$

où pour tout $x\in K$, l'élément $|x|\in K$ désigne le plus grand des deux éléments x et − x.

Ces deux définitions de suites de Cauchy et de suites convergentes - qui sur $\R$ correspondront a posteriori aux définitions usuelles - sont celles liées respectivement à la structure uniforme sur le groupe ordonné (K,+,$\le$) 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 $\R$ le sera). Ceci fournira un critère simple pour montrer que $\R$ 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 $\Q_+^*$.

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 $\Q$. 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 $\Q$, que nous noterons $\mathcal C$, 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 $\mathcal C$ par une relation d'équivalence $\mathcal R$ 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 $\Q$ ayant le sens défini ci-dessus, de même que la propriété d'être de Cauchy) vers 0 :

$(u_n) \mathcal R (v_n) \Leftrightarrow \lim_{n \to \infty}(u_n-v_n)=0.$

Cette relation $\mathcal R$ est bien une relation d'équivalence : 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 $\Q$. Si (u_n), (v_n) et (w_n) sont trois suites de rationnels, nous avons en effet :

$\forall n\in\N,\ |u_n -w_n|\leq |u_n - v_n|+|v_n - w_n|.$

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

Opérations

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

$\forall n\in\N,\ (u+v)_n=u_n+v_n$ $\forall n\in \N,\ (u\cdot v)_n=u_n\cdot v_n.$

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 $\mathcal C$ est donc un sous-anneau.

Dans cet anneau $\mathcal C$, 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 $\mathcal R$ apparaît dès lors comme celle associée à cet idéal, ce qui permet de munir $\R$ d'une structure d'anneau quotient (encore commutatif et unitaire).

On plonge $\Q$ dans $\R$ via les suites stationnaires. On notera (a) la classe contenant la suite constante égale à $a\in\Q$.

L'anneau quotient $\R=\mathcal C/\mathcal R$ est un corps.

Démonstration

Il s'agit de montrer que tout nombre réel non nul admet un inverse. Soient a un élément de $\R$ différent de (0) et $(a_n)\;$ une suite de cette classe a. Dire que la classe a est différente de la classe (0) c'est dire que la suite $(a_n)\;$ ne converge pas vers 0, ce qui s'écrit :

$(1)\qquad\exists\varepsilon\in\Q_+^*\ \forall N\in\N\ \exists n\ge N,\ |a_n|\ge\varepsilon,$

ou encore : pour un certain $\varepsilon\in\Q_+^*$, il y a une infinité de termes de la suite qui ont une valeur absolue plus grande que ε. Comme cette suite est de Cauchy, à partir d'un certain rang N, la valeur absolue de la différence de deux termes est plus petite que ε / 2. On en déduit, en utilisant (1)  :

$(2)\qquad\forall n\ge N,\ |a_n|\ge\varepsilon/2.$

Soit la suite (b_n) définie par $b_n=\dfrac{1}{a_n}$ si $n\ge N$ et b_n = 0 (par exemple) sinon. Cette suite de rationnels est de Cauchy, car d'après (2),

$\forall m,n\ge N,\ |b_n-b_m|=\frac{|a_m-a_n|}{|a_ma_n|}\le \frac 4{\varepsilon^2}|a_m-a_n|.$

On peut donc considérer sa classe b dans $\R$, et l'on a

ab = (a_nb_n) = (1).

Ordre

On définit $\R_+$ comme le sous-ensemble des classes contenant au moins une suite de Cauchy à valeurs dans $\Q_+$ (l'ensemble des rationnels positifs ou nuls), puis on définit une relation d'ordre total sur $\R$ en posant

$x \leq y \Leftrightarrow y - x \in \R_+.$

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 $\R_+\cap -\R_+=\{(0)\}$. Que cet ordre soit total vient de $\R_+ \cup -\R_+= \R$.

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

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

$(\R,\le)$ est un corps totalement ordonné archimédien.

Démonstrations

• $\le$ est antisymétrique :

Il s'agit de prouver que $\R_+\cap -\R_+=\{(0)\}$. Soient $a,b\in\R_+$ tels que a = − b, montrons que a = (0). Il existe deux suites de Cauchy (a_n), (b_n) de rationnels positifs ou nuls représentant respectivement a et b. Alors a + b = (0) se traduit par : (a_n + b_n) converge vers 0 dans $\Q$, ce qui (puisque $0\le a_n\le a_n+b_n$) entraîne que (a_n) converge aussi vers 0, si bien que a = (0).

• L'ordre $\le$ est total :

Il s'agit de prouver que $\R_+\cup -\R_+=\R$. Soient $a\in\R$ et (a_n) une suite de Cauchy de rationnels représentant cette classe. Si cette suite admet une infinité de termes positifs ou nuls, comme la sous-suite correspondante représente la même classe, $a\in\R^+$. Même chose en remplaçant "positifs" par "négatifs" et $\R_+$ par $-\R_+$. Or ces deux cas (non exclusifs) recouvrent toutes les possibilités.

• $\R$ est archimédien :

Il s'agit de montrer que, pour tous réels $a > 0\,$ et $b \geq 0$, il existe un entier $N\,$ tel que $Na \geq b$. Il suffit de poser $x = \dfrac{b}{a}$. Le réel x a pour représentant (x_n) suite de Cauchy rationnelle donc majorée. On prend un majorant N entier de cette suite. Pour tout entier n, on a alors $N - x_n\in\Q_+$ donc $(N) - x \in \R_+$ donc $N \ge x$ donc $Na \ge b$.

Complétude

Sur $\R$, 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 (a_n) représente un réel a alors la suite de réels ((a_n)) converge dans $\R$ vers a. Ainsi, toutes les suites de Cauchy de rationnels convergent dans $\R$. On va montrer que c'est aussi le cas pour toute suite de Cauchy de réels :

$\Q$ est dense dans $\R$ et $\R$ est complet.

Démonstration

• Toute suite de Cauchy de rationnels converge dans $\R$ vers sa classe :

On utilisera les majuscules pour désigner les réels et les minuscules pour désigner les rationnels. Soient (a_n) une suite de Cauchy de rationnels, A sa classe, et (pour tout entier n) A_n le réel représenté par la suite constante a_n. On cherche, pour un rationnel ε > 0 fixé, à prouver l'existence d'un entier N tel que

$\forall n\ge N,\ \varepsilon-|A_n-A|\in\R_+.$

Il suffit pour cela d'appliquer le critère de Cauchy à la suite (a_n), en remarquant que si $\forall m,n\ge N,\ |a_n-a_m|\le\varepsilon$ alors pour tout $n\ge N$, la suite de rationnels (ε − | a_n − a_m | )_m est positive ou nulle à partir du rang N donc la classe ε − | A_n − A | qu'elle représente est dans $\R_+$.

• Dans $\R$, toute suite de Cauchy converge :

Soit (U_n) une suite de Cauchy de réels, il s'agit de prouver que cette suite converge dans $\R$. On a vu précédemment que tout réel est limite de rationnels. On peut donc choisir, pour tout entier n>0, un rationnel a_n tel que $|U_n-a_n|\le 1/n$. La suite (U_n − a_n) converge alors vers 0. La suite (a_n) est donc, comme (U_n), de Cauchy. On peut donc considérer sa classe : notons U ce réel. Puisque (a_n) converge vers U et que (U_n − a_n) converge vers 0, la suite (U_n) converge vers U.

É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 $\R$ construit par la méthode des suites de Cauchy. On peut donc énoncer le théorème suivant en parlant "du" corps $\R$ 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 $\Q$ est dense (puisque c'est le cas pour le corps $\R$ construit par les suites de Cauchy).

Soit K un corps totalement ordonné. Les propriétés suivantes sont équivalentes :

1. K vérifie la propriété de la borne supérieure
2. K est archimédien et complet
3. K est archimédien et vérifie le théorème des suites adjacentes
4. K est isomorphe à $\R$.

Démonstration

• $(2)\Rightarrow(3)$ car deux suites adjacentes sont de Cauchy.
• $(3)\Rightarrow(1)$

Soit E un ensemble contenant un élément x et majoré par M.

Si x est un majorant de E alors x est la borne supérieure de E.

Sinon, on procède par dichotomie pour prouver que E possède une borne supérieure (plus petit des majorants). On crée deux suites $(a_n)\,$ et $(b_n)\,$ définies par récurrence de la manière suivante :

$a_0=x\,$ et $b_0 = M\,$

pour tout entier $n\,$,

si $a_n+b_n \over 2$ est un majorant , $a_{n+1} = a_n\,$ et $b_{n+1}={a_n+b_n \over 2 }$

si $a_n+b_n \over 2$ n'est pas un majorant , $a_{n+1} = {a_n+b_n \over 2 }$ et $b_{n+1}=b_n\,$

Le principe de construction assure que

la suite (a_n) est une suite croissante dont aucun terme n'est majorant de E

la suite (b_n) est une suite décroissante dont tous les termes sont majorants de E

pour tout entier n, $|b_n - a_n|= 2^{-n}(M-x)\,$, donc la suite (b_n − a_n) converge vers 0 (on utilise ici que K est archimédien).

Les suites sont donc adjacentes. D'après (3) elles convergent vers une limite commune $\ell$.

Il reste à montrer que $\ell$ est bien la borne supérieure.

Pour tout réel $y\,$ de E, $y\le b_n$ car $b_n\,$ est un majorant. Donc par passage à la limite, pour tout réel $y\,$ de $E\,$, $y\le\ell$. $\ell$ est donc bien un majorant de E.

Pour tout réel M' majorant de E, $a_n < M'\,$ car $a_n\,$ n'est jamais un majorant. Par passage à la limite, pour tout majorant M' de E, $\ell\le M'$. $\ell$ est bien le plus petit des majorants.

• $(1)\Rightarrow(2)$ :
  • $(1)\Rightarrow$K est archimédien :

Soient a, b deux éléments strictement positifs de K. Il s'agit de trouver un entier n tel que na>b. On considère l'ensemble $A = \{ka \;|\; k \in \mathbb N, ka \le b\}$. Cet ensemble est non vide (il contient 0) et majoré (par b), donc il possède une borne supérieure c. L'élément c-a est strictement inférieur à c, par conséquent ce n'est pas un majorant de A. Il existe donc un élément ka de A tel que c-a<ka. Alors (k+1)a n'est pas majoré par c donc n'appartient pas à A, si bien que (k+1)a>b.

• • $(1)\Rightarrow$dans K, toute suite de Cauchy converge :

Soit $(a_n)\,$ une suite de Cauchy dans K, il s'agit de prouver que $(a_n)\,$ converge. Une telle suite est bornée, c'est-à-dire qu'il existe dans K un élément M tel que pour tout entier n, $|a_n|\le M$.

Pour tout n, l'ensemble $A_n = \{a_m \;|\; m \geq n\}$, majoré (par M) et non vide, possède une borne supérieure $b_n\,$. La suite $(b_n)\,$ est alors décroissante et minorée (par -M). Or dans K, toute suite décroissante et minorée converge (c'est une conséquence directe de la propriété de la borne supérieure - voir théorème de la limite monotone). On note a sa limite.

Pour tout $\varepsilon > 0\,$ dans K, il existe donc $N\,$ tel que b_N < a + ε et tel que de plus, pour tous $m,n\ge N$, a_m < a_n + ε / 2 (car la suite $(a_n)\,$ est de Cauchy). Pour tout $n\ge N$, a_n + ε / 2 est alors un majorant de $A_N\,$ donc un majorant de $b_N\,$, si bien que $a-\varepsilon<b_N-\varepsilon/2\le a_n\le b_N<a+\varepsilon$. Ce qui confirme que la suite $(a_n)\,$ converge vers $a\,$.

• $(2)\Leftrightarrow(4)$ :

On choisit ici comme corps $\R$ celui construit par les suites de Cauchy. Par construction, $(4)\Rightarrow(2)$. Réciproquement, supposons K archimédien complet, et définissons une application $f:\R\to K$ par : si $a\in\R$ est la classe d'une suite de Cauchy de rationnels (a_n) alors, dans K, f(a) = lim(a_n) (cette limite existe et ne dépend pas du choix du représentant (a_n)). Par construction, f est compatible avec les opérations et strictement croissante. Enfin, f est surjective, grâce au fait que K est archimédien : pour tout $b\in K_+$ et tout entier n > 0, il existe un rationnel a_n compris entre b et b + 1 / n : a_n = p / n, où p est le plus petit entier majorant nb. Une telle suite (a_n) est de Cauchy, et sa classe $a\in\R$ est un antécédent de b par f.

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 Q^N 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

Article détaillé : nombre surréel.

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 H. 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^[2] donne une construction intrinsèque plus compliquée^[3] et fait également remarquer que les nombres créés le jour ω contiennent R, $\pm \omega$, et les nombres de la forme $p/2^n\ \pm\ 1/\omega$, 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 reconnait lui-même.

Par quasi-morphismes

La construction suivante semble peu connue^[4] ; publiée en 1975^[5], elle utilise uniquement le groupe additif des entiers relatifs Z et s'appuie sur la notion de quasi-morphisme^[6]. On en trouve plusieurs versions, par exemple à [2], [3] et [4] (en), ainsi qu'une description précise dans une note de Xavier Caruso ; 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 $f:\mathbb{Z}\to\mathbb{Z}$ est un quasi-morphisme si l'ensemble $\{f(n+m)-f(m)-f(n): n,m\in\mathbb{Z}\}$ est fini, ou encore si la fonction g(n,m) = f(n + m) − f(n) − f(m) 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 $\{f(n)-g(n): n\in \mathbb{Z}\}$ 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 ^[7] ; pour définir l'ordre, on dit que $[f]\leq [g]$ (où [f] représente la classe d'équivalence de f) si g-f est bornée ou prend une infinité de valeurs positives sur N, et 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 on admet a priori l'existence de R (construit par l'une des méthodes précédentes), alors pour tout quasi-morphisme $f:\mathbf{Z}\rightarrow \mathbf{Z}$, la suite f(n) / n converge dans R vers une limite c(f), et la fonction $n\mapsto f(n)-c(f)n$ 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

1. ↑ Roger Godement en a présenté une version plus complète, mais encore insuffisamment formalisée, et n'explicitant pas les algorithmes de calcul, dans l'article Calcul infinitésimal qu'il a écrit pour l'Encyclopædia Universalis ; une construction complètement rigoureuse est donnée dans le livre de Barbara et John Hubbard, Vector Calculus, linear algebra and differential forms, a unified approach, chapitre 0, section 0.4.
2. ↑ John H. Conway, On Numbers and Games, p.25 et suivantes
3. ↑ Un réel est un élément x de On borné (il existe n entier tel que -n<x<n) tel que $x=\{x-(1/n)_{n\in\mathbb N}|x+(1/n)_{n\in\mathbb N}\}$
4. ↑ Xavier Caruso, Une incarnation peu connue du corps des nombres réels.
5. ↑ Hersh, Reuben (1997). What is Mathematics, Really?. New York: Oxford University Press US. pp. 274.
6. ↑ Dans le cas général, un quasi-morphisme d'un groupe G vers R est une application telle que l'ensemble des f(xy)-f(x)-f(y) soit borné ; voir [1] (en)
7. ↑ On comprendra mieux pourquoi en remarquant que si a est un réel, l'application f : $n\mapsto$ E(na) (la partie entière de na) est un quasi-morphisme dont la classe sera identifiée à a

Liens externes

• Une construction de R par les coupures [PDF] par Jean Gounon
• Une construction de R par les suites de Cauchy [PDF]