RÉELS NOMBRES

Carte mentale

Élargissez votre recherche dans Universalis

Axiomatisation et conséquences

L'axiomatisation de Hilbert

Une fois bien notée la propriété de complétion comme une propriété maximale (soit sous la forme de la borne supérieure comme chez Dedekind, soit sous la forme de la convergence des suites de Cauchy comme chez Cantor), Hilbert propose une approche axiomatique des nombres réels. Il introduit une famille de nombres, notés x, y ,... de sorte que cette famille constitue :

(a) un corps commutatif pour les deux lois +, .,

(b) un corps totalement ordonné,

(c) un groupe ordonné archimédien pour la loi +, c'est-à-dire : quels que soient > 0 et > 0, il existe au moins un entier naturel n tel que :

(d) un système qu'il ne soit pas possible d'agrandir en lui rajoutant des éléments de manière à obtenir un système vérifiant encore (a), (b) et (c).

Il n'est pas difficile de montrer, en utilisant (d), que, si un tel système existe, il est unique à un isomorphisme près, cette dernière expression signifiant que, si deux tels systèmes S1 et S2 sont donnés, il existe une bijection S→ S2 qui est un homomorphisme de corps totalement ordonnés ; S1 et S2 sont donc structurellement isomorphes. On aura donc loisir d'appeler ensemble des nombres réels tout système satisfaisant (a), (b), (c), (d).

Cependant, l'existence d'un tel système n'est pas évidente. Elle peut résulter des constructions précédentes de Cantor et Dedekind (ou d'autres constructions) comme nous allons le montrer. Toutefois la démarche de Hilbert était tout autre. Il s'agissait d'établir que les quatre conditions (a), (b), (c), (d) ne sont pas contradictoires, la non-contradiction d'une famille d'axiomes, pour autant qu'elle soit démontrée, assurant, selon le point de vue de Hilbert, l'existence d'un système d'objets satisfaisant les axiomes (cf. axiomatique et hilbert).

Passons maintenant à la démonstration de l'équivalence des constructions de Cantor et Dedekind et montrons qu'elles vérifient les quatre propriétés énoncées par Hilbert.

Caractérisation de R

Nous partons de la construction de Cantor, c'est-à-dire d'un corps tot [...]

1  2  3  4  5
pour nos abonnés,
l’article se compose de 23 pages

Écrit par :

  • : directeur de recherche au C.N.R.S., directeur d'études à l'École des hautes études en sciences sociales

Classification

Autres références

«  RÉELS NOMBRES  » est également traité dans :

ANALYSE MATHÉMATIQUE

  • Écrit par 
  • Jean DIEUDONNÉ
  •  • 8 744 mots

Dans le chapitre « L'avènement de la théorie des ensembles et de la topologie »  : […] La notion de limite est la base même du calcul infinitésimal ; mais, bien que certains d'entre eux, dont d'Alembert, aient approché d'une définition pour nous correcte, les mathématiciens du xviii e  siècle étaient hors d'état de développer une théorie mathématique rigoureuse du « calcul », sur le modèle de la géométrie grecque, et devaient se contenter de justifications heuristiques de leurs déco […] Lire la suite

BOLZANO BERNARD (1781-1848)

  • Écrit par 
  • Jan SEBESTIK
  •  • 3 612 mots

Dans le chapitre « Le système de la « Grössenlehre » et les « Paradoxes de l'infini » »  : […] La Grössenlehre , qui date quant à l'essentiel des années 1830-1834, représente la réalisation, inachevée, du grand projet de Bolzano de donner un exposé rigoureusement scientifique de la mathématique à partir de ses premiers concepts et selon les normes de la Wissenschaftslehre . Quoique Bolzano revienne à la définition traditionnelle de la mathématique, il est le premier mathématicien à édifier […] Lire la suite

CALCUL INFINITÉSIMAL - Calcul à une variable

  • Écrit par 
  • Roger GODEMENT
  •  • 11 788 mots
  •  • 6 médias

Dans le chapitre « Notion de borne supérieure »  : […] Nous désignerons par R l'ensemble des nombres réels   ; il nous suffira de savoir qu'un nombre réel est un développement décimal illimité précédé d'un signe (qu'on omet s'il s'agit du signe +), par exemple le nombre − 3,141 59. ... ou bien le nombre 1 = 1,000 0.. ... = 0,999 99. ..., et que l'on peut effectuer sur ces nombres des opérations algébriques que tout le monde connaît. On peut aussi co […] Lire la suite

