Teoremas límite · Definición
Ley de los grandes números
Antes de empezar necesitas conocer
Explica por qué las frecuencias y los promedios se estabilizan, y con ello justifica estimar una esperanza desconocida con datos.
Definición
La ley de los grandes números establece que el promedio \(\bar X_n\) de \(n\) observaciones independientes de una variable \(X\) se acerca a su esperanza \(\mu\) conforme \(n\) crece.
Sean \(X_1,X_2,\dots\) independientes, con la misma esperanza \(\mu\) y varianza finita \(\sigma^2\). La ley (en su forma débil) dice que, para todo \(\varepsilon>0\), \(P(|\bar X_n-\mu|\ge\varepsilon)\to0\) cuando \(n\to\infty\). La forma fuerte afirma algo más: con probabilidad 1, la sucesión de promedios converge a \(\mu\).
Con varianza finita la demostración es una aplicación directa de Chebyshev: como \(E[\bar X_n]=\mu\) y \(\operatorname{Var}(\bar X_n)=\sigma^2/n\), se tiene \(P(|\bar X_n-\mu|\ge\varepsilon)\le\sigma^2/(n\varepsilon^2)\), que tiende a 0. Además da una cota explícita: para garantizar un error menor que \(\varepsilon\) con probabilidad de falla \(\delta\), basta \(n\ge\sigma^2/(\delta\varepsilon^2)\).
Un ejemplo guía es la frecuencia relativa de un evento: si \(X_i=1\) cuando ocurre el evento en la repetición \(i\), entonces \(\bar X_n\) es la proporción de veces que ocurre y tiende a su probabilidad. Así se justifica interpretar una probabilidad como frecuencia a largo plazo, y también los métodos de simulación y estimación.
Dos errores típicos: creer que la ley «compensa» rachas pasadas (los ensayos son independientes) y pensar que la diferencia absoluta \(S_n-n\mu\) se anula, cuando lo que se estabiliza es el promedio. La rapidez y la forma de la fluctuación restante las describe el teorema central del límite.
Para pensar
¿Por qué la ley no contradice que, tras 1000 lanzamientos, el número de caras casi nunca sea exactamente 500?
Porque solo asegura que la proporción se acerca a \(\tfrac12\); la diferencia absoluta con 500 puede ser de varias unidades y aun así la proporción es muy cercana a 0.5.
Con \(\sigma^2=4\), ¿cuántas observaciones garantiza Chebyshev para error menor que 0.2 con falla máxima de 0.1?
\(n\ge\sigma^2/(\delta\varepsilon^2)=4/(0.1\cdot0.04)=1000\).
Ejercicios 10
- Se lanza una moneda justa muchas veces. ¿A qué valor se acerca la proporción de caras conforme crece el número de lanzamientos?
- Las variables \(X_i\) son independientes con varianza \(\sigma^2=25\). ¿Cuál es la varianza de \(\bar X_n\) con \(n=100\)?
- Con \(\sigma^2=1\) y \(n=100\), ¿qué cota da Chebyshev para \(P(|\bar X_n-\mu|\ge0.5)\)?
- Con \(\sigma^2=4\), ¿cuál es el menor \(n\) para que \(\operatorname{Var}(\bar X_n)\le0.01\)?
- ¿Cuál es el valor esperado de \(\bar X_n\) si cada \(X_i\) tiene esperanza \(\mu\)?
- Se lanza un dado justo muchas veces. ¿A qué valor tiende el promedio de los resultados?
- Con \(\sigma^2=9\) y \(n=1000\), ¿qué cota da Chebyshev para \(P(|\bar X_n-\mu|\ge0.3)\)?
- Una moneda justa salió cara 5 veces seguidas. ¿Cuál es la probabilidad de cara en el siguiente lanzamiento?
- Sea \(S_n\) el número de caras en \(n\) lanzamientos de una moneda justa. ¿Qué afirmación garantiza la ley de los grandes números?
- Con \(\sigma^2=1\), ¿qué \(n\) basta, según Chebyshev, para que \(P(|\bar X_n-\mu|\ge0.1)\le0.05\)?
Después de esto
Referencias
- Joseph K. Blitzstein, Jessica Hwang, Introduction to Probability, 2nd edition, CRC Press, 2019. §10.1
- Sheldon Ross, A First Course in Probability, 10th edition, Pearson, 2019. §8.2
- Ronald E. Walpole, Raymond H. Myers, Sharon L. Myers, Keying Ye, Probabilidad y estadística para ingeniería y ciencias, 9.ª edición, Pearson, 2012. §8.5