Capítulo 2 · Convergencia

Inferencia estadística · Ejercicios del parcial 1

Capítulo 2 · Convergencia

Cada ejercicio se resuelve paso a paso. Avanza con →, vuelve aquí con la tecla I, y pasa el cursor sobre los símbolos para ver qué significan.

Ejercicio 1

Sea \(\{Y_n\}_{n \in \mathbb{N}}\) una sucesión de variables aleatorias con \(\D{Yn}{Y_n} \sim \D{bin}{\text{bin}(n, \alpha)}\). Muestre que \(\D{cp}{\dfrac{Y_n}{n} \xrightarrow{p} \alpha}\).

Recordatorio · Convergencia en probabilidad

\(W_n \xrightarrow{p} c\) significa que, para cualquier distancia \(\D{eps}{\varepsilon} \gt 0\) que fijemos,

\[\D{P}{P}\bigl(|W_n - c| \ge \varepsilon\bigr) \xrightarrow[n \to \infty]{} 0\]

En palabras: la probabilidad de que \(W_n\) quede lejos de \(c\) se hace cada vez más pequeña.

Qué significa aquí. \(Y_n/n\) es la proporción de éxitos en \(n\) ensayos. Hay que mostrar que se acerca a la probabilidad de éxito \(\alpha\).

La herramienta

La desigualdad de Chebyshev

Teorema · Desigualdad de Chebyshev

Si \(W\) tiene media \(E[W]\) y varianza finita, para todo \(\varepsilon \gt 0\):

\[\D{P}{P}\bigl(|W - \D{E}{E[W]}| \ge \D{eps}{\varepsilon}\bigr) \le \frac{\D{Var}{\text{Var}(W)}}{\varepsilon^2}\]

Receta. Para probar \(W_n \xrightarrow{p} c\) basta con:

  1. ver que \(E[W_n] = c\);
  2. ver que \(\text{Var}(W_n) \to 0\).

Entonces la cota \(\text{Var}(W_n)/\varepsilon^2\) tiende a \(0\), y la probabilidad, que está entre \(0\) y esa cota, también.

Aplicar la receta

Media y varianza de \(Y_n / n\)

Recordatorio · Binomial y constantes

Si \(Y \sim \text{bin}(n, \alpha)\): \(E[Y] = n\alpha\) y \(\text{Var}(Y) = n\alpha(1-\alpha)\). Además \(E[cY] = c\,E[Y]\) y \(\text{Var}(cY) = c^2\,\text{Var}(Y)\).

\[\D{E}{E}\Bigl[\frac{Y_n}{n}\Bigr] = \frac{n\alpha}{n} = \alpha, \qquad \D{Var}{\text{Var}}\Bigl(\frac{Y_n}{n}\Bigr) = \frac{n\alpha(1-\alpha)}{n^2} = \frac{\alpha(1-\alpha)}{n}\]

Chebyshev con \(W = Y_n/n\):

\[0 \le \D{P}{P}\Bigl(\Bigl|\frac{Y_n}{n} - \alpha\Bigr| \ge \varepsilon\Bigr) \le \frac{\alpha(1-\alpha)}{n\,\varepsilon^2} \xrightarrow[n\to\infty]{} 0\]
\[\text{Por lo tanto}\qquad \D{cp}{\frac{Y_n}{n} \xrightarrow{p} \alpha}\]

Ejercicio 2

Sea \(\{Y_n\}_{n \in \mathbb{N}}\) una sucesión de variables aleatorias con \(\D{E}{E[Y_n]} = \D{mu}{\mu}\) y \(\D{Var}{\text{Var}[Y_n]} = \dfrac{3}{n^3}\). Muestre que \(\D{cp}{Y_n \xrightarrow{p} \mu}\).

Teorema · Desigualdad de Chebyshev

\[\D{P}{P}\bigl(|W - E[W]| \ge \D{eps}{\varepsilon}\bigr) \le \frac{\text{Var}(W)}{\varepsilon^2}\]

Es la misma receta del ejercicio 1: la media ya es \(\mu\), y la varianza \(3/n^3\) tiende a \(0\).

Aplicar Chebyshev

La cota tiende a cero

Fijamos cualquier \(\varepsilon \gt 0\) y usamos \(W = Y_n\):

\[0 \le \D{P}{P}\bigl(|Y_n - \mu| \ge \D{eps}{\varepsilon}\bigr) \le \frac{3/n^3}{\varepsilon^2} = \frac{3}{n^3\,\varepsilon^2}\]

