Here are some comments about ordinal number I have known.
Ordinal number is a “order-type” of sets which is used to represent the “length” or “size” of well-ordering sets like , . It’s also an extension to since all of the natural number could be respresented by ordinal and it’s a proper superset as and where called successor of .
The following is a useful theorem to classify the well-ordering set by ordinal number,
Theorem. Every well-ordering set is isomorphic to an ordinal number.
With AC(Axiom of Choice), we could show that every set could be well-ordering by some order. However, this theorem is equivalent to AC and not provable without any other equivalent axioms.
Transfinite induction is a generalization of normal mathematical induction on to all ordinal numbers which states as follows,
Transfinite Induction. If we could prove the following,
- If holds, then holds.
- If is a nonzero limit ordinal number, and for all holds where , then holds.
Then, holds for all ordinal number .
Notice 3., the only different thing from usual mathematical induction is we have to deal with the case of limit ordinal number which defined as for all ordinal .
We could define arithmetic on this, but however, there is something different. First, we have to deal with the limit ordinal by sequence. Second, the operation of addition, multiplication and exponentiation are not commutative.
Let me introduce the notion of sequence of ordinal first. The usual sequences are defined on (or ) if it’s infinite or on if it’s finite of length . A transfinite sequence is a function defined on . for some ordinal or just . Sometimes, we could call a function defined on all ordinal number just “sequence”.
Then, we shall introduce the notion of limit of the sequence. where is a non-decreasing sequence, is some ordinal, and is the least upper bound of this well-ording set (that is, the existence of comes from it).
Now, we could define ordinal arithmetic as follows (by transfinite recursion).
Definition (Addition). For all ordinal numbers
- for all .
- for all limit ordinal .
- for all limit ordinal
- for all
- for all limit
By the above definition, there is a theorem called Cantor Normal Form which states that every ordinal number has one unique representation as a finite sum of where is an ordinal, and is a natural number. The concept of transfinite recusion could be apply to another generalization of well-ordering, the well-founded relation. Maybe it’s the next topic.