Construction des nombres réels

Un article de Wikipédia, l'encyclopédie libre.

Il existe différentes constructions des nombres réels, dont les deux méthodes les plus rigoureuses sont

les coupures de Dedekind,
les suites de Cauchy.

Sommaire

1 Construction intuitive à partir des nombres décimaux
2 Construction par les coupures de Dedekind
- 2.1 Mise en place
- 2.2 Propriétés
3 Construction via les suites de Cauchy
4 Liens externes

[modifier] Construction intuitive à partir des nombres décimaux

Voir 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 1 d 2 d 3 ...$ , 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 + \frac{d_1}{10} + \frac{d_2}{100} + ... + \frac{d_k}{10^k} \leq x < n + \frac{d_1}{10} + \frac{d_2}{100} + ... + \frac{d_k}{10^k} + \frac{1}{10^k}$

[modifier] Construction par les coupures de Dedekind

[modifier] Mise en place

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 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 définit alors $\R$ comme l'ensemble de ces coupures. 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$

[modifier] Propriétés

Relation d'ordre : L'ensemble des coupures, muni de la relation d'inclusion est alors un ensemble 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).

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$

L'ensemble $\R$ muni des ces deux lois est alors un corps commutatif archimédien complet.

[modifier] Construction via les suites de Cauchy

Cette construction est plus difficile à aborder mais elle offre deux avantages : la constructions des opérations y est plus naturelle et elle a le mérite de se généraliser à tout espace métrique.

[modifier] 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. C’est-à-dire une suite $(u n)$ vérifiant le critère de convergence suivant :

$\forall \varepsilon >0 \; \exists N \in \N \; \forall m,n>N \quad |u_m - u_n|< \varepsilon\;$

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, que nous notons $\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 espace par une relation d'équivalence entre les suites. Si nous notons $\mathcal R$ cette relation d'équivalence entre deux suites $(u n)$ et $(v n)$ , elle est définie de la manière suivante :

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

Nous pouvons remarquer que la relation $\mathcal R$ est bien reflexive 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, et la transitivité est une conséquence de l'inégalité triangulaire sur la valeur absolue dans $\mathbb Q$ . Si $(u n)$ , $(v n)$ et $(w n)$ sont trois suites rationnels, nous avons en effet:

$\forall n \in \N \quad |u_n -w_n| \leq |u_n - v_n|+|v_n - w_n|\;$

Toute relation d'équivalence sur un ensemble définit une partition de cet ensemble. Un élément de cette partition est appelé nombre réel, et l'ensemble des nombres réels est noté $\R$ .

Remarque : lorsque l'on fait tendre quelque chose vers une limite ici, c'est par des $\varepsilon > 0\,$ rationnels que l'on va encadrer, car on ne dispose pas encore des réels !

[modifier] Définition en tant que corps

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

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

Ces opérations conservent le critère de Cauchy, ainsi la somme et le produit de deux suites de Cauchy sont encore des suites de Cauchy. Il est ainsi possible de munir $\mathcal C$ d'une structure d'anneau.

Ces opérations conservent la partition définie par la relation $\mathcal R$ . Ainsi quel que soit les représentants choisis de deux classes de $\mathcal R$ la somme (resp. la multiplication) des représentants appartient à la même classe de $\mathcal R$ . Il est ainsi possible de munir $\R$ d'une structure d'anneau. On vérifie alors que la classe de $(0)$ est l'élément neutre et la classe de $(1)$ l'unité. On vérifie que $\R$ est de plus un corps commutatif.

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

Démonstrations

Montrons tout d'abord que ( $\mathbb R$ , + ) est un groupe abélien:

L'addition est commutative. En effet, soit a et b deux éléments de $\mathbb R$ et $(a n)$ et $(a n)$ deux suites rationnelles représentant de leurs classes. Alors par définition $(a n + b n)$ (resp. $(b n + a n)$ ) est représentant de la classe a + b (resp. b + a). Or ces deux suites sont égales. Ce qui nous montre que a + b est égal à b + a.

