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 isThusThese 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
There are currently no matching articles.