Sugli Ordini di Benessere Sociale Fortemente Equi Senza l'Assioma della Scelta

Informazioni Fondamentali

• ID Articolo: 2406.08684
• Titolo: On Strongly-equitable Social Welfare Orders Without the Axiom of Choice
• Autore: Luke Serafin
• Classificazione: math.LO (Logica Matematica)
• Data di Pubblicazione: 17 ottobre 2025
• Link Articolo: https://arxiv.org/abs/2406.08684

Riassunto

Gli ordini di benessere sociale mirano a combinare le preferenze divergenti di infinite generazioni in un unico ordine di preferenza sociale equo e coerente. Dubey e Laguzzi hanno studiato una classe di ordini di benessere sociale denominati SEA (Strongly Equitable and Anonymity), provando che l'esistenza di ordini SEA implica l'esistenza di insiemi di numeri reali privi della proprietà di Baire, e osservando che gli ordini SEA possono essere costruiti utilizzando ultrafiltri non principali su $\mathbb{N}$. Il presente articolo risponde a due problemi aperti: se l'esistenza di ordini SEA implica l'esistenza di insiemi di numeri reali non Lebesgue misurabili, e se implica l'esistenza di ultrafiltri non principali su $\mathbb{N}$. I risultati mostrano che l'esistenza di ordini SEA implica effettivamente l'esistenza di insiemi di numeri reali non Lebesgue misurabili, ma non implica l'esistenza di ultrafiltri non principali su $\mathbb{N}$.

Contesto di Ricerca e Motivazione

Sfondo del Problema

1. Problema degli ordini di benessere sociale: In economia teorica, la questione centrale riguarda come combinare le diverse utilità che diversi individui o generazioni traggono dalla medesima politica in un unico ordine di preferenza sociale.
2. Requisiti di equità: Gli ordini di benessere sociale devono soddisfare certi principi di equità ragionevoli, come l'anonimato finito (finite anonymity) e l'equità forte (strong equity).
3. Problemi costruttivi: Gli economisti hanno scoperto che molte combinazioni di proprietà non possono essere realizzate senza assumere l'assioma della scelta, presentando caratteristiche non costruttive.

Motivazione della Ricerca

1. Completamento teorico: Il lavoro di Dubey e Laguzzi ha lasciato due importanti problemi aperti da risolvere
2. Fondamenti logici: Esplorare le relazioni logiche tra l'esistenza di ordini SEA e concetti importanti nella teoria degli insiemi (come ultrafiltri e misurabilità)
3. Risultati di indipendenza: Determinare quali oggetti matematici hanno esistenza mutuamente indipendente in ZF+DC

Contributi Fondamentali

1. Provato che l'esistenza di ordini SEA implica l'esistenza di insiemi di numeri reali non Lebesgue misurabili, rispondendo al primo problema aperto di Dubey e Laguzzi
2. Provato che l'esistenza di ordini SEA non implica l'esistenza di ultrafiltri non principali su $\mathbb{N}$, rispondendo al secondo problema aperto
3. Sviluppato una teoria generale di prelinearizzazione, applicabile a una classe più ampia di preordini Borel
4. Applicate tecniche di teoria geometrica degli insiemi, in particolare il metodo di forcing bilanciato di Larson e Zapletal

Spiegazione Dettagliata dei Metodi

Definizione del Compito

Studiare le relazioni logiche tra l'esistenza di ordini SEA (ordini di benessere sociale che soddisfano simultaneamente equità forte e anonimato finito) e l'esistenza di altri oggetti della teoria degli insiemi.

Definizioni Fondamentali

• Anonimato finito: Per ogni permutazione π con supporto finito e ogni $y \in Y^{\mathbb{N}}$, vale $y \approx y \circ \pi$
• Equità forte: Se esistono $i,j \in \mathbb{N}$ tali che $x(i) < y(i) < y(j) < x(j)$ e $x,y$ coincidono in altre coordinate, allora $x \prec y$
• Ordine SEA: Ordine di benessere sociale che soddisfa simultaneamente equità forte e anonimato finito

Metodi Tecnici Principali

1. Prova della Non-Misurabilità Lebesgue

Idea centrale: Utilizzo del teorema di Fubini e argomenti di ergodicità

Lemma chiave: La relazione $E_{S_<\infty} \times E_{S_<\infty}$ su $4^{\mathbb{N}} \times 4^{\mathbb{N}}$ è ergodica rispetto alla misura di Lebesgue.

Strategia di prova:

• Supponiamo che l'ordine SEA ≾ sia Lebesgue misurabile
• Per l'anonimato finito, ≾ è chiuso rispetto a $E_{S_<\infty}$ in ogni coordinata
• L'ergodicità implica che gli insiemi invarianti sono insiemi di misura nulla o complementari di insiemi di misura nulla
• Analizzando le sezioni verticali mediante il teorema di Fubini, si deriva una contraddizione

