Ordinal successeur
Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
En mathématiques, un ordinal successeur est, de manière intuitive, le nombre ordinal qui « suit » immédiatement un autre ordinal.
[modifier] Définition
Soit α un ordinal. L'ordinal successeur de α est :
.
Il est noté :
- α + 1.
Réciproquement, α est l'ordinal prédécesseur de α + 1.
On vérifie que est bien un ordinal et que, si β est un ordinal tel que α < β, alors
: il n'existe donc aucun ordinal situé α et α + 1, ce qui légitime l'appellation d'ordinal successeur.