Statistica.

Schede di studio e quiz

Lezione 17Macroargomento 3 · Comportamenti asintotici

Lezione 17. La legge dei grandi numeri

In questa lezione

  1. Che cosa dice la legge dei grandi numeri?
  2. Quali disuguaglianze servono per la dimostrazione?
  3. Come si dimostra la legge debole?
  4. Perché la legge dei grandi numeri giustifica l'approccio frequentista?
  5. Che cos'è la funzione di ripartizione empirica?
  6. Che cos'è il metodo Monte Carlo?
  7. Quali sono le trappole tipiche per i concetti di questa lezione?
  8. Quiz della lezione (10 domande)

1. Che cosa dice la legge dei grandi numeri?

Si ripete un esperimento in modo indipendente: X1,X2,…X_1,X_2,\dots i.i.d. (indipendenti e identicamente distribuite) con E[X1]=μE[X_1]=\mu finito. La media campionaria è Xˉn=1n∑i=1nXi\bar X_n=\frac1n\sum_{i=1}^nX_i.

VersioneTipo di convergenzaEnunciato
Legge deboleIn probabilitàlim⁡nP(∣Xˉn−μ∣>ε)=0\lim_nP(|\bar X_n-\mu|>\varepsilon)=0 per ogni ε>0\varepsilon>0
Legge forteQuasi certaP(lim⁡nXˉn=μ)=1P\big(\lim_n\bar X_n=\mu\big)=1

La legge forte implica la debole. La debole si dimostra molto più facilmente.

22,533,5450100150200250300n (numero di lanci)media
Media dei primi n lanci di un dado simulato: si avvicina a 3,5

2. Quali disuguaglianze servono per la dimostrazione?

DisuguaglianzaIpotesiEnunciato
MarkovE[∣X∣]<∞E[|X|]<\inftyP(∣X∣≥ε)≤E[∣X∣]εP(|X|\ge\varepsilon)\le\dfrac{E[|X|]}\varepsilon
ChebyshevVar(X)=σ2<∞\mathrm{Var}(X)=\sigma^2<\inftyP(∣X−μ∣≥ε)≤σ2ε2P(|X-\mu|\ge\varepsilon)\le\dfrac{\sigma^2}{\varepsilon^2}

Idea comune. Sull'evento A={∣X∣≥ε}A=\{|X|\ge\varepsilon\} vale ∣X∣≥ε|X|\ge\varepsilon; per monotonia E[∣X∣]≥E[∣X∣χA]≥εP(A)E[|X|]\ge E[|X|\chi_A]\ge\varepsilon P(A). Chebyshev è Markov applicata a ∣X−μ∣2|X-\mu|^2.

Esempio. Con σ2=1\sigma^2=1 e ε=3\varepsilon=3: P(∣X−μ∣≥3)≤19P(|X-\mu|\ge3)\le\frac19, per qualsiasi legge.

3. Come si dimostra la legge debole?

Caso con varianza finita.

  1. E[Xˉn]=μE[\bar X_n]=\mu per linearità.
  2. Var(Xˉn)=σ2n\mathrm{Var}(\bar X_n)=\dfrac{\sigma^2}n per indipendenza.
  3. Chebyshev: P(∣Xˉn−μ∣≥ε)≤σ2nε2→0P(|\bar X_n-\mu|\ge\varepsilon)\le\dfrac{\sigma^2}{n\varepsilon^2}\to0.

Caso con sola media finita. Si troncano le variabili: Xim=Xiχ{∣Xi∣≤m}X_i^m=X_i\chi_{\{|X_i|\le m\}}, che hanno varianza finita.

  1. Per convergenza dominata μm=E[Xim]→μ\mu_m=E[X_i^m]\to\mu.
  2. Per il caso precedente Xˉnm→μm\bar X_n^m\to\mu_m in probabilità.
  3. Markov controlla la differenza: P(∣Xˉnm−Xˉn∣≥ε′)≤E[∣X1∣χ{∣X1∣>m}]/ε′P(|\bar X_n^m-\bar X_n|\ge\varepsilon')\le E[|X_1|\chi_{\{|X_1|>m\}}]/\varepsilon', piccola per mm grande.
  4. Disuguaglianza triangolare sui tre pezzi.

4. Perché la legge dei grandi numeri giustifica l'approccio frequentista?

Se XiX_i sono i.i.d. e gg è misurabile e limitata, anche g(Xi)g(X_i) sono i.i.d., quindi 1n∑g(Xi)→E[g(X1)]\frac1n\sum g(X_i)\to E[g(X_1)] quasi certamente.

Con g=χAg=\chi_A: 1n∑i=1nχA(Xi)  ⟶  P(X1∈A).\frac1n\sum_{i=1}^n\chi_A(X_i)\;\longrightarrow\;P(X_1\in A). La frequenza relativa di un evento converge alla sua probabilità: è la giustificazione matematica del principio frequentista.

5. Che cos'è la funzione di ripartizione empirica?

Dato il campione X1,…,XnX_1,\dots,X_n: Fn(x)=1n∑i=1nχ{Xi≤x}F_n(x)=\frac1n\sum_{i=1}^n\chi_{\{X_i\le x\}} è la frazione di osservazioni minori o uguali a xx.

ProprietàValore
FormaA gradini, crescente, continua da destra, limiti 0 e 1
Per xx fissoFn(x)→F(x)F_n(x)\to F(x) quasi certamente (legge forte)
Teorema di Glivenko-Cantellisup⁡x∣Fn(x)−F(x)∣→0\sup_x|F_n(x)-F(x)|\to0 quasi certamente

Idea della prova (FF continua): si scelgono mm punti con F(xj+1)−F(xj)=1mF(x_{j+1})-F(x_j)=\frac1m; tra due punti la monotonia limita l'errore a max⁡j∣Fn(xj)−F(xj)∣+1m\max_j|F_n(x_j)-F(x_j)|+\frac1m.

6. Che cos'è il metodo Monte Carlo?

Per stimare ∫abf(t) dt\int_a^bf(t)\,dt con ff limitata:

  1. Si generano u1,…,unu_1,\dots,u_n uniformi su [a,b][a,b], indipendenti.
  2. E[f(U)]=1b−a∫abfE[f(U)]=\frac1{b-a}\int_a^bf (formula di trasferimento).
  3. Stima: In=b−an∑i=1nf(ui)→∫abfI_n=\dfrac{b-a}n\sum_{i=1}^nf(u_i)\to\int_a^bf quasi certamente.

Quante iterazioni? Con ∣f∣≤M|f|\le M, errore massimo ε\varepsilon e probabilità di sforare al più cc, Chebyshev dà n≥(b−a)2M2c ε2.n\ge\frac{(b-a)^2M^2}{c\,\varepsilon^2}.

In dimensione bassa i metodi deterministici sono più veloci. In dimensione alta Monte Carlo diventa molto più efficiente delle griglie.

7. Quali sono le trappole tipiche per i concetti di questa lezione?

8. Quiz della lezione (10 domande)

Domande di ripasso create per questa scheda a partire dalla dispensa (non sono il test ufficiale della piattaforma). Scegli una risposta: ricevi subito esito e spiegazione.