Transfinite Zahl

Transfinite Zahl

Die transfinite Arithmetik ist die Arithmetik der Ordinalzahlen. Die arithmetischen Operationen zwischen Ordinalzahlen kann man mittels transfiniter Rekursion als stetige Fortsetzung der finiten Rechenoperationen einführen oder durch geeignete Mengenkompositionen, so dass ihre Einschränkung auf den endlichen Ordinalzahlen der üblichen Arithmetik bei den natürlichen Zahlen entspricht. Die Addition und die Multiplikation von Ordinalzahlen ist von Cantor (1897) durch Komposition eingeführt worden, das Potenzieren dagegen funktional mittels Grenzübergang.[1] Die erste ausführliche und systematische Studie über transfinite Arithmetik stammt von Ernst Jacobsthal ("Über den Aufbau der transfiniten Arithmetik", Math. Ann., 1909). Sie zeigt, dass beide Methoden – die funktionale und die Kompositionsmethode – zu denselben Rechenoperationen führen.

Inhaltsverzeichnis

Addition

Falls eine von zwei Ordinalzahlen die leere Menge ist, dann ist ihre Summe gleich die andere Ordinalzahl. Um die Summe zweier nichtleeren Ordinalzahlen σ und τ zu definieren, geht man so vor: Man benennt die Elemente von τ so um, dass σ und die umbenannte Menge τ(0) disjunkt sind, und „schreibt σ links neben τ(0) “, d. h. man vereinigt σ mit τ(0) und definiert die Ordnung so, dass innerhalb von σ und τ(0) jeweils die vorige Ordnung gilt und jedes Element von σ kleiner ist als jedes Element von τ(0).[2],[3] Auf diese Weise wird die neue Menge wohlgeordnet und ist ordnungsisomorph zu einer eindeutig bestimmten Ordinalzahl, die man mit σ + τ bezeichnet. Diese Addition ist assoziativ und verallgemeinert die Addition natürlicher Zahlen.

Die erste transfinite Ordinalzahl ist die geordnete Menge aller natürlichen Zahlen, man bezeichnet sie mit ω. Veranschaulichen wir uns die Summe ω + ω: Wir schreiben die zweite Kopie als {0(0) < 1(0) < 2(0) < ...}, dann haben wir

ω + ω = ord({0 < 1 < 2 < 3 < ... < 0(0) < 1(0) < 2(0) < 3(0) < ...})

Diese Menge ist nicht ω, denn in ω ist die 0 die einzige Zahl ohne Vorgänger, und ω + ω hat zwei Elemente ohne Vorgänger (0 und 0(0)). Die Menge 3 + ω sieht so aus:

ord({0 < 1 < 2 < 0(0) < 1(0) < 2(0) < 3(0) < ...}) = ω

Wir haben also 3 + ω = ω. Dagegen ist

ω + 3 = ord({0 < 1 < 2 < 3 < ... < 0(0) < 1(0) < 2(0)})

ungleich ω, denn 2(0) ist das größte Element von ω + 3, aber ω hat kein größtes. Also ist die Addition nicht kommutativ.[4] Man kann die Summe ξ + η von zwei Ordinalzahlen ξ und η funktional folgendermaßen definieren, wobei beide Definitionen in ZF äquivalent sind:

  • falls η = 0, dann sei ξ + η = ξ,
  • falls η isoliert ist und η der Vorgänger von η ist, dann sei ξ + η = s(ξ + η ),
  • falls η eine Limeszahl ist, dann sei ξ + η = sup{ξ + β | β < η}.

