Ordinal successeur
- Ordinal successeur
-
Cet article court présente un sujet plus développé dans :
Nombre ordinal.
En théorie des ensembles, le successeur d'un ordinal α, noté α + 1, est l'ordinal qui suit immédiatement α, c'est-à-dire le plus petit ordinal strictement supérieur à α. Dans la définition des ordinaux de von Neumann l'ordinal successeur de α est α +1 = α ∪ {α}. Un ordinal qui est successeur d'un autre ordinal est dit ordinal successeur. Un ordinal non nul qui n'est pas successeur est dit ordinal limite.
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Ordinal successeur de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Ordinal — Nombre ordinal En linguistique, les mots premier, deuxième, troisième, quatrième, etc. s appellent des adjectifs numéraux ordinaux qui servent à préciser le rang d un objet dans une collection ou l ordre d un événement dans une succession. Cette… … Wikipédia en Français
Successeur — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. En mathématiques, un ordinal successeur est, de manière intuitive, le nombre ordinal qui « suit » immédiatement un autre ordinal. Un successeur… … Wikipédia en Français
Ordinal de Hartogs — En théorie des ensembles, l ordinal de Hartogs d un ensemble A désigne le plus petit ordinal qui ne s injecte pas dans A. Son existence utilise le remplacement et se démontre sans l axiome de choix, contrairement au théorème de Zermelo qui… … Wikipédia en Français
Nombre Ordinal — En linguistique, les mots premier, deuxième, troisième, quatrième, etc. s appellent des adjectifs numéraux ordinaux qui servent à préciser le rang d un objet dans une collection ou l ordre d un événement dans une succession. Cette notion se… … Wikipédia en Français
Nombre ordinal — En mathématiques, on appelle nombre ordinal un objet permettant de caractériser le type d ordre d un ensemble bien ordonné quelconque. Comme, en linguistique, les mots premier, deuxième, troisième, quatrième, etc. s appellent des adjectifs… … Wikipédia en Français
Grands ordinaux — Nombre ordinal En linguistique, les mots premier, deuxième, troisième, quatrième, etc. s appellent des adjectifs numéraux ordinaux qui servent à préciser le rang d un objet dans une collection ou l ordre d un événement dans une succession. Cette… … Wikipédia en Français
Théorie des ordinaux — Nombre ordinal En linguistique, les mots premier, deuxième, troisième, quatrième, etc. s appellent des adjectifs numéraux ordinaux qui servent à préciser le rang d un objet dans une collection ou l ordre d un événement dans une succession. Cette… … Wikipédia en Français
ENSEMBLES (THÉORIE DES) - Théorie axiomatique — La théorie des ensembles fut créée par Georg Cantor à la fin du XIXe siècle. Cependant, le caractère extrêmement général et abstrait de la notion d’ensemble permit de produire des paradoxes rendant la théorie contradictoire (cf. théorie… … Encyclopédie Universelle
Recurrence transfinie — Récurrence transfinie La récurrence transfinie, appelée aussi sous l influence anglaise induction transfinie, permet de construire des objets et de démontrer des théorèmes sur des ensembles infinis. Elle généralise la récurrence ordinaire sur N… … Wikipédia en Français
Récurrence finie — Récurrence transfinie La récurrence transfinie, appelée aussi sous l influence anglaise induction transfinie, permet de construire des objets et de démontrer des théorèmes sur des ensembles infinis. Elle généralise la récurrence ordinaire sur N… … Wikipédia en Français