Сборник с математически доказателства/Чернова5

От Уикикниги

Сборник с математически доказателства/Чернова<<

Limes- und Nachfolgerzahlen[редактиране]

Die Elemente einer (von Neumannschen) Ordinalzahl sind selbst Ordinalzahlen.[1] Hat man zwei Ordinalzahlen und , dann ist ein Element von genau dann, wenn eine echte Teilmenge von ist, und es gilt, dass entweder ein Element von , oder ein Element von , oder = ist.[1] Damit ist durch die Elmentenbeziehung zwischen den Elementen einer Ordinalzahl eine irreflexive Totalordnungsrelation definiert. Es gilt sogar noch mehr: jede Menge von Ordinalzahlen ist wohlgeordnet.[2] Dies verallgemeinert das Wohlordnungsprinzip, dass jede Menge von natürlichen Zahlen wohlgeordnet ist, und erlaubt die freie Anwendung der transfiniten Induktion und der Beweismethode des „unendlichen Abstiegs“ auf Ordinalzahlen. Jede Ordinalzahl hat genau die Ordinalzahlen als Elemente, die kleiner sind als . Die mengentheoretische Struktur einer Ordinalzahl ist also vollständig durch kleinere Ordinalzahlen beschrieben. Jeder Durchschnitt oder Vereinigung von Ordinalzalen ist eine Menge von Ordinalzahlen. Weil jede Menge von Ordinalzahlen wohlgeordnet ist, ist jede transitive Menge von Ordinalzahlen selbst eine Ordinalzahl (s. Definition VII.).[1] Man folgt daraus, dass auch jeder Durchschnitt oder Vereinigung von Ordinalzalen eine Ordinalzahl ist.[3] Die Vereinigung aller Elemente einer Menge von Ordinalzahlen wird Supremum von genannt und mit bezeichnet. Es ist nicht schwer zu zeigen, dass und . Die wird per Definition für das Supremum der leeren Mengen erklärt. Wohlgeordnete Mengen sind nie einem ihrer Anfangsstrecken ordnungsisomorph.[1] Deshalb existiert zwischen zwei Ordinalzahlen nur dann eine ähnliche Abbildung, wenn sie gleich sind. Die Klasse aller Ordinalzahlen ist keine Menge (s. auch: das Burali-Forti-Paradoxon). Wäre sie nämlich eine Menge, dann wäre sie eine wohlgeordnete und transitive Menge - eine solche Ordinalzahl also für die . Ordinalzahlen , die sich selbst als Element enthalten, existieren allerdings nicht,[4] weil sie ordnungsisomorph zu einem ihrer Anfangsstrecken sein müssten (nämlich zu ). Aus dem Satz, dass eine echte Klasse ist, folgt, dass für jede Menge aus Ordinalzahlen Ordinalzahlen existieren, die größer sind als jedes Element von . [5] Unter den Ordinalzahlen größer als jedes Element einer Menge aus Orinalzahlen gibt es immer eine kleinste.[6] Man nennt sie obere Grenze[7],[8] der Menge und bezeichnet sie mit . Die kleinste Ordinalzahl größer als alle Elemente der Ordinalzahl heißt Nachfolger von . Der Nachfolger der Ordinalzahl wird oft mit bezeichnet. Diese Bezeichnung ergibt somit einen Sinn auch außerhalb der transfiniten Arithmetik (ohne zu dieser in Widersruch zu stehen). Falls ein größtes Element hat, dann wird dieses Vorgänger von genannt und mit bezeichnet. Nicht jede Ordinalzahl hat einen Vorgänger (wie z.B. ). Man nennt eine Ordinalzahl, die einen Vorgänger hat (wie z.B. die ), Nachfolgerzahl oder Zahl erster Art. Eine Ordinalzahl ist genau dann von erster Art, wenn . Die Ordinalzahlen erster Art und die nennt man isoliert. Eine positive Ordinalzahl ohne Vorgänger wird Limeszahl (oder Grenzzahl) genannt. Eine positive Ordinalzahl ist genau dann Limeszahl, wenn . Als Ordinalzahlen zweiter Art bezeichnet man die Limeszahlen sowie die . Jede Ordinalzahl ist somit eine Zahl entweder der ersten oder zweiten Art und entweder Limeszahl oder isoliert, wobei für positive Zahlen die Begriffe Limeszahl und Zahl zweiter Art sowie isolierte Zahl und Zahl erster Art übereinstimmen. Die Zahl ist die einzige isolierte Zahl zweiter Art.[7] Der Vorgänger von ist für jede Ordinalzahl die Ordinalzahl selbst. Die Limeszahlen bilden eine echte Klasse, die mit bezeichnet wird. Falls eine Ordinalzahl erster Art ist, dann existiert eine endliche aber keine unendliche Folge: , , , , .[9] Angefangen bei erreicht man nach endlich vielen Abstiegen von einer Ordinalzahl zu ihrem Vorgänger eine Zahl zweiter Art. Es gilt sogar noch mehr: Falls eine transfinite Ordinalzahl ist, dann kann man zwar beliebig lange echt fallende Folgen mit erstem Element bilden, aber keine unendlichen solchen.[9] Unendliche Folgen von Ordinalzahlen enthalten immer unendliche nicht fallende Teilfolgen.[9]

Bemerkungen[редактиране]

  1. 1,0 1,1 1,2 1,3 s. Levy, 1979, II.2.14, II.3.11, II.3.12, II.3.13, II.3.16
  2. Eine Wohlordnungsrelation lässt sich auch zwischen Wohlordnungstypen definieren (zwischen Ordungzahlen im Sinne von Cantor also). Eine wohlgeodrnete Menge S heißt kleiner (oder kürzer) als eine wohlgeordnete Menge T, wenn S ordnungsisomorph zu einer echten Untermenge von T ist. Es sei die Vereinbarung getroffen, dass im weiteren, wenn nicht ausdrücklich etwas anderes gesagt ist, unter Ordinalzahl eine Ordinalzahl im von Neumannschen Sinne gemeint sein wird und dass die Behauptungen, die aufegstellt werden, Sätze in ZF oder ZFC sind.
  3. Man beachte, dass Vereinigung (Durchschnitt) von Elementen einer Menge von tranisitven Mengen transitiv ist.
  4. Diese Behauptung ist von dem Fundierungsaxiom unabhängig.
  5. Gäbe es nämlich solche Zahlen nicht, dann wäre Untermenge von (eine echte Menge also).
  6. Wenn eine Ordinalzahl ist, die größer ist als alle Elemente der Menge , dann ist \ keine echte Klasse sondern eine wohlgeordnete Menge und hat daher ein kleinstes Element.
  7. 7,0 7,1 s. Bachmann, 1967, § 4.1.3., § 4.1.4
  8. Der englische Begriff dafür ist strict upper bound.
  9. 9,0 9,1 9,2 s. Komjath, Tototik, 2006, 8.2, 8.3, 8.18