Natürliche Operation

Die Hessenbergschen natürlichen Operationen, benannt nach Gerhard Hessenberg, sind mathematische Rechenoperationen für Ordinalzahlen und benutzen wesentlich die Cantorschen Normalformen der Operanden und damit die transfinite Arithmetik der Ordinalzahlen.

Cantorsche Normalform

Die Cantorsche Normalform einer Ordinalzahl $\alpha \neq 0$ hat die Gestalt einer Summe von $\omega$-Potenzen, deren Summanden nach fallender Größe geordnet und sämtlich $\neq 0$ sind:

$\alpha =\omega ^{\lambda _{m_{\alpha }}^{(\alpha )}}{\kappa _{m_{\alpha }}^{(\alpha )}}+\cdots +\omega ^{\lambda _{0}^{(\alpha )}}{\kappa _{0}^{(\alpha )}}=\sum _{i\leq m_{\alpha }}\ \omega ^{\lambda _{i}^{(\alpha )}}{\kappa _{i}^{(\alpha )}},$

wobei die Exponenten $\lambda _{0}^{(\alpha )}<\dots <\lambda _{m_{\alpha }}^{(\alpha )}\leq \alpha$ selbst Ordinalzahlen sind und die Koeffizienten $0<\kappa _{0}^{(\alpha )},\dots ,\kappa _{m_{\alpha }}^{(\alpha )}<\omega$ natürliche Zahlen.

Die Cantorsche Normalform der Ordinalzahl $\alpha =0$ ist die Summe mit dem einzigen Summanden $0=\omega ^{0}0$.

Natürliche Summe

Die natürliche Summe $\alpha \oplus \beta$ zweier Ordinalzahlen wird durch ihre Cantorsche Normalform festgelegt. Diese Cantorsche Normalform von $\alpha \oplus \beta$ ergibt sich aus den Cantorschen Normalformen von $\alpha$ und $\beta$ dadurch, dass man deren beider Summanden formal zu einer neuen Summe zusammenfügt, dabei die Koeffizienten von Summanden mit gleicher $\omega$-Potenz addiert, und schließlich diese Summanden wieder nach absteigenden $\omega$-Potenzen ordnet.

Diese natürliche Addition $\oplus$ ist nicht nur assoziativ und echt monoton, wie die gewöhnliche Addition von Ordinalzahlen, sie ist auch kommutativ. Und die Ordinalzahl 0 ist wieder neutrales Element auch bei der natürlichen Addition.

Natürliches Produkt

Analog wird das natürliche Produkt $\alpha \odot \beta$ zweier Ordinalzahlen durch seine Cantorsche Normalform festgelegt. Diese Cantorsche Normalform von $\alpha \odot \beta$ ergibt sich aus den Cantorschen Normalformen von $\alpha$ und $\beta$ dadurch, dass man diese beiden Summen formal ausmultipliziert, dabei das formale Produkt zweier Summanden $\omega ^{\lambda _{i}^{(\alpha )}}{\kappa _{i}^{(\alpha )}}$ und $\omega ^{\lambda _{j}^{(\beta )}}{\kappa _{j}^{(\beta )}}$ als Summanden $\omega ^{({\lambda _{i}^{(\alpha )}\oplus \lambda _{j}^{(\beta )}})}{\kappa _{i}^{(\alpha )}\cdot \kappa _{j}^{(\beta )}}$ versteht. Wichtig ist dabei, dass im $\omega$-Exponenten dieses Summanden die natürliche Summe der $\omega$-Exponenten seiner formalen Faktoren steht.

Schließlich werden alle diese Summanden wieder nach absteigenden $\omega$-Potenzen geordnet und als Summe zusammengefasst.

Diese natürliche Multiplikation $\odot$ ist, wie die gewöhnliche Multiplikation von Ordinalzahlen, assoziativ und streng monoton bei natürlicher Multiplikation mit einem Faktor $\neq 0$. Sie hat $\alpha =0$ als Nullelement und $\alpha =1$ als neutrales Element. Zusätzlich ist sie aber auch kommutativ und (vollständig) distributiv bezüglich der natürlichen Addition.

Damit bilden die Ordinalzahlen hinsichtlich der Hessenbergschen natürlichen Operationen und ihrer gewöhnlichen Wohlordnung einen geordneten kommutativen Ring mit Einselement.

Beispiele

Es ist $\omega \oplus 1=\omega +1$ und sogar immer $\alpha \oplus n=\alpha +n$ für Ordinalzahlen $\alpha$ und natürliche Zahlen $n<\omega$.

Es ist $(\omega +2)\oplus (\omega +1)=\omega \cdot 2+3$ und damit verschieden sowohl von $(\omega +2)+(\omega +1)=\omega \cdot 2+1$ als auch von $(\omega +1)+(\omega +2)=\omega \cdot 2+2$.

Und es ist $(\omega +1)\odot (\omega +2)=\omega ^{2}+\omega \cdot 3+2$ und erneut verschieden sowohl von $(\omega +1)\cdot (\omega +2)=\omega ^{2}+\omega \cdot 2+1$ als auch von $(\omega +2)\cdot (\omega +1)=\omega ^{2}+\omega +2$.

Literatur

• Heinz Bachmann: Transfinite Zahlen. Springer, 1967.
• Dieter Klaua: Allgemeine Mengenlehre. Akademie-Verlag, Berlin 1964.
• Wacław Sierpiński: Cardinal and ordinal numbers. Warschau 1965, OCLC 500328243.
• Kazimierz Kuratowski, Andrzej Mostowski: Set theory. North-Holland, 1976, OCLC 251672808.
• Felix Hausdorff: Grundzüge der Mengenlehre. 1914. Chelsea Publishing, New York 1949, OCLC 888238.