Future-blindness and the product topology

Technische Samenvatting: Toekomstblindheid en de Producttopologie

Probleemstelling
De evaluatie van oneindige consumptiestromen is een centraal vraagstuk in de sociale keuzetheorie en intergenerationele welvaart. Een bekend onmogelijkheidheidsresultaat (Diamond [1965]) stelt dat continuïteit, Pareto-efficiëntie en intergenerationele rechtvaardigheid (anonimiteit) niet tegelijkertijd kunnen worden vervuld in modellen met een oneindige horizon. Terwijl veel literatuur zich richt op het verzoenen van rechtvaardigheid met geduld, onderzoekt dit artikel het tegenovergestelde gedragsextremum: toekomstblindheid. Dit concept beschrijft actoren die extreme ongeduldigheid vertonen, waarbij zij voldoende verre generaties effectief negeren, zelfs wanneer zij met grote compensaties worden aangeboden. Het artikel beoogt de topologische structuren op de ruimte van begrensde rijen ($l^\infty$) formeel te karakteriseren die dergelijke gedragingen corresponderen, waarbij specifiek wordt gekeken naar hoe continuïteitsaannames vertalen naar tijdverdiscontering.

Methodologie
De auteurs hanteren een topologische benadering binnen het kader van lokaal convexe topologische vectorruimten. Zij analyseren de ruimte $l^\infty$ van begrensde reële rijen, die oneindige consumptiestromen representeren. De methodologie omvat:

1. Definiëren van gedragsconcepten: Het introduceren van twee onderscheiden concepten van toekomstblindheid:
   • $N$-blindheid: Een actor negeert alle perioden voorbij een vaste, exogene datum $N$.
   • Evenementiële blindheid: Een actor negeert alle, behalve een eindig aantal data, waarbij het afkappunt endogeen is en kan afhangen van de specifieke stromen die worden vergeleken, zelfs wanneer de toekomstige stromen tegen groeiende tarieven worden gecompenseerd.
2. Topologische karakterisering: Het identificeren van de fijnste lokaal convexe topologieën waaronder alle continue voorkeurrelaties aan deze gedragsdefinities voldoen. Dit omvat het analyseren van de eigenschappen van genererende seminormen en de convergentie van "staart"-operatoren ($T_n$).
3. Dualeruimte-analyse: Het onderzoeken van de topologische duale ruimten (ruimten van continue lineaire functionalen) geassocieerd met deze topologieën om de structuur van gegeneraliseerde prijsvectoren in deze settings te bepalen.

Belangrijkste bijdragen en resultaten

1. Karakterisering van $N$-blindheid:

   • Het artikel definieert een $N$-blind topologie ($\tau^b_N$) als de fijnste lokaal convexe topologie waarin elke continue voorkeur $N$-blind is.
   • Resultaat: $\tau^b_N$ wordt gegenereerd door de familie van seminormen $\{p_k : k = 0, \dots, N\}$, waarbij $p_k(x) = |x_k|$.
   • Eigenschappen: Deze topologie is niet Hausdorff. De afsluiting van de nulverzameling is de deelruimte van rijen die nul zijn tot periode $N$ ($T_N$). De duale ruimte $(l^\infty, \tau^b_N)'$ is isomorf met $c^N_{00}$, de ruimte van rijen die nul zijn voor alle $n > N$.

2. Karakterisering van Evenementiële Blindheid en de Producttopologie:

   • Het artikel definieert een evenementieel blinde topologie ($\tau^b$) als de fijnste lokaal convexe topologie waarin elke continue voorkeur evenentieel blind is.
   • Hoofdtheorema (Propositie 4.3): De fijnste evenentieel blinde lokaal convexe topologie komt exact overeen met de producttopologie ($\tau_p$).
   • Gedragsinterpretatie: Continuïteit met betrekking tot de producttopologie is gedragsmatig equivalent aan evenementiële blindheid. Dit betekent dat voor elk paar stromen waarbij de ene strikt wordt verkozen boven de andere, er een eindig horizon bestaat waarna het toevoegen van een willekeurige reeks verbeteringen aan de minder geprefereerde stroom de strikte voorkeur niet zal veranderen.
   • Duale ruimte: De duale ruimte $(l^\infty, \tau^b)'$ is isomorf met $c_{00}$, de ruimte van rijen met slechts eindig veel niet-nul elementen.

3. Vergelijking met Myopie:

   • Het artikel plaatst deze resultaten binnen de bestaande literatuur over myopie (Brown en Lewis [1981]), waarbij de fijnste myope topologie overeenkomt met de Mackey-topologie ($\tau_{Mc}$).
   • De auteurs stellen een strikte hiërarchie vast: $\tau^b_N \subsetneq \tau^b = \tau_p \subsetneq \tau_{Mc} = \tau_m$.
   • Dit impliceert dat actoren met voorkeuren continu in de producttopologie "meer myoop" zijn (of tenminste even myoop als) actoren die continu zijn in de Mackey-topologie.

Betekenis en Claims
Het artikel beweert een aanzienlijk gat in de literatuur te vullen met betrekking tot de gedragsmatige fundamenten van de producttopologie. Hoewel de producttopologie breed is gebruikt in algemene evenwichtstheorie (bijv. Peleg en Yaari [1970]) om de existentie van evenwichten te waarborgen (via de compactheid van budgetsets door de stelling van Tychonoff), ontbrak een directe gedragsmatige interpretatie.

• Gedragsmatig fundament: De auteurs bieden de eerste expliciete karakterisering die aantoont dat continuïteit met betrekking tot de producttopologie overeenkomt met evenmentiële blindheid. Dit biedt een gedragsmatige rechtvaardiging voor het gebruik van de producttopologie in oneindig-dimensionale economische modellen: het modelleert actoren die uiteindelijk verre generaties negeren, ongeacht de compensatie.
• Duale Ruimte Karakterisering: Het artikel verheldert de aard van prijzen in deze settings, waarbij het laat zien dat onder evenmentiële blindheid prijzen rijen moeten zijn met een eindige drager ($c_{00}$), wat contrasteert met de $l^1$-prijzen die geassocieerd worden met de Mackey-topologie (myopie).

De auteurs merken op dat hun resultaten parallel lopen aan het baanbrekende werk van Brown en Lewis [1981], maar de analyse uitbreiden naar het specifieke geval van de producttopologie, die verschillend is van de Mackey-topologie die wordt gebruikt in de bewijzen voor de existentie van evenwichten door Bewley [1972]. Het artikel concludeert dat deze topologische structuren een rigoureus kader bieden voor het modelleren van extreme vormen van ongeduldigheid en staart-insensitiviteit in economische modellen met een oneindige horizon.