📈 economics

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

Este artículo investiga la naturaleza constructiva de los órdenes de bienestar social sobre flujos de utilidad infinitos que satisfacen axiomas de equidad tales como la Equidad Fuerte, la Equidad de Hammond o el principio de transferencia de Pigou-Dalton, demostrando que si bien existen descripciones lexicográficas explícitas cuando el conjunto de utilidad está bien ordenado, la existencia de tales órdenes en dominios generales requiere de supuestos de la teoría de conjuntos no constructivos como la existencia de una colección no Ramsey.

Autores originales: Ram Sewak Dubey

Publicado 2026-06-23

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Ram Sewak Dubey

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que eres un árbitro cósmico encargado de clasificar la felicidad de una línea infinita de generaciones futuras. Tienes una lista de flujos de utilidad (como una tarjeta de puntuación para cada generación, extendiéndose infinitamente hacia el futuro). Tu trabajo es decidir qué lista es "mejor" que otra, pero debes seguir reglas estrictas de justicia.

Este artículo de Ram Sewak Dubey es una inmersión profunda en la pregunta: ¿Podemos construir un sistema de clasificación justo para futuros infinitos utilizando métodos claros y paso a paso (métodos constructivos), o tenemos que confiar en herramientas invisibles y mágicas (métodos no constructivos) que no podemos ni siquiera escribir?

Aquí está el desglose de los hallazgos del artículo utilizando analogías sencillas.

Las Tres Reglas de la Justicia

El artículo se centra en tres reglas específicas de "justicia" que un buen sistema de clasificación debería seguir:

Equidad Fuerte (Strong Equity): Si tienes dos escenarios donde todos son iguales excepto dos generaciones, y en uno de los escenarios la generación "pobre" recibe un impulso mientras que la generación "rica" sufre un golpe (pero sigue siendo más rica que la pobre), el sistema debe preferir el escenario donde la pobre recibió el impulso.
Equidad de Hammond (Hammond Equity): Una versión ligeramente más débil de la anterior.
Transferencia de Pigou-Dalton: Si tomas un poco de felicidad de una persona rica y se la das a una persona pobre (sin hacer que la persona pobre sea más rica que la rica), el sistema debe preferir este nuevo arreglo.

El Gran Conflicto: "Construir" vs. "Probar que Existe"

El artículo distingue entre dos formas de encontrar una solución:

Construcción (El Plano): Puedes escribir un algoritmo o receta específica que cualquiera pueda seguir para comparar cualquier par de listas y obtener un resultado. Esto es como construir una casa con planos claros.
Representación (La Prueba Mágica): Puedes probar que una clasificación debe existir utilizando matemáticas abstractas (que a menudo se basan en el "Axioma de Elección", que es como una varita mágica que dice: "una solución existe en algún lugar, incluso si no podemos encontrarla"). Esto es como decir: "Hay una casa perfecta en algún lugar del universo", sin poder decirle a nadie dónde está o cómo construirla.

La Buena Noticia: Cuando Podemos Construirlo

El artículo encuentra que si los niveles posibles de felicidad (el "dominio") están bien ordenados (es decir, están dispuestos como una escalera donde siempre puedes señalar el "siguiente" peldaño, como los números naturales 1, 2, 3...), podemos construir un sistema de clasificación justo.

La Analogía: Imagina que los niveles de felicidad son como los escalones de una escalera. El autor crea un sistema especial "lexicográfico" (estilo diccionario). En lugar de mirar solo la primera generación, luego la segunda, este sistema mira los umbrales de felicidad. Convierte cada flujo infinito de felicidad en una larga cadena de códigos binarios (0s y 1s) basado en si la felicidad de una generación está por encima o por debajo de ciertos peldaños de "umbral".
El Resultado: Al comparar estos códigos binarios como palabras en un diccionario, el autor crea un sistema de clasificación perfecto y explícito que satisface todas las reglas de justicia. Sin necesidad de varitas mágicas.

La Mala Noticia: Cuando Necesitamos Magia (No Constructivo)

El artículo también encuentra que si los niveles de felicidad están dispuestos en un orden descendente (como los enteros negativos: -1, -2, -3... bajando para siempre) o tienen una estructura de tipo "entero" específica, nos topamos con un muro.

La Analogía: Imagina intentar clasificar flujos infinitos donde los niveles de felicidad son como una escalera que baja hacia un sótano interminable. El artículo demuestra que si intentas construir un sistema de clasificación justo aquí, te verás obligado a crear un "Conjunto No-Ramsey" (Non-Ramsey Set).
¿Qué es un Conjunto No-Ramsey? Piensa en ello como una "colección de caos". Es un grupo de subconjuntos infinitos de números que es tan desordenado y complejo que no puede ser construido mediante ninguna regla lógica y paso a paso. Es un objeto matemático que existe solo si utilizas el "Axioma de Elección" (la varita mágica).
La Conclusión: Si tu dominio de felicidad parece una escalera descendente, no puedes escribir una receta para un sistema de clasificación justo. Solo puedes probar que uno existe usando la magia no constructiva. Esto significa que un formulador de políticas del mundo real nunca podría usar realmente tal sistema para tomar decisiones porque no podría calcular el resultado.

