Über stark-gerechte Sozialwohlfahrtsordnungen ohne das Auswahlaxiom

Grundinformationen

• Papier-ID: 2406.08684
• Titel: On Strongly-equitable Social Welfare Orders Without the Axiom of Choice
• Autor: Luke Serafin
• Klassifikation: math.LO (Mathematische Logik)
• Veröffentlichungsdatum: 17. Oktober 2025
• Papier-Link: https://arxiv.org/abs/2406.08684

Zusammenfassung

Sozialwohlfahrtsordnungen zielen darauf ab, unterschiedliche Präferenzen unendlicher Generationen in einer einzigen, gerechten Sozialwohlfahrtsordnung zusammenzufassen. Dubey und Laguzzi untersuchten eine sogenannte SEA-Ordnung (Stark-gerecht und endlich-anonym), bewiesen, dass die Existenz von SEA-Ordnungen die Existenz von reellen Mengen ohne die Baire-Eigenschaft impliziert, und beobachteten, dass SEA-Ordnungen mit Hilfe von Nicht-Hauptultrafiltern auf $\mathbb{N}$ konstruiert werden können. Diese Arbeit beantwortet zwei offene Fragen: Impliziert die Existenz von SEA-Ordnungen die Existenz von nicht-Lebesgue-messbaren reellen Mengen, und impliziert sie die Existenz von Nicht-Hauptultrafiltern auf $\mathbb{N}$? Die Ergebnisse zeigen, dass die Existenz von SEA-Ordnungen tatsächlich die Existenz von nicht-Lebesgue-messbaren reellen Mengen impliziert, aber nicht die Existenz von Nicht-Hauptultrafiltern auf $\mathbb{N}$ impliziert.

Forschungshintergrund und Motivation

Problemhintergrund

1. Sozialwohlfahrtsordnungsproblem: In der theoretischen Ökonomie ist es eine zentrale Frage, wie unterschiedliche Nutzen verschiedener Individuen oder Generationen aus einer Politik in einer einzigen Sozialwohlfahrtsordnung zusammengefasst werden können.
2. Gerechtigkeitsanforderungen: Sozialwohlfahrtsordnungen müssen bestimmte angemessene Gerechtigkeitsprinzipien erfüllen, wie endliche Anonymität (finite anonymity) und starke Gerechtigkeit (strong equity).
3. Konstruktivitätsproblem: Ökonomen haben festgestellt, dass viele Kombinationen von Eigenschaften ohne die Annahme des Auswahlaxioms nicht realisierbar sind und nicht-konstruktive Merkmale aufweisen.

Forschungsmotivation

1. Theoretische Vervollständigung: Die Arbeit von Dubey und Laguzzi hinterließ zwei wichtige offene Fragen, die gelöst werden müssen
2. Logische Grundlagen: Erforschung der logischen Beziehungen zwischen der Existenz von SEA-Ordnungen und wichtigen Konzepten der Mengenlehre (wie Ultrafiltern und Messbarkeit)
3. Unabhängigkeitsergebnisse: Bestimmung, welche Existenzen mathematischer Objekte in ZF+DC gegenseitig unabhängig sind

Kernbeiträge

1. Beweis, dass die Existenz von SEA-Ordnungen die Existenz von nicht-Lebesgue-messbaren reellen Mengen impliziert, was die erste offene Frage von Dubey und Laguzzi beantwortet
2. Beweis, dass die Existenz von SEA-Ordnungen nicht die Existenz von Nicht-Hauptultrafiltern auf $\mathbb{N}$ impliziert, was die zweite offene Frage beantwortet
3. Entwicklung einer allgemeinen Prälinealisierungstheorie, die auf eine breitere Klasse von Borel-Präordnungen anwendbar ist
4. Anwendung von Techniken der geometrischen Mengenlehre, insbesondere der ausgewogenen Erzwingungsmethode von Larson und Zapletal

Methodische Erläuterung

Aufgabendefinition