2. Prova dell'Indipendenza degli Ultrafiltri Non Principali

Tecnica centrale: Forcing bilanciato nella teoria geometrica degli insiemi

Strumenti principali:

• Condizioni virtuali: Descrivono le condizioni di forcing che rimangono coerenti in diverse estensioni generiche
• Forcing tranquillo: Garantisce la proprietà di forcing di non aggiungere ultrafiltri non principali
• Linearizzazione dello spazio quoziente: Costruisce ordini SEA mediante linearizzazione di spazi quoziente di relazioni di equivalenza

Punti di Innovazione Tecnica

1. Applicazione ingegnosa del teorema di Fubini: Applicazione di strumenti della teoria della misura alla teoria della scelta sociale, provando che gli ordini SEA devono necessariamente essere non misurabili
2. Introduzione di tecniche della teoria geometrica degli insiemi: Prima applicazione della teoria del forcing bilanciato di Larson-Zapletal a problemi economici
3. Quadro generale di prelinearizzazione: Sviluppo di una teoria generale applicabile a preordini Borel "tranquilli"

Impostazione Sperimentale

Metodi di Verifica Teorica

Poiché si tratta di ricerca matematica pura, gli "esperimenti" si riferiscono principalmente a costruzioni teoriche e verifiche di prove:

1. Costruzione di modelli: Costruzione di estensioni nel modello simmetrico di Solovay W che contengono ordini SEA ma non ultrafiltri non principali
2. Metodo di forcing: Utilizzo del poset di linearizzazione dello spazio quoziente per l'estensione di forcing
3. Prove di coerenza: Verifica che i modelli costruiti soddisfino ZF+DC e possiedano le proprietà desiderate

Verifica Tecnica Chiave

• Verifica della tranquillità: Prova che il poset di prelinearizzazione P(≾) è tranquillo
• Classificazione di equivalenza bilanciata: Classificazione di condizioni virtuali tranquille completamente prelinearizzate
• Chiusura sotto limiti di ultrafiltro: Verifica che le condizioni virtuali bilanciate siano chiuse sotto limiti di ultrafiltro

Risultati Sperimentali

Risultati Principali

Teorema 1 (Non-Misurabilità Lebesgue)

Proposizione 2: Sia ≾ un ordine SEA su $4^{\mathbb{N}}$, allora ≾ come sottoinsieme di $4^{\mathbb{N}} \times 4^{\mathbb{N}}$ non è Lebesgue misurabile.

Teorema 2 (Indipendenza degli Ultrafiltri)

Esiste un modello di ZF+DC in cui:

• Esiste un ordine SEA
• Non esiste alcun ultrafiltro non principale su $\mathbb{N}$
• Non esiste alcuna sezione trasversale $E_0$

Risultati Costruttivi

Proposizione 4: Costruzione di Ordini SEA mediante Ultrafiltri Non Principali

Se esiste un ultrafiltro non principale U su $\mathbb{N}$, allora esiste un ordine SEA su $(2^{\mathbb{N}})^{\mathbb{N}}$.

Proposizioni 5-6: Altri Metodi Costruttivi

• Un ordine lineare su $2^{\mathbb{N}}/E_0$ è sufficiente per costruire un ordine SEA su $4^{\mathbb{N}}$
• Un ordine lineare su $(2^{\mathbb{N}})^{\mathbb{N}}/E_1$ è sufficiente per costruire un ordine SEA su $Y^{\mathbb{N}}$ per uno spazio Polish ordinato arbitrario Y

Risultati di Generalizzazione

Corollario 13: Prelinearizzazione di Preordini Borel Tranquilli

Se ≾ è un preordine Borel tranquillo, allora esiste un modello di ZF+DC in cui ≾ ha una prelinearizzazione ma non esiste alcun ultrafiltro non principale su $\mathbb{N}$.

Lavori Correlati

Sfondo della Teoria Economica

• Teoria della scelta sociale: Teorema di impossibilità di Arrow e sue generalizzazioni
• Equità intergenerazionale: Problemi di distribuzione equa tra infinite generazioni
• Anonimato ed equità: Assiomi fondamentali delle funzioni di benessere sociale

Fondamenti della Teoria degli Insiemi

• Teoria descrittiva degli insiemi: Proprietà di regolarità di insiemi Borel e analitici
• Teoria del forcing: Forcing di Cohen, modello di Solovay
• Grandi cardinali: Coerenza della forza dei cardinali inaccessibili

Teoria Geometrica degli Insiemi

