Ordinals

1. The idea of an ordinal

Certain constructions in set theory go beyond the finite. For example in the construction of the cumulative hierarchy we defined V 0 = and V i + 1 = P ( V i ) . But we also said we would collect together previous levels ever so often at limit stages. The idea of ordinal is a generalisation of counting number that includes infinite values or limits, in which we can make these constructions precise.

The formal definition is precise but not very instructive.

Definition.

An ordinal is (possibly empty) set α which is transitive and on which the membership relation defines a linear order:

  • x α y α z α ( x y y x x z )
  • x α y α ( x y x = y y x )

(We don't need the irreflexivity axiom x α x x as this holds for all sets x .)

The relation restricted to an ordinal α is often written < . It is a well-order, meaning that it is a linear order such that for every nonempty subset x α the set x has a < -least element. (This is an easy application of foundation together with transitivity. By foundation, there is β x with β x = and if also γ < β then γ α by transitivity of α and hence γ x . Thus β is the < -least element of x .)

A better view of ordinals, but one that at this stage one that has to be regarded as rather informal, is that they represent the well-orders in some canonical way. Indeed an ordinal is well-ordered as we have just seen, no two distinct ordinals are isomorphic as linear orderd, and also (as it turns out) any well-order is order-isomorphic to some ordinal.

2. Examples and preliminary results

Proposition.

is an ordinal.

Proof.

Easy

We denote by 0 .

Proposition.

If α is an ordinal then so is s ( α ) = α α .

Proof.

If x y α α then either y = α so x α α α or y α so x α α α by transitivity of α . Hence s ( α ) is transitive.

If x , y , z α α and x y z then by checking all the cases ( z = α or not) we find x z as required for transitivity of or else x , y , z α from which x z follows as α is an ordinal.

If x , y α α then by checking all the cases ( x , y = α or not) we find x y or x = y or y x as required for transitivity of , or else x , y α from which one of the three possibilities follows as α is an ordinal.

We write 1 , 2 , 3 , for s ( 0 ) , s ( 1 ) , s ( 2 ) , . We write α + 1 for s ( α ) . We also use the relation < for when looking at elements of an ordinal.

Proposition.

If α , β are ordinals then α β is an ordinal.

Proof.

Easy.

Proposition.

If x α where α is an ordinal then x is an ordinal.

Proof.

Transitivity of x follows from being transitive on α and α being transitive. The other properties are easy.

Proposition.

If α , β are ordinals then either α β or β α .

Proof.

Assume first that α β is a proper subset of α . Then there is a least γ in α α β . If δ γ α then δ α and δ < γ so δ α β by minimality of γ . So γ α β . Conversely if δ α β then with γ , δ both being elements of α we must have δ γ , δ = γ , or γ δ . The second of these gives γ = δ α β contradicting the choice of γ , and the third gives γ δ α β hence γ α β , likewise. Therefore δ γ and thus α β γ and these are equal. In particular from γ α we have α β α .

Similarly if α β is a proper subset of β we deduce that α β β . Thus we cannot have α β is both proper subset of α and of β else α β α β contradicting foundation.

Proposition.

If α , β are ordinals then either α = β or α β or β α .

Proof.

Suppose α β but that these are not the same. The by the proof of the preceding result the least γ β α is α itself, so α β .

Proposition.

If α is a nonzero ordinal then 0 α .

Proof.

By the previous proposition, either α 0 or 0 α , and of course the first of these is absurd.

Proposition.

If x is a set of ordinals then x is an ordinal.

Proof.

Exercise.

Proposition.

If α is an ordinal and x α then x + 1 α or x + 1 = α .

Proof.

If x α then x is an ordinal and x + 1 = α or x + 1 α or α x + 1 . We just have to show the last cannot happen. But if α x x then α = x α or α x α , both of which contradict foundation.

Proposition.

Any ordinal α is exactly one of: zero, 0; a successor ordinal, β + 1 for some ordinal β ; a limit ordinal, a non-zero ordinal λ such that for each x λ we have x + 1 λ .

Proof.

If α is neither zero nor a successor ordinal it must be a limit, by the previous proposition. It is easy to check that the three alternatives are mutually exclusive.