Sobre Órdenes de Bienestar Social Fuertemente Equitativas Sin el Axioma de Elección

Información Básica

• ID del Artículo: 2406.08684
• Título: On Strongly-equitable Social Welfare Orders Without the Axiom of Choice
• Autor: Luke Serafin
• Clasificación: math.LO (Lógica Matemática)
• Fecha de Publicación: 17 de octubre de 2025
• Enlace del Artículo: https://arxiv.org/abs/2406.08684

Resumen

Las órdenes de bienestar social se dedican a fusionar las preferencias divergentes de generaciones infinitas en una única orden de preferencia social equitativa. Dubey y Laguzzi estudiaron una clase de órdenes de bienestar social denominada SEA (Equitativa Fuertemente y Anónima Finitamente), demostrando que la existencia de órdenes SEA implica la existencia de conjuntos de números reales sin la propiedad de Baire, y observaron que se pueden construir órdenes SEA utilizando ultrafiltros no principales sobre $\mathbb{N}$. Este artículo responde dos problemas abiertos: si la existencia de órdenes SEA implica la existencia de conjuntos de números reales no Lebesgue medibles, y si implica la existencia de ultrafiltros no principales sobre $\mathbb{N}$. Los resultados demuestran que la existencia de órdenes SEA efectivamente implica la existencia de conjuntos de números reales no Lebesgue medibles, pero no implica la existencia de ultrafiltros no principales sobre $\mathbb{N}$.

Antecedentes y Motivación de la Investigación

Contexto del Problema

1. Problema de órdenes de bienestar social: En economía teórica, cómo fusionar las diferentes utilidades que distintos individuos o generaciones obtienen de una misma política en una única orden de preferencia social es un problema central.
2. Requisitos de equidad: Las órdenes de bienestar social deben satisfacer ciertos principios de equidad razonables, como anonimato finito (finite anonymity) y equidad fuerte (strong equity).
3. Problemas de construcción: Los economistas han descubierto que muchas combinaciones de propiedades no pueden realizarse sin asumir el axioma de elección, poseyendo características no constructivas.

Motivación de la Investigación

1. Perfeccionamiento teórico: El trabajo de Dubey y Laguzzi dejó dos importantes problemas abiertos que necesitan resolverse
2. Fundamentos lógicos: Explorar las relaciones lógicas entre la existencia de órdenes SEA y conceptos importantes en teoría de conjuntos (como ultrafiltros y medibilidad)
3. Resultados de independencia: Determinar cuáles existencias de objetos matemáticos son mutuamente independientes en ZF+DC

Contribuciones Principales

1. Se demostró que la existencia de órdenes SEA implica la existencia de conjuntos de números reales no Lebesgue medibles, respondiendo al primer problema abierto de Dubey y Laguzzi
2. Se demostró que la existencia de órdenes SEA no implica la existencia de ultrafiltros no principales sobre $\mathbb{N}$, respondiendo al segundo problema abierto
3. Se desarrolló una teoría general de prelinealización, aplicable a una clase más amplia de preórdenes Borel
4. Se aplicaron técnicas de teoría de conjuntos geométrica, particularmente el método de forzamiento equilibrado de Larson y Zapletal

Explicación Detallada de Métodos

Definición de la Tarea

Investigar las relaciones lógicas entre la existencia de órdenes SEA (órdenes de bienestar social que satisfacen simultáneamente equidad fuerte y anonimato finito) y la existencia de otros objetos de teoría de conjuntos.

Definiciones Centrales

• Anonimato finito: Para cualquier permutación π con soporte finito y cualquier $y \in Y^{\mathbb{N}}$, se tiene $y \approx y \circ \pi$
• Equidad fuerte: Si existen $i,j \in \mathbb{N}$ tales que $x(i) < y(i) < y(j) < x(j)$ y $x,y$ son idénticas en otras coordenadas, entonces $x \prec y$
• Orden SEA: Una orden de bienestar social que satisface simultáneamente equidad fuerte y anonimato finito

Métodos Técnicos Principales

1. Prueba de No Medibilidad Lebesgue

Idea central: Utilizar el teorema de Fubini y argumentos de ergodicidad

Lema clave: La relación $E_{S_<\infty} \times E_{S_<\infty}$ es ergódica con respecto a la medida de Lebesgue en $4^{\mathbb{N}} \times 4^{\mathbb{N}}$.

Estrategia de prueba:

