Set Theory/Ordinals< Set Theory
Finite and transfinite ordinal numbersEdit
Standard representation of ordinal numbersEdit
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.