📈 economics

On the construction and representation of social welfare orders satisfying consequentialist equity axioms

Cet article étudie la nature constructive des ordres de bien-être social sur des flux d'utilité infinis satisfaisant des axiomes d'équité tels que l'équité forte, l'équité de Hammond ou le principe de transfert de Pigou-Dalton, démontrant que si des descriptions lexicographiques explicites existent lorsque l'ensemble des utilités est bien ordonné, l'existence de tels ordres sur des domaines généraux nécessite des hypothèses de théorie des ensembles non constructives comme l'existence d'une collection non ramseyenne.

Auteurs originaux : Ram Sewak Dubey

Publié 2026-06-23

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Ram Sewak Dubey

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous êtes un arbitre cosmique chargé de classer le bonheur d'une lignée infinie de générations futures. Vous disposez d'une liste de flux d'utilité (comme une fiche de score pour chaque génération, s'étendant à l'infini dans le futur). Votre tâche est de décider quelle liste est « meilleure » qu'une autre, mais vous devez suivre des règles strictes d'équité.

Cet article de Ram Sewak Dubey est une analyse approfondie de la question suivante : Pouvons-nous construire un système de classement équitable pour des futurs infinis en utilisant des méthodes claires et par étapes (méthodes constructives), ou devons-nous nous appuyer sur des outils invisibles et magiques (méthodes non constructives) que nous ne pouvons pas réellement écrire ?

Voici la décomposition des conclusions de l'article en utilisant des analogies simples.

Les trois règles de l'équité

L'article se concentre sur trois règles d'équité spécifiques qu'un bon système de classement devrait suivre :

Équité forte : Si vous avez deux scénarios où tout le monde est identique sauf deux générations, et que dans un scénario la génération « pauvre » reçoit un bonus tandis que la génération « riche » subit un malus (mais reste plus riche que la pauvre), le système doit préférer le scénario où la génération pauvre a reçu le bonus.
Équité de Hammond : Une version légèrement plus faible de la règle ci-dessus.
Transfert de Pigou-Dalton : Si vous prenez un tout petit peu de bonheur à une personne riche pour le donner à une personne pauvre (sans rendre la personne pauvre plus riche que la riche), le système doit préférer ce nouvel arrangement.

Le grand conflit : « Construire » vs « Prouver son existence »

L'article distingue deux manières de trouver une solution :

La Construction (Le plan de montage) : Vous pouvez écrire un algorithme ou une recette spécifique que n'importe qui peut suivre pour comparer deux listes et obtenir un résultat. C'est comme construire une maison avec des plans clairs.
La Représentation (La preuve magique) : Vous pouvez prouver qu'un classement doit exister en utilisant des mathématiques abstraites (reposant souvent sur l'« Axiome du Choix », qui est comme une baguette magique disant qu'une solution existe quelque part, même si nous ne pouvons pas la trouver). C'est comme dire : « Il existe une maison parfaite quelque part dans l'univers », sans pouvoir dire où elle se trouve ni comment la construire.

La bonne nouvelle : Quand nous pouvons le construire

L'article trouve que si les niveaux de bonheur possibles (le « domaine ») sont bien ordonnés (c'est-à-dire qu'ils sont disposés comme une échelle où l'on peut toujours pointer le « cran suivant », comme les nombres entiers naturels 1, 2, 3...), nous pouvons construire un système de classement équitable.

L'analogie : Imaginez que les niveaux de bonheur soient comme les marches d'un escalier. L'auteur crée un système spécial « lexicographique » (de type dictionnaire). Au lieu de regarder seulement la première génération, puis la deuxième, ce système examine les seuils de bonheur. Il convertit chaque flux infini de bonheur en une longue chaîne de codes binaires (0 et 1) basée sur le fait qu'une génération est au-dessus ou en dessous de certains « paliers » de seuil.
Le résultat : En comparant ces codes binaires comme des mots dans un dictionnaire, l'auteur crée un système de classement parfait et explicite qui satisfait toutes les règles d'équité. Pas besoin de baguettes magiques ici.

La mauvaise nouvelle : Quand nous avons besoin de magie (Non-constructif)

L'article trouve également que si les niveaux de bonheur sont disposés dans un ordre décroissant (comme les nombres entiers négatifs : -1, -2, -3... descendant à l'infini) ou possèdent une structure de type « entier » spécifique, nous nous heurtons à un mur.

L'analogie : Imaginez essayer de classer des flux infinis où les niveaux de bonheur sont comme un escalier descendant dans un sous-sol sans fin. L'article prouve que si vous essayez de construire un système de classement équitable ici, vous êtes contraint de créer un « Ensemble Non-Ramsey ».
Qu'est-ce qu'un ensemble Non-Ramsey ? Considérez cela comme une « collection de chaos ». C'est un groupe de sous-ensembles infinis de nombres qui est si désordonné et complexe qu'il ne peut être construit par aucune règle logique, étape par étape. C'est un objet mathématique qui n'existe que si vous utilisez l'« Axiome du Choix » (la baguette magique).
La conclusion : Si votre domaine de bonheur ressemble à un escalier descendant, vous ne pouvez pas écrire une recette pour un classement équitable. Vous pouvez seulement prouver qu'il en existe un en utilisant la magie mathématique non constructive. Cela signifie qu'un décideur politique du monde réel ne pourrait jamais utiliser un tel système pour prendre des décisions car il ne pourrait pas calculer le résultat.

