Sea $U \subset \mathbb{R}^n$ sea un espacio vectorial con $\dim(U)=d$ . Una distribución normal estándar en $U$ es la ley de un vector aleatorio $X=(X_1, \ldots, X_n)$ tomando valores en $U$ y tales que las coordenadas de $X$ en una ( $\iff$ en cualquier) base ortonormal de $U$ es un vector aleatorio formado por $d$ distribuciones normales estándar independientes ${\cal N}(0, 1)$ .
Al leer esta pregunta Me hice la siguiente pregunta. Dejemos que $Y=(Y_1, \ldots, Y_n)$ sea una distribución normal estándar en $\mathbb{R}^n$ . ¿Es cierto que la distribución condicional de $Y$ dado $Y \in U$ es la distribución normal estándar en $U$ ?
La norma al cuadrado ${\Vert X \Vert}^2$ de $X$ tiene una distribución chi-cuadrado $\chi^2_d$ . Por lo tanto, si esto es cierto, eso explicaría la afirmación de @Argha.
Lo siento si el LaTeX está mal escrito, no veo el renderizado LaTeX :(
EDITAR 01/10/2012: Ya veo. Escribe $y=u+v$ la descomposición ortogonal de $y$ en $U\oplus U^\perp$ . Entonces $$\Pr(Y\in \mathrm{d}y \cap Y \in U)=\Pr(P_U Y \in \mathrm{d}u)$$ . Eso demuestra que $(Y \mid Y \in U) \sim P_U Y$ . Esto es un poco heurístico pero moralmente correcto. Por último, de la definición se desprende que $P_U Y$ es normal estándar en $U$ .
2 votos
¿No es esto terriblemente obvio cuando se observa que una base ortonormal para $\mathbb{R}^n$ siempre se puede construir ampliando cualquier base ortonormal para $U$ ? (Una prueba: utilice Gram-Schmidt en cualquier extensión, sea o no ortonormal.) En esta base la PDF es separable y a fortiori es normal estándar en $U$ QED.
0 votos
@whuber Por favor, ¿podría dar más detalles en una respuesta? ¿Cómo se obtiene la distribución condicional?
3 votos
Tú sólo mira ¡En ello! Cuando un PDF absolutamente continuo $f(x,y)$ factores como $f_x(x)f_y(y)$ entonces (a) $X$ y $Y$ son independientes y (b) $f_x$ y $f_y$ son las distribuciones condicionales .
0 votos
@whuber Acabo de regresar del trabajo. Lo pensaré más tarde. Gracias. Por supuesto que creo que esto es obvio, pero estoy cansado.