Catalogue Licence
L1 • Analyse Réelle
Fondation L1

Le corps des réels et la propriété de la borne supérieure

Construction du continuum, axiome de la borne supérieure, propriété d'Archimède et densité de dans

Fils Rouges :Fil 5 — Complétude : fabriquer l'existence
Point d'entrée intuitif

Les rationnels permettent déjà d'approcher n'importe quelle grandeur avec une précision arbitraire. À quoi peuvent bien servir les réels, et comment un ensemble troué peut-il être partout dense ?

Idée en une phrase :
Les rationnels sont partout et pourtant incomplets : ils s'approchent de tout, mais n'atteignent pas tout — les réels sont exactement ce qu'il faut ajouter pour que toute approche aboutisse.
Généalogie historique du concept :

La découverte est un scandale : vers av. J.-C., les Pythagoriciens établissent que la diagonale du carré n'est commensurable à aucun côté, ruinant la doctrine selon laquelle tout est nombre rationnel. La géométrie grecque contourne le problème pendant deux millénaires par la théorie des proportions d'Eudoxe. Il faut attendre 1872 pour que Dedekind, cherchant à fonder rigoureusement le calcul différentiel, propose la construction par coupures, et que Cantor propose simultanément celle par suites de Cauchy. Le déclencheur n'est pas philosophique : c'est l'impossibilité de démontrer proprement le théorème des valeurs intermédiaires sans une définition solide de .

Pourquoi CETTE définition formelle :

Pourquoi la borne supérieure plutôt que le maximum ? Parce que le maximum n'existe pas toujours : n'a pas de plus grand élément, et pourtant il est visiblement « bloqué » par . Exiger l'existence d'un maximum rendrait l'axiome faux ; exiger seulement l'existence du PLUS PETIT DES MAJORANTS le rend vrai, et suffisant pour toute l'analyse. La borne supérieure est le maximum quand il existe, et son substitut exact quand il n'existe pas.

Images Mentales & Modèles d'Intuition (3)

Modèle #1

Une règle graduée idéale. Les rationnels sont les graduations que l'on peut tracer ; les réels sont tous les points de la règle, y compris ceux qu'aucune graduation n'atteint jamais.

Ce qu'elle capture :

La densité et l'incomplétude coexistent : on peut placer des graduations arbitrairement proches d'un point, sans qu'aucune ne tombe dessus.

⚠️ Où l'analogie ment :

L'image suggère qu'il y a « un peu plus » de réels que de rationnels. En réalité il y en a infiniment plus, et de façon radicale : est dénombrable, ne l'est pas. Presque tout point de la règle est un point qu'aucune construction explicite n'atteindra jamais.

Modèle #2

La borne supérieure est un plafond posé au plus bas possible : on le descend jusqu'à ce qu'il touche l'ensemble, ou jusqu'à ce qu'il ne puisse plus descendre sans être traversé.

Ce qu'elle capture :

La caractérisation en deux temps s'y lit directement : c'est un majorant (le plafond ne coupe pas l'ensemble), et pour tout , n'en est plus un (on ne peut plus descendre).

⚠️ Où l'analogie ment :

L'image du contact suggère que le plafond touche toujours l'ensemble. C'est faux : . Le plafond peut rester infiniment près sans jamais toucher — c'est même le cas le plus intéressant.

Modèle #3

Un axiome n'est pas une vérité révélée : c'est une exigence de cahier des charges. « Pas de trou » est la spécification que l'on impose à , et il se trouve qu'un tel ensemble existe.

Ce qu'elle capture :

On comprend pourquoi est éliminé : il satisfait tous les autres axiomes (corps ordonné archimédien) et échoue précisément sur celui-là.

⚠️ Où l'analogie ment :

L'image ne dit pas que l'existence d'un tel corps est un THÉORÈME, prouvé par la construction de Dedekind ou de Cantor, ni que ce corps est UNIQUE à isomorphisme près. Poser un axiome ne crée rien : il faut encore exhiber un objet qui le satisfait.

Les Pièges Conceptuels Classiques

1
La borne supérieure appartient toujours à l'ensemble.

Correction :

n'appartient pas à l'ensemble. Quand la borne supérieure appartient à l'ensemble, on l'appelle maximum ; sinon, elle existe quand même. Toute la subtilité de l'analyse tient dans cette distinction.

2
La propriété d'Archimède est un axiome supplémentaire de .

Correction :

C'est un THÉORÈME, démontré à partir de la borne supérieure — et la démonstration est courte. Il existe d'ailleurs des corps ordonnés non archimédiens (les hyperréels, les séries de Laurent formelles) : Archimède n'est donc nullement automatique. Confondre axiome et théorème fait manquer l'architecture de la théorie.

3
Puisque est dense dans , tout réel est limite de rationnels, donc et ont pour ainsi dire la même taille.

Correction :

La densité est une propriété topologique, pas cardinale. est dénombrable, ne l'est pas : dans un sens précis, « presque tous » les réels sont irrationnels, et même transcendants. Les irrationnels sont eux aussi denses, alors qu'ils sont infiniment plus nombreux.

4
.

Correction :

Totalement faux : prendre et dont l'intersection est vide. Ou et sur un intervalle. La borne supérieure se comporte bien pour la réunion et mal pour l'intersection — asymétrie à mémoriser.

Glossaire des Notations Mathématiques

borne supérieure de A

plus petit majorant ; existe dès que $A$ est non vide et majorée, qu'il appartienne ou non à $A$

maximum de A

borne supérieure appartenant à $A$ ; n'existe pas toujours

partie entière de t

plus grand entier inférieur ou égal à $t$ ; son existence est un théorème, non une évidence