Como \(\varepsilon\) está fijo y \(n^3 \to \infty\), la fracción tiende a \(0\). La probabilidad queda atrapada entre \(0\) y algo que tiende a \(0\):

\[\lim_{n\to\infty} P\bigl(|Y_n - \mu| \ge \varepsilon\bigr) = 0 \quad\text{para todo } \varepsilon \gt 0\]
\[\D{cp}{Y_n \xrightarrow{p} \mu}\]

Ejercicio 3

Sea \(X_1, \dots, X_n\) una muestra aleatoria de una \(\text{Uniforme}[0, \D{theta}{\theta}]\). Muestre que \(\D{xmin}{X_{(1)}} \xrightarrow{p} 0\) y \(\D{xmax}{X_{(n)}} \xrightarrow{p} \theta\).

Intuición. Con muchos datos, el más pequeño queda pegado a \(0\) y el más grande queda pegado a \(\theta\).

Recordatorio · Mínimo y máximo

Con \(F(x) = x/\theta\) y observaciones independientes:

\[P\bigl(X_{(1)} \gt x\bigr) = \bigl[1 - F(x)\bigr]^n = \Bigl(1 - \frac{x}{\theta}\Bigr)^n, \qquad P\bigl(X_{(n)} \le x\bigr) = F(x)^n = \Bigl(\frac{x}{\theta}\Bigr)^n\]

El mínimo pasa de \(x\) si todas pasan de \(x\); el máximo no pasa de \(x\) si ninguna pasa de \(x\).

Recordatorio · Potencias

Si \(0 \le r \lt 1\), entonces \(r^n \to 0\) cuando \(n \to \infty\).

Parte 1

\(X_{(1)} \xrightarrow{p} 0\)

Fijamos \(\varepsilon\) con \(0 \lt \varepsilon \lt \theta\). (Si \(\varepsilon \ge \theta\), la probabilidad ya es \(0\), porque \(X_{(1)} \le \theta\).)

Como \(X_{(1)} \ge 0\), estar lejos de \(0\) significa ser grande: \(|X_{(1)} - 0| \ge \varepsilon\) es lo mismo que \(X_{(1)} \ge \varepsilon\).

\[\D{P}{P}\bigl(|X_{(1)} - 0| \ge \D{eps}{\varepsilon}\bigr) = P\bigl(X_{(1)} \ge \varepsilon\bigr) = \Bigl(1 - \frac{\varepsilon}{\theta}\Bigr)^n\]

El número \(r = 1 - \varepsilon/\theta\) está entre \(0\) y \(1\), así que \(r^n \to 0\).

\[\lim_{n\to\infty} P\bigl(|X_{(1)}| \ge \varepsilon\bigr) = 0 \qquad\Longrightarrow\qquad X_{(1)} \xrightarrow{p} 0\]

Parte 2

\(X_{(n)} \xrightarrow{p} \theta\)

Como \(X_{(n)} \le \theta\), estar lejos de \(\theta\) significa quedarse corto: \(|X_{(n)} - \theta| \ge \varepsilon\) es lo mismo que \(X_{(n)} \le \theta - \varepsilon\).

\[\D{P}{P}\bigl(|X_{(n)} - \theta| \ge \D{eps}{\varepsilon}\bigr) = P\bigl(X_{(n)} \le \theta - \varepsilon\bigr) = \Bigl(\frac{\theta - \varepsilon}{\theta}\Bigr)^n\]

Otra vez \(r = (\theta - \varepsilon)/\theta\) está entre \(0\) y \(1\), así que \(r^n \to 0\).

\[\lim_{n\to\infty} P\bigl(|X_{(n)} - \theta| \ge \varepsilon\bigr) = 0 \qquad\Longrightarrow\qquad X_{(n)} \xrightarrow{p} \theta\]

Por eso \(X_{(n)}\) es un buen estimador de \(\theta\): con muchos datos queda muy cerca del verdadero valor.

Ejercicio 4

Sea \(\{X_n\}_{n \in \mathbb{N}}\) una sucesión de variables aleatorias con \(\D{Xn}{X_n} \sim \D{gam}{\Gamma\bigl(n, \tfrac1n\bigr)}\). Muestre que \(\D{cp}{X_n \xrightarrow{p} 1}\).

Recordatorio · Distribución gamma

Si \(X \sim \Gamma(\alpha, \beta)\), con forma \(\alpha\) y escala \(\beta\):

\[\D{E}{E[X]} = \alpha\beta, \qquad \D{Var}{\text{Var}(X)} = \alpha\beta^2\]

Aquí \(\alpha = n\) y \(\beta = \tfrac1n\). (Tomamos el segundo parámetro como escala: con la otra convención la media sería \(n^2\) y no podría acercarse a \(1\).)

Aplicar Chebyshev

Media 1, varianza que tiende a 0

\[\D{E}{E[X_n]} = n \cdot \frac1n = 1, \qquad \D{Var}{\text{Var}(X_n)} = n \cdot \frac{1}{n^2} = \frac1n\]

Teorema · Desigualdad de Chebyshev

\[P\bigl(|W - E[W]| \ge \varepsilon\bigr) \le \frac{\text{Var}(W)}{\varepsilon^2}\]
\[0 \le \D{P}{P}\bigl(|X_n - 1| \ge \D{eps}{\varepsilon}\bigr) \le \frac{1/n}{\varepsilon^2} = \frac{1}{n\,\varepsilon^2} \xrightarrow[n\to\infty]{} 0\]
\[\D{cp}{X_n \xrightarrow{p} 1}\]

Ejercicio 5

Sea \(X_1, \dots, X_n\) una muestra aleatoria de una \(\text{Uniforme}[0, \D{lam}{\lambda}]\) y sea \(\D{Zn}{Z_n = n\bigl(\lambda - X_{(n)}\bigr)}\). Muestre que \(Z_n\) converge en distribución y halle la distribución límite.

Recordatorio · Convergencia en distribución

\(Z_n \xrightarrow{d} Z\) significa que las funciones de distribución se acercan:

\[\D{cd}{P(Z_n \le z) \xrightarrow[n\to\infty]{} P(Z \le z)}\quad\text{en cada } z \text{ donde } P(Z \le z) \text{ es continua}\]

Receta. Calcular \(P(Z_n \le z)\) para cada \(n\), tomar el límite, y reconocer qué distribución es.

Intuición. \(\lambda - X_{(n)}\) es lo que le falta al máximo para llegar a \(\lambda\). Es muy pequeño, del orden de \(1/n\); multiplicar por \(n\) lo "amplía" para ver su forma.

Paso 1

La función de distribución de \(Z_n\)

\(Z_n \ge 0\) siempre, así que \(P(Z_n \le z) = 0\) si \(z \lt 0\). Para \(z \ge 0\) (y \(n\) grande, de modo que \(z/n \lt \lambda\)):

\[P(Z_n \le z) = P\Bigl(\lambda - X_{(n)} \le \frac zn\Bigr) = P\Bigl(X_{(n)} \ge \lambda - \frac zn\Bigr) = 1 - P\Bigl(X_{(n)} \lt \lambda - \frac zn\Bigr)\]

El máximo es menor que un valor si todas lo son, y \(F(x) = x/\lambda\):

\[P\Bigl(X_{(n)} \lt \lambda - \frac zn\Bigr) = \Bigl(\frac{\lambda - z/n}{\lambda}\Bigr)^n = \Bigl(1 - \frac{z/\lambda}{n}\Bigr)^n\]
\[P(Z_n \le z) = 1 - \Bigl(1 - \frac{z/\lambda}{n}\Bigr)^n, \qquad z \ge 0\]

Paso 2

Tomar el límite

Límite clave

\[\Bigl(1 + \frac{c}{n}\Bigr)^n \xrightarrow[n\to\infty]{} \D{e}{e}^{\,c} \qquad\text{para cualquier número } c\]

Con \(c = -z/\lambda\):

\[\lim_{n\to\infty} P(Z_n \le z) = 1 - e^{-z/\lambda}, \qquad z \ge 0\]

Esa es la función de distribución de una exponencial con media \(\lambda\) (densidad \(\tfrac1\lambda e^{-z/\lambda}\)). Para \(z \lt 0\) el límite es \(0\), igual que en la exponencial.

\[\D{cd}{Z_n = n\bigl(\lambda - X_{(n)}\bigr) \xrightarrow{d} \text{Exponencial con media } \lambda}\]

Ejercicio 6

Sea \(X_1, \dots, X_n\) una muestra aleatoria de una distribución con densidad \(\D{f}{f(x) = e^{-(x-\theta)}}\), \(x \gt \D{theta}{\theta}\), \(\theta \gt 0\). Sea \(\D{Zn}{Z_n = n\bigl(X_{(1)} - \theta\bigr)}\). Halle la distribución límite de \(Z_n\).

Receta. Igual que en el ejercicio 5: calcular \(P(Z_n \le z)\) y tomar el límite.

Recordatorio · Del capítulo 1, ejercicio 6

Para esta densidad, \(P(X_i \gt x) = e^{-(x-\theta)}\), y para el mínimo (todas deben pasar de \(x\)):

