Diskussion:Ordinalzahl

aus Wikipedia, der freien Enzyklopädie

Ich habe Probleme mit der Schreibweise ω + ω = {0 < 1 < 2 < 3 < ... < 0' < 1' < 2' < 3' < ...}. Denn 0' ist ja nicht zwangsläufig größer als alles vorangehende. Ich halte die Schreibweise w + w = {0 < 1 < 2 < 3 < ..., 0' < 1' < 2' < 3' < ...} für angemessener. Beispielsweise ist die Menge {0 < 1 < 2 < 3 < ...} = w, und die Menge {0 < 1 < 2 < 3 < ..., Hanspeter} = w + 1. Stephan Trube

Es fehlt die Definition von ω, in etwa "Die Ordinalzahl von heißt ω". --15.195.185.76 12:53, 10. Jan 2006 (CET)

Habe gerade gesehen, die Definition von ω ist im Abschnitt "Addition" versteckt. Das ist etwas unglücklich. --15.195.185.76 12:55, 10. Jan 2006 (CET)

Wikipedia:Sei mutig.--Gunther 12:56, 10. Jan 2006 (CET)

"Eine natürliche Zahl kann für zwei Zwecke benutzt werden: Zum einen, um die Anzahl der Elemente einer (endlichen) Menge zu beschreiben, und zum anderen, um die Position eines Elements in einer geordneten Menge anzugeben. Während diese beiden Konzepte für endliche Mengen übereinstimmen, muss man sie für unendliche Mengen unterscheiden."

Die beiden Konzepte Kardinal- und Ordinalzahl sind auch schon fuer endliche Mengen unterschiedlich, oder nicht? Beispiel, eine endliche geordnete Menge:

M = {1, 2, 3, 4, 5, 6}

Nun hat diese Menge die Kardinalitaet 6. Allerdings hat diese Menge nicht von vornherein eine Ordinalzahl, sondern, wir muessen doch spezifizieren, von welchem Element der Menge wir die Position, und damit die Ordinalzahl wissen moechten. Also z.B. die Ordinalzahl von 3 (in der Menge M) ist 3. Die natuerliche Zahl axiomatisch als Menge aufgefasst hat allerdings wieder die Kardinalitaet 3. Auch hat das "letzte" Element von M (die 6), die gleiche Ordinalzahl wie die Kardinalitaet von M. Daher wuerde ich sagen, einer von den folgenen Saetzen ist wahr:

- Obiger, zitierter Satz ist falsch

- Obiger, zitierter Satz ist unpraezise

- Ich hab' keine Ahnung und ausserdem habe ich den Artikel und obigen Satz vollkommen missverstanden

Danke, Flo

Eine Ordinalzahl ist selbst eine totalgeordnete Menge (mit Ordnung "Element-von"). Und als totalgeordnete Menge ist die o.a. isomorph zu

Genügt das?--Gunther 09:47, 1. Jul 2006 (CEST)

Naja. Die Konzepte stimmen halt im allgemeinen nicht ueberein (sie sind sogar auf eine gewisse Art und Weise grundverschieden, obwohl verwandt). Kardinalzahlen sind Eigenschaften von Mengen ("Die Menge M hat Kardinalitaet 6"), und Ordinalzahlen sind Eigenschaften von Elementen geordneter Mengen ("Element soundoso aus M hat die Ordinalzahl x).

Was heisst denn genau "die Konzepte sind identisch fuer den endlichen Fall"? Die Definition zumindest sind nicht identisch fuer den endlichen Fall.

Dass man zwischen Kardinal- und Ordinalzahlen einen Isomorphismus herstellen kann aendert doch nichts daran, dass es sich um zwei verschiedene, doch verwandte Konzepte handelt.

Als Informatiker wuerde ich "Type error" rufen :)

Kardinalzahlen: M hat die Kardinalität n, wenn es eine Bijektion zwischen M und {1,...,n} gibt.

Ordinalzahlen: Ein Element m in M hat die Ordinalzahl n, wenn es eine ordnungserhaltende Bijektion zwischen und {1,...,n} gibt.

Im endlichen Fall gibt es zwischen zwei Mengen genau dann eine ordnungserhaltende Bijektion, wenn es überhaupt eine Bijektion gibt. Für unendliche Mengen ist das falsch.

