Llei de los grandes númberos

Na teoría de la probabilidá, sol términu xenéricu de llei de los grandes númberos se engloban dellos teoremes que describen el comportamientu del permediu d'una socesión de variables aleatories conforme aumenta'l so númberu d'ensayos. 

Estos teoremes prescriben condiciones abondes pa garantizar que dichu permediu converxi (nos sentíos esplicaos embaxo) al permediu de les esperances de les variables aleatories arreyaes. Les distintes formulaciones de la llei de los grandes númberos (y les sos condiciones acomuñaes) especifiquen la converxencia de formes distintes.

Les lleis de los grandes númberos espliquen por qué'l permediu d'una muestra al azar d'una población de gran tamañu va tender a tar cerca de la media de la población completa. 

Cuando les variables aleatories tienen una varianza finita, el teorema central de la llende estiende'l nuesu entendimientu de la converxencia del so permediu describiendo la distribución de diferencies estandarizadas ente la suma de variables aleatories y el valor esperáu d'esta suma: ensin importar la distribución subxacente de les variables aleatories, esta diferencia estandarizada converxe a una variable aleatoria normal estándar.

La frase "llei de los grandes númberos" ye tamién usada dacuando pa referise de primeres de que la probabilidá de que cualquier eventu posible (inclusive unu improbable) asoceda siquier una vegada nuna serie aumenta col númberu d'eventos na serie. Por casu, la probabilidá de qu'un individuu gane la llotería ye bastante baxa; sicasí, la probabilidá de que daquién gane la llotería ye bastante alta, suponiendo qu'abondes persones mercaren boletos de llotería.

 Historia 
Enriba: con una sola molécula, el movimientu paez ser bastante aleatoriu.
Mediu: con más molécules, esiste un claru enclín na que'l soluto enllena'l recipiente más y más uniformemente, pero tamién hai fluctuaciones.
Embaxo: con un enorme númberu de molécules de soluto (demasiaes para trate), la aleatoriedad esencialmente sume: el soluto paez movese nidiu y sistemáticamente dende les zones d'alta concentración a les zones de baxa concentración. En situaciones reales, los químicos pueden describir l'espardimientu como un fenómenu macroscópicu determinista (ver lleis de Fick), a pesar del so calter aleatoriu subxacente.

