Even and odd ordinals

Even and odd ordinals

In mathematics, even and odd ordinals extend the concept of parity from the natural numbers to the ordinal numbers. They are useful in some transfinite induction proofs.

The literature contains a few equivalent definitions of the parity of an ordinal α:

  • Every limit ordinal (including 0) is even. The successor of an even ordinal is odd, and vice versa.[1][2]
  • Let α = λ + n, where λ is a limit ordinal and n is a natural number. The parity of α is the parity of n.[3]
  • Let n be the finite term of the Cantor normal form of α. The parity of α is the parity of n.[4]
  • Let α = ωβ + n, where n is a natural number. The parity of α is the parity of n.[5]
  • If α = 2β, then α is even. Otherwise α = 2β + 1 and α is odd.[5][6]

Unlike the case of even integers, one cannot go on to characterize even ordinals as ordinal numbers of the form β2 = β + β. Ordinal multiplication is not commutative, so in general 2β ≠ β2. In fact, the even ordinal ω + 4 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 law for cardinal addition (given the well-ordering theorem). 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 κ + κ = κ.[2][7]

References

  1. ^ Bruckner, Andrew M., Judith B. Bruckner, and Brian S. Thomson (1997). Real Analysis. pp. p. 37. ISBN 013458886X. 
  2. ^ a b Salzmann, H., T. Grundhöfer, H. Hähl, and R. Löwen (2007). The Classical Fields: Structural Features of the Real and Rational Numbers. Cambridge University Press. pp. p. 168. ISBN 0521865166. 
  3. ^ Foran, James (1991). Fundamentals of Real Analysis. CRC Press. pp. p. 110. ISBN 0824784537. 
  4. ^ Harzheim, Egbert (2005). Ordered Sets. Springer. pp. p. 296. ISBN 0387242198. 
  5. ^ a b Kamke, Erich (1950). Theory of Sets. Courier Dover. pp. p. 96. ISBN 0486601412. 
  6. ^ Hausdorff, Felix (1978). Set Theory. American Mathematical Society. pp. p. 99. ISBN 0828401195. 
  7. ^ Roitman, Judith (1990). Introduction to Modern Set Theory. Wiley-IEEE. pp. p. 88. ISBN 0471635197. 

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Odd and Even — Not to be confused with Odd or Even. Odd and even redirects here. For other uses, see Odd and even numbers, Odd and even functions, Odd and even permutations and Odd and even ordinals. Odd and Even is a solitaire card game which is played with… …   Wikipedia

  • Numbers and fractions — This entry deals with: • numbers, such as 4, 108, and 1,001 • Roman numerals, such as IV, XII, and XXXII • ordinal numbers, such as seventh , twenty first , and 63rd • fractions, decimals, and percentages, such as *41/2, 3.142, and 21% • ways of… …   Useful english dictionary

  • numbers and fractions — This entry deals with: • numbers, such as 4, 108, and 1,001 • Roman numerals, such as IV, XII, and XXXII • ordinal numbers, such as seventh , twenty first , and 63rd • fractions, decimals, and percentages, such as *41/2, 3.142, and 21% • ways of… …   Useful english dictionary

  • Parity (mathematics) — In mathematics, the parity of an object states whether it is even or odd. This concept begins with integers. An even number is an integer that is evenly divisible by 2, i.e., divisible by 2 without remainder; an odd number is an integer that is… …   Wikipedia

  • List of mathematics articles (E) — NOTOC E E₇ E (mathematical constant) E function E₈ lattice E₈ manifold E∞ operad E7½ E8 investigation tool Earley parser Early stopping Earnshaw s theorem Earth mover s distance East Journal on Approximations Eastern Arabic numerals Easton s… …   Wikipedia

  • Evenness of zero — The number 0 is even. There are several ways to determine whether an integer is even or odd, all of which indicate that 0 is an even number: it is a multiple of 2, it is evenly divisible by 2, it is surrounded on both sides by odd integers, and… …   Wikipedia

  • Parity of zero — Zero objects, divided into two equal groups Zero is an even number. In other words, its parity the quality of an integer being even or odd is even. Zero fits the definition of even number : it is an integer multiple of 2, namely 0 × 2. As a… …   Wikipedia

  • Tower of Hanoi — The Tower of Hanoi or Towers of Hanoi (also known as The Towers of Bramha) is a mathematical game or puzzle. It consists of three rods, and a number of disks of different sizes which can slide onto any rod. The puzzle starts with the disks neatly …   Wikipedia

  • Surreal number — In mathematics, the surreal number system is an arithmetic continuum containing the real numbers as well as infinite and infinitesimal numbers, respectively larger or smaller in absolute value than any positive real number. The surreals share… …   Wikipedia

  • Wikipedia:Featured article candidates — Here, we determine which articles are to be featured articles (FAs). FAs exemplify Wikipedia s very best work and satisfy the FA criteria. All editors are welcome to review nominations; please see the review FAQ. Before nominating an article,… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”