On Continuity of Separately Convex Preferences and Correspondences

Technische Samenvatting: Over de continuïteit van apart convexe voorkeuren en correspondenties

Probleemstelling
Het artikel behandelt de fundamentele rol van convexiteit in de moderne economische theorie, specifiek binnen de contexten van hulpbronallocatie, competitieve markten en besluitvormingstheorie. Hoewel het standaard convexiteitspostulaat essentieel is voor veel evenwichts- en representatieresultaten, is het vaak sterker dan nodig voor specifieke toepassingen, zoals die met betrekking tot risico, ambiguïteit of besluitvorming met meerdere attributen. De auteurs onderzoeken "aparte convexiteit", een zwakkere algebraïsche notie die tussen volledige convexiteit en niet-convexiteit in ligt. Het centrale probleem is om te bepalen of deze zwakkere aanname voldoende is om de standaard equivalenties tussen verschillende continuïteitspostulaten (bijv. mengcontinuïteit, sectiecontinuïteit, graafcontinuïteit en Archimedeïsche eigenschappen) te herstellen, die doorgaans worden afgeleid onder volledige convexiteit. Bovendien streeft het artikel ernaar deze resultaten uit te breiden naar niet-geordende voorkeuren geformuleerd als correspondenties, waarbij openstaande problemen over de relatie tussen sectiecontinuïteit en de open graaf-eigenschap in algemene domeinen worden geadresseerd.

Methodologie
De auteurs hanteren een rigoureuze axiomatische benadering, gebruikmakend van instrumenten uit de wiskundige economie, topologie en convexe analyse. De methodologie verloopt in drie fasen:

1. Definities en Kader: Het artikel definieert aparte convexiteit voor binaire relaties en correspondenties. Een relatie is apart convex als de bovenste en onderste secties convex zijn wanneer ze worden beperkt tot lijnen parallel aan de coördinatassen (of coördinatiesecties in mengsets).
2. Equivalentietheorema's: De auteurs stellen equivalentietheorema's op die continuïteitspostulaten koppelen onder de aanname van aparte convexiteit. Deze bewijzen rusten op "coördinatenvrijgave"-argumenten, waarbij eigenschappen worden opgegradeerd van aparte naar gezamenlijke continuïteit door iteratief coördinaten vrij te maken, wat vaak specifieke geometrische eigenschappen van het domein vereist (bijv. Eigenschap A voor productsets of Eigenschap B voor polyeders).
3. Tegengegenvoorbeelden en Grensanalyse: Om de grenzen van hun resultaten af te bakenen, construeren de auteurs specifieke tegengegentegenvoorbeelden (bijv. Voorbeeld 4, Voorbeeld 10) die aantonen dat einddimensionale structuren essentieel zijn voor bepaalde equivalenties en dat resultaten niet automatisch uitbreiden naar oneindigdimensionale ruimten of willekeurige convexe verzamelingen zonder aanvullende aannames.

Belangrijkste Bijdragen en Resultaten

• Equivalentie van Continuïteitspostulaten voor Geordende Voorkeuren:

  • Mengsets: Theorem 1 stelt vast dat voor complete en transitieve voorkeuren op productmengsets, aparte convexiteit voldoende is om mengcontinuïteit gelijk te stellen aan aparte mengcontinuïteit en Archimedeïsche-type postulaten. Specifiek gaat bovenste aparte convexiteit samen met onderste mengcontinuïteit, en vice versa.
  • Euclidische Ruimten: Theorems 2 en 3 breiden deze resultaten uit naar convexe deelverzamelingen van $\mathbb{R}^n$. Theorem 2 laat zien dat onder aparte convexiteit, aparte sectiecontinuïteit wordt opgegradeerd naar gewone sectiecontinuïteit. Theorem 3 koppelt graafcontinuïteit aan beperkte oplosbaarheid onder aparte convexiteit en orde-densiteit.
  • Dimensionaliteitsbeperkingen: Het artikel benadrukt dat deze equivalenties inherent einddimensionaal zijn. Voorbeeld 10 demonstreert dat op producten van oneindigdimensionale factoren (specifiek Hilbertruimten met de zwakke topologie), aparte convexiteit en aparte continuïteit geen gezamenlijke continuïteit impliceren, zelfs niet voor bilineaire vormen.

