TheoremBase

Standard Normal Vectors: Density, Moments, Orthogonal Invariance and Concatenation

A random vector is a standard normal vector exactly when its law has the density cG−kc_G^{-k} exp(-|x|^2/2) on RkR^k; such a vector has mean zero and identity covariance, stays standard normal under matrices with orthonormal rows, and two independent ones concatenate to a standard normal vector; the standard normal laws are probability measures.

Statement

In the setting of Probability Spaces: Notation and Product Measures, Lebesgue Measure on ℝⁿ and Image Measures: Notation, let k,l,r∈Nk,l,r\in\mathbb{N}, let γ\gamma be the standard normal distribution on R\mathbb{R} and γk\gamma_{k} the standard normal distribution on Rk\mathbb{R}^{k}, and let ZZ be a random vector in Rk\mathbb{R}^{k}.

The standard normal laws are probability measures. γ\gamma is a probability measure on (R,B(R))(\mathbb{R},\mathcal{B}(\mathbb{R})), and γk\gamma_{k} is a probability measure on (Rk,B(Rk))(\mathbb{R}^{k},\mathcal{B}(\mathbb{R}^{k})).

A standard normal vector exists. On the probability space (Rk,B(Rk),γk)(\mathbb{R}^{k},\mathcal{B}(\mathbb{R}^{k}),\gamma_{k}) ((i)), the identity function of Rk\mathbb{R}^{k} is a standard normal vector.

Density. ZZ is a standard normal vector if and only if

PZ=γk.P_{Z}=\gamma_{k}.

Mean and covariance. If ZZ is a standard normal vector, then Z∈L2(P;Rk)Z\in\mathcal{L}^{2}(P;\mathbb{R}^{k}) and

EZ=0,Cov⁡(Z)=Ik.\mathbb{E}Z=0,\qquad\operatorname{Cov}(Z)=I_{k}.

Orthogonal invariance. If ZZ is a standard normal vector and Q∈O(k)Q\in\mathrm{O}(k), then QZQZ is a standard normal vector.

Matrices with orthonormal rows. If ZZ is a standard normal vector and C∈Rr×kC\in\mathbb{R}^{r\times k} satisfies CC⊤=IrCC^{\top}=I_{r}, then CZCZ is a standard normal vector in Rr\mathbb{R}^{r}.

Concatenation. If ZZ is a standard normal vector in Rk\mathbb{R}^{k}, WW is a standard normal vector in Rl\mathbb{R}^{l}, and ZZ and WW are independent, then (Z,W)(Z,W) is a standard normal vector in Rk+l\mathbb{R}^{k+l}.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…