• Asumir que la orden SEA ≾ es Lebesgue medible
• Debido al anonimato finito, ≾ es cerrada respecto a $E_{S_<\infty}$ en cada coordenada
• La ergodicidad implica que los conjuntos invariantes son o bien de medida cero o bien de medida complementaria cero
• Analizar secciones verticales mediante el teorema de Fubini, derivando una contradicción

2. Prueba de Independencia de Ultrafiltros No Principales

Técnica central: Forzamiento equilibrado (balanced forcing) en teoría de conjuntos geométrica

Herramientas principales:

• Condiciones virtuales: Describen condiciones de forzamiento consistentes en diferentes extensiones genéricas
• Forzamiento tranquilo: Garantiza la propiedad de no agregar ultrafiltros no principales
• Linealización de espacios cociente: Construir órdenes SEA mediante linealización de espacios cociente de relaciones de equivalencia

Puntos de Innovación Técnica

1. Aplicación ingeniosa del teorema de Fubini: Aplicar herramientas de teoría de medida a teoría de elección social, demostrando que las órdenes SEA son necesariamente no medibles
2. Introducción de técnicas de teoría de conjuntos geométrica: Primera aplicación de la teoría de forzamiento equilibrado de Larson-Zapletal a problemas económicos
3. Marco general de prelinealización: Desarrollo de una teoría general aplicable a preórdenes Borel "tranquilos"

Configuración Experimental

Métodos de Verificación Teórica

Dado que se trata de investigación matemática pura, los "experimentos" se refieren principalmente a construcciones teóricas y verificación de pruebas:

1. Construcción de modelos: Construir extensiones en el modelo simétrico de Solovay W que contienen órdenes SEA pero no ultrafiltros no principales
2. Métodos de forzamiento: Utilizar forzamiento mediante posets de linealización de espacios cociente
3. Pruebas de consistencia: Verificar que los modelos construidos satisfacen ZF+DC y poseen las propiedades deseadas

Verificación de Técnicas Clave

• Verificación de tranquilidad: Demostrar que el poset de prelinealización P(≾) es tranquilo
• Clasificación de equivalencia equilibrada: Clasificar condiciones virtuales tranquilas completamente prelinealizadas
• Clausura en límites de ultrafiltros: Verificar que las condiciones virtuales equilibradas son cerradas bajo límites de ultrafiltros

Resultados Experimentales

Resultados Principales

Teorema 1 (No Medibilidad Lebesgue)

Proposición 2: Sea ≾ una orden SEA en $4^{\mathbb{N}}$, entonces ≾ como subconjunto de $4^{\mathbb{N}} \times 4^{\mathbb{N}}$ no es Lebesgue medible.

Teorema 2 (Independencia de Ultrafiltros)

Existe un modelo de ZF+DC en el cual:

• Existe una orden SEA
• No existe ultrafiltro no principal sobre $\mathbb{N}$
• No existe sección transversal $E_0$

Resultados Constructivos

Proposición 4: Construcción de Orden SEA mediante Ultrafiltro

Si existe un ultrafiltro no principal U sobre $\mathbb{N}$, entonces existe una orden SEA en $(2^{\mathbb{N}})^{\mathbb{N}}$.

Proposiciones 5-6: Otros Métodos de Construcción

• Un orden lineal en $2^{\mathbb{N}}/E_0$ es suficiente para construir una orden SEA en $4^{\mathbb{N}}$
• Un orden lineal en $(2^{\mathbb{N}})^{\mathbb{N}}/E_1$ es suficiente para construir una orden SEA en $Y^{\mathbb{N}}$ para cualquier espacio Polish ordenado Y

Resultados Generalizados

Corolario 13: Prelinealización de Preórdenes Borel Tranquilos

Si ≾ es un preorden Borel tranquilo, entonces existe un modelo de ZF+DC en el cual ≾ tiene una prelinealización pero no existe ultrafiltro no principal sobre $\mathbb{N}$.

Trabajo Relacionado

Antecedentes de Economía Teórica

• Teoría de elección social: Teorema de imposibilidad de Arrow y sus generalizaciones
• Equidad intergeneracional: Problemas de distribución equitativa entre generaciones infinitas
• Anonimato y equidad: Axiomas fundamentales de funciones de bienestar social

Fundamentos de Teoría de Conjuntos

• Teoría descriptiva de conjuntos: Regularidad de conjuntos Borel y analíticos
• Teoría de forzamiento: Forzamiento de Cohen, modelo de Solovay
• Cardinales grandes: Consistencia de cardinales inaccesibles