Untersuchung der logischen Beziehungen zwischen der Existenz von SEA-Ordnungen (Sozialwohlfahrtsordnungen, die gleichzeitig starke Gerechtigkeit und endliche Anonymität erfüllen) und der Existenz anderer mengentheoretischer Objekte.

Kerndefinitionen

• Endliche Anonymität: Für jede endlich-getragene Permutation π und jedes $y \in Y^{\mathbb{N}}$ gilt $y \approx y \circ \pi$
• Starke Gerechtigkeit: Wenn es $i,j \in \mathbb{N}$ gibt, so dass $x(i) < y(i) < y(j) < x(j)$ und $x,y$ in anderen Koordinaten identisch sind, dann $x \prec y$
• SEA-Ordnung: Eine Sozialwohlfahrtsordnung, die gleichzeitig starke Gerechtigkeit und endliche Anonymität erfüllt

Haupttechnische Methoden

1. Beweis der Nicht-Lebesgue-Messbarkeit

Kernidee: Verwendung des Satzes von Fubini und ergodischer Argumente

Schlüssel-Lemma: Die Relation $E_{S_<\infty} \times E_{S_<\infty}$ auf $4^{\mathbb{N}} \times 4^{\mathbb{N}}$ ist bezüglich des Lebesgue-Maßes ergodisch.

Beweisstrategien:

• Annahme, dass die SEA-Ordnung ≾ Lebesgue-messbar ist
• Aufgrund der endlichen Anonymität ist ≾ auf jeder Koordinate bezüglich $E_{S_<\infty}$ abgeschlossen
• Ergodizität impliziert, dass invariante Mengen entweder Nullmengen oder komplementäre Nullmengen sind
• Analyse vertikaler Schnitte mit dem Satz von Fubini führt zu einem Widerspruch

2. Beweis der Unabhängigkeit von Nicht-Hauptultrafiltern

Kerntechnik: Ausgewogene Erzwingung (balanced forcing) in der geometrischen Mengenlehre

Hauptwerkzeuge:

• Virtuelle Bedingungen: Beschreiben Erzwingungsbedingungen, die in verschiedenen generischen Erweiterungen konsistent sind
• Ruhige Erzwingung: Gewährleistet die Eigenschaft, dass keine Nicht-Hauptultrafilter hinzugefügt werden
• Quotientenraum-Linearisierung: Konstruktion von SEA-Ordnungen durch Linearisierung von Quotientenräumen von Äquivalenzrelationen

Technische Innovationspunkte

1. Geschickte Anwendung des Satzes von Fubini: Anwendung von Maßtheorie-Werkzeugen auf die Sozialwahltheorie, um zu beweisen, dass SEA-Ordnungen notwendigerweise nicht-messbar sind
2. Einführung von Techniken der geometrischen Mengenlehre: Erstmalige Anwendung der ausgewogenen Erzwingungstheorie von Larson-Zapletal auf ökonomische Probleme
3. Allgemeines Prälinealisierungsgerüst: Entwicklung einer allgemeinen Theorie, die auf "ruhige" Borel-Präordnungen anwendbar ist

Experimentelle Einrichtung

Theoretische Verifikationsmethoden

Da es sich um reine mathematische Theorieforschung handelt, beziehen sich "Experimente" hauptsächlich auf theoretische Konstruktionen und Beweisverifikation:

1. Modellkonstruktion: Konstruktion einer Erweiterung im symmetrischen Solovay-Modell W, die keine Nicht-Hauptultrafilter enthält, aber SEA-Ordnungen enthält
2. Erzwingungsmethode: Verwendung von Quotientenraum-Linearisierungs-Poset für Erzwingungserweiterungen
3. Konsistenzbeweise: Verifikation, dass das konstruierte Modell ZF+DC erfüllt und die gewünschten Eigenschaften besitzt

Verifikation kritischer Techniken

• Ruhigkeitsverifikation: Beweis, dass das Prälinealisierungs-Poset P(≾) ruhig ist
• Ausgewogene Äquivalenzklassifizierung: Klassifizierung ruhiger virtueller Bedingungen durch vollständige Prälinealisierung
• Ultrafilter-Grenzwert-Abgeschlossenheit: Verifikation, dass ausgewogene virtuelle Bedingungen unter Ultrafilter-Grenzwerten abgeschlossen sind

