In mathematics, even and odd ordinals extend the concept of

parity Parity may refer to: * Parity (computing) ** Parity bit in computing, sets the parity of data for the purpose of error detection ** Parity flag in computing, indicates if the number of set bits is odd or even in the binary representation of the r ...

from the

natural number In mathematics, the natural numbers are those numbers used for counting (as in "there are ''six'' coins on the table") and ordering (as in "this is the ''third'' largest city in the country"). Numbers used for counting are called '' cardinal ...

s to the ordinal numbers. They are useful in some

transfinite induction Transfinite induction is an extension of mathematical induction to well-ordered sets, for example to sets of ordinal numbers or cardinal numbers. Its correctness is a theorem of ZFC. Induction by cases Let P(\alpha) be a property defined for ...

proofs. The literature contains a few equivalent definitions of the parity of an ordinal α: *Every

limit ordinal In set theory, a limit ordinal is an ordinal number that is neither zero nor a successor ordinal. Alternatively, an ordinal λ is a limit ordinal if there is an ordinal less than λ, and whenever β is an ordinal less than λ, then there exists ...

(including 0) is even. The successor of an even ordinal is odd, and vice versa. *Let α = λ + ''n'', where λ is a limit ordinal and ''n'' is a natural number. The parity of α is the parity of ''n''. *Let ''n'' be the finite term of the Cantor normal form of α. The parity of α is the parity of ''n''. *Let α = ωβ + ''n'', where ''n'' is a natural number. The parity of α is the parity of ''n''. *If α = 2β, then α is even. Otherwise α = 2β + 1 and α is odd. Unlike the case of even

integer An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign ( −1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the language ...

s, one cannot go on to characterize even ordinals as ordinal numbers of the form Ordinal multiplication is not commutative, so in general In fact, the even ordinal cannot be expressed as β + β, and the ordinal number :(ω + 3)2 = (ω + 3) + (ω + 3) = ω + (3 + ω) + 3 = ω + ω + 3 = ω2 + 3 is not even. A simple application of ordinal parity is the

idempotence Idempotence (, ) is the property of certain operations in mathematics and computer science whereby they can be applied multiple times without changing the result beyond the initial application. The concept of idempotence arises in a number of pla ...

law for

cardinal addition In mathematics, cardinal numbers, or cardinals for short, are a generalization of the natural numbers used to measure the cardinality (size) of Set (mathematics), sets. The cardinality of a finite set is a natural number: the number of elemen ...

(given the

well-ordering theorem In mathematics, the well-ordering theorem, also known as Zermelo's theorem, states that every set can be well-ordered. A set ''X'' is ''well-ordered'' by a strict total order if every non-empty subset of ''X'' has a least element under the o ...

). Given an infinite cardinal κ, or generally any limit ordinal κ, κ is order-isomorphic to both its subset of even ordinals and its subset of odd ordinals. Hence one has the cardinal sum

References

{{reflist Ordinal numbers Parity (mathematics)