Teoría de Conjuntos Geométrica

• Teoría de Larson-Zapletal: Forzamiento equilibrado, condiciones virtuales
• Linealización de espacios cociente: Linealización forzada de espacios cociente de relaciones de equivalencia
• Forzamiento tranquilo: Propiedades de forzamiento que preservan la no existencia de ciertos conjuntos

Conclusiones y Discusión

Conclusiones Principales

1. Fuerza de teoría de conjuntos de la existencia de órdenes SEA:
   • Más fuerte que "todos los conjuntos de números reales son Lebesgue medibles"
   • Más débil que "existe ultrafiltro no principal"
   • Independiente de "existe sección transversal $E_0$"
2. Jerarquía de métodos de construcción:
   • Ultrafiltro no principal → Orden SEA
   • Sección transversal $E_1$ → Orden SEA general
   • Sección transversal $E_0$ → Orden SEA de utilidad finita

Limitaciones

1. Supuestos de cardinales grandes: La prueba de independencia de ultrafiltros requiere consistencia de cardinales inaccesibles
2. Problema de órdenes ANIP sin resolver: Problemas similares con órdenes Pareto anónimas infinitas permanecen abiertos
3. Restricción de condición de tranquilidad: La teoría general de prelinealización requiere que el preorden satisfaga la propiedad de tranquilidad

Direcciones Futuras

1. Investigación de órdenes ANIP: ¿Se pueden aplicar métodos similares a condiciones Pareto infinitas?
2. Preórdenes más generales: Extensión a todos los preórdenes Borel o analíticos
3. Necesidad de cardinales grandes: Determinar si realmente se necesitan supuestos de cardinales grandes
4. Espacios no separables: Investigación de espacios de utilidad sobre órdenes lineales definibles arbitrarias

Evaluación Profunda

Fortalezas

1. Innovación técnica:
   • Primera aplicación de teoría de conjuntos geométrica a teoría de elección social
   • Aplicación ingeniosa del teorema de Fubini en este contexto
   • Desarrollo de teoría de prelinealización de mayor aplicabilidad
2. Completitud teórica:
   • Resolución completa de los dos problemas abiertos planteados por Dubey-Laguzzi
   • Caracterización precisa de teoría de conjuntos de la existencia de órdenes SEA
   • Establecimiento de puentes entre conceptos económicos y conceptos de teoría de conjuntos
3. Contribuciones metodológicas:
   • Demostración del potencial de aplicación de herramientas modernas de teoría de conjuntos en economía
   • Provisión de marco sistemático de solución para problemas similares

Deficiencias

1. Barrera técnica elevada: Requiere profundos antecedentes en teoría de conjuntos, limitando la aceptación en la comunidad económica
2. Utilidad práctica limitada: Los resultados son principalmente teóricos, con orientación limitada para la formulación de políticas reales
3. Condiciones de supuestos: Ciertos resultados requieren supuestos de consistencia de cardinales grandes

Impacto

1. Valor académico:
   • Avance en investigación de fundamentos de teoría de conjuntos de teoría de elección social
   • Provisión de nuevo campo de aplicación para teoría de conjuntos geométrica
   • Potencial para inspirar más investigación interdisciplinaria
2. Significado teórico:
   • Aclaración del estatus lógico de conceptos económicos importantes
   • Demostración del papel sutil del axioma de elección en economía

Escenarios de Aplicación

1. Economía teórica: Investigación de existencia y constructibilidad de funciones de bienestar social
2. Teoría de conjuntos: Aplicación de resultados de independencia y teoría de forzamiento
3. Lógica matemática: Investigación interdisciplinaria de teoría descriptiva de conjuntos y teoría de cardinales grandes

Referencias Bibliográficas

El artículo cita 17 referencias importantes, entre las cuales las clave incluyen:

• 2 Dubey & Laguzzi: "On social welfare orders satisfying anonymity and strong equity" - Plantea los problemas originales
• 11 Larson & Zapletal: "Geometric set theory" - Proporciona las herramientas técnicas principales
• 7 Kanamori: "The higher infinite" - Referencia estándar de teoría de cardinales grandes
• 8 Kechris: "Classical descriptive set theory" - Fundamentos de teoría descriptiva de conjuntos

Este artículo representa un avance importante en el campo interdisciplinario de economía matemática y teoría de conjuntos moderna, aclarando mediante análisis matemático preciso el estatus lógico de conceptos fundamentales en teoría de elección social, sentando una base sólida para investigación posterior en campos relacionados.