In the mathematical field of set theory, ordinal arithmetic describes the three usual operations on ordinal numbers: addition, multiplication, and exponentiation. Each can be defined in essentially two different ways: either by constructing an explicit well-ordered set which represents the operation or by using transfinite recursion. Cantor normal form provides a standardized way of writing ordinals. The so-called "natural" arithmetical operations retain commutativity at the expense of continuity. Interpreted as nimbers, ordinals are also subject to nimber arithmetic operations.
Contents
Addition
The union of two disjoint well-ordered sets S and T can be well-ordered. The order-type of that union is the ordinal which results from adding the order-types of S and T. If two well-ordered sets are not already disjoint, then they can be replaced by order-isomorphic disjoint sets, e.g. replace S by {0} × S and T by {1} × T. This way, the well-ordered set S is written "to the left" of the well-ordered set T, meaning one defines an order on S
The first transfinite ordinal is ω, the set of all natural numbers. For example, the ordinal ω + ω is obtained by two copies of the natural numbers ordered in the usual fashion and the second copy completely to the right of the first. Writing 0' < 1' < 2' < ... for the second copy, ω + ω looks like
0 < 1 < 2 < 3 < ... < 0' < 1' < 2' < ...This is different from ω because in ω only 0 does not have a direct predecessor while in ω + ω the two elements 0 and 0' do not have direct predecessors. As another example, here are 3 + ω and ω + 3:
0 < 1 < 2 < 0' < 1' < 2' < ...0 < 1 < 2 < ... < 0' < 1' < 2'After relabeling, the former just looks like ω itself, i.e. 3 + ω = ω, while the latter does not: ω + 3 is not equal to ω since ω + 3 has a largest element (namely, 2') and ω does not. Hence, this addition is not commutative. In fact it is quite rare for α+β to be equal to β+α: this happens if and only if α=γm, β=γn for some ordinal γ and natural numbers m and n. From this it follows that "α commutes with β" is an equivalence relation on the set of nonzero ordinals, and all the equivalence classes are countably infinite.
However, addition is still associative; one can see for example that (ω + 4) + ω = ω + (4 + ω) = ω + ω.
The definition of addition can also be given inductively (the following induction is on β):
Using this definition, ω + 3 can be seen to be a successor ordinal (it is the successor of ω + 2), whereas 3 + ω is a limit ordinal, namely, the limit of 3 + 0 = 3, 3 + 1 = 4, 3 + 2 = 5, etc., which is just ω.
Zero is an additive identity α + 0 = 0 + α = α.
Addition is associative (α + β) + γ = α + (β + γ).
Addition is strictly increasing and continuous in the right argument:
but the analogous relation does not hold for the left argument; instead we only have:
Ordinal addition is left-cancellative: if α + β = α + γ, then β = γ. Furthermore, one can define left subtraction for ordinals β ≤ α: there is a unique γ such that α = β + γ. On the other hand, right cancellation does not work:
Nor does right subtraction, even when β ≤ α: for example, there does not exist any γ such that γ + 42 = ω.
If the ordinals less than α are closed under addition and contain 0 then α is occasionally called a γ-number (see additively indecomposable ordinal). These are exactly the ordinals of the form ωβ.
Multiplication
The Cartesian product, S×T, of two well-ordered sets S and T can be well-ordered by a variant of lexicographical order that puts the least significant position first. Effectively, each element of T is replaced by a disjoint copy of S. The order-type of the Cartesian product is the ordinal which results from multiplying the order-types of S and T. Again, this operation is associative and generalizes the multiplication of natural numbers.
Here is ω·2:
00 < 10 < 20 < 30 < ... < 01 < 11 < 21 < 31 < ...which has the same order type as ω + ω. In contrast, 2·ω looks like this:
00 < 10 < 01 < 11 < 02 < 12 < 03 < 13 < ...and after relabeling, this looks just like ω. Thus, ω·2 = ω+ω ≠ ω = 2·ω, showing that multiplication of ordinals is not commutative. More generally, a natural number greater than 1 never commutes with any infinite ordinal, and two infinite ordinals α, β commute if and only if αm = βn for some positive natural numbers m and n. The relation "α commutes with β" is an equivalence relation on the ordinals greater than 1, and all equivalence classes are countably infinite.
Distributivity partially holds for ordinal arithmetic: R(S+T) = RS+RT. However, the other distributive law (T+U)R = TR+UR is not generally true: (1+1)·ω = 2·ω = ω while 1·ω+1·ω = ω+ω which is different. Therefore, the ordinal numbers form a left near-semiring, but do not form a ring.
The definition of multiplication can also be given inductively (the following induction is on β):
The main properties of the product are:
A δ-number (see additively indecomposable ordinal#Multiplicatively indecomposable) is an ordinal greater than 1 such that αδ=δ whenever 0<α<δ. These consist of the ordinal 2 and the ordinals of the form ωωβ.
Exponentiation
The definition of ordinal exponentiation for finite exponents is straightforward. If the exponent is a finite number, the power is the result of iterated multiplication. For instance, ω2 = ω·ω using the operation of ordinal multiplication. Note that ω·ω can be defined using the set of functions from 2 = {0,1} to ω = {0,1,2,...}, ordered lexicographically with the least significant position first:
(0,0) < (1,0) < (2,0) < (3,0) < ... < (0,1) < (1,1) < (2,1) < (3,1) < ... < (0,2) < (1,2) < (2,2) < ...Here for brevity, we have replaced the function {(0,k), (1,m)} by the ordered pair (k, m).
Similarly, for any finite exponent n,
But for infinite exponents, the definition may not be obvious. A limit ordinal, such as ωω, is the supremum of all smaller ordinals. It might seem natural to define ωω using the set of all infinite sequences of natural numbers. However, we find that any absolutely defined ordering on this set is not well-ordered. To deal with this issue we can use the variant lexicographical ordering again. We restrict the set to sequences which are nonzero for only a finite number of arguments. This is naturally motivated as the limit of the finite powers of the base (similar to the concept of coproduct in algebra). This can also be thought of as the infinite union
Each of those sequences corresponds to an ordinal less than
The lexicographical order on this set is a well ordering that resembles the ordering of natural numbers written in decimal notation, except with digit positions reversed, and with arbitrary natural numbers instead of just the digits 0–9:
(0,0,0,...) < (1,0,0,0,...) < (2,0,0,0,...) < ... <(0,1,0,0,0,...) < (1,1,0,0,0,...) < (2,1,0,0,0,...) < ... <(0,2,0,0,0,...) < (1,2,0,0,0,...) < (2,2,0,0,0,...)(0,0,1,0,0,0,...) < (1,0,1,0,0,0,...) < (2,0,1,0,0,0,...)In general, any ordinal α can be raised to the power of another ordinal β in the same way to get αβ.
It is easiest to explain this using Von Neumann's definition of an ordinal as the set of all smaller ordinals. Then, to construct a set of order type αβ consider all functions from β to α such that only a finite number of elements of the domain β map to a non zero element of α (essentially, we consider the functions with finite support). The order is lexicographic with the least significant position first. We find
The definition of exponentiation can also be given inductively (the following induction is on β, the exponent):
Properties of ordinal exponentiation:
Warning: Ordinal exponentiation is quite different from cardinal exponentiation. For example, the ordinal exponentiation 2ω = ω, but the cardinal exponentiation
Jacobsthal showed that the only solutions of αβ = βα with α≤β are given by α=β, or α=2 β=4, or α is any limit ordinal and β=εα where ε is an ε-number larger than α.
Cantor normal form
Every ordinal number α can be uniquely written as
A minor variation of Cantor normal form, which is usually slightly easier to work with, is to set all the numbers ci equal to 1 and allow the exponents to be equal. In other words, every ordinal number α can be uniquely written as
Another variation of the Cantor normal form is the "base δ expansion", where ω is replaced by any ordinal δ>1, and the numbers ci are positive ordinals less than δ.
The Cantor normal form allows us to uniquely express—and order—the ordinals α that are built from the natural numbers by a finite number of arithmetical operations of addition, multiplication and exponentiation base-
denotes an ordinal).
The ordinal ε0 (epsilon nought) is the set of ordinal values α of the finite-length arithmetical expressions of Cantor normal form that are hereditarily non-trivial where non-trivial means β1<α when 0<α. It is the smallest ordinal that does not have a finite arithmetical expression in terms of ω, and the smallest ordinal such that
The ordinal ε0 is important for various reasons in arithmetic (essentially because it measures the proof-theoretic strength of the first-order Peano arithmetic: that is, Peano's axioms can show transfinite induction up to any ordinal less than ε0 but not up to ε0 itself).
The Cantor normal form also allows us to compute sums and products of ordinals: to compute the sum, for example, one need merely know that
if
and
if n is a non-zero natural number.
To compare two ordinals written in Cantor normal form, first compare
Factorization into primes
Ernst Jacobsthal showed that the ordinals satisfy a form of the unique factorization theorem: every nonzero ordinal can be written as a product of a finite number of prime ordinals. This factorization into prime ordinals is in general not unique, but there is a "minimal" factorization into primes that is unique up to changing the order of finite prime factors (Sierpiński 1958).
A prime ordinal is an ordinal greater than 1 that cannot be written as a product of two smaller ordinals. Some of the first primes are 2, 3, 5, ... , ω, ω+1, ω2+1, ω3+1, ..., ωω, ωω+1, ωω+1+1, ... There are three sorts of prime ordinals:
Factorization into primes is not unique: for example, 2×3=3×2, 2×ω=ω, (ω+1)×ω=ω×ω and ω×ωω = ωω. However, there is a unique factorization into primes satisfying the following additional conditions:
This prime factorization can easily be read off using the Cantor normal form as follows:
So the factorization of the Cantor normal form ordinal
into a minimal product of infinite primes and integers is
where each ni should be replaced by its factorization into a non-increasing sequence of finite primes and
Large countable ordinals
As discussed above, the Cantor Normal Form of ordinals below
The operations of addition, multiplication and exponentiation are all examples of primitive recursive ordinal functions, and more general primitive recursive ordinal functions can be used to describe larger ordinals.
Natural operations
The natural sum and natural product operations on ordinals were defined in 1906 by Gerhard Hessenberg, and are sometimes called the Hessenberg sum (or product) (Sierpinski 1958). These are the same as the addition and multiplication (restricted to ordinals) of John Conway's field of surreal numbers. They have the advantage that they are associative and commutative, and natural product distributes over natural sum. The cost of making these operations commutative is that they lose the continuity in the right argument which is a property of the ordinary sum and product. The natural sum of α and β is sometimes denoted by α # β, and the natural product by a sort of doubled × sign: α ⨳ β. (Other common notation is α ⊕ β and α ⊗ β). To define the natural sum of two ordinals, consider once again the disjoint union
The natural sum is associative and commutative. It is always greater or equal to the usual sum, but it may be greater. For example, the natural sum of ω and 1 is ω+1 (the usual sum), but this is also the natural sum of 1 and ω.
To define the natural product of two ordinals, consider once again the cartesian product S × T of two well-ordered sets having these order types. Start by putting a partial order on this cartesian product by using just the product order (compare two pairs if and only if each of the two coordinates is comparable). Now consider the order types of all well-orders on S × T which extend this partial order: the least upper bound of all these ordinals (which is, actually, not merely a least upper bound but actually a greatest element) is the natural product. There is also an inductive definition of the natural product (by mutual induction), but it is somewhat tedious to write down and we shall not do so (see the article on surreal numbers for the definition in that context, which, however, uses surreal subtraction, something which obviously cannot be defined on ordinals).
The natural product is associative and commutative and distributes over the natural sum. It is always greater or equal to the usual product, but it may be greater. For example, the natural product of ω and 2 is ω·2 (the usual product), but this is also the natural product of 2 and ω.
Yet another way to define the natural sum and product of two ordinals α and β is to use the Cantor normal form: one can find a sequence of ordinals γ1 > … > γn and two sequences (k1, …, kn) and (j1, …, jn) of natural numbers (including zero, but satisfying ki + ji > 0 for all i) such that
and defines
Under natural addition, the ordinals can be identified with the elements of the free abelian group with basis the gamma numbers ωα that have non-negative integer coefficients. Under natural addition and multiplication, the ordinals can be identified with the elements of the (commutative) polynomial ring generated by the delta numbers ωωα that have non-negative integer coefficients. The ordinals do not have unique factorization into primes under the natural product. While the full polynomial ring does have unique factorization, the subset of polynomials with non-negative coefficients does not: for example, if x is any delta number, then
has two incompatible expressions as a natural product of polynomials with non-negative coefficients that cannot be decomposed further.
Nimber arithmetic
There are arithmetic operations on ordinals by virtue of the one-to-one correspondence between ordinals and nimbers. Three common operations on nimbers are nimber addition, nimber multiplication, and minimum excludance (mex). Nimber addition is a generalization of the bitwise exclusive or operation on natural numbers. The mex of a set of ordinals is the smallest ordinal not present in the set.