Web log de Serge Boisse
On line depuis 1992 !
Si cette page vous a plu, Copiez son adresse et partagez-la !
http://sboisse.free.fr/science/maths/construction.php
Auteur: Serge Boisse
Date: Le 26/03/2023 à 14:03
Type: web/MOC
Tags: maths,arithmétique,nombres
pub: oui
commentaires: oui
La définition axiomatique des entiers naturels, due à Giuseppe Peano, est usuellement décrite par les cinq axiomes suivants :
il existe un ensemble noté ℕ et une application ℕ->ℕ appelée successeur telle que :
Le successeur s(0) de 0 est noté 1, celui de 1 est noté 2, et ainsi de suite.
Le principe de récurrence permet de s'assurer que si 0 possède une certaine propriété, et si pour tout élément de N qui possède cette propriété, son successeur la possède aussi, alors tous les éléments de N auront cette propriété.
A partir des ces axiomes on peut définir l'addition et la multiplication, puis tout le reste de l'arithmétique usuelle.
Par exemple pour l'addition on démontre qu'il existe une application
p: ℕ x ℕ->ℕ et une seule telle que pour tout p et q de N :
Je ne m'étendrai pas ici sur cette construction, à partir des entiers, que l'on apprend au lycée (maintenant en prépa !) et que l'on peut trouver un peu partout.
Disons simplement que à partir de ℕ on construit successivement ℤ, l'ensemble des entiers relatifs, puis ℚ, l'ensemble des nombres fractionnaires, puis ℝ, l'ensemble des nombres "réels", qui est le seul corps commutatif archimédien complet, et enfin ℂ, l'ensemble des nombres de Chuquet-Cardan, dit aussi ensemble des nombres complexes, et ℍ, l'ensemble des quaternions (qui est un corps non commutatif).
Notons qu'il y a une ambiguïté dans la définition de ℕ par les axiomes de Peano :
L'ensemble N des entiers "usuels" 0,1,2,3... vérifie bien ces axiomes, mais aussi par exemple l'ensemble des entiers pairs 0,2,4,6.. si on convient que la fonction "successeur" est l'application x -> x + 2 dans l'ensemble ℕ.
Les logiciens résument ceci en disant qu'en effet il existe plusieurs modèles de l'arithmétique. Ceci est à mon sens une faiblesse grave du système d'axiomes de Peano, qui ne définit pas d'une manière univoque ce que l'on entend par "ensemble des entiers" et par "nombre entier", même si tous les modèles sont (heureusement !) isomorphes entre eux.
Par exemple il existe dans la théorie des ensembles plusieurs modèles de la construction des entiers.
On peut ainsi poser :
Mais aussi par exemple la construction de Von Neumann :
D'autres modèles sont possibles. Il y a ainsi une infinité de modèles qui respectent les axiomes de Peano. Est-ce que ça mérite encore de s'appeller "définition" ?
Encore plus grave : certains modèles ajoutent des propriétés supplémentaires aux "nombres" ainsi définis :
Par exemple Albert Skolem et Jacques Herbrand ont construit une arithmétique non standard qui possède toutes les propriétés de l'arithmétique plus quelques autres. Si ℕ est l'ensemble des entiers "usuels", et ℕ l'ensemble des entiers "non standards", ℕ contient tous les nombres de ℕ plus quelques nouveaux venus, dont ω (omega) qui se trouve "au delà" des entiers usuels et qui les dépasse en quelque sorte tous. Ces nouveaux venus sont les ordinaux transfinis.
Ici, je ne résiste pas au plaisir de vous donner un lien vers un papier très intéressant (et plein d'humour) sur les nombres surréels Ces "nombres", dûs au génie de John Conway, sont en quelque sorte à la fois une extension des nombres réels et des nombre ordinaux. Je vous incite à y jeter un oeil. Attention, pour le lire et le comprendre vraiment, il faudra y passer du temps !
La non unicité de la définition des nombres entiers m'a poussé à chercher une Théorie des nombres basée sur des principes entièrement différents et non plus sur les axiomes de Peano...
Commentaires (7) :
Page : [1]Le 16/11/2010 à 18h41
euh oui, tu as raison, c'est en prépa que j'ai appris ça, je croyais que c'était au lycée. C'est loin tout ça, j'étais en maths sup en 1979... Il faudrait peut-être que j'en parle sur ce site.
Le 07/11/2010 à 14h21
Et cela n'est même plus fait actuellement en prépa...
Alors la remarque "Je ne m'étendrai pas ici sur cette construction, à partir des entiers, que l'on apprend au lycée" m'étonne beaucoup !
Cordialement.
Le 19/10/2010 à 10h13
Bien à vous,
Nicolas VAILLANT
www.nini-software.fr
Le 11/12/2009 à 17h57
Mes parents mon nommée comme ceci car il ont un peu des goût bizarre je tenait aussi a vous rappeller que je suis de sexe feminin Masculin enfet je suis une travestie .
0 est un entier naturel (donc l'ensemble des entiers naturels n'est pas vide).
Tout entier naturel n a un successeur, noté s(n) ou Sn.
Aucun entier naturel n'a 0 pour successeur (l'ensemble des naturels a un premier élément).
Deux entiers naturels ayant même successeur sont égaux.
Voila votre site est bien mais vos enployez des mots trop difficiles a mon goût
Le 29/09/2009 à 09h33
merci d'anace
Le 18/11/2008 à 17h17
J'aime bien votre référence au théorème de Goodstein. Pour ceux qui ne le connaissent pas, ce théorème comporte deux volets :
1) Il montre qu'en utilisant les ordinaux transfinis, on peut prouver la convergence d'une certaine suite d'entiers (la suite de Goodstein),
et 2) (la partie la plus difficile du thèorème), il démontre cette convergence ne peut être prouvée qu'en utilisant les ordinaux transfinis, lesquels ne sont pas décrits par les axiomes de Peano. En quelque sorte, le théorème de Goodstein montre que l'infini est nécessaire et que nous devons étudier les extensions non standards des entiers. je trouve cela fascinant. Un très beau thèorème.
Le 21/08/2008 à 15h08
Seuls sont non standards le ensemble nons isomorphes à N.
Exemple: Axiomes de PEANO + négation du théorème de GOODSTEIN.
La non unicité de la définition des nombres entiers ne peut pas être endiguée: Ceci résulte du théorême de Gôdel.
Toutes formalisation suffisante des nombres entiers contient une proposition indécidable qui peut donc donner lieu à deux e extensions différentes dont l'une au moin est non standard.
gerard-froger@wanadoo.fr
Ajouter un commentaire (pas besoin de s'enregistrer)
En cliquant sur le bouton "Envoyer" vous acceptez les conditions suivantes : Ne pas poster de message injurieux, obscène ou contraire à la loi, ni de liens vers de tels sites. Respecter la "netiquette", ne pas usurper le pseudo d'une autre personne, respecter les posts faits par les autres. L'auteur du site se réserve le droit de supprimer un ou plusieurs posts à tout moment. Merci !Ah oui : le bbcode et le html genre <br>, <a href=...>, <b>b etc. ne fonctionnent pas dans les commentaires. C'est voulu.