Etwas formaler: Die Kardinalzahlen sind ein Repräsentantensystem für die Isomorphieklassen der Kategorie der Mengen. Die Ordinalzahlen sind ein Repräsentantensystem für die Isomorphieklassen der Kategorie der wohlgeordneten Mengen.--Gunther 15:01, 1. Jul 2006 (CEST)

Danke, darueber werde ich erstmal brueten :) Aber du hast den Unterschied doch schoen 'rausgearbeitet. Ordinalzahlen fuer wohlgeordnete Mengen, und Kardinalzahlen fuer alle Mengen..

Update: Ach, ich glaube, ich weiss worauf du hinauswillst. Umgangssprachlich gesagt: "Fuer endliche Mengen kann man als Kardinal- und Ordinalzahlen jeweils natuerliche Zahlen gebrauchen [oder halt irgendwas ordnungsisomorphes].". --FlorianPaulSchmidt - 2. july 2006

Ja. Und für unendliche Mengen macht es eben einen Unterschied, ob man einfach nur jeder Zahl eine Nummer gibt (abzählbar unendliche Menge), oder ob es eine vorgegebene Ordnung gibt, in der man die Elemente abzählt (verschiedene abzählbar unendliche Ordinalzahlen).--Gunther 21:15, 2. Jul 2006 (CEST)

Ok, ich finde die Originalformulierung im Artikel immer noch nicht besonders gelungen. Ich werde mal probieren, dass klarer zu formulieren. --FlorianPaulSchmidt 10:58, 4. Jul 2006 (CEST)

Inhaltsverzeichnis 1 Klasse der Ordinalzahlen - proper class (Unmenge) ? 2 Natürliche Zahlen N 3 Ordinalzahlen des Alltags 4 Gescheiterte abgeschlossene Lesenswert-Wahl 5 Quellenbeleg für Zermelo 6 Quellenbelege 7 Nachfolger

[Bearbeiten] Klasse der Ordinalzahlen - proper class (Unmenge) ?

Ich habe etwas Schwierigkeiten mit der Formulierung "Die Ordinalzahlen lassen sich aufgrund ihrer totalen Ordnung durch die Ordnungstopologie zu einem topologischen Raum machen." im Absatz /*Topologische Eigenschaften*/ (erster Satz).

Nach meinem Kenntnisstand (ungefähr leicht modernisierte Zermelo-Mengenlehre) bildet die Gesamtheit aller Ordinalzahlen keine Menge. Sollte man hier nicht vorsichtiger formulieren?

Variante 1: Statt "Die Ordinalzahlen" "Eine Menge von Ordianlzahlen..."

Variante 2: Erklären, wie eine Unmenge ein topologischer Raum sein kann.

Variante 3: Ich täusche mich und die Ordinalzahlen, die hier erklärt werden, bilden doch eine Menge und ich habe in den oberen Abschnitten etwas übersehen/nicht verstanden. Dann klärt mich bitte hier auf.

--KleinKlio 14:51, 2. Okt 2006 (CEST)

Nachdem ich mir den entsprechenden Abschnitt in der englischen Version [1] und den weiterführenden link [2] durchgelesen habe, ändere ich im Sinne von Variante 1: "Jede Ordinalzahl lässt sich..."

Als rekursive Menge ist eine Ordinalzahl ja selbst eine wohlgeordnete Menge und gerade diese Mengen sind es doch wohl, die topologisch interessant sind (zum Beispiel als Quelle von Gegenbeispielen). Vielleicht war die ursprüngliche Formulierung ja so gemeint?

Unabhängig davon sollte IMHO die Problematik der Unmenge etwas deutlicher hervorgehoben werden.

en:„So we essentially wish to define an ordinal as an isomorphism class of well-ordered sets: that is, as an equivalence class for the equivalence relation of "being order-isomorphic". There is a technical difficulty involved, however, in the fact that the equivalence class is too large to be a set in the usual Zermelo-Fraenkel formalization of set theory. But this is not a serious difficulty. We will say that the ordinal is the order type of any set in the class.“

