I statistiska och probabilistiska sammanhang spelar kvantilfunktioner en central roll för att förstå fördelningen av slumpmässiga variabler och deras relationer. En viktig egenskap hos kvantilfunktioner är deras användbarhet för att härleda övre och undre gränser för förväntade värden av produkter av slumpmässiga variabler. Detta är exakt vad Hardy-Littlewood-olikheterna beskriver: de ger upper och lower bounds för förväntade värden som involverar kvantilfunktioner.

För att förstå dessa relationer är det väsentligt att ha en klar bild av kvantilfunktionernas natur. Om XX är en slumpmässig variabel och YY en annan, där X=f(Y)X = f(Y) för en ökad funktion ff, så är kvantilfunktionen för XX, betecknad qX(t)q_X(t), relaterad till kvantilfunktionen för YY, qY(t)q_Y(t), genom formeln:

qX(t)=f(qY(t)).q_X(t) = f(q_Y(t)).

Detta resultat innebär att om ff är en ökande funktion, så kan vi använda kvantilfunktionen qY(t)q_Y(t) för att beräkna kvantilfunktionen för XX. Om ff däremot är avtagande, så gäller:

qX(t)=f(qY(1t)).q_X(t) = f(q_Y(1 - t)).

Således speglar en avtagande funktion på ett omvänt sätt kvantilvärdena för YY.

För att bättre förstå hur kvantilfunktioner kan användas för att beräkna förväntade värden kan vi se på en konkret tillämpning. Om XX och YY är två slumpmässiga variabler och vi har deras kvantilfunktioner qXq_X och qYq_Y, kan vi beräkna förväntat värde av produkten E[XY]E[XY] genom att använda följande formel:

E[XY]=01qX(s)qY(s)ds.E[XY] = \int_0^1 q_X(s)q_Y(s) ds.

Denna integral ger oss ett mått på hur XX och YY samverkar. Hardy-Littlewood-olikheterna ger oss övre och undre gränser för detta förväntade värde. Den övre gränsen är:

E[XY]01qX(s)qY(s)ds,E[XY] \leq \int_0^1 q_X(s)q_Y(s) ds,

och den undre gränsen är:

E[XY]01qX(1s)qY(s)ds.E[XY] \geq \int_0^1 q_X(1-s)q_Y(s) ds.

Om X=f(Y)X = f(Y) och ff är en ökande funktion, så är det uppenbart att den övre gränsen uppnås. Om ff är avtagande, då uppnås den undre gränsen. Dessa gränser är användbara för att förstå fördelningen av XX och YY och kan ge värdefull information om deras samverkan.

En annan viktig aspekt att beakta är hur kvantilfunktioner kan användas för att studera samrelationer mellan flera slumpmässiga variabler. Om vi exempelvis har två variabler XX och YY, som kan uttryckas som X=f(Z)X = f(Z) och Y=g(Z)Y = g(Z) för två ökande funktioner ff och gg, och vi vet att qXq_X och qYq_Y är kvantilfunktioner för XX respektive YY, så kan vi härleda kvantilfunktionen för summan X+YX + Y genom följande formel:

qX+Y(t)=qX(t)+qY(t).q_{X+Y}(t) = q_X(t) + q_Y(t).

Detta resultat är en direkt konsekvens av kvantilfunktionernas egenskaper och ger oss en metod för att kombinera information från olika slumpmässiga variabler. Det är också ett exempel på en situation där slumpmässiga variabler är comonotone, vilket innebär att de är antingen båda ökande eller båda avtagande.

Sammanfattningsvis erbjuder kvantilfunktioner ett kraftfullt verktyg för att förstå relationer mellan slumpmässiga variabler, beräkna förväntade värden och härleda övre och undre gränser för dessa värden. Den här typen av analys är avgörande i många områden av sannolikhetsteori och statistik, särskilt när man arbetar med komplexa modeller där flera variabler interagerar.

Hur påverkar den förväntade nyttoteorin våra ekonomiska val?

Enligt von Neumann-Morgenstern teorin ska individer fatta beslut baserat på den förväntade nyttan av olika alternativ. Den förväntade nyttoteorin, där vi bedömer val utifrån deras sannolika utfall och deras tillhörande nytta, är en grundläggande modell inom ekonomisk teori. Men som M. Allais visade genom sitt paradoxala experiment, stämmer denna teori inte alltid överens med människors faktiska beslut i vissa situationer.

Enligt Allais’ paradox, som senare bekräftades av Kahneman och Tversky, väljer individer ibland att föredra ett mindre riskfyllt alternativ när de ställs inför en osäker men mer riskfylld situation, trots att deras val inte följer den logik som förväntas enligt den von Neumann-Morgenstern representationen. Exempelvis föredrog 82 % av de intervjuade μ1 framför ν1, medan 83 % valde ν2 framför μ2. Detta val ledde till en motsägelse, eftersom det bryter mot oberoendeaxiomet. Om oberoendeaxiomet var giltigt skulle dessa val inte kunna samexistera i samma preferensrelation, vilket leder till en paradox i modellen.