La Trampa de la Representación (Números Reales vs. Clasificaciones)

El artículo también aborda un error común: "Si podemos clasificar cosas, ¿podemos simplemente darles una puntuación (un número real)?".

El Hallazgo: Para algunos dominios (como el intervalo [0, 1]), es imposible asignar un único número real (una puntuación) a cada flujo infinito mientras se satisfacen las reglas de justicia.
El Giro: Sin embargo, incluso si no puedes darles una puntuación, podrías todavía ser capaz de clasificarlos de forma explícita (como se muestra en la sección de "La Buena Noticia" anterior).
La Lección: El hecho de que no puedas escribir una fórmula que produzca un número (como 85.4), no significa que no puedas tener una regla clara para decidir qué es mejor. La "puntuación" y la "regla de clasificación" son cosas distintas.

Resumen de las Afirmaciones del Papel

Éxito Constructivo: Si tu universo de felicidad está "bien ordenado" (como una escalera que sube), podemos construir explícitamente un sistema de clasificación justo usando un ingenioso código de estilo diccionario.
Fracaso Constructivo: Si tu universo de felicidad tiene una estructura "descendente" (como una escalera que baja para siempre), construir un sistema de clasificación justo es imposible sin recurrir a la magia matemática no constructiva (Conjuntos No-Ramsey).
Límites de Representación: No siempre puedes convertir estas clasificaciones en puntuaciones simples de números reales, especialmente en dominios complejos como [0, 1].
La Brecha: El conjunto de mundos donde podemos construir un sistema de clasificación es diferente del conjunto de mundos donde podemos asignar una puntuación a cada resultado. No siempre coinciden.

En resumen, el artículo traza exactamente dónde podemos construir una guía paso a paso y justa para juzgar el futuro, y dónde nos vemos obligados a admitir que escribir tal guía es matemáticamente imposible.

Resumen Técnico: Sobre la Construcción y Representación de Órdenes de Bienestar Social que Satisfacen Axiomas de Equidad Consecuencialista

Planteamiento del Problema
El artículo aborda la tensión fundamental entre la existencia y la construcción explícita de Órdenes de Bienestar Social (SWO, por sus siglas en inglés) sobre flujos de utilidad infinitos ( $X = Y^{\mathbb{N}}$ ) que satisfagan axiomas de equidad consecuencialista. Específicamente, investiga si los SWO que satisfacen la Equidad Fuerte (SE), la Equidad de Hammond (HE) o el principio de Pigou–Dalton (PD) pueden construirse explícitamente sin recurrir a dispositivos de la teoría de conjuntos no constructivos, tales como el Axioma de Elección (AC) o la existencia de conjuntos no Ramsey.

Mientras que la literatura previa (por ejemplo, Bossert et al., 2007) estableció la existencia de tales SWO utilizando métodos no constructivos (el Lema de Szpilrajn), y trabajos recientes (Lauwers, 2010; Zame, 2007) confirmaron que los dispositivos no constructivos son necesarios para la existencia en ciertos contextos, la frontera precisa entre los dominios que admiten construcciones explícitas y aquellos que requieren objetos no constructivos aún no ha sido delineada completamente. Además, el artículo busca aclarar la relación entre la existencia de una representación de Función de Bienestar Social (SWF) de valor real y la existencia de un SWO definido explícitamente.

Metodología
El autor emplea un enfoque dual que combina la teoría de órdenes constructiva y las demostraciones de imposibilidad de la teoría de conjuntos:

Enfoque Constructivo: Para dominios específicos, el artículo construye SWO explícitos utilizando relaciones de preferencia lexicográficas. Crucialmente, estas construcciones no aplican el orden lexicográfico directamente a las generaciones (lo que violaría la equidad), sino que mapean los flujos de utilidad en códigos de utilidad de umbral binario. Estos códigos se ordenan luego de forma lexicográfica sobre un conjunto índice bien ordenado derivado del dominio de utilidad $Y$ .
Enfoque No Constructivo/de Imposibilidad: Para establecer la necesidad de métodos no constructivos, el artículo utiliza el concepto de colecciones no Ramsey. Al construir flujos de utilidad específicos basados en subconjuntos de números naturales y aplicar los axiomas de equidad, el autor demuestra que la existencia de un SWO que satisfaga estos axiomas en ciertos dominios "ricos" (específicamente aquellos que contienen subconjuntos de tipo de orden $\omega^*$ o $\mu$ ) implica la existencia de un conjunto no Ramsey. Dado que los conjuntos no Ramsey son objetos no constructivos (su existencia depende del AC), esto demuestra que ningún SWO explícito puede existir en tales dominios.
Análisis de Representación: El artículo distingue entre la existencia de una SWF (un mapa de valor real) y un SWO (una relación binaria). Emplea argumentos de separabilidad (por ejemplo, la construcción de intervalos disjuntos no contables) para probar resultados de no representabilidad en dominios específicos como $[0, 1]$ .

