Sur les Ordres de Bien-être Social Fortement Équitables Sans l'Axiome du Choix

Informations Fondamentales

• ID de l'article: 2406.08684
• Titre: On Strongly-equitable Social Welfare Orders Without the Axiom of Choice
• Auteur: Luke Serafin
• Classification: math.LO (Logique Mathématique)
• Date de publication: 17 octobre 2025
• Lien de l'article: https://arxiv.org/abs/2406.08684

Résumé

Les ordres de bien-être social visent à fusionner les préférences différentes de générations infinies en un ordre de préférence social unique et équitable. Dubey et Laguzzi ont étudié une classe d'ordres de bien-être social appelée SEA (fortement équitable et finiment anonyme), prouvant que l'existence d'ordres SEA implique l'existence d'ensembles de nombres réels dépourvus de la propriété de Baire, et observant que les ordres SEA peuvent être construits à l'aide d'ultrafiltres non-principaux sur $\mathbb{N}$. Cet article répond à deux questions ouvertes : l'existence d'ordres SEA implique-t-elle l'existence d'ensembles de nombres réels non-Lebesgue mesurables, et implique-t-elle l'existence d'ultrafiltres non-principaux sur $\mathbb{N}$ ? Les résultats montrent que l'existence d'ordres SEA implique effectivement l'existence d'ensembles non-Lebesgue mesurables, mais n'implique pas l'existence d'ultrafiltres non-principaux sur $\mathbb{N}$.

Contexte et Motivation de la Recherche

Contexte du Problème

1. Problème des ordres de bien-être social : En économie théorique, la question centrale est de savoir comment fusionner les utilités différentes que différents individus ou générations tirent d'une même politique en un ordre de préférence social unique.
2. Exigences d'équité : Les ordres de bien-être social doivent satisfaire certains principes d'équité raisonnables, tels que l'anonymat fini (finite anonymity) et l'équité forte (strong equity).
3. Problèmes de construction : Les économistes ont découvert que de nombreuses combinaisons de propriétés ne peuvent pas être réalisées sans supposer l'axiome du choix, présentant un caractère non-constructif.

Motivation de la Recherche

1. Perfectionnement théorique : Le travail de Dubey et Laguzzi a laissé deux questions ouvertes importantes à résoudre
2. Fondements logiques : Explorer les relations logiques entre l'existence d'ordres SEA et les concepts importants de la théorie des ensembles (tels que les ultrafiltres et la mesurabilité)
3. Résultats d'indépendance : Déterminer quels objets mathématiques ont des existences mutuellement indépendantes dans ZF+DC

Contributions Principales

1. Preuve que l'existence d'ordres SEA implique l'existence d'ensembles de nombres réels non-Lebesgue mesurables, répondant à la première question ouverte de Dubey et Laguzzi
2. Preuve que l'existence d'ordres SEA n'implique pas l'existence d'ultrafiltres non-principaux sur $\mathbb{N}$, répondant à la deuxième question ouverte
3. Développement d'une théorie générale de pré-linéarisation, applicable à une classe plus large de préordres Borel
4. Application de techniques de théorie géométrique des ensembles, en particulier la méthode de forçage équilibré de Larson et Zapletal

Explication Détaillée des Méthodes

Définition de la Tâche

Étudier les relations logiques entre l'existence d'ordres SEA (ordres de bien-être social satisfaisant simultanément l'équité forte et l'anonymat fini) et l'existence d'autres objets de théorie des ensembles.

Définitions Fondamentales

• Anonymat fini : Pour toute permutation π à support fini et tout $y \in Y^{\mathbb{N}}$, on a $y \approx y \circ \pi$
• Équité forte : S'il existe $i,j \in \mathbb{N}$ tels que $x(i) < y(i) < y(j) < x(j)$ et $x,y$ sont identiques aux autres coordonnées, alors $x \prec y$
• Ordre SEA : Ordre de bien-être social satisfaisant simultanément l'équité forte et l'anonymat fini

Méthodes Techniques Principales

1. Preuve de Non-Mesurabilité Lebesgue

Idée centrale : Utilisation du théorème de Fubini et d'arguments d'ergodicité

Lemme clé : La relation $E_{S_<\infty} \times E_{S_<\infty}$ sur $4^{\mathbb{N}} \times 4^{\mathbb{N}}$ est ergodique pour la mesure de Lebesgue.

Stratégie de preuve :

