Construction des 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
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Construction des entiers naturels de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
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
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
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 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… … 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 gammes naturelles — Gamme naturelle Acoustique musicale Note de musique Harmonique Intervalle Consonance Cycle des quintes Gamme musicale Système tonal Échelle musicale Échelle diatonique Échelle chromatique Liste des gam … Wikipédia en Français
Construction des gammes naturelles (Zarlino, etc.) — Gamme naturelle Acoustique musicale Note de musique Harmonique Intervalle Consonance Cycle des quintes Gamme musicale Système tonal Échelle musicale Échelle diatonique Échelle chromatique Liste des gam … 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