hier:„Eine andere Folgerung ist der Satz, dass die Klasse aller Ordinalzahlen keine Menge, sondern eine echte Klasse ist. Der Beweis basiert auf dem Regularitätsaxiom, dass keine Menge sich selbst als Element enthält. Wäre die Klasse aller Ordinalzahlen eine Menge, dann wäre sie selbst eine Ordinalzahl, müsste sich also selbst enthalten. (Siehe auch das Burali-Forti-Paradoxon.)“

In beiden Artikeln versteckt sich das Problem in einem Unterabschnitt. Das trägt m. E. der Tatsache zu wenig Rechnung, dass viele Nichtmengentheoretiker den Ordinalzahlen überhaupt nur im Zusammenhang mit Paradoxien begegnen. --KleinKlio 16:17, 2. Okt 2006 (CEST)

Habe einen Verweis auf Unmengen in den Einleitungsteil eingearbeitet. Damit ist die Diskussion aus meiner Sicht erledigt! --KleinKlio 22:57, 7. Okt 2006 (CEST)

[Bearbeiten] Natürliche Zahlen N

Die Natürlichen Zahlen enthalten aber nicht die Zahl 0, oder ? (nicht signierter Beitrag von 89.49.245.187 (Diskussion | Beiträge) 11:10, 6. Okt 2006)

Da gibt es unterschiedliche Konventionen. In diesem Kontext scheint die Variante mit 0 allgemein üblich zu sein.--Gunther 11:14, 6. Okt 2006 (CEST)

Man könnte hinzufügen, dass {0, 1, 2, 3, ...} = {1, 2, 3, ...} ist. Aber {1, 2, 3, ... 0'} > {0, 1, 2, 3, ...}. Ich stehe bei dem Thema noch am Anfang, daher traue ich mich nicht, es selbst zu editieren. Meine aber, dass es eine Eigenschaft der transfiniten Zahlen nochmal verdeutlicht, auch wenn das von mir gesagte bereits aus dem Artikel herauslesbar ist. Stephan Trube

{1, 2, 3, ...} ist keine Ordinalzahl (im Sinne des Artikels), weil 1 keine Teilmenge ist.--Gunther 14:03, 9. Okt. 2006 (CEST)

[Bearbeiten] Ordinalzahlen des Alltags

Der Artikel widmet sich gänzlich den mengentheoretischen Ordinalzahlen. Ein Absatz über die normalen Ordinalzahlen, die im täglichen Leben Verwendung finden und identisch mit der Ganzen Zahl, die das Element abschließt, sind, ist wünschenswert. Alleine die Einleitung beschreibt die normalen Ordinalzahlen, das ist ein bisschen zu wenig. -- Matthias Pester Disk. (Matze6587) 11:24, 11. Jan. 2008 (CET)

Was ist der Unterschied zwischen natürlichen Zahlen und Ordinalzahlen? --Alexandar.R. 11:30, 11. Jan. 2008 (CET)

Null ist nur sehr beschränkt als natürliche Zahl zu betrachten. Die kleinen Ordinalzahlen, die sicher ihren Sinn haben, sind um Eins kleiner als die natürliche Zahl. Das Erste Element, das 1 - 0 = 1 groß ist, wird mit Null indiziert. Deshalb gibt es verschiedene Ordinalzahlen, und der Artikel beschreibt nur eine Sorte - genaugenommen beschreibt er nur die Neumannschen Ordinalzahlen. -- Matthias Pester Disk. (Matze6587) 11:50, 11. Jan. 2008 (CET)

Was könnte man tun - den Abschnitt Die natürlichen Zahlen als geordnete Mengen ausbauen? Vielleicht schlägst Du mal paar Sätze für einen Anfang vor? --Alexandar.R. 12:11, 11. Jan. 2008 (CET)

Nicht ausbauen. Die Sache ist kompliziert. Ich dachte es gibt hier vielleicht einen Experten der das übernimmt. Mein diesbezüglicher Vorschlag wird noch eine Weile dauern. -- Matthias Pester Disk. (Matze6587) 12:20, 11. Jan. 2008 (CET)

[Bearbeiten] Gescheiterte abgeschlossene Lesenswert-Wahl

sehr schön geschiebener Artikel (nicht signierter Beitrag von 91.21.43.6 (Diskussion | Beiträge) ˈʀaɪ̯.nɐ ˈleː.val.tɐ 19:52, 29. Jan. 2008 (CET))

• keine Ahnung, ob der mathematisch so toll ist, sprachwissenschaftlich ist das Thema nicht ganz uninteressant (Ordinal zur 1 in fast allen sprachen unregelmäßig, oft auch die zwo, zweite wie auch second gibts beide erst seit 14irntwas, z.B.), vielleicht gehört das aber auch in Zahlwort, das mögen mal die Mathematiker entscheiden...--Janneman 20:34, 29. Jan. 2008 (CET)

• Der Artikelgegenstand ist ja nicht einmal uninteressant, aber er entspricht nicht dem, was der Leser von einem mit „Ordinalzahl“ bezeichneten Artikel erwartet. Wenn der bestehende Artikel schon unter diesem Lemma stehen muss, dann sollte in der Einleitung klipp und klar gesagt werden, dass es darin eben nicht um Ordinalzahlen im sprachlichen Sinne geht, sondern um ein mathematisches Konzept des Herrn Cantor. -- Carbidfischer Kaffee? 20:54, 30. Jan. 2008 (CET)

• Nichts für ungut, Carbidfischer, aber interdisziplinäre Spitzen bringen uns hier nicht weiter. Man kann seine eigenen Erwartungen nicht immer verallgemeinern. In der Mathematik ist „Ordinalzahl“ nunmal ein wichtiger Begriff und Georg Cantor ist wahrlich kein Feld-, Wald- oder Wiesenmathematiker. Wenn es sprachwissenschaftlich was zum Thema zu sagen gibt (da vertraue ich Jannemann), sollte man sich via Disk oder in einem Review überlegen, wie man das sinnvoll einbringt, ob es besser ist, den Artikel auszubauen oder via BKL ein weiteres Lemma abzuzweigen. Potential für lesenswert scheint auf den ersten Blick jedenfalls vorhanden zu sein, das Hauptproblem der Kandidatur ist für mich die fehlende Betreuung durch den/einen Autoren, weswegen ich mich auch nicht intensiver einlesen werde. Gruß --Wero 23:51, 30. Jan. 2008 (CET)

  In diesem Fall war es eher eine intradisziplinäre Spitze. ;-) Ansonsten schließe ich mich 80.146.118.129 an, die Einleitung und das Lemma sollten entsprechend angepasst werden. -- Carbidfischer Kaffee? 09:52, 31. Jan. 2008 (CET)