• Supposer que l'ordre SEA ≾ est Lebesgue mesurable
• En vertu de l'anonymat fini, ≾ est fermé sur chaque coordonnée par rapport à $E_{S_<\infty}$
• L'ergodicité implique que les ensembles invariants sont soit de mesure nulle, soit de mesure pleine
• L'analyse des sections verticales par le théorème de Fubini conduit à une contradiction

2. Preuve d'Indépendance des Ultrafiltres Non-Principaux

Technique centrale : Forçage équilibré (balanced forcing) en théorie géométrique des ensembles

Outils principaux :

• Conditions virtuelles : Décrivent les conditions de forçage cohérentes dans différentes extensions génériques
• Forçage tranquille : Garantit que le forçage n'ajoute pas d'ultrafiltres non-principaux
• Linéarisation d'espace quotient : Construction d'ordres SEA par linéarisation d'espaces quotients de relations d'équivalence

Points d'Innovation Technique

1. Application ingénieuse du théorème de Fubini : Application d'outils de théorie de la mesure à la théorie du choix social, prouvant que les ordres SEA sont nécessairement non-mesurables
2. Introduction de techniques de théorie géométrique des ensembles : Application pour la première fois de la théorie du forçage équilibré de Larson-Zapletal à des problèmes économiques
3. Cadre général de pré-linéarisation : Développement d'une théorie générale applicable aux préordres Borel « tranquilles »

Configuration Expérimentale

Méthodes de Vérification Théorique

Puisqu'il s'agit d'une recherche mathématique théorique pure, les « expériences » désignent principalement les constructions théoriques et la vérification des preuves :

1. Construction de modèles : Construction dans le modèle symétrique de Solovay W d'une extension ne contenant pas d'ultrafiltres non-principaux mais contenant des ordres SEA
2. Méthode de forçage : Utilisation du poset de linéarisation d'espace quotient pour l'extension par forçage
3. Preuves de cohérence : Vérification que le modèle construit satisfait ZF+DC et possède les propriétés souhaitées

Vérification des Techniques Clés

• Vérification de tranquillité : Preuve que le poset de pré-linéarisation P(≾) est tranquille
• Classification d'équivalence équilibrée : Classification des conditions virtuelles tranquilles par pré-linéarisation complète
• Fermeture par limite d'ultrafiltre : Vérification que les conditions virtuelles équilibrées sont fermées par limite d'ultrafiltre

Résultats Expérimentaux

Résultats Principaux

Théorème 1 (Non-Mesurabilité Lebesgue)

Proposition 2 : Soit ≾ un ordre SEA sur $4^{\mathbb{N}}$, alors ≾ en tant que sous-ensemble de $4^{\mathbb{N}} \times 4^{\mathbb{N}}$ n'est pas Lebesgue mesurable.

Théorème 2 (Indépendance des Ultrafiltres)

Il existe un modèle de ZF+DC dans lequel :

• Il existe un ordre SEA
• Il n'existe pas d'ultrafiltre non-principal sur $\mathbb{N}$
• Il n'existe pas de transversale $E_0$

Résultats Constructifs

Proposition 4 : Construction d'Ordre SEA par Ultrafiltre Non-Principal

S'il existe un ultrafiltre non-principal U sur $\mathbb{N}$, alors il existe un ordre SEA sur $(2^{\mathbb{N}})^{\mathbb{N}}$.

Propositions 5-6 : Autres Méthodes de Construction

• Un ordre linéaire sur $2^{\mathbb{N}}/E_0$ suffit pour construire un ordre SEA sur $4^{\mathbb{N}}$
• Un ordre linéaire sur $(2^{\mathbb{N}})^{\mathbb{N}}/E_1$ suffit pour construire un ordre SEA sur $Y^{\mathbb{N}}$ pour tout espace Polonais ordonné Y

Résultats de Généralisation

Corollaire 13 : Pré-linéarisation de Préordres Borel Tranquilles

Si ≾ est un préordre Borel tranquille, alors il existe un modèle de ZF+DC dans lequel ≾ possède une pré-linéarisation mais il n'existe pas d'ultrafiltre non-principal sur $\mathbb{N}$.

Travaux Connexes

Contexte de l'Économie Théorique

• Théorie du choix social : Théorème d'impossibilité d'Arrow et ses généralisations
• Équité intergénérationnelle : Problèmes de distribution équitable entre générations infinies
• Anonymat et équité : Axiomes fondamentaux des fonctions de bien-être social

Fondements de Théorie des Ensembles

• Théorie descriptive des ensembles : Propriétés de régularité des ensembles Borel et analytiques
• Théorie du forçage : Forçage de Cohen, modèles de Solovay
• Grands cardinaux : Force de cohérence des cardinaux inaccessibles

