Matemáticas · Glosario

¿Qué es vector gaussiano?

Definición 23.10 Matemáticas universitarias — Grado 3 · Capítulo 23 — Funciones características y teorema central del límite

Un vector aleatorio X=(X1,,Xd)X = (X_1, \dots, X_d) es gaussiano si toda combinación lineal t,X=tiXi\langle t, X\rangle = \sum t_iX_i es una variable gaussiana real (posiblemente degenerada). Su ley queda determinada por el vector de medias m=(EXi)m = (\E X_i) y la matriz de covarianzas Σ=(Cov(Xi,Xj))\Sigma = \bigl(\operatorname{Cov} (X_i, X_j)\bigr): en efecto, la función característica del vector, φX(t)=Eeit,X\varphi_X(t) = \E\eu^{\iu\langle t, X\rangle}, es el valor en 11 de la f.c. de t,X\langle t, X\rangle:

φX(t)=exp(it,m12tTΣt),\varphi_X(t) = \exp\Bigl(\iu\langle t, m\rangle - \tfrac12\,t^{\mathsf T}\Sigma\,t\Bigr),

y las funciones características en dimensión dd son inyectivas (la misma demostración por regularización del Teorema 23.3, con gaussianas coordenada a coordenada).

Ejemplos

Ejemplo 23.9 (Intervalos de confianza, deducidos honestamente)

Encuéstese a nn votantes independientes; p^n=Sn/n\hat p_n = S_n/n estima el verdadero pp, con σ2=p(1p)14\sigma^2 = p(1-p) \leq \frac14. El TCL da, para nn grande,

P(p^npz2n)    P(Snnpσnz)Φ(z)Φ(z),\P\Bigl(\abs{\hat p_n - p} \leq \frac{z}{2\sqrt n}\Bigr) \;\geq\; \P\Bigl(\Bigl|\frac{S_n - np}{\sigma\sqrt n}\Bigr| \leq z\Bigr) \longrightarrow \Phi(z) - \Phi(-z),

donde Φ\Phi es la función de distribución gaussiana estándar. Con z=1.96z = 1.96: confianza asintótica 95%95\%, y un margen 1.962n3%\frac{1.96}{2\sqrt n} \leq 3\% exige n(1.960.06)21068n \geq \bigl(\frac{1.96}{0.06}\bigr)^2 \approx 1068 — el número que hay detrás de todo «±3\pm3 puntos, 95%95\%» que uno lee; compárese con el 55565556 de Chebyshev (el Ejercicio 22.7). El n\sqrt n es universal: para reducir el error a la mitad, cuadruplíquese la muestra — la misma ley que fija el coste de Monte Carlo (Ejercicio 23.7).

Leer en el capítulo →