Die Addition ist monoton. Das heißt: ξ < η{\ }^\Rightarrowβ + ξ < β + η und ξ{\ }^\leqη{\ }^\Rightarrowξ + β{\ }^\leqη + β. Falls ξ{\ }^\leqη, dann existiert eine eindeutig bestimmte Ordinalzahl x, so dass η = ξ + x. Man bezeichnet sie mit: − ξ + η.[5] Seien α und β zwei Ordinalzahlen. Falls die Gleichung x + α = β eine Lösung x hat, dann hat sie unendlich viele Lösungen im Falle, dass β{\!}^{\ge}ω und genau eine Lösung im Falle, dass β < ω. Hat x + α = β überhaupt Lösungen, dann versteht man unter β − α die kleinste davon. In diesem Sinne gilt für jede isolierte Zahl γ: s(γ − 1) = γ. Jede transfinite Ordinalzahl lässt sich auf genau einer Weise als Summe λ + n von einer Limeszahl λ und einer endlichen Ordinalzahl n darstellen. Eine Ordinalzahl δ heißt Rest von ξ falls es eine Ordinalzahl η gibt, so dass ξ = η + δ. Jede Ordinalzahl hat endlich viele Reste.[6]

Multiplikation

Um zwei Ordinalzahlen σ und τ zu multiplizieren, schreibt man τ hin und ersetzt jedes Element von τ durch eine andere Kopie von σ.[7] Das Ergebnis ist eine wohlgeordnete Menge, die isomorph zu genau einer Ordinalzahl ist, die man mit στ bezeichnet.[8] Auch diese Verknüpfung ist assoziativ und verallgemeinert die Multiplikation der natürlichen Zahlen.

Die Ordinalzahl ω·2 sieht so aus:

{0(0) < 1(0) < 2(0) < ... < 0(1) < 1(1) < 2(1) < ...}

Man erkennt, dass ω·2 = ω + ω ist. Dagegen sieht 2·ω so aus:

{0(0) < 1(0) < 0(1) < 1(1) < 0(2) < 1(2) < ...}

und nach Umbenennen sehen wir, dass 2·ω = ω ist. Also ist auch die Multiplikation von Ordinalzahlen nicht kommutativ.

Eines der Distributivgesetze gilt für Ordinalzahlen: ρ(σ + τ) = ρσ + ρτ. Das kann man direkt aus den Definitionen ablesen. Jedoch gilt das andere Distributivgesetz nicht allgemein, denn z. B. ist (1+1)ω = 2·ω = ω, aber 1·ω + 1·ω = ω + ω.

Das neutrale Element der Addition ist die 0, das neutrale Element der Multiplikation ist die 1. Keine Ordinalzahl außer 0 hat ein Negatives (ein additiv inverses Element), also bilden die Ordinalzahlen mit der Addition keine Gruppe, und erst recht keinen Ring. Die funktionale Definition der Multiplikation lautet:

  • falls η = 0, dann sei ξη = η,
  • für jede Ordinalzahl η sei ξ(η + 1) = ξη + ξ,
  • falls η eine Limeszahl ist, dann sei ξη = sup{ξβ | β < η}.

Es gelten die Monotoniegesetze:[9]

  • ξ < η {\ }^\Rightarrow {\ }^\forallβ > 0 (βξ < βη)
  • ξ{\ }^\leqη {\ }^\Rightarrow ξβ{\ }^\leqηβ.
  • (ξ + η)β{\ }^\leqξβ + ηβ

Für jede zwei ξ > 1 und η > 1 gilt ξ + η{\ }^\leqξη.[9] Falls ηγ = ξ, dann heißt η Linksteiler von ξ und γ Rechtsteiler.[10] Man sagt auch, dass ξ rechtsseitiges Vielfache von γ und linksseitiges Vielfache von η ist. Die Limeszahlen sind die linksseitgen Vielfachen von ω.[10] Jede Ordinalzahl hat endlich viele Rechtsteiler und nur dann endlich viele Linksteiler, wenn sie keine Limeszahl ist.[10] Mengen aus positiven Ordinalzahlen haben größten gemeinsamen Rechtsteiler, größten gemeinsamen Linksteiler und kleinstes linksseitige gemeinsame Vielfache. Rechsseitges gemeinsame Vielfache ist nicht immer vorhanden. Gegenbeispiel ist {ω,ω + 1}.[10] Für zwei Ordinalzahlen ξ und η > 0 existieren eindeutig bestimmte Ordinalzahlen β und ρ < η, so dass ξ = ηβ + ρ.

Allgemeine Summe

