Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Supposing $Y_1,Y_2,\cdots, Y_n$ be random variables such that $Y_i \in \mathcal{L}^2(\Omega,\Sigma,P)$ for all $i$. What are the conditions under which $$\mathrm{span}(Y_1,Y_2,\cdots,Y_n) = \mathcal{L}^2(\Omega,\sigma(Y_1,Y_2,\cdots,Y_n),P) ?$$

I think that this should be true when $Y_1,Y_2,\cdots,Y_n$ are jointly Gaussian, but even in this case, a proof would be highly appreciated.

Thanks, Phanindra

share|improve this question
What do you mean by $\mathrm{span}(Y_1,Y_2,\cdots,Y_n)$? –  Ashok Mar 24 '12 at 12:35
Random variables of the form $\sum_{i=1}^n a_i Y_i$, where $a_i \in \mathbb{R}$ –  jpv Mar 24 '12 at 12:44
I don't think this can be true (even in the Gaussian case). Because then $\mathcal{L}^2$ would become a finite dimensional space, but which is not the case, no? –  Ashok Mar 27 '12 at 8:06
@Ashok: You were right. I just got an answer to the same question on mathoverflow. I was not aware that $L^2$ is infinite dimensional. –  jpv Mar 30 '12 at 9:59

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.