I en sådan situation strider individs val mot grundprincipen om oberoende i teorin. Denna observation kan ses som empiriskt bevis mot den von Neumann-Morgenstern teorin som en beskrivande modell för mänskligt beslutsfattande. Även ur ett normativt perspektiv finns det skäl att ifrågasätta om denna teori är tillräcklig för att förklara verkliga ekonomiska val.

I samband med detta bör vi ta en närmare titt på begreppet "förväntad nytta". Förväntad nytta är ett sätt att mäta värdet av osäkra val. Det innebär att individer förutsägs fatta val utifrån den sammanlagda förväntade nyttan av möjliga utfall, där varje utfall vägs efter sannolikhet och dess associerade nytta. Detta kan liknas vid att spela ett lotteri med monetära vinster, där de förväntade resultaten vägs mot varandra.

Den förväntade nyttoteorin i sin grundform behandlar fördelningen av finansiella tillgångar där resultatet vid en viss tidpunkt är känt. Den bygger på att vi har ett fast set av sannolikhetsmått (Borel-mått) för möjliga utfall, och att individens nytta kan representeras av en funktion u. Vid bedömning av ekonomiska tillgångar används ofta en sådan nytta för att avgöra vad en rättvis premie eller pris bör vara, som i fallet med försäkringar.

Riskaversion är ett centralt begrepp i denna teori. Riskaverta individer föredrar säkrare alternativ framför mer riskfyllda, även om de förväntade resultaten är lika. Detta kan modelleras genom en funktion där nytta är strikt konkav, vilket innebär att individen värderar ett säkerställt utfall högre än en osäker fördelning, även om den senare har samma förväntade värde. I praktiken innebär detta att människor tenderar att acceptera en lägre säker vinst för att undvika risk.

En viktig aspekt av den förväntade nyttoteorin är "certainty equivalent", eller det säkra belopp som gör en individ indifferent mellan en riskfylld och en riskfri situation. När vi har att göra med en fördelning μ, kommer den säkra summan, eller det så kallade certitude equivalent, att vara det belopp som gör att individen inte föredrar någon av alternativen. Om individer är riskaverta kommer de föredra detta belopp framför ett lotteri som har samma förväntade värde, men som innebär risk.

Denna modell innebär att vi kan kvantifiera en individs vilja att betala för att minska risk, eller med andra ord, deras riskpremie. Riskpremien definieras som skillnaden mellan den förväntade nyttan av en osäker situation och den säkra summa som individen är villig att acceptera. Detta gör att vi kan uppskatta hur mycket mer en person skulle vara villig att betala för att undvika risk.

I praktiken betyder detta att människor ofta beter sig olika beroende på om de just har vunnit eller förlorat i en annan kontext. I vissa fall, när de har vunnit, kan de bli mer riskaversiva, medan de kan bli mer riskbenägna om de har förlorat och ser en möjlighet att återvinna förlorade tillgångar. Detta fenomen kallas "loss aversion" och är en del av de psykologiska insikterna som Kahneman och Tversky bidragit med.

Ett känt exempel som belyser de paradoxala valen är St. Petersburg-paradoxen. Här handlar det om ett lotteri där en myntkastning ger en exponentiellt växande belöning, men där det förväntade värdet av vinsten är oändligt, vilket gör det omöjligt att motivera ett faktiskt betalningsvilligt pris i verkligheten. Detta visar på en avvikelse från den förväntade nyttoteorin, där människor inte är villiga att betala den beräknade summan, trots att den förväntade vinsten teoretiskt sett är oändlig.

Förväntad nyttoteori ger oss en modell för att förstå preferenser och beslutsfattande under osäkerhet, men det finns viktiga faktorer som den inte förmår förklara fullt ut. Förståelsen av riskbenägenhet och de psykologiska effekterna av förluster och vinster är avgörande för att fördjupa vår insikt i hur ekonomiska beslut faktiskt fattas.

Hur den relativa topologin för inbäddningen sammanfaller med ψ-svag topologi