Sei (Sγ) γ {\!}^{\in} ξ ein Netz aus Ordinalzahlen mit Indexmenge die Ordinalzahl ξ. {\delta_{{S_\gamma}^{(\beta)}}}^{\!\!\!^{\!^{\color{white}.}}} seien die Ordnungsrelationen der Kopien Sγ(β) für β < ξ. Die allgemeine Summe aller (Si) γ {\!}^{\in} ξ wird wie folgt definiert:

\sum\nolimits_{\gamma&amp;lt;\xi} S_\gamma=\operatorname{ord}\left(\bigcup\nolimits_{\gamma&amp;lt;\xi} {S_{\gamma}}^{(\gamma)}, \bigcup\nolimits_\gamma \delta_{{S_\gamma}^{(\gamma)}}\cup\bigcup\nolimits_{\gamma&amp;lt;\eta&amp;lt;\xi}({S_\gamma}^{(\gamma)}\times {S_\eta}^{(\eta)}) \right)

Die Multiplikation ist also ein Spezialfall der allgemeinen Summe:

\xi\beta=\sum\nolimits_{\gamma&amp;lt;\beta}\xi

Für jedes Ordinalzahlnetz (Sγ) γ {\!}^{\in} ξ existiert genau eine Funktion: F:{γ | γ{{\!}^{\leq}}ξ}\rightarrowOn mit den folgenden drei Eigenschaften:

  • F(0) = 0
  • F(s(β)) = F(β) + Sβ für jede Ordinalzahl β < ξ
  • F(β) = sup η < β F(γ) für jede Limeszahl β{{\!}^{\leq}} ξ

Der Wert F(ξ) entspricht genau die allgemeine Summe von (Sγ) γ {\!}^{\in} ξ.

Allgemeines Produkt

Für ein Ordinalzahlnetz (Sγ) γ {\!}^{\in} ξ sei

P=\left\{x\in\underset{\beta&amp;lt;\xi}{{\mathbf{\times}}} {S_\beta}\Big|\operatorname{card}(\{\zeta&amp;lt;\xi|0&amp;lt;\pi_\zeta(x)\})&amp;lt;\aleph_0 \right\},

wobei

\pi_\zeta:\underset{\beta&amp;lt;\xi}{{\mathbf{\times}}} {S_\beta}\rightarrow {S_\zeta}
(...,a,...)\mapsto a

die Bezeichnung für kanonische Projektion ist. Man definiere in P die Relation: {\delta}^*_P=\left\{(x,y)\in P\times P\Big|\{\kappa&amp;lt;\xi| \pi_\kappa(x)&amp;lt;\pi_\kappa(y);\ \forall\eta(\kappa&amp;lt;\eta&amp;lt;\xi)(\pi_\eta(x)=\pi_\eta(y))\}\neq\emptyset \right\}

Das allgemeine Produkt aller Elemente von (Sγ) γ {\!}^{\in} ξ wird durch

\prod_{\gamma&amp;lt;\xi} S_\gamma=\operatorname{ord}\left(P,\delta^*_P\cup \left\{(x,y)\in P\times P|x=y\right\}\right)

definiert. Das allgemeine Produkt besteht also aus Tupel der Länge ξ, die antilexikografisch geordnet sind und nur endlich viele positive Komponente besitzen. Für jedes Ordinalzahlnetz (Sγ) γ {\!}^{\in} ξ existiert genau eine Funktion: F:{γ | γ{{\!}^{\leq}}ξ}\rightarrowOn mit den folgenden vier Eigenschaften:

  • F(0) = 1
  • F(s(β)) = F(β)Sβ für jede Ordinalzahl β < ξ
  • F(β) = sup η < β F(γ) für Limeszahl β{{\!}^{\leq}} ξ falls {\!}^{\forall}η < β (Sη > 0)
  • F(β) = 0 für Limeszahl β{{\!}^{\leq}} ξ falls {\!}^{\exists}η < β (Sη = 0)

Der Wert F(ξ) entspricht genau das allgemeine Produkt von (Sγ) γ {\!}^{\in} ξ

Die Folge