Contribuciones Clave y Resultados

1. Resultados de Construcción Positiva (Dominios Bien Ordenados)

Teorema 1: Si el dominio de utilidad $Y$ está bien ordenado por el orden usual, existe un SWO definido explícitamente en $X = Y^{\mathbb{N}}$ que satisface Pareto Fuerte (SP), Equidad Fuerte (SE), Equidad de Hammond (HE) y el principio de Pigou–Dalton (PD).
Mecanismo: La construcción mapea los flujos a códigos binarios basados en umbrales en $\bar{Y} = \{t \in Y : \exists s \in Y, t < s\}$ . El ordenamiento es lexicográfico sobre el espacio producto $\bar{Y} \times \mathbb{N}$ , priorizando los umbrales inferiores y luego las generaciones. Este método preserva las comparaciones sensibles a la equidad mientras mantiene la completitud y la transitividad.
Extensión: El artículo también proporciona construcciones de SWO explícitos para SE por sí sola bajo condiciones más débiles: si el conjunto de posibles niveles de utilidad "pobres pre-transferencia" $L(Y)$ está bien ordenado, o si el conjunto de niveles "ricos pre-transferencia" $U(Y)$ está reversamente ordenado.

2. Implicaciones No Constructivas (Dominios Descendentes Ricos)

Teorema 2: La existencia de un SWO que satisfaga SE y Monotonicidad (M) en un dominio $Y$ que contiene un subconjunto de tipo de orden $\omega^*$ (por ejemplo, enteros negativos) conlleva la existencia de una colección no Ramsey.
Teorema 2(b): Del mismo modo, para el principio PD combinado con Monotonicidad, si $Y$ contiene secuencias con una estructura descendente de brecha constante, la existencia de un SWO implica una colección no Ramsey.
Proposición 4: Para dominios de tipo de orden $\mu$ (que contienen un subconjunto de tipo entero), la existencia de un SWO que satisfaga SE por sí sola (sin axiomas de eficiencia) también conlleva la existencia de una colección no Ramsey. Esto identifica una clase clara de dominios donde los rankings de SE son inherentemente no constructivos.

3. Representación vs. Construcción

Proposición 1: Si $Y$ es contable, existe una SWF de valor real que satisface SE. Sin embargo, la prueba depende del Lema de Szpilrajn (extensión de órdenes parciales), lo que la hace no constructiva en general.
Proposición 2: Si $Y = [0, 1]$ , ninguna SWF de valor real que satisfaga SE existe. Esta imposibilidad surge de la SE por sí sola, independientemente de los axiomas de eficiencia, debido a la incapacidad de embeber el orden estricto de SE en la recta real (mediante un argumento de separabilidad).
Distinción: El artículo destaca que el dominio que admite una construcción explícita de SWO (por ejemplo, $Y$ bien ordenado) no es necesariamente el mismo que el dominio que admite una representación de SWF de valor real. Por el contrario, la existencia de una SWF en un dominio contable no garantiza una construcción explícita del SWO subyacente.

Significancia y Reivindicaciones
El artículo afirma refinar la comprensión de la "correspondencia" entre la representación y la construcción en la equidad intergeneracional.

Reformulación de la Correspondencia: Argumenta que la literatura previa que sugería una coincidencia entre los dominios que admiten SWF de valor real y aquellos que admiten SWO constructibles es incorrecta para los axiomas de equidad consecuencialista. Los dominios son específicos de los axiomas y dependen de la estructura de orden de $Y$ .
Explícito vs. No Explícito: Los resultados demuestran que las construcciones de SWO explícitos son posibles en dominios bien ordenados incluso donde las representaciones de valor real fallan (por ejemplo, en $Y=\mathbb{N}$ con SE+SP). Por el contrario, en dominios de tipo entero, la existencia de cualquier SWO (constructible o no) está ligada a la teoría de conjuntos no constructiva.
Relevancia de Política: El artículo señala que si un SWO se demuestra existente solo mediante métodos no constructivos (AC), sigue siendo una pregunta abierta si un planificador social puede clasificar explícitamente pares de flujos de utilidad. Los resultados constructivos proporcionan un marco para el ranking explícito en dominios bien ordenados, mientras que los resultados no constructivos delinean los límites de tales herramientas de política explícitas.

En resumen, el artículo establece que, si bien los axiomas de equidad como SE, HE y PD pueden ser satisfechos por SWO construidos explícitamente en dominios bien ordenados, su satisfacción en dominios con estructuras descendentes de tipo entero requiere objetos matemáticos no constructivos, limitando así la implementabilidad práctica de tales órdenes de bienestar social en esos contextos específicos.