Experimentelle Ergebnisse

Hauptergebnisse

Satz 1 (Nicht-Lebesgue-Messbarkeit)

Proposition 2: Sei ≾ eine SEA-Ordnung auf $4^{\mathbb{N}}$, dann ist ≾ als Teilmenge von $4^{\mathbb{N}} \times 4^{\mathbb{N}}$ nicht Lebesgue-messbar.

Satz 2 (Ultrafilter-Unabhängigkeit)

Es existiert ein Modell von ZF+DC, in dem:

• Eine SEA-Ordnung existiert
• Keine Nicht-Hauptultrafilter auf $\mathbb{N}$ existieren
• Keine $E_0$-Querschnitte existieren

Konstruktive Ergebnisse

Proposition 4: Nicht-Hauptultrafilter-Konstruktion von SEA-Ordnungen

Wenn ein Nicht-Hauptultrafilter U auf $\mathbb{N}$ existiert, dann existiert eine SEA-Ordnung auf $(2^{\mathbb{N}})^{\mathbb{N}}$.

Proposition 5-6: Andere Konstruktionsmethoden

• Eine lineare Ordnung auf $2^{\mathbb{N}}/E_0$ reicht aus, um eine SEA-Ordnung auf $4^{\mathbb{N}}$ zu konstruieren
• Eine lineare Ordnung auf $(2^{\mathbb{N}})^{\mathbb{N}}/E_1$ reicht aus, um eine SEA-Ordnung auf $Y^{\mathbb{N}}$ für jeden geordneten polnischen Raum Y zu konstruieren

Verallgemeinerte Ergebnisse

Korollar 13: Prälinealisierung ruhiger Borel-Präordnungen

Wenn ≾ eine ruhige Borel-Präordnung ist, dann existiert ein ZF+DC-Modell, in dem ≾ eine Prälinealisierung hat, aber keine Nicht-Hauptultrafilter auf $\mathbb{N}$ existieren.

Verwandte Arbeiten

Theoretischer Ökonomie-Hintergrund

• Sozialwahltheorie: Arrows Unmöglichkeitssatz und seine Verallgemeinerungen
• Intergenerationale Gerechtigkeit: Gerechte Verteilungsprobleme zwischen unendlichen Generationen
• Anonymität und Gerechtigkeit: Grundlegende Axiome von Sozialwohlfahrtsfunktionen

Mengenlehre-Grundlagen

• Deskriptive Mengenlehre: Regularitätseigenschaften von Borel- und analytischen Mengen
• Erzwingungstheorie: Cohen-Erzwingung, Solovay-Modelle
• Große Kardinalzahlen: Konsistenzstärke unerreichbarer Kardinalzahlen

Geometrische Mengenlehre

• Larson-Zapletal-Theorie: Ausgewogene Erzwingung, virtuelle Bedingungen
• Quotientenraum-Linearisierung: Erzwingungslinearisierung von Quotientenräumen von Äquivalenzrelationen
• Ruhige Erzwingung: Erzwingungseigenschaften, die die Nichtexistenz bestimmter Mengen bewahren

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

1. Mengenlehre-Stärke der SEA-Ordnungs-Existenz:
   • Stärker als "alle reellen Mengen sind Lebesgue-messbar"
   • Schwächer als "Nicht-Hauptultrafilter existieren"
   • Unabhängig von "Existenz von $E_0$-Querschnitten"
2. Hierarchie der Konstruktionsmethoden:
   • Nicht-Hauptultrafilter → SEA-Ordnung
   • $E_1$-Querschnitte → allgemeine SEA-Ordnung
   • $E_0$-Querschnitte → endliche Nutzen-SEA-Ordnung

Einschränkungen

1. Große-Kardinalzahl-Annahmen: Der Beweis der Ultrafilter-Unabhängigkeit erfordert die Konsistenz unerreichbarer Kardinalzahlen
2. ANIP-Ordnungs-Problem ungelöst: Ähnliche Probleme mit anonymen unendlichen Pareto-Ordnungen bleiben offen
3. Ruhigkeits-Bedingungsbeschränkung: Die allgemeine Prälinealisierungstheorie erfordert, dass die Präordnung ruhig ist

