To speak with any precision about higher infinities, we need to develop the basic theory of ordinal and cardinal numbers. We do that here, but first we need some even more basic notions about orders.
(We won’t be very formal here, but this informality may also lead to a lack of clarity. If anything is not clear, please let me know!)
You probably have an intuitive idea of what an ordering is. You have examples like the usual ordering on the set of real numbers, , or on the set of natural numbers, . But we need to be a bit more precise. For us, if is a set, then is a linear ordering on if the following conditions hold:
- (Reflexivity) For all , .
- (Transitivity) For all , if and , then .
- (Anti-symmetry) For all , if and , then .
- (Linearity) For all , it must be the case that or .
If is a linear ordering on , then we define the strict order by letting if and .
You are invited to check that the usual orderings on and satisfy the definition given above. We will be interested in a stronger notion, that of a well-ordering: If is a linear ordering on a set , then we say is a well-ordering if every non-empty subset of has a -least element, i.e. for every non-empty , there is such that, for all , .
Returning to our familiar examples, we see that the usual ordering on is not a well-ordering. For example, the let has no least element. On the other hand, the usual ordering on is a well-ordering (Exercise: Why?).
Ordinal numbers (or ordinals) describe the order types of well-orderings. A key fact is that the class of ordinal numbers is itself well-ordered. And what are these ordinal numbers? For us, an ordinal number is precisely the set of ordinal numbers less than it.
This is all rather imprecise and probably confusing. It should help to look at some ordinals, starting from the smallest.
To begin with, every natural number is an ordinal, describing the unique order type of an ordering with that number of elements. (For example, there’s essentially only one way to order three elements: there’s a first element, a second, and a third. As we’ll see, this is no longer true for infinite sets, for which there are many essentially different well-orderings.) But we said that an ordinal is precisely the set of ordinals smaller than it. There are no ordinals smaller than , so, by our convention, . Then , , etc.
This takes care of the natural numbers. What comes next? Well, next comes the least ordinal greater than all of the natural numbers. And remember, being greater means ‘contains as an element,’ so the next ordinal is precisely the set of all natural numbers, . As an ordinal, we refer to this as .
Now for a general observation: every ordinal has a least ordinal greater than it. This ordinal is referred to as the successor of and is denoted . As a set, it is , i.e. it contains all of the elements of and itself. The successor of is , and so on.
Thus, after comes . What order type does this describe? Let , and define an ordering by saying if either and are both natural numbers and in the usual ordering or . Thus, orders as usual and stipulates that is larger than every natural number. The order type of is precisely .
After comes , and so on. Then comes , also denoted by . Skipping ahead, we get . Further down the line, we get , also denoted by . We then get . We could keep going like this for quite a while.
Cardinal numbers (or cardinals) are, unsurprisingly, numbers that describe cardinality. We’ve already discussed cardinality in the Sets, Functions, and Cardinality page. One way to state the Axiom of Choice, one of the standard axioms of set theory, is that, for every set, there is a bijection between that set and an ordinal. Therefore, for every cardinality, there is an ordinal of that cardinality. And, because the class of ordinals is well-ordered, there is in fact a least ordinal of that cardinality. We will associate each cardinality with the least ordinal of that cardinality, and call such an ordinal a cardinal.
A consequence of the fact that the ordinals are well-ordered is the fact that the cardinals are also well-ordered. We have seen that there is a least infinite cardinal, corresponding to the cardinality of the set of natural numbers. This is typically denoted . There is thus a next smallest infinite cardinal, denoted by . There is then and so on.
Every natural number is therefore a cardinal. is the least countably infinite ordinal, so is a cardinal. As noted in the previous paragraph, this cardinal is also denoted . (Typically, the -notation is used when thinking of it as an ordinal and the -notation when thinking of it as a cardinal, though, in practice, the two are interchangeable.) All of the other ordinals described in the section on Ordinals turn out to be countable. The least uncountable ordinal, corresponding to the cardinal , is denoted by . As a set, is precisely the set of all countable ordinals. The ordinal corresponding to is , the ordinal corresponding to is , and so on.