\[P\bigl(X_{(1)} \gt x\bigr) = e^{-n(x-\theta)}, \qquad x \gt \theta\]

El cálculo

La distribución de \(Z_n\) no depende de \(n\)

\(Z_n \ge 0\) porque \(X_{(1)} \gt \theta\). Para \(z \gt 0\):

\[P(Z_n \le z) = P\Bigl(X_{(1)} \le \theta + \frac zn\Bigr) = 1 - P\Bigl(X_{(1)} \gt \theta + \frac zn\Bigr) = 1 - e^{-n \cdot z/n}\]
\[P(Z_n \le z) = 1 - e^{-z}, \qquad z \gt 0\]

La \(n\) se cancela: \(Z_n\) tiene exactamente la misma distribución para todo \(n\). Así que el límite es esa misma distribución.

\[\D{cd}{Z_n = n\bigl(X_{(1)} - \theta\bigr) \xrightarrow{d} \text{Exponencial con media } 1}, \qquad F(z) = 1 - e^{-z},\ z \gt 0\]

Ejercicio 7

Sea \(X_1, \dots, X_{50}\) una muestra aleatoria con densidad \(\D{f}{f(x) = 3x^2}\), \(0 \lt x \lt 1\). Si \(\D{xbar}{\bar X_{50}}\) es la media muestral, calcule aproximadamente \(\D{P}{P}\bigl(\tfrac{5}{11} \lt \bar X_{50} \lt \tfrac{6}{11}\bigr)\).

Idea. "Aproximadamente" con una media muestral casi siempre significa: usar el teorema del límite central.

Teorema del límite central

Si \(X_1, \dots, X_n\) son independientes, con la misma distribución, media \(\D{mu}{\mu}\) y varianza \(\D{sigma2}{\sigma^2}\) finita, entonces

\[\frac{\bar X_n - \mu}{\sigma / \sqrt n} \xrightarrow{d} \D{N01}{N(0,1)}\]

En la práctica: para \(n\) grande, \(\bar X_n\) es aproximadamente normal con media \(\mu\) y varianza \(\sigma^2/n\).

Paso 1

Media y varianza de una observación

Se integran contra la densidad: \(E[X] = \int x f(x)\,dx\) y \(E[X^2] = \int x^2 f(x)\,dx\).

\[\D{mu}{\mu} = \int_0^1 x \cdot 3x^2\,dx = \frac34, \qquad E[X^2] = \int_0^1 x^2 \cdot 3x^2\,dx = \frac35\]
\[\D{sigma2}{\sigma^2} = E[X^2] - \mu^2 = \frac35 - \frac{9}{16} = \frac{3}{80}\]

Para la media de \(50\) observaciones:

\[\bar X_{50} \approx N\Bigl(\frac34,\ \frac{3/80}{50}\Bigr) = N\bigl(0.75,\ 0.00075\bigr), \qquad \text{desviación} = \sqrt{0.00075} \approx 0.0274\]

Paso 2

Estandarizar y usar la tabla

Restamos la media y dividimos por la desviación en los dos extremos: \(\tfrac{5}{11} \approx 0.4545\) y \(\tfrac{6}{11} \approx 0.5455\).

\[z_1 = \frac{0.4545 - 0.75}{0.0274} \approx -10.79, \qquad z_2 = \frac{0.5455 - 0.75}{0.0274} \approx -7.47\]
\[\D{P}{P}\bigl(\tfrac{5}{11} \lt \bar X_{50} \lt \tfrac{6}{11}\bigr) \approx \D{Phi}{\Phi(-7.47)} - \D{Phi}{\Phi(-10.79)} \approx 0\]

¿Por qué da prácticamente cero? La media de la población es \(0.75\) y el intervalo \((0.45,\ 0.55)\) está a más de \(7\) desviaciones por debajo. Con \(50\) datos, el promedio casi nunca se aleja tanto de \(0.75\).

El procedimiento es el mismo para cualquier intervalo: calcular \(\mu\) y \(\sigma^2\), estandarizar, y leer \(\Phi\) en la tabla.

Ejercicio 8

Sea \(X_1, X_2, \dots\) una sucesión de variables independientes con \(X_n \sim \D{ber}{\text{Ber}(p)}\). Sea \(\D{Yn}{Y_n = \frac1n \sum_{i=1}^n X_i}\). Muestre que

\[\D{cd}{\frac{\sqrt n\,(Y_n - p)}{\sqrt{p(1-p)}} \xrightarrow{d} \D{N01}{N(0,1)}}\]

