Teoremas límite · Definición

Ley de los grandes números

probabilidadlímites

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.

\[\bar X_n=\dfrac1n\sum_{i=1}^{n}X_i\ \xrightarrow[n\to\infty]{}\ \mu\]

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

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