4. Les nombres irrationnels
Le renom de Dedekind a dépassé le cercle restreint des algébristes professionnels et s'est étendu jusqu'à l'enseignement secondaire, grâce à ses travaux sur les fondements des mathématiques, où il a été un des pionniers ; il a publié ces travaux dans deux ouvrages célèbres : Stetigkeit und irrationale Zahlen (1872), et Was sind und was sollen die Zahlen (1888). Le premier se donne pour but de définir de façon purement arithmétique la notion de nombre irrationnel à partir de celle de nombre rationnel supposée connue (donc sans faire appel à l'intuition géométrique du « continu ») : Dedekind y reprend l'idée d'Eudoxe, qui associait à un « rapport » irrationnel A/B de deux grandeurs un partage en deux classes de nombres rationnels m/n, ceux qui sont tels que mB > nA et ceux qui sont tels que mB < nA ; il y ajoute l'idée de définir un nombre irrationnel comme un tel partage ou « coupure » (alors qu'apparemment Eudoxe admettait l'existence des rapports irrationnels et se bornait à décrire comment on calculait sur ces êtres). Visiblement inspiré par ses travaux sur les idéaux, Dedekind parvient à cette définition en remarquant qu'ici encore les propriétés caractéristiques d'une « coupure » peuvent se décrire sans faire appel à l'existence d'un nombre irrationnel qui l'aurait définie, en termes purement intrinsèques et sans sortir de l'ensemble des nombres rationnels ; cela fait, il reste à définir le calcul sur ces entités, en suivant le modèle d'Eudoxe ; on a donc encore ici un calcul sur des ensembles.
Comme on sait que les nombres rationnels peuvent se définir à partir des entiers naturels, la définition purement arithmétique des nombres réels (qu'avaient obtenue aussi par d'autres procédés Weierstrass, Méray et Cantor indépendamment de Dedekind) mettait donc les entiers naturels à la base de toute l'analyse classique. Dans Was sind und was sollen die Zahlen, dont la conception remonte aussi aux années 1872-1878, Dedekind montre qu'on peut rattac […]
… pour nos abonnés, l'article se prolonge sur 3 pages…