Qué es \(Y_n\). Cada \(X_i\) vale \(1\) (éxito) o \(0\) (fracaso). Entonces \(Y_n\) es la proporción de éxitos: es la media muestral \(\bar X_n\).

Idea. Es exactamente el teorema del límite central aplicado a variables de Bernoulli. Solo hay que revisar las hipótesis y calcular \(\mu\) y \(\sigma^2\).

Aplicar el teorema

Revisar las hipótesis del límite central

Teorema del límite central

Si las \(X_i\) son independientes, idénticamente distribuidas, con media \(\mu\) y varianza \(\sigma^2 \lt \infty\):

\[\frac{\sqrt n\,(\bar X_n - \mu)}{\sigma} \xrightarrow{d} N(0,1)\]
  1. Independientes: lo dice el enunciado. Idénticamente distribuidas: todas son \(\text{Ber}(p)\).
  2. Media: \(\mu = E[X_i] = 1\cdot p + 0 \cdot (1-p) = p\).
  3. Varianza: \(E[X_i^2] = p\) (porque \(X_i^2 = X_i\)), así que \(\sigma^2 = p - p^2 = p(1-p) \lt \infty\).

Sustituyendo \(\bar X_n = Y_n\), \(\mu = p\) y \(\sigma = \sqrt{p(1-p)}\) en el teorema:

\[\D{cd}{\frac{\sqrt n\,(Y_n - p)}{\sqrt{p(1-p)}} \xrightarrow{d} N(0,1)}\]

Ejercicio 9

Sea \(X_1, X_2, \dots\) una sucesión de variables independientes con densidad \(\D{f}{f(x) = \alpha x^{-\alpha-1}}\), \(x \gt 1\), \(\alpha \gt 0\). Sea \(\D{Yn}{Y_n = \dfrac{X_{(n)}}{n^{1/\alpha}}}\). Muestre que \(Y_n\) converge en distribución y halle el límite.

Receta. Como en los ejercicios 5 y 6: calcular \(P(Y_n \le y)\) y tomar el límite.

Primero la función de distribución de una observación:

\[\D{F}{F(x)} = \int_1^x \alpha t^{-\alpha-1}\,dt = \Bigl[-t^{-\alpha}\Bigr]_1^x = 1 - x^{-\alpha}, \qquad x \gt 1\]

Paso 1

La función de distribución de \(Y_n\)

El máximo no pasa de un valor si ninguna observación pasa de él: \(P(X_{(n)} \le x) = F(x)^n\).

Fijamos \(y \gt 0\). Para \(n\) grande, \(y\,n^{1/\alpha} \gt 1\) y podemos usar \(F\):

\[P(Y_n \le y) = P\bigl(X_{(n)} \le y\,n^{1/\alpha}\bigr) = \Bigl[1 - \bigl(y\,n^{1/\alpha}\bigr)^{-\alpha}\Bigr]^n\]

Como \(\bigl(n^{1/\alpha}\bigr)^{-\alpha} = n^{-1} = \frac1n\):

\[P(Y_n \le y) = \Bigl(1 - \frac{y^{-\alpha}}{n}\Bigr)^n\]

Si \(y \le 0\), \(P(Y_n \le y) = 0\), porque \(Y_n \gt 0\).

Paso 2

Tomar el límite

Límite clave

\[\Bigl(1 + \frac{c}{n}\Bigr)^n \xrightarrow[n\to\infty]{} \D{e}{e}^{\,c}\]

Con \(c = -y^{-\alpha}\):

\[\lim_{n\to\infty} P(Y_n \le y) = G(y) = \begin{cases} e^{-y^{-\alpha}}, & y \gt 0 \\ 0, & y \le 0 \end{cases}\]

\(G\) es una función de distribución: crece de \(0\) (cuando \(y \to 0^+\)) a \(1\) (cuando \(y \to \infty\)) y es continua. Se llama distribución de Fréchet, con densidad \(\alpha y^{-\alpha-1} e^{-y^{-\alpha}}\).

\[\D{cd}{\frac{X_{(n)}}{n^{1/\alpha}} \xrightarrow{d} Y}, \qquad P(Y \le y) = e^{-y^{-\alpha}},\ y \gt 0\]

Ejercicio 10

Sea \(X_1, X_2, \dots\) una sucesión de variables independientes con \(X_n \sim \D{bin}{\text{bin}\bigl(n, \tfrac{\lambda}{n}\bigr)}\), con \(\lambda\) constante. Muestre que \(\D{cd}{X_n \xrightarrow{d} \D{poi}{p(\lambda)}}\).

