Apri il menu principale

La legge dei grandi numeri oppure teorema di Bernoulli (in quanto la sua prima formulazione è dovuta a Jakob Bernoulli), descrive il comportamento della media di una sequenza di prove di una variabile casuale, indipendenti e caratterizzate dalla stessa distribuzione di probabilità (n misure della stessa grandezza, lanci della stessa moneta, ecc.), al tendere ad infinito della numerosità della sequenza stessa (). In altre parole, grazie alla legge dei grandi numeri, possiamo fidarci che la media sperimentale, che calcoliamo a partire da un numero sufficiente di campioni, sia sufficientemente vicina alla media vera, ovvero quella calcolabile teoricamente. Che cosa significhi "ragionevolmente sicuri" dipende da quanto vogliamo essere precisi nel nostro test: con dieci prove, avremmo una stima grossolana, con cento, ne otterremmo una molto più precisa, con mille, ancora di più, e così via: il valore di che siamo disposti ad accettare come sufficiente dipende dal grado di casualità che riteniamo necessario per il dato in questione.

In termini generici, per la legge dei grandi numeri si può dire:

  • che la media della sequenza è un'approssimazione, che migliora al crescere di della media della distribuzione;
  • e che, viceversa, si può prevedere che sequenze siffatte mostreranno una media tanto più spesso e tanto più precisamente prossima alla media della distribuzione quanto più grande sarà n.

Un caso particolare di applicazione della legge dei grandi numeri è la previsione probabilistica della proporzione di successi in una successione di realizzazioni indipendenti di un evento ossia la frequenza di nelle misurazioni: per che tende a infinito, la proporzione di successi converge alla probabilità di

Legge forte dei grandi numeriModifica

Se, data una successione di variabili casuali   indipendenti e identicamente distribuite con media  , si considera la media calcolata

 

la legge (forte) dei grandi numeri afferma che

 

ossia la media campionaria converge quasi certamente alla media comune delle  .

Legge debole dei grandi numeriModifica

Se, data una successione di variabili casuali   aventi la stessa media  , la stessa varianza finita e indipendenti, si considera la media campionaria

 

la legge (debole) dei grandi numeri afferma che per ogni  :

 

ossia la media campionaria converge in probabilità alla media comune delle  .

Con maggior rigoreModifica

Sia   una successione di spazi di probabilità. Si consideri lo spazio prodotto   e in esso una successione bernoulliana di eventi (stocasticamente indipendenti e con probabilità costante p)  . Assegnato un elemento   si definisce la frequenza di successo in n prove  , dove   e   indica il numero di successi ottenuti in n prove.

Dimostrazione della legge debole dei grandi numeriModifica

Nelle condizioni sopra enunciate, si vuole dimostrare che:  .

Fissato  , si consideri la disuguaglianza di Bienaymé-Čebyšëv:

  ;

poiché   è distribuito in modo binomiale, il suo valore atteso è

 ,

e la sua varianza è

 ;

abbiamo allora che il valore atteso e la varianza di   sono, rispettivamente:

 ,
 .

Sostituendo nella disuguaglianza, si ottiene:

 ,

e, passando al limite per  ,

 

Ma la probabilità non può essere negativa:

 ,

da cui la tesi.

OsservazioniModifica

La legge debole dei grandi numeri non assicura che, comunque scelto  , quasi certamente a partire da un certo   il valore   si mantenga minore o uguale a  , ovvero che l'insieme   sia  -trascurabile. Infatti, esplicitando la definizione di limite, si trova:   ma niente sembra assicurare che   non diverga per  .

Dimostrazione della legge forte dei grandi numeriModifica

Ciò è invece assicurato, nelle medesime condizioni, dalla proposizione:   che, in effetti, implica sia   sia la legge debole dei grandi numeri.

Dimostrazione delle due implicazioni
la legge forte può essere formulata, esplicitando la Definizione di limite e passando al complementare, come:
 
che a sua volta è equivalente, trasformando il quantificatore esistenziale in un'unione, a:
 
e per monotonia di  
 
 
da cui, per confronto, la prima implicazione.
Trasformando anche gli altri due quantificatori in operazioni insiemistiche, si ha:
 
 
ma, si è in presenza dell'intersezione di una successione non crescente di insiemi, dunque per monotonia di  , si ha:
 
e ancora:
 
da cui anche la seconda implicazione, ricordando che questo è valido per ogni  .
Dimostrazione della legge forte
si è già visto che l'asserto è equivalente a:
 
Discretizzando, come consueto nel caso dei limiti, si ha:
 
Per subadditività
 
 
Dunque, se quest'ultima espressione sarà nulla, si sarà dimostrata la legge forte. Essendo   non negativa, si dovrà avere:
 
si vuole mostrare che questo è vero considerando la sottosuccessione  . Si vuole applicare il lemma di Borel-Cantelli, pertanto si verifica che converga l'espressione
 
Per la disuguaglianza di Bienaymé-Čebyšëv si trova:
 
da cui:
 
Ma questa serie è notoriamente convergente. Pertanto,
 
Si noti ora che ogni numero naturale n è compreso tra due quadrati consecutivi:
 
da cui
 
si noti ora che   è la massima differenza possibile tra   e  , da cui:
 
pertanto:
 
ora però si ha  , dunque:
 
passando al limite ( )e applicando il risultato ottenuto per  , si ottiene che, quasi certamente:
 
il che conclude la dimostrazione.

Voci correlateModifica

Altri progettiModifica

Collegamenti esterniModifica

Controllo di autoritàLCCN (ENsh85075318 · GND (DE4157077-7 · BNF (FRcb11978788d (data)
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica