Construction entiers naturels
- Construction entiers naturels
-
Construction des entiers naturels
Il existe plusieurs méthodes classiques de construction des entiers naturels mais celle des entiers de von Neumann est souvent regardée comme la plus simple.
Méthode de von Neumann
Partant de la théorie des ensembles, on identifie 0 à l'ensemble vide, puis on construit un entier naturel comme l'ensemble des entiers naturels qui le précèdent. Plus précisément, les entiers naturels sont construits à partir des règles suivantes :
- L'ensemble vide
est un entier naturel noté 0.
- Si n est un entier naturel, l'ensemble n U {n} est aussi un entier naturel, appelé le successeur immédiat de n.
- Tout entier naturel est construit à partir des règles 1 et 2.
Par exemple, le successeur immédiat de 0 est : 0 U {0} = {0} = 1
Celui de 1: 1 U {1} = {0} U {1} = {0,1} = 2
Celui de 2: 2 U {2} = {0,1} U {2} = {0,1,2} = 3
L'axiome de l'infini est nécessaire pour assurer l'existence d'un ensemble contenant tous les entiers naturels. L'intersection de tous les ensembles de ce type (contenant 0 et clos pour l'opération successeur) est alors l'ensemble des entiers naturels. On peut vérifier que ce dernier satisfait les axiomes de Peano.
Voir aussi
Portail des mathématiques
Catégories : Nombre | Théorie des ensembles | Construction classique
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Construction entiers naturels de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Construction entiers relatifs — Construction des entiers relatifs Le but de cet article est de: construire comme un ensemble, construire une structure de groupe sur cet ensemble, montrer que cela prolonge le monoïde (additif) des entiers naturels, La structure d anneau sera… … Wikipédia en Français
Construction Des Entiers Naturels — Il existe plusieurs méthodes classiques de construction des entiers naturels mais celle des entiers de von Neumann est souvent regardée comme la plus simple. Méthode de von Neumann Partant de la théorie des ensembles, on identifie 0 à l ensemble… … Wikipédia en Français
Entiers naturels — Entier naturel Pour les articles homonymes, voir Entier (homonymie). Les entiers naturels permettent de compter (une pomme, deux pommes, trois pommes...). Un entier natur … Wikipédia en Français
Construction des entiers naturels — Il existe plusieurs méthodes classiques de construction des entiers naturels mais celle des entiers de von Neumann est souvent regardée comme la plus simple. Méthode de von Neumann Partant de la théorie des ensembles, on identifie 0 à l ensemble… … Wikipédia en Français
Addition Des Entiers Naturels — Addition dans l arithmétique de Peano L addition des entiers naturels est une opération arithmétique élémentaire, qui a servi de modèle à la notion générale d addition. Dans cet article, elle est étudiée à partir de son axiomatisation dans l… … Wikipédia en Français
Addition des entiers naturels — Addition dans l arithmétique de Peano L addition des entiers naturels est une opération arithmétique élémentaire, qui a servi de modèle à la notion générale d addition. Dans cet article, elle est étudiée à partir de son axiomatisation dans l… … Wikipédia en Français
Construction Des Entiers Relatifs — Le but de cet article est de: construire comme un ensemble, construire une structure de groupe sur cet ensemble, montrer que cela prolonge le monoïde (additif) des entiers naturels, La structure d anneau sera juste esquissée. Sommaire 1… … Wikipédia en Français
Construction des entiers relatifs — Article principal : Entier relatif. Le but de cet article est de: construire l ensemble des entiers relatifs, construire une structure de groupe sur cet ensemble, montrer que cela prolonge le monoïde (additif) des entiers naturels, La… … Wikipédia en Français
Entiers positifs — Entier naturel Pour les articles homonymes, voir Entier (homonymie). Les entiers naturels permettent de compter (une pomme, deux pommes, trois pommes...). Un entier natur … Wikipédia en Français
Entiers — Entier relatif Pour les articles homonymes, voir Entier (homonymie). En mathématiques, un entier relatif (ou entier rationnel) est un nombre entier (c est à dire sans partie fractionnaire) et muni d un signe positif ( + ) ou négatif ( − ). L… … Wikipédia en Français
