Construction des nombres réels - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

- Introduction - Construction intuitive à partir des nombres décimaux - Construction via les suites de Cauchy - Construction par les coupures de Dedekind - Autres constructions - Équivalence des deux constructions

Introduction

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

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 :

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 $0,333\dots+0,666\dots$ .

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

converge vers un élément $a$ si

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 $\varepsilon$ 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 :

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 :

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 :

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.

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 :

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 $\varepsilon$ . 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 $\varepsilon/2$ . On en déduit, en utilisant (1) :

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),

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

a b = (a n b 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

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.

$\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.

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 $\varepsilon>0$ fixé, à prouver l'existence d'un entier N tel que

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 $(\varepsilon-|a_n-a_m|)_m$ est positive ou nulle à partir du rang N donc la classe $\varepsilon-|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.

Construction par les coupures de Dedekind

Des chercheurs ont intercepté et décodé "facilement" des messages sous-marins depuis les airs ✈️

Voici pourquoi les femmes ressentent plus de douleur chronique que les hommes 🧐

Un immense iceberg se détache et révèle ce surprenant écosystème caché depuis des siècles 🦑

Un colibri imite une chenille pour survivre: découvrez cette stratégie étonnante 🐦

Cette forme de vie géante ne ressemble à rien d'autre de connu 🌎

Recherche: cette nouvelle molécule se montre terriblement efficace contre la calvitie 🔬

Des tardigrades génétiquement modifiés pour survivre... sur le Soleil ☀️

Or, cuivre... pourquoi ces métaux précieux se trouvent dans les zones de subduction ? 🌋

Une avancée majeure dans la supraconductivité à haute température 🌡️

Les chimpanzés fabriquent leurs outils comme des ingénieurs 🛠️

Mach 16: des surprises physiques découvertes dans les vols hypersoniques 🚀

Des scientifiques ont réussi à filmer la séparation des brins de l'ADN 🧬

Comment 13 degrés peuvent transformer une foule en chaos ? 🚶‍♂️

Découverte: les phoques savent évaluer la quantité d'oxygène dans leur sang 🤿

Les trous noirs pourraient-ils protéger la vie dans l'Univers ? 🌱

Implants mammaires en silicone: une toxicité remise en question

Découverte d'un "broyeur d'étoiles" dans notre galaxie 🌀

Neandertal et Sapiens: une collaboration inattendue il y a 100 000 ans 🤝

Que sont ces sphères noires découvertes sur Mars ? 🔴

Découverte: les champignons contre... la grippe 🍄

Découverte inédite: voici comment notre cerveau attache les souvenirs entre eux 🖇️

Découverte: les requins émettent des sons ! 🦈

Des scientifiques inventent un ciment qui aspire le CO2 🌎

Comment le cerveau décode le temps: du récit aux réseaux neuronaux 🕰️

Horloge atomique dans son smartphone et GPS 1000 fois plus précis ⏱️

L'ocytocine: l'hormone de l'amour ou simple mythe ? 💕

Cette nouvelle méthode permettrait d'identifier une vie extraterrestre inattendue 👽

Une araignée géante filmée dans les abysses de l'Antarctique 🕷️

Trois familles d'objets planétaires identifiées dans le Système Solaire externe 🔭

Découverte d'une griffe géante à 2 doigts appartenant à une nouvelle espèce de dinosaure 🦖

Un nouvelle technologie de vaisseaux nucléaires pour explorer le Système solaire 🚀

Votre cerveau se consomme lui-même pour rechercher de l'énergie, pendant un exercice intense 🏃

Des vestiges organiques découverts sur Mars 🧐

Pourquoi les armes nucléaires sont-elles si difficiles et dangereuses à produire ? 💥

MRAM: la mémoire informatique du futur enfin là ? ⚡

Vidange d'un lac glaciaire: la catastrophe du Sikkim en 2023 expliquée 🌊

Qu'est-ce qui a bien pu creuser ces tunnels il y a plusieurs millions d'années ? ⛏️

Les secrets biologiques de Maria Branyas Morera, la supercentenaire 🕰️

Exploiter la rotation terrestre pour produire de l'électricité: l'énergie verte de demain ? ⚡

Que nous apprennent ces émissions radioactives de météorites lunaires et martiennes ? ☢️

La Chine dévoile un processeur quantique fiable à 99.9% 🚀

Voici les emblématiques espèces éteintes que la science pourrait bientôt ressusciter 🦣

Un poisson de 15 millions d'années incroyablement préservé 🐟

Existence démontrée d'un lien entre muscles, cerveau et fertilité 💪

Prévision météo: une petite IA surclasse les plus gros supercalculateurs 🌤️

Cette fosse commune révèle une histoire de violence extrême et de respect ⚔️

Cette nouvelle cellule solaire dure 10 fois plus longtemps 🌞

Des poulets aux plumes de dinosaures: une expérience génétique étonnante 🐔

Vidéo: une pieuvre chevauche un requin, une rencontre marine insolite 🐙

Une explication aux magnétars à faible champ 🧲

Page générée en 0.277 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales
Version anglaise | Version allemande | Version espagnole | Version portugaise