• Ich bin derselben Meinung wie Carbidfischer. Unter diesem Lemma würde ich etwas anderes als eine reine mathematiche Abhandlung erwarten. Daher finde ich das Lemma "Ordinalzahl (Mathematik)" mit einer Begriffsklärungsseite entsprechend Kardinalzahl/Kardinalzahl (Mathematik) besser. In der Einleitung sollte auch darauf hingewiesen werden, daß hier nur der mathematische Aspekt behandelt wird, denn nach dem Einleitungssatz kann man etwas anderes vermuten (übrigens verwende ich beim Zählen nicht Ordinalzahlen). Zum Inhalt kann ich nichts sagen, da ich mich mit dieser mathematischen Materie nicht auskenne. 80.146.118.129 09:40, 31. Jan. 2008 (CET)

• Welche Wissenschaft sollte den Ordinalzahlen vorrangig behandeln, wenn nicht die Mathematik? Dem Linguisten seien die Ordinalzahlwörter gegönnt. Aber einmal abgesehen davon: Einige Abschnitte (z.B. Bemerkungen und ander Definitionen oder Limes- und Nachfolgerzahlen bedürfen vor einer erfolgreichen Lesenswert-Kandidatur m.E. noch einiger sprachlicher Ausbügelung weg von der Bleiwüste – und auch etwas mehr Ausführlichkeit, die dann möglicherweise mehr Allgemeinverständlichkeit bringen könnte, soweit dies machbar ist.--Hagman 17:06, 31. Jan. 2008 (CET)

nu, dem Mathematiker si gesagt, dass es Ordinlzahlen sprachlicherseits schon gab, als es die Mathematik noch nicht gab. Aber wie gesagt, dass das u.U. auch gut in Zahlwort abgehendlet werden könnte. Könnte. --Janneman 20:07, 31. Jan. 2008 (CET)

Contra--NebMaatRe 20:04, 31. Jan. 2008 (CET)

Ist halt ein typischer Antrag, bei dem nicht vorher mit dem Hauptautoren gesprochen wurde. Das bringt so nichts. --P. Birken 07:00, 1. Feb. 2008 (CET)

Contra weil nur eine Art Ordinalzahlen beschrieben wird die einige Leute verwirrt. -- Matthias Pester Disk. (Matze6587) 04:43, 3. Feb. 2008 (CET)

Ist das hier eine LD? - Ich wäre für Verschieben auf Ordinalzahl (Mathematik). --SonniWP✍ 07:20, 3. Feb. 2008 (CET)

---

Ich sehe, dass während meiner zweiwöchigen Abwesenheit eine Diskussion stattgefunden hat. Als erstes vorneweg: die Kandidatur ist zu dem Zeitpunkt völlig fehl am Platz. Der Artikel ist ungefähr halbfertig. Es fehlen noch wichtige Themen wie normale, expansive usw. Ordinalzahlfunktionen, Konfinalität, Fixpunkte, Klassen von Ordinalzahl und spezielle Ordinalzahlen, Von-Neuman-Schichtung, unerreichbare Ordinalzahlen und ihre Anwendungen, Auswirkung der Axiomenschema auf die Vielfalt der Ordinalzahlen, Anwendungen der Ordinalzahlen (die Bemühungen vom Anfang des vorigen Jahrhunderts sie zu eliminieren), Zusammenhang zwischen Ordinalzahlen und Kardinalzahlen, offene Probleme usw.. All das muss nicht ins letzte Detail in diesem Artikel erläutert werden, aber zumindest durch Verweise und einleitende Sätze erwähnt werden. Zu den Einzelfragen:

• Ordinalzahlen im Alltag: Es gab in letzter Zeit anfragen, ob man auch darüber etwas schreiben könnte. Mir fehlt allerdings die Idee für den Anfang. Wie umfangreich ist denn dieses Thema? Ich werde mich auf Vorschläge freuen. Zur Zeit habe ich noch keine Vision welche Lösung die geeignetste wäre. Mich persönlich interessiert der mathematische Teil. Der Vorschlag den Artikel nach Ordinalzahl (Mathematik) zu verschieben kommt mir deshalb entgegen.
• Die Abschnitte Bemerkungen und andere Definitionen und Limes- und Nachfolgerzahlen brauchen Entlastung durch Verlagerung und bessere Strukturierung. Während bei Limes- und Nachfolgezahlen dies leicht zu bewerkstelligen sein wird, leidet der Abschnitt Andere Definitionen darunter, dass es noch kaum Wiki-Artikel über die exotischen Mengenlehren gibt. Etwas, was ich auch für bessere Zeiten gelassen habe, ist die Typentheorie, da ich mich in dieser nicht auskenne.

An dem Artikel habe ich im Sommer viel rumgefummelt. Danach eine Pause gemacht. Die Ordinalzahlen sind in der Mengenlehre ein Schlüsselbegriff. Ich würde das Thema ungern für eine Lesenswert-Kanditur jetzt schnell abschließen. --Alexandar.R. 21:42, 8. Feb. 2008 (CET)

Das kann ich nur unterstützen. Zumindest ich ging in meiner Bewertung davon aus, dass die gegenwärtige Version noch nicht als eine Endfassung (wenn es denn so etwas überhaupt gibt) anzusehen wäre. Eine erneute Lesenswert-Diskussion, wenn du (und wer auch immer mitarbeitet) das Werk für ausgereift genug hältst, würde ich für meinen Teil sehr begrüssen.--Hagman 09:25, 9. Feb. 2008 (CET)

[Bearbeiten] Quellenbeleg für Zermelo

Der Artikel ist gut mit Quellen belegt. Warum fehlt jede Quellenangabe für die Zermelo-Definition der Ordinalzahlen? Wenn jemand schon so gut Bescheid weiß, dass er dies auf 1915 datieren kann, dann wäre doch die Angabe der Quelle sicher kein Problem. Wenn die Angabe korrekt ist, dann wäre das ja die erste Ordinalzahldefinition, die wirklich tauglich ist. Das wäre schon wert, abgesichert und vielleicht auch betont zu werden.--Wilfried Neumaier 15:29, 11. Apr. 2008 (CEST)

Die Datierungen stammen alle von Bachmann. Ich glaube irgendwo gelesen zu haben, dass die Zermelosche Definition nicht veröffentlicht worden ist, sondern aus einem Brief ist. Daher wird es vermutlich nicht möglich sein einen Artikel z.B. zu zitieren. --Alexandar.R. 15:43, 11. Apr. 2008 (CEST)

Neumann nennt in Fußnote 2) seiner Arbeit über Ordinialzahlen in den Math. An. (1927) eine mündliche Quelle für eine Ordinalzahldefinition Zermelos von 1916. Ferner ist mir aufgefallen, dass das erste Zermelo-Kriterium entbehrlich ist, da es aus dem letzten für eine leere Teilmenge folgt.--Wilfried Neumaier 20:58, 11. Apr. 2008 (CEST)

