Axiome de complétude : les conséquences qui rendent la droite réelle complète

Essayez de mesurer la diagonale d'un carré d'un mètre avec une règle ; chaque fraction proposée tombe un peu trop court ou un peu trop long. Cette longueur rebelle, connue depuis la Grèce antique, signale la première brèche sérieuse de la droite réelle : les fractions seules ne peuvent nommer chaque point. L'expérience de pensée est simple et son résultat saisissant, car une droite faite de seuls rapports reste incomplète.

La complétude signifie ici une droite sans trous, et le cours la fixe par un principe unique : toute partie non vide majorée admet une plus petite borne supérieure. Ce principe porte le nom d' axiome de complétude , et la valeur garantie s'appelle la borne supérieure . L'énoncé est volontairement dépouillé, car il se pose au départ au lieu de se démontrer.

À la poursuite de la borne supérieure

Rassemblez tous les rationnels dont le carré reste inférieur à deux ; l'ensemble possède de nombreux majorants mais aucun plus petit parmi les rationnels. Quelle que soit la fraction proposée, une plus grande vérifiant la même propriété se présente toujours. L'ensemble des nombres rationnels ne peut donc refermer ce sac, et le trou demeure exactement où la borne devrait siéger. Une expérience historique naît de là : les pythagoriciens furent ébranlés par une découverte semblable, et des siècles plus tard les coupures de Dedekind cherchèrent un remède à la même blessure.

La propriété d'Archimède affirme que les entiers naturels ne heurtent aucun plafond : un entier dépasse toujours tout réel proposé. Une petite conséquence étonnante suit, car diviser un par des entiers toujours plus grands conduit vers zéro. Ni infiniment petits ni infiniment grands n'habitent cette droite, et chaque échelle rejoint la suivante comme les barreaux d'une échelle.

La densité signifie que la droite est parsemée comme une fine poussière : entre deux réels distincts se glisse toujours un rationnel. Un irrationnel s'y glisse aussi, si bien que fractions et non-fractions s'entrelacent sans fin. La pratique de la mesure vit de ce fait, et les écritures décimales en sont le langage courant.

Quand les intervalles se resserrent

Coupez un intervalle fermé en deux, gardez une moitié et recommencez sans fin ; tandis que les longueurs tendent vers zéro, un point unique demeure. Voilà la garantie que les approximations aboutissent quelque part, et l'explication du fait que les écritures décimales désignent des nombres. Imaginez les décimales de la racine carrée de deux comme exercice mental ; chaque décimale resserre l'intervalle davantage. Le principe des intervalles emboîtés est le moteur discret de la convergence.

Prouver l'irrationalité et prouver l'existence sont deux tâches distinctes ; la première montre une absence, la seconde une présence. Le cours prend la borne supérieure des nombres dont le carré reste inférieur à deux, puis établit par l'absurde que son carré vaut deux. La pièce manquante se trouve ainsi construite, jamais empruntée au dehors. La valeur obtenue reçoit le nom de racine carrée de deux et scelle la brèche de la droite.

Du cours à la vie

Le cours suit l'ordre du premier volume du Calculus de Tom Apostol et s'étire sur cinq heures et demie sur la chaîne Math with Ming. L'architecture du livre avance dans un sens unique, de l'axiome vers les applications ; les définitions arrivent tôt et leur prix se paie plus tard. L'animateur construit chaque preuve lentement au tableau et glisse même une lecture avancée aux curieux. Ce rythme mise sur l'intuition durable plutôt que sur le bachotage.

Sans complétude, le discours sur les limites flotte en l'air, car rien ne garantit que la valeur approchée habite la droite. La dérivée repose sur le même sol ; l'abri des taux d'accroissement est un morceau de droite sans rupture. Les dernières heures du cours bâtissent ce pont et laissent l'analyse entière débitrice d'un seul axiome. Des essais en classe rendent cette dette concrète, tant l'étudiant retrouve la même signature dans chaque théorème.

Pour tirer le meilleur de ce cours, mettez la vidéo en pause avant chaque preuve et tentez-la d'abord ; reprendre le fil où vous butez accélère l'apprentissage. Écrire un exemple numérique après chaque théorème rend l'abstraction tangible. Pour finir, essayez d'expliquer le sujet à quelqu'un ; une explication fluide prouve que le socle est solide.