El matemáticu italianu Gerolamo Cardano (1501–1576) afirmó ensin pruebes que la precisión de les estadístiques empíriques tienden a ameyorar col númberu d'intentos.Mlodinow, L. The Drunkard's Walk. New York: Random House, 2008. p. 50. Dempués esto foi formalizáu como una llei de los grandes númberos. Una forma especial de la llei (pa una variable aleatoria binaria) foi demostrada per primer vegada por Jacob Bernoulli.Jakob Bernoulli, Ars Conjectandi: Usum & Applicationem Praecedentis Doctrinae in Civilibus, Moralibus & Oeconomicis, 1713, Chapter 4, (Translated into English by Oscar Sheynin) Llevólu más de 20 años desenvolver una prueba matemática abondo rigorosa que foi publicada na so Ars Conjectandi [L'arte de la conxetura] en 1713. Bernouilli llamó-y el so «Teorema doráu», pero aportó a conocíu xeneralmente como «teorema de Bernoulli". Esti nun tien de confundir se col principiu físicu d'igual nome, el nome del sobrín de Jacob, Daniel Bernoulli. En 1837, S.D. Poisson describió con más detalle sol nome de «la loi des grands nomes» (la llei de los grandes númberos).Poisson names the "law of large numbers" (la loi des grands nomes) in: S.D. Poisson, Probabilité des jugements en matière criminelle et en matière civile, précédées des règles générales du calcul des probabilitiés (Paris, France: Bachelier, 1837), p. 7. He attempts a two-part proof of the law on páxs. 139–143 and páxs. 277 ff.Hacking, Ian. (1983) "19th-century Cracks in the Concept of Determinism", Journal of the History of Ideas, 44 (3), 455-475  A partir d'entós, conocer con dambos nomes, pero utilizar con mayor frecuencia la llei de los grandes númberos».

Dempués de que Bernoulli y Poisson publicaren los sos esfuercios, otros matemáticos tamién contribuyeron al refinamientu de la llei, como Chebyshev, Markov, Borel, Cantelli y Kolmogorov y Khinchin, que finalmente apurrió una prueba completa de la llei de los grandes númberos pa variables arbitraries. Estos nuevos estudios dieron llugar a dos formes prominentes de la llei de los grandes númberos: una llámase la llei "débil" y la otra la llei "fuerte", en referencia a dos maneres distintes de converxencia de la muestra acumulada significa'l valor esperáu; en particular, como s'esplica de siguío, la forma fuerte implica la débil.

 Llei débil 

La llei débil de los grandes númberos establez que si X1, X2, X3, ... ye una socesión infinita de variables aleatories independientes que tienen el mesmu valor esperáu  y varianza , entós el permediu

converxe en probabilidá a μ. N'otres pallabres, pa cualquier númberu positivu ε tiense

 Llei fuerte 

La llei fuerte de los grandes númberos establez que si X1, X2, X3, ... ye una socesión infinita de variables aleatories independientes ya idénticamente distribuyíes que cumplen Y(|Xi|) < ∞   y tienen el valor esperáu μ, entós

esto ye, el permediu de les variables aleatories converxe a μ casi de xuru (nun conxuntu de probabilidá 1).

Esta llei xustifica la interpretación intuitiva del valor esperáu d'una variable aleatoria como'l "permediu al llargu plazu al faer un muestreo repetitivu".

 Demostración (resultancia preliminar)

 Vamos Demostrar la siguiente resultancia: Sía  una socesión de variables aleatories independientes y integrables con  (esperanza 0) y ; entós, el permediu  casi de xuru cuando . Esti teorema nun asume que les variables aleatories son hermano distribuyíes pero controla la crecedera de les varianzas. 

Pa demostrar el teorema vamos faer usu del siguiente lema:

Desigualdá Maximal. Sean  variables aleatories independientes y sían  y  constantes positives que cumplen  pa cada i. Depués

Demostración del lema:  Sean  y . Definamos coles mesmes la variable aleatoria 

Tenemos entós: 

Agora bien, si  y  entós implica que  
per ende:

colo que se conclúi'l lema. (Fin demostración del lema)

Sigamos cola demostración del teorema: Definamos 

Tenemos entós que la serie  ye converxente pos:

La converxencia c.t.p. qu'asegura'l teorema ye equivalente a:

Pol lema de Borel-Cantelli, ye abondu demostrar que, pa tou  

Cada probabilidá na suma anterior pue ser acutada por: 

Agora aplícase la desigualdá maximal: 

La última desigualdá de la llinia anterior xustificar pola desigualdá de Chebyshev. Una nueva aplicación d'esta mesma desigualdá déxanos acutar los :

Esto ye, llogremos acutar cada sumandu de la  por una constante polos términos d'una sumatoria que sabemos converxente, demostrando la converxencia de felicidá sumatoria y concluyendo via Borel-Cantelli la converxencia fuerte del teorema. 

(Fin de la demostración)


 Demostración de la llei fuerte de los grandes númberos (Kolmogorov)Sía  una socesión de variables aleatories independientes, integrables ya idénticamente distribuyíes con  (esperanza 0), entós, el permediu  casi de xuru cuando .

Definamos  y . Tenemos que . Amás, usando la hipótesis de distribuciones idéntiques, podemos polo xeneral reemplazar (non siempres) una distribución  xenérica por un representante, digamos . Tenemos entós:

La última converxencia a cero vien dada pola converxencia puntual más converxencia apoderada por  .
Tamién tenemos que:

La tercer igualdá vien de que pa cualesquier variable aleatoria cumplir que:

La  implica, por Borel-Canteli, que'l conxuntu  tien probabilidad cero. Poro, nun conxuntu de probabilidá 1 cumplir:

De la desigualdá  podemos deducir que:

Pol teorema enantes demostráu tenemos: 

casi de xuru. Como amás tenemos que:

Entós, de les ecuaciones ,  y  deduzse que  en casi en tolos puntos, concluyendo'l teorema.

(Fin de la demostración) 

 Ver tamién 
 Teorema central de la llende
 Teorema de Bernoulli
 Falacia del xugador
 Andréi Kolmogórov
 Llei de los númberos realmente grandes

 Referencies 
 David Pollard, A user´s guide to measure theoretic probability, Cambridge University Press (2003).

 Referencies 

Categoría:Teoría estadística
Categoría:Teoremes de probabilidá
Categoría:Demostraciones matemátiques
Categoría:Ciencia de 1713
Categoría:Ciencia y teunoloxía de Suiza