A linear combination of independent normal random variables is normal. Its mean is , and independence removes the cross-covariance term in its variance:
The identity forces and . Independence will follow from zero covariance, because are jointly Gaussian random variables. That covariance is
Thus
These values give with variance and zero covariance with . Joint normality then proves the requested independence.
From the preceding decomposition, , where is independent of and has mean zero. Taking conditional expectation gives . The corresponding continuous version at is

Articles by others on the same topic (0)

There are currently no matching articles.