Also, ich habe Bachmann jetzt aufgemacht. Zu der Zermeloschen Definition steht dort: Nicht veröffentlicht (vlg. Bernays, A system of axiomatic set theory II, Journal of symbolic logic 6, 1 1941). Die erste Bedingung scheint tatsächlich überflüssig. Allerdings muss man in der Mengelehre aufpassen. Man nehme ein Axiom raus und plötzlich gehen manche vorher triviale Beweise nicht mehr. In diesem Fall fehlt mir aber nicht auf, welches Axiom in die Suppe spucken könnte. Im Beweis der Äquivalenzen wird bewiesen, dass die Defintion von Bernays (1941) äquivalent zu der Zermeloschen ist, wobei eigentlich die erste Bedingung auf dem ersten Blick nur darin vorkommt, dass sie aus der Transitivität in der Defintion von Bernays folgt. Ich würde sagen, man lässt es erstmal so, weil es nicht falsch ist, und schaut sich den Artikel von Bernays an. --Alexandar.R. 08:50, 12. Apr. 2008 (CEST)

Ich schaue demnächst in Bernays rein. Zermelos Definition finde ich außerordentlich interessant, nicht nur das frühe Datum, sondern auch, dass sie evident und sehr elementar ist und einer kurzen Formel ohne Hilfsbegriffe entspricht. Letzteres gilt für Neumanns Definition und die übrigen Definitionen nicht, da sie den Wohlordungsbegriff oder andere Begriffe voraussetzen, so dass eine direkte Formel relativ kompliziert aussähe.--Wilfried Neumaier 20:37, 13. Apr. 2008 (CEST)

