I saw in a statistic book that "It can be prooved that if two normally distributed variables have covariance = 0, they are independent". How can I start this proof?
Can I say that $cov(X,Y) = E(XY) - EXEY$, like here? Why?
I saw in a statistic book that "It can be prooved that if two normally distributed variables have covariance = 0, they are independent". How can I start this proof?
Can I say that $cov(X,Y) = E(XY) - EXEY$, like here? Why?
First, they need to be jointly normal. The bivariate joint density is shown here. If you substitute $\rho=0$ (which means the correlation and so the covariance is $0$), the joint density boils down to $f_{X,Y}(x,y)=f_X(x)f_Y(y)$, which is the requirement of independence. You can also verify it with more than two dimensions because $N$ jointly normal RVs have their density defined in terms of their mean vector and covariance matrix.
$cov(X,Y) = E(XY) - E(X)E(Y) = 0$ implies that:
$E(XY) = E(X)E(Y) $ which is the definition of independence between X and Y.