• Teoria di Larson-Zapletal: Forcing bilanciato, condizioni virtuali
• Linearizzazione dello spazio quoziente: Linearizzazione forzata di spazi quoziente di relazioni di equivalenza
• Forcing tranquillo: Proprietà di forcing che preservano la non-esistenza di certi insiemi

Conclusioni e Discussione

Conclusioni Principali

1. Forza della teoria degli insiemi dell'esistenza di ordini SEA:
   • Più forte di "tutti gli insiemi di numeri reali sono Lebesgue misurabili"
   • Più debole di "esiste un ultrafiltro non principale"
   • Indipendente da "esiste una sezione trasversale $E_0$"
2. Gerarchia dei metodi costruttivi:
   • Ultrafiltro non principale → Ordine SEA
   • Sezione trasversale $E_1$ → Ordine SEA generale
   • Sezione trasversale $E_0$ → Ordine SEA con utilità finita

Limitazioni

1. Assunzioni di grandi cardinali: La prova dell'indipendenza degli ultrafiltri richiede la coerenza dei cardinali inaccessibili
2. Problema degli ordini ANIP non risolto: Problemi analoghi riguardanti ordini Pareto infiniti anonimati rimangono aperti
3. Limitazioni della condizione di tranquillità: La teoria generale di prelinearizzazione richiede che il preordine soddisfi la tranquillità

Direzioni Future

1. Ricerca su ordini ANIP: Se metodi analoghi possono affrontare condizioni Pareto infinite
2. Preordini più generali: Estensione a tutti i preordini Borel o analitici
3. Necessità di grandi cardinali: Determinare se le assunzioni di grandi cardinali sono veramente necessarie
4. Spazi non separabili: Studio di spazi di utilità su ordini lineari arbitrari definibili

Valutazione Approfondita

Punti di Forza

1. Innovazione tecnica:
   • Prima applicazione della teoria geometrica degli insiemi alla teoria della scelta sociale
   • Applicazione ingegnosa del teorema di Fubini in questo contesto
   • Sviluppo di una teoria di prelinearizzazione più ampiamente applicabile
2. Completezza teorica:
   • Risoluzione completa dei due problemi aperti proposti da Dubey-Laguzzi
   • Caratterizzazione precisa della forza della teoria degli insiemi dell'esistenza di ordini SEA
   • Costruzione di ponti tra concetti economici e concetti della teoria degli insiemi
3. Contributi metodologici:
   • Dimostrazione del potenziale di applicazione degli strumenti moderni della teoria degli insiemi all'economia
   • Fornitura di un quadro sistematico di soluzione per problemi analoghi

Insufficienze

1. Elevata soglia tecnica: Richiede una profonda conoscenza della teoria degli insiemi, limitando l'accettazione nella comunità economica
2. Applicabilità pratica limitata: I risultati sono principalmente teorici, con guida limitata per la formulazione di politiche pratiche
3. Condizioni di assunzione: Alcuni risultati richiedono assunzioni di coerenza di grandi cardinali

Impatto

1. Valore accademico:
   • Avanzamento della ricerca sui fondamenti della teoria degli insiemi della teoria della scelta sociale
   • Fornitura di nuovi campi di applicazione per la teoria geometrica degli insiemi
   • Potenziale ispirazione per ulteriori ricerche interdisciplinari
2. Significato teorico:
   • Chiarimento dello stato logico di importanti concetti economici
   • Dimostrazione del ruolo sottile dell'assioma della scelta in economia

Scenari di Applicazione

1. Economia teorica: Studio dell'esistenza e della costruttività di funzioni di benessere sociale
2. Teoria degli insiemi: Applicazione di risultati di indipendenza e teoria del forcing
3. Logica matematica: Ricerca interdisciplinare tra teoria descrittiva degli insiemi e teoria dei grandi cardinali

Bibliografia

L'articolo cita 17 importanti riferimenti bibliografici, tra cui i più significativi:

• 2 Dubey & Laguzzi: "On social welfare orders satisfying anonymity and strong equity" - Propone i problemi originali
• 11 Larson & Zapletal: "Geometric set theory" - Fornisce i principali strumenti tecnici
• 7 Kanamori: "The higher infinite" - Riferimento standard per la teoria dei grandi cardinali
• 8 Kechris: "Classical descriptive set theory" - Fondamenti della teoria descrittiva degli insiemi

Questo articolo rappresenta un importante progresso nel campo interdisciplinare dell'economia matematica e della teoria moderna degli insiemi, chiarendo mediante analisi matematica rigorosa lo stato logico dei concetti fondamentali nella teoria della scelta sociale, e gettando solide basi per ulteriori ricerche nei campi correlati.