Ich habe mir Bernays angeschaut. Er zitiert leider keine Quelle, auch keinen Brief und nennt S. 6 als Jahr "etwa 1915". S. 10 stehen die Axiome, aber das erste (überflüssige) ist nicht original: Zermelo hatte Ordinalzahlen ohne 0 und nur die Bedingung 0 aus X. Bernays hat auch kein "entweder...oder", sondern einfaches "oder".--Wilfried Neumaier 21:13, 14. Apr. 2008 (CEST)

Hmmm... Früher hat man gerne Mengen mit anderem Fundament betrachtet (also mit Urlelementen). Ich werde die Frage, ob die Bedingung tatsächlich überflüssig ist, im Visier behalten. Möchte mir aber noch paar Artikel von Zermelo anschauen, damit ich nachvollziehen kann, was ihn dazu bewegt hat, die Definition so zu formulieren. --Alexandar.R. 08:25, 17. Apr. 2008 (CEST)

Die Zermelo-Mengenlehre und das originale ZF mit Urelementen ist mir gut bekannt (die Artikel stammen weitgehend von mir). Eventuelle Urelemente spielen nur beim Axiom der Elementarmengen (Paarmenge) eine Rolle. Urelemente beeinflussen die Vereinigungsmenge nicht, weil sie elementlos sind: Die Vereinigung einer Menge von Urelementen ist (ganz klar) die leere Menge. Die Ordinialzahlen sind daher Mengen, die keine Urelemente (außer die leere Menge) enthalten. Bei ihnen ist die Voraussetzung des eingeschränkten originialen Extensionalitätsaxiom gültig, so dass alles wie bei der heute üblichen uneingeschränkten Extensionalität funktioniert.

