Lei dos grandes números

Na teoría da probabilidade, baixo o termo xenérico de **lei dos grandes números** englóbanse varios teoremas que describen o comportamento da media dunha sucesión de variables aleatorias segundo aumenta o número de ensaios.

Estes teoremas prescriben condicións suficientes para garantir que esa media converxe á media das esperanzas das variables aleatorias involucradas. As distintas formulacións da lei dos grandes números (e as súas condicións asociadas) especifican a converxencia de formas distintas.

As leis dos grandes números explican por que a media dunha mostra ao azar dunha poboación de gran tamaño tenderá a estar preto da media da poboación completa.

Cando as variables aleatorias teñen unha varianza finita, o teorema central do límite estende o noso entendemento da converxencia da súa media describindo a distribución de diferenzas estandarizadas entre a suma de variables aleatorias e o valor esperado desta suma: sen importar a distribución subxacente das variables aleatorias, esta diferenza estandarizada converxe a unha variable aleatoria normal estándar.

A frase "lei dos grandes números" emprégase tamén  ocasionalmente para referirse ao principio de que a probabilidade de que calquera evento posible (incluso un improbable) ocorra *polo menos unha vez* nunha serie, increméntase co número de repeticións na serie. Por exemplo, a probabilidade de que un individuo gañe a lotería é bastante baixa, pero a probabilidade de que *alguén* gañe a lotería é bastante alta, supoñendo que suficientes persoas compren billetes de lotería.

## Historia
[miniatura|dereita|250px|A [difusión molecular|difusión é un exemplo da lei dos grandes números, aplicada á química. Inicialmente, hai moléculas de soluto no lado esquerdo dunha barreira (liña púrpura) e ningún á dereita. Elimínase a barreira e o soluto difúndese para encher todo o recipiente.
Arriba: cunha soa molécula, o movemento parece ser bastante aleatorio.
Medio: con máis moléculas, existe unha clara tendencia na que o soluto encha o recipiente máis e máis uniformemente, pero tamén hai flutuacións.
Abaixo: cun número enorme de moléculas de soluto (demasiadas para verse), a aleatoriedade esencialmente desaparece: o soluto parece moverse suave e sistematicamente dende as zonas de alta concentración ás zonas de baixa concentración. En situacións reais, os químicos poden describir a difusión como un fenómeno macroscópico determinista (leis de Fick), a pesar do seu carácter aleatorio subxacente.]]
O matemático italiano Gerolamo Cardano (1501–1576) afirmou sen probas que a precisión das estatísticas empíricas tenden a mellorar co número de intentos. Despois isto foi formalizado como unha lei dos grandes números; unha forma especial da lei (para unha variable aleatoria binaria) foi demostrada por primeira vez por Jacob Bernoulli. Levoulle máis de 20 anos desenvolver unha proba matemática suficientemente rigorosa que foi publicada en *Ars Conjectandi* en 1713. Bernouilli chamouno o seu “teorema dourado”, mais chgou a ser coñecido xeralmente como "teorema de Bernoulli". Este non debe confundirse co principio físico de igual nome, polo sobriño de Jacob, Daniel Bernoulli.  En 1837, S. D. Poisson  describiuno con máis detalle baixo o nome de «la loi des grands nomes» (*a lei dos grandes números*). A partir de entón, coñécese con ambos os nomes, pero emprégase con maior frecuencia «lei dos grandes números».

Despois de que Bernoulli e Poisson publicasen os seus estudos, outros matemáticos tamén contribuíron ao refinamento da lei, como Chebyshev, Markov, Borel, Cantelli e Kolmogorov e Khinchin, que finalmente proporcionou unha proba completa da lei dos grandes números para variables arbitrarias. Estes novos estudos deron lugar a dúas formas destacadas da lei dos grandes números: unha chámase lei "feble" e outra lei "forte", en referencia a dous modos diferentes de converxencia da mostra; en particular, a forma forte implica a feble.

## Lei feble 
A **lei feble dos grandes números** establece que se *X*1, *X*2, *X*3, ... é unha sucesión infinita de variables aleatorias independentes que teñen o mesmo valor esperado \mu e varianza \sigma^2, entón a media

:\overline{X}_n=(X_1+\cdots+X_n)/n

converxe en probabilidade a μ. Noutras palabras, para calquera número positivo ε tense