Zukünftige Richtungen

1. ANIP-Ordnungs-Forschung: Können ähnliche Methoden für unendliche Pareto-Bedingungen verwendet werden?
2. Allgemeinere Präordnungen: Erweiterung auf alle Borel- oder analytischen Präordnungen
3. Notwendigkeit großer Kardinalzahlen: Bestimmung, ob große Kardinalzahl-Annahmen wirklich notwendig sind
4. Nicht-separable Räume: Untersuchung von Nutzräumen auf beliebigen definierbaren linearen Ordnungen

Tiefgreifende Bewertung

Stärken

1. Technische Innovativität:
   • Erstmalige Anwendung der geometrischen Mengenlehre auf die Sozialwahltheorie
   • Geschickte Anwendung des Satzes von Fubini in diesem Kontext
   • Entwicklung einer allgemeiner anwendbaren Prälinealisierungstheorie
2. Theoretische Vollständigkeit:
   • Vollständige Lösung der beiden von Dubey-Laguzzi aufgeworfenen offenen Fragen
   • Bereitstellung einer präzisen mengentheoretischen Charakterisierung der SEA-Ordnungs-Existenz
   • Aufbau einer Brücke zwischen ökonomischen und mengentheoretischen Konzepten
3. Methodologische Beiträge:
   • Demonstration des Anwendungspotenzials moderner Mengenlehre-Werkzeuge in der Ökonomie
   • Bereitstellung eines systematischen Lösungsrahmens für ähnliche Probleme

Schwächen

1. Hohe technische Hürde: Erfordert tiefgreifende Mengenlehre-Kenntnisse, was die Akzeptanz in der Ökonomie-Gemeinde einschränkt
2. Begrenzte praktische Anwendbarkeit: Ergebnisse sind hauptsächlich theoretischer Natur mit begrenzter Orientierung für tatsächliche Politikgestaltung
3. Annahmebedingungen: Einige Ergebnisse erfordern Konsistenzannahmen großer Kardinalzahlen

Einflussfähigkeit

1. Akademischer Wert:
   • Förderung der mengentheoretischen Grundlagenforschung der Sozialwahltheorie
   • Bereitstellung neuer Anwendungsfelder für die geometrische Mengenlehre
   • Mögliche Inspiration für weitere interdisziplinäre Forschung
2. Theoretische Bedeutung:
   • Klärung des logischen Status wichtiger ökonomischer Konzepte
   • Demonstration der subtilen Rolle des Auswahlaxioms in der Ökonomie

Anwendungsszenarien

1. Theoretische Ökonomie: Untersuchung der Existenz und Konstruierbarkeit von Sozialwohlfahrtsfunktionen
2. Mengenlehre: Anwendungen von Unabhängigkeitsergebnissen und Erzwingungstheorie
3. Mathematische Logik: Interdisziplinäre Forschung zwischen deskriptiver Mengenlehre und Großkardinaltheorie

Literaturverzeichnis

Das Papier zitiert 17 wichtige Literaturquellen, darunter die wichtigsten:

• 2 Dubey & Laguzzi: "On social welfare orders satisfying anonymity and strong equity" - Aufwurf des ursprünglichen Problems
• 11 Larson & Zapletal: "Geometric set theory" - Bereitstellung der Haupttechnischen Werkzeuge
• 7 Kanamori: "The higher infinite" - Standardreferenz für Großkardinaltheorie
• 8 Kechris: "Classical descriptive set theory" - Grundlagen der deskriptiven Mengenlehre

Dieses Papier stellt einen wichtigen Fortschritt im Schnittstellenbereich zwischen mathematischer Ökonomie und moderner Mengenlehre dar. Durch präzise mathematische Analyse klärt es den logischen Status grundlegender Konzepte der Sozialwahltheorie und legt damit eine solide Grundlage für weitere Forschung in verwandten Bereichen.