Future-blindness and the product topology

Resumen Técnico: Ceguera al futuro y la topología del producto

Planteamiento del problema
La evaluación de flujos de consumo infinitos es un tema central en la teoría de la elección social y el bienestar intergeneracional. Un conocido resultado de imposibilidad (Diamond [1965]) establece que la continuidad, la eficiencia de Pareto y la equidad intergeneracional (anonimato) no pueden satisfacerse simultáneamente en modelos de horizonte infinito. Mientras que gran parte de la literatura se centra en reconciliar la equidad con la paciencia, este artículo investiga el extremo conductual opuesto: la ceguera al futuro (future-blindness). Este concepto describe a agentes que exhiben una impaciencia extrema, ignorando efectivamente generaciones lo suficientemente distantes incluso cuando se les ofrece grandes compensaciones. El artículo busca caracterizar formalmente las estructuras topológicas en el espacio de sucesiones acotadas ($l^\infty$) que corresponden a tales comportamientos, abordando específicamente cómo los supuestos de continuidad se traducen en el descuento temporal.

Metodología
Los autores emplean un enfoque topológico dentro del marco de los espacios vectoriales topológicos localmente convexos. Analizan el espacio $l^\infty$ de sucesiones de números reales acotados, que representan flujos de consumo infinitos. La metodología consiste en:

1. Definición de conceptos conductuales: Introducción de dos nociones distintas de ceguera al futuro:
   • $N$-ceguera: Un agente ignora todos los periodos más allá de una fecha fija y exógena $N$.
   • Ceguera eventual: Un agente ignora todos pero un número finito de fechas, donde el punto de corte es endógeno y puede depender de los flujos específicos que se comparan, incluso si los flujos futuros se compensan a tasas crecientes.
2. Caracterización topológica: Identificación de las topologías localmente convexas más finas bajo las cuales todas las relaciones de preferencia continuas satisfacen estas definiciones conductuales. Esto implica analizar las propiedades de las seminormas generadoras y la convergencia de los operadores de "cola" ($T_n$).
3. Análisis del espacio dual: Investigación de los espacios duales topológicos (espacios de funcionales lineales continuos) asociados con estas topologías para determinar la estructura de los vectores de precios generalizados en estos entornos.

Contribuciones clave y resultados

1. Caracterización de la $N$-ceguera:

   • El artículo define una topología de $N$-ceguera ($\tau^b_N$) como la topología localmente convexa más fina donde cada preferencia continua es $N$-ciega.
   • Resultado: $\tau^b_N$ está generada por la familia de seminormas $\{p_k : k = 0, \dots, N\}$, donde $p_k(x) = |x_k|$.
   • Propiedades: Esta topología no es Hausdorff. El cierre del conjunto cero es el subespacio de sucesiones que son cero hasta el periodo $N$ ($T_N$). El espacio dual $(l^\infty, \tau^b_N)'$ es isomorfo a $c^N_{00}$, el espacio de sucesiones que son cero para todo $n > N$.

2. Caracterización de la ceguera eventual y la topología del producto:

   • El artículo define una topología de ceguera eventual ($\tau^b$) como la topología localmente convexa más fina donde cada preferencia continua es eventualmente ciega.
   • Teorema principal (Proposición 4.3): La topología localmente convexa de ceguera eventual más fina coincide exactamente con la topología del producto ($\tau_p$).
   • Interpretación conductual: La continuidad con respecto a la topología del producto es conductualmente equivalente a la ceguera eventual. Esto significa que para cualquier par de flujos donde uno es estrictamente preferido, existe un horizonte finito más allá del cual añadir cualquier secuencia de mejoras al flujo menos preferido no alterará la preferencia estricta.
   • Espacio dual: El espacio dual $(l^\infty, \tau^b)'$ es isomorfo a $c_{00}$, el espacio de sucesiones con solo finitely (finitos) elementos no nulos.

3. Comparación con la miopía:

   • El artículo sitúa estos resultados dentro de la literatura existente sobre miopía (Brown y Lewis [1981]), donde la topología miópica más fina coincide con la topología de Mackey ($\tau_{Mc}$).
   • Los autores establecen una jerarquía estricta: $\tau^b_N \subsetneq \tau^b = \tau_p \subsetneq \tau_{Mc} = \tau_m$.
   • Esto implica que los agentes con preferencias continuas en la topología del producto son "más miopes" (o al menos tan miopes como) aquellos continuos en la topología de Mackey.

Significancia y pretensiones
El artículo afirma llenar un vacío significativo en la literatura sobre los fundamentos conductuales de la topología del producto. Si bien la topología del producto ha sido ampliamente utilizada en la teoría del equilibrio general (por ejemplo, Peleg y Yaari [1970]) para asegurar la existencia de equilibrios (mediante la compacidad de los conjuntos presupuestarios por el teorema de Tychonoff), carecía de una interpretación conductual directa.

• Fundamento conductual: Los autores proporcionan la primera caracterización explícita que muestra que la continuidad de la topología del producto corresponde a la ceguera eventual. Esto ofrece una justificación conductual para el uso de la topología del producto en modelos económicos de dimensión infinita: modela agentes que eventualmente descartan las generaciones remotas independientemente de la compensación.
• Caracterización del espacio dual: El artículo clarifica la naturaleza de los precios en estos entornos, mostrando que bajo la ceguera eventual, los precios deben ser sucesiones con soporte finito ($c_{00}$), contrastando con los precios de $l^1$ asociados con la topología de Mackey (miopía).

Los autores señalan que sus resultados son paralelos al trabajo seminal de Brown y Lewis [1981], pero extienden el análisis al caso específico de la topología del producto, la cual es distinta de la topología de Mackey utilizada en las demostraciones de existencia de equilibrio de Bewley [1972]. El artículo concluye que estas estructuras topológicas proporcionan un marco riguroso para modelar formas extremas de impaciencia e insensibilidad a la cola en modelos económicos de horizonte infinito.