Théorie des ensembles: récurrence transfinie

[invitecc854e5a]

Bonjour,

je ne vois pas du tout comment résoudre l'exercice suivant:


On définit par récurrence sur par



Calculer , et .


pouvez-vous m'aider,
merci.
-----

[invite23cdddab]

Quelle est ta définition de ?

[invitecc854e5a]

C'est juste + en fait.

[invitecc854e5a]

L'addition entre ordinaux.

[A voir en vidéo sur Futura]

[Médiat]

Bonjour

2+w est trivial, et l'union d'un ordinal aussi, non ?

[invitecc854e5a]

Je dirais (mais par contre je ne vois pas comment faire + 2) et Ord-1 si successeur ou Ord sinon.