L'addition est associative. En effet, un raisonnement de la même nature que le précédent nous montre sans difficulté l'associativité de $\mathbb R$ .

0 est l'élément neutre de l'addition. Soit a un élément de $\mathbb R$ et $(a n)$ une suite rationnelle de la classe de a. Notons 0 la suite constante égale à 0. Cette suite est par définition du plongement de $\mathbb Q$ dans $\mathbb R$ dans la classe de 0. alors la suite $(a n + 0)$ , est un élément de la classe de a + 0 et aussi un élément de la classe de a. On a démontré que a + 0 est égal à a.

Tout nombre réel admet un opposé. Soit a un élément de $\mathbb R$ et $(a n)$ une suite rationnelle de la classe de a. Notons -a le réel dont la classe contient la suite $( - a n)$ qui par définition est rationnelle. Alors la suite $(a n - a n)$ représentant de la classe de 0 est aussi un représentant de la classe a + (-a). On en déduit que a - a = 0.

Montrons ensuite que ( $\mathbb {R}_*$ , . ) est un groupe abélien.

La multiplication est commutative. La démonstration est l'analogue de celle qui prouve la commutativité de l'addition.

La multiplication est associative. La démonstration est l'analogue de celle qui prouve l'associativité de la multiplication.

1 est l'élément neutre de la multiplication. La démonstration est l'analogue de celle qui prouve l'associativité de la multiplication.

Tout nombre réel différent de 0 admet un inverse. Soit a un élément de $\mathbb R$ différent de 0 et $(a_n)\;$ une suite rationnelle de la classe de a. Dire que a est différent de 0 c'est dire que la suite $(a_n)\;$ n'a pas pour limite 0. et donc:

$(1)\qquad \exists l>0 \; \mbox{t.q} \; \forall N \in \mathbb N \; \exists n > N \; \mbox{t.q} \; |a_n| >l \;$

Il y a donc une infinité de termes de la suite qui ont un module plus grand que l. Comme cette suite est de Cauchy, à partir d'un certain rang, le module de la différence de deux termes est plus petit que la moitié de l. On en déduit qu'à partir d'un certain rang, tous les termes de la suite sont différents de 0. Soit la suite $(b_n)\;$ définie par $b_n=\frac{1}{a_n}$ si $a_n\;$ est différent de 0 et $b_n=1\;$ sinon. La suite $(b_n)\;$ possède une section finissante égale à $\frac{1}{a_n}$ car la proposition (1) nous garantit que $(a_n)\;$ possède une section finissante dont toute les valeurs sont strictement différente de 0. On en déduit que la suite $(a_n\cdot b_n)\;$ possède une section finissante égal à 1. on en déduit que a . b est égal à 1. Et tout nombre réel non nul admet bien un inverse.

Montrons enfin que ( $\mathbb {R}_*$ , +, . ) est un corps.

La multiplication est distributive par rapport à l'addition. Cette démonstration termine la preuve de la propriété de corps de $\mathbb R$ . Elle est analogue à celle qui prouve l'associativité de l'addition.

[modifier] Relation d'ordre

On définit $\R_+$ de la manière suivante : $x\in \R_+ \Leftrightarrow$

$x = 0$

il existe une suite de Cauchy rationnelle $(a n)$ et un rationnel positif $r$ tel que $(a n)$ soit un représentant de $x$ et $a n > r$ à partir d'un certain rang

et $\R_-$ de la manière suivante : $x\in \R_- \Leftrightarrow$

$x = 0$

il existe une suite de Cauchy rationnelle $(a n)$ et un rationnel négatif $r$ tel que $(a n)$ soit un représentant de $x$ et $a n < r$ à partir d'un certain rang.

On définit alors une relation d'ordre sur $\R$ en posant

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

On démontre que $\R$ muni de cette relation d'ordre est un corps totalement ordonné archimédien et que cette relation d'ordre coïncide avec la relation d'ordre sur $\mathbb Q$

Démonstrations