Intuición. Muchos ensayos (\(n\)), cada uno con probabilidad de éxito muy pequeña (\(\lambda/n\)), con un número esperado de éxitos fijo, \(n \cdot \lambda/n = \lambda\). Así se cuentan eventos raros.

Criterio para variables con valores enteros

Si \(X_n\) y \(X\) toman valores en \(\{0, 1, 2, \dots\}\) y \(P(X_n = k) \to P(X = k)\) para cada \(k\), entonces \(X_n \xrightarrow{d} X\).

Hay que mostrar que la probabilidad binomial de cada \(k\) tiende a la de Poisson: \(\D{poi}{P(X = k) = e^{-\lambda}\dfrac{\lambda^k}{k!}}\).

Paso 1

Separar la probabilidad binomial en factores

Fijamos \(k\) y escribimos \(P(X_n = k)\) con \(p = \lambda/n\):

\[P(X_n = k) = \binom{n}{k}\Bigl(\frac{\lambda}{n}\Bigr)^k\Bigl(1 - \frac{\lambda}{n}\Bigr)^{n-k}\]

Usamos \(\binom nk = \frac{n(n-1)\cdots(n-k+1)}{k!}\) y reordenamos:

\[P(X_n = k) = \underbrace{\frac{n(n-1)\cdots(n-k+1)}{n^k}}_{\text{(a)}} \cdot \frac{\lambda^k}{k!} \cdot \underbrace{\Bigl(1 - \frac{\lambda}{n}\Bigr)^{n}}_{\text{(b)}} \cdot \underbrace{\Bigl(1 - \frac{\lambda}{n}\Bigr)^{-k}}_{\text{(c)}}\]

Paso 2

El límite de cada factor

  1. (a) Son \(k\) factores \(\frac nn \cdot \frac{n-1}{n} \cdots \frac{n-k+1}{n}\), y cada uno tiende a \(1\). Como \(k\) está fijo, (a) \(\to 1\).
  2. (b) Por el límite \(\bigl(1 + \frac cn\bigr)^n \to e^{c}\) con \(c = -\lambda\): (b) \(\to e^{-\lambda}\).
  3. (c) \(1 - \frac\lambda n \to 1\), y un exponente fijo \(-k\) no cambia eso: (c) \(\to 1\).
\[\lim_{n\to\infty} P(X_n = k) = 1 \cdot \frac{\lambda^k}{k!} \cdot e^{-\lambda} \cdot 1 = e^{-\lambda}\frac{\lambda^k}{k!}\]

Esto vale para cada \(k = 0, 1, 2, \dots\). Por el criterio para variables enteras:

\[\D{cd}{X_n \xrightarrow{d} \text{Poisson}(\lambda)}\]

Ejercicio 11

Sea \(X_1, \dots, X_n\) una muestra aleatoria de una \(\D{poi}{p(\lambda)}\) y \(\D{xbar}{\bar X_n}\) la media muestral. Muestre que

\[\D{cd}{\frac{\bar X_n - \lambda}{\sqrt{\bar X_n / n}} \xrightarrow{d} \D{N01}{N(0,1)}}\]

Idea. Si el denominador fuera \(\sqrt{\lambda/n}\), sería directamente el límite central (la Poisson tiene varianza \(\lambda\)). Pero aparece \(\bar X_n\) en lugar de \(\lambda\).

El plan: escribir la expresión como (límite central) \(\times\) (algo que tiende a \(1\)), y usar el teorema de Slutsky.

  1. Límite central con \(\mu = \sigma^2 = \lambda\).
  2. Ley de los grandes números: \(\bar X_n \xrightarrow{p} \lambda\).
  3. Slutsky para juntar las dos piezas.

Pasos 1 y 2

Las dos piezas

Para la Poisson, \(E[X_i] = \lambda\) y \(\text{Var}(X_i) = \lambda\).

Pieza 1 · Teorema del límite central

\[A_n = \frac{\sqrt n\,(\bar X_n - \lambda)}{\sqrt\lambda} \xrightarrow{d} N(0,1)\]

Pieza 2 · Ley débil de los grandes números

\(\bar X_n \xrightarrow{p} \lambda\). Si \(g\) es continua en \(\lambda\), entonces \(g(\bar X_n) \xrightarrow{p} g(\lambda)\). Con \(g(x) = \sqrt{\lambda / x}\):

\[B_n = \sqrt{\frac{\lambda}{\bar X_n}} \xrightarrow{p} \sqrt{\frac{\lambda}{\lambda}} = 1\]

Paso 3

Juntar las piezas con Slutsky

La expresión del enunciado es exactamente \(A_n \cdot B_n\):

