Wiskunde · Begrippenlijst

Wat is Momenten, variantie?

Ook bekend als: variantie · standaardafwijking · covariantie

Definitie 22.13 Universitaire wiskunde — Bachelor jaar 2 · Hoofdstuk 22 — Discrete toevalsveranderlijken

XX heeft een moment van orde 2 wanneer X2X^2 een verwachtingswaarde heeft (dan ook XX, wegens de dominatie: X1+X22\abs X \leq \frac{1 + X^2}{2}). Haar variantie en standaardafwijking zijn dan

V(X)=E((XE(X))2)=E(X2)E(X)2,σ(X)=V(X),V(X) = \E\bigl((X - \E(X))^2\bigr) = \E(X^2) - \E(X)^2 , \qquad \sigma(X) = \sqrt{V(X)} ,

(de tweede vorm — de formule van König–Huygens — door het kwadraat uit te werken en de lineariteit te gebruiken:

E((XEX)2)=E(X22XEX+E(X)2)=E(X2)2E(X)2+E(X)2,\E\bigl((X - \E X)^2\bigr) = \E\bigl(X^2 - 2X\,\E X + \E(X)^2\bigr) = \E(X^2) - 2\,\E(X)^2 + \E(X)^2 ,

waarbij de middelste term gebruikt dat EX\E X een constante is). Voor X,YX, Y met tweede momenten is de covariantie

Cov(X,Y)=E((XEX)(YEY))=E(XY)E(X)E(Y).\operatorname{Cov}(X, Y) = \E\bigl((X - \E X)(Y - \E Y)\bigr) = \E(XY) - \E(X)\E(Y) .

Voorbeelden

Voorbeeld 22.16 (Ongecorreleerd maar aan elkaar vastgelijmd)

Gooi met twee eerlijke dobbelstenen, XX en YY onafhankelijk, en zet S=X+YS = X + Y, D=XYD = X - Y. Wegens de bilineariteit van de covariantie is

Cov(S,D)=V(X)V(Y)+Cov(Y,X)Cov(X,Y)=V(X)V(Y)=0:\operatorname{Cov}(S, D) = V(X) - V(Y) + \operatorname{Cov}(Y, X) - \operatorname{Cov}(X, Y) = V(X) - V(Y) = 0 :

som en verschil zijn ongecorreleerd. Onafhankelijk? Zeker niet: S=12S = 12 dwingt D=0D = 0 af, terwijl P(D=0)=16\P(D = 0) = \frac16 is zonder voorwaarde. De correlatie toetst alleen het lineaire deel van een afhankelijkheid; hier wordt de afhankelijkheid gedragen door de voorwaarde dat SS en DD dezelfde pariteit hebben, onzichtbaar voor de covariantie. (Voor dit paar had de nulcovariantie V(X)=V(Y)V(X) = V(Y) nodig: gelijke verdelingen, niet de onafhankelijkheid, deden het werk.)

Voorbeeld 22.17 (Wanneer Markov exact is)

De ongelijkheid van Markov is een gelijkheid precies wanneer er niets verloren gaat in de grens a1XaXa\,\mathbf 1_{X\geq a} \leq X: de veranderlijke moet alleen de waarden 00 en aa aannemen. Concreet, is P(X=a)=π\P(X = a) = \pi en P(X=0)=1π\P(X = 0) = 1 - \pi, dan is E(X)=aπ\E(X) = a\pi en

P(Xa)=π=E(X)a.\P(X \geq a) = \pi = \frac{\E(X)}{a} .

Een realistische lezing: in een bevolking waar het gemiddelde vermogen 100100 is en het vermogen ofwel 00 ofwel 10610^6 bedraagt, is het aandeel miljonairs precies 10410^{-4} — de grens van Markov, exact bereikt door een maximale ongelijkheid. Zodra XX zich over tussenliggende waarden uitspreidt, is de grens strikt, vaak wild; maar zoals het extreme geval toont, kan uit het gemiddelde alleen geen betere ongelijkheid worden gehaald.

Voorbeeld 22.18 (Chebyshev is scherp — zonder verdere hypothesen)

Houd ε>0\varepsilon > 0 en q(0,1]q \in \intoc01 vast, en laat XX de waarden ±ε\pm\varepsilon elk met kans q2\frac q2 aannemen en 00 met kans 1q1 - q. Dan is E(X)=0\E(X) = 0, V(X)=qε2V(X) = q\varepsilon^2 en

P(XEXε)=q=V(X)ε2:\P\bigl(\abs{X - \E X} \geq \varepsilon\bigr) = q = \frac{V(X)}{\varepsilon^2} :

gelijkheid in Chebyshev. De ongelijkheid kan dus niet worden verbeterd met alleen de variantie — het verval 1/ε21/\varepsilon^2 is de exacte prijs van informatie over het tweede moment. Sneller verval vereist sterkere hypothesen: begrensdheid van de veranderlijke koopt exponentiële concentratie, zoals Oefening 22.7 voorproeft en de weekendopgave van dit hoofdstuk stelselmatig ontwikkelt.

Lees in het hoofdstuk →