Natural surgery
The Hessenberg natural operations , named after Gerhard Hessenberg , are mathematical arithmetic operations for ordinal numbers and essentially use Cantor's normal forms of the operands and thus the transfinite arithmetic of ordinal numbers.
Cantor's normal form
The Cantor normal form of an ordinal number has the form of a sum of - powers , the summands of which are ordered according to decreasing size and are all :
where the exponents themselves are ordinal numbers and the coefficients are natural numbers .
The Cantor normal form of the ordinal number is the sum with the single summand .
Natural sum
The natural sum of two ordinal numbers is determined by their Cantor normal form. This Cantor normal form of results from the Cantor normal forms of and by formally combining their two summands to a new sum, adding the coefficients of summands with the same -potency, and finally arranging these summands again according to decreasing -potencies.
This natural addition is not only associative and genuinely monotonic, like the ordinary addition of ordinals, it is also commutative . And the ordinal number 0 is again a neutral element, even with natural addition.
Natural product
Similarly, the natural product of two ordinal numbers is determined by its Cantor normal form. This Cantor normal form of results from the Cantor normal forms of and by formally multiplying these two sums out, understanding the formal product of two summands and as summands . It is important that the -exponent of this summand contains the natural sum of the -exponents of its formal factors.
Finally, all of these summands are again arranged according to descending powers and combined as a sum.
This natural multiplication , like the usual multiplication of ordinal numbers, is associative and strictly monotonic in the case of natural multiplication by a factor . It has a zero element and a neutral element. In addition, it is also commutative and (completely) distributive with respect to natural addition.
The ordinal numbers thus form an ordered commutative ring with one element with regard to Hessenberg's natural operations and their usual well-order .
Examples
It is and always is for ordinals and natural numbers .
It is and thus different both from and from .
And it is different both from and from and again .
literature
- Heinz Bachmann: Transfinite numbers. Springer, 1967.
- Dieter Klaua : General set theory . Akademie-Verlag, Berlin 1964.
- Wacław Sierpiński : Cardinal and ordinal numbers. Warsaw 1965, OCLC 500328243 .
- Kazimierz Kuratowski , Andrzej Mostowski : Set theory. North-Holland, 1976, OCLC 251672808 .
- Felix Hausdorff : Fundamentals of set theory. 1914. Chelsea Publishing, New York 1949, OCLC 888238 .