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 :

  1. L'ensemble vide \varnothing est un entier naturel noté 0.
  2. Si n est un entier naturel, l'ensemble n U {n} est aussi un entier naturel, appelé le successeur immédiat de n.
  3. 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 Portail des mathématiques
Ce document provient de « Construction des entiers naturels ».

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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”