\[\frac{\bar X_n - \lambda}{\sqrt{\bar X_n / n}} = \frac{\sqrt n\,(\bar X_n - \lambda)}{\sqrt{\bar X_n}} = \underbrace{\frac{\sqrt n\,(\bar X_n - \lambda)}{\sqrt\lambda}}_{A_n} \cdot \underbrace{\sqrt{\frac{\lambda}{\bar X_n}}}_{B_n}\]

Teorema de Slutsky

Si \(A_n \xrightarrow{d} A\) y \(B_n \xrightarrow{p} c\) (una constante), entonces \(A_n B_n \xrightarrow{d} cA\).

\[A_n B_n \xrightarrow{d} 1 \cdot N(0,1) = N(0,1)\]

Detalle: \(\bar X_n = 0\) tiene probabilidad \(e^{-n\lambda} \to 0\), así que ese caso no afecta el límite.

Ejercicio 12

Considere el espacio de probabilidad \(([0,1], \mathcal B[0,1], P)\), con \(P\) la distribución uniforme en \([0,1]\). Sea \(\D{Xn}{X_n = I_{[0, 1/n]}(\cdot)}\). Muestre que \(\D{cas}{X_n \xrightarrow{a.s.} 0}\).

Recordatorio · Qué es cada cosa

Un resultado del experimento es un número \(\omega \in [0,1]\), escogido al azar. La probabilidad de un intervalo es su longitud.

\(X_n(\omega) = 1\) si \(\omega \in [0, 1/n]\), y \(X_n(\omega) = 0\) si no. Es una función indicadora.

Recordatorio · Convergencia casi segura

\(X_n \xrightarrow{a.s.} 0\) significa que el conjunto de los \(\omega\) donde la sucesión de números \(X_1(\omega), X_2(\omega), \dots\) tiende a \(0\) tiene probabilidad \(1\):

\[P\bigl(\{\omega : X_n(\omega) \to 0\}\bigr) = 1\]

Paso 1

Fijamos un resultado \(\omega \gt 0\)

Con \(\omega\) fijo, \(X_1(\omega), X_2(\omega), \dots\) es una sucesión de números (ceros y unos). Miramos hacia dónde va.

Ejemplo con \(\omega = 0.3\). Los intervalos \([0,1], [0,\tfrac12], [0,\tfrac13]\) contienen a \(0.3\); desde \([0, \tfrac14]\) ya no:

\[X_1(0.3), X_2(0.3), X_3(0.3), X_4(0.3), \dots = 1,\ 1,\ 1,\ 0,\ 0,\ 0,\ \dots \;\to\; 0\]

En general. Si \(\omega \gt 0\), para todo \(n \gt 1/\omega\) se cumple \(1/n \lt \omega\), así que \(\omega \notin [0, 1/n]\) y \(X_n(\omega) = 0\).

\[\omega \in (0, 1] \quad\Longrightarrow\quad X_n(\omega) = 0 \text{ para todo } n \gt 1/\omega \quad\Longrightarrow\quad X_n(\omega) \to 0\]

Paso 2

El único punto problemático: \(\omega = 0\)

El \(0\) está en todos los intervalos \([0, 1/n]\), así que \(X_n(0) = 1\) para todo \(n\). Ahí la sucesión no tiende a \(0\).

Pero un solo punto tiene longitud \(0\), y en este espacio la probabilidad es la longitud: \(P(\{0\}) = 0\).

\[\{\omega : X_n(\omega) \to 0\} = (0, 1]\]
\[P\bigl(\{\omega : X_n(\omega) \to 0\}\bigr) = P\bigl((0,1]\bigr) = 1 - 0 = 1 \qquad\Longrightarrow\qquad \D{cas}{X_n \xrightarrow{a.s.} 0}\]

"Casi segura" quiere decir justamente esto: la convergencia puede fallar, pero solo en un conjunto de probabilidad cero.

Ejercicio 13

Dos monedas no cargadas se lanzan \(n\) veces. Sea \(\D{Xn}{X_n}\) el número de lanzamientos (de los \(n\)) en que no sale ninguna cara. Encuentre el menor \(n\) tal que

\[\D{P}{P}\Bigl(0.2 \le \frac{X_n}{n} \le 0.3\Bigr) \ge 0.954 \quad\text{aproximadamente.}\]

Un lanzamiento. "No sale cara" en las dos monedas es sacar sello y sello: probabilidad \(\tfrac12 \cdot \tfrac12 = \tfrac14\).

Los \(n\) lanzamientos son independientes, así que \(X_n\) cuenta éxitos con probabilidad \(\tfrac14\):

