Future-blindness and the product topology

Sintesi Tecnica: Cecità verso il futuro e la Topologia del Prodotto

Enunciato del Problema
La valutazione di flussi di consumo infiniti è un problema centrale nella teoria della scelta sociale e nel benessere intergenerazionale. Un noto risultato di impossibilità (Diamond [1965]) stabilisce che continuità, efficienza di Pareto ed equità intergenerazionale (anonimato) non possono essere soddisfatte simultaneamente in modelli a orizzonte infinito. Mentre gran parte della letteratura si concentra sul conciliare l'equità con la pazienza, questo articolo indaga l'estremo comportamentale opposto: la cecità verso il futuro (future-blindness). Questo concetto descrive agenti che esibiscono una pazienza estrema, ignorando efficacemente generazioni sufficientemente distanti anche quando vengono offerte grandi compensazioni. L'articolo mira a caratterizzare formalmente le strutture topologiche sullo spazio delle sequenze limitate ($l^\infty$) che corrispondono a tali comportamenti, affrontando specificamente come le assunzioni di continuità si traducano in sconti temporali.

Metodologia
Gli autori adottano un approccio topologico all'interno del quadro degli spazi vettoriali topologici localmente convessi. Analizzano lo spazio $l^\infty$ delle sequenze di numeri reali limitate, che rappresentano flussi di consumo infiniti. La metodologia prevede:

1. Definizione dei Concetti Comportamentali: Introduzione di due distinzioni della cecità verso il futuro:
   • $N$-cecità: Un agente ignora tutti i periodi oltre una data fissa ed esogena $N$.
   • Cecità eventuale: Un agente ignora tutti, tranne alcuni periodi finiti, dove il limite è endogeno e può dipendere dagli specifici flussi confrontati, anche se i flussi futuri vengono compensati con tassi crescenti.
2. Caratterizzazione Topologica: Identificazione delle topologie localmente convesse più fini sotto le quali tutte le relazioni di preferenza continue soddisfano queste definizioni comportamentali. Ciò comporta l'analisi delle proprietà dei seminormi generatori e della convergenza degli operatori di "coda" ($T_n$).
3. Analisi dello Spazio Duale: Investigazione degli spazi duali topologici (spazi di funzionali lineari continui) associati a queste topologie per determinare la struttura dei vettori prezzo generalizzati in questi contesti.

Contributi Chiave e Risultati

1. Caratterizzazione della $N$-cecità:

   • L'articolo definisce una topologia $N$-cieca ($\tau^b_N$) come la topologia localmente convessa più fine in cui ogni preferenza continua è $N$-cieca.
   • Risultato: $\tau^b_N$ è generata dalla famiglia di seminormi $\{p_k : k = 0, \dots, N\}$, dove $p_k(x) = |x_k|$.
   • Proprietà: Questa topologia non è Hausdorff. La chiusura dell'insieme zero è il sottospazio delle sequenze che sono nulle fino al periodo $N$ ($T_N$). Lo spazio duale $(l^\infty, \tau^b_N)'$ è isomorfo a $c^N_{00}$, ovvero lo spazio delle sequenze che sono nulle per ogni $n > N$.

2. Caratterizzazione della Cecità Eventuale e della Topologia del Prodotto:

   • L'articolo definisce una topologia di cecità eventuale ($\tau^b$) come la topologia localmente convessa più fine in cui ogni preferenza continua è eventualmente cieca.
   • Teorema Principale (Proposizione 4.3): La topologia localmente convessa più fine per la cecità eventuale coincide esattamente con la topologia del prodotto ($\tau_p$).
   • Interpretazione Comportamentale: La continuità rispetto alla topologia del prodotto è comportamentalmente equivalente alla cecità eventuale. Ciò significa che per ogni coppia di flussi in cui uno è strettamente preferito, esiste un orizzonte finito oltre il quale l'aggiunta di qualsiasi sequenza di miglioramenti al flusso meno preferito non altererà la preferenza stretta.
   • Spazio Duale: Lo spazio duale $(l^\infty, \tau^b)'$ è isomorfo a $c_{00}$, lo spazio delle sequenze con solo finiti elementi non nulli.

3. Confronto con la Miopia:

   • L'articolo colloca questi risultati all'interno della letteratura esistente sulla miopia (Brown e Lewis [1981]), dove la topologia miope più fine coincide con la topologia di Mackey ($\tau_{Mc}$).
   • Gli autori stabiliscono una gerarchia rigorosa: $\tau^b_N \subsetneq \tau^b = \tau_p \subsetneq \tau_{Mc} = \tau_m$.
   • Ciò implica che gli agenti con preferenze continue nella topologia del prodotto sono "più miopi" (o almeno altrettanto miopi) rispetto a quelli con preferenze continue nella topologia di Mackey.

Significato e Rivendicazioni
L'articolo sostiene di colmare una lacuna significativa nella letteratura riguardante le fondamenta comportamentali della topologia del prodotto. Sebbene la topologia del prodotto sia stata ampiamente utilizzata nella teoria dell'equilibrio generale (ad esempio, da Peleg e Yaari [1970] per garantire l'esistenza di equilibri tramite il teorema di compattezza dei vincoli di budget tramite il teorema di Tychonoff), essa mancava di un'interpretazione comportamentale diretta.

• Fondamento Comportamentale: Gli autori forniscono la prima caratterizzazione esplicita mostrando che la continuità rispetto alla topologia del prodotto corrisponde alla cecità eventuale. Ciò offre una giustificazione comportamentale per l'uso della topologia del prodotto nei modelli economici a dimensione infinita: essa modella agenti che alla fine trascurano le generazioni remote indipendentemente dalla compensazione.
• Caratterizzazione dello Spazio Duale: L'articolo chiarisce la natura dei prezzi in questi contesti, mostrando che sotto la cecità eventuale, i prezzi devono essere sequenze con supporto finito ($c_{00}$), in contrasto con i prezzi $l^1$ associati alla topologia di Mackey (miopia).

Gli autori osservano che i loro risultati sono paralleli al lavoro seminale di Brown e Lewis [1981], ma estendono l'analisi al caso specifico della topologia del prodotto, che è distinta dalla topologia di Mackey utilizzata nelle dimostrazioni di esistenza dell'equilibrio di Bewley [1972]. L'articolo conclude che queste strutture topologiche forniscono un quadro rigoroso per modellare forme estreme di impazienza e insensibilità alla coda nei modelli economici a orizzonte infinito.