Hm, was ist mit u;{u};{u,{u}};{u,{u},{u,{u}}};.... (u-Urelement). Erfüllen sie nicht Bedingungen 2. und 3. (bei der Einnahme, dass man Vereinigungen von leeren Familien nicht kennt)? --Alexandar.R. 22:22, 17. Apr. 2008 (CEST)

Das ist genau die Grundfolge, die Zermelo in seinem ZF-System mit Urelementen benützt: Zermelo, Grenzzahlen und Mengenbereiche, 1930, S. 31f. Er spricht aber dort nicht von Ordinalzahlen. Nimmt man an, dass es eine Ordinalzahlfolge ist, die seiner Definition von 1915 genügt, so hat man damit kein Problem: ist eine nichtleere Menge, zu der laut Vereinigungsaxiom (S. 30) die Vereinigungsmenge gehört, woraus man für das Urelement dann errechnet. Nach Bedingung 3 muss dann oder sein, wobei der zweite Fall ausscheidet, so dass die leere Menge ist (das einzige Urelement unter den Mengen). Wo ist das Problem?--Wilfried Neumaier 10:47, 18. Apr. 2008 (CEST)

Ja, es ist weit und breit kein Problem zu sehen. Die Bedingung 1. scheint tatsächlich überflüssig zu sein. Schon erstaunlich, dass Bachmann das nicht bemerkt hat. --Alexandar.R. 14:28, 18. Apr. 2008 (CEST)

Ich habe die Konzequenzen aus der Diskussion gezogen und den Text abgeändert mit Quellenangabe und Bemerkung zur ersten Bedingung in der Referenz.--Wilfried Neumaier 16:30, 18. Apr. 2008 (CEST)

Ich befasse mich gerade nochmals mit Zermelo-Ordinalzahlen. Die Verschärfung von Bachmann zu "entweder-Oder" dürfte mit dem Weglassen des Fundierungsaxioms zu tun haben, da beim "oder" theoretisch eine reflexive-Elementbeziehung möglich wird. Sehe ich das richtig? Dann müsste man doch die verschärfte Version nach Bachmann in den Text stellen, weil hier ausdrücklich das Fundierungsaxiom nicht vorausgesetzt wird wie im Bachmann-Buch. --Wilfried Neumaier 22:31, 9. Jan. 2009 (CET) Ich habe mich formal überzeugt von der Sache und die Stelle heute entsprechend korrigiert--Wilfried Neumaier 16:23, 17. Jan. 2009 (CET)

[Bearbeiten] Quellenbelege

Mir ist aufgefallen, dass Cantor im Artikel ohne ausreichende Quellenangaben refiert wird. Dieser Mangel sollte unbedingt behoben werden, da der Artikel im Übrigen gut mit Quellen belegt ist.--Wilfried Neumaier 12:25, 22. Jan. 2009 (CET). Ich habe eben selbst begonnen mit Präzisierungen.--Wilfried Neumaier 13:49, 22. Jan. 2009 (CET)

Mein Versuch, die Gödel-Definition durch eine Gödel-Quelle zu belegen, war bisher auch nicht erfolgreich. Bachmann 24 gibt auch keine Quelle an nur die Jahreszahl 1937.--Wilfried Neumaier 23:05, 22. Jan. 2009 (CET).

Dasselbe gilt für die andern Definitionen, die bei Bachmann auch nur ohne Quellenbelege referiert sind und dort vermutlich nicht original zitiert sind, sondern in einer Bearbeitung, die auf das Fundierungsaxiom verzichtet und daher geeignete Zusatzkriterien ergänzt wie bei seiner modifizierten Zermelo-Definition, die ich recherchiert habe.

[Bearbeiten] Nachfolger

"Die kleinste Ordinalzahl s(ξ) größer als alle Elemente der Ordinalzahl ξ heißt Nachfolger von ξ" Das ist doch so nicht richtig, damit wäre doch s(ξ)=ξ , oder? -- artis

Stimmt, jede Ordinalzahl ist größer als alle ihre Elemente. Vergleiche Bachmann 1967 S. 21: Zu jeder Ornungszahl a existiert die nächstgrößte Ordnungszahl, die sog. Nachfolgerzahl von a. Ich korrigiere den Text.--Wilfried Neumaier 00:07, 9. Feb. 2009 (CET)