Unter ZFC können wir die Kardinalität definieren für jeden Satz als
Wenn wir nicht das Axiom der Wahl (dh Arbeit in ZF) annehmen, dann gibt es (mindestens) zwei Ansätze zur Kardinalität. Der erste ist, dass wir dieselbe Definition wie oben verwenden. Die Definition ist jedoch nur für solche Mengen sinnvoll, die wohlgeordnet werden können. Daher ist der Preis, den wir für das Fehlen einer Wahl zahlen, der, dass die Kardinalität einiger Mengen (der nicht wohlordenbaren) undefiniert bleibt. Aber beachte das trotzdem nicht unbedingt für alle Sets sinnvoll in diesem Ansatz die verschiedenen Gleichheiten und Ungleichheiten der Form , usw. tun, da wir sie immer als Abkürzungen für „es gibt eine Bijektion/Injektion“ interpretieren können ".
Der zweite Ansatz besteht darin, dass wir die Kardinalität für alle Mengen im Universum mit Scotts Trick definieren (hoffentlich mache ich es richtig):
Meine Frage ist, was gewinnen wir, wenn überhaupt, mit dem zweiten Ansatz (abgesehen davon, dass wir die Kardinalität für alle Mengen definieren können)? Ist es eine unnötige Komplikation, die keinen tatsächlichen Vorteil gegenüber dem ersten Ansatz hat (dh nur ein Trick) oder hat es einen echten Nutzen in der ZF-Mengentheorie?
Die Idee hinter Scotts Trick, die Äquivalenzklassen in ziemlich komplizierte Mengen umzuwandeln, besteht lediglich darin, es zu ermöglichen, mit der partiellen Ordnung der Kardinalitäten innerhalb der Theorie problemlos zu arbeiten.
In Gegenwart von AC können wir immer ein kanonisches Beispiel für jede Kardinalität auswählen, nämlich die anfängliche Ordnungszahl der Äquivalenzklasse.
Es steht im Einklang mit ZF, dass es keine Wahlmöglichkeit für kanonische Vertreter gibt. Es gibt nämlich keine definierbare Klassenfunktion so dass für alle :
Diese Art von existiert natürlich mit dem Axiom der Wahl, wie ich oben erwähnt habe. Es scheint, dass wir diese Existenz für etwas Selbstverständliches halten.
Mit oder ohne Wahlaxiom können wir betrachten wie in Scotts Trick, nämlich die gleichen Sätze mit dem geringstmöglichen Rang zu nehmen. Mit dem Auswahlaxiom können wir jedoch festlegen , und einfach annehmen .
Der Punkt ist, dass wir diesen Luxus ohne das Wahlaxiom einfach nicht haben können und uns darauf beschränken müssen, diese komplizierten Mengen von Kardinalitäten zu handhaben. Dies ist nur ein Grund mehr, warum die Kardinalarithmetik so schwer wird, wenn man das Wahlaxiom hinter sich lässt.
Wenn kanonische Repräsentanten nicht garantiert sind, wird die Verwendung von Scotts Trick beim Schreiben von Sätzen über Kardinalitäten unerlässlich.
Vermuten ist amorph (d impliziert ist endlich bzw ist endlich).
Ich möchte beschreiben . Mit Scotts Trick ist dies einfach zu bewerkstelligen eine definierbare Funktion ist, ist der Definitionsbereich dieser teilweise geordneten Menge gut definierbar .
Wenn ich jedoch den ersten Ansatz verwende, muss ich mich fragen, was die Domäne der Kardinalitäten von Teilmengen von ist ? bei diesem Ansatz ist ein syntaktisches Objekt, nicht semantisch.
Ich kann beschreiben, dass dies eine linear geordnete Menge ist (dh alle zwei Teilmengen von haben vergleichbare Kardinalitäten), aber kann ich beweisen, dass diese Menge genau ist ? (das heißt, eine lineare Ordnung, in der jeder Punkt entweder endlich viele Punkte darüber oder endlich viele Punkte darunter hat; aber nicht beides) Nein, das kann ich nicht.
Das ist weil kann innerhalb des Modells nicht einheitlich beschrieben werden, und daher können wir seine Größe nicht einheitlich ( d. h. als Funktion) beschreiben ).
Wie Andres die Hauptfrage kommentierte, ist dies in vielen Fällen kein großes Problem. Das ist der Hauptgrund, warum dieses „Beispiel“ etwas künstlich wirkt. Es hilft jedoch, wenn Sie eine gute Möglichkeit haben, Kardinalitäten in den Zeiten zu definieren, in denen Sie sie tatsächlich benötigen.
Ich sollte erwähnen, dass Ordnungszahlen immer wohlgeordnet sind und daher von an -Zahl Art der Kardinalität und so kann für die Klasse der gut geordneten Mengen definiert werden. Die Sache ist die, dass wir ohne das Wahlaxiom einfach dazu neigen, Mengen zu haben, die ohne Wahlmöglichkeit nicht mit Ordinalzahlen bijeziert werden können.
Für weitere Informationen: T. Jech, The Axiom of Choice Kap. 11
Hinzugefügte Anmerkung: Scotts Trick nutzt stark das Axiom der Regelmäßigkeit (auch: Axiom der Grundlage), und mir ist kein sauberer Weg zum Definieren von Kardinalitäten mit dem Fehlen sowohl der Regelmäßigkeit als auch der Auswahl (oder sogar nur mit dem ersteren) bekannt abwesend).
Ein weiterer wichtiger Hinweis ist, dass Scotts Trick nicht nur nützlich ist, um Kardinalitäten zu definieren, wenn es keine Auswahl gibt, sondern auch, um andere äquivalente Beziehungen über Klassen zu definieren. Dinge wie zum Beispiel Ultraprodukte des Universums verlassen sich stark auf diese Konstruktion.
Erlauben Sie mir, der Behauptung in der Frage zu widersprechen, dass „wir sehr unnatürliche Kardinäle bekommen“, wenn wir Scotts Trick anwenden. Ich denke, Scotts Trick bringt uns dem natürlichsten Begriff der Kardinalzahl, nämlich Freges Begriff, näher als die Definition der "anfänglichen Ordinalzahl". Freges Idee war, dass Abstraktionen wie die Kardinalität (bei der wir von den einzelnen Elementen einer Menge abstrahieren und uns nur darum kümmern, wie viele es gibt) durch Äquivalenzklassen gegeben werden sollten. Für Frege also die Zahl ist die Sammlung von allem -Elementmengen. [Beachten Sie, dass dies nicht kreisförmig ist; man kann definieren " -element set", ohne diese Zahl vorauszusetzen .] Dies ist die einfachste mathematische Entität, die allen gemeinsam ist -Elementmengen. Freges Ansatz stößt in den üblichen Mengentheorien (wie ZF) auf Schwierigkeiten, weil die Sammlung aller -element sets ist keine Menge, sondern eine richtige Klasse. Scotts Trick soll eine minimale Optimierung von Freges Idee sein, eine Menge zu produzieren. (In einigen anderen Mengentheorien wie New Foundations sind Kardinäle im Sinne von Frege Mengen, und ich glaube, dies ist die bevorzugte Definition von Kardinalzahlen in solchen Theorien.) Beachten Sie auch, dass Freges Ansatz, ergänzt durch Scotts Trick, auf alle angewendet werden kann Äquivalenz-„Beziehung“ zum Universum der Mengen, nicht nur zur Beziehung des Seins in Eins-zu-Eins-Korrespondenz. (Die Anführungszeichen um "Beziehung" sind, weil es sich um eine richtige Klasse geordneter Paare und nicht um eine Menge handelt.)
Wie in der Antwort von Andreas Blass ausgeführt, sind Scotts Kardinäle nicht so unnatürlich (und eine große Ordnungszahl ist auch ein kompliziertes Objekt). Selbst mit dem Axiom of Choice macht die anfängliche Ordinaldefinition die Kardinal- und Ordinalarithmetik verwirrend. Zum Beispiel, , Aber . Somit besteht ein Vorteil darin sicherzustellen, dass transfinite Kardinalzahlen keine Ordnungszahlen sind.
Die Frage weist auf ein ernstes Problem mit Scotts Kardinälen hin: seines ist die Ordnungszahl , was verwirrend ist. Da endliche Ordinalzahlen und endliche Kardinalzahlen die gleiche Arithmetik haben, schlage ich vor, dass wir (mit oder ohne AC) Scotts Trick auf transfinite Mengen anwenden und die Kardinalzahl einer endlichen (dh Dedekind-endlichen und gut geordneten) Menge als die entsprechende Ordnungszahl definieren Nummer.
Qiaochu Yuan
Asaf Karagila
Qiaochu Yuan
Asaf Karagila
Asaf Karagila
Andrés E. Caicedo