{(0,0,0,...) < (0,1,0,...) < (0,0,1,...) < (0,1,1,...) < (0,0,2,...) < (0,1,2,...) < (0,0,0,1,...) < ... < (0,1,2,3,0,...) < (0,0,0,0,1,...) < ... < (0,1,2,...,n,0,...) < (0,0,...,0,1,0...) < ...}

ist Beispiel für antilexikografische Ordnung und stellt laut der Definition eine Menge ordnungsisomorph zu Πξ < ωξ dar. Es gilt also ω = Πξ < ωξ und ω! = ωω, was nicht überraschend ist, weil ja ω = sup n n! .

Potenzieren

Die Potenzen sind Spezialfälle von allgemeinen Produkten:

\beta^\xi=\prod\nolimits_{\gamma&amp;lt;\xi}\beta\,

Beispiel

Man kann eine zu ωω ordnungisomorphe Menge konstruieren, indem man (folgend die Produktdefinition) Folgen aus natürlichen Zahlen mit endlicher Anzahl von positiven Elementen betrachtet:

({\overbrace{{\underbrace{a_0,\ldots,a_{n-1}}_{n\in\mathbb{N}}},\underbrace{0,\ldots,0,\ldots}_{\overset{\shortparallel}{0}}}^{\omega}})\in \omega\times\omega

und diese antilexikografisch ordnet:

(0,0,0,...) < (1,0,0,...) < ... < (0,1,0,...) < (1,1,0,...) < ... < (0,0,1,...) < (1,0,1,0,...) < ... < (0,1,1,0,...) < (1,1,1,0,...) < (2,1,1,0,...) < ...

Eigenschaften

Für jede Ordinalzahl ξ > 0 gilt:

  • ξβ + η = ξβξη
  • β)η = ξβη
  • β < η {\!}^{\Rightarrow} ξβ < ξη
  • βξβ.

Und für jede zwei ξ > 1 und η > 1 gilt ξη{\!}^{\leq}ξη. Aus ηζ folgt ηβζβ. Für zwei Ordinalzahlen ξ > 0 und β > 1 existieren eindeutig bestimmte Ordinalzahlen: λ - genannt Logarithmus von ξ zur Basis β, positives δ < β und ρ < βλ, so dass ξ = βλδ + ρ (Logarithmus-Satz). Die Potenzregel (αβ)γ = αγβγ aus der finiten Arithmetik ist in das Unendliche nicht übertragbar:

(2 · 2)ω < 2ω2ω
(2(ω + 1))2 > 22(ω + 1)2

Cantorsche Normalform

Hauptartikel: Cantorsche Normalform

Für zwei Ordinalzahlen β > 1 und ξ < βλ existieren endlich viele eindeutig bestimmte λ0 < ... < λn < λ und 0,...,κn} {\!}^{\subset} β, so dass

\xi=\beta^{\lambda_n}\kappa_n+\ldots+\beta^{\lambda_0}\kappa_0.

Diese Darstellung ist unter dem Namen Cantorsche Polynomdarstellung (oder β-adische Normalform) bekannt. Sie heißt für β = ω Cantorsche Normaldarstellung (oder Cantorsche Normalform). Man kann die Cantorsche Normaldarstellung rekursiv verwenden und die Ordinalzahlen λ0,...,λn genau so wie ξ in ihrer Normalform darstellen. Wenn dieser Prozess nach endlich vielen Schritten in endliche Ordinalzahlen terminiert, erhält man einen elementaren Ausdruck für ξ, der aus ω, natürlichen Zahlen und Zeichen für Rechenoperationen besteht. Allerdings ist dies nicht für jede Ordinalzahl möglich. Noch allgemeiner: durch endlich viele Zeichen lassen sich nur abzählbar viele Ordinalzahlen darstellen - ein also nur „verschwindend kleiner“ Teil der gesamten Klasse On.[11] Es existieren Ordinalzahlen ξ, für die λn in ihrer Cantorschen Normaldarstellung gleich ξ ist. In diesem Fall führt die Normaldarstellung also zu keiner Vereinfachung. Die kleinste solche Zahl bezeichnet man mit ε0. Mit Hilfe der Cantorschen Normaldarstellung werden die Hessenbergschen natürlichen Operationen definiert.

