TheoremBase

Expectations and Variances of Independent Random Variables

The expectation of a product of independent random variables is the product of the expectations, for nonnegative and for integrable ones; hence independent square-integrable random variables are uncorrelated, variances add over pairwise uncorrelated summands, and covariance matrices add over independent random vectors.

Statement

In the setting of Probability Spaces: Notation, let n∈Nn\in\mathbb{N}.

Expectation of a product. Let XX and YY be independent random variables. If X≥0X\ge0 and Y≥0Y\ge0, then, with XX, YY and XYXY as elements of M+(Ω,F)\mathcal{M}^{+}(\Omega,\mathcal{F}) (Linearity and Monotonicity of the Lebesgue Integral, and the Integrability Criterion (vi)),

E[XY]=EX⋅EYin [0,∞].\mathbb{E}[XY]=\mathbb{E}X\cdot\mathbb{E}Y\qquad\text{in }[0,\infty].

If XX and YY are integrable, then XYXY is integrable and

E[XY]=EX EY.\mathbb{E}[XY]=\mathbb{E}X\,\mathbb{E}Y.

Independent random variables are uncorrelated. Let X,Y∈L2(P)X,Y\in\mathcal{L}^{2}(P) be independent. Then XX and YY are uncorrelated:

Cov⁡(X,Y)=0.\operatorname{Cov}(X,Y)=0.

Variance of a sum. Let X1,…,Xn∈L2(P)X_{1},\dots,X_{n}\in\mathcal{L}^{2}(P) be such that XjX_{j} and XkX_{k} are uncorrelated for all j,k∈[n]j,k\in[n] with j≠kj\neq k. Then ∑k=1nXk∈L2(P)\sum_{k=1}^{n}X_{k}\in\mathcal{L}^{2}(P) and

Var⁡(∑k=1nXk)=∑k=1nVar⁡Xk.\operatorname{Var}\Bigl(\sum_{k=1}^{n}X_{k}\Bigr)=\sum_{k=1}^{n}\operatorname{Var}X_{k}.

Covariance matrix of a sum. Let X,Y∈L2(P;Rn)X,Y\in\mathcal{L}^{2}(P;\mathbb{R}^{n}) be independent random vectors. Then X+Y∈L2(P;Rn)X+Y\in\mathcal{L}^{2}(P;\mathbb{R}^{n}) and

Cov⁡(X+Y)=Cov⁡(X)+Cov⁡(Y).\operatorname{Cov}(X+Y)=\operatorname{Cov}(X)+\operatorname{Cov}(Y).

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…