Finite and transfinite ordinal numbers edit

Historical context edit

Preliminaries edit

Standard representation of ordinal numbers edit

The definition of ordinal numbers offers little insight into their nature. In situations like this pure mathematicians create representations of the objects they wish to study. Such representations are built from familiar mathematical constructions and are equivalent to the obstruce objects. By manipulating the familiar objects in the representation, the pure mathematician may thus investigate the structure of the mysterious abstract entities.

The most common representation of the ordinal numbers, due to Von Neumann, is as follows. The ordinal 0 is defined to be the empty set  ; the ordinal 1 is defined to be the set  , which is of course equal to  . Similarly, the ordinal 2 is the set  ; the ordinal 3 is the set  ; the ordinal 4 is the set  . Any finite ordinal   is defined to be the set   (or, in a rigorous notation, the successor of an ordinal α is defined as the set  ).

In fact this definition extends naturally to transfinite ordinals. The ordinal   is the set consisting of every finite ordinal  . Again,   is the set  ;   is the set  ; and so on.

The ordinal   (or  ) is the set consisting of all finite ordinals and ordinals of the form  , where   is a finite ordinal. Thus  .

The ordinal   is the first uncountable ordinal, and is the set of all countable ordinals.

Ordinal arithmetic edit

Zorn's Lemma and the Axiom of Choice · Cardinals