:\lim_{n\rightarrow\infty}\operatorname{P}\left(\left|\overline{X}_n-\mu\right|

## Lei forte 
A **lei forte dos grandes números** establece que se *X*1, *X*2, *X*3... é unha sucesión infinita de variables aleatorias independentes e identicamente distribuídas que cumpren E(|*X*i|) \operatorname{P}\left(\lim_{n\rightarrow\infty}\overline{X}_n=\mu\right)=1,

é dicir, a media das variables aleatorias converxe a μ case seguramente (nun conxunto de probabilidade 1).

Esta lei xustifica a interpretación intuitiva de que o valor esperado dunha variable aleatoria como a "media a longo prazo ao facer unha mostraxe repetitiva".

  **Demostración (resultado preliminar)**

  Demostrarase o seguinte resultado: sexa {X_i}\, unha sucesión de variables aleatorias independentes e integrables con \mathbb{P}X_n=0\, (esperanza 0) e \sum_i\frac{\mathbb{P}X_i^2}{i^2}; entón, a media  \frac{1}{n}\sum_{i=1}^nX_i\rightarrow 0 case seguramente cando n\rightarrow\infty\,. Este teorema non asume que as variables aleatorias son identicamente distribuídas pero controla o crecemento das varianzas.

Para demostrar o teorema faise uso do seguinte lema:
***Desigualdade Maximal.*** Sexan Z_1,...,Z_N\, variables aleatorias independentes e sexan \epsilon_1,\,\,\epsilon _2 e \beta\,\! constantes positivas que cumpren \mathbb{P}\{n}\rightarrow 0 \quad \text{cando } k\rightarrow \infty 

Polo lema de Borel-Cantelli, é suficiente demostrar que, para todo \epsilon >0\,\!

{{Ecuación | \sum_k \mathbb{P}\left\{ \max_{n \in B_k}\frac{n} > \epsilon  \right\}  | 1| alineación (center por defecto)}}

Cada probabilidade na suma anterior pode ser limitada por: 
:\mathbb{P}\left\{ \max_{n\le n_{k+1}}|S_n|>\epsilon n_k \right\}

Agora aplícase a desigualdade maximal: 
:\mathbb{P}\left\{ \max_{n\le n_{k+1}}|S_n|>\epsilon n_k \right\} \le \beta_k \mathbb{P} \{ |S_{n_{k+1}}|>\frac{\epsilon}{2}\, n_k\}\le \beta_k 4V(n_{k+1})/(\epsilon n_k)^2

A última desigualdade da liña anterior xustifícase pola desigualdade de Chebyshev. Unha nova aplicación desta mesma desigualdade permítenos limitar os \beta_k\,:
:
\begin{array}{rcl}
\beta_k^{-1}&=&\min_{n\le n_{k+1}}\mathbb{P}\{n}  \right) \right \}\rightarrow 0 
|1}}

A última converxencia a cero vén dada pola converxencia puntual máis a converxencia dominada por \,|X_1| .
Tamén se ten que:

{{Ecuación|
\begin{array}{rcl}
\sum_{i=1}^\infty\mathbb{P}\{X_i\ne Y_i\} & = & \sum_{i=1}^\infty\mathbb{P}\{|X_i|>i\}  \\
 & = & \sum_{i=1}^\infty\mathbb{P}\{|X_1|>i\} \\  
& = & \sum_{i=1}^\infty i\, \mathbb{P}{\{|X_1|>i, |X_1| \le  i+1\}} \\
 &\le & \mathbb{P}|X_1||2}}

A terceira  igualdade vén de que para calquera variable aleatoria se cumpre que:
:\sum_{i\ge 1}\chi_{\{X>i\}}=\sum_{i\ge 1}i\,\chi_{\{X>i,x\le i+1\}}

A  implica, por Borel-Canteli, que o conxunto \{X_i\ne Y_i\,, \text{para infinitos i}\} ten probabilidade cero. Polo tanto, nun conxunto de probabilidade 1 cúmprese:
{{Ecuación|\left| \frac{1}{n}\sum_{i\le n}X_i-\frac{1}{n}\sum_{i\le n} Y_i \right|\rightarrow 0 |3}}
Da  desigualdade \mathbb{P}(Y_i-\mu_i)^2\le\mathbb{P}Y_i^2=\mathbb{P}(X_1^2\chi_{\{|X_1|\le i\}})\, podemos deducir que:
:\sum_{i=1}^\infty \frac{\mathbb{P}(Y_i-\mu_i)^2}{i^2}\le \sum_{i=1}^\infty \frac{\mathbb{P}(X_1^2\chi_{\{|X_1|\le i\}})}{i^2}= \mathbb{P}\left \{\sum_{i=1}^\infty \frac{X_1^2\chi_{\{|X_1|\le i\}}}{i^2}\right\}\le C \mathbb{P}|X_1|

Polo teorema anterior tense: 
{{Ecuación|\frac{1}{n}\sum_{i\le n}(Y_i-\mu_i)\rightarrow 0 |4}} 
case seguramente. Como ademais se ten que:
:\left|\frac{1}{n}\sum_{i\le n} X_i\right|\le \left|\frac{1}{n}\sum_{i\le n} (X_i-Y_i)\right| + \left|\frac{1}{n}\sum_{i\le n} (Y_i-\mu_i)\right| +\left|\frac{1}{n}\sum_{i\le n} \mu_i\right| 

Das ecuacións ,  e  dedúcese que \left|\frac{1}{n}\sum_{i\le n} X_i\right|\rightarrow 0\, en case todos os puntos, concluíndo o teorema.

*(Fin da demostración)\blacksquare*
 

## Notas 
## Véxase tamén 
### Bibliografía 
* Pollard, David, *A user´s guide to measure theoretic probability*, Cambridge University Press (2003).
### Outros artigos 
* Teorema central do límite
* Teorema de Bernoulli
* Falacia do xogador
* Andrei Kolmogorov
* Lei dos números realmente grandes