CANTOR GEORG (1845-1918)

  • Écrit par 
  • Hourya BENIS-SINACEUR
  •  • 2 887 mots
  •  • 1 média

Dans le chapitre « Cantor et Dedekind, une relation déterminante »  : […] Une fonction périodique d’une variable réelle s’écrit-elle de manière unique comme série convergente de fonctions trigonométriques ? Heinrich Eduard Heine (1821-1881), collègue de Cantor à Halle, pose cette question. Cantor la résout affirmativement pour le cas des fonctions continues dans son mémoire « Sur l’extension d’un théorème de la théorie des séries trigonométriques » publié en 1872 dans […] Lire la suite

CANTOR : THÉORIE DES ENSEMBLES

  • Écrit par 
  • Bernard PIRE
  •  • 185 mots

Georg Cantor (1845-1918), professeur de mathématiques à l'université de Halle (Allemagne), publie en 1874 dans le Journal de Crelle l'article fondateur de la théorie des ensembles. Après quelques travaux en théorie des nombres et une rencontre décisive avec le mathématicien Richard Dedekind (1831-1916), Cantor s'était consacré à l'étude des séries trigonométriques et aux nombres irrationnels. Da […] Lire la suite

CONSTRUCTION, mathématique

  • Écrit par 
  • André WARUSFEL
  •  • 1 434 mots

Pendant des millénaires les objets mathématiques ont été considérés comme ayant une existence propre. Depuis la fin du xix e  siècle et surtout le début du xx e , on a mis au point une méthode axiomatique consistant à tout reprendre afin de donner une base solide à la mathématique à partir du très strict nécessaire. Après de nombreuses crises, on en est arrivé à bâtir cette science sur le socle d […] Lire la suite

CONTINU HYPOTHÈSE DU

  • Écrit par 
  • Patrick DEHORNOY
  •  • 2 247 mots

Dans le chapitre « Une affaire terminée ? »  : […] Cantor a fondé la théorie des ensembles à la fin du xix e  siècle en montrant qu'il existe plus de nombres réels que d'entiers, et donc des infinis de tailles différentes. Le problème du continu est la question : toute partie infinie de ℝ est-elle en bijection avec ℕ ou ℝ ? Même si l'intuition suggère que ℕ est beaucoup plus petit que ℝ, il est difficile de construire un ensemble de taille inter […] Lire la suite

CONTINU & DISCRET

  • Écrit par 
  • Jean-Michel SALANSKIS
  •  • 7 679 mots

Dans le chapitre « Investissement philosophique de l'opposition »  : […] Il existe une tradition philosophique rattachant le continu à l'Identité, au Même, à la Permanence : le structuralisme, qui pensait mener un combat contre ces figures, et tout particulièrement contre l'historicisme, nous a incité à considérer de préférence cette tradition, pour mieux la rejeter. Peut-être tire-t-elle sa force de la pensée de Leibniz, si l'on veut à tout prix déterminer une origin […] Lire la suite

CONTINUITÉ, mathématique

  • Écrit par 
  • Jean-Marie PRUVOST-BEAURAIN
  •  • 1 266 mots

Dans le chapitre « Continuité d'une fonction réelle d'une variable réelle »  : […] Intuitivement, on peut penser que le tracé d'une courbe est continu s'il peut se faire entièrement sans lever le crayon et que, dans le cas contraire, il est discontinu. Soient donc une courbe dessinée dans un plan et un point A sur cette courbe. On pourra dire qu'il y a continuité au point A si, en partant d'un point de la courbe relativement proche de A, situé d'un côté ou de l'autre de ce derni […] Lire la suite

HILBERT DAVID (1862-1943)

  • Écrit par 
  • Rüdiger INHETVEEN, 
  • Jean-Michel KANTOR, 
  • Christian THIEL
  •  • 14 855 mots
  •  • 1 média

Dans le chapitre « La méthode axiomatique »  : […] Les recherches de Hilbert sur les fondements de la géométrie ont servi de point de départ à des réflexions méthodologiques et philosophiques. Depuis les Grecs, l'exposé déductif de la géométrie présenté dans les Éléments d'Euclide avait été un modèle de l'exactitude mathématique jusqu'à ce que M. Pasch, en 1882, y reconnut des hypothèses utilisées tacitement (en particulier la relation « être ent […] Lire la suite

Voir aussi

Pour citer l’article

Jean DHOMBRES, « RÉELS NOMBRES », Encyclopædia Universalis [en ligne], consulté le 21 janvier 2021. URL : https://www.universalis.fr/encyclopedie/nombres-reels/