$\geq$ est une relation d'ordre.

Elle est réflexive :

x - x = 0

donc $x - x \in \R_+$ donc $x \geq x$ .

Elle est transitive. Il suffit de prouver que $\R_+$ est stable par addition. Ensuite on pourra dire : si $x \geq y$ et si $y \geq z$ , alors $x - y \in \R_+$ et $y - z \in \R_+$ . Par addition $x - z \in \R_+$ , donc $x \geq z$ .

Elle est antisymétrique. Il suffit de prouver que $\R_+ \cap \R_-=\{0\}$ . Ensuite on pourra dire : si $x \geq y$ et si $y \geq x$ alors $x - y \in \R_+$ et $y - x \in \R_+$ . Donc

y - x = 0

donc

x = y

L'ordre est total

Il suffit de prouver que $\R_+ \cup \R_- = \R$ et que $\R_- = - \R_+$ . Ensuite on pourra dire que , pour tous

x

y

x - y

appartient à $\R_+$ ou $\R_-$ . Dans le dermier cas, on aura $x \geq y$ , dans le second cas, on aura

y - x

dans $\R_+$ et $y \geq x$ .

L'ordre est compatible avec l'addition

Pour tous

x

y

z

, si $x \geq y$ alors $x - y \in \R_+$ donc $(x-z) - (y - z) \in \R_+$ donc $x-z \geq y - z$ .

L'ordre est compatible avec la multiplication par un réel positif

Il suffit de montrer que $\R_+$ est stable par multiplication. Ensuite on pourra dire que , pour tous

x

y

z

, si $x \geq y$ et si $z \geq 0$ alors

x - y

z

appartiennent à $\R_+$ donc $xz - yz \in \R_+$ donc $xz \geq yz$ .

La relation d'ordre coïncide avec la relation d'ordre sur $\mathbb Q$

Par définition de $\R_+$ , cet ensemble contient tous les rationnels positifs.

$\R$ est archimédien

Il s'agit de montrer que, pour tous réel $a > 0\,$ et $b \geq 0$ , il existe un entier $N\,$ tel que $Na \geq b$ . Il suffit de poser $x = \frac{b}{a}$ . Le réel

x

a pour représentant

(x n)

suite de Cauchy rationnelle donc majorée. On prend un majorant

M

entier de cette suite et on définit

N

par

N = M + 1

. Pour tout entier

n

, on a alors

N - x n > 1 / 2

donc $N - x \in \R_+$ donc $N \geq x$ donc $Na \geq b$ .

[modifier] Distance et limite

La valeur absolue est alors définie par

$|x| = \sup(x ; -x)\,$

On remarque alors que si $(a n)$ est un représentant de $x$ alors $( | a n | )$ est un représentant de $| x |$ .

On peut alors munir $\R$ d'une distance

d(x , y)= |x - y|

et y définir la convergence de suite.

On démontre à ce propos que, si $x$ a pour représentant la suite de Cauchy rationnelle $(x n)$ , alors cette suite est aussi une suite de réels ( $\mathbb Q$ est plongé dans $\R$ par la correspondance suivante : $r$ a pour représentant la suite constante $(r)$ ) et cette suite de réels a pour limite $x$ . Cela permet en autre de prouver que $\mathbb Q$ est dense dans $\R$ car tout réel est limite d'une suite de rationnels.

On démontre aussi que, sur cet ensemble, la limite d'une somme est égale à la somme des limites, la limite d'un produit au produit des limites et que la limite d'une suite positive est positive ou nulle.

[modifier] Complétude et borne supérieure

On sait déjà que, par construction, toutes les suites de Cauchy rationnelles convergent dans $\R$ . Mais on démontre que c'est aussi le cas pour toute suite de Cauchy réelle.

Cette méthode de construction se généralise à tout espace métrique E pour obtenir un espace métrique complet E' tel que E soit dense dans E'.

On démontre de plus que $\R$ vérifie la propriété de la borne supérieure : tout sous-ensemble non vide majoré possède une borne supérieure.