Vi betrakta den relativa topologin för en inbäddning och visa att den sammanfaller med ψ-svag topologi. För att göra detta, definiera mängder av formen Uϵ(ρ;f1,,fn):={ρ~Efidρfidρ~<ϵ}U_\epsilon(\rho; f_1, \dots, f_n) := \bigcap \{ \tilde{\rho} \in E \mid | \int f_i d\rho - \int f_i d\tilde{\rho} | < \epsilon \}, där ρE\rho \in E, nNn \in \mathbb{N}, fiCψ(S)f_i \in C_\psi(S), och ϵ>0\epsilon > 0. Dessa mängder bildar en bas för topologin σ(E,Cψ(S))\sigma(E, C_\psi(S)). Om nu UEU \subset E är öppen, så har varje punkt μψUM1(S)\mu_\psi \in U \cap M_1(S) ett närliggande Uψϵ(μ;f1,,fn)UU_\psi^\epsilon(\mu; f_1, \dots, f_n) \subset U. Men Uϵ(μ;f1,,fn)M1(S)U_\epsilon(\mu; f_1, \dots, f_n) \cap M_1(S) är en öppen mängd för μ\mu i ψ-svag topologi. Därmed är UψM1(S)U_\psi \cap M_1(S) öppen i ψ-svag topologi. På liknande sätt visar vi att varje öppen mängd VψM1(S)V_\psi \subset M_1(S) är av formen V=UψM1(S)V = U_\psi \cap M_1(S) för någon öppen mängd UU i EE. Detta visar att den relativa topologin ψM1(S)σ(E,Cψ(S))\psi M_1(S) \cap \sigma(E, C_\psi(S)) sammanfaller med ψ-svag topologi. Vidare är ψM1(S)\psi M_1(S) en snittmängd av slutna delmängder av EE: ψM1(S)={ρE1dρ=1}{ρEfdρ0,fCψ(S),f0}\psi M_1(S) = \{ \rho \in E \mid \int 1 d\rho = 1 \} \cap \bigcap \{ \rho \in E \mid \int f d\rho \geq 0, f \in C_\psi(S), f \geq 0 \}. Därför är ψM1(S)\psi M_1(S) sluten i EE.

Låt nu E2E_2 beteckna produktutrymmet E×EE \times E. Vi utrustar E2E_2 med produkt-topologin, för vilken mängder av formen U×VU \times V med U,Vσ(E,Cψ(S))U, V \in \sigma(E, C_\psi(S)) bildar en närliggande bas. Uppenbarligen är E2E_2 ett lokalt konvext topologiskt vektorrum.

Vidare beaktas följande lemma om kontinuerliga linjära funktionaler på E2E_2. Om \ell är ett sådant funktional, kan det skrivas som (ρ1,ρ2)=f1dρ1+f2dρ2\ell(\rho_1, \rho_2) = \int f_1 d\rho_1 + \int f_2 d\rho_2 för vissa f1,f2Cψ(S)f_1, f_2 \in C_\psi(S). Beviset för denna egenskap bygger på linjäritet och kontinuitet hos \ell, där varje funktional på E2E_2 kan delas upp i två funktionaler 1(ρ1)\ell_1(\rho_1) och 2(ρ2)\ell_2(\rho_2), som var och en är kontinuerlig och kan uttryckas genom integraler över Cψ(S)C_\psi(S). Detta resultat tillåter oss att använda egenskaper hos produkt-topologin och ψ-svag topologi för att etablera vidare resultat om kontinuitet och kompakthet inom dessa ramverk.

Låt oss sedan vända oss till en diskussion om kompakta mängder under ψ-svag topologi. Om Λ\Lambda är en sluten konvex delmängd av ψˉM1(S×S)\bar{\psi} M_1(S \times S), då är HΛ:={(π1λ,π2λ)λΛ}H_\Lambda := \{ (\pi_1\lambda, \pi_2\lambda) \mid \lambda \in \Lambda \} en sluten konvex delmängd av E2E_2. Detta följer av att projektionerna πi\pi_i är affina, och slutna mängder i ψ-svag topologi bevarar konvexitet. För att bevisa att HΛH_\Lambda är sluten, utnyttjar vi resultat om konvergens i produkt-topologin och använder kompakthetsdefinitioner för ψ-svag topologi. Detta gör att vi kan säkerställa att alla gränspunkter av en följd i HΛH_\Lambda också tillhör Λ\Lambda, och därmed bevisar vi att HΛH_\Lambda är sluten.

Sist, när vi studerar specifika fall där M1(S)M_1(S) representerar sannolikhetsmått på Rd\mathbb{R}^d, visar vi att begreppet dominerande mått enligt ökad konvex ordning, μ1icvμ2\mu_1 \succeq_{icv} \mu_2, är ekvivalent med ett antal andra förhållanden, såsom existensen av en gemensam sannolikhetsrum (Ω,F,P)(\Omega, \mathcal{F}, P) där vissa linjära funktioner på Rd\mathbb{R}^d håller förväntade värden. Denna ekvivalens bevisas genom att använda en kombination av teorem från måttteori och funktionalanalys, såsom Hahn-Banach separationssatser och egenskaper hos dominerande funktioner.

Dessa resultat ger en gedigen grund för att förstå och arbeta med ψ-svag topologi i sammanhanget av sannolikhetsmått och deras dominerande relationer. Det är avgörande för läsaren att förstå hur produkt-topologi och ψ-svag topologi interagerar för att säkerställa kontinuitet och kompakthet, och hur dessa begrepp tillämpas i mer komplexa strukturer som E2E_2 och M1(S)M_1(S).