Literatur

  • Bachmann H., Transfinite Zahlen, Springer, 1967, ASIN: B0000BPIFM
  • Klaua D., Kardinal- und Ordinalzahlen, Teil 2, Vieweg, Braunschweig, 1974, ISBN 3-528-06141-3 [12]
  • Komjath P., Totik V., Problems and Theorems in Classical Set Theory, Springer, 2006, ISBN 978-0387302935
  • Sierpinski W., Cardinal and ordinal numbers, 1965, ISBN 978-0900318023
  • Kuratowski K., Mostowski A., Set theory , North-Holland, 1968, ISBN 978-0720404708
  • Hausdorff F., Grundzüge der Mengenlehre, 1914, Chelsea Publishing Company, New York, 1949
  • Enderton H., Elements of Set Theory, Academic Press Inc., New York, 1977, ISBN 978-0122384400
  • Deiser O., Einführung in die Mengenlehre, Springer, 2004, ISBN 978-3540204015

Bemerkungen

  1. Cantor G., Beiträge zur Begründung der transfiniten Mengenlehre. (Zweiter Artikel), Mathematische Annalen, 1897, 49, S. 207-246
  2. An dieser Stelle ist es angebracht zu erklären, was man unter Umbenennen der Elementen einer Ordinalzahl versteht und womit dieses Umbenennen überhaupt rechtfertigt ist. Sei X eine nichtleere Ordinalzahl. Für beliebiges Element ξ von X und beliebige Ordinalzahl a werden wir mit ξ(a) die Menge (a,ξ) = {{a},{a,ξ}} bezeichnen. Hier ist es wichtig, dass die Definition für geordnetes Paar nach Kuratowski verwendet wird. Damit ist es garantiert, dass keine der Mengen ξ(a) eine Ordinalzahl ist. Die Menge X(a) = {ξ(a)}ξ{\ }^{\in X} werden wir eine umbenannte Ordinalzahl oder Kopie nennen. Die Wohlordnung in X(a) sei durch η(a)ξ(a){\ }^{\Leftrightarrow}ηξ festgelegt. Ordinalzahlen sind ordnungsisomorph zu ihren Kopien. Keine Kopie ist Ordinalzahl und keine Ordinalzahl ist Element oder Untermenge einer Kopie. Alle Kopien einer Ordinalzahl und die Ordinalzahl selbst sind zueinander paarweise disjunkt.
  3. Es gilt also δσ{\ }^{\cup}τ(0) = (σ×τ(0)){\ }^{\cup}δσ{\ }^{\cup}δτ(0), wobei δX die Ordnungsrelation der wohlgeordneten Menge (X,{\ }^{\leq}X) bezeichnet.
  4. Es ist sogar so, dass {\ }^\forallξ {\ }^\exist η{\ }^{\leq}ξ ((η + ξ = ξ + η){\ }^\Rightarrow(ξ = 0)) (s. Komjath, 2006, 8.17).
  5. In manchen Quellen wird die Bezeichnung η − ξ verwendet, die wohl auf Cantor zurückgeht (s. Sierpinski, 1965, XIV., §4, Th. 2 und Kuratowski, Mostowski, 1968, VII., § 5.). Wir halten uns an der Bezeichnung − ξ + η, die man bei Jacobsthal, 1909, S. 166 sowie Hausdorff, 1914, Kap. V., § 2. und Bachmann, § 17.2 findet.
  6. s. Sierpinski, 1965, XIV., § 5
  7. Dabei wird also jedes Element α von τ durch σ(α) ersetzt.
  8. In unseren Bezeichnungen ist also στ = ord×τ,R1{\ }^{\cup}R2) mit R1 = {\ }^{\cup}{δσ(β) | β < τ} und R2 = {\ }^{\cup}(ξ)×σ(η) | ξ < η < τ}. Man nennt eine solche Wohlordnung in einem kartesischen Produkt σ×τ antilexikographisch.
  9. a b s. Bachmann, § 10.
  10. a b c d s. Bachmann, § 17.3, § 18. sowie Sierpinski, 1965, XIV., § 11-12. und Komjath, Totik, 2006, 9.2, 9.8-9 und Jacobsthal, 1909, S. 176-188
  11. s. auch: Königs Paradoxie
  12. Diesem Buch liegt ein spezielles Axiomensystem zugrunde.

