Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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|cite|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.