Le piège de la représentation (Nombres réels vs Classements)

L'article traite également d'une idée reçue courante : « Si nous pouvons classer des choses, pouvons-nous simplement leur donner un score (un nombre réel) ? »

La découverte : Pour certains domaines (comme l'intervalle [0, 1]), il est impossible d'attribuer un score unique (un nombre réel) à chaque flux infini tout en respectant les règles d'équité.
Le rebondissement : Cependant, même si vous ne pouvez pas leur donner un score, vous pourriez encore être capable de les classer explicitement (comme montré dans la section « Bonne nouvelle » ci-dessus).
La leçon à re retenir : Ce n'est pas parce que vous ne pouvez pas produire une formule qui génère un nombre (comme 85,4) que vous ne pouvez pas avoir une règle claire pour décider ce qui est meilleur. Le « score » et la « règle de classement » sont deux choses différentes.

Résumé des affirmations de l'article

Succès constructif : Si votre univers de bonheur est « bien ordonné » (comme une échelle qui monte), nous pouvons construire explicitement un système de classement équitable en utilisant un astucieux code de type dictionnaire.
Échec constructif : Si votre univers de bonheur possède une structure « décroissante » (comme une échelle descendant à l'infini), construire un système de classement équitable est impossible sans s'appuyer sur la magie mathématique non constructive (Ensembles Non-Ramsey).
Limites de la représentation : Vous ne pouvez pas toujours transformer ces classements équitables en scores numériques simples (nombres réels), surtout sur des domaines complexes comme [0, 1].
L'écart : L'ensemble des mondes où nous pouvons construire un système de classement est différent de l'ensemble des mondes où nous pouvons attribuer un score à chaque résultat. Ils ne correspondent pas toujours.

En bref, l'article cartographie précisément là où nous pouvons construire un guide étape par étape et explicite pour juger le futur, et là où nous sommes contraints d'admettre qu'un tel guide est mathématiquement impossible à écrire.

Résumé technique : Sur la construction et la représentation des ordres de bien-être social satisfaisant les axiomes d'équité conséquentialistes

Énoncé du problème
Le document traite de la tension fondamentale entre l'existence et la construction explicite d'ordres de bien-être social (SWO - Social Welfare Orders) sur des flux d'utilité infinis ( $X = Y^{\mathbb{N}}$ ) qui satisfont des axiomes d'équité conséquentialistes. Plus précisément, il examine si des SWO satisfaisant l'Équité Forte (SE - Strong Equity), l'Équité de Hammond (HE - Hammond Equity) ou le principe de transfert de Pigou–Dalton (PD) peuvent être construits explicitement sans recourir à des dispositifs de la théorie des ensembles non constructifs, tels que l'Axiome du Choix (AC) ou l'existence d'ensembles non-Ramsey.

Alors que la littérature antérieure (par exemple, Bossert et al., 2007) a établi l'existence de tels SWO en utilisant des méthodes non constructives (le lemme de Szpilrajn), et que des travaux récents (Lauwers, 2010 ; Zame, 2007) ont confirmé que des dispositifs non constructifs sont nécessaires pour l'existence dans certains contextes, la frontière précise entre les domaines admettant des constructions explicites et ceux nécessitant des objets non constructifs reste à être pleinement délimitée. De plus, l'article cherche à clarifier la relation entre l'existence d'une représentation par une fonction de bien-être social (SWF - Social Welfare Function) à valeurs réelles et l'existence d'un SWO défini explicitement.

Méthodologie
L'auteur emploie une double approche combinant la théorie des ordres constructifs et les preuves d'impossibilité de la théorie des ensembles :

Approche constructive : Pour des domaines spécifiques, l'article construit des SWO explicites en utilisant des relations de préférence lexicographiques. Crucialement, ces constructions n'appliquent pas directement l'ordre lexicographique aux générations (ce qui violerait l'équité) mais plutôt une mise en correspondance des flux d'utilité en codes d'utilité à seuil binaire. Ces codes sont ensuite ordonnés de manière lexicographique sur un ensemble d'indices bien ordonné dérivé du domaine d'utilité $Y$ .
Approche non constructive/d'impossibilité : Pour établir la nécessité de méthodes non constructives, l'article utilise le concept de collections non-Ramsey. En construisant des flux d'utilité spécifiques basés sur des sous-ensembles d'entiers naturels et en appliquant les axiomes d'équité, l'auteur démontre que l'existence d'un SWO satisfaisant ces axiomes sur certains domaines « riches » (spécifiquement ceux contenant des sous-ensembles d'ordre de type $\omega^*$ ou $\mu$ ) implique l'existence d'un ensemble non-Ramsey. Puisque les ensembles non-Ramsey sont des objets non constructifs (leur existence repose sur l'AC), cela prouve qu'aucun SWO explicite ne peut exister sur de tels domaines.
Analyse de la représentation : L'article distingue l'existence d'une SWF (une application à valeurs réelles) et d'un SWO (une relation binaire). Il utilise des arguments de séparabilité (par exemple, la construction d'intervalles disjoints non dénombrables) pour prouver des résultats de non-représentabilité sur des domaines spécifiques comme $[0, 1]$ .

Contributions clés et résultats

1. Résultats de construction positive (Domaines bien ordonnés)

Théorème 1 : Si le domaine d'utilité $Y$ est bien ordonné par l'ordre usuel, il existe un SWO défini explicitement sur $X = Y^{\mathbb{N}}$ satisfaisant le Pareto Fort (SP - Strong Pareto), l'Équité Forte (SE), l'Équité de Hammond (HE) et le principe de Pigou–Dalton (PD).
Mécanisme : La construction projette les flux vers des codes binaires basés sur des seuils dans $\bar{Y} = \{t \in Y : \exists s \in Y, t < s\}$ . L'ordre est lexicographique sur l'espace produit $\bar{Y} \times \mathbb{N}$ , privilégiant les seuils inférieurs puis les générations. Cette méthode préserve les comparaisons sensibles à l'équité tout en maintenant la complétude et la transitivité.
Extension : L'article fournit également des constructions de SWO explicites pour la SE seule sous des conditions plus faibles : si l'ensemble des niveaux d'utilité potentiels « pauvres avant transfert » $L(Y)$ est bien ordonné, ou si l'ensemble des niveaux « riches avant transfert » $U(Y)$ est rétro-bien ordonné.

2. Implications non constructives (Domaines descendants riches)

Théorème 2 : L'existence d'un SWO satisfaisant la SE et la Monotonicité (M) sur un domaine $Y$ contenant un sous-ensemble de type d'ordre $\omega^*$ (par exemple, les entiers négatifs) entraîne l'existence d'une collection non-Ramsey.
Théorème 2(b) : De même, pour le principe PD combiné à la Monotonicité, si $Y$ contient des séquences avec une structure de gap constant descendant, l'existence d'un SWO implique une collection non-Ramsey.
Proposition 4 : Pour les domaines de type d'ordre $\mu$ (contenant un sous-ensemble de type entier), l'existence d'un SWO satisfaisant la SE seule (sans axiomes d'efficience) entraîne également l'existence d'une collection non-Ramsey. Cela identifie une classe claire de domaines où les classements SE sont intrinsèquement non constructifs.

3. Représentation vs Construction

Proposition 1 : Si $Y$ est dénombrable, il existe une SWF à valeurs réelles satisfaisant la SE. Cependant, la preuve repose sur le lemme de Szpilrajn (extension d'ordres partiels), ce qui la rend non constructive en général.
Proposition 2 : Si $Y = [0, 1]$ , aucune SWF à valeurs réelles satisfaisant la SE n'existe. Cette impossibilité découle de la SE seule, indépendamment des axiomes d'efficience, en raison de l'incapacité d'incorporer l'ordre strict de la SE dans la droite réelle (via un argument de séparabilité).
Distinction : L'article souligne que le domaine admettant une construction explicite de SWO (par exemple, $Y$ bien ordonné) n'est pas nécessairement le même que le domaine admettant une représentation par une SWF à valeurs réelles. Inversement, l'existence d'une SWF sur un domaine dénombrable ne garantit pas une construction explicite de la SWO sous-jacente.

Signification et revendications
L'article affirme qu'il affine la compréhension de la « correspondance » entre représentation et construction dans l'équité intergénérationnelle.

Reformulation de la correspondance : Il soutient que la littérature antérieure suggérant une coïncidence entre les domaines admettant des SWF à valeurs réelles et ceux admettant des SWO constructibles est incorrecte pour les axiomes d'équité conséquentialistes. Les domaines sont spécifiques aux axiomes et dépendent de la structure d'ordre de $Y$ .
Explicite vs Non-explicite : Les résultats démontrent que des constructions explicites de SWO sont possibles sur des domaines bien ordonnés même là où les représentations à valeurs réelles échouent (par exemple, sur $Y=\mathbb{N}$ avec SE+SP). Inversement, sur des domaines de type entier, l'existence de tout SWO (constructible ou non) est liée à la théorie des ensembles non constructifs.
Pertinence politique : L'article note que si un SWO est montré comme n'existant que via des méthodes non constructives (AC), il reste une question ouverte de savoir si un planificateur social peut explicitement classer des paires de flux d'utilité. Les résultats constructifs fournissent un cadre pour le classement explicite sur des domaines bien ordonnés, tandis que les résultats non constructifs délimitent les limites de tels outils de politique explicites.

En résumé, l'article établit que bien que les axiomes d'équité comme la SE, la HE et la PD puissent être satisfaits par des SWO explicitement construits sur des domaines bien ordonnés, leur satisfaction sur des domaines possédant des structures descendantes de type entier nécessite des objets mathématiques non constructifs, limitant ainsi la mise en œuvre pratique de tels ordres de bien-être social dans ces contextes spécifiques.