Wikimedia Foundation.

Игры ⚽ Нужно решить контрольную?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Transfinite Arithmetik — Die transfinite Arithmetik ist die Arithmetik der Ordinalzahlen. Die arithmetischen Operationen zwischen Ordinalzahlen kann man mittels transfiniter Rekursion als stetige Fortsetzung der finiten Rechenoperationen einführen oder durch geeignete… …   Deutsch Wikipedia

  • Surreale Zahl — Die surrealen Zahlen bilden eine Klasse von Zahlen, die alle reellen Zahlen umfasst, sowie „unendlich große“ Zahlen, die größer sind als jede reelle Zahl. Dabei ist jede reelle Zahl von surrealen Zahlen umgeben, die ihr näher sind als jede andere …   Deutsch Wikipedia

  • L.E.J. Brouwer — Luitzen E. J. Brouwer (* 27. Februar 1881 in Overschie; † 2. Dezember 1966 in Blaricum) war ein niederländischer Mathematiker. Er schuf grundlegende topologische Methoden und Begriffe und bewies bedeutende topologische Sätze. Nach ihm ist der… …   Deutsch Wikipedia

  • L. E. J. Brouwer — Luitzen E. J. Brouwer (* 27. Februar 1881 in Overschie; † 2. Dezember 1966 in Blaricum) war ein niederländischer Mathematiker. Er schuf grundlegende topologische Methoden und Begriffe und bewies bedeutende topologische Sätze. Nach ihm ist der… …   Deutsch Wikipedia

  • Luitzen Brouwer — Luitzen E. J. Brouwer (* 27. Februar 1881 in Overschie; † 2. Dezember 1966 in Blaricum) war ein niederländischer Mathematiker. Er schuf grundlegende topologische Methoden und Begriffe und bewies bedeutende topologische Sätze. Nach ihm ist der… …   Deutsch Wikipedia

  • Luitzen E. J. Brouwer — (* 27. Februar 1881 in Overschie; † 2. Dezember 1966 in Blaricum) war ein niederländischer Mathematiker. Er schuf grundlegende topologische Methoden und Begriffe und bewies bedeutende topologische Sätze. Nach ihm ist der Brouwersche Fixpunktsatz… …   Deutsch Wikipedia

  • Limeszahl — Beim Zählen benutzt man Ordinalzahlen (auch Ordnungszahlen genannt), um die Position eines Elements in einer Folge anzugeben: „Erstes, zweites, drittes, … Element“. Sprachlich benutzt man dazu bestimmte Zahlwörter. Auf diese Weise ordnet man… …   Deutsch Wikipedia

  • Ordinalzahlen — Beim Zählen benutzt man Ordinalzahlen (auch Ordnungszahlen genannt), um die Position eines Elements in einer Folge anzugeben: „Erstes, zweites, drittes, … Element“. Sprachlich benutzt man dazu bestimmte Zahlwörter. Auf diese Weise ordnet man… …   Deutsch Wikipedia

  • Ordnungsisomorphie — Beim Zählen benutzt man Ordinalzahlen (auch Ordnungszahlen genannt), um die Position eines Elements in einer Folge anzugeben: „Erstes, zweites, drittes, … Element“. Sprachlich benutzt man dazu bestimmte Zahlwörter. Auf diese Weise ordnet man… …   Deutsch Wikipedia

  • Ordnungsisomorphismus — Beim Zählen benutzt man Ordinalzahlen (auch Ordnungszahlen genannt), um die Position eines Elements in einer Folge anzugeben: „Erstes, zweites, drittes, … Element“. Sprachlich benutzt man dazu bestimmte Zahlwörter. Auf diese Weise ordnet man… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”