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[1],[2].
- Soit α = λ + n, où λ est un ordinal limite, et n est un nombre naturel. La parité de α est la parité de n[3].
- Soit n le terme fini de la forme normale de Cantor de α. La parité de α est la parité de n[4].
- Soit α = ωβ + n, où n est un nombre naturel. La parité de α est la parité de n[5].
- Si α = 2β, alors α est pair. Sinon α = 2β + 1 et α est impair[6].
Contrairement au cas des entiers pairs, on ne peut pas caractériser les ordinaux pairs comme des ordinaux de la forme β2 = β + β. La multiplication des ordinaux n'est pas commutative, donc en général 2β ≠ β2. En fait, l'ordinal pair ω + 4 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, κ + κ = κ.[7]
Voir aussi[modifier | modifier le code]
Références[modifier | modifier le code]
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Even and odd ordinals » (voir la liste des auteurs).
- Bruckner, Andrew M., Judith B. Bruckner et Brian S. Thomson, Real Analysis, , 37 p. (ISBN 0-13-458886-X)
- Salzmann, H., T. Grundhöfer, H. Hähl, and R. Löwen, The Classical Fields : Structural Features of the Real and Rational Numbers, Cambridge University Press, , 168 p. (ISBN 978-0-521-86516-6 et 0-521-86516-6, lire en ligne)
- (en) James Foran, Fundamentals of Real Analysis, New York/Basel/Hong Kong, CRC Press, , 110 p. (ISBN 0-8247-8453-7, lire en ligne)
- Egbert Harzheim, Ordered Sets, Springer, , 296 p. (ISBN 0-387-24219-8, lire en ligne)
- (en) Erich Kamke (trad. de l'allemand), Theory of Sets, New York, Courier Dover, , 96 p. (ISBN 0-486-60141-2, lire en ligne)
- (en) Felix Hausdorff (trad. de l'allemand), Set Theory, New York, American Mathematical Society, , 99 p. (ISBN 0-8284-0119-5)
- (en) Judith Roitman, Introduction to Modern Set Theory, New York/Chichester/Brisbane etc, Wiley-IEEE, , 88 p. (ISBN 0-471-63519-7, lire en ligne)