Démonstrations

$\R$ est complet La démonstration est un peu subtile. En effet dire que $\mathbb R$ est complet, revient à dire que toute suite $(U_i)\;$ de Cauchy à valeur dans $\mathbb R$ est convergente. On utilisera ici les majuscules pour désigner les réels et les minuscules pour désigner les rationnels. Chaque $U_i\;$ est représenté par une suite $(a_j^i)\;$ de rationnels. Nous avons donc affaire à une suite de suites. La démonstration s'inspire de la méthode de la diagonale de Cantor. Elle consiste à prendre des termes dans chaque suite $(a_j^i)\;$ pour que cela fonctionne.

Pour tout entier $i\;$ , la suite $(a_j^i)\;$ converge vers $U_i\;$ donc il existe $J_i\;$ tel que

$|a_{J_i}^i - U_i| \leq 2^{-i}$

On note alors $(b_i)\;$ la suite de rationnels $(a_{J_i}^i)\;$

Pour tout $\varepsilon\;$ positif, il existe un entier $N\;$ , tel que pour tous $n, m \geq N$ , on a

$2^{-n} \leq \frac{\varepsilon}{3}$

$2^{-m} \leq \frac{\varepsilon}{3}$

$|U_n - U_m| \leq \frac{\varepsilon}{3}$ car $(U_i)\,$ est une suite de Cauchy

Alors on pourra écrire :

$|b_n - b_m| \leq |b_n - U_n| + |b_m - U_m| + |U_n - U_m|$

$|b_n - b_m|\leq 2^{-n}+ 2^{-m}+ |U_n - U_m|$

$|b_n - b_m|\leq \varepsilon$

La suite de rationnels $(b_i)\;$ est alors une suite de Cauchy qui converge vers un réel $B\,$

Pour tout $\varepsilon\;$ positif, il existe un entier $N\;$ , tel que, pour tout $n \geq N$ , on a

$2^{-n} \leq \frac{\varepsilon}{2}$

$|b_n - B| \leq \frac{\varepsilon}{2}$

Alors on pourra écrire:

$|U_n - B| \leq |U_n - b_n| + |b_n - B| \leq 2^{-n} + |b_n - B| \leq \varepsilon$

La suite de réels $(U_i)\;$ converge alors vers $B\;$

$\R$ satisfait à la propriété de la borne supérieure. Soit $E\,$ un ensemble non vide (contenant un réel $a\,$ ) majoré par un réel $M\,$ . Si $a\,$ est un majorant de $E\,$ alors le problème est terminé car $a\,$ est le plus grand élément de $E\,$ et donc sa borne supérieure. 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=a\,$ 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\,$

La suite $(a_n)\,$ est alors une suite de réels dont aucun terme n'est un majorant de $E\,$ et la suite $(b_n)\,$ est une suite de réels dont tous les termes sont des majorants de $E\,$ . Ensuite, le principe de construction assure que

$|b_n - a_n|= 2^{-n}(M-a)\,$ .

ce qui nous assure que $\lim_n (b_n-a_n)=0\,$

Enfin, ce même principe de construction assure que, pour tout $m \geq n$ ,

$a_n \leq a_m \leq b_m \leq b_n$

En particulier , $|a_n - a_m| \leq 2^{-n}(M-a)$ et $|b_n - b_m| \leq 2^{-n}(M-a)$ , ce qui permet de dire que les suites $(a_n)\,$ et $(b_n)\,$ sont de Cauchy. Puisque $\R$ est complet, ces suites convergent et comme $\lim_n(b_n-a_n)=0$ , elles convergent vers le même réel $L\,$ . Il reste à montrer que $L\,$ est bien la borne supérieure.

Pour tout réel $x\,$ de $E\,$ , $x \leq b_n$ car $b_n\,$ est un majorant. Donc par passage à la limite, pour tout réel $x\,$ de $E\,$ , $x \leq L$ . $L\,$ 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\,$ , $L \leq M'$ . $L\,$ est bien le plus petit des majorants.