• Nutrepresentaties in $n$-persoons Spelen:

  • Multilineair Nut: Proposition 1 biedt een nieuwe axiomatisering voor multilineair nut in strategische vorm spelen. Het vervangt de standaard aparte Archimedean$^*$ aanname door aparte onafhankelijkheid en de aparte tussenwaardeeigenschap (IVP), waardoor de multilineaire representatie wordt herwonnen.
  • Apart Quasiconcaaf Nut: Proposition 2 axiomatiseert continue, apart quasiconcaaf nut. Het toont aan dat bovenste continuïteit kan worden verzwakt naar bovenste aparte continuïteit indien de onderste secties in $n-1$ coördinaten aan aparte convexiteit voldoen.
  • Subjectieve Verwachte Nut (SEU): Proposition 3 en Corollary 1 demonstreren dat in een scalaire Anscombe–Aumann omgeving, volledigheid en volledige mengcontinuïteit "verborgen" liggen onder aparte continuïteit en zwakke onafhankelijkheidsaannames. Dit maakt de afleiding van SEU-representaties mogelijk zonder volledigheid als een primitief te postuleren.

• Continuïteit van Correspondenties (Niet-geordende Voorkeuren):

  • Open Graaf Eigenschap: Theorems 4 en 5 karakteriseren de open graaf-eigenschap voor correspondenties onder aparte convexiteit. Theorem 4 toont aan dat voor correspondenties met apart convexe bovenste secties op domeinen die voldoen aan Eigenschap A (productsets of open verzamelingen), de open graaf-eigenschap equivalent is aan het hebben van open onderste secties en separaat open bovenste secties.
  • Generalisatie van Klassieke Resultaten: Deze resultaten generaliseren en verzwakken de aannames van Schmeidler (1969), Shafer (1974) en Bergstrom, Parks, en Rader (1976). Specifiek vervangen zij sterke convexiteit of monotoniciteit door aparte convexiteit en staan zij algemenere domeinen toe.
  • Resolutie van Openstaande Problemen: Voorbeeld 4 lost een vraag op die open bleef bij Bergstrom, Parks, en Rader (1976) door aan te tonen dat hun resultaat betreffende de equivalentie van open secties en open grafen niet zonder verdere structurele aannames (zoals Eigenschap A) naar willekeurige convexe verzamelingen in $\mathbb{R}^n$ kan worden uitgebreid.

Betekenis en Claims
Het artikel claimt drie primaire bijdragen:

1. Theoretische Consolidatie: Het demonstreert dat de breed gebruikte continuïteitspostulaten in de economie en de wiskundige psychologie equivalent zijn onder de zwakkere aanname van aparte convexiteit, waardoor bestaande resultaten worden geconsolideerd en wordt aangetoond dat volledige convexiteit vaak niet vereist is voor deze equivalenties.
2. Nieuwe Axiomatiseringen: Het biedt nieuwe axiomatiseringen voor nutrepresentaties in $n$-persoons spelen (zowel cardinaal als ordinaal) en voor subjectieve verwachte nut, waarbij aparte continuïteit wordt gebruikt om gezamenlijke eigenschappen zoals volledigheid te herwinnen.
3. Extensie naar Correspondenties: Het breidt de analyse van continuïteit uit naar niet-geordende voorkeuren (correspondenties), waarbij de open graaf-eigenschap wordt gekarakteriseerd onder zwakke convexiteit en sectiecontinuïteit-aannames, waarmee de fundamentele resultaten van Schmeidler, Shafer en Bergstrom-Parks-Rader worden gegeneraliseerd.

De auteurs benadrukken dat hun werk de rol van zwakkere axiomatische aannames in het vastleggen van de "essenties" van de economische theorie (refererend aan Koopmans, 1957) accentueert en de grenzen van deze resultaten verheldert, in het bijzonder de noodzaak van einddimensionale structuren voor het upgraden van aparte continuïteit naar gezamenlijke continuïteit. Het artikel claimt niet direct evenwichtsproblemen op te lossen, maar richt zich op de axiomatiseringsliteratuur, waarbij wordt getoond hoe zwakkere aannames standaard representatietheorema's kunnen opleveren.