\[X_n \sim \D{bin}{\text{bin}\bigl(n, \tfrac14\bigr)}\]

Paso 1

Aproximación normal de la proporción

\(X_n/n\) es una proporción de éxitos (una media de Bernoullis), así que por el límite central es aproximadamente normal:

\[E\Bigl[\frac{X_n}{n}\Bigr] = \frac14, \qquad \text{Var}\Bigl(\frac{X_n}{n}\Bigr) = \frac{\frac14 \cdot \frac34}{n} = \frac{3}{16n}\]

El intervalo \([0.2,\ 0.3]\) es \(0.25 \pm 0.05\): simétrico alrededor de la media. Estandarizando:

\[P\Bigl(0.2 \le \frac{X_n}{n} \le 0.3\Bigr) \approx P\bigl(|N(0,1)| \le c\bigr) = 2\,\D{Phi}{\Phi(c)} - 1, \qquad c = \frac{0.05}{\sqrt{3/(16n)}}\]

Paso 2

Despejar \(n\)

Queremos \(2\Phi(c) - 1 \ge 0.954\), es decir \(\Phi(c) \ge 0.977\). La tabla normal da \(\Phi(2) \approx 0.977\), así que necesitamos \(c \ge 2\).

\[\frac{0.05\,\sqrt n}{\sqrt{3/16}} \ge 2 \quad\Longrightarrow\quad \sqrt n \ge \frac{2\sqrt{3/16}}{0.05} = \frac{2 \cdot 0.4330}{0.05} \approx 17.32\]
\[n \ge \Bigl(\frac{2\sqrt3/4}{0.05}\Bigr)^2 = \bigl(10\sqrt3\bigr)^2 = 300\]
\[\text{El menor valor es}\quad n = 300\]

El número \(0.954\) del enunciado es justamente \(P(|N(0,1)| \le 2)\): la regla de "dos desviaciones estándar".

Ejercicio 14

Sea \(X_1, \dots, X_{72}\) una muestra aleatoria con densidad \(\D{f}{f(x) = \dfrac{1}{x^2}}\), \(x \gt 1\). Calcule aproximadamente la probabilidad de que más de \(50\) ítems de la muestra sean superiores a \(3\).

Idea. Cada observación es un ensayo: "éxito" si pasa de \(3\). Contamos cuántos éxitos hay entre las \(72\).

\[\D{N}{N} = \text{número de } X_i \gt 3 \;\sim\; \D{bin}{\text{bin}(72, \D{p}{p})}\]

La probabilidad de éxito sale de la densidad:

\[\D{p}{p} = P(X_i \gt 3) = \int_3^\infty \frac{1}{x^2}\,dx = \Bigl[-\frac1x\Bigr]_3^\infty = \frac13\]

Aproximación normal

\(P(N \gt 50)\) con el límite central

\(N\) es una suma de \(72\) Bernoullis independientes, así que es aproximadamente normal:

\[E[N] = 72 \cdot \tfrac13 = 24, \qquad \text{Var}(N) = 72 \cdot \tfrac13 \cdot \tfrac23 = 16, \qquad \text{desviación} = 4\]

Corrección por continuidad. \(N\) solo toma valores enteros, y "más de \(50\)" es "\(51\) o más". Al pasar a la normal, cortamos en el punto medio, \(50.5\):

\[\D{P}{P}(N \gt 50) \approx P\Bigl(Z \gt \frac{50.5 - 24}{4}\Bigr) = 1 - \D{Phi}{\Phi(6.625)}\]
\[\D{P}{P}(N \gt 50) \approx 2 \times 10^{-11} \approx 0\]

Se esperan unos \(24\) valores por encima de \(3\). Que haya más de \(50\) está a más de \(6\) desviaciones de lo esperado: en la práctica, imposible.

Nota

Si el enunciado dijera "menores que 3"

Una versión conocida de este ejercicio (en el libro de Hogg, McKean y Craig) pregunta por observaciones "menores que \(3\)". Con esa lectura el procedimiento es idéntico, solo cambia \(p\):

\[p = P(X_i \lt 3) = 1 - \tfrac13 = \tfrac23, \qquad E[N] = 48, \qquad \text{Var}(N) = 72 \cdot \tfrac23 \cdot \tfrac13 = 16\]
\[P(N \gt 50) \approx 1 - \Phi\Bigl(\frac{50.5 - 48}{4}\Bigr) = 1 - \Phi(0.625) \approx 0.266\]

Vale la pena confirmar con el profesor cuál de las dos versiones pide.