Ordinaux pairs et impairs
En mathématiques, les ordinaux 'pairs et impairs''', étendent le concept de parité des nombres naturels aux nombres ordinaux. Ils sont utiles dans certaines preuves par récurrence transfinie.

La littérature contient plusieurs définitions équivalentes de la parité d'un nombre ordinal α:

 Chaque ordinal limite (y compris 0) est pair. Le successeur d'un ordinal pair est impair, et vice versa.
 Soit α = λ + n, où λ est un ordinal limite, et n est un nombre naturel. La parité de α est la parité de n.
 Soit n le terme fini de la forme normale de Cantor de α. La parité de α est la parité de n.
 Soit α = ωβ + n, où n est un nombre naturel. La parité de α est la parité de n''.
 Si α = 2β, alors α est pair. Sinon α = 2β + 1 et α est impair.

Contrairement au cas des entiers pairs, on ne peut pas caractériser les ordinaux pairs comme des ordinaux de la forme  La multiplication des ordinaux n'est pas commutative, donc en général  En fait, l'ordinal pair  ne peut pas être exprimé sous la forme β + β, et le nombre ordinal

 (ω + 3)2 = (ω + 3) + (ω + 3) = ω + (3 + ω) + 3 = ω + ω + 3 = ω2 + 3

n'est pas pair.

Une application simple de la notion de parité dans les ordinaux est l'idempotence de la loi additive des cardinaux (en supposant toutefois le théorème du bon ordre, équivalent à l'axiome de choix). Si κ est un cardinal infini, ou plus généralement un ordinal limite, alors κ a le même type d'ordre que l'ensemble de ses ordinaux pairs et l'ensemble de ses ordinaux impairs. Dans les cardinaux infinis, nous avons donc l'égalité suivante,

Voir aussi 

 Nombre ordinal
 Nombre cardinal

Références 

Nombre ordinal
En mathématiques , les ordinaux ' pairs et impairs '' ' , étendent le concept de parité de les nombres naturels à les nombres ordinaux . Ils sont utiles dans certaines preuves par récurrence transfinie . La littérature contient plusieurs définitions équivalentes de la parité d' un nombre ordinal α : Chaque ordinal limite ( y comprisest pair . Le successeur d' un ordinal pair est impair , et vice versa . Soit α = λ + n , où λ est un ordinal limite , et n est un nombre naturel . La parité de α est la parité de n . Soit n le terme fini de la forme normale de Cantor de α . La parité de α est la parité de n . Soit α = ωβ + n , où n est un nombre naturel . La parité de α est la parité de n ' ' . Si α = , alors α est pair . Sinon α = +et α est impair . Contrairement à le cas de les entiers pairs , on ne peut pas caractériser les ordinaux pairs comme de les ordinaux de la forme La multiplication de les ordinaux n' est pas commutative , donc en général En fait , l' ordinal pair ne peut pas être exprimé sous la forme β + β , et le nombre ordinal ( ω + = ( ω + + ( ω + = ω ++ ω ) + = ω + ω + = ω2 + 3 n' est pas pair . Une application simple de la notion de parité dans les ordinaux est l' idempotence de la loi additive de les cardinaux ( en supposant toutefois le théorème de le bon ordre , équivalent à l' axiome de choix ) . Si κ est un cardinal infini , ou plus généralement un ordinal limite , alors κ a le même type d' ordre que l' ensemble de ses ordinaux pairs et l' ensemble de ses ordinaux impairs . Dans les cardinaux infinis , nous avons donc l' égalité suivante , Voir aussi Nombre ordinal Nombre cardinal Références Nombre ordinal