Théorie Géométrique des Ensembles

• Théorie de Larson-Zapletal : Forçage équilibré, conditions virtuelles
• Linéarisation d'espace quotient : Linéarisation par forçage d'espaces quotients de relations d'équivalence
• Forçage tranquille : Propriétés de forçage préservant l'inexistence de certains ensembles

Conclusion et Discussion

Conclusions Principales

1. Force de théorie des ensembles de l'existence d'ordres SEA :
   • Plus forte que « tous les ensembles de nombres réels sont Lebesgue mesurables »
   • Plus faible que « il existe un ultrafiltre non-principal »
   • Indépendante de « il existe une transversale $E_0$ »
2. Hiérarchie des méthodes de construction :
   • Ultrafiltre non-principal → Ordre SEA
   • Transversale $E_1$ → Ordre SEA général
   • Transversale $E_0$ → Ordre SEA à utilité finie

Limitations

1. Hypothèses de grands cardinaux : La preuve d'indépendance des ultrafiltres nécessite la cohérence des cardinaux inaccessibles
2. Problème des ordres ANIP non résolu : Les questions analogues concernant les ordres anonymes infinies Pareto restent ouvertes
3. Restriction de condition de tranquillité : La théorie générale de pré-linéarisation exige que le préordre satisfasse la tranquillité

Directions Futures

1. Étude des ordres ANIP : Peut-on traiter les conditions infinies Pareto anonymes par des méthodes similaires ?
2. Préordres plus généraux : Extension à tous les préordres Borel ou analytiques
3. Nécessité des grands cardinaux : Déterminer si les hypothèses de grands cardinaux sont vraiment nécessaires
4. Espaces non-séparables : Étude des espaces d'utilité sur des ordres linéaires définissables arbitraires

Évaluation Approfondie

Avantages

1. Innovation technique :
   • Application pour la première fois de la théorie géométrique des ensembles à la théorie du choix social
   • Application ingénieuse du théorème de Fubini dans ce contexte
   • Développement d'une théorie de pré-linéarisation plus largement applicable
2. Complétude théorique :
   • Résolution complète des deux questions ouvertes posées par Dubey-Laguzzi
   • Caractérisation précise de la force de théorie des ensembles de l'existence d'ordres SEA
   • Établissement d'un pont entre les concepts économiques et les concepts de théorie des ensembles
3. Contributions méthodologiques :
   • Démonstration du potentiel d'application des outils modernes de théorie des ensembles en économie
   • Fourniture d'un cadre systématique de résolution pour des problèmes analogues

Insuffisances

1. Seuil technique élevé : Nécessite une formation approfondie en théorie des ensembles, limitant l'acceptation par la communauté économique
2. Utilité pratique limitée : Les résultats sont principalement théoriques, avec une portée limitée pour l'orientation des politiques pratiques
3. Conditions d'hypothèse : Certains résultats nécessitent des hypothèses de cohérence de grands cardinaux

Impact

1. Valeur académique :
   • Avancement de la recherche sur les fondements de théorie des ensembles de la théorie du choix social
   • Fourniture d'un nouveau domaine d'application pour la théorie géométrique des ensembles
   • Potentiel d'inspiration pour davantage de recherches interdisciplinaires
2. Signification théorique :
   • Clarification du statut logique de concepts économiques importants
   • Démonstration du rôle subtil de l'axiome du choix en économie

Scénarios d'Application

1. Économie théorique : Recherche sur l'existence et la constructibilité des fonctions de bien-être social
2. Théorie des ensembles : Application des résultats d'indépendance et de la théorie du forçage
3. Logique mathématique : Recherche interdisciplinaire en théorie descriptive des ensembles et théorie des grands cardinaux

Références Bibliographiques

L'article cite 17 références importantes, dont les clés incluent :

• 2 Dubey & Laguzzi: « On social welfare orders satisfying anonymity and strong equity » - Pose les problèmes originaux
• 11 Larson & Zapletal: « Geometric set theory » - Fournit les outils techniques principaux
• 7 Kanamori: « The higher infinite » - Référence standard de la théorie des grands cardinaux
• 8 Kechris: « Classical descriptive set theory » - Fondations de la théorie descriptive des ensembles

Cet article représente un progrès important dans le domaine interdisciplinaire de l'économie mathématique et de la théorie des ensembles moderne, clarifiant par une analyse mathématique précise le statut logique des concepts fondamentaux de la théorie du choix social, et jetant les bases solides pour la recherche ultérieure dans les domaines connexes.